RUN v3.2.7 /tmp/circe-pr2-evidence × probes.test.ts > PR2 independent required behavior > R1: non-executable 'query'/'inspect' never invokes 15ms → a query must not execute task.resume: expected [ { …(7) } ] to have a length of +0 but got 1 × probes.test.ts > PR2 independent required behavior > R1: non-executable 'query'/'reference' never invokes 2ms → a query must not execute task.resume: expected [ { …(7) } ] to have a length of +0 but got 1 × probes.test.ts > PR2 independent required behavior > R1: non-executable 'request'/'compose' never invokes 2ms → a query must not execute task.resume: expected [ { …(7) } ] to have a length of +0 but got 1 × probes.test.ts > PR2 independent required behavior > R2: argument-only refs retain validation and frozen preconditions 3ms → compiler-certified evidence must reach authority validation: expected [ 'A' ] to include 'B' × probes.test.ts > PR2 independent required behavior > R2b: a stale argument target blocks execution 2ms → B is stale but its evidence never reaches validate: expected [ { …(7) } ] to have a length of +0 but got 1 × probes.test.ts > PR2 independent required behavior > R3: rejected prerequisite blocks dependent proposition 2ms → a rejected prerequisite is not satisfied: expected [ { kind: 'propose', …(5) } ] to have a length of +0 but got 1 × probes.test.ts > PR2 independent required behavior > R4: out-of-range relation makes whole turn uncompilable 1ms → a dangling prohibition cannot be ignored: expected [ { kind: 'propose', …(5) } ] to have a length of +0 but got 1 × probes.test.ts > PR2 independent required behavior > R5: explicit index cannot bypass a prohibition on the selected proposition 2ms → position must match the supplied proposition: expected { kind: 'propose', …(5) } to be undefined × probes.test.ts > PR2 independent required behavior > R6: malformed sibling exclusion cannot be dropped by per-proposition API 1ms → the two APIs must agree about malformed turn prohibitions: expected { kind: 'propose', …(5) } to be undefined × probes.test.ts > PR2 independent required behavior > R7: a matching frame hash cannot replace the turn frame identity 1ms → expected [ { kind: 'propose', …(5) } ] to have a length of +0 but got 1 ✓ probes.test.ts > PR2 independent required behavior > control: valid request still reaches executor exactly once 2ms ⎯⎯⎯⎯⎯⎯ Failed Tests 10 ⎯⎯⎯⎯⎯⎯⎯ FAIL probes.test.ts > PR2 independent required behavior > R1: non-executable 'query'/'inspect' never invokes FAIL probes.test.ts > PR2 independent required behavior > R1: non-executable 'query'/'reference' never invokes FAIL probes.test.ts > PR2 independent required behavior > R1: non-executable 'request'/'compose' never invokes AssertionError: a query must not execute task.resume: expected [ { …(7) } ] to have a length of +0 but got 1 - Expected + Received - 0 + 1 ❯ probes.test.ts:200:63 198| const compiled = compileSemanticTurn(turn, { frame }); const r = r… 199| for (const command of compiled.commands) await r.runtime.command(c… 200| expect(r.invokes, 'a query must not execute task.resume').toHaveLe… | ^ 201| }); 202| it('R2: argument-only refs retain validation and frozen precondition… ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[1/10]⎯ FAIL probes.test.ts > PR2 independent required behavior > R2: argument-only refs retain validation and frozen preconditions AssertionError: compiler-certified evidence must reach authority validation: expected [ 'A' ] to include 'B' ❯ probes.test.ts:209:118 207| expect(compiled.commands[0]!.expectedVersions!.map(p=>p.ref.id)).t… 208| const r = rig(); await r.runtime.command(compiled.commands[0]!); 209| expect(r.validates.flat().map((p:any)=>p.ref.id), 'compiler-certif… | ^ 210| expect(r.invokes[0]!.preconditions.map((p:any)=>p.ref.id)).toConta… 211| }); ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[2/10]⎯ FAIL probes.test.ts > PR2 independent required behavior > R2b: a stale argument target blocks execution AssertionError: B is stale but its evidence never reaches validate: expected [ { …(7) } ] to have a length of +0 but got 1 - Expected + Received - 0 + 1 ❯ probes.test.ts:217:77 215| const compiled=compileSemanticTurn(semanticTurnFromRun(run,[p]),{f… 216| const r=rig('B'); await r.runtime.command(compiled.commands[0]!); 217| expect(r.invokes, 'B is stale but its evidence never reaches valid… | ^ 218| }); 219| it('R3: rejected prerequisite blocks dependent proposition', async (… ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[3/10]⎯ FAIL probes.test.ts > PR2 independent required behavior > R3: rejected prerequisite blocks dependent proposition AssertionError: a rejected prerequisite is not satisfied: expected [ { kind: 'propose', …(5) } ] to have a length of +0 but got 1 - Expected + Received - 0 + 1 ❯ probes.test.ts:226:75 224| const compiled=compileSemanticTurn(semanticTurnFromRun(run,[prereq… 225| expect(compiled.rejected.some(r=>r.index===0 && r.reason.includes(… 226| expect(compiled.commands, 'a rejected prerequisite is not satisfie… | ^ 227| }); 228| it('R4: out-of-range relation makes whole turn uncompilable', async … ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[4/10]⎯ FAIL probes.test.ts > PR2 independent required behavior > R4: out-of-range relation makes whole turn uncompilable AssertionError: a dangling prohibition cannot be ignored: expected [ { kind: 'propose', …(5) } ] to have a length of +0 but got 1 - Expected + Received - 0 + 1 ❯ probes.test.ts:232:75 230| const malformed:SemanticProposition={act:'request',operation:'excl… 231| const compiled=compileSemanticTurn(semanticTurnFromRun(run,[malfor… 232| expect(compiled.commands, 'a dangling prohibition cannot be ignore… | ^ 233| }); 234| it('R5: explicit index cannot bypass a prohibition on the selected p… ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[5/10]⎯ FAIL probes.test.ts > PR2 independent required behavior > R5: explicit index cannot bypass a prohibition on the selected proposition AssertionError: position must match the supplied proposition: expected { kind: 'propose', …(5) } to be undefined - Expected: undefined + Received: { "capability": "task.resume", "commandId": "wrong-index", "decisions": [ "decision:run:frame:i:o:0:1:cd868c20:w:8:operation:operation", ], "expectedVersions": [ { "ref": { "authority": "a", "id": "A", "namespace": "tasks", "type": "task", }, "token": { "authority": "a", "observedAt": "2026-09-22T09:00:00.000Z", "token": "1", }, }, ], "kind": "propose", "slots": [ { "refs": [ { "authority": "a", "id": "A", "namespace": "tasks", "type": "task", }, ], "slot": "targets", }, ], } ❯ probes.test.ts:240:69 238| const turn=semanticTurnFromRun(run,[exclusion,p]); 239| const command=propositionCommand(turn,p,{commandId:'wrong-index',a… 240| expect(command, 'position must match the supplied proposition').to… | ^ 241| }); 242| it('R6: malformed sibling exclusion cannot be dropped by per-proposi… ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[6/10]⎯ FAIL probes.test.ts > PR2 independent required behavior > R6: malformed sibling exclusion cannot be dropped by per-proposition API AssertionError: the two APIs must agree about malformed turn prohibitions: expected { kind: 'propose', …(5) } to be undefined - Expected: undefined + Received: { "capability": "task.resume", "commandId": "malformed-sibling", "decisions": [ "decision:run:frame:i:o:0:1:cd868c20:w:9:operation:operation", ], "expectedVersions": [ { "ref": { "authority": "a", "id": "A", "namespace": "tasks", "type": "task", }, "token": { "authority": "a", "observedAt": "2026-09-22T09:00:00.000Z", "token": "1", }, }, ], "kind": "propose", "slots": [ { "refs": [ { "authority": "a", "id": "A", "namespace": "tasks", "type": "task", }, ], "slot": "targets", }, ], } ❯ probes.test.ts:248:82 246| const turn=semanticTurnFromRun(run,[exclusion,p]); 247| const command=propositionCommand(turn,p,{commandId:'malformed-sibl… 248| expect(command, 'the two APIs must agree about malformed turn proh… | ^ 249| }); 250| it('R7: a matching frame hash cannot replace the turn frame identity… ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[7/10]⎯ FAIL probes.test.ts > PR2 independent required behavior > R7: a matching frame hash cannot replace the turn frame identity AssertionError: expected [ { kind: 'propose', …(5) } ] to have a length of +0 but got 1 - Expected + Received - 0 + 1 ❯ probes.test.ts:254:64 252| const p=requestProposition([traceId('operation')],[a]);const turn=… 253| const foreign={...frame,id:'different-observation-frame'}; 254| expect(compileSemanticTurn(turn,{frame:foreign}).commands).toHaveL… | ^ 255| }); 256| it('control: valid request still reaches executor exactly once', asy… ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[8/10]⎯ Test Files 1 failed (1) Tests 10 failed | 1 passed (11) Start at 18:07:30 Duration 515ms (transform 175ms, setup 0ms, collect 210ms, tests 34ms, environment 0ms, prepare 53ms)