skill-family-engineering-kit 0.1.2 → 0.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/CONTRIBUTING.md CHANGED
@@ -1,79 +1,25 @@
1
- # 贡献指南(Contributing
1
+ # 贡献指南(skill-family-engineering-kit
2
2
 
3
- 感谢关注 `skill-family-foundation-workspace`。本文件说明本地开发环境、
4
- 验证流程与 PR 规则。行为准则见 [CODE_OF_CONDUCT.md](CODE_OF_CONDUCT.md),
5
- Git 写操作的授权边界见仓库内文档站的生命周期指南(`docs/git-lifecycle.md`)。
3
+ 本仓是 `skill-family-engineering-kit` 的公开发布镜像,只承载版本化发布物。开发在私有工作区进行,不在本仓公开。
6
4
 
7
- 拓扑说明:本工作区仓永久 private,是唯一开发真源;三个 public 仓
8
- (`skill-family-contracts`、`skill-family-harness-node`、
9
- `skill-family-engineering-kit`)是版本化发布镜像,不承载完整开发历史与
10
- 测试。本指南描述的是私有工作区内经授权的开发流程;消费坐标与发布状态
11
- 唯一见 `docs/status/current.md`。
5
+ ## 问题报告
12
6
 
13
- ## Bug 报告与 Issue
7
+ Bug 报告请在本仓 GitHub Issues 提交:https://github.com/ifoohoo/skill-family-engineering-kit/issues
14
8
 
15
- 普通 bug 报告欢迎通过各 public 发布镜像仓的 GitHub Issues 提交(例如
16
- `https://github.com/ifoohoo/skill-family-engineering-kit/issues`)。提交
17
- bug 报告时请尽量提供:受影响包与版本、最小复现步骤、预期与实际行为。
9
+ 提交时请尽量提供:受影响版本、最小复现步骤、预期与实际行为。
18
10
 
19
- **未经事先讨论的 Pull Request 不予接受。** 如果你希望贡献代码,请先
20
- 通过 Issue 讨论变更的动机与范围,获得维护者确认后再提交 PR。这是为了
21
- 避免重复劳动、确保变更与本项目的架构裁决和发布合同一致。
11
+ ## 代码贡献
22
12
 
23
- ## 本地安装
13
+ 未经事先讨论的 Pull Request 不予接受。请先通过 Issue 讨论变更的动机与范围,获得维护者确认后再提交 PR。
24
14
 
25
- 必需工具(精确版本见仓库内 `docs/setup.md` 的安装合同):
15
+ ## 行为准则
26
16
 
27
- - Node.js:`>=22.22.2 <23`(版本取自 `.node-version`)
28
- - pnpm:10.30.0(`packageManager` 精确锁定)
29
- - Python:3.10 或更高(仅文档站构建需要)
17
+ 互动请遵守本仓 CODE_OF_CONDUCT.md。
30
18
 
31
- ```bash
32
- pnpm install
33
- pnpm synth
34
- pnpm check
35
- ```
36
-
37
- - `pnpm synth` 再生成 projen 受管文件。受管文件只能通过修改
38
- `.projenrc.js` 间接变更;手写源码、文档和 fixture 不会被 synth 覆盖。
39
- - `pnpm check` 是统一根门禁:10 个稳定门禁 ID 按固定顺序串联执行,
40
- 任一步骤非 0 即整体失败。
41
-
42
- ## 提交 PR 前必须做到
43
-
44
- 1. 只修改当前任务授权的文件,不顺手改动无关文件;
45
- 2. 修改 `.projenrc.js` 后运行 `pnpm synth`,并保证连续两次 synth 零漂移;
46
- 3. 本地完整通过根门禁:
47
-
48
- ```bash
49
- pnpm check
50
- ```
51
-
52
- 4. 涉及文档时额外运行文档事实与链接检查:
53
-
54
- ```bash
55
- node scripts/docs/fact-check.mjs
56
- node scripts/docs/link-check.mjs
57
- ```
58
-
59
- 5. 涉及三个叶子包时,确认发布字节合同仍然成立:
60
-
61
- ```bash
62
- pnpm run release-artifacts:build -- --output .artifacts/publish-candidates
63
- pnpm run release-artifacts:verify -- --root .artifacts/publish-candidates --manifest .artifacts/publish-candidates/release-artifacts.manifest.json
64
- ```
65
-
66
- ## PR 规则
19
+ ## 安全报告
67
20
 
