2 commits

Author	SHA1	Message	Date
allaun	6b26a9bc6e	fix: address adversarial review findings ... 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	2026-06-23 08:28:30 -05:00
allaun	d34e0e3a01	docs: first principles verification — graph calculator testable ... Every formula is: 1. Defined in pure math (zero English in the formula) 2. Verified by hand/graph calculator 3. Only claimed after verification Covers Layer 1 (shape): Sidon sets, braid eigensolid, chiral ratio, spectral gap, merge gap preservation — with counterexample showing the theorem is FALSE without cross-input gap. Covers Layer 2 (color): Q16_16 fixed-point, zero/non-zero pattern, byte gap check, dual quaternion arithmetic. Rule: If you can't verify it on a graph calculator, it's wrong.	2026-06-23 05:23:39 -05:00