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
..
BindingSite	DNA: fix Latin-Greek mapping + harden pipeline + reduce sorrys	2026-06-23 00:46:04 -05:00
CoreFormalism	docs: fix documentation gaps + add pure math description	2026-06-23 05:21:58 -05:00
PVGS_DQ_Bridge	docs: fix documentation gaps + add pure math description	2026-06-23 05:21:58 -05:00
RRCLib	feat(rrc): bare-minimum RRC refactor into SilverSight	2026-06-21 09:08:48 -05:00
SilverSight	docs: fix documentation gaps + add pure math description	2026-06-23 05:21:58 -05:00
UniversalEncoding	Fix: resolve sorrys across PVGS, UniversalEncoding, ChiralitySpace, QAOA	2026-06-21 05:35:53 -05:00