skill-family-engineering-kit 0.22.0 → 0.23.0

package/CHANGELOG.md

@@ -1,5 +1,26 @@
 # Changelog
 
+<!-- release-skill:changelog:start version=0.23.0 locale=en baseline=sha256:6220b2be13af0cfb071f46ab481b1ecec5d1f0ce176cbb8cb6cc28ea9d0a7e3d -->
+## [0.23.0] - 2026-09-26
+
+Engineering Kit 0.23.0 keeps the four top-level commands and adds family proof creation and proof reading for a complete static professional review. This note records the local lockstep candidate only; it does not claim remote publication or real-host acceptance.
+
+### Added
+
+- Adds `check proof-create`, which projects one caller-supplied static review result into a single exclusive Foundation conclusion. It checks the review structure and writes the family result; it does not scan the target again, authenticate authorship, or overwrite an existing conclusion.
+- Adds `check proof`, which reads one existing Foundation-family proof and explains its public code. It does not scan the target, follow paths inside `details`, or authenticate authorship.
+- Records `FOUNDATION_STATIC_CLEAR` only when every applicable selected static item passes, `FOUNDATION_STATIC_FINDINGS` when a real finding is present, and `FOUNDATION_STATIC_INCOMPLETE` when coverage is unfinished, evidence is insufficient, or every selected item is not applicable. Existing `ENGINEERING_*` codes stay limited to the previous declaration branches.
+
+### Changed
+
+- Moves the package coordinate to 0.23.0 together with Contracts, Harness, and the adoption Plugin. The Contracts specification remains 1.20.0, and this package adds no new contract object or Harness mechanism.
+
+### Upgrade Notes
+
+Pin all three Foundation packages to exactly 0.23.0. The Kit projects and reads the family result; the engineering judgment stays with `foundation-engineering-check`. Remote publication and real-host verification are outside this note.
+<!-- release-skill:changelog:end version=0.23.0 locale=en -->
+
+
 <!-- release-skill:changelog:start version=0.22.0 locale=en baseline=sha256:5eeae7aaee659b91fd9d412ff5a0651d49e90fbcb020ffdb335d25845d590ef3 -->
 ## [0.22.0] - 2026-09-18
 

package/CHANGELOG.zh-CN.md

@@ -1,5 +1,26 @@
 # 变更日志
 
+<!-- release-skill:changelog:start version=0.23.0 locale=zh-CN baseline=sha256:4192d7adcff64a7411acab5ef402d9baa657bcb1db6f41c4ed3b33c2303e25bc -->
+## [0.23.0] - 2026-09-26
+
+Engineering Kit 0.23.0 保持四个顶层命令，并增加完整静态专业审阅所需的本族证明出证和读取。本说明只记录本地锁步候选，不表示已经远端发布，也不表示真实宿主已经接受。
+
+### 新增
+
+- 增加 `check proof-create`。它把调用方提供的一份静态审阅结果投影成一份排他的 Foundation 结论，只检查审阅结构并写入本族结果；不再次扫描目标，不鉴定作者，也不覆盖已有结论。
+- 增加 `check proof`。它读取一份已有的本族证明并解释公开领域码；不扫描目标，不追随 `details` 里的路径，不鉴定作者。
+- 全部适用且选中的静态项通过时记录 `FOUNDATION_STATIC_CLEAR`；存在真实发现时记录 `FOUNDATION_STATIC_FINDINGS`；覆盖未完成、证据不足，或选中项全部不适用时记录 `FOUNDATION_STATIC_INCOMPLETE`。既有 `ENGINEERING_*` 仍只表示原来的局部声明检查。
+
+### 变更
+
+- 包坐标与 Contracts、Harness 和采用 Plugin 一起前移到 0.23.0。Contracts 规格仍是 1.20.0。本包不新增合同对象，也不新增 Harness 机制。
+
+### 升级说明
+
+三个 Foundation 包须一起精确锁定到 0.23.0。Kit 负责投影和读取本族结果；工程判断仍由 `foundation-engineering-check` 作出。远端发布和真实宿主验证不在本说明范围内。
+<!-- release-skill:changelog:end version=0.23.0 locale=zh-CN -->
+
+
 <!-- release-skill:changelog:start version=0.22.0 locale=zh-CN baseline=sha256:1926982b72cf2756963b204c22c9bfdf2969d690d3b336cf9bdc098fe4d256a0 -->
 ## [0.22.0] - 2026-09-18
 

package/README.md

@@ -4,28 +4,28 @@
 
 # skill-family-engineering-kit
 
-<!-- release-skill:release-version: 0.22.0 -->
+<!-- release-skill:release-version: 0.23.0 -->
 
 An engineering toolkit used in development and CI. There are **exactly four** top-level commands, and no fifth:
 
 <!-- release-skill:managed:start id=latest-release -->
-**0.22.0** (2026-09-18)
+**0.23.0** (2026-09-26)
 
