PromiseProof shows a safer way to use coding agents. GPT-5.6 investigates a broken product promise, Codex proposes a constrained repair and a human approves the exact patch. Neither model can award PASS, the unchanged deterministic verifier does. Try it in your browser, tamper with the evidence, reproduce a sealed report or run the same gate in CI.