Skip to content

Commit a09392d

Browse files
committed
chore(sync): regenerate host-instruction projections after Stop-gate fixes
Projections were stale (AGENTS/copilot-instructions/coverage). Regenerated to 100% coverage, re-applied global adapters, and refreshed workspace .devcodex runtime.
1 parent 950a93d commit a09392d

3 files changed

Lines changed: 11 additions & 11 deletions

File tree

‎host-projections/AGENTS.md‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# DevCodex — Shared Host Kernel(generated)
22

33
> Generated from the unified DevCodex instructions source. Do not edit this file directly.
4-
> sourceDigest: 396edc68c09cff79bdf632dbb338a55ce3b867dd1d4eced57f380416744531b9
4+
> sourceDigest: 2b090f11db0ebfc0b618367c994ac35226bbd0b104c823eb279297072574c173
55
> configDigest: 88274604f8a6408d277c4d133a17b57c0788e6a827214c683d933ba245351a3a
66
> Full fallback: user://agents/devcodex/instructions.full.md
77
> Host surface: Codex / Claude import / Gemini import / Grok native AGENTS.md
@@ -33,7 +33,7 @@
3333
- C16:规模判断与批量分批:分析、审查、扫描或批量操作前必须先识别唯一项目/root,并执行 `ProjectArtifactScaleRoutingGate` 的 bounded inventory,按文件数、可解析字节、最大文件、目录集中度、派生产物比例和消费者扩散面决定 `single-pass / batched / sampled+deep-read / blocked`;≥10 文件 mutation 或非 small corpus 必须分批并写 checkpoint,禁止先无界扫描超时后再补分批
3434
- C17:过程改进记录:每条非空用户消息先登记中性治理候选,完成合理性评估和上下文归因后再按语义形成 `GovernanceIntakeDecision`;关键词不得作为权威触发/分类依据。用户建议的策略经确认更优,或揭示规范未定义/不完整且可泛化时,必须走 Improvement Intake:将策略写入 `data/process-improvements.md`(优化清单,PI);若同时暴露规范缺口,再联动 `data/pending-fixes.md`(PF)。复合意图逐项 all-of 验证;不得询问是否记录;所有模式命中后都必须显式回执已记录的 `PI-xxx / PF-xxx`
3535
- C18:全模式入口检查不可跳过:同 S07
36-
- C19:确认后前置复审:每次用户明确确认后、进入下一阶段前,必须执行 `PostConfirmationReviewScopeGate` 并输出 ReviewGradeCard;映射轻量=R1(须 skipReason)、标准=R2(默认)、全面=R3(高风险+冻结清单)、发布安全=R4;命中控制面 / 多文件联动 / 真相源同步 / 模板-示例-校验链须追加交叉验证;阻断项先修正并重确认;ECR 默认 R2 禁止永远轻量
36+
- C19:确认后前置复审:每次用户明确确认后、进入下一阶段前,必须执行 `PostConfirmationReviewScopeGate` 并输出 ReviewGradeCard:映射 轻量=R1(低风险单文件/纯文案,须 `skipReason`)、标准=R2(默认)、全面=R3(高风险/多模块/公共 API·配置/安全/package·adapter/文档消费者/控制面/多真相源 + 冻结清单)、发布安全=R4;命中控制面 / 多文件联动 / 真相源同步 / 模板-示例-校验链须追加交叉验证;阻断项先修正并重确认。ECR 默认 R2,不得钉死为「永远轻量」
3737
- C20:官方文档证据前置:新增/升级第三方依赖、框架、SDK、平台 API 或外部模块前,必须先读取官方使用文档/官方参考资料并形成 `OfficialDocsEvidence`;缺失证据时不得进入编码
3838
- C21:Profile 联动判定:dev/fix 修改项目技术栈、目录边界、脚本、测试/发布路线、分发面、配置项、长期连接或本地 overlay schema 时,必须执行 `ProfileImpactCheck`:更新 Profile 或写明跳过理由
3939
- C22:AI 自启动服务清理(ServiceLifecycleCleanup):AI 为验证启动 dev server、文档站、本地 API/mock、数据库代理、SSH 隧道、Playwright/Cypress server、压测 target 等长运行进程时,必须记录启动命令、cwd、PID/job、端口/URL;验证完成、失败或中断收尾前主动停止仅由 AI 启动的服务并核验端口释放;不得杀用户既有进程;用户明确要求保留时记录保留原因、PID/端口和关闭方式

‎host-projections/copilot-instructions.md‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# DevCodex — Copilot Host Kernel(generated)
22