-Engineering Kit 0.22.0 keeps the four top-level commands and adds declared engineering-declaration checking plus explicit professional-conclusion output inside the existing `check` command.
+Engineering Kit 0.23.0 keeps the four top-level commands and adds family proof creation and proof reading for a complete static professional review. This note records the local lockstep candidate only; it does not claim remote publication or real-host acceptance.
 
 **Added**
 
-- Adds declared engineering-declaration checking with a declaration version and an entry branch, reading only the version source and physical entry a project explicitly registers and never executing the target.
-- Adds optional professional-conclusion output that only `runCommand('check')` and the entry action may exclusively create, and only when the caller supplies an existing output root and a contained relative path.
+- Adds `check proof-create`, which projects one caller-supplied static review result into a single exclusive Foundation conclusion. It checks the review structure and writes the family result; it does not scan the target again, authenticate authorship, or overwrite an existing conclusion.
+- Adds `check proof`, which reads one existing Foundation-family proof and explains its public code. It does not scan the target, follow paths inside `details`, or authenticate authorship.
+- Records `FOUNDATION_STATIC_CLEAR` only when every applicable selected static item passes, `FOUNDATION_STATIC_FINDINGS` when a real finding is present, and `FOUNDATION_STATIC_INCOMPLETE` when coverage is unfinished, evidence is insufficient, or every selected item is not applicable. Existing `ENGINEERING_*` codes stay limited to the previous declaration branches.
 
 **Changed**
 
-- The default `check` diagnosis and the pure `runChecks`/`runEntryContractCheck` functions remain read-only; a missing output root or an existing conclusion entry is rejected instead of created or overwritten.
-- Publishes the 0.22.0 capability catalog with the new `foundation.harness.file-set-recovery` entry projected from Contracts 1.20.0.
+- Moves the package coordinate to 0.23.0 together with Contracts, Harness, and the adoption Plugin. The Contracts specification remains 1.20.0, and this package adds no new contract object or Harness mechanism.
 
 **Upgrade Notes**
 
-Pin all three Foundation packages to exactly 0.22.0. Declarative checking proves only that a registered version source and entry agree structurally; it does not prove the target executed, and business interpretation of a conclusion remains outside Foundation.
+Pin all three Foundation packages to exactly 0.23.0. The Kit projects and reads the family result; the engineering judgment stays with `foundation-engineering-check`. Remote publication and real-host verification are outside this note.
 <!-- release-skill:managed:end id=latest-release -->
 
 ## Governance Check (0.22.0)
@@ -68,7 +68,7 @@ Kit is the "engineering stage" layer, depending on the Harness and Contracts. It
 
 ## Installation and Minimal Example
 
-Version 0.22.0 is the local source candidate. Build all three tarballs into one temporary directory and install those exact files for a candidate check:
+Version 0.23.0 is the local source candidate and is not yet formally published. Version 0.22.0 remains the published package. Build all three tarballs into one temporary directory and install those exact files for a candidate check:
 
 ```sh
 pack_dir="$(mktemp -d)"
@@ -76,21 +76,21 @@ pack_dir="$(mktemp -d)"
 (cd packages/skill-family-harness-node && pnpm pack --pack-destination "$pack_dir")
 (cd packages/skill-family-engineering-kit && pnpm pack --pack-destination "$pack_dir")
 mkdir "$pack_dir/consumer" && (cd "$pack_dir/consumer" && npm init -y)
-(cd "$pack_dir/consumer" && npm install "$pack_dir/skill-family-contracts-0.22.0.tgz" "$pack_dir/skill-family-harness-node-0.22.0.tgz" "$pack_dir/skill-family-engineering-kit-0.22.0.tgz")
+(cd "$pack_dir/consumer" && npm install "$pack_dir/skill-family-contracts-0.23.0.tgz" "$pack_dir/skill-family-harness-node-0.23.0.tgz" "$pack_dir/skill-family-engineering-kit-0.23.0.tgz")
 ```
 
-After publication, use the registry coordinate:
+After 0.23.0 is formally published, use the registry coordinate:
 
 ```sh
-npm install --save-dev skill-family-engineering-kit@0.22.0
-npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit --help
-npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit scaffold --root <empty-dir> --project-id my-project
-npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit adopt-plan --root <repo> --list-capabilities --all --scope all --locale en --uses ./uses.json
-npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit projection --root <repo>
-npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit check --root <repo>
+npm install --save-dev skill-family-engineering-kit@0.23.0
+npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit --help
+npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit scaffold --root <empty-dir> --project-id my-project
+npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit adopt-plan --root <repo> --list-capabilities --all --scope all --locale en --uses ./uses.json
+npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit projection --root <repo>
+npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit check --root <repo>
 ```
 