68
- - PR 描述须包含:动机、变更面、本地门禁结果(退出码)与剩余风险;
69
- - 不得为转绿而弱化任何产品门禁、Action pin、权限、泄漏策略或 tarball 合同;
70
- - 不新增运行时依赖,除非先经评审并显式修订泄漏策略中的公开依赖清单;
71
- - 不提交生成物与本地状态:`node_modules`、`site/`、`.artifacts/`、缓存、
72
- 日志、凭据或本机绝对路径一律不进入提交;
73
- - 受管投影必须与产生它的源变更在同一 PR 内提交,禁止手改受管文件;
74
- - 动态状态(实时发布状态、远端对象状态)不写入版本化文档,唯一产品状态
75
- 口径见 `docs/status/current.md`。
21
+ 漏洞报告渠道见本仓 SECURITY.md。请走 Private vulnerability reporting,不要以公开 Issue 提交漏洞。
76
22
 
77
- ## 安全报告
23
+ ## 许可证
78
24
 
79
- 漏洞报告渠道与支持版本见 [SECURITY.md](SECURITY.md)。
25
+ 贡献内容默认按 Apache-2.0 授权,与本包许可证一致。
package/README.md CHANGED
@@ -15,7 +15,7 @@
15
15
  ## 使用
16
16
 
17
17
  ```sh
18
- npm install --save-dev skill-family-engineering-kit
18
+ npm install --save-dev skill-family-engineering-kit@0.2.0
19
19
  npm exec -- skill-family-kit --help
20
20
  npm exec -- skill-family-kit scaffold --root <empty-dir> --project-id my-project
21
21
  npm exec -- skill-family-kit adopt-plan --root <repo>
@@ -23,10 +23,33 @@ npm exec -- skill-family-kit projection --root <repo>
23
23
  npm exec -- skill-family-kit check --root <repo>
24
24
  ```
25
25
 
26
+ ### 报告子动作
27
+
28
+ ```sh
29
+ npm exec -- skill-family-kit projection report --root <repo> --model <report-model.json> --result <operation-result.json> --out <report.md> --binding <binding.json>
30
+ npm exec -- skill-family-kit check report --root <repo> --report <report.md> --model <report-model.json> --result <operation-result.json> --binding <binding.json>
31
+ ```
32
+
33
+ 调用方必须先构造合法 report model;Kit 不从开放的业务 `outputs` 推导事实。所有事实文本按字面转义,失败结果的
34
+ 完整 errors 必须出现在 model 和中性报告中。
35
+
36
+ ### 宿主子动作
37
+
38
+ ```sh
39
+ npm exec -- skill-family-kit adopt-plan host-describe --host <id> --hosts-root <dir>
40
+ npm exec -- skill-family-kit adopt-plan host-probe --host <id> --hosts-root <dir>
41
+ npm exec -- skill-family-kit scaffold host-build --root <workspace> --host <id> --path-category <id> --input <relpath> --out <relpath> --hosts-root <dir>
42
+ npm exec -- skill-family-kit adopt-plan host-plan --root <workspace> --host <id> --path-category <id> --build-manifest <relpath> --probe-facts <relpath> --hosts-root <dir>
43
+ ```
44
+
45
+ Profile 必须显式提供,Kit 不默认绑定具体宿主。probe 默认不启动进程;只有同时给出
46
+ `--allow-host-spawn --host-executable <绝对路径>` 才执行冻结版本向量。`host-apply` 稳定拒绝,未实现安装、更新或卸载。
47
+ Codex 的技能目标路径固定为 `.agents/skills`;其他受支持宿主只按已登记 Profile 提供;Qoder 为 `unsupported`,本版只参考其结构,不提供完整 driver,也不声称已在 Qoder 运行。adapter source 只接受已声明的文本闭包,不支持二进制投影;精确宿主支持矩阵见本版本 CHANGELOG 与已登记 Profile。
48
+
26
49
  零安装形式(不修改 package.json):
