Blog
Merged PR #888 adds four explicit review states in a 5-file diff, while separate CI receipts show that merge state and delivery status are different facts.
[measured] Merged PR #888 adds an explicit review lifecycle to the Queen page. The change landed in merge commit 6a4d6fb07670f99f16e4ffb67a12dee42caac3df as a 5-file diff with 375 additions and 29 deletions.
[proven] The executable model names four review states: queenReviewPending, changesRequested, humanEscalation, and reconciliationAnomaly. The Queen page consumes that model instead of treating every card in the review column as Queen debt.
queenReviewPending
changesRequested
humanEscalation
reconciliationAnomaly[proven] When the public ledger supplies reviewQueues, those counts remain authoritative. For a legacy review card without reviewState, the model returns reconciliationAnomaly; an unclassified card is therefore visible as an anomaly rather than silently added to a different queue.
[measured] On the same merge SHA, CI, Codegen Validation, and Website checks completed successfully. KOSCHEI Production Deploy stopped at Run all tests; S³AI Brain CI stopped at Run Brain Health Check; Site live gate stopped while comparing the build with the live site; and the manual deploy stopped at Checkout the deploy repo.
| Receipt | Observed outcome |
|---|---|
| PR #888 | merged |
| CI / Codegen Validation / Website checks | success |
| KOSCHEI / S³AI Brain / Site live gate / manual deploy | stopped at named steps |
MERGED is a state of the change, not a verdict on delivery.
For an engineering change, keep four fields beside one another: PR state, merge SHA, diff size, and workflow → job → step → conclusion. That passport preserves mixed evidence instead of collapsing it into one green or red label.
Work with me
I audit RTL and build independent, bit-exact models, then take the result through synthesis and, when useful, onto an Artix-7 board. The first conformance module is free.