Example 3 - Claim-Ledger Security Fix - generated artifacts
DEFENSIVE / TEACHING RECONSTRUCTION. Maker-checker on executable evidence.
| Artifact | File |
|---|---|
| Findings ledger (23 -> 9/11/3) | findings-ledger.csv |
| Cost ledger (repro dominates) | cost.csv |
| Loop log | loop-log.md |
| Headline numbers | headline.json |
Auto-generated by tools/data/. Synthetic reconstruction for teaching.