27
50
 
28
51
  ```sh
29
- npm exec --package=skill-family-engineering-kit -- skill-family-kit --help
52
+ npm exec --package=skill-family-engineering-kit@0.2.0 -- skill-family-kit --help
30
53
  ```
31
54
 
32
55
  ## 边界机制
@@ -73,7 +96,7 @@ projection 只写同时满足两个条件的路径:manifest 列出,且目标
73
96
  ## 安装
74
97
 
75
98
  ```sh
76
- npm install skill-family-engineering-kit
99
+ npm install skill-family-engineering-kit@0.2.0
77
100
  ```
78
101
 
79
102
  ## 故障诊断
package/SECURITY.md CHANGED
@@ -12,15 +12,10 @@
12
12
  ## 报告漏洞
13
13
 
14
14
  请勿通过公开 issue 直接披露未修复的安全漏洞。private workspace 仓永久
15
- private,不是公开报告渠道;请通过以下渠道私下报告:
16
-
17
- 1. **首选**:通过任一 public 发布镜像仓(例如
18
- `https://github.com/ifoohoo/skill-family-engineering-kit`)在 GitHub 上使用
19
- **Private vulnerability reporting**(仓库 Security 页签的
20
- "Report a vulnerability");
21
- 2. **备选**:如上述通道不可用,请通过邮件联系仓库维护者
22
- (`ifoohoo` GitHub 组织的 `security` 团队,或仓库 `README.md` 中列出的
23
- 维护者邮箱)。
15
+ private,不是公开报告渠道;请通过任一 public 发布镜像仓(例如
16
+ `https://github.com/ifoohoo/skill-family-engineering-kit`)在 GitHub 上使用
17
+ **Private vulnerability reporting**(仓库 Security 页签的
18
+ "Report a vulnerability")私下报告。
24
19
 
25
20
  报告时请尽量提供:
26
21
 
@@ -47,15 +47,20 @@ FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
47
47
  IN THE SOFTWARE.
48
48
 
49
49
 
50
- 2. lunr (search library)
51
- -------------------------
50
+ 2. lunr (search library core)
51
+ -----------------------------
52
52
 
53
53
  Version: 2.3.9
54
54
  License: MIT
55
55
  Copyright: Copyright (C) 2013 by Oliver Nightingale
56
- Files:
57
- - docs/assets/javascripts/lunr/min/lunr.stemmer.support.min.js
58
- - docs/assets/javascripts/lunr/min/lunr.multi.min.js
56
+
57
+ The lunr core is embedded inside the MkDocs Material JavaScript bundle
58
+ (docs/assets/javascripts/bundle.*.min.js, covered by entry 1 above); no
59
+ standalone lunr core files are distributed with this site. The two
60
+ support files under docs/assets/javascripts/lunr/min/ that earlier
61
+ revisions of this notice attributed to lunr (lunr.stemmer.support.min.js
62
+ and lunr.multi.min.js) are distributed by the lunr-languages project and
63
+ are covered by entry 3 below.
59
64
 
60
65
  MIT License
61
66
 
@@ -83,7 +88,12 @@ IN THE SOFTWARE.
83
88
  3. lunr-languages (language stemmers and word cutters)
84
89
  -------------------------------------------------------
85
90
 
91
+ Version: 1.14.0
92
+ Source: MihaiValentin/lunr-languages (tag 1.14.0); the files listed below
93
+ are byte-identical to that tag. Bundled by mkdocs-material 9.7.7
94
+ (pinned in scripts/docs/toolchain.json).
86
95
  License: MPL-1.1
