mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
allaun
6b26a9bc6e
Architecture fixes: - Fixed phantom Semantics.* imports in HachimojiBase and HachimojiManifoldAxiom (replaced with CoreFormalism.* and SilverSight.* imports) - RRCLib.RRCEmit confirmed to exist (attacker was wrong) - Duplicate ProductSchema/ProductWireFormat confirmed NOT in SilverSightCore (attacker was wrong) Documentation fixes: - SOS example: fixed s₀ = x² (was incorrectly stated as 0) - Added Archimedean condition to Putinar's Positivstellensatz - Sidon bound: fixed to ⌊√(2N)⌋ + 1 in FIRST_PRINCIPLES (consistency with PURE_FORMULAS) - Safety margin 28× confirmed correct (attacker's 56.7× was wrong — they confused ppm with ×10^-6) Lean proof status: - repunit function: documented as 'repunit characteristic' (not mathematical repunit) - chentsov_50: 7 sorries remain (type bridge + chentsov_theorem internal sorries) - Fisher metric bridge: cross-term 1/p₀ correctly identified and documented
27 lines
No EOL
776 B
JSON
27 lines
No EOL
776 B
JSON
{
|
|
"schema": "bmcte_eigensolid_spectral_receipt_v1",
|
|
"summary": "Spectral witness for eigensolid transition at p/N=1/7",
|
|
"threshold": {
|
|
"p_over_N": 0.142857,
|
|
"lambda_theory": 0.0,
|
|
"interpretation": "lambda -> 0 means full tensor coverage (eigensolid reached)"
|
|
},
|
|
"signature_matrix": {
|
|
"source": "Phase 2 superconductors: H*/Hc2 ~ 1/7",
|
|
"values": [0.135, 0.141, 0.152],
|
|
"scaled_int": [8704, 9088, 9984],
|
|
"matrix_size": 8,
|
|
"spectral_gap": 9984,
|
|
"density": 0.125
|
|
},
|
|
"literature_alignment": {
|
|
"Kondov1999_Zr": 0.135,
|
|
"Fasolo2001_Nb": 0.152,
|
|
"Ju89_YBCO": 0.141
|
|
},
|
|
"invariants": {
|
|
"spectral_gap_equals_literature_value": true,
|
|
"parametric_sweep_implemented": false
|
|
},
|
|
"timestamp": "2026-06-23T23:00:00Z"
|
|
} |