实验设计

创建人员：Codex
文件职责：记录 Project D 实验设计、步骤、依赖、产物和判定标准。
管理规范/模板：../../common/exp-doc/实验设计模版.md。
引用文件：实验总纲.md；实验执行日志.md；实验审计报告.md；实验存储体系.md。
记录方式：append-only；最新设计追加到文件末尾。

设计记录

DESIGN-D-HEAVY-001

实验 ID：EXP-D-HEAVY-001。
目标：验证重型研发实验的完整证据链。
输入：exp-data/raw/EXP-D-HEAVY-001/valid_pack/manifest.json 和两个错误对照包。
开发依赖：DEV-D-HEAVY-001；编码方案 CODE-D-HEAVY-001。
步骤：准备 manifest 样本包；开发 manifest_pack_validator.py；编写单元测试；运行 valid/missing/hash 三类包；输出 summary、case_results、readout；记录一次问题修复和复审。
产物：exp-data/result/RUN-D-HEAVY-001/summary.json；case_results.csv；readout.md。
判定标准：valid 包 PASS；missing_file 包 FAIL；hash_mismatch 包 FAIL；测试通过；问题修复记录完整。
设计审计：AUDIT-D-HEAVY-DESIGN-001。
状态：已执行完成；RUN-D-HEAVY-001 符合判定标准。

DESIGN-D-HEAVY-002

实验 ID：EXP-D-HEAVY-002。
目标：验证 manifest_pack_validator.py 复用到第二个实验时，能正确输出 EXP-D-HEAVY-002 / RUN-D-HEAVY-002 身份，并覆盖路径安全和坏 manifest 反例。
输入：exp-data/raw/EXP-D-HEAVY-002/valid_pack_2/manifest.json、invalid_pack_escape/manifest.json、invalid_pack_absolute/manifest.json、invalid_pack_bad_manifest/manifest.json。
开发依赖：DEV-D-HEAVY-001；复用编码方案 CODE-D-HEAVY-001。
步骤：准备 4 类样本包；运行同一 CLI；检查 summary 身份字段；检查 readout 标题；检查 case_results 期望矩阵。
产物：exp-data/result/RUN-D-HEAVY-002/summary.json；case_results.csv；file_check_details.csv；readout.md。
判定标准：valid_pack_2 PASS；escape/absolute/bad_manifest 三类反例 FAIL；summary 中 experiment_id=EXP-D-HEAVY-002、run_id=RUN-D-HEAVY-002；quality_pass=true。
设计审计：AUDIT-D-HEAVY-DESIGN-002。
状态：已执行完成；RUN-D-HEAVY-002 符合判定标准。