zizi a7d2746d67 文档: 权威分层登记与合同收敛（含前会话治理文档工作）

- 登记 SQLite 运行态账本：AGENTS/红线/08域/表映射 四处同口径
  （不产生 Canonical，冲突以 PG 为准）；表映射补 muse.db 八表清单
- web/app.py 按裁决登记为本地人审留痕通道（08域 §6.1，写面闭集）
- rubric 回写四项无条件阻断（_BLOCKING_ADVISORY_CODES 对齐）
- 红线措辞校准：额度窗口真实语义（跨窗续跑/降级/末窗 4h）、
  MUSE_LLM_ALLOW_UNGOVERNED 逃生口登记、抽取角色改治理链口径
- 角色合同登记 blind_judge/semantic_detector 别名与两阶段写手形态
- 文档失实修复：导读旧路径、细纲必填表补 3 字段、schemas/README
  改库内权威世界观、framework/README 登记 claude 适配器、
  harness README 对齐新布局、59 技能计数
- 迁移对账改关联计数（不再写死 reviews=6）
- 四维形而上审查报告（verdict PASS，含独立性局限声明）
- 含前一会话未提交的治理文档工作：AGENTS 重构、审查标准迁移、
  rubric 引用更新、.agent 目录索引更新
- .gitignore 补 muse.db 备份文件规则

2026-08-30 23:06:39 +08:00

4.4 KiB

Raw Blame History

2026-08-30 提交前四维形而上审查报告

审查对象：本次「harness 规则与实现差异修复」全量改动（38 文件，+509/−339）。审查方法：按 metaphysical-diff-review 四维方法执行。 独立性局限声明：本审查与改动作者同会话执行（当前宿主无子代理派发机制；直调外部模型审查会绕过额度治理红线）。程序与证据标准按技能合同执行，但真正独立的审查应在提交前由全新会话装载该技能复跑一次。

verdict: PASS

四维全部通过；机械门前置条件满足（全量离线 118 passed + 9 设计内 blocked + 0 failed；skill_harness --strict 59 Skill 阻断 0 发现 0；skills_index --check 三方一致；architecture 9 文件逐个全绿；git diff --check 干净）。

1. 逻辑完整性 — PASS

三个新硬门（TOOL_NOT_READONLY / MODEL_POLICY_VIOLATION / governed-chain 放行）各有专属测试（tests/skills/dispatch-agent-task/test_dispatch_agent_task.py +88 行，28 用例全绿）。
删除物无孤儿：project_paths.py 删除前验证零引用；offline_only 参数 5 处引用全清且无文档残留；harness/harness/ 仅含 pycache。
mismatched_models 在回执引用前无条件绑定（检查块总是执行）。
muse.db 清理闭环：删前集合与预期断言相等才执行 → 267MB 文件备份 → 删后计数复核（81/26/6 → 76/0/4）→ 污染源堵漏（sqlite_path 三层透传 + 9 处测试隔离）→ 复跑全量测试计数零漂移。
反向核对变更说明：Phase 0–3 报告声称的每一项修复均能在 diff 中定位对应 hunk，无凭空声明。

2. 一致性 — PASS

技能计数三方一致：59 = 15 方法 + 44 编排（AGENTS.md / 两份索引 / skills.json，skills_index --check 机械验证）。
writer 输出契约三层对齐：writer.md 数据契约 ↔ writer-candidate-body-v1 schema ↔ 角色合同两阶段登记。
角色名英文 ID 与 ROLE_NAMES / EXPECTED_ROLES / 五个提示词 frontmatter 一致（test_skill_catalog 绿）。
SQLite 运行态账本在 AGENTS.md §1、红线 1.1、08 域 §2/§6.1、表映射.md 四处同一口径（不产生 Canonical、冲突以 PG 为准）。
检索语义分层明确：PG 面 canonical_entity/draft，本地面 local_card（docstring 声明 + 失败关闭字段），不冒充。

3. 合理性 — PASS

模型核对置于结构化校验之后（保持输出合同错误优先级），代码注释载明理由。
provider 前缀剥离（split("/", 1)[-1]）与框架 requested_model_id = provider/model 构造同构，不引入宽松子串。
检索 truthful 化选择失败关闭（bindingStatus=None、productionRetrievalEligible=False）而非伪造资格，与 ProductionCardIndexRepository 的拒绝语义闭环——错误会被大声暴露而不是静默放行。
web/app.py 按裁决方案 A 登记为本地留痕通道而非删除，保留单机闭环能力，写面闭集由既有 e2e 机械测试固定。
审计④后半（judge 输入禁看扫描）经核实判定为误报未实施：正确层（盲评桥 FORBIDDEN_KEYS + _walk_for_leakage + 组装即校验）已有机械门与测试，在通用派发入口重复扫描会误伤合法字段——不修反而是对的。

4. 可行性 — PASS

引用存在性：role_policy.py 对 muse_llm/muse_role 的导入路径在派发脚本上下文已建立（role_task 先行导入）；Mapping 已在 store.py 导入清单。
README 门禁命令原样实跑通过（本轮验证记录在案）。
生产默认不变：produce_next_chapter 等生产入口不传 sqlite_path（缺省 data/muse.db 即生产账本），只有测试显式隔离。
迁移对账改为关联计数后语义自洽（迁移后新增本地人审不计入、不再误报）。

遗留观察（不阻断）

RunDispatchTest 的临时目录用 mkdtemp 未显式清理——测试卫生小项，非本轮范围。
本地 muse.db 检索现在对无内容指针行返回空集（诚实行为）；真实内容检索仍依赖 PG 在线，单机离线检索能力是已登记的目标合同缺口（08 域 §10）。
.agent/skills/_index.md 经 --write 再生成内容零变化（无痕），前一会话对 .agent/_index.md/.agent/目录.md 的未提交修改保持原样未动。

4.4 KiB Raw Blame History Unescape Escape