Jakub Zych
aa03fc7fa9
fix(verification): keep passed uat results across verifier re-runs
...
A phase whose human UAT passed could loop forever between execute-phase
and verify-work. A gap-closure plan, or a later phase editing a covered
file, made the report stale; verify-work only recorded a passed UAT
against human_needed; the re-run verifier could not see the UAT file and
re-emitted human_needed; and execute-phase's human_needed branch then
rewrote *-UAT.md with every row back to [pending].
- verification.uat-evidence: recorded UAT rows plus the covered
implementation files changed since the UAT. The verifier (Step 8b)
treats a row that passed on unchanged code as verified and re-lists
only affected rows, each with a retest_reason.
- verification.seed-uat: merges the report's human items into *-UAT.md.
Existing rows are kept byte-for-byte; a pass is reset only with a
recorded reason.
- verification.canonicalize-uat: the single human_needed -> passed flip,
gated on the uat-only row predicate; refuses a stale report.
- verification.status reports stale_reason; init.progress lists every
executed-but-stale phase in reverify_phases.
- verify-work and progress re-run the verifier themselves for a stale
report instead of routing to execute-phase; execute-phase records a
gap-closure checkpoint's UAT answers before dispatching the verifier.
Fail-closed properties are unchanged: a malformed fingerprint and a real
change to covered code still read stale.
Emitted-Drift-Ack-Growth: execute-phase.md — verify_phase_goal gains the gap-closure uat-record pointer and the merge-not-overwrite human_needed branch; the uat template it replaced moved into verification.seed-uat
Emitted-Drift-Ack-Growth: msd-verifier.md — new step 8b pointer to the lazily loaded verifier-uat-evidence reference plus the human_verified frontmatter key
Emitted-Drift-Ack-Growth: progress.md — route v.stale now re-verifies every stale executed phase in place instead of naming one command
2026-10-11 01:44:30 +02:00
..
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:35:12 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:49:35 +02:00
2026-06-28 02:12:06 -04:00
2026-10-06 20:02:40 +02:00
2026-09-12 12:31:01 -04:00
2026-07-20 14:59:30 -04:00
2026-10-06 20:49:35 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-09-02 22:38:31 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-08-28 03:15:39 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-07-31 23:03:13 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-09-02 08:12:57 -04:00
2026-09-12 12:31:01 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-06-24 17:16:13 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-09-12 18:33:01 -04:00
2026-10-06 01:47:40 +02:00
2026-08-18 16:40:17 -04:00
2026-06-08 23:37:41 -04:00
2026-09-02 07:33:42 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-11 01:44:30 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:49:35 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:19:17 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-08-07 13:41:21 -04:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:02:40 +02:00
2026-06-02 11:45:01 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-06-02 11:45:01 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-09-15 04:47:47 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 10:41:56 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-08-14 10:24:05 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-08-08 01:20:55 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-07-31 02:30:50 -04:00
2026-08-04 22:41:01 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-06-06 11:24:48 -04:00
2026-10-06 01:47:40 +02:00
2026-06-18 07:44:52 -04:00
2026-08-16 02:48:24 -04:00
2026-10-06 20:19:17 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:49:35 +02:00
2026-10-06 20:49:35 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:49:35 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:49:35 +02:00
2026-09-12 22:17:46 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-07-12 15:34:59 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-11 01:44:30 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 20:02:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 10:41:56 +02:00
2026-10-11 01:44:30 +02:00
2026-10-11 01:44:30 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-08-26 16:03:11 -04:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00
2026-10-06 01:47:40 +02:00