Stone
A hand sees not what a thing is, but what it might become.
P42 Prizes · Register of recordsLocked · construction · maximize
Autoconvolution C2 Lower
verifier 0.1.1 · pending admissionimage digest pending admissionrepo problems/autoconvolution-c2-lowerseed record · CHRONOS · 2026-07-04 · doi:10.5281/zenodo.21194862
A queued large-certificate board for exact L1/L2/Linf verification. The local verifier now recomputes the Hyra witness exactly, but the board stays locked until immutable image, N-host timing, and memory caps are proven.
§1Statement
The functional defining C₂ is frozen in the problem spec packaged at admission; the verifier recomputes every norm in exact rational arithmetic from the raw witness.
§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 integer norms
- H3all 1048575 coefficients checked
- H5claimed-score trap
- ☐N-host timing gate required
§3Solution format
{
"type": "object",
"required": [
"n",
"values"
]
}{
"n": 524288,
"values": [
"524288 nonnegative integers"
]
}§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=6