RUN v3.2.7 /tmp/circe-pr2-round5-evidence ✓ round3.test.ts > a late concurrent reconciliation cannot regress a terminal outcome 13ms ✓ round3.test.ts > interrupt during an invocation prevents the remaining pending effect from starting 2ms ✓ round3.test.ts > ambiguous clarification cannot complete a pending request into execution 2ms ✓ ownership.test.ts > PR2 evidence-use coverage > O1: a ref used as target and argument remains a dependency of every consuming effect 32ms ✓ ownership.test.ts > PR2 evidence-use coverage > O2: a declared shared read guard survives an unrelated revision 3ms ✓ ownership.test.ts > PR2 evidence-use coverage > O3: moving a target out of a slot does not lose evidence while the argument still uses it 2ms × identity.test.ts > Q1: semantic ingestion preserves the cancelled named anchor and cannot resurrect it 27ms → expected [ 'A' ] to not include 'A' × identity.test.ts > Q2: different named anchors remain distinct during whole-turn deduplication 13ms → expected [ 'intent:1' ] to deeply equal [ 'intent:1', 'intent:2' ] ✓ identity.test.ts > Q3 control: a named current continuation ignores unrelated completed revisions 2ms ✓ controls.test.ts > PR2 self-review controls > P1: a settled unrelated revision must not poison a fresh continuation 17ms ✓ controls.test.ts > PR2 self-review controls > P2: implicit targets do not change with semantic slot order 20ms ✓ controls.test.ts > PR2 self-review controls > P3: optional semantic arity does not prohibit a valid many-valued secondary slot 6ms ✓ controls.test.ts > control: a fresh continuation is accepted before any unrelated revision 1ms ✓ controls.test.ts > control: complete slot mechanics permit a secondary set 4ms ✓ round2.test.ts > PR2 round 2 remaining contract paths > N1: per-proposition API also rejects a dependent whose prerequisite lacks evidence 25ms ✓ round2.test.ts > PR2 round 2 remaining contract paths > N2: revised binding evidence is identical at validation and dispatch 9ms ✓ round2.test.ts > PR2 round 2 remaining contract paths > N3: retargeting removes obsolete slot read evidence 2ms ✓ round2.test.ts > PR2 round 2 remaining contract paths > N4: independent target effects do not invalidate each other 4ms ✓ round2.test.ts > PR2 round 2 remaining contract paths > control: genuine argument read deps survive every target effect 6ms ✓ additional.test.ts > invalid revision during validation revokes the old authorization 14ms ✓ additional.test.ts > an ambiguous affirmative cannot authorize a pending effect 3ms ✓ additional.test.ts > completed command ids reject different content just like in-flight ids 4ms ✓ additional.test.ts > overlapping dispatch loops invoke each frozen effect only once 3ms ✓ additional.test.ts > semantic ingestion snapshots classifier output before awaiting validation 1ms ✓ additional.test.ts > a semantic turn cannot borrow versions from a different frame 9ms ✓ additional.test.ts > turn exclusions cover executable slot refs, not only proposition summary refs 4ms ✓ additional.test.ts > synthesized batch receipts retain the idempotency key actually sent 4ms ✓ additional.test.ts > a late RUNNING acknowledgement cannot overwrite an observed terminal outcome 2ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R1: non-executable 'query'/'inspect' never invokes 24ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R1: non-executable 'query'/'reference' never invokes 3ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R1: non-executable 'request'/'compose' never invokes 3ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R2: argument-only refs retain validation and frozen preconditions 10ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R2b: a stale argument target blocks execution 4ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R3: rejected prerequisite blocks dependent proposition 3ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R4: out-of-range relation makes whole turn uncompilable 3ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R5: explicit index cannot bypass a prohibition on the selected proposition 2ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R6: malformed sibling exclusion cannot be dropped by per-proposition API 2ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R7: a matching frame hash cannot replace the turn frame identity 1ms ✓ pr2-previous.test.ts > PR2 independent required behavior > control: valid request still reaches executor exactly once 2ms ✓ previous.test.ts > deduplicates the same proposal while the first delivery is in flight 13ms ✓ previous.test.ts > a new confirm id cannot refreeze a transaction with a RUNNING effect 2ms ✓ previous.test.ts > a confirm for an absent transaction must not confirm a different live transaction 1ms ✓ previous.test.ts > a cancelled transaction cannot be resurrected by a revision addressed to its id 2ms ✓ previous.test.ts > caller mutation during validation cannot retarget frozen effects 1ms ✓ previous.test.ts > different runtimes do not reuse the same external idempotency key 2ms ✓ previous.test.ts > an explicitly supplied but non-covering evidence set cannot fall back to current snapshots 2ms ✓ previous.test.ts > semantic proposals retain the exact frame version rather than rebinding to a new world version 8ms ✓ previous.test.ts > an inspect/query proposition does not become an executable proposal 0ms ✓ previous.test.ts > ambiguous classification with a capability does not invoke through ingest 1ms ✓ previous.test.ts > oversized mandatory context is explicitly reported as over budget 70ms ✓ previous.test.ts > frames differing in coverage metadata have different exact-input hashes 4ms ✓ previous.test.ts > late publication cannot attach a stale neighborhood judgment to the latest generation 3ms ✓ previous.test.ts > an obligation event invalidates a judgment over prior knowledge 1ms ✓ previous.test.ts > a reused spec id rejected at a later stage cannot leave an earlier accepted value 3ms ✓ previous.test.ts > required arity-one slot validation also applies to revisions 1ms ✓ previous.test.ts > journal contains enough command identity to recognize replayed typed proposals 1ms ✓ previous.test.ts > clear-selection without refs clears the UI selection 1ms ⎯⎯⎯⎯⎯⎯⎯ Failed Tests 2 ⎯⎯⎯⎯⎯⎯⎯ FAIL identity.test.ts > Q1: semantic ingestion preserves the cancelled named anchor and cannot resurrect it AssertionError: expected [ 'A' ] to not include 'A' ❯ identity.test.ts:243:117 241| const semantic=await r.runtime.ingest({kind:'utterance',id:'semantic'… 242| await r.runtime.command({kind:'confirm',commandId:'confirm-semantic'}… 243| expect(r.invokes.flatMap(req=>req.bindings.flatMap((binding:any)=>bin… | ^ 244| expect(semantic.errors).toContain('STALE_INTENT'); 245| }); ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[1/2]⎯ FAIL identity.test.ts > Q2: different named anchors remain distinct during whole-turn deduplication AssertionError: expected [ 'intent:1' ] to deeply equal [ 'intent:1', 'intent:2' ] - Expected + Received [ "intent:1", - "intent:2", ] ❯ identity.test.ts:256:67 254| const turn=semanticTurnFromRun(run,[{...p,targetIntentId:old.intents[… 255| const compiled=compileSemanticTurn(turn,{frame}); 256| expect(compiled.commands.map(command=>command.expectedIntentId)).toEq… | ^ 257| const results=[];for(const command of compiled.commands)results.push(… 258| expect(results[0]!.errors).toContain('STALE_INTENT'); ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[2/2]⎯ Test Files 1 failed | 7 passed (8) Tests 2 failed | 55 passed (57) Start at 02:32:59 Duration 738ms (transform 445ms, setup 0ms, collect 2.20s, tests 427ms, environment 2ms, prepare 741ms)