# 实验设计

创建人员：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 符合判定标准。