96
+ License text: LICENSES/MPL-1.1.txt (repository root of the private workspace)
87
97
  Copyright: Mihai Valentin (and individual language stemmer authors)
88
98
  Files:
89
99
  - docs/assets/javascripts/lunr/min/lunr.ar.min.js
@@ -103,12 +113,14 @@ Files:
103
113
  - docs/assets/javascripts/lunr/min/lunr.jp.min.js
104
114
  - docs/assets/javascripts/lunr/min/lunr.kn.min.js
105
115
  - docs/assets/javascripts/lunr/min/lunr.ko.min.js
116
+ - docs/assets/javascripts/lunr/min/lunr.multi.min.js
106
117
  - docs/assets/javascripts/lunr/min/lunr.nl.min.js
107
118
  - docs/assets/javascripts/lunr/min/lunr.no.min.js
108
119
  - docs/assets/javascripts/lunr/min/lunr.pt.min.js
109
120
  - docs/assets/javascripts/lunr/min/lunr.ro.min.js
110
121
  - docs/assets/javascripts/lunr/min/lunr.ru.min.js
111
122
  - docs/assets/javascripts/lunr/min/lunr.sa.min.js
123
+ - docs/assets/javascripts/lunr/min/lunr.stemmer.support.min.js
112
124
  - docs/assets/javascripts/lunr/min/lunr.sv.min.js
113
125
  - docs/assets/javascripts/lunr/min/lunr.ta.min.js
114
126
  - docs/assets/javascripts/lunr/min/lunr.te.min.js
@@ -120,10 +132,11 @@ Files:
120
132
  - docs/assets/javascripts/lunr/wordcut.js
121
133
 
122
134
  These files are licensed under the Mozilla Public License Version 1.1
123
- (MPL-1.1). The full text of MPL-1.1 is available from the Mozilla project
124
- at mozilla.org (path: /en-US/MPL/1.1/).
135
+ (MPL-1.1). The full text of MPL-1.1 is shipped with the private workspace
136
+ repository at LICENSES/MPL-1.1.txt and is also available from the Mozilla
137
+ project at mozilla.org (path: /en-US/MPL/1.1/).
125
138
 
126
139
  MPL-1.1 requires that recipients of a larger work containing MPL-covered
127
140
  files be informed of the location of the MPL source. The source for these
128
- files is the lunr-languages project on GitHub (user: MihaiValentin,
129
- repo: lunr-languages).
141
+ files is the lunr-languages project, version 1.14.0 (GitHub user:
142
+ MihaiValentin, repo: lunr-languages, tag 1.14.0).
package/docs/404.html CHANGED
@@ -380,6 +380,33 @@
380
380
 
381
381
 
382
382
 
383
+ <li class="md-nav__item">
384
+ <a href="/skill-family-engineering-kit/public/status/" class="md-nav__link">
385
+
386
+
387
+
388
+ <span class="md-ellipsis">
389
+
390
+
391
+ 公开状态
392
+
393
+
394
+
395
+ </span>
396
+
397
+
398
+
399
+ </a>
400
+ </li>
401
+
402
+
403
+
404
+
405
+
406
+
407
+
408
+
409
+
383
410
  <li class="md-nav__item">
384
411
  <a href="/skill-family-engineering-kit/migration/" class="md-nav__link">
385
412
 
@@ -16,7 +16,7 @@
16
16
  <link rel="prev" href="../help/">
17
17
 
18
18
 
19
- <link rel="next" href="../migration/">
19
+ <link rel="next" href="../public/status/">
20
20
 
21
21
 
22
22
 
@@ -433,6 +433,17 @@
433
433
  </span>
434
434
  </a>
435
435
 
436
+ </li>
437
+
438
+ <li class="md-nav__item">
439
+ <a href="#下一阶段能力线架构-hand-off" class="md-nav__link">
440
+ <span class="md-ellipsis">
441
+
442
+ 下一阶段能力线(架构 hand-off)
443
+
444
+ </span>
445
+ </a>
446
+
436
447
  </li>
