@principles/core 1.122.0 → 1.124.0

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"}

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

@@ -0,0 +1,156 @@
+/**
+ * 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 { DefaultSchemaPromptAdapter } from '../adapter/schema-prompt-adapter.js';
+import { DiagDistillerOutputV1Schema } from './diag-distiller-output.js';
+import { CORE_PRINCIPLES } from '../core-principles/core-principle-registry.js';
+import { buildLanguageDirective } from '../language-directive.js';
+// ── Instruction builder ──────────────────────────────────────────────────────
+/**
+ * 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 function buildDistillerProtocolInstruction(opts = {}) {
+    const adapter = opts.adapter ?? new DefaultSchemaPromptAdapter();
+    const schema = opts.schema ?? DiagDistillerOutputV1Schema;
+    const { outputLanguage, coreGrounding } = opts;
+    const example = adapter.generateExample(schema);
+    const constraints = adapter.generateConstraints(schema);
+    const languageDirective = buildLanguageDirective(outputLanguage);
+    // Core Axioms section — only when coreGrounding is true
+    const coreAxiomsBlock = coreGrounding
+        ? `
+CORE AXIOMS:
+The following core axioms are the system's foundational behavioral principles.
+You MUST only reference axiom IDs from this list. Fabricating IDs not in this
+list will cause validation failure.
+
+${CORE_PRINCIPLES.map(p => `${p.id}: ${p.statement}`).join('\n')}
+
+`
+        : '';
+    return `You are a principle distiller. Your job is to abstract a specific root cause into a general, cross-scenario principle.
+
+INPUT:
+You will receive the Stage A root cause output as structured data. This contains:
+- summary: a concise description of the diagnosis
+- causalChain: the 5-Whys causal chain
+- rootCause: the classified root cause with category prefix
+- rootCauseCategory: People | Design | Assumption | Tooling
+- evidence: supporting evidence entries
+- confidence: the Stage A confidence score
+${coreAxiomsBlock}OUTPUT REQUIREMENTS:
+Your output MUST match the following JSON schema exactly.
+
+COMPLETE EXAMPLE OUTPUT (follow this exact structure):
+${example}
+
+Key fields:
+- abstractedPrinciple: ≤200 chars, abstract, cross-scenario principle that grows from the root cause
+- groundedOnCorePrincipleIds: subset of the provided axiom IDs above (empty array if none apply)
+- sourceRootCauseArtifactId: MUST match the provided artifact ID exactly
+- scope: 'general' | 'domain' | 'scenario'
+- rationale: why this principle addresses the root cause
+- confidence: 0-1 scale
+
+QUALITY GUARD:
+Your principle must be ABSTRACT, not rule-like. Avoid concrete trigger patterns,
+specific tools, or implementation details. A principle is directional wisdom;
+a rule is a boundary condition.
+
+Examples:
+- GOOD (abstract principle): "Prefer understanding the existing structure before modifying it"
+- BAD (rule-like): "Always run grep before editing files" or "Never use as casts"
+- GOOD (intent over technique): "Explicitly stated user constraints take precedence over inferred optimal paths"
+- BAD (technique-specific): "Do not create project files in /tmp directory"
+
+CONSTRAINTS:
+- Output ONLY valid JSON — no markdown, no explanatory text, no code fences, no prose before or after
+- Do NOT read files, call tools, or write to any database
+- abstractedPrinciple MUST be ≤200 characters
+- groundedOnCorePrincipleIds MUST only contain IDs from the provided axiom list${coreGrounding ? ' above' : ''}; fabricated IDs cause validation failure
+- sourceRootCauseArtifactId MUST match the provided artifact ID
+${constraints}${languageDirective}`;
+}
+// ── Prompt builder class ─────────────────────────────────────────────────────
+/**
+ * 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 class DistillerPromptBuilder {
+    adapter;
+    schema;
+    constructor(opts = {}) {
+        this.adapter = opts.adapter ?? new DefaultSchemaPromptAdapter();
+        this.schema = opts.schema ?? DiagDistillerOutputV1Schema;
+    }
+    /**
+     * 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 = {}) {
+        return buildDistillerProtocolInstruction({
+            adapter: opts.adapter ?? this.adapter,
+            schema: opts.schema ?? this.schema,
+            outputLanguage: opts.outputLanguage,
+            coreGrounding: opts.coreGrounding,
+        });
+    }
+    /**
+     * 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, opts = {}) {
+        const { outputLanguage } = opts;
+        const coreGrounding = context.coreGrounding ?? opts.coreGrounding;
+        const distillerInstruction = this.buildDistillerInstruction({
+            outputLanguage,
+            coreGrounding,
+        });
+        const promptInput = {
+            rootCauseArtifactId: context.rootCauseArtifactId,
+            rootCauseOutput: context.rootCauseOutput,
+            distillerInstruction,
+        };
+        const message = JSON.stringify(promptInput);
+        return { message, promptInput };
+    }
+}
+//# sourceMappingURL=distiller-prompt-builder.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"distiller-prompt-builder.js","sourceRoot":"","sources":["../../../src/runtime-v2/diagnostician/distiller-prompt-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,OAAO,EAAE,eAAe,EAAE,MAAM,+CAA+C,CAAC;AAEhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AA6ElE,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,UAAU,iCAAiC,CAC/C,OAAsC,EAAE;IAExC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,0BAA0B,EAAE,CAAC;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,2BAA2B,CAAC;IAC1D,MAAM,EAAE,cAAc,EAAE,aAAa,EAAE,GAAG,IAAI,CAAC;IAE/C,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,OAAO,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,cAAc,CAAC,CAAC;IAEjE,wDAAwD;IACxD,MAAM,eAAe,GAAG,aAAa;QACnC,CAAC,CAAC;;;;;;EAMJ,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;CAE/D;QACG,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO;;;;;;;;;;EAUP,eAAe;;;;EAIf,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;iFAyBwE,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;;EAE5G,WAAW,GAAG,iBAAiB,EAAE,CAAC;AACpC,CAAC;AAED,gFAAgF;AAEhF;;;;;;;;;GASG;AACH,MAAM,OAAO,sBAAsB;IAChB,OAAO,CAAsB;IAC7B,MAAM,CAAU;IAEjC,YAAY,OAAsC,EAAE;QAClD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,0BAA0B,EAAE,CAAC;QAChE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,2BAA2B,CAAC;IAC3D,CAAC;IAED;;;;;;;OAOG;IACH,yBAAyB,CAAC,OAAsC,EAAE;QAChE,OAAO,iCAAiC,CAAC;YACvC,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO;YACrC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM;YAClC,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,aAAa,EAAE,IAAI,CAAC,aAAa;SAClC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACH,WAAW,CACT,OAA8B,EAC9B,OAA2B,EAAE;QAE7B,MAAM,EAAE,cAAc,EAAE,GAAG,IAAI,CAAC;QAChC,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC;QAElE,MAAM,oBAAoB,GAAG,IAAI,CAAC,yBAAyB,CAAC;YAC1D,cAAc;YACd,aAAa;SACd,CAAC,CAAC;QAEH,MAAM,WAAW,GAAyB;YACxC,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;YAChD,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,oBAAoB;SACrB,CAAC;QAEF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAE5C,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IAClC,CAAC;CACF"}

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

@@ -0,0 +1,96 @@
+/**
+ * RootCausePromptBuilder — Stage A prompt builder for the split diagnostician pipeline.
+ *
+ * Constructs the prompt for the Root Cause stage (Stage A), 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.
+ *
+ * ## Phases
+ *
+ * - PHASE 1 — Evidence Review
+ * - PHASE 2 — Causal Chain (5 Whys)
+ * - PHASE 3 — Root Cause Classification
+ * - PHASE 3.5 — Core Axiom Grounding (when coreGrounding=true, PRI-371)
+ *
+ * ## Output
+ *
+ * The prompt requires output matching DiagRootCauseOutputV1Schema.
+ *
+ * @see PRI-372
+ */
+import type { TSchema } from '@sinclair/typebox';
+import type { SchemaPromptAdapter } from '../adapter/schema-prompt-adapter.js';
+import type { DiagnosticianContextPayload } from '../context-payload.js';
+import type { OutputLanguage } from '../language-directive.js';
+import type { BuildPromptOptions, PromptBuildResult } from '../diagnostician-prompt-builder.js';
+/**
+ * Options for RootCausePromptBuilder constructor and buildRootCauseInstruction.
+ *
+ * Uses an opts-object pattern to satisfy @typescript-eslint/max-params.
+ *
+ * @see PRI-372
+ */
+export interface RootCausePromptBuilderOptions {
+    /** Schema prompt adapter (default: DefaultSchemaPromptAdapter) */
+    adapter?: SchemaPromptAdapter;
+    /** TypeBox schema for output validation (default: DiagRootCauseOutputV1Schema) */
+    schema?: TSchema;
+    /** Output language directive (default: none) */
+    outputLanguage?: OutputLanguage;
+    /** T-E (PRI-371): Inject core axiom grounding as PHASE 3.5 (default: false) */
+    coreGrounding?: boolean;
+}
+/**
+ * Build the Stage A diagnostic protocol instruction (PHASE 1–3 + optional PHASE 3.5).
+ *
+ * Per DPB-02 (LOCKED): Output is ONLY JSON — no markdown, no file ops, no tool calls.
+ * Per DPB-04: LLM can only analyse the context provided in the prompt; it must NOT
+ *   read files, call tools, or write to databases.
+ *
+ * When `coreGrounding` is true, PHASE 3.5 (Core Axiom Grounding) is inserted
+ * between PHASE 3 and the final output instruction. When false or undefined,
+ * a newline is inserted to preserve byte-identical output (EP-03: no silent fallback).
+ *
+ * @see PRI-372
+ */
+export declare function buildRootCauseProtocolInstruction(opts?: RootCausePromptBuilderOptions): string;
+/**
+ * RootCausePromptBuilder — Stage A prompt builder for the split diagnostician pipeline.
+ *
+ * Transforms DiagnosticianContextPayload into a PromptBuildResult for the
+ * Root Cause stage (Stage A). The output prompt requires the LLM to produce
+ * JSON matching DiagRootCauseOutputV1Schema.
+ *
+ * Uses an opts-object pattern for all methods to satisfy @typescript-eslint/max-params.
+ *
+ * @see PRI-372
+ */
+export declare class RootCausePromptBuilder {
+    private readonly adapter;
+    private readonly schema;
+    constructor(opts?: RootCausePromptBuilderOptions);
+    /**
+     * Build the Stage A diagnostic protocol instruction.
+     *
+     * Contains PHASE 1 (evidence review), PHASE 2 (causal chain / 5-Whys),
+     * PHASE 3 (root cause classification), and optional PHASE 3.5 (core axiom
+     * grounding when coreGrounding=true).
+     *
+     * @see PRI-372
+     */
+    buildRootCauseInstruction(opts?: RootCausePromptBuilderOptions): string;
+    /**
+     * Build the full prompt for Stage A.
+     *
+     * Transforms DiagnosticianContextPayload into a PromptBuildResult containing
+     * the JSON message to pass as the --message argument to the LLM agent.
+     *
+     * 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.
+     * Per DPB-07: NO extraSystemPrompt is added — agent profile is the source of truth.
+     *
+     * @see PRI-372
+     */
+    buildPrompt(payload: DiagnosticianContextPayload, opts?: BuildPromptOptions): PromptBuildResult;
+}
+//# sourceMappingURL=rootcause-prompt-builder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rootcause-prompt-builder.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/diagnostician/rootcause-prompt-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAG/E,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG/D,OAAO,KAAK,EACV,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,oCAAoC,CAAC;AAS5C;;;;;;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,+EAA+E;IAC/E,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAID;;;;;;;;;;;;GAYG;AACH,wBAAgB,iCAAiC,CAC/C,IAAI,GAAE,6BAAkC,GACvC,MAAM,CAsER;AAID;;;;;;;;;;GAUG;AACH,qBAAa,sBAAsB;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAsB;IAC9C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAU;gBAErB,IAAI,GAAE,6BAAkC;IAKpD;;;;;;;;OAQG;IACH,yBAAyB,CAAC,IAAI,GAAE,6BAAkC,GAAG,MAAM;IAS3E;;;;;;;;;;;OAWG;IACH,WAAW,CACT,OAAO,EAAE,2BAA2B,EACpC,IAAI,GAAE,kBAAuB,GAC5B,iBAAiB;CAwErB"}