RUN v3.2.7 /tmp/circe-pr2-round3-evidence ✓ round3.test.ts > a late concurrent reconciliation cannot regress a terminal outcome 12ms ✓ round3.test.ts > interrupt during an invocation prevents the remaining pending effect from starting 3ms ✓ round3.test.ts > ambiguous clarification cannot complete a pending request into execution 3ms ✓ round2.test.ts > PR2 round 2 remaining contract paths > N1: per-proposition API also rejects a dependent whose prerequisite lacks evidence 26ms ✓ 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 3ms ✓ round2.test.ts > PR2 round 2 remaining contract paths > N4: independent target effects do not invalidate each other 18ms ✓ round2.test.ts > PR2 round 2 remaining contract paths > control: genuine argument read deps survive every target effect 16ms × ownership.test.ts > PR2 evidence-use coverage > O1: a ref used as target and argument remains a dependency of every consuming effect 35ms → expected [ 'A' ] to include 'B' × ownership.test.ts > PR2 evidence-use coverage > O2: a declared shared read guard survives an unrelated revision 10ms → C is a stale declared read dependency, even without a ref-valued argument: expected [ { …(7) } ] to have a length of +0 but got 1 × 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 28ms → B remains an argument dependency and its original version is stale: expected [ { …(7) } ] to have a length of +0 but got 1 ✓ pr2-previous.test.ts > PR2 independent required behavior > R1: non-executable 'query'/'inspect' never invokes 21ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R1: non-executable 'query'/'reference' never invokes 4ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R1: non-executable 'request'/'compose' never invokes 4ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R2: argument-only refs retain validation and frozen preconditions 15ms ✓ pr2-previous.test.ts > PR2 independent required behavior > R2b: a stale argument target blocks execution 15ms ✓ 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 4ms ✓ pr2-previous.test.ts > PR2 independent required behavior > control: valid request still reaches executor exactly once 4ms ✓ additional.test.ts > invalid revision during validation revokes the old authorization 9ms ✓ additional.test.ts > an ambiguous affirmative cannot authorize a pending effect 2ms ✓ additional.test.ts > completed command ids reject different content just like in-flight ids 2ms ✓ additional.test.ts > overlapping dispatch loops invoke each frozen effect only once 3ms ✓ additional.test.ts > semantic ingestion snapshots classifier output before awaiting validation 2ms ✓ additional.test.ts > a semantic turn cannot borrow versions from a different frame 20ms ✓ additional.test.ts > turn exclusions cover executable slot refs, not only proposition summary refs 17ms ✓ 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 ✓ previous.test.ts > deduplicates the same proposal while the first delivery is in flight 11ms ✓ previous.test.ts > a new confirm id cannot refreeze a transaction with a RUNNING effect 1ms ✓ 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 1ms ✓ 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 13ms ✓ previous.test.ts > an inspect/query proposition does not become an executable proposal 1ms ✓ previous.test.ts > ambiguous classification with a capability does not invoke through ingest 2ms ✓ previous.test.ts > oversized mandatory context is explicitly reported as over budget 100ms ✓ previous.test.ts > frames differing in coverage metadata have different exact-input hashes 3ms ✓ previous.test.ts > late publication cannot attach a stale neighborhood judgment to the latest generation 2ms ✓ previous.test.ts > an obligation event invalidates a judgment over prior knowledge 0ms ✓ 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 2ms ✓ previous.test.ts > clear-selection without refs clears the UI selection 1ms ⎯⎯⎯⎯⎯⎯⎯ Failed Tests 3 ⎯⎯⎯⎯⎯⎯⎯ FAIL ownership.test.ts > PR2 evidence-use coverage > O1: a ref used as target and argument remains a dependency of every consuming effect AssertionError: expected [ 'A' ] to include 'B' ❯ ownership.test.ts:225:60 223| const invokingA=r.invokes.find(req=>req.bindings.some((binding:any… 224| expect(invokingA.arguments.secondary.id).toBe('B'); 225| expect(invokingA.preconditions.map((p:any)=>p.ref.id)).toContain('… | ^ 226| }); 227| it('O2: a declared shared read guard survives an unrelated revision'… ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[1/3]⎯ FAIL ownership.test.ts > PR2 evidence-use coverage > O2: a declared shared read guard survives an unrelated revision AssertionError: C is a stale declared read dependency, even without a ref-valued argument: expected [ { …(7) } ] to have a length of +0 but got 1 - Expected + Received - 0 + 1 ❯ ownership.test.ts:233:99 231| await r.runtime.command({kind:'revise',commandId:'r',expectedInten… 232| await r.runtime.command({kind:'confirm',commandId:'c',intentRevisi… 233| expect(r.invokes,'C is a stale declared read dependency, even with… | ^ 234| }); 235| it('O3: moving a target out of a slot does not lose evidence while t… ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[2/3]⎯ FAIL 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 AssertionError: B remains an argument dependency and its original version is stale: expected [ { …(7) } ] to have a length of +0 but got 1 - Expected + Received - 0 + 1 ❯ ownership.test.ts:241:92 239| await r.runtime.command({kind:'revise',commandId:'r',expectedInten… 240| await r.runtime.command({kind:'confirm',commandId:'c',intentRevisi… 241| expect(r.invokes,'B remains an argument dependency and its origina… | ^ 242| }); 243| }); ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯[3/3]⎯ Test Files 1 failed | 5 passed (6) Tests 3 failed | 46 passed (49) Start at 22:41:11 Duration 1.16s (transform 1.15s, setup 0ms, collect 3.31s, tests 463ms, environment 2ms, prepare 800ms)