Erdős 944: machine-checked cores for the k=4, r=1 six-regular subproblem#4237

Open

AlperTheKing wants to merge 7 commits into

google-deepmind:mainfrom

AlperTheKing:erdos944-cores

Commits on Jun 11, 2026

Erdős 944: add machine-checked cores for the k=4, r=1 six-regular subproblem
AlperTheKing
committed

Commits on Jun 12, 2026

Erdős 944: update verified-computation notes (n <= 15 closed, 6-cut shores >= 15)
AlperTheKing
committed
Erdős 944: add zero-budget identities (L1/L2) for the deficiency-6 shore analysis
AlperTheKing
committed
Erdős 944: add category attributes to ZeroBudget helper lemmas (fix CI linter)
AlperTheKing
committed

Commits on Jun 13, 2026

Erdős 944: add cut_row_forcing core (row-sum equality cases for bipartite/concentrated shore exclusion)
AlperTheKing
committed

Commits on Jun 18, 2026

Erdős 944: cite companion arXiv note (2606.18462) for the verified computational results
AlperTheKing
committed

Commits on Jun 27, 2026

Erdos944: compact the k=4,r=1 partial results to a single statement
AlperTheKing
committed