@principles/core 1.240.21 → 1.242.0

package/dist/runtime-v2/internalization/__tests__/philosopher-toggle-characterization.test.js

@@ -0,0 +1,279 @@
+/**
+ * Characterization test — what actually happens when the philosopher agent
+ * toggle is OFF (spec `internalization-progressive-disclosure`, task 1.3,
+ * open question (a) in design §13.2).
+ *
+ * SCOPE: this test LOCKS IN CURRENT BEHAVIOR. It does not assert desired
+ * behavior. If any assertion here starts failing, the philosopher-disabled
+ * semantics changed and design §2.3 / Requirement 2.9 / 2.11 must be re-reviewed
+ * before the change lands.
+ *
+ * ── The three candidate behaviors (design §13.2 (a)) ──────────────────────────
+ *   (1) orchestrator SKIPS the node  (dreamer → scribe directly)
+ *   (2) orchestrator REFUSES to enqueue it
+ *   (3) it runs anyway and is merely hidden from the UI
+ *
+ * ── Verified answer: (3), with a caveat ──────────────────────────────────────
+ * The task graph and the orchestrator never read the toggle at all. They are
+ * toggle-blind:
+ *   - `internalization-job-graph.ts` ALLOWED_EDGES has no dreamer→scribe edge.
+ *   - `internalization-state-machine.ts` `createNextTaskProposal()` takes
+ *     (task, artifacts, channel) — no config parameter exists.
+ *   - `internalization-orchestrator.ts` `InternalizationOrchestratorDeps` is
+ *     `{ stateManager }` only; `wakeOnce` / `proposeNextTask` /
+ *     `commitNextTaskProposal` never load `.pd/config.yaml`.
+ * So a philosopher successor IS proposed, IS committed, and IS leasable while
+ * `internalAgents.agents.philosopher.enabled === false`.
+ *
+ * The toggle is only read outside core, at adapter-resolution time, and there
+ * it REFUSES the whole run rather than skipping the node:
+ *   - `packages/principles-core/src/runtime-v2/config/pd-config-agent-binding.ts:168-176`
+ *     → `{ ok: false, readiness: 'disabled' }` (no `profile`, so the caller
+ *        cannot proceed without the agent).
+ *   - `packages/pd-cli/src/commands/runtime-internalization-run-rulehost.ts:124-126`
+ *     `resolvePiAiAgentAdapter(effective, 'philosopher', ...)` THROWS on
+ *     `!binding.ok`; lines 417-428 turn that throw into
+ *     `reason: 'agent_runtime_resolution_failed'` + `exitCode = 1` for the
+ *     entire pain → dreamer → philosopher → scribe chain.
+ *   - `packages/pd-cli/src/commands/runtime-internalization-run-once.ts` does
+ *     not read the toggle at all: `--runner philosopher` executes the runner.
+ *
+ * ── Consequence for the spec ────────────────────────────────────────────────
+ * There is no "philosopher skipped" chain shape. Either philosopher runs (and
+ * its writer-side `predecessorSummary` forwarding carries dreamer's 5 dimensions
+ * to scribe, design §2.3), or the whole run is refused before scribe executes.
+ * Requirement 2.9 / 2.11 therefore holds.
+ *
+ * ERR entries considered:
+ *   - ERR-088 (EP-09, non-unique test signal): every assertion below names a
+ *     concrete observable — `decision`, `successorKind`, `readiness`, the exact
+ *     `reason` string, the `createTask` argument — never "did not throw" and
+ *     never a bare `undefined`. The enabled agents (dreamer / scribe) are
+ *     asserted as `ok: true` in the same test so a blanket-failure regression in
+ *     `resolveAgentRuntimeBinding` cannot masquerade as "philosopher disabled".
+ *   - ERR-024 (EP-02, production wiring vs leaf-only testing): the toggle-blind
+ *     claim is asserted against the real `InternalizationOrchestrator` +
+ *     `createNextTaskProposal`, plus a source-text guard proving no core
+ *     orchestration module references the agent-enabled config at all — not
+ *     against a hand-rolled stand-in.
+ *   - ERR-073 (EP-09, characterization tests that only prove the happy path):
+ *     both sides of the toggle are covered — the disabled agent AND the enabled
+ *     agents — so the characterization pins the difference, not just one case.
+ */
+import { describe, it, expect, vi } from 'vitest';
+import { readFileSync } from 'node:fs';
+import { fileURLToPath } from 'node:url';
+import { ALLOWED_EDGES, getAllowedSuccessors, validateEdge, } from '../internalization-job-graph.js';
+import { createNextTaskProposal } from '../internalization-state-machine.js';
+import { InternalizationOrchestrator } from '../internalization-orchestrator.js';
+import { getDefaultInternalAgents } from '../../config/pd-config-defaults.js';
+import { computeEffectivePdConfig } from '../../config/pd-config-effective.js';
+import { resolveAgentRuntimeBinding } from '../../config/pd-config-agent-binding.js';
+// ── Helpers ──────────────────────────────────────────────────────────────────
+function makeRawTask(overrides) {
+    const now = new Date().toISOString();
+    return {
+        taskId: overrides.taskId,
+        taskKind: overrides.taskKind,
+        status: overrides.status,
+        createdAt: now,
+        updatedAt: now,
+        attemptCount: 0,
+        maxAttempts: 3,
+        diagnosticJson: JSON.stringify({
+            pi_metadata: {
+                dependencyTaskIds: overrides.dependencyTaskIds ?? [],
+                channel: 'prompt',
+                timeoutMs: 60_000,
+                inputArtifactRefs: [],
+                outputArtifactRefs: overrides.outputArtifactRefs ?? [],
+            },
+        }),
+    };
+}
+function makeSucceededDreamerPITask() {
+    const now = new Date().toISOString();
+    return {
+        taskId: 'dreamer-task-1',
+        taskKind: 'dreamer',
+        status: 'succeeded',
+        createdAt: now,
+        updatedAt: now,
+        attemptCount: 1,
+        maxAttempts: 3,
+        dependencyTaskIds: [],
+        channel: 'prompt',
+        timeoutMs: 60_000,
+        inputArtifactRefs: [],
+        outputArtifactRefs: [{ artifactType: 'principle', ref: 'pi-art-dreamer-1' }],
+        rejectionCount: 0,
+    };
+}
+function createMockStateManager() {
+    return {
+        listTasks: vi.fn(),
+        getTask: vi.fn(),
+        acquireLease: vi.fn(),
+        createTask: vi.fn(),
+    };
+}
+function readCoreSource(relativePath) {
+    return readFileSync(fileURLToPath(new URL(relativePath, import.meta.url)), 'utf-8');
+}
+// ── 1. Config layer: the toggle is OFF by default and resolves to 'disabled' ──
+describe('philosopher toggle — config layer (characterization)', () => {
+    it('philosopher defaults to disabled while dreamer and scribe default to enabled', () => {
+        const agents = getDefaultInternalAgents().agents;
+        expect(agents.philosopher.enabled).toBe(false);
+        // Positive discrimination (ERR-088): the default table is not uniformly false.
+        expect(agents.dreamer.enabled).toBe(true);
+        expect(agents.scribe.enabled).toBe(true);
+    });
+    it('resolveAgentRuntimeBinding reports philosopher as disabled with a structured reason', () => {
+        const effective = computeEffectivePdConfig(null);
+        const philosopher = resolveAgentRuntimeBinding(effective, 'philosopher');
+        expect(philosopher.ok).toBe(false);
+        if (philosopher.ok)
+            throw new Error('expected philosopher binding to be unresolved');
+        expect(philosopher.readiness).toBe('disabled');
+        expect(philosopher.reason).toBe("Agent 'philosopher' is disabled");
+        expect(philosopher.nextAction).toContain('internalAgents.agents.philosopher.enabled');
+    });
+    it('a disabled binding carries no runtime profile, so callers cannot proceed without the agent', () => {
+        const effective = computeEffectivePdConfig(null);
+        const philosopher = resolveAgentRuntimeBinding(effective, 'philosopher');
+        if (philosopher.ok)
+            throw new Error('expected philosopher binding to be unresolved');
+        // There is no "skip this stage" signal in the contract — only 'disabled' /
+        // 'not_ready' / 'needs_setup', all of which lack `profile`. This is why the
+        // pd-cli mainline refuses the whole run instead of skipping the node.
+        expect(Object.hasOwn(philosopher, 'profile')).toBe(false);
+        expect(['disabled', 'not_ready', 'needs_setup']).toContain(philosopher.readiness);
+    });
+    it('enabled agents still resolve successfully under the same default config', () => {
+        const effective = computeEffectivePdConfig(null);
+        const dreamer = resolveAgentRuntimeBinding(effective, 'dreamer');
+        const scribe = resolveAgentRuntimeBinding(effective, 'scribe');
+        expect(dreamer.ok).toBe(true);
+        expect(scribe.ok).toBe(true);
+        if (!dreamer.ok || !scribe.ok)
+            throw new Error('expected dreamer and scribe bindings to resolve');
+        expect(dreamer.profileId).toBe('openclaw.default');
+        expect(scribe.profileId).toBe('openclaw.default');
+    });
+});
+// ── 2. Graph layer: philosopher is structurally mandatory, no bypass ─────────
+describe('philosopher toggle — job graph has no bypass (characterization)', () => {
+    it('ALLOWED_EDGES has exactly 5 edges and no dreamer → scribe bypass', () => {
+        expect(ALLOWED_EDGES).toHaveLength(5);
+        expect(validateEdge('dreamer', 'scribe')).toBe(false);
+        expect(validateEdge('dreamer', 'philosopher')).toBe(true);
+        expect(validateEdge('philosopher', 'scribe')).toBe(true);
+    });
+    it("dreamer's only successor is philosopher", () => {
+        expect(getAllowedSuccessors('dreamer')).toEqual(['philosopher']);
+    });
+});
+// ── 3. Orchestration layer: toggle-blind — the node runs anyway ──────────────
+describe('philosopher toggle — orchestration is toggle-blind (characterization)', () => {
+    it('createNextTaskProposal proposes philosopher after a succeeded dreamer, with no config input', () => {
+        const proposal = createNextTaskProposal(makeSucceededDreamerPITask(), []);
+        expect(proposal).not.toBeNull();
+        expect(proposal?.taskKind).toBe('philosopher');
+        expect(proposal?.parentTaskId).toBe('dreamer-task-1');
+        expect(proposal?.dependencyTaskIds).toEqual(['dreamer-task-1']);
+        expect(proposal?.inputArtifactRefs).toEqual([
+            { artifactType: 'principle', ref: 'pi-art-dreamer-1' },
+        ]);
+    });
+    it('commitNextTaskProposal creates a philosopher successor while the toggle is off', async () => {
+        // Precondition made explicit: the toggle is OFF in the canonical config.
+        expect(getDefaultInternalAgents().agents.philosopher.enabled).toBe(false);
+        const stateManager = createMockStateManager();
+        const dreamerTask = makeRawTask({
+            taskId: 'dreamer-task-1',
+            taskKind: 'dreamer',
+            status: 'succeeded',
+            outputArtifactRefs: [{ artifactType: 'principle', ref: 'pi-art-dreamer-1' }],
+        });
+        stateManager.getTask.mockResolvedValue(dreamerTask);
+        // findExistingSuccessor scans pending then retry_wait.
+        stateManager.listTasks.mockResolvedValue([]);
+        stateManager.createTask.mockImplementation((input) => Promise.resolve(input));
+        const orchestrator = new InternalizationOrchestrator({ stateManager: stateManager }, { owner: 'characterization-owner', runtimeKind: 'local-worker' });
+        const result = await orchestrator.commitNextTaskProposal('dreamer-task-1');
+        expect(result.decision).toBe('successor_created');
+        expect(result).toMatchObject({
+            decision: 'successor_created',
+            sourceTaskId: 'dreamer-task-1',
+            successorKind: 'philosopher',
+            successorTaskId: 'philosopher-dreamer-task-1-prompt',
+        });
+        // Side-effect assertion (ERR-088): the successor actually reached the store
+        // as a philosopher task — not merely "no error was returned".
+        expect(stateManager.createTask).toHaveBeenCalledOnce();
+        expect(stateManager.createTask.mock.calls[0]?.[0]).toMatchObject({
+            taskId: 'philosopher-dreamer-task-1-prompt',
+            taskKind: 'philosopher',
+            status: 'pending',
+        });
+    });
+    it('wakeOnce leases a pending philosopher task while the toggle is off', async () => {
+        expect(getDefaultInternalAgents().agents.philosopher.enabled).toBe(false);
+        const stateManager = createMockStateManager();
+        const philosopherTask = makeRawTask({
+            taskId: 'philosopher-task-1',
+            taskKind: 'philosopher',
+            status: 'pending',
+        });
+        stateManager.listTasks
+            .mockResolvedValueOnce([philosopherTask]) // pending
+            .mockResolvedValueOnce([]); // retry_wait
+        stateManager.acquireLease.mockResolvedValue({
+            ...philosopherTask,
+            status: 'leased',
+            attemptCount: 1,
+        });
+        const orchestrator = new InternalizationOrchestrator({ stateManager: stateManager }, { owner: 'characterization-owner', runtimeKind: 'local-worker' });
+        const result = await orchestrator.wakeOnce();
+        expect(result).toMatchObject({
+            decision: 'leased',
+            taskId: 'philosopher-task-1',
+            taskKind: 'philosopher',
+            attemptCount: 1,
+        });
+        expect(stateManager.acquireLease).toHaveBeenCalledWith({
+            taskId: 'philosopher-task-1',
+            owner: 'characterization-owner',
+            runtimeKind: 'local-worker',
+        });
+    });
+    it('no core orchestration module reads the agent-enabled config (source guard)', () => {
+        const modules = [
+            '../internalization-orchestrator.ts',
+            '../internalization-state-machine.ts',
+            '../internalization-task-guards.ts',
+            '../internalization-job-graph.ts',
+        ];
+        const forbidden = [
+            'internalAgents',
+            'resolveAgentRuntimeBinding',
+            'checkAgentRuntimeReadiness',
+            'InternalAgentName',
+            'EffectivePdConfig',
+        ];
+        const hits = [];
+        for (const modulePath of modules) {
+            const src = readCoreSource(modulePath);
+            for (const token of forbidden) {
+                if (src.includes(token))
+                    hits.push(`${modulePath} references ${token}`);
+            }
+        }
+        // Empty means: the toggle cannot influence enqueueing, leasing, or successor
+        // proposal. If this list becomes non-empty, behavior (2) "refuse to enqueue"
+        // or (1) "skip the node" was introduced and Requirement 2 must be re-reviewed.
+        expect(hits).toEqual([]);
+    });
+});
+//# sourceMappingURL=philosopher-toggle-characterization.test.js.map

