# Data audit (P1)
| file | sha256 | rows | cols | schema |
|---|---|---|---|---|
| data/propositions.csv | 0e12befb7693999629fbe1a46d5243e78bd54681b05be6a8b81efe8d307db1f6 | 2 | 2 | id (str), statement (str) |
| data/design.csv | b9c14d67b34e811cafa44a01d8d03d44f7b31a9a01c882e8bc51ac563003a9df | 2 | 3 | parameter, value, description |

- Hashes match bundle.json.
- design: seed = 20261029, n = 100000 (integers, unitless). No missing values, no duplicates, no anomalies.
- propositions: ids A, B unique; text complete. A explicitly counts a constant as a (degenerate) normal, which rules out Y = -X as a counterexample.
- No date fields; no information-availability violations. No exclusions (exclusions.csv records no-op steps).