-The four commands above cover skeleton generation, read-only inventory, managed projection, and diagnostics respectively; a zero-install form is available via `npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit --help`.
+The four commands above cover skeleton generation, read-only inventory, managed projection, and diagnostics respectively; a zero-install form is available via `npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit --help`.
 
 ### Three adoption journeys
 

package/README.zh-CN.md

@@ -5,28 +5,28 @@
 
 # skill-family-engineering-kit
 
-<!-- release-skill:release-version: 0.22.0 -->
+<!-- release-skill:release-version: 0.23.0 -->
 
 开发与 CI 阶段使用的工程工具包。**恰好四个**顶层命令，没有第五个：
 
 <!-- release-skill:managed:start id=latest-release -->
-**0.22.0** (2026-09-18)
+**0.23.0** (2026-09-26)
 
-Engineering Kit 0.22.0 保持四个顶层命令不变，在既有 `check` 命令内增加声明式工程检查与显式的专业结论输出。
+Engineering Kit 0.23.0 保持四个顶层命令，并增加完整静态专业审阅所需的本族证明出证和读取。本说明只记录本地锁步候选，不表示已经远端发布，也不表示真实宿主已经接受。
 
 **新增**
 
-- 增加不含价格的声明式工程检查，带声明版本与入口分支；只读取项目明确登记的版本来源与物理入口，不执行目标。
-- 增加可选的专业结论输出。只有 `runCommand('check')` 和入口动作可以独占创建，且必须由调用方提供已存在的输出根与受收容的相对路径。
+- 增加 `check proof-create`。它把调用方提供的一份静态审阅结果投影成一份排他的 Foundation 结论，只检查审阅结构并写入本族结果；不再次扫描目标，不鉴定作者，也不覆盖已有结论。
+- 增加 `check proof`。它读取一份已有的本族证明并解释公开领域码；不扫描目标，不追随 `details` 里的路径，不鉴定作者。
+- 全部适用且选中的静态项通过时记录 `FOUNDATION_STATIC_CLEAR`；存在真实发现时记录 `FOUNDATION_STATIC_FINDINGS`；覆盖未完成、证据不足，或选中项全部不适用时记录 `FOUNDATION_STATIC_INCOMPLETE`。既有 `ENGINEERING_*` 仍只表示原来的局部声明检查。
 
 **变更**
 
-- 默认 `check` 诊断与纯函数 `runChecks`/`runEntryContractCheck` 仍然只读；输出根不存在或结论条目已存在时拒绝，不创建、不覆盖。
-- 随 0.22.0 发布新的能力目录，按 Contracts 1.20.0 投影新增 `foundation.harness.file-set-recovery` 条目。
+- 包坐标与 Contracts、Harness 和采用 Plugin 一起前移到 0.23.0。Contracts 规格仍是 1.20.0。本包不新增合同对象，也不新增 Harness 机制。
 
 **升级说明**
 
-三个 Foundation 包须一起精确锁定到 0.22.0。声明式检查只证明已登记的版本来源与入口在结构上一致，不证明目标已执行；结论的业务解释不属于 Foundation。
+三个 Foundation 包须一起精确锁定到 0.23.0。Kit 负责投影和读取本族结果；工程判断仍由 `foundation-engineering-check` 作出。远端发布和真实宿主验证不在本说明范围内。
 <!-- release-skill:managed:end id=latest-release -->
 
 ## 本地未发布治理检查
@@ -67,7 +67,7 @@ Kit 是「工程阶段」层，依赖 Harness 与 Contracts。它只做四件事
 
 ## 安装和最小示例
 
-0.22.0 是本地源码候选。候选验证先把三个包分别打入同一个临时目录，再安装这三个精确 tarball：
+0.23.0 是尚未正式发布的本地源码候选；0.22.0 是已发布包。候选验证先把三个包分别打入同一个临时目录，再安装这三个精确 tarball：
 
 ```sh
 pack_dir="$(mktemp -d)"
@@ -75,21 +75,21 @@ pack_dir="$(mktemp -d)"
 (cd packages/skill-family-harness-node && pnpm pack --pack-destination "$pack_dir")
 (cd packages/skill-family-engineering-kit && pnpm pack --pack-destination "$pack_dir")
 mkdir "$pack_dir/consumer" && (cd "$pack_dir/consumer" && npm init -y)
-(cd "$pack_dir/consumer" && npm install "$pack_dir/skill-family-contracts-0.22.0.tgz" "$pack_dir/skill-family-harness-node-0.22.0.tgz" "$pack_dir/skill-family-engineering-kit-0.22.0.tgz")
+(cd "$pack_dir/consumer" && npm install "$pack_dir/skill-family-contracts-0.23.0.tgz" "$pack_dir/skill-family-harness-node-0.23.0.tgz" "$pack_dir/skill-family-engineering-kit-0.23.0.tgz")
 ```
 
