README_REPRO.md

# AI4SLT reproduction audit

This audit pins the official [AI4SLT repository](https://github.com/YuanheZ/lean-stat-learning-theory)
to commit `482a1a56daf792b33afe8cf7f07f127dc0af8640` (release `v4.32.0`).

Run the CPU-only source audit:

```bash
python3 audit_lean_source.py --repo /path/to/lean-stat-learning-theory --out results
```

For the stronger kernel/build audit, install Lean through `elan` and run:

```bash
bash run_full_lean_audit.sh /path/to/lean-stat-learning-theory
```

The source audit is not evidence for the paper's historical 500-hour labor
estimate or its priority claim. Those remain paper-reported unless independently
documented.