# R03 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.

## R03 — 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? |
| --- | --- | --- | --- |
| **R03a** — H. C1,C2,U,V; prioritize U, then move U before V. | Priority attempt rejects; ordinary no-op returns Command produced no domain events. Actual starts: **C1, C2, U, V**. | U priority is removed and explicit false persists. Actual starts: **C1, C2, U, V**. | Yes; required differences/preservation observed. |
| **R03b** — H. C1,C2,U,V; prioritize U, then move U to end. | Priority attempt rejects; U moves to end. Actual starts: **C1, C2, V, U**. | U moves to end and true becomes false. Actual starts: **C1, C2, V, U**. | Yes; required differences/preservation observed. |
| **R03c** — H. C,U,V; prioritize U; cancel valid C via real queue tool; move U before V at unchanged U q1; add fresh C2. | No true precondition is fabricated; final completion-first continuation. Actual starts: **C2, U, V**. | Cancelling C retains U=true; next reorder emits U=false at unchanged q1; fresh C2 outranks U. Actual starts: **C2, U, V**. | 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/c3390b999444cb9f/R03.before.raw.log) | [Runtime capture + full run.updated events](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/f887dfa8077dee7a/R03.after.raw.log) | [Zero-threshold unified diff](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/1ee78143b609ab74/R03.Diff0.diff) | [No unexpected differences](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/90ab878853a1a0f3/R03.DiffT.txt) |

[Normalized before](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/ccab56085055450c/R03.before.normalized.txt) · [Normalized after](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/49cb0aacf3c901a8/R03.after.normalized.txt) · [One-line inventory of every difference](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/3d896fa556827f6c/R03.difference-inventory.txt) · [All raw persisted domain events](https://gh-file-drop-api-prod-mi5fy3sowv63ufte.pinglabs.workers.dev/f/4a5f71e370f78596/R03.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.