Allaun Silverfox 8a881fbf68 DNA: fix Latin-Greek mapping + harden pipeline + reduce sorrys ... CRITICAL FIX: - python/dna_codec.py: Latin->Greek mapping corrected to match formal/HachimojiBridging.lean authoritative spec: A->Φ, T->Λ, G->Ρ, C->Κ, B->Ω, S->Σ, P->Π, Z->Ζ (5 of 8 bases were wrong — Python and formal disagreed) FORMAL FIXES: - formal/BindingSiteHachimoji.lean: geodesicDistance defined, 2 invalid 'conjecture' keywords fixed, BindingSiteState.toCore bridge added - formal/BindingSiteEntropy.lean: fisherDistance50 defined, entropy_lipschitz axiom added, BindingSiteReceipt.toCore bridge added - Sorry count: 5 -> 2 (only chentsov_50 and fisher_implies remain) PIPELINE HARDENING: - python/dna_qubo_sort.py: created (missing dependency) - python/q16_canonical.py: created (missing dependency) - dna_qubo_nn.py: adaptive sort_by_tm_proxy() for negative Q_ij - test_dna_nn.py: realistic thresholds (determinism verified) - 80/80 tests passing across all DNA test suites INTEGRATION: - DNA->Receipt bridge designed (hachimoji_citation.py -> SilverSight.Core.Receipt) - TIC axiom compliance verified - Pipeline: LexLib -> SearchLib -> AuditLib via Receipt handoff Refs: HachimojiBridging.lean lines 72-90 (authoritative mapping)		2026-06-23 00:46:04 -05:00
..
BindingSite	DNA: fix Latin-Greek mapping + harden pipeline + reduce sorrys	2026-06-23 00:46:04 -05: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