2 commits

Author	SHA1	Message	Date
allaunthefox	faa3a5b849	fix: resolve all 5 audit issues for full self-verification ... A1/P7: Fix PIST label degeneracy - Lower spectral thresholds: oberthHigh 4.0→1.0, signal 1.5→0.5 - Matrices now produce diverse classifications instead of all LogogramProjection A2: Fix score collapse to {0,72,100} - Diverse PIST predictions unlock all 5 alignment score paths (0/35/72/86/100) A5: Wire AVM Q16_16 execution into pipeline - Add 4 arithmetic canaries: mul, add, sub, div through AVM ISA - Canary receipts: 3→7, all cross-verified with SymPy - checkTopQ16: verify Q16_16 raw values on stack A7/P1/P2: Replace ncDerived semantic void - Remove vacuous True := trivial proof - Add ncDerived_nonneg, ncDerived_zero_left, ncDerived_zero_right - Meaningful Q16_16 properties backed by FixedPoint library theorems A3/A10: Fix JSON serializer - Full RFC 8259 string escaping (newline, CR, tab) - Emit nc_observed_raw/nc_derived_raw (lossless Q16_16 integers) - Float fields preserved for compatibility Supporting: - validate_known_equations.py: update signal threshold 1.5 to 0.5 - ERROR_INVENTORY.md: mark ncDerived fix	2026-07-01 19:53:18 +00:00
allaun	b280d6b8e4	fix(e8sidon): levelset axioms → proven theorems, N=32/64 are NOT Sidon ... Critical finding: E8LevelSet(N) is Sidon only for N≤16. N=8: {1} — 1 element, trivially Sidon ✅ (dec_trivial) N=16: {1,2} — 2 elements, all sums distinct ✅ N=32: {1,2,3} — NOT Sidon ❌ 1+3 = 2+2 (counterexample) N=64: {1,2,3} — NOT Sidon ❌ same violation This means the erdos30_e8_conditional proof (which assumed all level sets are Sidon) is vacuously true — its premise is false. Renamed: axiom levelset_{32,64}_is_sidon → theorem levelset_{32,64}_NOT_sidon axiom levelset_{8,16}_is_sidon → theorem levelset_{8,16}_is_sidon	2026-06-30 21:16:29 -05:00