create-principles-disciple 1.94.0 → 1.96.0

package/core/dist/runtime-v2/internalization/__tests__/diag-router-intent-tension.test.js

@@ -0,0 +1,333 @@
+/**
+ * DiagRouterRunner — PRI-468 Stage C intentTension additive passthrough tests.
+ *
+ * Verifies SPEC §18 requirements:
+ *   1. Stage A has intentTension → Stage C passes it through
+ *   2. Stage A has NO intentTension → Stage C does NOT generate one
+ *   3. Stage A has NO intentTension + LLM hallucinated one → Stage C strips it
+ *   4. Stage A has intentTension + LLM also produced one → Stage A wins (source of truth)
+ *
+ * ERR entries considered:
+ *   - EP-01 / ERR-001: context.rootCauseOutput is schema-validated before reaching here
+ *   - EP-01 / ERR-013: Object.hasOwn used for field presence check (not `in`)
+ *   - EP-02 / ERR-009: fail-loud on missing required fields via schema validation
+ *   - EP-03 / ERR-002: stripping hallucinated intentTension emits telemetry (observable)
+ */
+import { describe, it, expect, vi } from 'vitest';
+import { DiagRouterRunner } from '../diag-router-runner.js';
+import { MemoryPIArtifactStore } from '../pi-artifact-store.js';
+import { createPITaskDiagnosticJson } from '../pitask-metadata.js';
+import { MOCK_ROOT_CAUSE_OUTPUTS, MOCK_DISTILLER_OUTPUTS, MOCK_ROUTER_OUTPUTS } from './__fixtures__/split-pipeline-mock-outputs.js';
+// ── Test fixtures ────────────────────────────────────────────────────────────
+const ROUTER_TASK_ID = 'diag_router-001';
+const ROOTCAUSE_TASK_ID = 'diag_rootcause-001';
+const DISTILLER_TASK_ID = 'diag_distiller-001';
+const RUN_ID = 'run-router-001';
+const OWNER = 'test-router-intent-owner';
+const RUNTIME_KIND = 'test-double';
+const ROOTCAUSE_ARTIFACT_ID = 'pi-art-rc-001';
+const DISTILLER_ARTIFACT_ID = 'pi-art-dist-001';
+const VALID_INTENT_TENSION = {
+    source: 'action_drift',
+    evidenceStrength: 'moderate',
+    relatedIntentFields: ['current_strategic_focus', 'non_negotiables'],
+    evidence: [
+        'INTENT says current focus is validating the smallest Pain → Principle loop.',
+        'Agent designed a heavy dashboard.',
+        'Owner correction says the result increased review burden.',
+    ],
+    explanation: 'The work may be useful later, but it optimized presentation completeness before validating the current learning loop.',
+    suggestedOwnerAction: 'confirm_drift',
+    intentDocHash: 'sha256:abc123',
+};
+function makeRootCauseTask(overrides = {}) {
+    return {
+        taskId: ROOTCAUSE_TASK_ID,
+        taskKind: 'diag_rootcause',
+        status: 'succeeded',
+        attemptCount: 1,
+        maxAttempts: 3,
+        resultRef: 'diag-rootcause://run-rc-001',
+        createdAt: new Date().toISOString(),
+        updatedAt: new Date().toISOString(),
+        diagnosticJson: '{}',
+        ...overrides,
+    };
+}
+function makeDistillerTask(overrides = {}) {
+    return {
+        taskId: DISTILLER_TASK_ID,
+        taskKind: 'diag_distiller',
+        status: 'succeeded',
+        attemptCount: 1,
+        maxAttempts: 3,
+        resultRef: 'diag-distiller://run-dist-001',
+        createdAt: new Date().toISOString(),
+        updatedAt: new Date().toISOString(),
+        diagnosticJson: '{}',
+        ...overrides,
+    };
+}
+function makeRouterTask(overrides = {}) {
+    return {
+        taskId: ROUTER_TASK_ID,
+        taskKind: 'diag_router',
+        status: 'pending',
+        attemptCount: 0,
+        maxAttempts: 3,
+        createdAt: new Date().toISOString(),
+        updatedAt: new Date().toISOString(),
+        diagnosticJson: createPITaskDiagnosticJson({
+            dependencyTaskIds: [ROOTCAUSE_TASK_ID, DISTILLER_TASK_ID],
+            channel: 'prompt',
+            timeoutMs: 300_000,
+            inputArtifactRefs: [],
+            outputArtifactRefs: [],
+        }),
+        ...overrides,
+    };
+}
+function makeRootCauseOutput(intentTension) {
+    const base = {
+        ...MOCK_ROOT_CAUSE_OUTPUTS.R6,
+        diagnosisId: 'diag-001',
+        taskId: ROOTCAUSE_TASK_ID,
+    };
+    return intentTension ? { ...base, intentTension } : base;
+}
+function makeDistillerOutput() {
+    return {
+        ...MOCK_DISTILLER_OUTPUTS.R6,
+        taskId: DISTILLER_TASK_ID,
+        sourceRootCauseArtifactId: ROOTCAUSE_ARTIFACT_ID,
+    };
+}
+function makeRouterOutput(intentTension) {
+    const base = {
+        ...MOCK_ROUTER_OUTPUTS.R6,
+        diagnosisId: 'diag-001',
+    };
+    if (intentTension !== undefined) {
+        return { ...base, intentTension: intentTension };
+    }
+    return base;
+}
+/** Pre-populate a MemoryPIArtifactStore with both predecessor artifacts. */
+function populatePredecessorArtifacts(store, rootCauseOutput) {
+    store.upsertArtifact({
+        artifactId: ROOTCAUSE_ARTIFACT_ID,
+        artifactKind: 'principle',
+        sourceTaskId: ROOTCAUSE_TASK_ID,
+        lineageArtifactIds: [],
+        validationStatus: 'pending',
+        contentJson: JSON.stringify(rootCauseOutput),
+        createdAt: new Date().toISOString(),
+        updatedAt: new Date().toISOString(),
+    });
+    store.upsertArtifact({
+        artifactId: DISTILLER_ARTIFACT_ID,
+        artifactKind: 'principle',
+        sourceTaskId: DISTILLER_TASK_ID,
+        lineageArtifactIds: [ROOTCAUSE_ARTIFACT_ID],
+        validationStatus: 'pending',
+        contentJson: JSON.stringify(makeDistillerOutput()),
+        createdAt: new Date().toISOString(),
+        updatedAt: new Date().toISOString(),
+    });
+}
+// ── Mock factory ─────────────────────────────────────────────────────────────
+function createMockDeps(rootCauseOutput, routerOutput, overrides = {}) {
+    const taskRecord = makeRouterTask();
+    const _stateManager = {
+        acquireLease: vi.fn().mockResolvedValue(taskRecord),
+        getTask: vi.fn().mockImplementation((id) => {
+            if (id === ROUTER_TASK_ID)
+                return Promise.resolve(taskRecord);
+            if (id === ROOTCAUSE_TASK_ID)
+                return Promise.resolve(makeRootCauseTask());
+            if (id === DISTILLER_TASK_ID)
+                return Promise.resolve(makeDistillerTask());
+            return Promise.resolve(undefined);
+        }),
+        getRunsByTask: vi.fn().mockResolvedValue([{ runId: RUN_ID, taskId: ROUTER_TASK_ID }]),
+        getValidRunsByTaskTolerant: vi.fn().mockResolvedValue({
+            runs: [{ runId: RUN_ID, taskId: ROUTER_TASK_ID }],
+            degradedRuns: [],
+        }),
+        updateRunOutput: vi.fn().mockResolvedValue(undefined),
+        markTaskSucceeded: vi.fn().mockResolvedValue(undefined),
+        markTaskFailed: vi.fn().mockResolvedValue(undefined),
+        markTaskRetryWait: vi.fn().mockResolvedValue(undefined),
+        getRetryPolicy: vi.fn().mockReturnValue({ shouldRetry: () => false }),
+    };
+    const runHandle = { runId: RUN_ID, runtimeKind: RUNTIME_KIND, startedAt: new Date().toISOString() };
+    const succeededStatus = { status: 'succeeded', runId: RUN_ID };
+    const _runtimeAdapter = {
+        kind: vi.fn().mockReturnValue(RUNTIME_KIND),
+        getCapabilities: vi.fn(),
+        healthCheck: vi.fn(),
+        startRun: vi.fn().mockResolvedValue(runHandle),
+        pollRun: vi.fn().mockResolvedValue(succeededStatus),
+        fetchOutput: vi.fn().mockResolvedValue({ payload: routerOutput }),
+        cancelRun: vi.fn().mockResolvedValue(undefined),
+        fetchArtifacts: vi.fn(),
+    };
+    const commitResult = {
+        commitId: 'commit-001',
+        artifactId: 'art-001',
+        candidateCount: 1,
+    };
+    const _committer = {
+        commit: vi.fn().mockResolvedValue(commitResult),
+    };
+    const _eventEmitter = {
+        emitTelemetry: vi.fn(),
+        on: vi.fn(),
+        emit: vi.fn(),
+    };
+    const artifactStore = new MemoryPIArtifactStore();
+    populatePredecessorArtifacts(artifactStore, rootCauseOutput);
+    return {
+        stateManager: _stateManager,
+        runtimeAdapter: _runtimeAdapter,
+        eventEmitter: _eventEmitter,
+        artifactStore,
+        committer: _committer,
+        _stateManager,
+        _runtimeAdapter,
+        _committer,
+        _eventEmitter,
+        ...overrides,
+    };
+}
+function telemetryEventType(call) {
+    const event = call[0];
+    return event?.eventType;
+}
+function telemetryPayload(call) {
+    const event = call[0];
+    return event?.payload;
+}
+// ── Tests ────────────────────────────────────────────────────────────────────
+describe('DiagRouterRunner — PRI-468 Stage C intentTension passthrough', () => {
+    it('Stage A has intentTension → Stage C passes it through', async () => {
+        const rootCause = makeRootCauseOutput(VALID_INTENT_TENSION);
+        const routerOut = makeRouterOutput(); // LLM did NOT produce intentTension
+        const deps = createMockDeps(rootCause, routerOut);
+        const runner = new DiagRouterRunner(deps, {
+            owner: OWNER,
+            runtimeKind: RUNTIME_KIND,
+            pollIntervalMs: 10,
+            timeoutMs: 1000,
+        });
+        const result = await runner.run(ROUTER_TASK_ID);
+        expect(result.status).toBe('succeeded');
+        // Verify the committed output has intentTension from Stage A
+        const commitMock = deps._committer.commit;
+        if (!commitMock)
+            throw new Error('commit mock not configured');
+        const [commitCall] = commitMock.mock.calls;
+        const committedOutput = commitCall?.[0]?.output;
+        expect(committedOutput.intentTension).toBeDefined();
+        expect(committedOutput.intentTension).toEqual(VALID_INTENT_TENSION);
+    });
+    it('Stage A has NO intentTension → Stage C does NOT generate one', async () => {
+        const rootCause = makeRootCauseOutput(); // No intentTension
+        const routerOut = makeRouterOutput(); // LLM also did not produce one
+        const deps = createMockDeps(rootCause, routerOut);
+        const runner = new DiagRouterRunner(deps, {
+            owner: OWNER,
+            runtimeKind: RUNTIME_KIND,
+            pollIntervalMs: 10,
+            timeoutMs: 1000,
+        });
+        const result = await runner.run(ROUTER_TASK_ID);
+        expect(result.status).toBe('succeeded');
+        // Verify the committed output does NOT have intentTension
+        const commitMock = deps._committer.commit;
+        if (!commitMock)
+            throw new Error('commit mock not configured');
+        const [commitCall] = commitMock.mock.calls;
+        const committedOutput = commitCall?.[0]?.output;
+        expect(committedOutput.intentTension).toBeUndefined();
+    });
+    it('Stage A has NO intentTension + LLM hallucinated one → Stage C strips it with telemetry', async () => {
+        const rootCause = makeRootCauseOutput(); // No intentTension
+        // LLM hallucinated an intentTension
+        const hallucinatedTension = {
+            source: 'healthy_tension',
+            evidenceStrength: 'weak',
+            relatedIntentFields: ['why'],
+            evidence: ['fake evidence'],
+            explanation: 'hallucinated',
+            suggestedOwnerAction: 'dismiss',
+        };
+        const routerOut = makeRouterOutput(hallucinatedTension);
+        const deps = createMockDeps(rootCause, routerOut);
+        const runner = new DiagRouterRunner(deps, {
+            owner: OWNER,
+            runtimeKind: RUNTIME_KIND,
+            pollIntervalMs: 10,
+            timeoutMs: 1000,
+        });
+        const result = await runner.run(ROUTER_TASK_ID);
+        expect(result.status).toBe('succeeded');
+        // Verify the committed output does NOT have intentTension (stripped)
+        const commitMock = deps._committer.commit;
+        if (!commitMock)
+            throw new Error('commit mock not configured');
+        const [commitCall] = commitMock.mock.calls;
+        const committedOutput = commitCall?.[0]?.output;
+        expect(committedOutput.intentTension).toBeUndefined();
+        // Verify telemetry was emitted for the strip (EP-03 / ERR-002: observable)
+        const telemetryCalls = deps._eventEmitter.emitTelemetry.mock.calls.filter((call) => telemetryEventType(call) === 'diag_router_invariant_override');
+        const intentTensionCall = telemetryCalls.find((call) => telemetryPayload(call)?.field === 'intentTension');
+        expect(intentTensionCall).toBeDefined();
+        if (!intentTensionCall)
+            return; // type narrowing after assertion
+        const payload = telemetryPayload(intentTensionCall);
+        expect(payload?.field).toBe('intentTension');
+        expect(payload?.reason).toContain('stripped');
+    });
+    it('Stage A has intentTension + LLM also produced one → Stage A wins (source of truth)', async () => {
+        const rootCause = makeRootCauseOutput(VALID_INTENT_TENSION);
+        // LLM produced a DIFFERENT intentTension
+        const llmTension = {
+            source: 'none',
+            evidenceStrength: 'weak',
+            relatedIntentFields: ['why'],
+            evidence: ['llm evidence'],
+            explanation: 'llm explanation',
+            suggestedOwnerAction: 'observe',
+        };
+        const routerOut = makeRouterOutput(llmTension);
+        const deps = createMockDeps(rootCause, routerOut);
+        const runner = new DiagRouterRunner(deps, {
+            owner: OWNER,
+            runtimeKind: RUNTIME_KIND,
+            pollIntervalMs: 10,
+            timeoutMs: 1000,
+        });
+        const result = await runner.run(ROUTER_TASK_ID);
+        expect(result.status).toBe('succeeded');
+        // Verify the committed output has Stage A's intentTension (not LLM's)
+        const commitMock = deps._committer.commit;
+        if (!commitMock)
+            throw new Error('commit mock not configured');
+        const [commitCall] = commitMock.mock.calls;
+        const committedOutput = commitCall?.[0]?.output;
+        expect(committedOutput.intentTension).toEqual(VALID_INTENT_TENSION);
+        expect(committedOutput.intentTension).not.toEqual(llmTension);
+        // Verify telemetry was emitted for the override (filter to intentTension field —
+        // `evidence` is always overridden in postFetchTransform, so find() would match it first)
+        const telemetryCalls = deps._eventEmitter.emitTelemetry.mock.calls.filter((call) => telemetryEventType(call) === 'diag_router_invariant_override');
+        const intentTensionCall = telemetryCalls.find((call) => telemetryPayload(call)?.field === 'intentTension');
+        expect(intentTensionCall).toBeDefined();
+        if (!intentTensionCall)
+            return; // type narrowing after assertion
+        const payload = telemetryPayload(intentTensionCall);
+        expect(payload?.field).toBe('intentTension');
+        expect(payload?.reason).toContain('overridden');
+    });
+});
+//# sourceMappingURL=diag-router-intent-tension.test.js.map

