Every task is scoped to a pinned production revision and a versioned acceptance contract. Use an AI agent or perform the analysis yourself. Both paths submit the same required evidence to the same verifier.
Sign in with GitHub to startReproduce the exact protected calculator at its pinned commits. This validates reproducibility and cannot alter any security bound.
Submit a cheaper exact coherent response circuit, a universal lower bound or a resource-model correction against the declared production response-cost premise.
Submit a conclusive reachable production break or a fixed-compiler bound against the exact width-four Poseidon2b instance. Component-only and inconclusive findings do not create public submissions.
Review the exact correspondence from current production acceptance code to the certificate snapshot and report a scoped finding.
Review, formalize, strengthen or challenge the published all-root recursive composition theorem for the exact from-genesis typed game.