aaronrene / overseer-kit public
VERDICT-LEDGER.jsonl
6 lines 5.7 KB
Raw
sha256:c07f2f34a0db9f43fe866f157d1935322008545ff8940c06c7c921eb219c55ab NXP-b DONE: independent BV-r2 pass + ISR (SD-17) Human minor ⚠ breaking 23 hours ago
1 {"entry_hash":"0f27d7bef1f4a2d9200fb5220e992244d0d24ed22c81d6797485ea9d7600d722","kind":"genesis","prev_hash":"368646f427571067ec853ef0c3d4cce9ecfa3fb3e003dd1252cd5d02f111e513","ts":"2026-09-02T01:48:59Z","v":1}
2 {"actor_role":"verifier","actor_session_id":"c72e9414-24f0-4446-9a1b-d9ff5d60bd99","entry_hash":"60b9e83f2dd51a292c0cb58edceafa7f9705ad0e8179d35bf60ed70eebd657bd","frozen_spec":"docs/archive/phases/PHASE-ISR-INDEPENDENT-SECOND-REVIEWER.md","isr_verdict":"pass","kind":"independent_second_review","notes":"ISR-b-BV-r1 second chat V1-V8 pass; actor_session_id is verifier chat; producer_session_id is builder chat nonce","phase_id":"ISR-b Independent second reviewer build","prev_hash":"0f27d7bef1f4a2d9200fb5220e992244d0d24ed22c81d6797485ea9d7600d722","producer_session_id":"62762b24-69e5-4c95-b38e-cadbf261f9af","round":1,"ts":"2026-09-02T12:45:25Z","v":1}
3 {"actor_role":"verifier","actor_session_id":"c72e9414-24f0-4446-9a1b-d9ff5d60bd99","artifacts":[{"notes":"48 passed (seven-tier test_isr_)","ref":"pytest tests/**/test_isr_*.py -q","sha256":"4a82e9639c99a1117793c96d3f1bf76c2cbda04aba529c636bc04b5011d36597","type":"test_output"}],"bv_verdict":"pass","entry_hash":"5bcd01253a7306da9fa93158d6feb7952e162186780770d6420893606dbd2523","frozen_spec":"docs/archive/phases/PHASE-ISR-INDEPENDENT-SECOND-REVIEWER.md","kind":"verification_evidence","phase_id":"ISR-b Independent second reviewer build","prev_hash":"60b9e83f2dd51a292c0cb58edceafa7f9705ad0e8179d35bf60ed70eebd657bd","round":1,"ts":"2026-09-02T12:45:26Z","v":1}
4 {"actor_role":"verifier","actor_session_id":"3a3eda52-b099-4717-8067-c6c10a2362c0","artifacts":[{"notes":"51 passed (seven-tier NXP.8 + ONS layout updates); full suite 1340 passed / 16 pre-existing fails identical on parent 940c3b4","ref":"pytest tests/{unit,integration,e2e,stress,data_integrity,performance,security} -k print_next/nxp/workspace -q","sha256":"a1ea596ed08b4b12da25c12191b66271038c64fc80665241bfc887420f241c27","type":"test_output"}],"bv_verdict":"findings","entry_hash":"7e09c6e9b402ba32f733c5d37b62dee745020df2444e1f07ccf67a9dddbfbcb9","frozen_spec":"docs/archive/phases/PHASE-NXP-NEXT-PROVENANCE.md","kind":"verification_evidence","notes":"NXP-b-BV-r1 second chat, V1-V8: implementation matches NXP.3-NXP.6 (verified live). findings = 2 frozen NXP.8 matrix rows not actually asserted (e2e exit-code tautology, data-integrity newline-insensitive golden), proven by mutation; plus builder producer_session nonce unrecorded so ISR cannot be appended truthfully. No DONE.","phase_id":"NXP-b NEXT provenance build","prev_hash":"5bcd01253a7306da9fa93158d6feb7952e162186780770d6420893606dbd2523","round":1,"ts":"2026-09-05T01:20:02Z","v":1}
5 {"actor_role":"verifier","actor_session_id":"2869c11a-e929-4216-b63e-eff382753a00","artifacts":[{"notes":"Seven-tier NXP.8 subset 54 passed. Full-suite failure set at b86291c is identical to parent 940c3b4 when both are run in matched git-worktree environments (43 = 43, zero new, zero fixed); the 16 seen in the primary checkout are a strict subset.","ref":"pytest -p no:randomly <9 NXP tier files> (54 passed) + pytest -q full suite (1343 passed / 16 pre-existing failures) @ b86291c","sha256":"d4c5e0aeb381fca75c8a176ddc625a760512bc6c1beac32a7b30d831d694218c","type":"test_output"}],"bv_verdict":"pass","entry_hash":"78909934c1b4061b0726036ae43c272e25405953acd824bb4332b545288d6b96","frozen_spec":"docs/archive/phases/PHASE-NXP-NEXT-PROVENANCE.md","kind":"verification_evidence","notes":"NXP-b-BV-r2 independent V1-V8 over 940c3b4..HEAD (build commit 410ddc1 + test fix 6c35b72). BV-r1 findings re-derived from scratch, not taken on trust: 12 targeted mutations run against the NXP tiers, 10 killed. Confirmed by mutation that the rewritten e2e row fails when N4 is folded into --exit-code (exit 2 != 0) while the pre-fix 410ddc1 row passes under the same mutation, and that the rewritten data-integrity row fails on a newline-only fence-body change while the pre-fix row passes; a content-byte change is caught by both. Live on this repo: twelve-step layout with heading byte-exact on line 1, 4x U+00B7 separators, stdout minus provenance+blank reproduces pre-NXP nine-step bytes exactly, check-next unconfigured exits 0 with named bare basename and compliant target, status board-naming advisory fires while status --exit-code returns 0. Exit precedence 2>6>35>3>0, CURRENT_NEXT_HEADING, and extract_paste_fence_body untouched by the diff. Two surviving mutations are non-blocking and outside the frozen NXP.8 matrix: the workspace check-next --json payload exit_code/ok fields are unasserted, and the absolute_repo_root is_absolute() guard is an unreachable defensive branch (its spec-required OSError refusal path is tested).","phase_id":"NXP-b NEXT provenance build","prev_hash":"7e09c6e9b402ba32f733c5d37b62dee745020df2444e1f07ccf67a9dddbfbcb9","round":2,"ts":"2026-09-05T03:42:30Z","v":1}
6 {"actor_role":"verifier","actor_session_id":"2869c11a-e929-4216-b63e-eff382753a00","entry_hash":"8e5e49d9e3b0aa6af2818d34f60bea12043fbaeac3cdf7dd6ce9df6054755d7d","frozen_spec":"docs/archive/phases/PHASE-NXP-NEXT-PROVENANCE.md","isr_verdict":"pass","kind":"independent_second_review","notes":"Independent second reviewer for NXP-b. This chat is not 3a3eda52-b099-4717-8067-c6c10a2362c0, which acted as BV-r1 verifier and then as NXP-b-FIX producer at 6c35b72 and therefore cannot verify its own test fixes. BV-r1's findings were re-derived by mutation rather than accepted on trust; see the round 2 verification_evidence entry. No ISR waiver, no producer-session reuse, no main merge, no hook changes, no consumer board renames, no assert weakened.","phase_id":"NXP-b NEXT provenance build","prev_hash":"78909934c1b4061b0726036ae43c272e25405953acd824bb4332b545288d6b96","producer_session_id":"3a3eda52-b099-4717-8067-c6c10a2362c0","round":2,"ts":"2026-09-05T03:42:47Z","v":1}
File History 1 commit
sha256:c07f2f34a0db9f43fe866f157d1935322008545ff8940c06c7c921eb219c55ab NXP-b DONE: independent BV-r2 pass + ISR (SD-17) Human minor ⚠ 23 hours ago