allaun 12f84c8973 feat: agent computation results — 16 QRNG runs, Hoffman bound, v3 sweep, CMYK fix ... Agent outputs from the 9-agent parallel run: CMYKColoringCore.lean: - Restored §3 section header (accidentally deleted during native_decide cleanup) - Proof uses dec_trivial per AGENTS.md §5 (no native_decide, no sorries) - All 8 sections (§1-§8) verified present Computation scripts: - hn_hoffman_bound.py: Hadwiger-Nelson Hoffman spectral bound - sidon_sofa_coloring_v3.py: Fine q-value sweep + n=34 extension - mcp_worker.py: MCP autoproof worker process Artifacts (16 QRNG-seeded runs): - sidon_sofa_coloring_v2_qrng_*.json (16 files, 106KB each) - sidon_sofa_coloring_v2.json (base run) - sidon_sofa_coloring_v2_cupfox.json (CupFox variant) - hn_hoffman_bound.json (Hoffman bound results) - EVAL_cupfox.md (evaluation document)		2026-07-04 02:02:50 -05:00
..
BindingSite	tag(axioms): justify all 18 custom axioms with HONESTY CLASS tags	2026-07-03 10:54:08 +00:00
CoreFormalism	feat(lean): modular Sidon preservation theorem + meta-review fixes	2026-07-04 01:05:15 -05:00
RRCLib	feat(rrc): bare-minimum RRC refactor into SilverSight	2026-06-21 09:08:48 -05:00
SilverSight	feat: agent computation results — 16 QRNG runs, Hoffman bound, v3 sweep, CMYK fix	2026-07-04 02:02:50 -05:00