ProofPath

ProofPath helps developers turn checkout acceptance criteria into reviewed browser tests and inspectable regression evidence. Muse Spark 1.3 proposes bounded semantic test cases grounded in registered checkout controls. A person reviews the interpretations, reference policies and coverage gaps, then approves an exact snapshot before Playwright can execute it. An independent typed oracle computes expected results; the model cannot declare PASS or override browser evidence. The workbench compares a previous and candidate release, links assertions to screenshot hashes and observations, and exports a bug packet or Playwright regression. Reviewed definitions can be reused against a fixed release without another planner call. Candidate PASS and overall suite INCONCLUSIVE remain separate when coverage is incomplete. Live product: https://proofpath-web-vgrq2gffta-as.a.run.app/workbench.html Reviewer access code: bK-uaqfvVNBT6KOROea-Mqt0UwlKm10B Open the live product, enter the code and select Unlock Meta testing. Use the prefilled synthetic checkout requirement, review the proposed checks, approve the plan and run. The existing shared proposal limits apply. Viewing saved reports does not spend model allowance. Built during this hackathon; pre-event work was planning documentation only. The narrated video uses the actual local workbench with explicitly disclosed fixture plans and synthetic data. Separate committed evidence records a real Meta-generated V2 plan, a seeded regression and a saved fixed rerun. GCP hosting, authenticated saved reports and evidence downloads were verified; a new model generation on the hosted service has not been smoke-tested.