[Phase 1] knowledge_cache_attest cross-check read_audit

[Cho-Geer]

Parent Epic

#? — UC7-001 读后写约束加固

范围

修复 GAP #2/#3：knowledge_cache_attest 必须交叉验证 read_audit 记录。

组件	状态
verifyRead() cross-check	✅ 已实施
attestation.status = attested	✅ 已实施
cache_sufficient 字段分离	✅ 已实施
files_read ⊆ discovered_files 验证	✅ 已实施

验证

• files_read 必须 ⊆ discovered_files
• 未实际 read 的文件 → 拒绝 attestation
• attestation 状态正确写入 machine.json

参考

docs/review/framework-refactor/uc7ks-read-before-write-plan.md §1