allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/formal
History
allaun d62ea73fce feat(hachimoji): close binaryLUT_exists (trivial solution) + BMCTE bridge 
- HachimojiLUT.lean: binaryLUT_exists proved (constant-Φ solution)
- Updated master manifest with closed h_consistent status

Build: 2987 jobs, 0 errors
2026-06-22 15:31:17 -05:00
..
BindingSite Initial SilverSight: deterministic equation search via Fisher geometry 2026-06-21 18:02:05 +08:00
CoreFormalism feat(hachimoji): close binaryLUT_exists (trivial solution) + BMCTE bridge 2026-06-22 15:31:17 -05:00
PVGS_DQ_Bridge Fix: resolve sorrys across PVGS, UniversalEncoding, ChiralitySpace, QAOA 2026-06-21 05:35:53 -05:00
RRCLib feat(rrc): bare-minimum RRC refactor into SilverSight 2026-06-21 09:08:48 -05:00
SilverSight feat(rrc): port ReceiptDensity, PolyFactorIdentity, EntropyCandidates and add Q16_16 roundtrip test 2026-06-21 10:39:18 -05:00
UniversalEncoding Fix: resolve sorrys across PVGS, UniversalEncoding, ChiralitySpace, QAOA 2026-06-21 05:35:53 -05:00