3 commits

Author	SHA1	Message	Date
allaun	f7858914b7	docs: fix documentation gaps + add pure math description ... Fixed 5 undocumented Lean files: - PVGS_DQ_Bridge/section5_quantum_sensing.lean — quantum sensing docs - PVGS_DQ_Bridge/section2_hermite_sieve.lean — Hermite polynomial docs - SilverSight/RRC/ReceiptDensity.lean — receipt density scoring docs - SilverSight/PIST/SpectralWitness.lean — spectral witness docs - CoreFormalism/FixedPoint.lean — stub redirect docs Added docs/PURE_MATH_DESCRIPTION.md: - Pure mathematical description of each module (no code) - Why each module exists (problem/insight) - What a graph calculator would need to implement each - 10 modules covered: SidonSets, BraidEigensolid, BraidSpherionBridge, HachimojiLUT, ChentsovFinite, DynamicCanal, Schema, WireFormat, Receipt, Bind	2026-06-23 05:21:58 -05:00
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
SilverSight Agent	3c35fe50c2	Initial SilverSight: deterministic equation search via Fisher geometry ... Core components: - ChentsovFinite.lean (883 lines, 0 sorry): Fisher metric uniqueness on 8-state simplex - HachimojiCodec.lean: Deterministic E=mc^2 -> Hachimoji state pipeline - PVGS_DQ_Bridge (8 sections, ~6,150 lines): Photon-Varied Gaussian to Dual Quaternion - UniversalMathEncoding.lean: 50-token math address space (~10^15 addresses) - ChiralitySpace.lean: 4D descriptor (phase x chirality x direction x regime) ~2x10^25 - BindingSite (3 files): Amino acid vocabulary, entropy-based bindability - Python: chaos game, Sidon addressing, Q16.16 canonical, Finsler metric, QUBO/QAOA - CI: Lean check, Python check, Q16 roundtrip workflows Papers: Giani-Win-Conti 2025, Chabaud-Mehraban 2022, Pizzimenti 2024, Wassner 2025	2026-06-21 18:02:05 +08:00