mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
8a881fbf68
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) |
||
|---|---|---|
| .. | ||
| build_corpus250.py | ||
| build_pist_matrices_250.py | ||
| chaos_game.py | ||
| dna_braid.wgsl | ||
| dna_codec.py | ||
| dna_encode_file.py | ||
| dna_gpu.py | ||
| dna_lut.py | ||
| dna_qubo_nn.py | ||
| dna_qubo_sort.py | ||
| dna_radix_gpu.py | ||
| dna_surface.html | ||
| dna_surface.wgsl | ||
| dna_webgpu.html | ||
| dna_webgpu.js | ||
| expr_tree.py | ||
| gemma4_mcp.py | ||
| hachimoji_citation.py | ||
| linear_scaling.py | ||
| log_prescreen.py | ||
| pist_matrix_builder.py | ||
| q16_canonical.py | ||
| sidon_address.py | ||
| spectral_profile.py | ||
| test_search.py | ||
| validate_rrc_predictions.py | ||