437
448
 
438
449
  <li class="md-nav__item">
@@ -504,6 +515,33 @@
504
515
 
505
516
 
506
517
 
518
+ <li class="md-nav__item">
519
+ <a href="../public/status/" class="md-nav__link">
520
+
521
+
522
+
523
+ <span class="md-ellipsis">
524
+
525
+
526
+ 公开状态
527
+
528
+
529
+
530
+ </span>
531
+
532
+
533
+
534
+ </a>
535
+ </li>
536
+
537
+
538
+
539
+
540
+
541
+
542
+
543
+
544
+
507
545
  <li class="md-nav__item">
508
546
  <a href="../migration/" class="md-nav__link">
509
547
 
@@ -695,6 +733,17 @@
695
733
  </span>
696
734
  </a>
697
735
 
736
+ </li>
737
+
738
+ <li class="md-nav__item">
739
+ <a href="#下一阶段能力线架构-hand-off" class="md-nav__link">
740
+ <span class="md-ellipsis">
741
+
742
+ 下一阶段能力线(架构 hand-off)
743
+
744
+ </span>
745
+ </a>
746
+
698
747
  </li>
699
748
 
700
749
  <li class="md-nav__item">
@@ -771,11 +820,35 @@
771
820
 
772
821
  <h1 id="架构边界">架构边界<a class="headerlink" href="#架构边界" title="Permanent link">&para;</a></h1>
773
822
  <h2 id="分层">分层<a class="headerlink" href="#分层" title="Permanent link">&para;</a></h2>
774
- <pre><code class="language-text">Contracts &lt;- Harness Node &lt;- Engineering Kit &lt;- Profile &lt;- Skill Family Project
775
- ^
776
- └---------------- independent Audit consumer
823
+ <p>2026-08-09 架构 hand-off(FND-ADR-001~007,active,见 <code>artifacts/decisions/</code>)确立的分层:纵向依赖链四层,横向能力挂接,不新增纵层。</p>
824
+ <pre><code class="language-text">技能族业务(各产品仓:release-skill、loop-agent、skill-eval 等)
825
+ 依赖
826
+
827
+ Engineering Kit(scaffold / adopt-plan / projection / check)
828
+ │ 依赖
829
+
830
+ Harness Node(Contracts 机制协议实现)
831
+ │ 依赖
832
+
833
+ Contracts(结构、协议、错误码、协议名登记)
834
+
835
+ └---------------- independent Audit consumer
836
+
837
+ 横向(挂接面,不新增纵层):
838
+ - profiles/ 宿主与项目形态差异声明,只实现稳定 SPI
839
+ - 宿主 外部 AI 编码运行环境:拥有语义,Foundation 统一结构性差异
840
+ - release-skill 发布状态与全部远端写入,不进入 Foundation
841
+ - Artifact Graph `artifacts/` 架构制品体系,门禁为 check:artifacts
777
842
  </code></pre>
