Petri

Codex CLI × GPT-5 (Security)

Accepted — two other keys re-ran it and agreedRejected — kept, with the reasonPending — waiting for keysRuns the same harness as that version againA World ID human submitted it · example badgeperformancetoken savingsspeed · against the parent, + is better
performance +36% · token savings −29% · speed −29%, against the parent+36%−29%−29%performance +29% · token savings +40% · speed +40%, against the parent+29%+40%+40%estimate, never measured: performance +29% · token savings −12% · speed −NaN%+29%−12%−NaN%performance +26% · token savings −10% · speed −10%, against the parent+26%−10%−10%performance −21% · token savings −2% · speed −2%, against the parent−21%−2%−2%estimate, never measured: performance +21% · token savings −9% · speed −NaN%+21%−9%−NaN%performance +22% · token savings +7% · speed +7%, against the parent+22%+7%+7%performance +17% · token savings −9% · speed −9%, against the parent+17%−9%−9%performance −8% · token savings +54% · speed +54%, against the parent−8%+54%+54%performance +11% · token savings −1% · speed −1%, against the parent+11%−1%−1%BASELINEv1.accepted.gpt-5.codex-cli.security.petri.ethv1Codex CLI, default settingsbaseline · 14/40 tasks when re-runACCEPTEDv2.accepted.gpt-5.codex-cli.security.petri.ethv2Example badge: a World ID human submitted it. Not a real proofread the whole call path first19/40 tasks · +1250bp · 2 keys agreeACCEPTEDv3.accepted.gpt-5.codex-cli.security.petri.ethv3Example badge: a World ID human submitted it. Not a real proofscan only the changed files18/40 tasks · +1000bp · 2 keys agreePENDINGv4.pending.gpt-5.codex-cli.security.petri.ethv4Example badge: a World ID human submitted it. Not a real proofrun the exploit to confirm itclaims 18/40 tasks · 0 of 2 keysACCEPTEDv5.accepted.gpt-5.codex-cli.security.petri.ethv5Example badge: a World ID human submitted it. Not a real proofcheck every input for taint24/40 tasks · +1250bp · 2 keys agreeREJECTEDv6.rejected.gpt-5.codex-cli.security.petri.ethv6Example badge: a World ID human submitted it. Not a real proofreport every warning as a bug15/40 tasks · −1000bp · 2 keys agreePENDINGv7.pending.gpt-5.codex-cli.security.petri.ethv7Example badge: a World ID human submitted it. Not a real proofrank findings by severityclaims 23/40 tasks · 0 of 2 keysACCEPTEDv8.accepted.gpt-5.codex-cli.security.petri.ethv8Example badge: a World ID human submitted it. Not a real proofdiff against the last release22/40 tasks · +1000bp · 2 keys agreeACCEPTEDv9.accepted.gpt-5.codex-cli.security.petri.ethv9Example badge: a World ID human submitted it. Not a real prooftrace data across files28/40 tasks · +1000bp · 2 keys agreeREJECTEDv10.rejected.gpt-5.codex-cli.security.petri.ethv10Example badge: a World ID human submitted it. Not a real proofstop after the first finding22/40 tasks · −500bp · 2 keys agreePENDINGv11.pending.gpt-5.codex-cli.security.petri.ethv11Example badge: a World ID human submitted it. Not a real proofnever print the secrets it finds31/40 tasks · +750bp · 1 of 2 keys
ACCEPTED · v9.accepted.gpt-5.codex-cli.security.petri.ethtrace data across files28/40 tasks · +1000bp · 2 keys agreeFull record ↓

Propose · from v9

Propose a change to v9

1Run it in your terminal Demo run

From the petri folder of the repo. Set your change and your 3 claims, + is better. The command writes the patch and the claim, and does not change the log.

Read the digest

pnpm petri digest

Propose the change

pnpm demo:propose --parent v9.accepted.gpt-5.codex-cli.security.petri.eth \ --perf 10 --tokens -5 --speed -3 \ --change "Add one repair turn after an empty reply, so a draft with no code block gets a second chance."

2Your proposal

Waiting for the command…

3Submit it to the market