--- r07/R07-ordinary.before.normalized.txt 2026-11-03 19:02:06.420937433 +0000 +++ r07/R07-ordinary.after-f6290eb.normalized.txt 2026-11-03 19:02:06.424937433 +0000 @@ -21,70 +21,71 @@ RUN_UPDATED SEEDED: {"id":"P","status":"completed","q":null,"flag":"absent","held":false} PROVIDER SEEDED: {"started":["P","A"],"steered":[],"interruptRequests":0} MCP_INPUT: {"action":"reorder","queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:4","beforeRunId":"run:thread:thread%3AR07-ordinary:ordinal:3"} -MCP_OUTPUT: [{"result":{"_tag":"OrchestratorMcpFailure","code":"orchestration_error","message":"Queued messages cannot be reordered ahead of automatic completion delivery."},"isFailure":true,"failureOrigin":"handler","preliminary":false,"encodedResult":{"_tag":"OrchestratorMcpFailure","code":"orchestration_error","message":"Queued messages cannot be reordered ahead of automatic completion delivery."}}] -PERSISTED reorder W before C: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"running","q":null,"flag":"absent","held":false},{"id":"C","status":"queued","q":1,"flag":"absent","held":false},{"id":"W","status":"queued","q":2,"flag":"absent","held":false},{"id":"S","status":"queued","q":3,"flag":"absent","held":false},{"id":"V","status":"queued","q":4,"flag":"absent","held":false}] -DELIVERY_ORDER reorder W before C: ["C","W","S","V"] +MCP_OUTPUT: [{"result":{"sequence":62},"isFailure":false,"preliminary":false,"encodedResult":{"sequence":62}}] +PERSISTED reorder W before C: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"running","q":null,"flag":"absent","held":false},{"id":"C","status":"queued","q":2,"flag":"absent","held":false},{"id":"W","status":"queued","q":1,"flag":true,"held":false},{"id":"S","status":"queued","q":3,"flag":"absent","held":false},{"id":"V","status":"queued","q":4,"flag":"absent","held":false}] +DELIVERY_ORDER reorder W before C: ["W","C","S","V"] +RUN_UPDATED reorder W before C: {"id":"W","status":"queued","q":1,"flag":true,"held":false} +RUN_UPDATED reorder W before C: {"id":"C","status":"queued","q":2,"flag":"absent","held":false} PROVIDER reorder W before C: {"started":["P","A"],"steered":[],"interruptRequests":0} MCP_INPUT: {"action":"reorder","queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:5","beforeRunId":"run:thread:thread%3AR07-ordinary:ordinal:4"} -MCP_OUTPUT: [{"result":{"sequence":62},"isFailure":false,"preliminary":false,"encodedResult":{"sequence":62}}] -PERSISTED reorder S before W: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"running","q":null,"flag":"absent","held":false},{"id":"C","status":"queued","q":1,"flag":"absent","held":false},{"id":"W","status":"queued","q":3,"flag":"absent","held":false},{"id":"S","status":"queued","q":2,"flag":"absent","held":false},{"id":"V","status":"queued","q":4,"flag":"absent","held":false}] -DELIVERY_ORDER reorder S before W: ["C","S","W","V"] -RUN_UPDATED reorder S before W: {"id":"S","status":"queued","q":2,"flag":"absent","held":false} -RUN_UPDATED reorder S before W: {"id":"W","status":"queued","q":3,"flag":"absent","held":false} +MCP_OUTPUT: [{"result":{"sequence":65},"isFailure":false,"preliminary":false,"encodedResult":{"sequence":65}}] +PERSISTED reorder S before W: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"running","q":null,"flag":"absent","held":false},{"id":"C","status":"queued","q":3,"flag":"absent","held":false},{"id":"W","status":"queued","q":2,"flag":true,"held":false},{"id":"S","status":"queued","q":1,"flag":true,"held":false},{"id":"V","status":"queued","q":4,"flag":"absent","held":false}] +DELIVERY_ORDER reorder S before W: ["S","W","C","V"] +RUN_UPDATED reorder S before W: {"id":"S","status":"queued","q":1,"flag":true,"held":false} +RUN_UPDATED reorder S before W: {"id":"W","status":"queued","q":2,"flag":true,"held":false} +RUN_UPDATED reorder S before W: {"id":"C","status":"queued","q":3,"flag":"absent","held":false} PROVIDER reorder S before W: {"started":["P","A"],"steered":[],"interruptRequests":0} MCP_INPUT: {"action":"promote_to_steer","queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:5","targetRunId":"run:thread:thread%3AR07-ordinary:ordinal:2"} -MCP_OUTPUT: [{"result":{"sequence":66},"isFailure":false,"preliminary":false,"encodedResult":{"sequence":66}}] -PERSISTED compaction skip before effects: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"running","q":null,"flag":"absent","held":false},{"id":"C","status":"queued","q":1,"flag":"absent","held":false},{"id":"W","status":"queued","q":2,"flag":"absent","held":false},{"id":"S","status":"queued","q":1,"flag":"absent","held":false},{"id":"V","status":"queued","q":3,"flag":"absent","held":false}] -DELIVERY_ORDER compaction skip before effects: ["C","S","W","V"] -RUN_UPDATED compaction skip before effects: {"id":"S","status":"queued","q":1,"flag":"absent","held":false} -RUN_UPDATED compaction skip before effects: {"id":"W","status":"queued","q":2,"flag":"absent","held":false} -RUN_UPDATED compaction skip before effects: {"id":"V","status":"queued","q":3,"flag":"absent","held":false} +MCP_OUTPUT: [{"result":{"sequence":67},"isFailure":false,"preliminary":false,"encodedResult":{"sequence":67}}] +PERSISTED compaction skip before effects: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"running","q":null,"flag":"absent","held":false},{"id":"C","status":"queued","q":3,"flag":"absent","held":false},{"id":"W","status":"queued","q":2,"flag":true,"held":false},{"id":"S","status":"queued","q":1,"flag":true,"held":false},{"id":"V","status":"queued","q":4,"flag":"absent","held":false}] +DELIVERY_ORDER compaction skip before effects: ["S","W","C","V"] +RUN_UPDATED compaction skip before effects: {"id":"S","status":"queued","q":1,"flag":true,"held":false} PROVIDER compaction skip before effects: {"started":["P","A"],"steered":[],"interruptRequests":0} -PERSISTED compaction skipped: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"C","status":"running","q":null,"flag":"absent","held":false},{"id":"W","status":"queued","q":2,"flag":"absent","held":false},{"id":"S","status":"queued","q":1,"flag":"absent","held":false},{"id":"V","status":"queued","q":3,"flag":"absent","held":false}] -DELIVERY_ORDER compaction skipped: ["S","W","V"] +PERSISTED compaction skipped: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"C","status":"queued","q":3,"flag":"absent","held":false},{"id":"W","status":"queued","q":2,"flag":true,"held":false},{"id":"S","status":"running","q":null,"flag":true,"held":false},{"id":"V","status":"queued","q":4,"flag":"absent","held":false}] +DELIVERY_ORDER compaction skipped: ["W","C","V"] RUN_UPDATED compaction skipped: {"id":"A","status":"interrupted","q":null,"flag":"absent","held":false} -RUN_UPDATED compaction skipped: {"id":"C","status":"starting","q":null,"flag":"absent","held":false} +RUN_UPDATED compaction skipped: {"id":"S","status":"starting","q":null,"flag":true,"held":false} RUN_UPDATED compaction skipped: {"id":"A","status":"interrupted","q":null,"flag":"absent","held":false} -RUN_UPDATED compaction skipped: {"id":"C","status":"running","q":null,"flag":"absent","held":false} -PROVIDER compaction skipped: {"started":["P","A","C"],"steered":[],"interruptRequests":1} +RUN_UPDATED compaction skipped: {"id":"S","status":"running","q":null,"flag":true,"held":false} +PROVIDER compaction skipped: {"started":["P","A","S"],"steered":[],"interruptRequests":1} MCP_INPUT: {"action":"list","limit":20} -MCP_OUTPUT: [{"result":{"items":[{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:5","text":"S","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:4","text":"W","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:6","text":"V","truncated":false}],"nextCursor":null},"isFailure":false,"preliminary":false,"encodedResult":{"items":[{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:5","text":"S","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:4","text":"W","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:6","text":"V","truncated":false}],"nextCursor":null}}] +MCP_OUTPUT: [{"result":{"items":[{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:4","text":"W","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:3","text":"Delegated task task:R07-ordinary:1 reached a terminal state. Use task_status with taskId task:R07-ordinary:1 to read the result.","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:6","text":"V","truncated":false}],"nextCursor":null},"isFailure":false,"preliminary":false,"encodedResult":{"items":[{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:4","text":"W","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:3","text":"Delegated task task:R07-ordinary:1 reached a terminal state. Use task_status with taskId task:R07-ordinary:1 to read the result.","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:6","text":"V","truncated":false}],"nextCursor":null}}] MCP_INPUT: {"action":"list","limit":20} -MCP_OUTPUT: [{"result":{"items":[{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:5","text":"S","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:4","text":"W","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:6","text":"V","truncated":false}],"nextCursor":null},"isFailure":false,"preliminary":false,"encodedResult":{"items":[{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:5","text":"S","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:4","text":"W","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:6","text":"V","truncated":false}],"nextCursor":null}}] -ACTION: {"naturalTerminal":"C","status":"completed"} -PERSISTED drain 0: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"C","status":"completed","q":null,"flag":"absent","held":false},{"id":"W","status":"queued","q":2,"flag":"absent","held":false},{"id":"S","status":"starting","q":null,"flag":"absent","held":false},{"id":"V","status":"queued","q":3,"flag":"absent","held":false}] -DELIVERY_ORDER drain 0: ["W","V"] -RUN_UPDATED drain 0: {"id":"C","status":"waiting","q":null,"flag":"absent","held":false} -RUN_UPDATED drain 0: {"id":"C","status":"completed","q":null,"flag":"absent","held":false} -RUN_UPDATED drain 0: {"id":"P","status":"completed","q":null,"flag":"absent","held":false} -RUN_UPDATED drain 0: {"id":"S","status":"starting","q":null,"flag":"absent","held":false} -PROVIDER drain 0: {"started":["P","A","C"],"steered":[],"interruptRequests":1} +MCP_OUTPUT: [{"result":{"items":[{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:4","text":"W","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:3","text":"Delegated task task:R07-ordinary:1 reached a terminal state. Use task_status with taskId task:R07-ordinary:1 to read the result.","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:6","text":"V","truncated":false}],"nextCursor":null},"isFailure":false,"preliminary":false,"encodedResult":{"items":[{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:4","text":"W","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:3","text":"Delegated task task:R07-ordinary:1 reached a terminal state. Use task_status with taskId task:R07-ordinary:1 to read the result.","truncated":false},{"queuedRunId":"run:thread:thread%3AR07-ordinary:ordinal:6","text":"V","truncated":false}],"nextCursor":null}}] ACTION: {"naturalTerminal":"S","status":"completed"} -PERSISTED drain 1: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"C","status":"completed","q":null,"flag":"absent","held":false},{"id":"S","status":"completed","q":null,"flag":"absent","held":false},{"id":"V","status":"queued","q":3,"flag":"absent","held":false},{"id":"W","status":"running","q":null,"flag":"absent","held":false}] -DELIVERY_ORDER drain 1: ["V"] -RUN_UPDATED drain 1: {"id":"S","status":"running","q":null,"flag":"absent","held":false} -RUN_UPDATED drain 1: {"id":"S","status":"waiting","q":null,"flag":"absent","held":false} -RUN_UPDATED drain 1: {"id":"S","status":"completed","q":null,"flag":"absent","held":false} -RUN_UPDATED drain 1: {"id":"W","status":"starting","q":null,"flag":"absent","held":false} -RUN_UPDATED drain 1: {"id":"W","status":"running","q":null,"flag":"absent","held":false} -PROVIDER drain 1: {"started":["P","A","C","S","W"],"steered":[],"interruptRequests":1} +PERSISTED drain 0: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"C","status":"queued","q":3,"flag":"absent","held":false},{"id":"S","status":"completed","q":null,"flag":true,"held":false},{"id":"V","status":"queued","q":4,"flag":"absent","held":false},{"id":"W","status":"running","q":null,"flag":true,"held":false}] +DELIVERY_ORDER drain 0: ["C","V"] +RUN_UPDATED drain 0: {"id":"S","status":"waiting","q":null,"flag":true,"held":false} +RUN_UPDATED drain 0: {"id":"S","status":"completed","q":null,"flag":true,"held":false} +RUN_UPDATED drain 0: {"id":"W","status":"starting","q":null,"flag":true,"held":false} +RUN_UPDATED drain 0: {"id":"W","status":"running","q":null,"flag":true,"held":false} +PROVIDER drain 0: {"started":["P","A","S","W"],"steered":[],"interruptRequests":1} ACTION: {"naturalTerminal":"W","status":"completed"} -PERSISTED drain 2: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"C","status":"completed","q":null,"flag":"absent","held":false},{"id":"S","status":"completed","q":null,"flag":"absent","held":false},{"id":"W","status":"completed","q":null,"flag":"absent","held":false},{"id":"V","status":"running","q":null,"flag":"absent","held":false}] +PERSISTED drain 1: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"S","status":"completed","q":null,"flag":true,"held":false},{"id":"V","status":"queued","q":4,"flag":"absent","held":false},{"id":"W","status":"completed","q":null,"flag":true,"held":false},{"id":"C","status":"running","q":null,"flag":"absent","held":false}] +DELIVERY_ORDER drain 1: ["V"] +RUN_UPDATED drain 1: {"id":"W","status":"waiting","q":null,"flag":true,"held":false} +RUN_UPDATED drain 1: {"id":"W","status":"completed","q":null,"flag":true,"held":false} +RUN_UPDATED drain 1: {"id":"C","status":"starting","q":null,"flag":"absent","held":false} +RUN_UPDATED drain 1: {"id":"C","status":"running","q":null,"flag":"absent","held":false} +PROVIDER drain 1: {"started":["P","A","S","W","C"],"steered":[],"interruptRequests":1} +ACTION: {"naturalTerminal":"C","status":"completed"} +PERSISTED drain 2: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"S","status":"completed","q":null,"flag":true,"held":false},{"id":"W","status":"completed","q":null,"flag":true,"held":false},{"id":"C","status":"completed","q":null,"flag":"absent","held":false},{"id":"V","status":"starting","q":null,"flag":"absent","held":false}] DELIVERY_ORDER drain 2: [] -RUN_UPDATED drain 2: {"id":"W","status":"waiting","q":null,"flag":"absent","held":false} -RUN_UPDATED drain 2: {"id":"W","status":"completed","q":null,"flag":"absent","held":false} +RUN_UPDATED drain 2: {"id":"C","status":"waiting","q":null,"flag":"absent","held":false} +RUN_UPDATED drain 2: {"id":"C","status":"completed","q":null,"flag":"absent","held":false} +RUN_UPDATED drain 2: {"id":"P","status":"completed","q":null,"flag":"absent","held":false} RUN_UPDATED drain 2: {"id":"V","status":"starting","q":null,"flag":"absent","held":false} -RUN_UPDATED drain 2: {"id":"V","status":"running","q":null,"flag":"absent","held":false} -PROVIDER drain 2: {"started":["P","A","C","S","W","V"],"steered":[],"interruptRequests":1} +PROVIDER drain 2: {"started":["P","A","S","W","C"],"steered":[],"interruptRequests":1} ACTION: {"naturalTerminal":"V","status":"completed"} -PERSISTED drain 3: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"C","status":"completed","q":null,"flag":"absent","held":false},{"id":"S","status":"completed","q":null,"flag":"absent","held":false},{"id":"W","status":"completed","q":null,"flag":"absent","held":false},{"id":"V","status":"completed","q":null,"flag":"absent","held":false}] +PERSISTED drain 3: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"S","status":"completed","q":null,"flag":true,"held":false},{"id":"W","status":"completed","q":null,"flag":true,"held":false},{"id":"C","status":"completed","q":null,"flag":"absent","held":false},{"id":"V","status":"completed","q":null,"flag":"absent","held":false}] DELIVERY_ORDER drain 3: [] +RUN_UPDATED drain 3: {"id":"V","status":"running","q":null,"flag":"absent","held":false} RUN_UPDATED drain 3: {"id":"V","status":"waiting","q":null,"flag":"absent","held":false} RUN_UPDATED drain 3: {"id":"V","status":"completed","q":null,"flag":"absent","held":false} -PROVIDER drain 3: {"started":["P","A","C","S","W","V"],"steered":[],"interruptRequests":1} -PERSISTED FINAL: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"C","status":"completed","q":null,"flag":"absent","held":false},{"id":"S","status":"completed","q":null,"flag":"absent","held":false},{"id":"W","status":"completed","q":null,"flag":"absent","held":false},{"id":"V","status":"completed","q":null,"flag":"absent","held":false}] +PROVIDER drain 3: {"started":["P","A","S","W","C","V"],"steered":[],"interruptRequests":1} +PERSISTED FINAL: [{"id":"P","status":"completed","q":null,"flag":"absent","held":false},{"id":"A","status":"interrupted","q":null,"flag":"absent","held":false},{"id":"S","status":"completed","q":null,"flag":true,"held":false},{"id":"W","status":"completed","q":null,"flag":true,"held":false},{"id":"C","status":"completed","q":null,"flag":"absent","held":false},{"id":"V","status":"completed","q":null,"flag":"absent","held":false}] DELIVERY_ORDER FINAL: [] -PROVIDER FINAL: {"started":["P","A","C","S","W","V"],"steered":[],"interruptRequests":1} -ACTUAL_STARTING_SEQUENCE: ["P","A","C","S","W","V"] +PROVIDER FINAL: {"started":["P","A","S","W","C","V"],"steered":[],"interruptRequests":1} +ACTUAL_STARTING_SEQUENCE: ["P","A","S","W","C","V"] INVARIANTS: {"oneActive":true,"eachStartOnce":true,"noSkippedIds":true,"emptyQueue":true,"matrixOrder":true} OBSERVATION_BARRIER: {"subscribedBeforeActions":true,"observedStarting":6}