package/core/dist/runtime-v2/internalization/__tests__/diag-router-intent-tension.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diag-router-intent-tension.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/diag-router-intent-tension.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAS5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AAErI,gFAAgF;AAEhF,MAAM,cAAc,GAAG,iBAAiB,CAAC;AACzC,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AAC/C,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AAC/C,MAAM,MAAM,GAAG,gBAAgB,CAAC;AAChC,MAAM,KAAK,GAAG,0BAA0B,CAAC;AACzC,MAAM,YAAY,GAAG,aAAa,CAAC;AACnC,MAAM,qBAAqB,GAAG,eAAe,CAAC;AAC9C,MAAM,qBAAqB,GAAG,iBAAiB,CAAC;AAEhD,MAAM,oBAAoB,GAAkB;IAC1C,MAAM,EAAE,cAAc;IACtB,gBAAgB,EAAE,UAAU;IAC5B,mBAAmB,EAAE,CAAC,yBAAyB,EAAE,iBAAiB,CAAC;IACnE,QAAQ,EAAE;QACR,6EAA6E;QAC7E,mCAAmC;QACnC,2DAA2D;KAC5D;IACD,WAAW,EACT,uHAAuH;IACzH,oBAAoB,EAAE,eAAe;IACrC,aAAa,EAAE,eAAe;CAC/B,CAAC;AAEF,SAAS,iBAAiB,CAAC,YAAiC,EAAE;IAC5D,OAAO;QACL,MAAM,EAAE,iBAAiB;QACzB,QAAQ,EAAE,gBAAgB;QAC1B,MAAM,EAAE,WAAW;QACnB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,6BAA6B;QACxC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,cAAc,EAAE,IAAI;QACpB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,YAAiC,EAAE;IAC5D,OAAO;QACL,MAAM,EAAE,iBAAiB;QACzB,QAAQ,EAAE,gBAAgB;QAC1B,MAAM,EAAE,WAAW;QACnB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,+BAA+B;QAC1C,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,cAAc,EAAE,IAAI;QACpB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,YAAiC,EAAE;IACzD,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,cAAc,EAAE,0BAA0B,CAAC;YACzC,iBAAiB,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;YACzD,OAAO,EAAE,QAAQ;YACjB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,EAAE;YACrB,kBAAkB,EAAE,EAAE;SACvB,CAAC;QACF,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,aAA6B;IACxD,MAAM,IAAI,GAAG;QACX,GAAG,uBAAuB,CAAC,EAAE;QAC7B,WAAW,EAAE,UAAU;QACvB,MAAM,EAAE,iBAAiB;KAC1B,CAAC;IACF,OAAO,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED,SAAS,mBAAmB;IAC1B,OAAO;QACL,GAAG,sBAAsB,CAAC,EAAE;QAC5B,MAAM,EAAE,iBAAiB;QACzB,yBAAyB,EAAE,qBAAqB;KACjD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,aAAuB;IAC/C,MAAM,IAAI,GAA0B;QAClC,GAAG,mBAAmB,CAAC,EAAE;QACzB,WAAW,EAAE,UAAU;KACxB,CAAC;IACF,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,aAA8B,EAAE,CAAC;IACpE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAC5E,SAAS,4BAA4B,CAAC,KAA4B,EAAE,eAAsC;IACxG,KAAK,CAAC,cAAc,CAAC;QACnB,UAAU,EAAE,qBAAqB;QACjC,YAAY,EAAE,WAAW;QACzB,YAAY,EAAE,iBAAiB;QAC/B,kBAAkB,EAAE,EAAE;QACtB,gBAAgB,EAAE,SAAS;QAC3B,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC;QAC5C,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC,CAAC;IACH,KAAK,CAAC,cAAc,CAAC;QACnB,UAAU,EAAE,qBAAqB;QACjC,YAAY,EAAE,WAAW;QACzB,YAAY,EAAE,iBAAiB;QAC/B,kBAAkB,EAAE,CAAC,qBAAqB,CAAC;QAC3C,gBAAgB,EAAE,SAAS;QAC3B,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC;QAClD,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC,CAAC;AACL,CAAC;AAED,gFAAgF;AAEhF,SAAS,cAAc,CACrB,eAAsC,EACtC,YAAmC,EACnC,YAA2C,EAAE;IAO7C,MAAM,UAAU,GAAG,cAAc,EAAE,CAAC;IAEpC,MAAM,aAAa,GAAG;QACpB,YAAY,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC;QACnD,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAU,EAAE,EAAE;YACjD,IAAI,EAAE,KAAK,cAAc;gBAAE,OAAO,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC9D,IAAI,EAAE,KAAK,iBAAiB;gBAAE,OAAO,OAAO,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;YAC1E,IAAI,EAAE,KAAK,iBAAiB;gBAAE,OAAO,OAAO,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;YAC1E,OAAO,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACpC,CAAC,CAAC;QACF,aAAa,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;QACrF,0BAA0B,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC;YACpD,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;YACjD,YAAY,EAAE,EAAE;SACjB,CAAC;QACF,eAAe,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACrD,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACvD,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACpD,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACvD,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;KACtE,CAAC;IAEF,MAAM,SAAS,GAAc,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;IAC/G,MAAM,eAAe,GAAc,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAE1E,MAAM,eAAe,GAAG;QACtB,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,YAAY,CAAC;QAC3C,eAAe,EAAE,EAAE,CAAC,EAAE,EAAE;QACxB,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE;QACpB,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAC9C,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,eAAe,CAAC;QACnD,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;QACjE,SAAS,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAC/C,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE;KACxB,CAAC;IAEF,MAAM,YAAY,GAAiB;QACjC,QAAQ,EAAE,YAAY;QACtB,UAAU,EAAE,SAAS;QACrB,cAAc,EAAE,CAAC;KAClB,CAAC;IAEF,MAAM,UAAU,GAAG;QACjB,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC;KAChD,CAAC;IAEF,MAAM,aAAa,GAAG;QACpB,aAAa,EAAE,EAAE,CAAC,EAAE,EAAE;QACtB,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE;QACX,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE;KACd,CAAC;IAEF,MAAM,aAAa,GAAG,IAAI,qBAAqB,EAAE,CAAC;IAClD,4BAA4B,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IAE7D,OAAO;QACL,YAAY,EAAE,aAA+C;QAC7D,cAAc,EAAE,eAAe;QAC/B,YAAY,EAAE,aAA6C;QAC3D,aAAa;QACb,SAAS,EAAE,UAAU;QACrB,aAAa;QACb,eAAe;QACf,UAAU;QACV,aAAa;QACb,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAOD,SAAS,kBAAkB,CAAC,IAAwB;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAiC,CAAC;IACtD,OAAO,KAAK,EAAE,SAAS,CAAC;AAC1B,CAAC;AACD,SAAS,gBAAgB,CAAC,IAAwB;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAiC,CAAC;IACtD,OAAO,KAAK,EAAE,OAAO,CAAC;AACxB,CAAC;AAED,gFAAgF;AAEhF,QAAQ,CAAC,8DAA8D,EAAE,GAAG,EAAE;IAC5E,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,SAAS,GAAG,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,gBAAgB,EAAE,CAAC,CAAC,oCAAoC;QAC1E,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAElD,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE;YACxC,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,YAAY;YACzB,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAEhD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExC,6DAA6D;QAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAC/D,MAAM,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3C,MAAM,eAAe,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,MAA+B,CAAC;QACzE,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACpD,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,SAAS,GAAG,mBAAmB,EAAE,CAAC,CAAC,mBAAmB;QAC5D,MAAM,SAAS,GAAG,gBAAgB,EAAE,CAAC,CAAC,+BAA+B;QACrE,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAElD,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE;YACxC,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,YAAY;YACzB,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAEhD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExC,0DAA0D;QAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAC/D,MAAM,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3C,MAAM,eAAe,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,MAA+B,CAAC;QACzE,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,aAAa,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,KAAK,IAAI,EAAE;QACtG,MAAM,SAAS,GAAG,mBAAmB,EAAE,CAAC,CAAC,mBAAmB;QAC5D,oCAAoC;QACpC,MAAM,mBAAmB,GAAkB;YACzC,MAAM,EAAE,iBAAiB;YACzB,gBAAgB,EAAE,MAAM;YACxB,mBAAmB,EAAE,CAAC,KAAK,CAAC;YAC5B,QAAQ,EAAE,CAAC,eAAe,CAAC;YAC3B,WAAW,EAAE,cAAc;YAC3B,oBAAoB,EAAE,SAAS;SAChC,CAAC;QACF,MAAM,SAAS,GAAG,gBAAgB,CAAC,mBAAmB,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAElD,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE;YACxC,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,YAAY;YACzB,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAEhD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExC,qEAAqE;QACrE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAC/D,MAAM,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3C,MAAM,eAAe,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,MAA+B,CAAC;QACzE,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,aAAa,EAAE,CAAC;QAEtD,2EAA2E;QAC3E,MAAM,cAAc,GAAG,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CACvE,CAAC,IAAwB,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,gCAAgC,CAC5F,CAAC;QACF,MAAM,iBAAiB,GAAG,cAAc,CAAC,IAAI,CAC3C,CAAC,IAAwB,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,eAAe,CAChF,CAAC;QACF,MAAM,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,IAAI,CAAC,iBAAiB;YAAE,OAAO,CAAC,iCAAiC;QACjE,MAAM,OAAO,GAAG,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;QACpD,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,KAAK,IAAI,EAAE;QAClG,MAAM,SAAS,GAAG,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;QAC5D,yCAAyC;QACzC,MAAM,UAAU,GAAkB;YAChC,MAAM,EAAE,MAAM;YACd,gBAAgB,EAAE,MAAM;YACxB,mBAAmB,EAAE,CAAC,KAAK,CAAC;YAC5B,QAAQ,EAAE,CAAC,cAAc,CAAC;YAC1B,WAAW,EAAE,iBAAiB;YAC9B,oBAAoB,EAAE,SAAS;SAChC,CAAC;QACF,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAElD,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,EAAE;YACxC,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,YAAY;YACzB,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAEhD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExC,sEAAsE;QACtE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QAC1C,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAC/D,MAAM,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QAC3C,MAAM,eAAe,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,MAA+B,CAAC;QACzE,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QACpE,MAAM,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAE9D,iFAAiF;QACjF,yFAAyF;QACzF,MAAM,cAAc,GAAG,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CACvE,CAAC,IAAwB,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,gCAAgC,CAC5F,CAAC;QACF,MAAM,iBAAiB,GAAG,cAAc,CAAC,IAAI,CAC3C,CAAC,IAAwB,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,eAAe,CAChF,CAAC;QACF,MAAM,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,IAAI,CAAC,iBAAiB;YAAE,OAAO,CAAC,iCAAiC;QACjE,MAAM,OAAO,GAAG,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;QACpD,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/core/dist/runtime-v2/internalization/__tests__/intent-tension-cases.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=intent-tension-cases.test.d.ts.map

