{"event":"stage_start","stage":"implement"}
{"event":"check_start","stage":"implement","check":"tests_pass"}
{"event":"check_done","stage":"implement","check":"tests_pass","status":"error","summary":"tests failed: 2 failing test case(s) across 1 package(s)","details":["command: python3 verify.py --config config.json --output .evidence/verification.json --junit .evidence/tests.xml","exit status 1","parsed test results from /private/var/folders/23/b655p2x11752nwll58p_zs4c0000gn/T/retained-obligation-xsm4wov4/fixture/.evidence/tests.xml","verify.retry-at-12h (fail, 0s): Expected 1 reservation, observed 2","verify.retry-at-23h (fail, 0s): Expected 1 reservation, observed 2","linked test results from .evidence/tests.xml (failed run)","0 requirements updated from test results","0 tests linked (5 unmatched)","5 tests parsed","test-results run record written (full run, tests failed, 2 test inputs)"],"hints":["Help: proof help tests_pass","Rerun the failing test command for details:\n       python3 verify.py --config config.json --output .evidence/verification.json --junit .evidence/tests.xml\n       command: python3 verify.py --config config.json --output .evidence/verification.json --junit .evidence/tests.xml\n       exit status 1\n       parsed test results from /private/var/folders/23/b655p2x11752nwll58p_zs4c0000gn/T/retained-obligation-xsm4wov4/fixture/.evidence/tests.xml\n       verify.retry-at-12h (fail, 0s): Expected 1 reservation, observed 2\n       verify.retry-at-23h (fail, 0s): Expected 1 reservation, observed 2\n       linked test results from .evidence/tests.xml (failed run)\n       0 requirements updated from test results\n       0 tests linked (5 unmatched)\n       5 tests parsed\n       test-results run record written (full run, tests failed, 2 test inputs)\n       After fixing, run: proof audit --check tests_pass","Fix failing tests: python3 verify.py --config config.json --output .evidence/verification.json --junit .evidence/tests.xml"],"command":"python3 verify.py --config config.json --output .evidence/verification.json --junit .evidence/tests.xml","duration_ms":132,"cache_outcome":"bypass","cache_reason":"--no-cache requested; cache lookup skipped","cache_dependencies":["affected_test_inputs","code","code_mcdc_suite","config:__rest__","config:checks.code_mcdc","config:checks.coverage_threshold","config:checks.test_results","config:checks.tests_pass","config:commands","external_artifacts","js_manifests","js_transform_config","test_inputs","tests","toolchain","check_policy:tests_pass"]}
{"event":"audit_done","checks":1,"errors":1,"warnings":0,"info":0,"skipped":0,"waived":0,"passed":0,"fail_level":"warn","exit_code":1,"result":"fail"}