@principles/core 1.123.0 → 1.124.0

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"diag-rootcause-output.js","sourceRoot":"","sources":["../../../src/runtime-v2/diagnostician/diag-rootcause-output.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,IAAI,EAAe,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAEhD,gFAAgF;AAEhF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;CACxB,CAAC,CAAC;AAKH;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC5C,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACxC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;CACzE,CAAC,CAAC;AAKH;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACxC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CACpC,CAAC,CAAC;AAKH,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,4CAA4C,EAAE,CAAC;IAChG,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC/C,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;QACrB,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,qGAAqG;KACnH,CAAC;IACF,iBAAiB,EAAE,uBAAuB;IAC1C,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;IACjD,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;AAKH,gFAAgF;AAEhF,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC;AAoBnG;;;;;;;;;;GAUG;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,MAAM,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAC3C,CAAC;QAED,2EAA2E;QAC3E,IAAI,OAAO,MAAM,CAAC,iBAAiB,KAAK,QAAQ,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC/G,MAAM,CAAC,IAAI,CAAC,0EAA0E,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QAC5H,CAAC;QAED,2EAA2E;QAC3E,IACE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ;eACjC,OAAO,MAAM,CAAC,iBAAiB,KAAK,QAAQ;eAC5C,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAC5D,CAAC;YACD,MAAM,cAAc,GAAG,GAAG,MAAM,CAAC,iBAAiB,IAAI,CAAC;YACvD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;gBACjD,MAAM,CAAC,IAAI,CAAC,8BAA8B,cAAc,kCAAkC,MAAM,CAAC,iBAAiB,aAAa,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC/M,CAAC;QACH,CAAC;QAED,2EAA2E;QAC3E,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;YACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnD,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAwC,CAAC;gBAC3E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;oBACxC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,qBAAqB,CAAC,CAAC;oBACnD,SAAS;gBACX,CAAC;gBACD,IAAI,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;oBACpE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,kCAAkC,CAAC,CAAC;gBAClE,CAAC;gBACD,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBACzE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,wCAAwC,CAAC,CAAC;gBACxE,CAAC;gBACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;oBACvC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,iCAAiC,CAAC,CAAC;gBACjE,CAAC;qBAAM,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3C,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,0CAA0C,CAAC,CAAC;gBAC1E,CAAC;YACH,CAAC;QACH,CAAC;QAED,2EAA2E;QAC3E,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAwC,CAAC;gBACrE,IAAI,CAAC,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAClC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,qBAAqB,CAAC,CAAC;oBAChD,SAAS;gBACX,CAAC;gBACD,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBACnE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,wCAAwC,CAAC,CAAC;gBACrE,CAAC;gBACD,IAAI,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBACzD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,mCAAmC,CAAC,CAAC;gBAChE,CAAC;YACH,CAAC;QACH,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,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/distiller-prompt-builder.d.ts

@@ -0,0 +1,134 @@
+/**
+ * DistillerPromptBuilder — Stage B prompt builder for the split diagnostician pipeline.
+ *
+ * Constructs the prompt for the Distiller stage (Stage B). It receives the
+ * Stage A root cause artifact as input and produces an abstracted principle
+ * grounded on core axioms (T-01..T-10).
+ *
+ * ## Prompt Sections
+ *
+ * 1. Role — principle distiller identity
+ * 2. Input — Stage A root cause output (structured data)
+ * 3. Core Axioms — T-01..T-10 list (when coreGrounding=true)
+ * 4. Output Requirements — DiagDistillerOutputV1Schema
+ * 5. Quality Guard — abstract vs rule-like distinction
+ *
+ * @see PRI-372
+ */
+import type { TSchema } from '@sinclair/typebox';
+import type { SchemaPromptAdapter } from '../adapter/schema-prompt-adapter.js';
+import type { DiagRootCauseOutputV1 } from './diag-rootcause-output.js';
+import type { OutputLanguage } from '../language-directive.js';
+import type { BuildPromptOptions } from '../diagnostician-prompt-builder.js';
+/**
+ * Options for DistillerPromptBuilder constructor and buildDistillerInstruction.
+ *
+ * Uses an opts-object pattern to satisfy @typescript-eslint/max-params.
+ *
+ * @see PRI-372
+ */
+export interface DistillerPromptBuilderOptions {
+    /** Schema prompt adapter (default: DefaultSchemaPromptAdapter) */
+    adapter?: SchemaPromptAdapter;
+    /** TypeBox schema for output validation (default: DiagDistillerOutputV1Schema) */
+    schema?: TSchema;
+    /** Output language directive (default: none) */
+    outputLanguage?: OutputLanguage;
+    /** Inject core axiom grounding section (default: false) */
+    coreGrounding?: boolean;
+}
+/**
+ * Input context for the Distiller stage (Stage B).
+ *
+ * Contains the Stage A root cause artifact ID and output, plus an optional
+ * coreGrounding flag that overrides the builder-level default.
+ *
+ * @see PRI-372
+ */
+export interface DistillerContextInput {
+    /** Artifact ID of the Stage A root cause output — used for lineage tracing */
+    rootCauseArtifactId: string;
+    /** Stage A root cause output — the structured data to abstract from */
+    rootCauseOutput: DiagRootCauseOutputV1;
+    /** Override builder-level coreGrounding for this specific invocation */
+    coreGrounding?: boolean;
+}
+/**
+ * PromptInput for the Distiller stage (Stage B).
+ *
+ * Unlike Stage A (which uses the full DiagnosticianContextPayload),
+ * Stage B receives only the Stage A root cause artifact and the
+ * distiller instruction.
+ *
+ * @see PRI-372
+ */
+export interface DistillerPromptInput {
+    /** Artifact ID of the Stage A root cause output — for lineage tracing */
+    rootCauseArtifactId: string;
+    /** Stage A root cause output — the structured data to abstract from */
+    rootCauseOutput: DiagRootCauseOutputV1;
+    /** Distiller protocol instruction for the LLM */
+    distillerInstruction: string;
+}
+/**
+ * Build result for the Distiller stage (Stage B).
+ *
+ * Follows the same contract as PromptBuildResult but with a
+ * DistillerPromptInput shape specific to Stage B.
+ *
+ * @see PRI-372
+ */
+export interface DistillerPromptBuildResult {
+    /** JSON string — the exact value to pass as openclaw agent --message argument */
+    readonly message: string;
+    /** The DistillerPromptInput object that was serialized to JSON */
+    readonly promptInput: DistillerPromptInput;
+}
+/**
+ * Build the Stage B distiller protocol instruction.
+ *
+ * When `coreGrounding` is true, the Core Axioms section is included with
+ * the full T-01..T-10 list and a strict instruction prohibiting fabricated
+ * axiom IDs. When false or undefined, the section is omitted.
+ *
+ * @see PRI-372
+ */
+export declare function buildDistillerProtocolInstruction(opts?: DistillerPromptBuilderOptions): string;
+/**
+ * DistillerPromptBuilder — Stage B prompt builder for the split diagnostician pipeline.
+ *
+ * Receives the Stage A root cause artifact as input and produces an abstracted
+ * principle grounded on core axioms (T-01..T-10).
+ *
+ * Uses an opts-object pattern for all methods to satisfy @typescript-eslint/max-params.
+ *
+ * @see PRI-372
+ */
+export declare class DistillerPromptBuilder {
+    private readonly adapter;
+    private readonly schema;
+    constructor(opts?: DistillerPromptBuilderOptions);
+    /**
+     * Build the Stage B distiller protocol instruction.
+     *
+     * Contains the role definition, input description, core axioms section
+     * (when coreGrounding=true), output requirements, and quality guard.
+     *
+     * @see PRI-372
+     */
+    buildDistillerInstruction(opts?: DistillerPromptBuilderOptions): string;
+    /**
+     * Build the full prompt for Stage B.
+     *
+     * Constructs a DistillerPromptBuildResult containing the JSON message to pass
+     * as the --message argument to the LLM agent. The message includes the
+     * distiller instruction and the Stage A root cause context.
+     *
+     * Per DPB-02: Output is ONLY JSON — no markdown, no file ops, no tool calls.
+     * Per DPB-05: This method only builds the prompt; it does NOT commit to PD database.
+     *
+     * @see PRI-372
+     */
+    buildPrompt(context: DistillerContextInput, opts?: BuildPromptOptions): DistillerPromptBuildResult;
+}
+//# sourceMappingURL=distiller-prompt-builder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"distiller-prompt-builder.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/diagnostician/distiller-prompt-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAG/E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAExE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAI7E;;;;;;GAMG;AACH,MAAM,WAAW,6BAA6B;IAC5C,kEAAkE;IAClE,OAAO,CAAC,EAAE,mBAAmB,CAAC;IAC9B,kFAAkF;IAClF,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,gDAAgD;IAChD,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,2DAA2D;IAC3D,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAID;;;;;;;GAOG;AACH,MAAM,WAAW,qBAAqB;IACpC,8EAA8E;IAC9E,mBAAmB,EAAE,MAAM,CAAC;IAC5B,uEAAuE;IACvE,eAAe,EAAE,qBAAqB,CAAC;IACvC,wEAAwE;IACxE,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAID;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAoB;IACnC,yEAAyE;IACzE,mBAAmB,EAAE,MAAM,CAAC;IAC5B,uEAAuE;IACvE,eAAe,EAAE,qBAAqB,CAAC;IACvC,iDAAiD;IACjD,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,0BAA0B;IACzC,iFAAiF;IACjF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,kEAAkE;IAClE,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;CAC5C;AAID;;;;;;;;GAQG;AACH,wBAAgB,iCAAiC,CAC/C,IAAI,GAAE,6BAAkC,GACvC,MAAM,CAgER;AAID;;;;;;;;;GASG;AACH,qBAAa,sBAAsB;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAsB;IAC9C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAU;gBAErB,IAAI,GAAE,6BAAkC;IAKpD;;;;;;;OAOG;IACH,yBAAyB,CAAC,IAAI,GAAE,6BAAkC,GAAG,MAAM;IAS3E;;;;;;;;;;;OAWG;IACH,WAAW,CACT,OAAO,EAAE,qBAAqB,EAC9B,IAAI,GAAE,kBAAuB,GAC5B,0BAA0B;CAmB9B"}