@principles/core 1.123.0 → 1.125.0

package/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/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/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/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/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/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/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/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/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/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/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/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/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/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/dist/runtime-v2/diagnostician/diag-rootcause-output.d.ts

@@ -0,0 +1,115 @@
+/**
+ * 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;
+    }>;
+}
+/**
+ * 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;
+    }>;
+}
+//# sourceMappingURL=diag-rootcause-output.d.ts.map

package/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,CAAA;KAAE,CAAC,CAAC;CAClH;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,CAAA;KAAE,CAAC;CA0FzE"}

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

@@ -0,0 +1,166 @@
+/**
+ * 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 } from '@sinclair/typebox';
+import { Value } from '@sinclair/typebox/value';
+// ── Sub-schemas ──────────────────────────────────────────────────────────────
+/**
+ * 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 const RootCauseCategorySchema = Type.Union([
+    Type.Literal('People'),
+    Type.Literal('Design'),
+    Type.Literal('Assumption'),
+    Type.Literal('Tooling'),
+]);
+/**
+ * A single entry in the 5-Whys causal chain.
+ *
+ * `why` is 1-indexed (1 = shallowest, 5 = deepest).
+ */
+export const CausalChainEntrySchema = Type.Object({
+    why: Type.Number({ minimum: 1, maximum: 5 }),
+    statement: Type.String({ minLength: 1 }),
+    evidenceRefs: Type.Array(Type.String({ minLength: 1 }), { minItems: 1 }),
+});
+/**
+ * Evidence entry linking a source reference to an explanatory note.
+ */
+export const DiagRootCauseEvidenceSchema = Type.Object({
+    sourceRef: Type.String({ minLength: 1 }),
+    note: Type.String({ minLength: 1 }),
+});
+// ── Main output schema ───────────────────────────────────────────────────────
+/**
+ * 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 const DiagRootCauseOutputV1Schema = Type.Object({
+    valid: Type.Boolean(),
+    diagnosisId: Type.String({ minLength: 1 }),
+    taskId: Type.String({ minLength: 1, description: 'Lineage — re-injected if stripped; ERR-008' }),
+    summary: Type.String({ minLength: 1 }),
+    causalChain: Type.Array(CausalChainEntrySchema),
+    rootCause: Type.String({
+        minLength: 1,
+        description: 'MUST include category prefix: "People: ..." or "Design: ..." or "Assumption: ..." or "Tooling: ..."',
+    }),
+    rootCauseCategory: RootCauseCategorySchema,
+    evidence: Type.Array(DiagRootCauseEvidenceSchema),
+    confidence: Type.Number({ minimum: 0, maximum: 1 }),
+    ambiguityNotes: Type.Optional(Type.Array(Type.String())),
+});
+// ── Validator ────────────────────────────────────────────────────────────────
+const VALID_ROOT_CAUSE_CATEGORIES = new Set(['People', 'Design', 'Assumption', 'Tooling']);
+/**
+ * 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 class DefaultDiagRootCauseValidator {
+    // 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: valid flag must be true ─────────────────────────────────────
+        if (record.valid !== true) {
+            errors.push('output.valid must be true');
+        }
+        // ── Step 4: rootCauseCategory semantic check ────────────────────────────
+        if (typeof record.rootCauseCategory !== 'string' || !VALID_ROOT_CAUSE_CATEGORIES.has(record.rootCauseCategory)) {
+            errors.push(`rootCauseCategory must be one of People|Design|Assumption|Tooling, got ${String(record.rootCauseCategory)}`);
+        }
+        // ── Step 4b: rootCause prefix must match rootCauseCategory ──────────────
+        if (typeof record.rootCause === 'string'
+            && typeof record.rootCauseCategory === 'string'
+            && VALID_ROOT_CAUSE_CATEGORIES.has(record.rootCauseCategory)) {
+            const expectedPrefix = `${record.rootCauseCategory}: `;
+            if (!record.rootCause.startsWith(expectedPrefix)) {
+                errors.push(`rootCause must start with "${expectedPrefix}" (matching rootCauseCategory "${record.rootCauseCategory}"), got: "${record.rootCause.slice(0, 40)}${record.rootCause.length > 40 ? '...' : ''}"`);
+            }
+        }
+        // ── Step 5: causalChain entry-level checks ──────────────────────────────
+        if (Array.isArray(record.causalChain)) {
+            for (let i = 0; i < record.causalChain.length; i++) {
+                const entry = record.causalChain[i];
+                if (!entry || typeof entry !== 'object') {
+                    errors.push(`causalChain[${i}] must be an object`);
+                    continue;
+                }
+                if (typeof entry.why !== 'number' || entry.why < 1 || entry.why > 5) {
+                    errors.push(`causalChain[${i}].why must be a number in [1, 5]`);
+                }
+                if (typeof entry.statement !== 'string' || entry.statement.trim() === '') {
+                    errors.push(`causalChain[${i}].statement must be a non-empty string`);
+                }
+                if (!Array.isArray(entry.evidenceRefs)) {
+                    errors.push(`causalChain[${i}].evidenceRefs must be an array`);
+                }
+                else if (entry.evidenceRefs.length === 0) {
+                    errors.push(`causalChain[${i}].evidenceRefs must have at least 1 item`);
+                }
+            }
+        }
+        // ── Step 6: evidence entry-level checks ─────────────────────────────────
+        if (Array.isArray(record.evidence)) {
+            for (let i = 0; i < record.evidence.length; i++) {
+                const ev = record.evidence[i];
+                if (!ev || typeof ev !== 'object') {
+                    errors.push(`evidence[${i}] must be an object`);
+                    continue;
+                }
+                if (typeof ev.sourceRef !== 'string' || ev.sourceRef.trim() === '') {
+                    errors.push(`evidence[${i}].sourceRef must be a non-empty string`);
+                }
+                if (typeof ev.note !== 'string' || ev.note.trim() === '') {
+                    errors.push(`evidence[${i}].note must be a non-empty string`);
+                }
+            }
+        }
+        // ── Step 7: TypeBox schema validation as fallback ───────────────────────
+        if (!Value.Check(DiagRootCauseOutputV1Schema, output)) {
+            const schemaErrors = [...Value.Errors(DiagRootCauseOutputV1Schema, output)];
+            const messages = schemaErrors.map((e) => `${e.path}: ${e.message}`);
+            errors.push(...messages);
+        }
+        if (errors.length > 0) {
+            return { valid: false, errors, errorCategory: 'output_invalid' };
+        }
+        return { valid: true, errors: [] };
+    }
+}
+//# sourceMappingURL=diag-rootcause-output.js.map