Verified on · 2026-09-07 09:51:41 UTC

Source, tests and reproducibility

Inspect the source, rerun an experiment and follow its evidence back to the published revision.

Public repositories
480
Priority projects reproduced
3
Archive repositories updated
34
Archives awaiting migration
409

Open the engineering catalogReview the migration record

Evidence and limits

Source availability, passing tests and bounded model checks have different scopes. They do not establish independent adoption, certification or real-world effectiveness.

NOT_VERIFIED means the current test did not establish the claim. It must not be displayed as a pass.

Contribute a reproduction report, a failing case or a narrowly scoped improvement.