package/dist/runtime-v2/internalization/__tests__/philosopher-toggle-characterization.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"philosopher-toggle-characterization.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/philosopher-toggle-characterization.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,YAAY,GACb,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AAIjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,EAAE,0BAA0B,EAAE,MAAM,yCAAyC,CAAC;AAErF,gFAAgF;AAEhF,SAAS,WAAW,CAAC,SAMpB;IACC,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,OAAO;QACL,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;QACd,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,cAAc,EAAE,IAAI,CAAC,SAAS,CAAC;YAC7B,WAAW,EAAE;gBACX,iBAAiB,EAAE,SAAS,CAAC,iBAAiB,IAAI,EAAE;gBACpD,OAAO,EAAE,QAAQ;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,EAAE;gBACrB,kBAAkB,EAAE,SAAS,CAAC,kBAAkB,IAAI,EAAE;aACvD;SACF,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B;IACjC,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,OAAO;QACL,MAAM,EAAE,gBAAgB;QACxB,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,WAAW;QACnB,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;QACd,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,iBAAiB,EAAE,EAAE;QACrB,OAAO,EAAE,QAAQ;QACjB,SAAS,EAAE,MAAM;QACjB,iBAAiB,EAAE,EAAE;QACrB,kBAAkB,EAAE,CAAC,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,kBAAkB,EAAE,CAAC;QAC5E,cAAc,EAAE,CAAC;KAClB,CAAC;AACJ,CAAC;AASD,SAAS,sBAAsB;IAC7B,OAAO;QACL,SAAS,EAAE,EAAE,CAAC,EAAE,EAAE;QAClB,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE;QAChB,YAAY,EAAE,EAAE,CAAC,EAAE,EAAE;QACrB,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,YAAoB;IAC1C,OAAO,YAAY,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AACtF,CAAC;AAED,iFAAiF;AAEjF,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,MAAM,GAAG,wBAAwB,EAAE,CAAC,MAAM,CAAC;QAEjD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,+EAA+E;QAC/E,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAEjD,MAAM,WAAW,GAAG,0BAA0B,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAEzE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,WAAW,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACrF,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QACnE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAEjD,MAAM,WAAW,GAAG,0BAA0B,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAEzE,IAAI,WAAW,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACrF,2EAA2E;QAC3E,4EAA4E;QAC5E,sEAAsE;QACtE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1D,MAAM,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAEjD,MAAM,OAAO,GAAG,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,0BAA0B,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAE/D,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAClG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC/E,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,YAAY,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACrF,EAAE,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACrG,MAAM,QAAQ,GAAG,sBAAsB,CAAC,0BAA0B,EAAE,EAAE,EAAE,CAAC,CAAC;QAE1E,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC/C,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACtD,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,OAAO,CAAC;YAC1C,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,kBAAkB,EAAE;SACvD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC9F,yEAAyE;QACzE,MAAM,CAAC,wBAAwB,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE1E,MAAM,YAAY,GAAG,sBAAsB,EAAE,CAAC;QAC9C,MAAM,WAAW,GAAG,WAAW,CAAC;YAC9B,MAAM,EAAE,gBAAgB;YACxB,QAAQ,EAAE,SAAS;YACnB,MAAM,EAAE,WAAW;YACnB,kBAAkB,EAAE,CAAC,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,kBAAkB,EAAE,CAAC;SAC7E,CAAC,CAAC;QACH,YAAY,CAAC,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACpD,uDAAuD;QACvD,YAAY,CAAC,SAAS,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QAC7C,YAAY,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,KAAiB,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAE1F,MAAM,YAAY,GAAG,IAAI,2BAA2B,CAClD,EAAE,YAAY,EAAE,YAA8C,EAAE,EAChE,EAAE,KAAK,EAAE,wBAAwB,EAAE,WAAW,EAAE,cAAc,EAAE,CACjE,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;QAE3E,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC;YAC3B,QAAQ,EAAE,mBAAmB;YAC7B,YAAY,EAAE,gBAAgB;YAC9B,aAAa,EAAE,aAAa;YAC5B,eAAe,EAAE,mCAAmC;SACrD,CAAC,CAAC;QACH,4EAA4E;QAC5E,8DAA8D;QAC9D,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,oBAAoB,EAAE,CAAC;QACvD,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC/D,MAAM,EAAE,mCAAmC;YAC3C,QAAQ,EAAE,aAAa;YACvB,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,CAAC,wBAAwB,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE1E,MAAM,YAAY,GAAG,sBAAsB,EAAE,CAAC;QAC9C,MAAM,eAAe,GAAG,WAAW,CAAC;YAClC,MAAM,EAAE,oBAAoB;YAC5B,QAAQ,EAAE,aAAa;YACvB,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;QACH,YAAY,CAAC,SAAS;aACnB,qBAAqB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU;aACnD,qBAAqB,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa;QAC3C,YAAY,CAAC,YAAY,CAAC,iBAAiB,CAAC;YAC1C,GAAG,eAAe;YAClB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE,CAAC;SAChB,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,IAAI,2BAA2B,CAClD,EAAE,YAAY,EAAE,YAA8C,EAAE,EAChE,EAAE,KAAK,EAAE,wBAAwB,EAAE,WAAW,EAAE,cAAc,EAAE,CACjE,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,CAAC;QAE7C,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC;YAC3B,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,oBAAoB;YAC5B,QAAQ,EAAE,aAAa;YACvB,YAAY,EAAE,CAAC;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,oBAAoB,CAAC;YACrD,MAAM,EAAE,oBAAoB;YAC5B,KAAK,EAAE,wBAAwB;YAC/B,WAAW,EAAE,cAAc;SAC5B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,OAAO,GAAG;YACd,oCAAoC;YACpC,qCAAqC;YACrC,mCAAmC;YACnC,iCAAiC;SAClC,CAAC;QACF,MAAM,SAAS,GAAG;YAChB,gBAAgB;YAChB,4BAA4B;YAC5B,4BAA4B;YAC5B,mBAAmB;YACnB,mBAAmB;SACpB,CAAC;QAEF,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;YACvC,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;gBAC9B,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,eAAe,KAAK,EAAE,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,6EAA6E;QAC7E,+EAA+E;QAC/E,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Scope regression test (design §4.7.1, task 3.21).
+ *
+ * Guards the Layer 0 scope boundary: the three diagnostic stages
+ * (`diag_rootcause` / `diag_distiller` / `diag_router`) and `philosopher`
+ * participate in Layer 0 ONLY as writer-side summary producers/forwarders.
+ * They MUST NOT:
+ *   - own a ContextManifest (manifests are exactly 4: dreamer / scribe /
+ *     artificer / evaluator)
+ *   - widen their export surface (philosopher stays de-surfaced from the
+ *     internal barrel — PRI-458)
+ *   - change their output schema or prompt text (Requirement 1.7)
+ *
+ * PR 1 has no manifest table yet (that lands in PR 2). This test asserts the
+ * negative today ("no diagnostic stage owns a manifest") and will be re-run
+ * unchanged once PR 2 introduces the manifest registry.
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §4.7, §4.7.1
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirements 1.7, 2.14
+ */
+export {};
+//# sourceMappingURL=progressive-disclosure-scope-regression.test.d.ts.map

