create-principles-disciple 1.86.0 → 1.87.0

package/core/dist/runtime-v2/diagnostician/__tests__/diag-rootcause-output.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=diag-rootcause-output.test.d.ts.map

package/core/dist/runtime-v2/diagnostician/__tests__/diag-rootcause-output.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diag-rootcause-output.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/diagnostician/__tests__/diag-rootcause-output.test.ts"],"names":[],"mappings":""}

package/core/dist/runtime-v2/diagnostician/__tests__/diag-rootcause-output.test.js

@@ -0,0 +1,91 @@
+import { describe, it, expect } from 'vitest';
+import { Value } from '@sinclair/typebox/value';
+import { DiagRootCauseOutputV1Schema, DefaultDiagRootCauseValidator } from '../diag-rootcause-output.js';
+describe('DiagRootCauseOutputV1Schema', () => {
+    const validOutput = {
+        valid: true,
+        diagnosisId: 'diag-001',
+        taskId: 'task-001',
+        summary: 'Test summary',
+        causalChain: [
+            { why: 1, statement: 'First why', evidenceRefs: ['ref1'] },
+            { why: 2, statement: 'Second why', evidenceRefs: ['ref1'] },
+        ],
+        rootCause: 'Design: Poor error handling',
+        rootCauseCategory: 'Design',
+        evidence: [{ sourceRef: 'src1', note: 'note1' }],
+        confidence: 0.8,
+        ambiguityNotes: ['note1'],
+    };
+    it('valid root cause output passes Value.Check', () => {
+        expect(Value.Check(DiagRootCauseOutputV1Schema, validOutput)).toBe(true);
+    });
+    it('missing required field fails Value.Check', () => {
+        const { summary: _summary, ...missing } = validOutput;
+        expect(Value.Check(DiagRootCauseOutputV1Schema, missing)).toBe(false);
+    });
+    it('extra fields are stripped by Value.Clean', () => {
+        const withExtra = { ...validOutput, extraField: 'should be removed' };
+        const cleaned = Value.Clean(DiagRootCauseOutputV1Schema, withExtra);
+        expect(Object.hasOwn(cleaned, 'extraField')).toBe(false);
+    });
+    it('DefaultDiagRootCauseValidator accepts valid output', async () => {
+        const validator = new DefaultDiagRootCauseValidator();
+        const result = await validator.validate(validOutput, 'task-001');
+        expect(result.valid).toBe(true);
+    });
+    it('DefaultDiagRootCauseValidator rejects invalid output', async () => {
+        const validator = new DefaultDiagRootCauseValidator();
+        const result = await validator.validate({}, 'task-001');
+        expect(result.valid).toBe(false);
+        expect(result.errors.length).toBeGreaterThan(0);
+    });
+    it('rejects rootCause without category prefix', async () => {
+        const validator = new DefaultDiagRootCauseValidator();
+        const output = { ...validOutput, rootCause: 'Poor error handling', rootCauseCategory: 'Design' };
+        const result = await validator.validate(output, 'task-001');
+        expect(result.valid).toBe(false);
+        expect(result.errors.some((e) => e.includes('must start with "Design: "'))).toBe(true);
+    });
+    it('accepts rootCause with matching category prefix', async () => {
+        const validator = new DefaultDiagRootCauseValidator();
+        const output = { ...validOutput, rootCause: 'People: Insufficient review process', rootCauseCategory: 'People' };
+        const result = await validator.validate(output, 'task-001');
+        expect(result.valid).toBe(true);
+    });
+    // ── BUG-007c: taskId re-injection tests (PRI-401) ───────────────────────────
+    it('re-injects taskId when LLM outputs parent task ID (BUG-007c)', async () => {
+        const validator = new DefaultDiagRootCauseValidator();
+        const output = { ...validOutput, taskId: 'diagnosis_manual_xxx' };
+        const expectedTaskId = 'diag_rootcause-diagnosis_manual_xxx';
+        const result = await validator.validate(output, expectedTaskId);
+        expect(result.valid).toBe(true);
+        expect(result.warnings).toBeDefined();
+        expect(result.warnings?.length).toBeGreaterThan(0);
+        expect(result.warnings?.[0]).toContain('re-injected');
+        // Verify the output was mutated to have the correct taskId
+        expect(output.taskId).toBe(expectedTaskId);
+    });
+    it('re-injection value comes from caller expectedTaskId, not LLM output (ERR-008)', async () => {
+        const validator = new DefaultDiagRootCauseValidator();
+        const output = { ...validOutput, taskId: 'diagnosis_manual_xxx' };
+        const expectedTaskId = 'diag_rootcause-diagnosis_manual_xxx';
+        await validator.validate(output, expectedTaskId);
+        // The re-injected value must be the caller's expectedTaskId
+        expect(output.taskId).toBe(expectedTaskId);
+    });
+    it('still errors on truly mismatched taskId (not parent/child relationship)', async () => {
+        const validator = new DefaultDiagRootCauseValidator();
+        const output = { ...validOutput, taskId: 'completely-different-task' };
+        const result = await validator.validate(output, 'diag_rootcause-diagnosis_manual_xxx');
+        expect(result.valid).toBe(false);
+        expect(result.errors.some((e) => e.includes('taskId mismatch'))).toBe(true);
+    });
+    it('still errors when taskId matches but other fields are invalid', async () => {
+        const validator = new DefaultDiagRootCauseValidator();
+        const output = { ...validOutput, taskId: 'task-001', rootCauseCategory: 'InvalidCategory' };
+        const result = await validator.validate(output, 'task-001');
+        expect(result.valid).toBe(false);
+    });
+});
+//# sourceMappingURL=diag-rootcause-output.test.js.map

