P42 Prizes · Register of recordsLocked · construction · minimize

Autoconvolution C1 Upper

verifier 0.1.0 · pending admissionimage digest pending admissionrepo problems/autoconvolution-c1-upper

A queued exact-construction board for nonnegative step heights. 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

C_1 = \inf\Bigl\{\, \|f * f\|_\infty \ :\ f \ge 0,\ \textstyle\int f = 1,\ \operatorname{supp} f \subseteq I \,\Bigr\}

Certify C₁ ≤ p/q with a nonnegative integer step-function witness convolved in exact integer arithmetic; the interval normalization I is frozen in the problem spec packaged at admission.

§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; claimed scores are stripped and ignored. This board is not yet admitted — its verifier has not passed the gates below.

Conditions precedent to admission

R1integer convolution
H3all 179999 coefficients checked
H5claimed-score trap
☐N-host timing gate required

§3Solution format

{
  "type": "object",
  "required": [
    "n",
    "values"
  ]
}

Plate 1. Canonical raw solution schema. Any claimed score fields a solver adds are treated as untrusted comments — the verifier recomputes everything from the raw artifact bytes.

{
  "n": 90000,
  "values": [
    "90000 nonnegative integers"
  ]
}

Plate 2. Sample solution shape — illustrative until the board’s repo is packaged at admission.

§4The record

no submissions

No award has yet been made. This board opens for submissions when its conditions precedent close.

ReproduceGET /prizes/api/leaderboard?problem_id=5