STATUS-012: divergence row says miss for a commit already PATCHed into the wt

Now:
OPEN

Incident 2026-07-17, work/PUT-010: after jab patch ?e3a937bd absorbed the behind-commit (wtlog patch row live, wt full of pat/mrg rows), status still lists it as miss ?e3a937bd#PATCH-013: fix timestamping. miss reads as "you don't have this work" — wrong once the wt carries the absorbed bytes pending post. The divergence walk (status.js computeDivergence) should consult the wtlog's in-scope patch rows (PATCH ancestor-skip: parent ∪ foster reachability) and mark an absorbed commit distinctly — e.g. pat ?<sha>#<subject> — or drop it from miss.

Input

Context

Goals

Behind-commits absorbed by a pending patch render with a distinct verb — ptch (gritzko ruling 2026-07-17, PATCH §Summary 1.1: absorbed miss commits "become ptch"; COMMIT statuses are 4-char, FILE rows stay 3-char) — leaving miss for genuinely un-absorbed work; count summary follows.

Constraints

WIP

Design decisions

TODOs

Blockers and bummers

Outcome