package/core/dist/runtime-v2/diagnostician/__tests__/diag-rootcause-output.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diag-rootcause-output.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/diagnostician/__tests__/diag-rootcause-output.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAEzG,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,MAAM,WAAW,GAAG;QAClB,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,UAAU;QACvB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,cAAc;QACvB,WAAW,EAAE;YACX,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE;YAC1D,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE;SAC5D;QACD,SAAS,EAAE,6BAA6B;QACxC,iBAAiB,EAAE,QAAQ;QAC3B,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAChD,UAAU,EAAE,GAAG;QACf,cAAc,EAAE,CAAC,OAAO,CAAC;KAC1B,CAAC;IAEF,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,OAAO,EAAE,GAAG,WAAW,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,SAAS,GAAG,EAAE,GAAG,WAAW,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC;QACtE,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,SAAS,CAA4B,CAAC;QAC/F,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,SAAS,GAAG,IAAI,6BAA6B,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,SAAS,GAAG,IAAI,6BAA6B,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,SAAS,GAAG,IAAI,6BAA6B,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,QAAQ,EAAE,CAAC;QACjG,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;QAC/D,MAAM,SAAS,GAAG,IAAI,6BAA6B,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,qCAAqC,EAAE,iBAAiB,EAAE,QAAQ,EAAE,CAAC;QACjH,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAE/E,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,SAAS,GAAG,IAAI,6BAA6B,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,EAAE,GAAG,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;QAClE,MAAM,cAAc,GAAG,qCAAqC,CAAC;QAC7D,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAChE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACtD,2DAA2D;QAC3D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,KAAK,IAAI,EAAE;QAC7F,MAAM,SAAS,GAAG,IAAI,6BAA6B,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,EAAE,GAAG,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;QAClE,MAAM,cAAc,GAAG,qCAAqC,CAAC;QAC7D,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACjD,4DAA4D;QAC5D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,SAAS,GAAG,IAAI,6BAA6B,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,EAAE,GAAG,WAAW,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;QACvE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,qCAAqC,CAAC,CAAC;QACvF,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,SAAS,GAAG,IAAI,6BAA6B,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,EAAE,GAAG,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAC;QAC5F,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/core/dist/runtime-v2/diagnostician/__tests__/distiller-prompt-builder.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=distiller-prompt-builder.test.d.ts.map

package/core/dist/runtime-v2/diagnostician/__tests__/distiller-prompt-builder.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"distiller-prompt-builder.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/diagnostician/__tests__/distiller-prompt-builder.test.ts"],"names":[],"mappings":""}

package/core/dist/runtime-v2/diagnostician/__tests__/distiller-prompt-builder.test.js

