SOURCE FILES · EXACT CHECKS
Reproduce the cost audit.
Download the complete proof and source collection, then restore every file with the hash-checking Python tool. Identical source bytes are stored once to keep the download smaller. Every original path and its hash are retained. Archive parts are available from the public GitHub release without a ChatGPT login.
Read the model, assumptions and coverage guide ↗ · Open the current GitHub release ↗
Every ZIP part, the manifest and the restore tool are required. Save them together in one folder. You do not need to extract the ZIPs yourself.
Download manifest Download restore tool
Restore one complete folder
- Download all ZIP parts listed below,
reproduction-package.jsonandrestore_reproduction.pyinto the same folder. - Open a terminal in that folder. Python 3.11 or later is sufficient. Restore into a new folder:
python restore_reproduction.py --output cost-audit
- The tool checks every archive, source object and restored path against SHA256. It works offline and refuses an existing output folder.
- Open
cost-audit/operation-auditand run the relevant proof scripts. For example:python t21_t37_finite_controller_upper.py python gaussian_only_selected_provider_bounds.py
- Read the linked proof and peer receipt for each bound. Native, analytic and all-size realization premises remain explicit. Successful arithmetic checks do not establish an exact first crossover.