{"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":"2/1","currentBest":"15041971118343665197137380984232095998912388144895190342004000000000000/10008961702715850455872036862958802052289156042841554837278437518918769","optimum":"0/1","minImprovement":"1/1000000000000","bountyEth":"0.50","challengeWindowHours":72,"postingBondEth":"0.02","challengeBondEth":"0.02","verifierVersion":"0.1.0","verifierImage":"sha256:local-dev","verifierCommand":"make verify SOLUTION=path","repoPath":"problems/autoconvolution-c1-upper","poolAddress":"base-sepolia:0x4242000000000000000000000000000000000005","donationWallet":{"chain":"Base Sepolia","asset":"ETH","address":"0x4242000000000000000000000000000000000005","status":"testnet-only","explorerUrl":"https://sepolia.basescan.org/address/0x4242000000000000000000000000000000000005","note":"Testnet deposit wallet reserved for the Autoconvolution C1 verifier packaging gate."},"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.","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.","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"]},"chainProvenance":{"settlementState":"local-only","chain":"Base Sepolia","chainId":84532,"donationWalletAddress":"0x4242000000000000000000000000000000000005","poolAddress":null,"registryAddress":null,"problemRegistryId":null,"verifierImageHash":"sha256:local-dev","admissionMatrixHash":null,"deploymentCommit":null,"indexedThroughBlock":null,"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."}}