allaun 8e72cec9ef fix(q-sensing): Close pvgs_always_better theorem (Helstrom monotonicity) ... - Removed STATUS sorry block - proof body already complete - Monotonicity proven via sqrt comparison (lines 453-464) - pvgsAdvantage > 0 when pvgs_overlap < gauss_overlap Build: 2987 jobs, 0 errors		2026-06-22 23:53:03 -05:00
..
BindingSite	Initial SilverSight: deterministic equation search via Fisher geometry	2026-06-21 18:02:05 +08:00
CoreFormalism	fix(dna): correct alphabet ordering ATGCBSPZ→ABCGPSTZ + proof cleanup	2026-06-22 23:20:16 -05:00
PVGS_DQ_Bridge	fix(q-sensing): Close pvgs_always_better theorem (Helstrom monotonicity)	2026-06-22 23:53:03 -05:00
RRCLib	feat(rrc): bare-minimum RRC refactor into SilverSight	2026-06-21 09:08:48 -05:00
SilverSight	feat(core): add Phase 1 SilverSight core modules	2026-06-22 21:48:15 -05:00
UniversalEncoding	Fix: resolve sorrys across PVGS, UniversalEncoding, ChiralitySpace, QAOA	2026-06-21 05:35:53 -05:00