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

- propositions.csv: ids A, B; text statements; no missing values, no duplicates.
- design.csv: seed = 20261029, n = 100000 (integers, unitless); no missing, no duplicates.
- No dates; no availability-rule violations. No anomalies. No exclusions needed (ledger records a no-op step).
- Important semantic detail: A counts a constant as a (degenerate) normal, ruling out the trivial Y = -X counterexample.