A booking test passed. The booking still disappeared after logout.
ProofForge checks whether real execution evidence supports the product requirement a passing test claims to establish.
What runs
A functional Inspect / Calibrate / Prove interface, an independent booking contract, isolated fixtures, real OpenAI proposals, actual Kane execution and deterministic evidence evaluation.
Original outcomes
| Record | Navigation | Separate condition result | Conclusion |
|---|
| KR-12 | passed | No persistence observation requested | Persistence NOT_ESTABLISHED |
| KR-84 | passed | false,true,false,false,false,false,false | Corroborated loss rejected |
| KR-86 | passed | Seven true values | Correct retrieval supported |
| KR-88 | passed | Seven true values | Allowed delayed retrieval supported |
| KR-149 | passed | Product interaction assertions | Named UI interactions on release 0470e18 |
All final calibration navigation processes passed. False separate conditions are not a conventional failed E2E navigation run.
Independent contract and source
BOOKING-PERSISTENCE 1.0.0 requires matching booking ID and details within 6000ms after fresh authentication, with invalidation of the old session. Contract SHA256: 75a3c8e1f94fbfcf5a04a39a95f04f2b871e02b1929e210eac3c77928c558055.
Calibration source: e7afc669610e3f073c3067e6dce1ca955e0c6495. UI tested release: 0470e183a3dab50a696d13934757d1269ae4342d. Historical records keep their original identities.
OpenAI and Kane in the loop
Structured Codex CLI output proposes stronger scoped checks from actual observations. Kane executes actions and same-page atomic conditions. A deterministic classifier correlates audit timing, identity, condition truth and navigation evidence. Actual results return to OpenAI as advisory feedback.
Limits
One local controlled contract and demonstration authentication. Analyzer checks have no separately sealed pack. Strict starts-with semantics remain unverified. Earlier unknowns, unsupported acceptance and classifier correction are preserved. No universal correctness or production security claim. Raw packs stay private.
Try it
Public source and reproducible instructions. The app runs locally at 127.0.0.1:4317; no public application deployment is claimed.
Built with OpenAI, tested with Kane CLI from TestMu AI. Solo build by Mykyta Kharkevych.