@@ -0,0 +1,39 @@
+import { describe, it, expect } from 'vitest';
+import { DistillerPromptBuilder, buildDistillerProtocolInstruction } from '../distiller-prompt-builder.js';
+const mockRootCauseOutput = {
+    valid: true,
+    diagnosisId: 'diag-001',
+    taskId: 'task-001',
+    summary: 'Test summary',
+    causalChain: [{ why: 1, statement: 'First why', evidenceRefs: ['ref1'] }],
+    rootCause: 'Design: Poor error handling',
+    rootCauseCategory: 'Design',
+    evidence: [{ sourceRef: 'src1', note: 'note1' }],
+    confidence: 0.8,
+};
+describe('DistillerPromptBuilder', () => {
+    it('prompt includes Stage A root cause artifact as input', () => {
+        const builder = new DistillerPromptBuilder();
+        const result = builder.buildPrompt({
+            rootCauseArtifactId: 'artifact-001',
+            rootCauseOutput: mockRootCauseOutput,
+        });
+        expect(result.message).toContain('artifact-001');
+    });
+    it('prompt includes CORE_PRINCIPLES when coreGrounding=true', () => {
+        const instruction = buildDistillerProtocolInstruction({ coreGrounding: true });
+        expect(instruction).toContain('T-01');
+        expect(instruction).toContain('T-10');
+    });
+    it('prompt instructs LLM to only reference given axiom IDs, prohibit fabrication', () => {
+        const instruction = buildDistillerProtocolInstruction({ coreGrounding: true });
+        expect(instruction).toContain('fabricat');
+    });
+    it('prompt requires output matching DiagDistillerOutputV1Schema', () => {
+        const instruction = buildDistillerProtocolInstruction({ coreGrounding: false });
+        expect(instruction).toContain('abstractedPrinciple');
+        expect(instruction).toContain('groundedOnCorePrincipleIds');
+        expect(instruction).toContain('sourceRootCauseArtifactId');
+    });
+});
+//# sourceMappingURL=distiller-prompt-builder.test.js.map

package/core/dist/runtime-v2/diagnostician/__tests__/distiller-prompt-builder.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"distiller-prompt-builder.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/diagnostician/__tests__/distiller-prompt-builder.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,iCAAiC,EAAE,MAAM,gCAAgC,CAAC;AAG3G,MAAM,mBAAmB,GAA0B;IACjD,KAAK,EAAE,IAAI;IACX,WAAW,EAAE,UAAU;IACvB,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,cAAc;IACvB,WAAW,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IACzE,SAAS,EAAE,6BAA6B;IACxC,iBAAiB,EAAE,QAAQ;IAC3B,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAChD,UAAU,EAAE,GAAG;CAChB,CAAC;AAEF,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,OAAO,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;YACjC,mBAAmB,EAAE,cAAc;YACnC,eAAe,EAAE,mBAAmB;SACrC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,WAAW,GAAG,iCAAiC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,WAAW,GAAG,iCAAiC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,WAAW,GAAG,iCAAiC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;QAChF,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;QAC5D,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/core/dist/runtime-v2/diagnostician/__tests__/rootcause-prompt-builder.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=rootcause-prompt-builder.test.d.ts.map

package/core/dist/runtime-v2/diagnostician/__tests__/rootcause-prompt-builder.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rootcause-prompt-builder.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/diagnostician/__tests__/rootcause-prompt-builder.test.ts"],"names":[],"mappings":""}

package/core/dist/runtime-v2/diagnostician/__tests__/rootcause-prompt-builder.test.js

@@ -0,0 +1,34 @@
+import { describe, it, expect } from 'vitest';
+import { buildRootCauseProtocolInstruction } from '../rootcause-prompt-builder.js';
+describe('RootCausePromptBuilder', () => {
+    it('prompt contains PHASE 1-3 (evidence review, causal chain, root cause classification)', () => {
+        const instruction = buildRootCauseProtocolInstruction({ coreGrounding: false });
+        expect(instruction).toContain('PHASE 1');
+        expect(instruction).toContain('PHASE 2');
+        expect(instruction).toContain('PHASE 3');
+    });
+    it('prompt requires output matching DiagRootCauseOutputV1Schema', () => {
+        const instruction = buildRootCauseProtocolInstruction({ coreGrounding: false });
+        expect(instruction).toContain('diagnosisId');
+        expect(instruction).toContain('causalChain');
+        expect(instruction).toContain('rootCause');
+        expect(instruction).toContain('rootCauseCategory');
+    });
+    it('coreGrounding=true injects PHASE 3.5', () => {
+        const instruction = buildRootCauseProtocolInstruction({ coreGrounding: true });
+        expect(instruction).toContain('PHASE 3.5');
+        expect(instruction).toContain('Core Axiom Grounding');
+    });
+    it('coreGrounding=false does NOT include PHASE 3.5', () => {
+        const instruction = buildRootCauseProtocolInstruction({ coreGrounding: false });
+        expect(instruction).not.toContain('PHASE 3.5');
+    });
+    it('PHASE 3.5 appears between PHASE 3 and PHASE 4', () => {
+        const instruction = buildRootCauseProtocolInstruction({ coreGrounding: true });
+        const phase3Index = instruction.indexOf('PHASE 3');
+        const phase35Index = instruction.indexOf('PHASE 3.5');
+        // PHASE 3.5 must come after PHASE 3
+        expect(phase35Index).toBeGreaterThan(phase3Index);
+    });
+});
+//# sourceMappingURL=rootcause-prompt-builder.test.js.map