-发布后再使用 registry 坐标：
+0.23.0 正式发布后，再使用对应的 registry 坐标：
 
 ```sh
-npm install --save-dev skill-family-engineering-kit@0.22.0
-npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit --help
-npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit scaffold --root <empty-dir> --project-id my-project
-npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit adopt-plan --root <repo> --list-capabilities --all --scope all --locale zh-CN --uses ./uses.json
-npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit projection --root <repo>
-npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit check --root <repo>
+npm install --save-dev skill-family-engineering-kit@0.23.0
+npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit --help
+npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit scaffold --root <empty-dir> --project-id my-project
+npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit adopt-plan --root <repo> --list-capabilities --all --scope all --locale zh-CN --uses ./uses.json
+npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit projection --root <repo>
+npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit check --root <repo>
 ```
 
-以上四条命令分别覆盖生成骨架、只读盘点、受管投影与诊断；零安装形式可用 `npm exec --package=skill-family-engineering-kit@0.22.0 -- skill-family-kit --help`。
+以上四条命令分别覆盖生成骨架、只读盘点、受管投影与诊断；零安装形式可用 `npm exec --package=skill-family-engineering-kit@0.23.0 -- skill-family-kit --help`。
 
 ### 三条采用旅程
 

package/data/capability-catalog/capability-catalog.en.json

