| artifacts | | | 11 items |
| experiments | | | 9 items |
| false-search-baseline | | | 4 items |
| handoff-2026-08-06 | | | 70 items |
| handoffs | | | 12 items |
| jobs | | | 20 items |
| manifests | | | 20 items |
| preregistration | | | 4 items |
| probes | | | 9 items |
| public200 | | | 77 items |
| results | | | 19 items |
| runs | | | 34 items |
| share_gemmacerts | | | 1 items |
| share_handoff | | | 1 items |
| share_heldout | | | 6 items |
| share_searchcraft | | | 3 items |
| share_watchtools | | | 1 items |
| tools | | | 2 items |
| traces | | | 3 items |
| true-proof-idiom | | | 5 items |
| uplift_bench | | | 74 items |
| .bucket-sync-handshake | 9 Bytes | | 36c87f38 |
| atp_plan.py | 7.3 kB | | 45e65a29 |
| atp_plans_residual39.json | 217 kB | | b13866d5 |
| atp_prove.py | 5.63 kB | | a2b21447 |
| atp_recipe.py | 3.91 kB | | 8937b1bb |
| atp_recipes_residual39.json | 103 kB | | 700e3f92 |
| collab_union.py | 7.96 kB | | 67569d75 |
| sat_magma.py | 12.8 kB | | fb93044a |
| sat_sweep.py | 4.76 kB | | 3660c24e |
| subscribe.md | 10 Bytes | | e6928414 |
| twee20_nolemmas.json | 85.6 kB | | d3cf3aaf |
| twee_chains_residual39.json | 32.9 kB | | c0827286 |
| twee_ladder_depth20.json | 1.66 kB | | 002b4d33 |
| twee_lemmas_remaining20.json | 18.5 kB | | cb17fd03 |
| twee_prove.py | 5.32 kB | | 30351470 |
| twee_to_lean.py | 8.18 kB | | 74d97793 |