package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-disclosure-scope-regression.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG"}

package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.js

@@ -0,0 +1,92 @@
+/**
+ * Scope regression test (design §4.7.1, task 3.21).
+ *
+ * Guards the Layer 0 scope boundary: the three diagnostic stages
+ * (`diag_rootcause` / `diag_distiller` / `diag_router`) and `philosopher`
+ * participate in Layer 0 ONLY as writer-side summary producers/forwarders.
+ * They MUST NOT:
+ *   - own a ContextManifest (manifests are exactly 4: dreamer / scribe /
+ *     artificer / evaluator)
+ *   - widen their export surface (philosopher stays de-surfaced from the
+ *     internal barrel — PRI-458)
+ *   - change their output schema or prompt text (Requirement 1.7)
+ *
+ * PR 1 has no manifest table yet (that lands in PR 2). This test asserts the
+ * negative today ("no diagnostic stage owns a manifest") and will be re-run
+ * unchanged once PR 2 introduces the manifest registry.
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §4.7, §4.7.1
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirements 1.7, 2.14
+ */
+import { describe, it, expect } from 'vitest';
+import { readFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+import { SUMMARY_RUNNER_KINDS, } from '../artifact-summary.js';
+import { SUMMARY_EDGE_PREDECESSOR } from '../attach-summary-envelope.js';
+const DIAG_KINDS = ['diag_rootcause', 'diag_distiller', 'diag_router'];
+describe('Layer 0 scope regression — diagnostic stages & philosopher (task 3.21)', () => {
+    it('SUMMARY_RUNNER_KINDS includes the 3 diagnostic stages (they produce summaries)', () => {
+        // design §4.7.1: diag stages ARE SummaryRunnerKinds (writer-side only).
+        for (const kind of DIAG_KINDS) {
+            expect(SUMMARY_RUNNER_KINDS).toContain(kind);
+        }
+    });
+    it('diag stages have NO manifest field/import anywhere in their runner source (design §4.7.1)', () => {
+        // A diagnostic stage owning a manifest would be a scope violation. Today
+        // (PR 1) no ContextManifest type exists in the codebase yet, so we assert
+        // the stronger negative: the diag runner source files do not reference any
+        // manifest symbol. When PR 2 lands the manifest registry, this same test
+        // guards against a diag kind sneaking in.
+        const diagFiles = [
+            'diag-rootcause-runner.ts',
+            'diag-distiller-runner.ts',
+            'diag-router-runner.ts',
+        ];
+        for (const file of diagFiles) {
+            const src = readFileSync(resolve(__dirname, '..', file), 'utf-8');
+            // Must not reference ContextManifest, manifest, DREAMER_MANIFEST, etc.
+            expect(src, `${file} must not own a manifest`).not.toMatch(/\bContextManifest\b/);
+            expect(src, `${file} must not reference allocateContext`).not.toMatch(/\ballocateContext\b/);
+            // But it SHOULD reference the Layer 0 writer wiring (proves it only does
+            // writer-side summary, not manifest-driven injection).
+            expect(src, `${file} must wire buildArtifactContentJson (writer-side only)`).toMatch(/buildArtifactContentJson/);
+        }
+    });
+    it('diag-router predecessor is diag_distiller, NOT diag_rootcause (F17 edge-predecessor uniqueness)', () => {
+        // Even though diag_router loads BOTH rootcause and distiller in buildContext,
+        // only distiller is the edge predecessor. This is the single most important
+        // scope assertion for the diagnostic chain.
+        expect(SUMMARY_EDGE_PREDECESSOR.diag_router).toBe('diag_distiller');
+        expect(SUMMARY_EDGE_PREDECESSOR.diag_router).not.toBe('diag_rootcause');
+    });
+    it('dreamer predecessor is diag_router (F13/F14: diagnostic chain is dreamer\'s direct upstream)', () => {
+        expect(SUMMARY_EDGE_PREDECESSOR.dreamer).toBe('diag_router');
+    });
+    it('evaluator predecessor is artificer, NOT scribe (F17)', () => {
+        expect(SUMMARY_EDGE_PREDECESSOR.evaluator).toBe('artificer');
+        expect(SUMMARY_EDGE_PREDECESSOR.evaluator).not.toBe('scribe');
+    });
+    it('philosopher stays de-surfaced from internalization/index.ts barrel (PRI-458 MVP-Quiet)', () => {
+        // PRI-458: PhilosopherRunner is NOT exported from the internal barrel.
+        // Layer 0 does not re-add it. (It remains reachable via runtime-v2/index.ts
+        // for the rulehost pipeline — guarded separately by architecture-regression.test.ts.)
+        const src = readFileSync(resolve(__dirname, '..', 'index.ts'), 'utf-8');
+        expect(src).not.toContain("from './philosopher-runner.js'");
+        expect(src).not.toContain('PhilosopherRunner');
+    });
+    it('each SummaryRunnerKind has a defined edge predecessor (or null for the root)', () => {
+        // Every kind must resolve to a predecessor entry — no kind left un-mapped.
+        for (const kind of SUMMARY_RUNNER_KINDS) {
+            expect(Object.hasOwn(SUMMARY_EDGE_PREDECESSOR, kind)).toBe(true);
+            const pred = SUMMARY_EDGE_PREDECESSOR[kind];
+            // Either null (chain root = diag_rootcause) or a valid SummaryRunnerKind.
+            if (pred !== null) {
+                expect(SUMMARY_RUNNER_KINDS).toContain(pred);
+            }
+        }
+        // Exactly one root (null).
+        const roots = SUMMARY_RUNNER_KINDS.filter((k) => SUMMARY_EDGE_PREDECESSOR[k] === null);
+        expect(roots).toEqual(['diag_rootcause']);
+    });
+});
+//# sourceMappingURL=progressive-disclosure-scope-regression.test.js.map

package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-disclosure-scope-regression.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EACL,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,MAAM,UAAU,GAAsB,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC;AAE1F,QAAQ,CAAC,wEAAwE,EAAE,GAAG,EAAE;IACtF,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,wEAAwE;QACxE,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,yEAAyE;QACzE,0EAA0E;QAC1E,2EAA2E;QAC3E,yEAAyE;QACzE,0CAA0C;QAC1C,MAAM,SAAS,GAAG;YAChB,0BAA0B;YAC1B,0BAA0B;YAC1B,uBAAuB;SACxB,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;YAClE,uEAAuE;YACvE,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;YAClF,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,qCAAqC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;YAC7F,yEAAyE;YACzE,uDAAuD;YACvD,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,wDAAwD,CAAC,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACnH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,8EAA8E;QAC9E,4EAA4E;QAC5E,4CAA4C;QAC5C,MAAM,CAAC,wBAAwB,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACpE,MAAM,CAAC,wBAAwB,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8FAA8F,EAAE,GAAG,EAAE;QACtG,MAAM,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7D,MAAM,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,uEAAuE;QACvE,4EAA4E;QAC5E,sFAAsF;QACtF,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gCAAgC,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,2EAA2E;QAC3E,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE,CAAC;YACxC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,wBAAwB,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjE,MAAM,IAAI,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;YAC5C,0EAA0E;YAC1E,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,MAAM,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;QACD,2BAA2B;QAC3B,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QACvF,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-spike-fixtures.d.ts

@@ -0,0 +1,165 @@
+/**
+ * Phase 0 Spike fixtures — synthetic baseline chains for the
+ * internalization progressive-disclosure value verification.
+ *
+ * SPIKE-ONLY. This module is deliberately isolated:
+ *   - it is imported by Spike tests only (task 1.1 self-check, task 1.2 driver);
+ *   - it is NOT exported from any barrel (`internalization/index.ts` untouched);
+ *   - it imports **types only**, so it adds no production runtime dependency;
+ *   - it performs no I/O (core is pure logic — AGENTS.md `antipattern-core-io`).
+ *
+ * Why the chain starts at the diagnostician chain and not at dreamer
+ * (design §4.7.1 / F13): `diag_router` is dreamer's predecessor on the task
+ * graph edge, so it is the only data source for the `pain.summary.*` /
+ * `diagnosis.summary.*` fields the `pain_to_dreamer` diagnosis segment needs.
+ * A chain that started at dreamer could only exercise 2 of the 3 segments.
+ *
+ * Every `contentJson` shape below is taken from the real output type in the
+ * repo — no invented fields:
+ *   diag_rootcause → `DiagRootCauseOutputV1`  (diagnostician/diag-rootcause-output.ts)
+ *   diag_distiller → `DiagDistillerOutputV1`  (diagnostician/diag-distiller-output.ts)
+ *   diag_router    → `DiagnosticianOutputV1`  (diagnostician-output.ts)
+ *   dreamer        → `DreamerOutputV1`        (dreamer-output.ts)
+ *   philosopher    → `PhilosopherOutputV1`    (philosopher-output.ts)
+ *   scribe         → `ScribeOutputV1`         (scribe-output.ts)
+ *   artificer      → `ArtificerRuleOutput`    (artificer-output.ts)
+ *   evaluator      → `EvaluatorOutputV2`      (evaluator-output.ts)
+ *
+ * The evaluator hop carries only fields that exist today (V1 + optional
+ * `codeReview`). `painCoverage` / `compressionFidelity` are Layer 2 additions
+ * and are intentionally absent — the expected defect lives in fixture metadata
+ * (`expectedDefect`), never inside the LLM-shaped payload, so a Spike assertion
+ * cannot trivially read the answer out of the artifact it is judging (ERR-088).
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §12 Phase 0, §16.3
+ * @see Requirement 12.2
+ */
+import type { DiagRootCauseOutputV1 } from '../../diagnostician/diag-rootcause-output.js';
+import type { DiagDistillerOutputV1 } from '../../diagnostician/diag-distiller-output.js';
+import type { DiagnosticianOutputV1 } from '../../diagnostician-output.js';
+import type { DreamerOutputV1 } from '../dreamer-output.js';
+import type { PhilosopherOutputV1 } from '../philosopher-output.js';
+import type { ScribeOutputV1 } from '../scribe-output.js';
+import type { ArtificerRuleOutput } from '../artificer-output.js';
+import type { EvaluatorOutputV2 } from '../evaluator-output.js';
+/** The 8 stages that carry a summary in Layer 0 (design §6.1). */
+export type SpikeStageKind = 'diag_rootcause' | 'diag_distiller' | 'diag_router' | 'dreamer' | 'philosopher' | 'scribe' | 'artificer' | 'evaluator';
+/**
+ * Stage order along the synthetic chain. Mirrors `DIAGNOSTICIAN_EDGES`
+ * followed by `ALLOWED_EDGES` (design F5 / F14).
+ */
+export declare const SPIKE_STAGE_ORDER: readonly SpikeStageKind[];
+export type SpikeChainId = 
+/** 缺陷链 A：scribe 原则文本完全丢失 dreamer 的 riskLevel 维度 */
+'defect_a_risk_level_dropped'
+/** 缺陷链 B：scribe 把 dreamer 的具体动作模糊为抽象表述 */
+ | 'defect_b_action_abstracted'
+/** 对照链：无缺陷，用于识别「任何输入都报缺失」的假阳性 */
+ | 'control_no_defect';
+/** The 5 dreamer dimensions the pipeline is supposed to carry forward. */
+export type DreamerDimension = 'badDecision' | 'betterDecision' | 'rationale' | 'riskLevel' | 'strategicPerspective';
+/**
+ * The defect a chain encodes, stated independently of the artifacts.
+ *
+ * The Spike driver (task 1.2) compares the summary-level evaluator's finding
+ * against this — it is the expected answer, not an input to any stage.
+ */
+export type SpikeExpectedDefect = {
+    readonly kind: 'none';
+} | {
+    /** A dimension present at dreamer is absent from the scribe principle text. */
+    readonly kind: 'missing_dimension';
+    readonly segment: 'dreamer_to_scribe';
+    readonly dimension: DreamerDimension;
+} | {
+    /** Concrete actions at dreamer became an abstract phrase at scribe. */
+    readonly kind: 'action_abstracted';
+    readonly segment: 'dreamer_to_scribe';
+    readonly concreteActions: readonly string[];
+    readonly abstractedAs: string;
+};
+/** One hop of a synthetic chain: artifact identity + the stage's contentJson. */
+export interface SpikeChainHop<TContent> {
+    readonly stage: SpikeStageKind;
+    readonly artifactId: string;
+    readonly taskId: string;
+    /**
+     * Stage identity source of truth. Per F1, `artifactKind` cannot identify a
+     * stage (artificer writes `'principle'` too), so consumers must read this.
+     */
+    readonly taskKind: SpikeStageKind;
+    /**
+     * The artifact id of the predecessor **on the task graph edge**
+     * (design §6.1). `null` only at the chain head.
+     */
+    readonly edgePredecessorArtifactId: string | null;
+    readonly contentJson: TContent;
+}
+export interface SpikeChain {
+    readonly chainId: SpikeChainId;
+    /** Short human-readable label for Spike output. */
+    readonly label: string;
+    readonly expectedDefect: SpikeExpectedDefect;
+    readonly diagRootCause: SpikeChainHop<DiagRootCauseOutputV1>;
+    readonly diagDistiller: SpikeChainHop<DiagDistillerOutputV1>;
+    readonly diagRouter: SpikeChainHop<DiagnosticianOutputV1>;
+    readonly dreamer: SpikeChainHop<DreamerOutputV1>;
+    readonly philosopher: SpikeChainHop<PhilosopherOutputV1>;
+    readonly scribe: SpikeChainHop<ScribeOutputV1>;
+    readonly artificer: SpikeChainHop<ArtificerRuleOutput>;
+    readonly evaluator: SpikeChainHop<EvaluatorOutputV2>;
+}
+/** Ordered hops of a chain. `contentJson` stays `unknown` (rc-1). */
+export declare function spikeChainHops(chain: SpikeChain): readonly SpikeChainHop<unknown>[];
+/** The three concrete actions dreamer prescribes. Defect chain B loses these. */
+export declare const CONCRETE_ACTIONS: readonly string[];
+/** The abstract phrase defect chain B substitutes for the concrete actions. */
+export declare const ABSTRACTED_PHRASE = "\u7406\u89E3\u67B6\u6784";
+/** The dreamer risk level. Defect chain A loses this dimension entirely. */
+export declare const DREAMER_RISK_LEVEL = "high";
+/** 缺陷链 A：scribe 原则文本完全丢失 dreamer 的 `riskLevel` 维度。 */
+export declare const SPIKE_CHAIN_DEFECT_A: SpikeChain;
+/** 缺陷链 B：scribe 把 dreamer 的具体动作模糊为抽象表述。 */
+export declare const SPIKE_CHAIN_DEFECT_B: SpikeChain;
+/** 对照链：无缺陷。用于识别「任何输入都报缺失」的假阳性。 */
+export declare const SPIKE_CHAIN_CONTROL: SpikeChain;
+export declare const SPIKE_CHAINS: readonly SpikeChain[];
+/** One inconsistency between a hop's lineage field and the hop it should name. */
+export interface SpikeLineageViolation {
+    readonly chainId: SpikeChainId;
+    readonly stage: SpikeStageKind;
+    /** Dotted path of the offending field, e.g. `sourceTrace.scribeArtifactId`. */
+    readonly field: string;
+    readonly expected: string;
+    readonly actual: string;
+}
+/**
+ * Collect every lineage inconsistency in a chain.
+ *
+ * Only fields that actually exist on the real output types are checked, and each
+ * check names the concrete field and the hop it must point at — so a failure
+ * reports *which* field of *which* stage drifted, not merely "chain invalid"
+ * (ERR-088: the assertion signal must identify the intended path uniquely).
+ *
+ * Checked invariants:
+ *   - `taskKind` equals `stage` (F1: stage identity comes from taskKind, never artifactKind)
+ *   - each hop's `edgePredecessorArtifactId` is the previous hop on the task graph edge
+ *   - `contentJson.taskId` equals the hop's own `taskId` (every stage except
+ *     `diag_router`, whose output carries no `taskId` — PRI-272 removed it)
+ *   - `diag_distiller.sourceRootCauseArtifactId` → rootcause artifact
+ *   - `diag_router` carries Stage A's `rootCause`/`evidence` and Stage B's
+ *     `confidence` (the invariants `diag-router-runner.postFetchTransform` injects)
+ *   - `dreamer.contextRefs` contains the router artifact
+ *   - `philosopher.sourceDreamerArtifactId` → dreamer artifact
+ *   - scribe / artificer / evaluator top-level source ids and every
+ *     `sourceTrace.*` id point at the actual upstream artifacts
+ */
+export declare function findSpikeLineageViolations(chain: SpikeChain): readonly SpikeLineageViolation[];
+/**
+ * Throw with a per-field report when a chain's lineage is inconsistent.
+ *
+ * Used by the fixture self-check test and available to the Spike driver so a
+ * corrupted fixture fails loud instead of silently weakening the Spike (rc-9).
+ */
+export declare function assertSpikeChainLineageConsistent(chain: SpikeChain): void;
+//# sourceMappingURL=progressive-disclosure-spike-fixtures.d.ts.map

package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-spike-fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-disclosure-spike-fixtures.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/progressive-disclosure-spike-fixtures.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AAC1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AAC1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAIhE,kEAAkE;AAClE,MAAM,MAAM,cAAc,GACtB,gBAAgB,GAChB,gBAAgB,GAChB,aAAa,GACb,SAAS,GACT,aAAa,GACb,QAAQ,GACR,WAAW,GACX,WAAW,CAAC;AAEhB;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,cAAc,EAStD,CAAC;AAEF,MAAM,MAAM,YAAY;AACtB,mDAAmD;AACjD,6BAA6B;AAC/B,0CAA0C;GACxC,4BAA4B;AAC9B,iCAAiC;GAC/B,mBAAmB,CAAC;AAExB,0EAA0E;AAC1E,MAAM,MAAM,gBAAgB,GACxB,aAAa,GACb,gBAAgB,GAChB,WAAW,GACX,WAAW,GACX,sBAAsB,CAAC;AAE3B;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IACE,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;CACtC,GACD;IACE,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEN,iFAAiF;AACjF,MAAM,WAAW,aAAa,CAAC,QAAQ;IACrC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC;;;OAGG;IACH,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC;CAChC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,mDAAmD;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC;IAC7C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;IAC7D,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;IAC7D,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;IAC1D,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAC;IACzD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAC;IACvD,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CACtD;AAED,qEAAqE;AACrE,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,CAWnF;AAUD,iFAAiF;AACjF,eAAO,MAAM,gBAAgB,EAAE,SAAS,MAAM,EAI7C,CAAC;AAEF,+EAA+E;AAC/E,eAAO,MAAM,iBAAiB,6BAAS,CAAC;AAExC,4EAA4E;AAC5E,eAAO,MAAM,kBAAkB,SAAS,CAAC;AAqezC,sDAAsD;AACtD,eAAO,MAAM,oBAAoB,EAAE,UAYjC,CAAC;AAEH,2CAA2C;AAC3C,eAAO,MAAM,oBAAoB,EAAE,UAajC,CAAC;AAEH,kCAAkC;AAClC,eAAO,MAAM,mBAAmB,EAAE,UAQhC,CAAC;AAEH,eAAO,MAAM,YAAY,EAAE,SAAS,UAAU,EAI7C,CAAC;AAIF,kFAAkF;AAClF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;IAC/B,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAeD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,qBAAqB,EAAE,CAuO9F;AAED;;;;;GAKG;AACH,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CASzE"}