package/core/dist/runtime-v2/diagnostician/__tests__/rootcause-prompt-builder.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rootcause-prompt-builder.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/diagnostician/__tests__/rootcause-prompt-builder.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,iCAAiC,EAAE,MAAM,gCAAgC,CAAC;AAEnF,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,WAAW,GAAG,iCAAiC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;QAChF,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,WAAW,GAAG,iCAAiC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;QAChF,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,WAAW,GAAG,iCAAiC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,WAAW,GAAG,iCAAiC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;QAChF,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,WAAW,GAAG,iCAAiC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACnD,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACtD,oCAAoC;QACpC,MAAM,CAAC,YAAY,CAAC,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/core/dist/runtime-v2/diagnostician/__tests__/router-prompt-builder.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=router-prompt-builder.test.d.ts.map

package/core/dist/runtime-v2/diagnostician/__tests__/router-prompt-builder.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"router-prompt-builder.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/diagnostician/__tests__/router-prompt-builder.test.ts"],"names":[],"mappings":""}

package/core/dist/runtime-v2/diagnostician/__tests__/router-prompt-builder.test.js

@@ -0,0 +1,57 @@
+import { describe, it, expect } from 'vitest';
+import { RouterPromptBuilder } from '../router-prompt-builder.js';
+const mockRootCauseOutput = {
+    valid: true,
+    diagnosisId: 'diag-001',
+    taskId: 'task-001',
+    summary: 'Test summary',
+    causalChain: [{ why: 1, statement: 'First why', evidenceRefs: ['ref1'] }],
+    rootCause: 'Design: Poor error handling',
+    rootCauseCategory: 'Design',
+    evidence: [{ sourceRef: 'src1', note: 'note1' }],
+    confidence: 0.8,
+};
+const mockDistillerOutput = {
+    valid: true,
+    taskId: 'task-001',
+    sourceRootCauseArtifactId: 'artifact-001',
+    abstractedPrinciple: 'Prefer explicit error handling over silent fallbacks',
+    rationale: 'Root cause shows silent error swallowing',
+    groundedOnCorePrincipleIds: ['T-03'],
+    scope: 'general',
+    confidence: 0.85,
+};
+describe('RouterPromptBuilder', () => {
+    it('prompt includes Stage A + Stage B artifacts as input', () => {
+        const builder = new RouterPromptBuilder();
+        const result = builder.buildPrompt({
+            rootCauseArtifactId: 'artifact-001',
+            rootCauseOutput: mockRootCauseOutput,
+            distillerArtifactId: 'artifact-002',
+            distillerOutput: mockDistillerOutput,
+        });
+        expect(result.message).toContain('artifact-001');
+        expect(result.message).toContain('artifact-002');
+    });
+    it('prompt requires output matching DiagnosticianOutputV1Schema', () => {
+        const builder = new RouterPromptBuilder();
+        const instruction = builder.buildRouterInstruction();
+        expect(instruction).toContain('violatedPrinciples');
+        expect(instruction).toContain('recommendations');
+    });
+    it('prompt instructs filling violatedPrinciples from A + B', () => {
+        const builder = new RouterPromptBuilder();
+        const instruction = builder.buildRouterInstruction();
+        expect(instruction).toContain('violatedPrinciples');
+    });
+    it('prompt instructs filling recommendations from taxonomy decision', () => {
+        const builder = new RouterPromptBuilder();
+        const instruction = builder.buildRouterInstruction();
+        expect(instruction).toContain('principle');
+        expect(instruction).toContain('rule');
+        expect(instruction).toContain('implementation');
+        expect(instruction).toContain('prompt');
+        expect(instruction).toContain('defer');
+    });
+});
+//# sourceMappingURL=router-prompt-builder.test.js.map

