{"id":7,"slug":"signed-autoconvolution-c3-upper","repoId":"signed-autoconvolution-c3-upper","title":"Signed Autoconvolution C3 Upper","status":"locked","mode":"construction","direction":"minimize","scoreName":"C3 upper bound","seedBest":"3/2","currentBest":"11753128449293701953238517385067272445617294540800000/8092744874989952471246071559466128309374865340943729","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/signed-autoconvolution-c3-upper","poolAddress":"base-sepolia:0x4242000000000000000000000000000000000007","donationWallet":{"chain":"Base Sepolia","asset":"ETH","address":"0x4242000000000000000000000000000000000007","status":"testnet-only","explorerUrl":"https://sepolia.basescan.org/address/0x4242000000000000000000000000000000000007","note":"Testnet deposit wallet reserved for the signed autoconvolution verifier gate."},"tagline":"Signed dyadic witness with exact full autoconvolution checks.","description":"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.","statement":"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}","statementCaveat":"The normalization defining C₃ is frozen in the packaged problem spec; the verifier recomputes every coefficient from signed dyadic integer numerators.","verifierStandard":["R1 signed integer convolution","H3 all 199999 coefficients checked","H5 claimed-score trap","H6 reduction lemma review pending"],"solutionSchema":{"type":"object","required":["n","denominator_power","values"]},"sampleSolution":{"n":100000,"denominator_power":68,"values":["100000 signed dyadic integer numerators"]},"chainProvenance":{"settlementState":"local-only","chain":"Base Sepolia","chainId":84532,"donationWalletAddress":"0x4242000000000000000000000000000000000007","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."}}