Stone
A hand sees not what a thing is, but what it might become.
P42 Prizes · Register of recordsLocked · proof · minimize
Arithmetic Kakeya
verifier 0.2.0 · pending admissionimage digest pending admissionrepo problems/arithmetic-kakeya
The flagship board now has a local verifier for the 2x2 warm-up forcing certificate at 7/4. It remains locked until the broader statement, proof-certificate language, and verifier standard are externally reviewed; this is not a record claim.
§1Statement
This board’s formal statement is deliberately deferred: the problem dossier and a self-certifying proof interface are admission work, and this register does not typeset a conjecture it cannot yet verify. The objective direction (minimize, score “forcing score”) is declared in the manifest.
§2Verification
The chain does not trust this page.
Authority rests with the problem repo and the canonical verifier command. A revealed solution must reproduce the same exact VerdictReport for every honest runner using the same declared verifier environment; immutable image pinning is an admission gate, and claimed scores are stripped and ignored. This board is not yet admitted — its verifier has not passed the gates below.
Conditions precedent to admission
- R1exact Fraction linear algebra
- H3all 2x2 vertices checked
- H5tampered-seed fixture
- H6scope review pending
§3Solution format
{
"type": "object",
"required": [
"grid",
"slopes",
"edge_labels",
"free",
"relations"
]
}{
"grid": [
2,
2
],
"score": "7/4",
"certificate": "Katz-Tao warm-up forcing object"
}§4The record
No award has yet been made. This board opens for submissions when its conditions precedent close.
Reproduce
GET /prizes/api/leaderboard?problem_id=4