package/core/dist/runtime-v2/diagnostician/__tests__/router-prompt-builder.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"router-prompt-builder.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/diagnostician/__tests__/router-prompt-builder.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAIlE,MAAM,mBAAmB,GAA0B;IACjD,KAAK,EAAE,IAAI;IACX,WAAW,EAAE,UAAU;IACvB,MAAM,EAAE,UAAU;IAClB,OAAO,EAAE,cAAc;IACvB,WAAW,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IACzE,SAAS,EAAE,6BAA6B;IACxC,iBAAiB,EAAE,QAAQ;IAC3B,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAChD,UAAU,EAAE,GAAG;CAChB,CAAC;AAEF,MAAM,mBAAmB,GAA0B;IACjD,KAAK,EAAE,IAAI;IACX,MAAM,EAAE,UAAU;IAClB,yBAAyB,EAAE,cAAc;IACzC,mBAAmB,EAAE,sDAAsD;IAC3E,SAAS,EAAE,0CAA0C;IACrD,0BAA0B,EAAE,CAAC,MAAM,CAAC;IACpC,KAAK,EAAE,SAAS;IAChB,UAAU,EAAE,IAAI;CACjB,CAAC;AAEF,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,OAAO,GAAG,IAAI,mBAAmB,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;YACjC,mBAAmB,EAAE,cAAc;YACnC,eAAe,EAAE,mBAAmB;YACpC,mBAAmB,EAAE,cAAc;YACnC,eAAe,EAAE,mBAAmB;SACrC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,OAAO,GAAG,IAAI,mBAAmB,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,OAAO,CAAC,sBAAsB,EAAE,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QACpD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,OAAO,GAAG,IAAI,mBAAmB,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,OAAO,CAAC,sBAAsB,EAAE,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,OAAO,GAAG,IAAI,mBAAmB,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,OAAO,CAAC,sBAAsB,EAAE,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAChD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/core/dist/runtime-v2/diagnostician/diag-distiller-output.d.ts

@@ -0,0 +1,80 @@
+/**
+ * Stage B (Distiller) output schema for the split diagnostician pipeline.
+ *
+ * The Distiller takes the root-cause artifact from Stage A and produces
+ * an abstracted, cross-scenario principle grounded on the T-01..T-10
+ * core axiom registry.
+ *
+ * @see PRI-372 — Split diagnostician into Stage A (Root Cause) + Stage B (Distiller)
+ */
+import { type Static } from '@sinclair/typebox';
+export declare const DiagDistillerScopeSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"general">, import("@sinclair/typebox").TLiteral<"domain">, import("@sinclair/typebox").TLiteral<"scenario">]>;
+/** Scope classification for a distilled principle. */
+export type DiagDistillerScope = Static<typeof DiagDistillerScopeSchema>;
+/**
+ * TypeBox schema for Stage B (Distiller) output.
+ *
+ * Lineage consistency: `sourceRootCauseArtifactId` must match the artifact
+ * produced by Stage A so that the pipeline can trace every distilled
+ * principle back to its root-cause diagnosis.
+ *
+ * `groundedOnCorePrincipleIds` is validated against the T-01..T-10
+ * registry at runtime — fabricated IDs cause validation failure.
+ *
+ * @see PRI-372
+ */
+export declare const DiagDistillerOutputV1Schema: import("@sinclair/typebox").TObject<{
+    valid: import("@sinclair/typebox").TBoolean;
+    taskId: import("@sinclair/typebox").TString;
+    sourceRootCauseArtifactId: import("@sinclair/typebox").TString;
+    abstractedPrinciple: import("@sinclair/typebox").TString;
+    rationale: import("@sinclair/typebox").TString;
+    groundedOnCorePrincipleIds: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    scope: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"general">, import("@sinclair/typebox").TLiteral<"domain">, import("@sinclair/typebox").TLiteral<"scenario">]>;
+    confidence: import("@sinclair/typebox").TNumber;
+    ambiguityNotes: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+}>;
+/** Inferred TypeScript type for Stage B (Distiller) output. */
+export type DiagDistillerOutputV1 = Static<typeof DiagDistillerOutputV1Schema>;
+/**
+ * Validator interface for DiagDistillerOutputV1.
+ *
+ * Accepts `unknown` input — implementations must perform runtime checks (ERR-001).
+ *
+ * @see PRI-372
+ */
+export interface DiagDistillerValidator {
+    /**
+     * Validate untrusted distiller stage output.
+     *
+     * @param output - Raw output to validate (treated as unknown — ERR-001)
+     * @param taskId - Expected taskId for lineage verification (ERR-008)
+     * @returns Validation result with valid flag, errors, and optional error category
+     */
+    validate(output: unknown, taskId: string): Promise<{
+        valid: boolean;
+        errors: string[];
+        errorCategory?: string;
+    }>;
+}
+/**
+ * Default validator for DiagDistillerOutputV1 using TypeBox Value.Check / Value.Errors.
+ *
+ * Validates:
+ *   1. Structural correctness via TypeBox schema
+ *   2. taskId lineage match (ERR-008)
+ *   3. Core principle registry membership — every id in
+ *      groundedOnCorePrincipleIds must pass isCorePrincipleId().
+ *      Fabricated IDs (e.g. T-99) produce a validation failure with
+ *      errorCategory 'output_invalid'.
+ *
+ * @see PRI-372
+ */
+export declare class DefaultDiagDistillerValidator implements DiagDistillerValidator {
+    validate(output: unknown, taskId: string): Promise<{
+        valid: boolean;
+        errors: string[];
+        errorCategory?: string;
+    }>;
+}
+//# sourceMappingURL=diag-distiller-output.d.ts.map

