# R05 evidence — [#25697](https://git.cafe/pingdotgg/t3code/pull/25697)

Before [3d369d5596](https://git.cafe/pingdotgg/t3code/commit/3d369d55968b09861bf61ba8ebb2eeb6f02973ba); after [a77de508c2](https://git.cafe/pingdotgg/t3code/commit/a77de508c2d34983d2bf07dd64e075df582554dc). Updated R07 goal expectation applies.

## R05 — server runtime (viewport/theme N/A)

Environment: fs-19 • Linux x86_64 • Node 26.13.0 • vite-plus 1.4.0 / Vitest 5.0.5 • in-memory SQLite • Effect TestClock at Unix epoch; synthetic Git seed timestamps fixed. H: real runtime/orchestrator/event sink/projection + registered fake Codex provider; real t3_queue toolkit/service/access context. No model execution. Viewport/theme/DPR/emulation/font scaling: N/A (server-only runtime transcript).

| Setup | Before ([3d369d5596](https://git.cafe/pingdotgg/t3code/commit/3d369d55968b09861bf61ba8ebb2eeb6f02973ba)) | After ([a77de508c2](https://git.cafe/pingdotgg/t3code/commit/a77de508c2d34983d2bf07dd64e075df582554dc)) | Differs as expected? |
| --- | --- | --- | --- |
| **R05-clear** — H. Historical P owns C; no driving goal; G=/goal clear; same reorders and real t3_queue promote. | Priority setup rejects; promote waits for natural A terminal; zero interrupts/steers. Actual starts: **C, G, U**. | G/U true→false at unchanged q1/q2; zero interrupts/steers. Actual starts: **C, G, U**. | Yes; required differences/preservation observed. |
| **R05-set** — H. Historical finished P owns C; active A; C,U,G=/goal ship it; prioritize U then G; promote G through real t3_queue. | Priority setup rejects; promote normalizes ordinary numeric q; one interrupt, zero native steers. Actual starts: **C, G, U**. | G q1=false and U q2=false (unchanged positions), C unchanged; one interrupt, zero native steers. Actual starts: **C, G, U**. | Yes; required differences/preservation observed. |

PR-ready capture links (all named variants above are present in each paired log):

| Before<br>[3d369d5596](https://git.cafe/pingdotgg/t3code/commit/3d369d55968b09861bf61ba8ebb2eeb6f02973ba) | After<br>[a77de508c2](https://git.cafe/pingdotgg/t3code/commit/a77de508c2d34983d2bf07dd64e075df582554dc) | Diff0<br>[3d369d5596](https://git.cafe/pingdotgg/t3code/commit/3d369d55968b09861bf61ba8ebb2eeb6f02973ba) → [a77de508c2](https://git.cafe/pingdotgg/t3code/commit/a77de508c2d34983d2bf07dd64e075df582554dc) | DiffT<br>[3d369d5596](https://git.cafe/pingdotgg/t3code/commit/3d369d55968b09861bf61ba8ebb2eeb6f02973ba) → [a77de508c2](https://git.cafe/pingdotgg/t3code/commit/a77de508c2d34983d2bf07dd64e075df582554dc) |
| --- | --- | --- | --- |
| [Runtime capture + full run.updated events](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/56b7803b7b150131/R05.before.raw.log) | [Runtime capture + full run.updated events](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/84e0f8d5a3aea46b/R05.after.raw.log) | [Zero-threshold unified diff](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/775a3f1a06fbd7f7/R05.Diff0.diff) | [No unexpected differences](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/d9a78ffac6325071/R05.DiffT.txt) |

[Normalized before](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/a24e07d833f4e5ee/R05.before.normalized.txt) · [Normalized after](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/2fe6fb0ce7f72c20/R05.after.normalized.txt) · [One-line inventory of every difference](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/03132ad547ac1678/R05.difference-inventory.txt) · [All raw persisted domain events](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/8ea1d7e9bd8f007c/R05.raw-events.tar.gz)

[driver + all synthetic seeds](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/3203c71e7e07a194/queue-evidence.test.ts) · [reproduction commands](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/8310722205aaf986/reproduce.sh) · [original regression driver](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/fd526b4ceced7e37/queue-regression.test.ts) · [normalization and packaging](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/d5ee54a963c65213/package-evidence.py) · [payload comparison audit](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/c0895aa7b3577b15/audit-transcripts.py).

Unverified variants: none.