778
- <p>箭头表示左侧是右侧的依赖。公共核心不得反向依赖具体 Profile 或具体技能族。</p>
843
+ <p>箭头指向被依赖方。公共核心不得反向依赖具体 Profile 或具体技能族;新能力的依赖方向落位见 <code>artifacts/design/FND-DES-001.md</code>,逐资产归属见 FND-ADR-002。</p>
844
+ <h2 id="下一阶段能力线架构-hand-off">下一阶段能力线(架构 hand-off)<a class="headerlink" href="#下一阶段能力线架构-hand-off" title="Permanent link">&para;</a></h2>
845
+ <p>三条能力线均经 FND-ADR-001 能力纳入门(宿主差异轴/跨技能族共性轴两主轴判定、业务语义一票否决、七项进入门)裁决纳入,全部在上图既有分层内落位:</p>
846
+ <ul>
847
+ <li><strong>宿主接入线</strong>(FND-FR-001/FND-FR-002,FND-ADR-003):Contracts 登记 descriptor/source/manifest/probe/plan/receipt;Harness 实现通用 source closure、原子 build/materialize 和 probe 分类;Kit 注入具体 Profile 与受信 driver。当前只支持 describe/build/probe/plan,<code>apply</code> 稳定拒绝,安装/卸载/更新均未实现。</li>
848
+ <li><strong>持久状态底座线</strong>(FND-FR-003,FND-ADR-004):append-only 事件、hash chain、快照与校验恢复;只提供状态底座,状态机、任务节点、重试、终态、记忆等业务语义不纳入 Foundation。</li>
849
+ <li><strong>人类报告线</strong>(FND-FR-004,FND-ADR-005):双层合同——机器结果是唯一真源,人类报告由机器结果确定性渲染(Markdown + digest 绑定 + 分级检查),不自由撰写。</li>
850
+ </ul>
851
+ <p>三包结构保持、不拆第四包(FND-ADR-007);制品治理采用 artifact-graph CLI 与版本锁(FND-ADR-006,体系说明见 <code>artifacts/README.md</code>)。</p>
779
852
  <h2 id="唯一权威">唯一权威<a class="headerlink" href="#唯一权威" title="Permanent link">&para;</a></h2>
780
853
  <ul>
781
854
  <li>Contracts:结构、协议、错误码和协议名登记;</li>
@@ -783,16 +856,17 @@
783
856
  <li>Kit:四个工程命令及其只读/受限写入边界;</li>
784
857
  <li>Profile:项目形态差异;</li>
785
858
  <li>Audit:独立 fixture、预期值和裁决;</li>
786
- <li>Release:发布状态和全部远端写入。</li>
859
+ <li>Release:发布状态和全部远端写入;</li>
860
+ <li>Artifacts:<code>artifacts/</code> 架构制品体系的关系合同与版本锁由 artifact-graph 机械验证(<code>check:artifacts</code>),体系说明见 <code>artifacts/README.md</code>(FND-ADR-006)。</li>
787
861
  </ul>
788
862
  <h2 id="首版预算">首版预算<a class="headerlink" href="#首版预算" title="Permanent link">&para;</a></h2>
789
863
  <ul>
790
- <li>顶层 Contracts 对象:6 类(project-manifest、profile-descriptor、managed-file-lock、operation-request、operation-result、migration-manifest);</li>
864
+ <li>顶层 Contracts 对象:18 类(完整清单以 <code>packages/skill-family-contracts/src/registry.json</code> 为唯一真源):project-manifest、profile-descriptor、managed-file-lock、operation-request、operation-result、migration-manifest、adapter-source、report-model、report-binding、host-descriptor、host-registry、host-capability-fact、host-probe-result、adapter-build-manifest、host-operation-plan、host-operation-receipt、state-event-envelope、state-snapshot-metadata;</li>
791
865
  <li>Kit 顶层命令:4 个(scaffold、adopt-plan、projection、check);</li>
792
- <li>强制机械规则:当前 13 条,预算不超过 20 条,绝对上限 30 条;</li>
866
+ <li>强制机械规则:当前 9 条,预算不超过 20 条,绝对上限 30 条;CR-001 对登记表内全部 Schema 做统一编译;</li>
793
867
  <li>叶子包:3 个(skill-family-contracts、skill-family-harness-node、skill-family-engineering-kit);</li>
794
868
  <li>Schema 校验器:Ajv 8.20.0(精确版本 pin),支持 draft-07 与 2020-12 双方言;</li>
795
- <li>kernel 协议:skill-family.kernel.operation(stable),Contracts 版本 1.1.1;</li>
869
+ <li>kernel 协议:skill-family.kernel.operation(stable),Contracts 版本 1.4.0;</li>
796
870
  <li>默认运行时语言:Node;第二语言实现首版为 0。</li>
797
871
  </ul>
798
872
  <p>任何新增组件必须说明删除它会导致的两个以上真实消费者重复实现,并通过独立 fixture 验证。</p>
