Protected develop: 3f71ed96af5c40662bb2e96f17bf931b781753e0. Updated: 2026-09-17T10:23:46.621632+00:00
Verification checks the registered statement and proof. Formal acceptance and award decisions remain separate. A historical pass does not describe changed inputs.
| Candidate ID | Title | Fixed source | Current verification | Evidence | Published formal acceptance | Workflow / next action |
|---|---|---|---|---|---|---|
| dgg-cost-jyh | DGG / Goemans cost conjecture: rational counterexample | ffba3523f0ed | verified | CI evidence | Accepted by administrator Federico2014 on 2026-09-11 Historical acceptance: source ffba3523f0ed, verifier 8c6a0b0e21fd | 4. Merge, publish and accept Registration published; acceptance remains bound to its recorded revisions. |
Machine-readable catalog and historical run links. Blocked preparation is not_run; open the linked CI plan for the reason. Evidence artifacts expire after 90 days. Published acceptance links identify separately archived historical decisions; they do not approve a changed source or verifier revision.