@@ -1184,11 +1184,13 @@
   },
   {
    "id": "foundation.kit.check",
-      "intent": "Diagnose only, do not fix: retain the nine legacy check classes and add an explicit declared version branch that reads only project-listed release units.",
+      "intent": "Diagnose only, do not fix: retain the nine legacy check classes and the explicit declared version branch, and provide family proof reading plus exclusive projection of Skill review results; ENGINEERING_* remains a local declared result, and proof/proof-create are local unpublished entry points.",
    "useWhen": [
     "Need to surface engineering inconsistencies without auto-modifying",
         "Need to narrow a legacy check via --only",
-        "Need to compare declared text or JSON version sources and mirrors without scanning undeclared units"
+        "Need to compare declared text or JSON version sources and mirrors without scanning undeclared units",
+        "Need to read one family professional proof and receive pass, not_pass, or unavailable",
+        "Need to project a Skill review JSON into an exclusive professional conclusion"
    ],
    "doNotUseWhen": [
     "Need auto-fix (forbidden; check writes no fixes)",
@@ -1197,18 +1199,22 @@
    "prerequisites": [],
    "inputs": [
         "Legacy --only values: contracts|drift|closure|version|docs|git|identity|boundary|platform",
-        "Declared version input: policy declared, only version, and project-manifest engineering.releaseUnits"
+        "Declared version input: policy declared, only version, and project-manifest engineering.releaseUnits",
+        "Proof-read input: --proof-root and a contained --proof",
+        "proof-create input: --review-root, --review-input, and paired --conclusion-root plus --conclusion-output"
    ],
    "outputs": [
         "Findings list; exit code findings=1, mechanism=2",
-        "Optional professional-conclusion path from the runCommand check wrapper when an explicit output root and relative path are provided"
+        "Optional local ENGINEERING_* conclusion path from the runCommand check and checkEntriesAction wrappers when an explicit output root and relative path are provided",
+        "Proof read returns status pass, not_pass, or unavailable, with exits 0, 1, and 2",
+        "proof-create returns a FOUNDATION_STATIC_* conclusion path; CLEAR exits 0, FINDINGS and INCOMPLETE exit 1"
    ],
    "sideEffects": [
-        "runChecks is read-only; the declared branch does not spawn, probe Git, or execute target content",
-        "Only the runCommand check wrapper may exclusively create one conclusion under an explicitly supplied existing output root; it creates no parent and overwrites nothing"
+        "runChecks and readProfessionalProof are read-only; the declared branch does not spawn, probe Git, or execute target content",
+        "runCommand check, checkEntriesAction, and proof-create may exclusively create one conclusion under an explicitly supplied existing output root; they create no parent and overwrite nothing"
    ],
    "failureSemantics": [
-    "findings exit code 1; mechanism rejection exit code 2"
+    "findings exit code 1; mechanism rejection, unreadable, or uninterpretable proofs exit code 2"
    ],
    "invariants": [
         "CHECK_CLASSES is a closed set of nine legacy classes, not expanded",

package/data/capability-catalog/capability-catalog.json

@@ -786,7 +786,10 @@
         "runChecks (packages/skill-family-engineering-kit/src/check.mjs)",
         "runCommand check wrapper (packages/skill-family-engineering-kit/src/index.mjs)",
         "runCoreCheck (packages/skill-family-engineering-kit/src/core-check.mjs)",
-        "isContainedDeclaration (packages/skill-family-engineering-kit/src/core-check.mjs)"
+        "isContainedDeclaration (packages/skill-family-engineering-kit/src/core-check.mjs)",
+        "readProfessionalProof (packages/skill-family-engineering-kit/src/professional-conclusion.mjs)",
+        "createProfessionalProof (packages/skill-family-engineering-kit/src/professional-conclusion.mjs)",
+        "publishProfessionalConclusion (packages/skill-family-engineering-kit/src/professional-conclusion.mjs)"
       ],
       "sourceRefs": [
         "packages/skill-family-engineering-kit/src/check.mjs",
@@ -797,11 +800,13 @@
    "positiveTestRefs": [
     "packages/skill-family-engineering-kit/test/check.test.mjs",
     "packages/skill-family-engineering-kit/test/core-check.test.mjs",
-    "packages/skill-family-engineering-kit/test/check-equivalence.test.mjs"
+    "packages/skill-family-engineering-kit/test/check-equivalence.test.mjs",
+    "packages/skill-family-engineering-kit/test/professional-conclusion.test.mjs"
    ],
    "negativeTestRefs": [
     "packages/skill-family-engineering-kit/test/check.test.mjs",
-    "packages/skill-family-engineering-kit/test/core-check.test.mjs"
+    "packages/skill-family-engineering-kit/test/core-check.test.mjs",
+    "packages/skill-family-engineering-kit/test/professional-conclusion.test.mjs"
    ]
   },
   {

package/data/capability-catalog/capability-catalog.zh-CN.json

@@ -1183,11 +1183,13 @@
   },
   {
    "id": "foundation.kit.check",
-      "intent": "只诊断不修复：保留九类 legacy 检查，并增加显式 declared 版本分支，只读取项目声明的发行单元",
+      "intent": "只诊断不修复：保留九类 legacy 检查和显式 declared 版本分支，并提供本族证明读取与 Skill 审阅结果的排他投影；ENGINEERING_* 仍是局部声明结果，proof/proof-create 是本地未发布入口",
    "useWhen": [
     "需要发现工程不一致但不自动修改",
         "需要按 --only 缩小 legacy 检查范围",
-        "需要比较声明的文本或 JSON 版本来源与镜像，不扫描未声明单元"
+        "需要比较声明的文本或 JSON 版本来源与镜像，不扫描未声明单元",
+        "需要读取一份本族专业证明并得到 pass、not_pass 或 unavailable",
+        "需要把 Skill 审阅 JSON 投影成排他专业结论"
    ],
    "doNotUseWhen": [
     "需要自动修复（禁止，check 不写修复）",
@@ -1196,18 +1198,22 @@
    "prerequisites": [],
    "inputs": [
         "legacy --only 取值：contracts|drift|closure|version|docs|git|identity|boundary|platform",
-        "declared 版本输入：policy declared、only version 与项目清单 engineering.releaseUnits"
+        "declared 版本输入：policy declared、only version 与项目清单 engineering.releaseUnits",
+        "proof 读取输入：--proof-root 与根内 --proof",
+        "proof-create 输入：--review-root、--review-input，以及成对的 --conclusion-root 与 --conclusion-output"
    ],
    "outputs": [
         "发现清单；退出码 findings=1、mechanism=2",
-        "runCommand check 包装入口在显式提供输出根与相对路径时返回可选 professional-conclusion 路径"
+        "runCommand check 与 checkEntriesAction 包装入口在显式提供输出根与相对路径时返回可选局部 ENGINEERING_* 结论路径",
+        "proof 读取返回 status 为 pass、not_pass 或 unavailable，对应退出 0、1、2",
+        "proof-create 返回 FOUNDATION_STATIC_* 结论路径；CLEAR 退出 0，FINDINGS 与 INCOMPLETE 退出 1"
    ],
    "sideEffects": [
-        "runChecks 只读；declared 分支不启动进程、不探测 Git、不执行目标内容",
-        "只有 runCommand check 包装入口可在显式提供的既有输出根内独占创建一份结论；不建父目录、不覆盖"
+        "runChecks 与 readProfessionalProof 只读；declared 分支不启动进程、不探测 Git、不执行目标内容",
+        "runCommand check、checkEntriesAction 与 proof-create 可在显式提供的既有输出根内独占创建一份结论；不建父目录、不覆盖"
    ],
    "failureSemantics": [
-    "findings 退出码 1；mechanism 拒绝退出码 2"
+    "findings 退出码 1；mechanism 拒绝、读不到或无法解释的证明退出码 2"
    ],
    "invariants": [
         "CHECK_CLASSES 仍为九类 legacy 闭集，不扩张",

package/docs/agents/capability-catalog.en.json

@@ -1184,11 +1184,13 @@
   },
   {
    "id": "foundation.kit.check",
-      "intent": "Diagnose only, do not fix: retain the nine legacy check classes and add an explicit declared version branch that reads only project-listed release units.",
+      "intent": "Diagnose only, do not fix: retain the nine legacy check classes and the explicit declared version branch, and provide family proof reading plus exclusive projection of Skill review results; ENGINEERING_* remains a local declared result, and proof/proof-create are local unpublished entry points.",
    "useWhen": [
     "Need to surface engineering inconsistencies without auto-modifying",
         "Need to narrow a legacy check via --only",
-        "Need to compare declared text or JSON version sources and mirrors without scanning undeclared units"
+        "Need to compare declared text or JSON version sources and mirrors without scanning undeclared units",
+        "Need to read one family professional proof and receive pass, not_pass, or unavailable",
+        "Need to project a Skill review JSON into an exclusive professional conclusion"
    ],
    "doNotUseWhen": [
     "Need auto-fix (forbidden; check writes no fixes)",
@@ -1197,18 +1199,22 @@
    "prerequisites": [],
    "inputs": [
         "Legacy --only values: contracts|drift|closure|version|docs|git|identity|boundary|platform",
-        "Declared version input: policy declared, only version, and project-manifest engineering.releaseUnits"
+        "Declared version input: policy declared, only version, and project-manifest engineering.releaseUnits",
+        "Proof-read input: --proof-root and a contained --proof",
+        "proof-create input: --review-root, --review-input, and paired --conclusion-root plus --conclusion-output"
    ],
    "outputs": [
         "Findings list; exit code findings=1, mechanism=2",
-        "Optional professional-conclusion path from the runCommand check wrapper when an explicit output root and relative path are provided"
+        "Optional local ENGINEERING_* conclusion path from the runCommand check and checkEntriesAction wrappers when an explicit output root and relative path are provided",
+        "Proof read returns status pass, not_pass, or unavailable, with exits 0, 1, and 2",
+        "proof-create returns a FOUNDATION_STATIC_* conclusion path; CLEAR exits 0, FINDINGS and INCOMPLETE exit 1"
    ],
    "sideEffects": [
-        "runChecks is read-only; the declared branch does not spawn, probe Git, or execute target content",
-        "Only the runCommand check wrapper may exclusively create one conclusion under an explicitly supplied existing output root; it creates no parent and overwrites nothing"
+        "runChecks and readProfessionalProof are read-only; the declared branch does not spawn, probe Git, or execute target content",
+        "runCommand check, checkEntriesAction, and proof-create may exclusively create one conclusion under an explicitly supplied existing output root; they create no parent and overwrite nothing"
    ],
    "failureSemantics": [
-    "findings exit code 1; mechanism rejection exit code 2"
+    "findings exit code 1; mechanism rejection, unreadable, or uninterpretable proofs exit code 2"
    ],
    "invariants": [
         "CHECK_CLASSES is a closed set of nine legacy classes, not expanded",

package/docs/agents/capability-catalog.json

@@ -786,7 +786,10 @@
         "runChecks (packages/skill-family-engineering-kit/src/check.mjs)",
         "runCommand check wrapper (packages/skill-family-engineering-kit/src/index.mjs)",
         "runCoreCheck (packages/skill-family-engineering-kit/src/core-check.mjs)",
-        "isContainedDeclaration (packages/skill-family-engineering-kit/src/core-check.mjs)"
+        "isContainedDeclaration (packages/skill-family-engineering-kit/src/core-check.mjs)",
+        "readProfessionalProof (packages/skill-family-engineering-kit/src/professional-conclusion.mjs)",
+        "createProfessionalProof (packages/skill-family-engineering-kit/src/professional-conclusion.mjs)",
+        "publishProfessionalConclusion (packages/skill-family-engineering-kit/src/professional-conclusion.mjs)"
       ],
       "sourceRefs": [
         "packages/skill-family-engineering-kit/src/check.mjs",
@@ -797,11 +800,13 @@
    "positiveTestRefs": [
     "packages/skill-family-engineering-kit/test/check.test.mjs",
     "packages/skill-family-engineering-kit/test/core-check.test.mjs",
-    "packages/skill-family-engineering-kit/test/check-equivalence.test.mjs"
+    "packages/skill-family-engineering-kit/test/check-equivalence.test.mjs",
+    "packages/skill-family-engineering-kit/test/professional-conclusion.test.mjs"
    ],
    "negativeTestRefs": [
     "packages/skill-family-engineering-kit/test/check.test.mjs",
-    "packages/skill-family-engineering-kit/test/core-check.test.mjs"
+    "packages/skill-family-engineering-kit/test/core-check.test.mjs",
+    "packages/skill-family-engineering-kit/test/professional-conclusion.test.mjs"
    ]
   },
   {

package/docs/agents/capability-catalog.zh-CN.json

@@ -1183,11 +1183,13 @@
   },
   {
    "id": "foundation.kit.check",
-      "intent": "只诊断不修复：保留九类 legacy 检查，并增加显式 declared 版本分支，只读取项目声明的发行单元",
+      "intent": "只诊断不修复：保留九类 legacy 检查和显式 declared 版本分支，并提供本族证明读取与 Skill 审阅结果的排他投影；ENGINEERING_* 仍是局部声明结果，proof/proof-create 是本地未发布入口",
    "useWhen": [
     "需要发现工程不一致但不自动修改",
         "需要按 --only 缩小 legacy 检查范围",
-        "需要比较声明的文本或 JSON 版本来源与镜像，不扫描未声明单元"
+        "需要比较声明的文本或 JSON 版本来源与镜像，不扫描未声明单元",
+        "需要读取一份本族专业证明并得到 pass、not_pass 或 unavailable",
+        "需要把 Skill 审阅 JSON 投影成排他专业结论"
    ],
    "doNotUseWhen": [
     "需要自动修复（禁止，check 不写修复）",
@@ -1196,18 +1198,22 @@
    "prerequisites": [],
    "inputs": [
         "legacy --only 取值：contracts|drift|closure|version|docs|git|identity|boundary|platform",
-        "declared 版本输入：policy declared、only version 与项目清单 engineering.releaseUnits"
+        "declared 版本输入：policy declared、only version 与项目清单 engineering.releaseUnits",
+        "proof 读取输入：--proof-root 与根内 --proof",
+        "proof-create 输入：--review-root、--review-input，以及成对的 --conclusion-root 与 --conclusion-output"
    ],
    "outputs": [
         "发现清单；退出码 findings=1、mechanism=2",
-        "runCommand check 包装入口在显式提供输出根与相对路径时返回可选 professional-conclusion 路径"
+        "runCommand check 与 checkEntriesAction 包装入口在显式提供输出根与相对路径时返回可选局部 ENGINEERING_* 结论路径",
+        "proof 读取返回 status 为 pass、not_pass 或 unavailable，对应退出 0、1、2",
+        "proof-create 返回 FOUNDATION_STATIC_* 结论路径；CLEAR 退出 0，FINDINGS 与 INCOMPLETE 退出 1"
    ],
    "sideEffects": [
-        "runChecks 只读；declared 分支不启动进程、不探测 Git、不执行目标内容",
-        "只有 runCommand check 包装入口可在显式提供的既有输出根内独占创建一份结论；不建父目录、不覆盖"
+        "runChecks 与 readProfessionalProof 只读；declared 分支不启动进程、不探测 Git、不执行目标内容",
+        "runCommand check、checkEntriesAction 与 proof-create 可在显式提供的既有输出根内独占创建一份结论；不建父目录、不覆盖"
    ],
    "failureSemantics": [
-    "findings 退出码 1；mechanism 拒绝退出码 2"
+    "findings 退出码 1；mechanism 拒绝、读不到或无法解释的证明退出码 2"
    ],
    "invariants": [
         "CHECK_CLASSES 仍为九类 legacy 闭集，不扩张",

package/docs/en/help/index.html

@@ -1865,6 +1865,11 @@
 <td>The single natural-language adoption-diagnosis Skill. It reads caller-provided exact-version facts, capability-catalog query results, and <code>adopt-plan</code> results, then reports a full match, partial match, candidate match, no match, or a missed existing capability</td>
 </tr>
 <tr>
+<td>Run a complete static engineering review or read an existing Foundation proof</td>
+<td><code>foundation-engineering-check</code></td>
+<td>The static engineering-review Skill in the same Plugin. It reviews selected engineering declarations, public capability adoption, and call boundaries, then projects a shared conclusion with <code>check proof-create</code>. Read an old proof with <code>check proof</code>. Passing the two mechanical version and entry branches is not a full-family pass</td>
+</tr>
+<tr>
 <td>Inventory an existing project and compare it with the reference skeleton</td>
 <td><code>planAdoption({ root, allowGitSpawn: false })</code> or <code>adopt-plan --no-git-spawn</code></td>
 <td>Read-only output covering the write set, conflicts, risks, and migration completion conditions. The reference skeleton is not a mandatory directory standard for every project</td>
@@ -2047,6 +2052,7 @@
 <h2 id="Project-Routing">Project Routing<a class="headerlink" href="#Project-Routing" title="Permanent link">&para;</a></h2>
 <ul>
 <li>Published-capability fit / duplicate proposed mechanism → <code>foundation-adoption-review</code>.</li>
+<li>Complete static engineering review / read an existing Foundation proof → <code>foundation-engineering-check</code>.</li>
 <li>Publishing remote state / npm publish → release-skill.</li>
 <li>Tasks / retries / rework / acceptance → loop-agent.</li>
 <li>Artifact relationships / version-lock → artifact-graph.</li>

package/docs/en/quickstart/index.html

@@ -1896,6 +1896,7 @@
 <p>Choose the entry point before running a command:</p>
 <ul>
 <li>If the input is a natural-language requirement and it is unclear whether Foundation already covers it, call the single <code>foundation-adoption-review</code> Skill. Supply an explicit exact Foundation version, a same-version capability-catalog query result, and an <code>adopt-plan</code> result. The Skill diagnoses read-only; it does not install, initialize, run <code>check</code>, or probe qualification.</li>
+<li>If the target root needs a complete static engineering review, or an existing Foundation proof must be read, call <code>foundation-engineering-check</code>. It reviews selected engineering declarations, public capability adoption, and call boundaries, then projects a shared conclusion with <code>check proof-create</code>. Read an old proof with <code>check proof</code>. Passing the two mechanical version and entry branches is not a full Foundation pass.</li>
 <li>If the capability ID is known and the target is an empty directory, use <code>scaffold</code>.</li>
 <li>If an existing project needs an inventory of structure, conflicts, and migration conditions, start with read-only <code>adopt-plan</code>. Decide later whether to authorize <code>projection</code> or let the project modify existing files itself.</li>
 <li>If declarations must be compared with physical files, use <code>check</code>. It performs static governance checks without running target Skills, business scripts, or hooks.</li>

package/docs/help/index.html

@@ -1865,6 +1865,11 @@
 <td>唯一的自然语言采用诊断 Skill。它读取调用方提供的精确版本、能力目录查询结果和 <code>adopt-plan</code> 结果，给出完整匹配、部分匹配、候选匹配、无匹配或漏看已有能力</td>
 </tr>
 <tr>
+<td>需要对目标做完整静态工程审阅或读取已有 Foundation 证明</td>
+<td><code>foundation-engineering-check</code></td>
+<td>同一 Plugin 内的静态工程审阅 Skill。它按所选范围审阅工程声明、公共能力采用和调用边界，再用 <code>check proof-create</code> 投影共同结论；读取旧证明用 <code>check proof</code>。版本与入口两个机械分支通过不等于全族通过</td>
+</tr>
+<tr>
 <td>需要盘点存量项目与参考骨架的结构差异</td>
 <td><code>planAdoption({ root, allowGitSpawn: false })</code> 或 <code>adopt-plan --no-git-spawn</code></td>
 <td>只读输出写集、冲突、风险和迁移完成条件；参考骨架不是所有项目必须复制的目录规范</td>
@@ -2047,6 +2052,7 @@
 <h2 id="项目路由">项目路由<a class="headerlink" href="#项目路由" title="Permanent link">&para;</a></h2>
 <ul>
 <li>精确版本中的能力是否适用 / 现有方案是否重复 → <code>foundation-adoption-review</code>。</li>
+<li>完整静态工程审阅 / 读取已有 Foundation 证明 → <code>foundation-engineering-check</code>。</li>
 <li>发布远端状态 / npm 发布 → release-skill。</li>
 <li>任务 / 重试 / 返工 / 验收 → loop-agent。</li>
 <li>制品关系 / 版本锁 → artifact-graph。</li>

package/docs/public/status/index.html

@@ -1792,17 +1792,17 @@
 <tbody>
 <tr>
 <td><code>skill-family-contracts</code></td>
-<td>0.22.0</td>
+<td>0.23.0</td>
 <td><a href="https://github.com/ifoohoo/skill-family-contracts">ifoohoo/skill-family-contracts</a></td>
 </tr>
 <tr>
 <td><code>skill-family-harness-node</code></td>
-<td>0.22.0</td>
+<td>0.23.0</td>
 <td><a href="https://github.com/ifoohoo/skill-family-harness-node">ifoohoo/skill-family-harness-node</a></td>
 </tr>
 <tr>
 <td><code>skill-family-engineering-kit</code></td>
-<td>0.22.0</td>
+<td>0.23.0</td>
 <td><a href="https://github.com/ifoohoo/skill-family-engineering-kit">ifoohoo/skill-family-engineering-kit</a></td>
 </tr>
 </tbody>

package/docs/quickstart/index.html

@@ -1896,6 +1896,7 @@
 <p>先判断需要哪种入口：</p>
 <ul>
 <li>只有一段自然语言需求，还不确定 Foundation 是否已经覆盖时，调用唯一的 <code>foundation-adoption-review</code> Skill。向它提供明确的 Foundation 精确版本、同版本能力目录查询结果和 <code>adopt-plan</code> 结果；它只读分析，不安装、不初始化、不运行 <code>check</code> 或资格探测。</li>
+<li>需要对目标根做完整静态工程审阅，或读取已有 Foundation 证明时，调用 <code>foundation-engineering-check</code>。它按所选范围审阅工程声明、公共能力采用和调用边界，再用 <code>check proof-create</code> 投影共同结论；读取旧证明用 <code>check proof</code>。版本与入口两个机械分支通过不等于完整 Foundation 通过。</li>
 <li>已经知道能力 ID，准备初始化空目录时，使用 <code>scaffold</code>。</li>
 <li>已有项目需要盘点结构、冲突和迁移条件时，先使用只读 <code>adopt-plan</code>。得到计划后再决定是否授权 <code>projection</code> 或由项目自己修改存量文件。</li>
 <li>已有声明需要与物理文件核对时，使用 <code>check</code>。它执行静态治理检查，不运行目标 Skill、业务脚本或 hooks。</li>