{"id":5,"slug":"autoconvolution-c1-upper","repoId":"autoconvolution-c1-upper","title":"Autoconvolution C1 Upper","status":"locked","mode":"construction","direction":"minimize","scoreName":"C1 upper bound","seedBest":"15041971118343665197137380984232095998912388144895190342004000000000000/10008961702715850455872036862958802052289156042841554837278437518918769","currentBest":"15041971118343665197137380984232095998912388144895190342004000000000000/10008961702715850455872036862958802052289156042841554837278437518918769","optimum":"0/1","minImprovement":"1/1000000000000","bountyEth":"0.50","challengeWindowHours":72,"postingBondEth":"0.02","challengeBondEth":"0.02","verifierVersion":"0.1.1","verifierImage":"sha256:local-dev","verifierCommand":"make verify SOLUTION=path","repoPath":"problems/autoconvolution-c1-upper","tagline":"Certified large-vector autoconvolution construction from the arena note library.","description":"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.","verifierStandard":["R1 integer convolution","H3 all 179999 coefficients checked","H5 claimed-score trap","N-host timing gate required"],"solutionSchema":{"type":"object","required":["n","values"]},"sampleSolution":{"n":90000,"values":["90000 nonnegative integers"]},"statement":"C_1 = \\inf\\Bigl\\{\\, \\|f * f\\|_\\infty \\ :\\ f \\ge 0,\\ \\textstyle\\int f = 1,\\ \\operatorname{supp} f \\subseteq I \\,\\Bigr\\}","statementCaveat":"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.","source":"local-phase-0","pool":null,"funding":null,"chainProvenance":{"settlementState":"local-only","reconciliationOk":false,"source":"static-portal-data","note":"Phase 0 portal state only: no deployed registry manifest or indexer reconciliation is attached to this problem yet.","fundingTargetDeployed":false}}