package/core/dist/runtime-v2/internalization/__tests__/intent-tension-cases.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent-tension-cases.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/intent-tension-cases.test.ts"],"names":[],"mappings":""}

package/core/dist/runtime-v2/internalization/__tests__/intent-tension-cases.test.js

@@ -0,0 +1,113 @@
+/**
+ * A/B Evaluation Cases fixtures test (SPEC §23.5–§23.8).
+ *
+ * Validates the offline evaluation dataset:
+ *   - 10 total cases (4 positive + 4 negative + 2 intent_suspect)
+ *   - Positive cases: source ∈ {action_drift, healthy_tension}, strength ≥ moderate
+ *   - Negative cases: no intentTension expected (null)
+ *   - intent_suspect cases: source = intent_suspect, action = revise_intent
+ *   - All expected intentTension values pass the IntentTensionSchema
+ *   - No case carries a `confidence` field (SPEC §16.3)
+ *
+ * ERR entries considered:
+ *   - EP-01 / ERR-001: fixtures validated against TypeBox schema at runtime
+ *   - EP-02 / ERR-009: composition counts asserted fail-loud
+ *   - EP-03 / ERR-002: negative cases explicitly assert null (no silent skip)
+ */
+import { describe, it, expect } from 'vitest';
+import { Value } from '@sinclair/typebox/value';
+import { IntentTensionSchema } from '../../diagnostician/diag-rootcause-output.js';
+import { INTENT_TENSION_CASES, INTENT_TENSION_CASE_COUNTS, } from './__fixtures__/intent-tension-cases.js';
+describe('IntentTension A/B evaluation cases (SPEC §23.5)', () => {
+    it('has the required composition: 4 positive + 4 negative + 2 intent_suspect = 10', () => {
+        expect(INTENT_TENSION_CASE_COUNTS.total).toBe(10);
+        expect(INTENT_TENSION_CASE_COUNTS.positive).toBe(4);
+        expect(INTENT_TENSION_CASE_COUNTS.negative).toBe(4);
+        expect(INTENT_TENSION_CASE_COUNTS.intent_suspect).toBe(2);
+    });
+    it('every case id is unique', () => {
+        const ids = INTENT_TENSION_CASES.map((c) => c.id);
+        expect(new Set(ids).size).toBe(ids.length);
+    });
+    it('every flag-off diagnosis has intentTension === undefined (SPEC §3: no new output when flag off)', () => {
+        for (const c of INTENT_TENSION_CASES) {
+            expect(c.flagOffDiagnosis.intentTension).toBeUndefined();
+        }
+    });
+    describe('positive cases (§23.6)', () => {
+        const positives = INTENT_TENSION_CASES.filter((c) => c.category === 'positive');
+        it('all have expected intentTension (not null)', () => {
+            for (const c of positives) {
+                expect(c.flagOnExpectedIntentTension, `case ${c.id}`).not.toBeNull();
+            }
+        });
+        it('source is action_drift or healthy_tension', () => {
+            for (const c of positives) {
+                const src = c.flagOnExpectedIntentTension?.source;
+                expect(src, `case ${c.id}`).toMatch(/^(action_drift|healthy_tension)$/);
+            }
+        });
+        it('evidenceStrength is at least moderate', () => {
+            for (const c of positives) {
+                const strength = c.flagOnExpectedIntentTension?.evidenceStrength;
+                expect(strength, `case ${c.id}`).toMatch(/^(moderate|strong)$/);
+            }
+        });
+        it('all expected intentTension values pass IntentTensionSchema', () => {
+            for (const c of positives) {
+                const tension = c.flagOnExpectedIntentTension;
+                expect(tension, `case ${c.id}`).toBeDefined();
+                if (!tension)
+                    continue; // type narrowing after assertion
+                expect(Value.Check(IntentTensionSchema, tension), `case ${c.id}`).toBe(true);
+            }
+        });
+    });
+    describe('negative cases (§23.7)', () => {
+        const negatives = INTENT_TENSION_CASES.filter((c) => c.category === 'negative');
+        it('all expect NO intentTension even with flag on (null)', () => {
+            for (const c of negatives) {
+                expect(c.flagOnExpectedIntentTension, `case ${c.id}`).toBeNull();
+            }
+        });
+    });
+    describe('intent_suspect cases (§23.8)', () => {
+        const suspects = INTENT_TENSION_CASES.filter((c) => c.category === 'intent_suspect');
+        it('all have source = intent_suspect', () => {
+            for (const c of suspects) {
+                expect(c.flagOnExpectedIntentTension?.source, `case ${c.id}`).toBe('intent_suspect');
+            }
+        });
+        it('all suggest revise_intent', () => {
+            for (const c of suspects) {
+                expect(c.flagOnExpectedIntentTension?.suggestedOwnerAction, `case ${c.id}`).toBe('revise_intent');
+            }
+        });
+        it('all expected intentTension values pass IntentTensionSchema', () => {
+            for (const c of suspects) {
+                const tension = c.flagOnExpectedIntentTension;
+                expect(tension, `case ${c.id}`).toBeDefined();
+                if (!tension)
+                    continue; // type narrowing after assertion
+                expect(Value.Check(IntentTensionSchema, tension), `case ${c.id}`).toBe(true);
+            }
+        });
+    });
+    it('no expected intentTension carries a `confidence` field (SPEC §16.3)', () => {
+        for (const c of INTENT_TENSION_CASES) {
+            const tension = c.flagOnExpectedIntentTension;
+            if (tension === null)
+                continue;
+            expect(Object.hasOwn(tension, 'confidence'), `case ${c.id} must not carry confidence`).toBe(false);
+        }
+    });
+    it('all non-null expected intentTension values pass the schema (cross-cut)', () => {
+        for (const c of INTENT_TENSION_CASES) {
+            const tension = c.flagOnExpectedIntentTension;
+            if (tension === null)
+                continue;
+            expect(Value.Check(IntentTensionSchema, tension), `case ${c.id}`).toBe(true);
+        }
+    });
+});
+//# sourceMappingURL=intent-tension-cases.test.js.map