package/core/dist/runtime-v2/diagnostician/diag-distiller-output.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diag-distiller-output.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/diagnostician/diag-distiller-output.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAMtD,eAAO,MAAM,wBAAwB,yLAInC,CAAC;AAEH,sDAAsD;AACtD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAIzE;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,2BAA2B;;;;;;;;;;EAuBtC,CAAC;AAEH,+DAA+D;AAC/D,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAI/E;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC;;;;;;OAMG;IACH,QAAQ,CACN,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC1E;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,6BAA8B,YAAW,sBAAsB;IAEpE,QAAQ,CACZ,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAuCzE"}

package/core/dist/runtime-v2/diagnostician/diag-distiller-output.js

@@ -0,0 +1,103 @@
+/**
+ * Stage B (Distiller) output schema for the split diagnostician pipeline.
+ *
+ * The Distiller takes the root-cause artifact from Stage A and produces
+ * an abstracted, cross-scenario principle grounded on the T-01..T-10
+ * core axiom registry.
+ *
+ * @see PRI-372 — Split diagnostician into Stage A (Root Cause) + Stage B (Distiller)
+ */
+import { Type } from '@sinclair/typebox';
+import { Value } from '@sinclair/typebox/value';
+import { isCorePrincipleId } from '../core-principles/core-principle-registry.js';
+// ── Scope literal ─────────────────────────────────────────────────────────
+export const DiagDistillerScopeSchema = Type.Union([
+    Type.Literal('general'),
+    Type.Literal('domain'),
+    Type.Literal('scenario'),
+]);
+// ── Distiller Output V1 ──────────────────────────────────────────────────
+/**
+ * TypeBox schema for Stage B (Distiller) output.
+ *
+ * Lineage consistency: `sourceRootCauseArtifactId` must match the artifact
+ * produced by Stage A so that the pipeline can trace every distilled
+ * principle back to its root-cause diagnosis.
+ *
+ * `groundedOnCorePrincipleIds` is validated against the T-01..T-10
+ * registry at runtime — fabricated IDs cause validation failure.
+ *
+ * @see PRI-372
+ */
+export const DiagDistillerOutputV1Schema = Type.Object({
+    valid: Type.Boolean(),
+    taskId: Type.String({ minLength: 1 }),
+    sourceRootCauseArtifactId: Type.String({
+        minLength: 1,
+        description: 'Lineage consistency check — must match the artifact ID from Stage A',
+    }),
+    abstractedPrinciple: Type.String({
+        minLength: 1,
+        maxLength: 200,
+        description: 'Highly abstracted, cross-scenario principle (≤200 chars)',
+    }),
+    rationale: Type.String({
+        minLength: 1,
+        description: 'Why this principle addresses the root cause',
+    }),
+    groundedOnCorePrincipleIds: Type.Array(Type.String({ minLength: 1 }), {
+        description: 'Subset of T-01..T-10. Validated against registry — fabricated IDs cause validation failure.',
+    }),
+    scope: DiagDistillerScopeSchema,
+    confidence: Type.Number({ minimum: 0, maximum: 1 }),
+    ambiguityNotes: Type.Optional(Type.Array(Type.String())),
+});
+/**
+ * Default validator for DiagDistillerOutputV1 using TypeBox Value.Check / Value.Errors.
+ *
+ * Validates:
+ *   1. Structural correctness via TypeBox schema
+ *   2. taskId lineage match (ERR-008)
+ *   3. Core principle registry membership — every id in
+ *      groundedOnCorePrincipleIds must pass isCorePrincipleId().
+ *      Fabricated IDs (e.g. T-99) produce a validation failure with
+ *      errorCategory 'output_invalid'.
+ *
+ * @see PRI-372
+ */
+export class DefaultDiagDistillerValidator {
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
+    async validate(output, taskId) {
+        const errors = [];
+        // ── Step 1: Object guard ────────────────────────────────────────────────
+        if (typeof output !== 'object' || output === null) {
+            return { valid: false, errors: ['Output is not an object'], errorCategory: 'output_invalid' };
+        }
+        // Narrow to Record for property access — all fields still treated as untrusted.
+        const record = output;
+        // ── Step 2: taskId lineage check (ERR-008) ──────────────────────────────
+        if (typeof record.taskId !== 'string' || record.taskId !== taskId) {
+            errors.push(`taskId mismatch: expected ${taskId}, got ${String(record.taskId)}`);
+        }
+        // ── Step 3: TypeBox schema validation ───────────────────────────────────
+        if (!Value.Check(DiagDistillerOutputV1Schema, output)) {
+            const schemaErrors = [...Value.Errors(DiagDistillerOutputV1Schema, output)];
+            const messages = schemaErrors.map((e) => `${e.path}: ${e.message}`);
+            errors.push(...messages);
+        }
+        // ── Step 4: Core principle registry validation ──────────────────────────
+        // This constraint cannot be expressed in a TypeBox schema alone.
+        if (Array.isArray(record.groundedOnCorePrincipleIds)) {
+            for (const id of record.groundedOnCorePrincipleIds) {
+                if (typeof id === 'string' && !isCorePrincipleId(id)) {
+                    errors.push(`Fabricated axiom ID ${id} not in core principle registry`);
+                }
+            }
+        }
+        if (errors.length > 0) {
+            return { valid: false, errors, errorCategory: 'output_invalid' };
+        }
+        return { valid: true, errors: [] };
+    }
+}
+//# sourceMappingURL=diag-distiller-output.js.map

