用途：针对一个固定用例，审计其需求、模型与路径的缺失，并把契约、测试所需的 obligation 一并返回，同时区分 screening 覆盖与 model 实际覆盖。适用 mode 为 design、review，正本 package 根为 completeness_package。
主要能力：围绕 actor、use case、context、需求与目标外范围，对每条需求按 12 个观察点各筛一遍：term_context、concept、constraint、state、transition、behavior、relationship、failure、time、writer、reader、authority。每个单元要么链接到带 Evidence 的 model element，要么给出理由的 N/A。区分 missing、unknown、conflicting；present 必须有定义、代码或观测的 Evidence，不能仅凭需求断言算作满足，未知不可记为 N/A。
使用方式：先读 skills/mino-core/references/shared-policies.md 应用 Evidence、批准与判定规则；术语或上下文有歧义时读 domain-discovery.md；涉及 file/process/test 执行或多 OS 需求时读 platform-compatibility.md。仅在被要求创建、更新或交接正本 package 时，才读 skills/mino-domain-model-completeness/schemas/package.md。需追踪 constructor/setter、serializer、持久化、API/event、batch/admin、import、migration、手工操作等候选路径下的 writer/reader，区分实存路径与未探索区域；区分语义 owner、不变式 owner、状态迁移 authority 与状态正本，识别 writer 绕行、reader 误读、业务规则泄漏到 UI/adapter 及各关系上的失败语义。
限制与约束：不把表格填满等同于模型完整；未确认的 writer/reader 与绕行路径不算已审计。禁止对生产数据做破坏性探测，未执行记为 not_executed 而非 prevented。不得修改目标代码与运维数据，修正请求须以保留权限的交接方式提出。计数口径：screening 分母为需求数×12，分子为有依据记录处置的单元数；model 分母为非 N/A 单元数，分子为所需元素全部 present 且无 unknown/contradiction 且有 Evidence 的单元数。完成判定为 complete、incomplete 或 indeterminate，已知 gap 与未知并存时返回 incomplete。其余具体平台、价格或安装命令暂未提供。