allaun cf6096882f chore: commit all pending work from prior sessions ... Includes: - n-dimensional generic modules (BraidStateN, MatrixN, SpectralN, ClassifyN, FisherRigidityN, FixedPointBridge) - Feasible Set Theorem proofs + QUBO relaxation - Anti-smuggle protocol (seedlock, mutation testing, cross_validate, qc_flag, symbol verification) - Q16_16 bridge with quad matrix representation - Infrastructure scripts (entry gate, determinism checks) - Test suites for Lean modules, scripts, and QUBO pipeline - FixedPoint migration and HachimojiN8 updates - Documentation updates (ARCHITECTURE, GLOSSARY, DOCUMENT_SETS) - QUBO conflict sweep and FSR validation - GitHub Actions anti-smuggle workflow Build: 3307 jobs, 0 errors		2026-06-30 04:54:40 -05:00
..
Emit.lean	fix: expand alignment compatibility lists for zero warnings	2026-06-30 04:54:40 -05:00
EntropyCandidates.lean	feat(rrc): port ReceiptDensity, PolyFactorIdentity, EntropyCandidates and add Q16_16 roundtrip test	2026-06-21 10:39:18 -05:00
PolyFactorIdentity.lean	chore(quality): native_decide migration, docs, and phi pipeline cleanup	2026-06-27 01:56:54 -05:00
Q16_16Manifold.lean	chore: commit all pending work from prior sessions	2026-06-30 04:54:40 -05:00
ReceiptDensity.lean	docs: fix documentation gaps + add pure math description	2026-06-23 05:21:58 -05:00