package/core/dist/runtime-v2/diagnostician/diag-distiller-output.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diag-distiller-output.js","sourceRoot":"","sources":["../../../src/runtime-v2/diagnostician/diag-distiller-output.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,IAAI,EAAe,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,+CAA+C,CAAC;AAElF,6EAA6E;AAE7E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CACzB,CAAC,CAAC;AAKH,4EAA4E;AAE5E;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;IACrB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;QACrC,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,qEAAqE;KACnF,CAAC;IACF,mBAAmB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC/B,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,GAAG;QACd,WAAW,EAAE,0DAA0D;KACxE,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;QACrB,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,6CAA6C;KAC3D,CAAC;IACF,0BAA0B,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE;QACpE,WAAW,EACT,6FAA6F;KAChG,CAAC;IACF,KAAK,EAAE,wBAAwB;IAC/B,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACnD,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;CACzD,CAAC,CAAC;AA4BH;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,6BAA6B;IACxC,qEAAqE;IACrE,KAAK,CAAC,QAAQ,CACZ,MAAe,EACf,MAAc;QAEd,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,2EAA2E;QAC3E,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YAClD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,yBAAyB,CAAC,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC;QAChG,CAAC;QAED,gFAAgF;QAChF,MAAM,MAAM,GAAG,MAAiC,CAAC;QAEjD,2EAA2E;QAC3E,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC,6BAA6B,MAAM,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACnF,CAAC;QAED,2EAA2E;QAC3E,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,MAAM,CAAC,EAAE,CAAC;YACtD,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,2BAA2B,EAAE,MAAM,CAAC,CAAC,CAAC;YAC5E,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACpE,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;QAC3B,CAAC;QAED,2EAA2E;QAC3E,iEAAiE;QACjE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,0BAA0B,CAAC,EAAE,CAAC;YACrD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,0BAA0B,EAAE,CAAC;gBACnD,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC;oBACrD,MAAM,CAAC,IAAI,CAAC,uBAAuB,EAAE,iCAAiC,CAAC,CAAC;gBAC1E,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC;QACnE,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACrC,CAAC;CACF"}

package/core/dist/runtime-v2/diagnostician/diag-rootcause-output.d.ts