@@ -843,7 +917,7 @@
843
917
  </ol>
844
918
  <p>两个检查脚本都可直接 <code>node scripts/docs/&lt;name&gt;.mjs</code> 运行:<code>fact-check.mjs</code> 是 Node 脚本,经仓内模块(<code>scripts/engine-floor-check.mjs</code>)消费根目录精确锁定的 <code>semver@7.8.5</code>,运行前必须先完成 <code>pnpm install --frozen-lockfile</code>;<code>link-check.mjs</code> 为纯 Node 实现(无第三方依赖)。职责说明见 <code>scripts/docs/README.md</code>。</p>
845
919
  <h2 id="稳定产品门禁">稳定产品门禁<a class="headerlink" href="#稳定产品门禁" title="Permanent link">&para;</a></h2>
846
- <p>根 <code>pnpm check</code> 只编排 10 个稳定产品 gate ID(<code>check:structure</code>~<code>check:integration</code>,逐 ID 见 当前产品状态),不再锁死原始命令清单;每个稳定 ID 在自己的 package script 内组合少量产品检查。门禁事实由 <code>node scripts/docs/fact-check.mjs</code> 从根 <code>package.json</code> 的 <code>scripts.check</code> 机械推导并逐字核对(setup 投影区块与 <code>scripts.check</code> 逐字一致)。文档与 setup 只调用或列出 10 个稳定 ID 或根 <code>pnpm check</code>,不复制底层命令列表。</p>
920
+ <p>根 <code>pnpm check</code> 只编排 11 个稳定产品 gate ID(<code>check:structure</code>~<code>check:artifacts</code>,逐 ID 见 当前产品状态),不再锁死原始命令清单;每个稳定 ID 在自己的 package script 内组合少量产品检查。门禁事实由 <code>node scripts/docs/fact-check.mjs</code> 从根 <code>package.json</code> 的 <code>scripts.check</code> 机械推导并逐字核对(setup 投影区块与 <code>scripts.check</code> 逐字一致)。文档与 setup 只调用或列出 11 个稳定 ID 或根 <code>pnpm check</code>,不复制底层命令列表。</p>
847
921
  <p>仓内检查的诚实边界:结构检查只证明“字节/结构一致性(仓内可证)”;一次性迁移完整性、普通正文语义与最终接受/拒绝结论属于外部审阅职责,不在目标仓内维护第二份门禁 registry、baseline 或命令比较器。</p>
848
922
 
849
923
 
@@ -526,6 +526,33 @@
526
526
 
527
527
 
528
528
 
529
+ <li class="md-nav__item">
530
+ <a href="../public/status/" class="md-nav__link">
531
+
532
+
533
+
534
+ <span class="md-ellipsis">
535
+
536
+
537
+ 公开状态
538
+
539
+
540
+
541
+ </span>
542
+
543
+
544
+
545
+ </a>
546
+ </li>
547
+
548
+
549
+
550
+
551
+
552
+
553
+
554
+
555
+
529
556
  <li class="md-nav__item">
530
557
  <a href="../migration/" class="md-nav__link">
531
558
 
@@ -493,6 +493,33 @@
493
493
 
494
494
 
495
495
 
496
+ <li class="md-nav__item">
497
+ <a href="../public/status/" class="md-nav__link">
498
+
499
+
500
+
501
+ <span class="md-ellipsis">
502
+
503
+
504
+ 公开状态
505
+
506
+
507
+
508
+ </span>
509
+
510
+
511
+
512
+ </a>
513
+ </li>
514
+
515
+
516
+
517
+
518
+
519
+
520
+
521
+
522
+
496
523
  <li class="md-nav__item">
497
524
  <a href="../migration/" class="md-nav__link">
498
525
 
package/docs/index.html CHANGED
@@ -480,6 +480,33 @@
480
480
 
481
481
 
482
482
 