package/core/dist/runtime-v2/internalization/__tests__/intent-tension-cases.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent-tension-cases.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/intent-tension-cases.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;AACnF,OAAO,EACL,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,wCAAwC,CAAC;AAEhD,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,0BAA0B,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,GAAG,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,KAAK,MAAM,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACrC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,aAAa,EAAE,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,MAAM,SAAS,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;QAChF,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,MAAM,CAAC,CAAC,CAAC,2BAA2B,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACvE,CAAC;QACH,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,2BAA2B,EAAE,MAAM,CAAC;gBAClD,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,MAAM,QAAQ,GAAG,CAAC,CAAC,2BAA2B,EAAE,gBAAgB,CAAC;gBACjE,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;YAClE,CAAC;QACH,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,MAAM,OAAO,GAAG,CAAC,CAAC,2BAA2B,CAAC;gBAC9C,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC9C,IAAI,CAAC,OAAO;oBAAE,SAAS,CAAC,iCAAiC;gBACzD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,MAAM,SAAS,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;QAChF,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,MAAM,CAAC,CAAC,CAAC,2BAA2B,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;YACnE,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,gBAAgB,CAAC,CAAC;QACrF,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,CAAC,CAAC,CAAC,2BAA2B,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACvF,CAAC;QACH,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,CAAC,CAAC,CAAC,2BAA2B,EAAE,oBAAoB,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACpG,CAAC;QACH,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,OAAO,GAAG,CAAC,CAAC,2BAA2B,CAAC;gBAC9C,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC9C,IAAI,CAAC,OAAO;oBAAE,SAAS,CAAC,iCAAiC;gBACzD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,KAAK,MAAM,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,CAAC,CAAC,2BAA2B,CAAC;YAC9C,IAAI,OAAO,KAAK,IAAI;gBAAE,SAAS;YAC/B,MAAM,CACJ,MAAM,CAAC,MAAM,CAAC,OAA4B,EAAE,YAAY,CAAC,EACzD,QAAQ,CAAC,CAAC,EAAE,4BAA4B,CACzC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,KAAK,MAAM,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,CAAC,CAAC,2BAA2B,CAAC;YAC9C,IAAI,OAAO,KAAK,IAAI;gBAAE,SAAS;YAC/B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/core/dist/runtime-v2/internalization/__tests__/refiner-sandbox-wrapper.test.js