33
> Generated from the unified DevCodex instructions source. Do not edit this file directly.
4-
> sourceDigest: 396edc68c09cff79bdf632dbb338a55ce3b867dd1d4eced57f380416744531b9
4+
> sourceDigest: 2b090f11db0ebfc0b618367c994ac35226bbd0b104c823eb279297072574c173
55
> configDigest: 88274604f8a6408d277c4d133a17b57c0788e6a827214c683d933ba245351a3a
66
> Full fallback: user://agents/devcodex/instructions.full.md
77
> Host surface: GitHub Copilot CLI user-global instructions; Hooks/MCP/Skills are deployed separately
@@ -33,7 +33,7 @@
3333
- C16:规模判断与批量分批:分析、审查、扫描或批量操作前必须先识别唯一项目/root,并执行 `ProjectArtifactScaleRoutingGate` 的 bounded inventory,按文件数、可解析字节、最大文件、目录集中度、派生产物比例和消费者扩散面决定 `single-pass / batched / sampled+deep-read / blocked`;≥10 文件 mutation 或非 small corpus 必须分批并写 checkpoint,禁止先无界扫描超时后再补分批
3434
- C17:过程改进记录:每条非空用户消息先登记中性治理候选,完成合理性评估和上下文归因后再按语义形成 `GovernanceIntakeDecision`;关键词不得作为权威触发/分类依据。用户建议的策略经确认更优,或揭示规范未定义/不完整且可泛化时,必须走 Improvement Intake:将策略写入 `data/process-improvements.md`(优化清单,PI);若同时暴露规范缺口,再联动 `data/pending-fixes.md`(PF)。复合意图逐项 all-of 验证;不得询问是否记录;所有模式命中后都必须显式回执已记录的 `PI-xxx / PF-xxx`
3535
- C18:全模式入口检查不可跳过:同 S07
36-
- C19:确认后前置复审:每次用户明确确认后、进入下一阶段前,必须执行 `PostConfirmationReviewScopeGate` 并输出 ReviewGradeCard;映射轻量=R1(须 skipReason)、标准=R2(默认)、全面=R3(高风险+冻结清单)、发布安全=R4;命中控制面 / 多文件联动 / 真相源同步 / 模板-示例-校验链须追加交叉验证;阻断项先修正并重确认;ECR 默认 R2 禁止永远轻量
36+
- C19:确认后前置复审:每次用户明确确认后、进入下一阶段前,必须执行 `PostConfirmationReviewScopeGate` 并输出 ReviewGradeCard:映射 轻量=R1(低风险单文件/纯文案,须 `skipReason`)、标准=R2(默认)、全面=R3(高风险/多模块/公共 API·配置/安全/package·adapter/文档消费者/控制面/多真相源 + 冻结清单)、发布安全=R4;命中控制面 / 多文件联动 / 真相源同步 / 模板-示例-校验链须追加交叉验证;阻断项先修正并重确认。ECR 默认 R2,不得钉死为「永远轻量」
3737
- C20:官方文档证据前置:新增/升级第三方依赖、框架、SDK、平台 API 或外部模块前,必须先读取官方使用文档/官方参考资料并形成 `OfficialDocsEvidence`;缺失证据时不得进入编码
3838
- C21:Profile 联动判定:dev/fix 修改项目技术栈、目录边界、脚本、测试/发布路线、分发面、配置项、长期连接或本地 overlay schema 时,必须执行 `ProfileImpactCheck`:更新 Profile 或写明跳过理由
3939
- C22:AI 自启动服务清理(ServiceLifecycleCleanup):AI 为验证启动 dev server、文档站、本地 API/mock、数据库代理、SSH 隧道、Playwright/Cypress server、压测 target 等长运行进程时,必须记录启动命令、cwd、PID/job、端口/URL;验证完成、失败或中断收尾前主动停止仅由 AI 启动的服务并核验端口释放;不得杀用户既有进程;用户明确要求保留时记录保留原因、PID/端口和关闭方式

‎host-projections/coverage.json‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
{
22
"schemaVersion": "HostInstructionCoverageReceiptV1",
33
"sourceFile": "instructions.md",
4-
"sourceDigest": "396edc68c09cff79bdf632dbb338a55ce3b867dd1d4eced57f380416744531b9",
4+
"sourceDigest": "2b090f11db0ebfc0b618367c994ac35226bbd0b104c823eb279297072574c173",
55
"configDigest": "88274604f8a6408d277c4d133a17b57c0788e6a827214c683d933ba245351a3a",
66
"mode": "kernel",
77
"fallback": {
88
"destination": "user://agents/devcodex/instructions.full.md",
9-
"sourceDigest": "396edc68c09cff79bdf632dbb338a55ce3b867dd1d4eced57f380416744531b9",
9+
"sourceDigest": "2b090f11db0ebfc0b618367c994ac35226bbd0b104c823eb279297072574c173",
1010
"available": true
1111
},
1212
"budgets": {
@@ -299,14 +299,14 @@
299299
},
300300
"outputs": {
301301
"host-projections/AGENTS.md": {
302-
"bytes": 10617,
302+
"bytes": 10608,
303303
"lines": 88,
304-
"digest": "89a7429a0081a300dbb347b26de2e8a99dbec33692e5c794926e8da8e23ae97f"
304+
"digest": "b62707783862f5ab1b96eda970cf698ea653111fd3cb1047ebe1e7a7eaa5186f"
305305
},
306306
"host-projections/copilot-instructions.md": {
307-
"bytes": 10642,
307+
"bytes": 10633,
308308
"lines": 88,
309-
"digest": "49953d170b5ca75c21f82f0ae3feb324637541fc2cd3a4af38082361e216c5c4"
309+
"digest": "3fc3ef48653cc89f28aa3a9eeb206977674095f8cbfe2b31df8b2247eec84073"
310310
},
311311
"host-projections/CLAUDE.md": {
312312
"bytes": 377,
@@ -324,5 +324,5 @@
324324
"valid": true,
325325
"errors": []
326326
},
327-
"receiptId": "host-instruction-coverage-bd5530f67033ec722eeeb5f0a0583c84066d6ee35abf53f86c1eabb923e7f4ae"
327+
"receiptId": "host-instruction-coverage-a8b2f73f0b53c59d8770fd712d0ccfff9790dafe00c7bc50a7d23a38dab3bc12"
328328
}

0 commit comments

Comments
 (0)