483
+ <li class="md-nav__item">
484
+ <a href="public/status/" class="md-nav__link">
485
+
486
+
487
+
488
+ <span class="md-ellipsis">
489
+
490
+
491
+ 公开状态
492
+
493
+
494
+
495
+ </span>
496
+
497
+
498
+
499
+ </a>
500
+ </li>
501
+
502
+
503
+
504
+
505
+
506
+
507
+
508
+
509
+
483
510
  <li class="md-nav__item">
484
511
  <a href="migration/" class="md-nav__link">
485
512
 
@@ -389,6 +389,33 @@
389
389
 
390
390
 
391
391
 
392
+ <li class="md-nav__item">
393
+ <a href="../../../public/status/" class="md-nav__link">
394
+
395
+
396
+
397
+ <span class="md-ellipsis">
398
+
399
+
400
+ 公开状态
401
+
402
+
403
+
404
+ </span>
405
+
406
+
407
+
408
+ </a>
409
+ </li>
410
+
411
+
412
+
413
+
414
+
415
+
416
+
417
+
418
+
392
419
  <li class="md-nav__item">
393
420
  <a href="../../../migration/" class="md-nav__link">
394
421
 
@@ -391,6 +391,33 @@
391
391
 
392
392
 
393
393
 
394
+ <li class="md-nav__item">
395
+ <a href="../../../public/status/" class="md-nav__link">
396
+
397
+
398
+
399
+ <span class="md-ellipsis">
400
+
401
+
402
+ 公开状态
403
+
404
+
405
+
406
+ </span>
407
+
408
+
409
+
410
+ </a>
411
+ </li>
412
+
413
+
414
+
415
+
416
+
417
+
418
+
419
+
420
+
394
421
  <li class="md-nav__item">
395
422
  <a href="../../../migration/" class="md-nav__link">
396
423
 
@@ -391,6 +391,33 @@
391
391
 
392
392
 
393
393
 
394
+ <li class="md-nav__item">
395
+ <a href="../../public/status/" class="md-nav__link">
396
+
397
+
398
+
399
+ <span class="md-ellipsis">
400
+
401
+
402
+ 公开状态
403
+
404
+
405
+
406
+ </span>
407
+
408
+
409
+
410
+ </a>
411
+ </li>
412
+
413
+
414
+
415
+
416
+
417
+
418
+
419
+
420
+
394
421
  <li class="md-nav__item">
395
422
  <a href="../../migration/" class="md-nav__link">
396
423
 
@@ -743,7 +770,8 @@
743
770
  isolation-and-lockfile.md 隔离安装与包锁验证设计
744
771
  independence.md 独立性声明与机械证明
745
772
  schemas/audit-evidence.schema.json 证据文档的 JSON Schema(审计自有)
746
- baseline/contracts-1.1.1.pin.json Contracts 1.1.1 现行基线 pin(摘要+事实)
773
+ baseline/contracts-1.4.0.pin.json Contracts 1.4.0 现行基线 pin(摘要+事实)
774
+ baseline/contracts-1.1.1.pin.json Contracts 1.1.1 只读兼容存档 pin
747
775
  baseline/contracts-1.1.0.pin.json Contracts 1.1.0 只读兼容存档 pin
748
776
  baseline/contracts-1.0.0.pin.json Contracts 1.0.0 只读兼容存档 pin
749
777
  baseline/audit-codes.json AUD 码登记表(append-only)
@@ -391,6 +391,33 @@
391
391
 
392
392
 
393
393
 
394
+ <li class="md-nav__item">
395
+ <a href="../../../public/status/" class="md-nav__link">
396
+
397
+
398
+
399
+ <span class="md-ellipsis">
400
+
401
+
402
+ 公开状态
403
+
404
+
405
+
406
+ </span>
407
+
408
+
409
+
410
+ </a>
411
+ </li>
412
+
413
+
414
+
415
+
416
+
417
+
418
+
419
+
420
+
394
421
  <li class="md-nav__item">
395
422
  <a href="../../../migration/" class="md-nav__link">
396
423