技术栈

每次 push，ci.yml 都在本仓运行六条产品腿：scan、dedup 棘轮、地板 950 的 check、deadcode、docdup 与 erase。

ADR-006 把逐文件上限与离散违规集冻结在 ce-baseline.json。增长必须具名重立；日常清理会自动收紧基线银行。

docs_gate.rs 从二进制生成 CLI 与配置参考。引文、导航和常数测试检查方法学；所有 benchmark 表面由同一 JSON 合约逐字节门控。

判定层: 0/600 flagged (gate <= 1%); 写入探针: 0/630 误报. 其余规则保持 observe。每次晋级都须写入 CHANGELOG 台账。

erase/gather.rs 组装事实；CE.Erase 只授权满足安全谓词的行。应用前逐目标验哈希，落笔后重跑来源家族——幸存判决响亮失败；没有 LLM 负责重写。

release.yml 先为 draft 工件计哈希，再由提交的 pins 绑定这些字节。tag 作业下载同一批工件，检查 CI 与每个 pin，全程不重建。

十二册方法学把每条公式链接到实现它的 file:line。docs_citations.rs 查引文台账；docs_nav.rs 查册集与导航。

只有核能计算分数与棘轮判决、授权 erase 行、决定 cycle 轴成员。属性电池会扰动这些判决，并以参考实现对拍小规模情形。