README_REPRO.md

AI4SLT reproduction audit

This audit pins the official AI4SLT repository to commit 482a1a56daf792b33afe8cf7f07f127dc0af8640 (release v4.32.0).

Run the CPU-only source audit:

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 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.