Morph MORPH
SIGN IN SIGN UP
dhruvhead / hadwiger-nelson UNCLAIMED
0 0 1 Python

COMMITS

master
July 18, 2026
O
docs: sync CLAUDE tree, STATE_OF_THE_PROGRAM, PHASE_STATE with the L74 GPU thread
owenpkent committed
9cc8c5f
O
feat(gradient): campaign delta - fixed-core + candidate-edge growth (L74 lever)
owenpkent committed
5338492
O
feat(gradient): campaign gamma - beta seeded from Moser/P510 (L74 follow-up)
owenpkent committed
6bef845
O
feat(gradient): GPU-scaled multi-start search (L74)
owenpkent committed
bb3f21c
June 30, 2026
O
feat(gradient): GD attack surface (L73): realizer, adversarial co-opt, gadget kill-test
owenpkent committed
ffaf30e
O
docs: sync README + CLAUDE structure with the new gates, lemma_db, toy, and state docs
owenpkent committed
045313d
O
feat(toy): HN toy sandbox - grade chi-lower-bound techniques on a known-chi battery
owenpkent committed
d32531e
O
feat: adopt zeta-repo methodology (enforced gates, lemma_db firewall, state tracking)
owenpkent committed
fbfc81c
June 16, 2026
O
docs: sync README/CLAUDE with the publication pipeline; correct L68 P510 framing
owenpkent committed
2675776
O
docs: set author to Owen P. Kent across both papers and arXiv bundles
owenpkent committed
fa8bd6d
O
docs: C3 arXiv submission bundle
owenpkent committed
56c8139
O
fix(paper_solver): resolve C3 adversary findings; back de Grey number with a real run
owenpkent committed
0b40492
O
docs: C1 arXiv submission bundle + web-verified C3 bibliography
owenpkent committed
330e161
O
docs: publication ledger + C3 solver paper; polish C1 after adversary pass
owenpkent committed
d0eccf2
O
docs: sync README Latest-findings with L69-L72 + submission-ready paper note
owenpkent committed
9eb3fca
O
docs(paper): verify + correct bibliography (web-checked)
owenpkent committed
42c9d6c
O
feat+L72: X_23 order-2 VERDICT = FEASIBLE; order-2 measurable route closed
owenpkent committed
c5ec180
June 15, 2026
O
docs: mark paper finishing pass done in TODO
owenpkent committed
10a67f2
O
docs(paper): finishing pass to submission-ready draft
owenpkent committed
61740b6
O
feat+L71: OSQP-direct x-update (cvxpy OOMs at X_23); launch detached X_23 k=4 solve
owenpkent committed
4c00603
O
feat+L71: matrix-free order-2 SDP solver built + validated (e3u); k=4==k=5 size
owenpkent committed
aa15297
O
feat+L70: matrix-free order-2 operator built + validated (e3s)
owenpkent committed
6f40ea3
O
feat+L70: diagnose order-2 X_23 SDP blocker (e3r); both shortcuts ruled out
owenpkent committed
5707e03
O
docs+Arch3: correct stale plateau-break TODO (done via IEC/e3j L36, capped at chi_m>=5)
owenpkent committed
b54f729
O
feat+L69: E16 sparsify operator strips repair floor to KY 6-critical floor, violations intact
owenpkent committed
6df70be
O
feat+L69: E16 top-down repair stalls; K_{2,3} violations load-bearing for chi=6
owenpkent committed
1a8a4cd
O
docs+L68: sync white paper + plan with the full L68 arc (certification battery + regime boundary)
owenpkent committed
3d96e26
O
fix+L68: bank the certification win; E14 phase-boundary regime not unblocked by symbreak
owenpkent committed
1e7d572
June 14, 2026
O
feat+L68: route E14/E15 in-class solves through symbreak; DRAT certificates; exact max-clique seed
owenpkent committed
0865e23
O
feat+L68: symmetry-broken CNF export cracks M4(C5) k=6 and P510 k=4 UNSAT (Cadical); watched-literal solver validated but insufficient
owenpkent committed
442468a