@@ -760,4 +760,139 @@ describe('evaluateInRefinerSandbox', () => {
         expect(result.failedCases).toEqual([]);
     });
 });
+// ── PRI-481 Phase 2: ruleContext reaches the rule during replay (ERR-024) ────
+describe('PRI-481 Phase 2 — ruleContext reaches VM during replay (ERR-024)', () => {
+    const contextWithOneRead = {
+        version: 2,
+        history: {
+            status: 'available',
+            truncated: false,
+            calls: [
+                {
+                    sequenceId: 1,
+                    toolName: 'read',
+                    canonicalKind: 'read',
+                    normalizedPath: 'src/a.ts',
+                    paramsSummary: {},
+                    outcome: 'success',
+                },
+            ],
+        },
+        facts: {
+            priorReadOfTarget: 'yes',
+            readCount: 1,
+            writeCount: 0,
+            uniqueWritePathCount: 0,
+            sameActionBlockCount: 0,
+        },
+    };
+    // A rule that genuinely reads input.context — NOT a helper test. It blocks
+    // when history shows prior reads, allows otherwise. Proving the rule's
+    // decision flips based on context proves context actually arrived.
+    const contextReadingRule = (input) => {
+        const calls = input.context?.history?.calls;
+        if (Array.isArray(calls) && calls.length > 0) {
+            return { decision: 'block', matched: true, reason: 'history shows prior reads' };
+        }
+        return { decision: 'allow', matched: false, reason: 'no context or no reads' };
+    };
+    it('replay delivers input.context to the rule when case carries ruleContext', () => {
+        const trace = {
+            traceId: 'trace-ctx',
+            createdAt: '2026-06-28T00:00:00.000Z',
+            version: 1,
+            cases: [
+                {
+                    caseId: 'neg-with-ctx',
+                    kind: 'negative',
+                    toolName: 'write_file',
+                    params: { path: 'src/a.ts', content: 'x' },
+                    expectedDecision: 'block',
+                    ruleContext: contextWithOneRead,
+                },
+                {
+                    caseId: 'pos-with-ctx',
+                    kind: 'positive',
+                    toolName: 'write_file',
+                    params: { path: 'src/other.ts', content: 'y' },
+                    expectedDecision: 'allow',
+                    ruleContext: contextWithOneRead,
+                },
+            ],
+        };
+        // Positive case expects allow but the rule blocks because context arrives
+        // with prior reads — this FAILS the positive case, which is the proof that
+        // context reached the rule (otherwise the rule would allow it).
+        const result = evaluateInRefinerSandbox('reads-context', trace, {
+            evaluateCode: contextReadingRule,
+        });
+        expect(result.success).toBe(false);
+        expect(result.failedCases.some((c) => c.caseId === 'pos-with-ctx')).toBe(true);
+    });
+    it('v1 case without ruleContext — input.context is undefined, rule allows (zero behavior change)', () => {
+        const trace = {
+            traceId: 'trace-v1',
+            createdAt: '2026-06-28T00:00:00.000Z',
+            version: 1,
+            cases: [
+                {
+                    caseId: 'neg-v1',
+                    kind: 'negative',
+                    toolName: 'write_file',
+                    params: { path: '/etc/passwd', content: 'hacked' },
+                    expectedDecision: 'block',
+                },
+                {
+                    caseId: 'pos-v1',
+                    kind: 'positive',
+                    toolName: 'write_file',
+                    params: { path: '/safe.txt', content: 'ok' },
+                    expectedDecision: 'allow',
+                },
+            ],
+        };
+        // The same context-reading rule, but with no context it falls to allow.
+        // Negative case expects block → fails; positive case expects allow → passes.
+        // This proves v1 cases have input.context === undefined.
+        const result = evaluateInRefinerSandbox('reads-context', trace, {
+            evaluateCode: contextReadingRule,
+        });
+        expect(result.success).toBe(false);
+        expect(result.failedCases.some((c) => c.caseId === 'neg-v1')).toBe(true);
+        expect(result.failedCases.some((c) => c.caseId === 'pos-v1')).toBe(false);
+    });
+    it('a rule keyed on context passes ALL cases when expectations align with context', () => {
+        // Definitive positive proof: both cases expect block, context carries reads,
+        // the rule blocks both → success=true. If context did NOT arrive, the rule
+        // would allow both and both negative cases would fail.
+        const trace = {
+            traceId: 'trace-ctx-aligned',
+            createdAt: '2026-06-28T00:00:00.000Z',
+            version: 1,
+            cases: [
+                {
+                    caseId: 'neg-ctx-a',
+                    kind: 'negative',
+                    toolName: 'write_file',
+                    params: { path: 'src/a.ts', content: 'x' },
+                    expectedDecision: 'block',
+                    ruleContext: contextWithOneRead,
+                },
+                {
+                    caseId: 'neg-ctx-b',
+                    kind: 'negative',
+                    toolName: 'write_file',
+                    params: { path: 'src/b.ts', content: 'z' },
+                    expectedDecision: 'block',
+                    ruleContext: contextWithOneRead,
+                },
+            ],
+        };
+        const result = evaluateInRefinerSandbox('reads-context', trace, {
+            evaluateCode: contextReadingRule,
+        });
+        expect(result.success).toBe(true);
+        expect(result.failedCases).toEqual([]);
+    });
+});
 //# sourceMappingURL=refiner-sandbox-wrapper.test.js.map