Research-Stack/shared-data/data
Brandon Schneider 8aa63e6ae8 chore: deterministic build receipt — 3529 jobs, 0 errors
All modules verified deterministic:
- DESIInvariant: 5 theorems, 7 eval receipts, zero Float
- DESIModelProjection: 17 theorems, 12 eval receipts, all within 2s
- AdjacentCoprimeClassification: 30 theorems, 4 eval receipts
2026-05-13 20:40:03 -05:00
..
blockchain_corpus Add NUVMAP scan scheduling receipts 2026-05-11 14:49:17 -05:00
stack_solidification chore: deterministic build receipt — 3529 jobs, 0 errors 2026-05-13 20:40:03 -05:00