allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Research-Stack/desi_model_projection_receipt_2026-05-13
History
Brandon Schneider a3911389f7 fix: update RG test suite — BraidSpherionBridge has 14 sorries 
Honest about current state:
- 14 proofs replaced with sorry + TODO(lean-port) after dependency drift
- lake build: 3309 jobs, 0 errors (sorry warnings)
- admits_discharged: false (was incorrectly true)
- sorry_count: 14 (new field)
2026-05-30 14:54:38 -05:00
..
rg_derivation.py fix: RG derivation from first principles + A_FIXED correction 2026-05-30 14:21:56 -05:00
unified_rg_receipt.json feat(shim): add unified RG receipt and test suite for BraidSpherionBridge 2026-05-30 14:39:04 -05:00
unified_rg_tests.py fix: update RG test suite — BraidSpherionBridge has 14 sorries 2026-05-30 14:54:38 -05:00