{"id":4,"slug":"arithmetic-kakeya","repoId":"arithmetic-kakeya","title":"Arithmetic Kakeya","status":"locked","mode":"proof","direction":"minimize","scoreName":"forcing score","seedBest":"2/1","currentBest":"7/4","optimum":"1/1","minImprovement":"1/1000000000000","bountyEth":"1.00","challengeWindowHours":168,"postingBondEth":"0.05","challengeBondEth":"0.05","verifierVersion":"0.1.0","verifierImage":"sha256:local-dev","verifierCommand":"make verify SOLUTION=path","repoPath":"problems/arithmetic-kakeya","poolAddress":"base-sepolia:0x4242000000000000000000000000000000000004","donationWallet":{"chain":"Base Sepolia","asset":"ETH","address":"0x4242000000000000000000000000000000000004","status":"testnet-only","explorerUrl":"https://sepolia.basescan.org/address/0x4242000000000000000000000000000000000004","note":"Testnet deposit wallet for the gated Arithmetic Kakeya marquee bounty."},"tagline":"Scoped 2x2 forcing certificate with exact rational closure.","description":"The flagship board now has a local verifier for the 2x2 warm-up forcing certificate at 7/4. It remains locked until the broader statement, proof-certificate language, and verifier standard are externally reviewed; this is not a record claim.","verifierStandard":["R1 exact Fraction linear algebra","H3 all 2x2 vertices checked","H5 tampered-seed fixture","H6 scope review pending"],"solutionSchema":{"type":"object","required":["grid","slopes","edge_labels","free","relations"]},"sampleSolution":{"grid":[2,2],"score":"7/4","certificate":"Katz-Tao warm-up forcing object"},"chainProvenance":{"settlementState":"local-only","chain":"Base Sepolia","chainId":84532,"donationWalletAddress":"0x4242000000000000000000000000000000000004","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."}}