@@ -0,0 +1,117 @@
+/**
+ * Root Cause stage (Stage A) output schema for the split diagnostician pipeline.
+ *
+ * This schema defines the output of the Root Cause stage, which identifies
+ * the underlying cause of a pain signal using a 5-Whys causal chain and
+ * categorises it into one of four root-cause categories.
+ *
+ * The taskId field is lineage data re-injected by the runner if stripped
+ * by the adapter before LLM validation (ERR-008).
+ *
+ * @see PRI-372
+ */
+import { type Static } from '@sinclair/typebox';
+/**
+ * Root-cause category literal union.
+ *
+ * Every root cause MUST be classified into exactly one of these four
+ * categories. The category prefix in `rootCause` must match this value.
+ *
+ * @see PRI-372
+ */
+export declare const RootCauseCategorySchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"People">, import("@sinclair/typebox").TLiteral<"Design">, import("@sinclair/typebox").TLiteral<"Assumption">, import("@sinclair/typebox").TLiteral<"Tooling">]>;
+/** Root-cause category: People | Design | Assumption | Tooling */
+export type RootCauseCategory = Static<typeof RootCauseCategorySchema>;
+/**
+ * A single entry in the 5-Whys causal chain.
+ *
+ * `why` is 1-indexed (1 = shallowest, 5 = deepest).
+ */
+export declare const CausalChainEntrySchema: import("@sinclair/typebox").TObject<{
+    why: import("@sinclair/typebox").TNumber;
+    statement: import("@sinclair/typebox").TString;
+    evidenceRefs: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+}>;
+/** A single entry in the 5-Whys causal chain. */
+export type CausalChainEntry = Static<typeof CausalChainEntrySchema>;
+/**
+ * Evidence entry linking a source reference to an explanatory note.
+ */
+export declare const DiagRootCauseEvidenceSchema: import("@sinclair/typebox").TObject<{
+    sourceRef: import("@sinclair/typebox").TString;
+    note: import("@sinclair/typebox").TString;
+}>;
+/** Evidence entry linking a source reference to an explanatory note. */
+export type DiagRootCauseEvidence = Static<typeof DiagRootCauseEvidenceSchema>;
+/**
+ * TypeBox schema for the Root Cause stage (Stage A) output.
+ *
+ * Consumed by the next pipeline stage and stored as a RunRecord output.
+ * The host layer (runner) is responsible for re-injecting `taskId` if
+ * the adapter strips lineage fields before LLM invocation (ERR-008).
+ *
+ * @see PRI-372
+ */
+export declare const DiagRootCauseOutputV1Schema: import("@sinclair/typebox").TObject<{
+    valid: import("@sinclair/typebox").TBoolean;
+    diagnosisId: import("@sinclair/typebox").TString;
+    taskId: import("@sinclair/typebox").TString;
+    summary: import("@sinclair/typebox").TString;
+    causalChain: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+        why: import("@sinclair/typebox").TNumber;
+        statement: import("@sinclair/typebox").TString;
+        evidenceRefs: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>>;
+    rootCause: import("@sinclair/typebox").TString;
+    rootCauseCategory: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"People">, import("@sinclair/typebox").TLiteral<"Design">, import("@sinclair/typebox").TLiteral<"Assumption">, import("@sinclair/typebox").TLiteral<"Tooling">]>;
+    evidence: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+        sourceRef: import("@sinclair/typebox").TString;
+        note: import("@sinclair/typebox").TString;
+    }>>;
+    confidence: import("@sinclair/typebox").TNumber;
+    ambiguityNotes: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+}>;
+/** Typed output of the Root Cause stage (Stage A). */
+export type DiagRootCauseOutputV1 = Static<typeof DiagRootCauseOutputV1Schema>;
+/**
+ * Validator interface for DiagRootCauseOutputV1.
+ *
+ * Accepts `unknown` input — implementations must perform runtime checks (ERR-001).
+ *
+ * @see PRI-372
+ */
+export interface DiagRootCauseValidator {
+    /**
+     * Validate untrusted root-cause stage output.
+     *
+     * @param output - Raw output to validate (treated as unknown — ERR-001)
+     * @param taskId - Expected taskId for lineage verification (ERR-008)
+     * @returns Validation result with valid flag, errors, and optional error category
+     */
+    validate(output: unknown, taskId: string): Promise<{
+        valid: boolean;
+        errors: string[];
+        errorCategory?: string;
+        warnings?: string[];
+    }>;
+}
+/**
+ * Default validator for DiagRootCauseOutputV1 using TypeBox Value.Check / Value.Errors.
+ *
+ * Validates:
+ *   1. Structural correctness via TypeBox schema
+ *   2. taskId lineage match (ERR-008)
+ *   3. rootCauseCategory consistency with rootCause prefix
+ *   4. causalChain entry ordering (why field 1-5)
+ *
+ * @see PRI-372
+ */
+export declare class DefaultDiagRootCauseValidator implements DiagRootCauseValidator {
+    validate(output: unknown, taskId: string): Promise<{
+        valid: boolean;
+        errors: string[];
+        errorCategory?: string;
+        warnings?: string[];
+    }>;
+}
+//# sourceMappingURL=diag-rootcause-output.d.ts.map

package/core/dist/runtime-v2/diagnostician/diag-rootcause-output.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diag-rootcause-output.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/diagnostician/diag-rootcause-output.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAKtD;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,2OAKlC,CAAC;AAEH,kEAAkE;AAClE,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAEvE;;;;GAIG;AACH,eAAO,MAAM,sBAAsB;;;;EAIjC,CAAC;AAEH,iDAAiD;AACjD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAErE;;GAEG;AACH,eAAO,MAAM,2BAA2B;;;EAGtC,CAAC;AAEH,wEAAwE;AACxE,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAI/E;;;;;;;;GAQG;AACH,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;EActC,CAAC;AAEH,sDAAsD;AACtD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAM/E;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CACvI;AAED;;;;;;;;;;GAUG;AACH,qBAAa,6BAA8B,YAAW,sBAAsB;IAEpE,QAAQ,CACZ,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CA2G9F"}