SilverSight/formal
2026-07-04 01:05:14 -05:00
..
BindingSite tag(axioms): justify all 18 custom axioms with HONESTY CLASS tags 2026-07-03 10:54:08 +00:00
CoreFormalism autoresearch: 0 errors, 0 sorries (1) 2026-07-04 01:05:14 -05:00
RRCLib feat(rrc): bare-minimum RRC refactor into SilverSight 2026-06-21 09:08:48 -05:00
SilverSight feat(slos): eigenvalue products predict SLOS concentration ordering - verified with Spearman correlation, cross-validated with exact tensor network 2026-07-03 17:55:26 -05:00