See it work

The intelligence behind shipping

ProofForge uses an independently versioned contract, BOOKING-PERSISTENCE 1.0.0. After sign-out and fresh authentication, the same customer must be able to retrieve the original booking ID and matching details within six seconds of the retrieval request. The previous session must be invalidated. The baseline Kane CLI test verifies booking confirmation and passes, but does not establish persistence. OpenAI analyzes the missing requirement-level observations and proposes stronger browser actions and seven atomic DOM conditions. Kane executes isolated browser journeys against three controlled behaviors: correct server-side persistence, session-only booking loss, and an admissible retrieval delay. The original Kane navigation verdicts are preserved. Separate condition evaluations on the retained browser pages provide actual boolean results. ProofForge correlates these with independent fixture observations, authentication state, booking identity, timing, and validated navigation evidence packs. The deterministic classifier accepts the correct and admissibly delayed cases, rejects the corroborated session-loss violation, and retains unrelated automation failures or insufficient observations as inconclusive. Actual outcomes return to OpenAI for feedback. Each evidence receipt preserves source identity, execution provenance, original verdicts, and the limits of the supported conclusion.

1. 01Define the contract
2. →
3. 02Inspect the passing baseline
4. →
5. 03Calibrate with OpenAI + Kane
6. →
7. 04Review the evidence receipt

Components: run · sealed_evidence

What Kane actually verified

• ✓ VerifiedKane run passed: Open [local fixture] Verify the ProofForge title, select Calibrate and assert all three controlled behavior cards are visible, select Prove and assert Established, Not Established, and Remaining Limitations sections are visible. Open Contract in the left sidebar and verify the authoritative booking requirement and version 1.0.0 are shown. Close the dialog. Select Inspect and assert Run baseline is visible. Do not start any paid execution or modify the contract.run 187 · commit 312c9222fd · kane_run:mcp
• ✓ VerifiedKane run passed: Navigate to [local fixture] Sign in as alex using Sign in. Click Confirm booking. Click Sign out. Sign in again as alex using Sign in again. Click Retrieve booking once. Wait exactly 7 seconds once. Finish. Finish after the fixed wait; a separate Kane condition check will evaluate retrieval. Do not assert or analyze the retrieval result in this navigation phase.run 88 · commit e7afc66961 · kane_run:mcp
• ✓ VerifiedKane run passed: Navigate to [local fixture] Sign in as alex using Sign in. Click Confirm booking. Click Sign out. Sign in again as alex using Sign in again. Click Retrieve booking once. Wait exactly 7 seconds once. Finish. Finish after the fixed wait; a separate Kane condition check will evaluate retrieval. Do not assert or analyze the retrieval result in this navigation phase.run 86 · commit e7afc66961 · kane_run:mcp
• ✓ VerifiedKane run passed: Navigate to [local fixture] Sign in as alex using Sign in. Click Confirm booking. Click Sign out. Sign in again as alex using Sign in again. Click Retrieve booking once. Wait exactly 7 seconds once. Finish. Finish after the fixed wait; a separate Kane condition check will evaluate retrieval. Do not assert or analyze the retrieval result in this navigation phase.run 84 · commit e7afc66961 · kane_run:mcp
• ✓ VerifiedKane run passed: ProofForge baseline; actual Kane session fa1a01a3, pack execution a7bdf778. Corrects incomplete KR-11 reporting; this is the same browser run, not additional evidence.run 12 · commit 94ef6897ca · kane_run:mcp

Not yet verified: The current calibration covers one independently versioned booking-persistence contract and three controlled application behaviors, not arbitrary production systems. · Authentication uses a local demonstration identity and instrumented fixtures rather than production identity infrastructure. · The system runs locally with a single-operator execution queue and requires available Kane CLI and OpenAI services.

What improved