P42 Prizes · Register of recordsLocked · construction · minimize

Signed Autoconvolution C3 Upper

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

A queued signed autoconvolution board. The local verifier now recomputes the OrganonAgent witness exactly, but the board stays locked until immutable image, N-host timing, and external reduction review exist.

§1Statement

C_3 \le \tfrac{p}{q} \quad \text{certified by a signed integer step witness } g, \ \ (g * g) \ \text{recomputed exactly with sign and max checks}

The normalization defining C₃ is frozen in the packaged problem spec; the verifier recomputes every coefficient from signed dyadic integer numerators.

§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

R1signed integer convolution
H3all 199999 coefficients checked
H5claimed-score trap
H6reduction lemma review pending

§3Solution format

{
  "type": "object",
  "required": [
    "n",
    "denominator_power",
    "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": 100000,
  "denominator_power": 68,
  "values": [
    "100000 signed dyadic integer numerators"
  ]
}

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=7