create-principles-disciple 1.85.0 → 1.87.0

package/core/dist/runtime-v2/core-principles/core-principle-registry.js

@@ -0,0 +1,112 @@
+/**
+ * Core Principle Registry — T-01..T-10
+ *
+ * Canonical source of truth for the 10 built-in core principles.
+ * Anchored to `thinking-models.ts` ids + fallback names.
+ * Drift test in openclaw-plugin validates registry matches runtime.
+ *
+ * Bilingual: each principle has EN (name/statement) and
+ * ZH (nameZh/statementZh) fields.
+ *
+ * See 02-review-response-and-amendments.md §2.1 for the three-way
+ * naming collision resolution.
+ */
+import { Type } from '@sinclair/typebox';
+export const CorePrincipleSchema = Type.Object({
+    id: Type.String({ pattern: '^T-\\d{2}$' }),
+    name: Type.String({ minLength: 1 }),
+    nameZh: Type.String({ minLength: 1 }),
+    statement: Type.String({ minLength: 1 }),
+    statementZh: Type.String({ minLength: 1 }),
+});
+// ── Registry data ─────────────────────────────────────────────────────────
+const CORE_PRINCIPLE_DATA = [
+    {
+        id: 'T-01',
+        name: 'Survey Before Acting',
+        nameZh: '先梳理再行动',
+        statement: 'Understand the structure first before making changes.',
+        statementZh: '在做出变更前，先理解其结构。',
+    },
+    {
+        id: 'T-02',
+        name: 'Respect Constraints',
+        nameZh: '尊重约束',
+        statement: 'Trust files, not your context window. Write conclusions to files.',
+        statementZh: '信任文件而非上下文窗口，将结论写入文件。',
+    },
+    {
+        id: 'T-03',
+        name: 'Evidence Over Assumption',
+        nameZh: '证据优先于假设',
+        statement: 'Use logs, code, and outputs before inferring causes.',
+        statementZh: '在推断原因之前，先使用日志、代码和输出作为证据。',
+    },
+    {
+        id: 'T-04',
+        name: 'Reversible First',
+        nameZh: '可逆优先',
+        statement: 'Prefer changes that are safe to roll back when risk is high.',
+        statementZh: '在高风险时，优先选择可安全回滚的变更。',
+    },
+    {
+        id: 'T-05',
+        name: 'Safety Rails',
+        nameZh: '安全护栏',
+        statement: 'Call out guardrails, prohibitions, and failure-prevention constraints.',
+        statementZh: '明确指出护栏、禁令和故障预防约束。',
+    },
+    {
+        id: 'T-06',
+        name: 'Simplicity First',
+        nameZh: '简单优先',
+        statement: 'Prefer the smallest understandable solution over over-engineering.',
+        statementZh: '优先选择最小可理解的方案，而非过度设计。',
+    },
+    {
+        id: 'T-07',
+        name: 'Minimal Change Surface',
+        nameZh: '最小变更面',
+        statement: 'Limit the blast radius and touch only what is necessary.',
+        statementZh: '限制爆炸半径，只触碰必要的部分。',
+    },
+    {
+        id: 'T-08',
+        name: 'Pain As Signal',
+        nameZh: '痛苦即信号',
+        statement: 'Treat failures and friction as clues to step back and rethink.',
+        statementZh: '将失败和摩擦视为线索，退一步重新思考。',
+    },
+    {
+        id: 'T-09',
+        name: 'Divide And Conquer',
+        nameZh: '分而治之',
+        statement: 'Split the task into smaller phases before execution.',
+        statementZh: '在执行前将任务拆分为更小的阶段。',
+    },
+    {
+        id: 'T-10',
+        name: 'Memory Externalization',
+        nameZh: '记忆外部化',
+        statement: 'Write intermediate conclusions to files for persistence.',
+        statementZh: '将中间结论写入文件以实现持久化。',
+    },
+];
+// ── Frozen public API ─────────────────────────────────────────────────────
+/** Frozen array of all 10 core principles */
+export const CORE_PRINCIPLES = Object.freeze(CORE_PRINCIPLE_DATA.map(p => Object.freeze({ ...p })));
+/** Frozen array of all core principle ids */
+export const CORE_PRINCIPLE_IDS = Object.freeze(CORE_PRINCIPLE_DATA.map(p => p.id));
+/** Type guard: returns true if the value is a known core principle id */
+export function isCorePrincipleId(value) {
+    if (typeof value !== 'string')
+        return false;
+    return CORE_PRINCIPLE_IDS.includes(value);
+}
+/** Lookup a core principle by id; returns undefined if not found */
+export function getCorePrinciple(id) {
+    if (typeof id !== 'string')
+        return undefined;
+    return CORE_PRINCIPLES.find(p => p.id === id);
+}
+//# sourceMappingURL=core-principle-registry.js.map

package/core/dist/runtime-v2/core-principles/core-principle-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-principle-registry.js","sourceRoot":"","sources":["../../../src/runtime-v2/core-principles/core-principle-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAiBzC,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;IAC1C,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACnC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACxC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CAC3C,CAAC,CAAC;AAEH,6EAA6E;AAE7E,MAAM,mBAAmB,GAAoB;IAC3C;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,QAAQ;QAChB,SAAS,EAAE,uDAAuD;QAClE,WAAW,EAAE,gBAAgB;KAC9B;IACD;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,mEAAmE;QAC9E,WAAW,EAAE,sBAAsB;KACpC;IACD;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,SAAS;QACjB,SAAS,EAAE,sDAAsD;QACjE,WAAW,EAAE,0BAA0B;KACxC;IACD;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,8DAA8D;QACzE,WAAW,EAAE,qBAAqB;KACnC;IACD;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,wEAAwE;QACnF,WAAW,EAAE,mBAAmB;KACjC;IACD;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,oEAAoE;QAC/E,WAAW,EAAE,sBAAsB;KACpC;IACD;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,OAAO;QACf,SAAS,EAAE,0DAA0D;QACrE,WAAW,EAAE,kBAAkB;KAChC;IACD;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,OAAO;QACf,SAAS,EAAE,gEAAgE;QAC3E,WAAW,EAAE,qBAAqB;KACnC;IACD;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,sDAAsD;QACjE,WAAW,EAAE,kBAAkB;KAChC;IACD;QACE,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,OAAO;QACf,SAAS,EAAE,0DAA0D;QACrE,WAAW,EAAE,kBAAkB;KAChC;CACF,CAAC;AAEF,6EAA6E;AAE7E,6CAA6C;AAC7C,MAAM,CAAC,MAAM,eAAe,GAA6B,MAAM,CAAC,MAAM,CACpE,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CACtD,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,kBAAkB,GAAsB,MAAM,CAAC,MAAM,CAChE,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACnC,CAAC;AAEF,yEAAyE;AACzE,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAChD,CAAC"}

package/core/dist/runtime-v2/core-principles/index.d.ts

@@ -0,0 +1,6 @@
+export { CORE_PRINCIPLES, CORE_PRINCIPLE_IDS, isCorePrincipleId, getCorePrinciple, CorePrincipleSchema, } from './core-principle-registry.js';
+export type { CorePrinciple } from './core-principle-registry.js';
+export { formatCorePrinciplesList, buildCoreAxiomBlock, } from './core-axiom-block.js';
+export type { CoreAxiomBlockOptions } from './core-axiom-block.js';
+export { stripFabricatedCorePrincipleIds } from './strip-fabricated-ids.js';
+//# sourceMappingURL=index.d.ts.map

package/core/dist/runtime-v2/core-principles/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/core-principles/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAEtC,YAAY,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAElE,OAAO,EACL,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AAE/B,YAAY,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAEnE,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC"}

package/core/dist/runtime-v2/core-principles/index.js

@@ -0,0 +1,4 @@
+export { CORE_PRINCIPLES, CORE_PRINCIPLE_IDS, isCorePrincipleId, getCorePrinciple, CorePrincipleSchema, } from './core-principle-registry.js';
+export { formatCorePrinciplesList, buildCoreAxiomBlock, } from './core-axiom-block.js';
+export { stripFabricatedCorePrincipleIds } from './strip-fabricated-ids.js';
+//# sourceMappingURL=index.js.map

package/core/dist/runtime-v2/core-principles/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/runtime-v2/core-principles/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AAI/B,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC"}

package/core/dist/runtime-v2/core-principles/strip-fabricated-ids.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Strip fabricated core principle IDs from an untrusted LLM output object.
+ *
+ * LLMs sometimes invent placeholder IDs like "pri-unknown", "pri-000", "pri-999"
+ * when they don't know the correct value. This function removes those fabricated
+ * values so downstream validation can detect the missing field and fail loud
+ * (Runtime Contract Rule 3).
+ *
+ * Currently strips:
+ * - `sourcePrincipleId`: single string field, deleted if not a valid core principle ID
+ *
+ * @param untrustedOutput - The LLM output object to mutate in-place
+ */
+export declare function stripFabricatedCorePrincipleIds(untrustedOutput: unknown): void;
+//# sourceMappingURL=strip-fabricated-ids.d.ts.map

package/core/dist/runtime-v2/core-principles/strip-fabricated-ids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"strip-fabricated-ids.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/core-principles/strip-fabricated-ids.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;GAYG;AACH,wBAAgB,+BAA+B,CAAC,eAAe,EAAE,OAAO,GAAG,IAAI,CAa9E"}

package/core/dist/runtime-v2/core-principles/strip-fabricated-ids.js

@@ -0,0 +1,28 @@
+import { isCorePrincipleId } from './core-principle-registry.js';
+/**
+ * Strip fabricated core principle IDs from an untrusted LLM output object.
+ *
+ * LLMs sometimes invent placeholder IDs like "pri-unknown", "pri-000", "pri-999"
+ * when they don't know the correct value. This function removes those fabricated
+ * values so downstream validation can detect the missing field and fail loud
+ * (Runtime Contract Rule 3).
+ *
+ * Currently strips:
+ * - `sourcePrincipleId`: single string field, deleted if not a valid core principle ID
+ *
+ * @param untrustedOutput - The LLM output object to mutate in-place
+ */
+export function stripFabricatedCorePrincipleIds(untrustedOutput) {
+    if (typeof untrustedOutput !== 'object' || untrustedOutput === null || Array.isArray(untrustedOutput)) {
+        return;
+    }
+    // Strip fabricated sourcePrincipleId — LLM invents placeholders like pri-unknown, pri-000, pri-999
+    if (Object.hasOwn(untrustedOutput, 'sourcePrincipleId')) {
+        const val = Reflect.get(untrustedOutput, 'sourcePrincipleId');
+        // Use registry membership check — format-only regex would accept T-99 etc.
+        if (typeof val === 'string' && !isCorePrincipleId(val)) {
+            Reflect.deleteProperty(untrustedOutput, 'sourcePrincipleId');
+        }
+    }
+}
+//# sourceMappingURL=strip-fabricated-ids.js.map

package/core/dist/runtime-v2/core-principles/strip-fabricated-ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"strip-fabricated-ids.js","sourceRoot":"","sources":["../../../src/runtime-v2/core-principles/strip-fabricated-ids.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEjE;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,+BAA+B,CAAC,eAAwB;IACtE,IAAI,OAAO,eAAe,KAAK,QAAQ,IAAI,eAAe,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;QACtG,OAAO;IACT,CAAC;IAED,mGAAmG;IACnG,IAAI,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,EAAE,CAAC;QACxD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,mBAAmB,CAAC,CAAC;QAC9D,2EAA2E;QAC3E,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;YACvD,OAAO,CAAC,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;AACH,CAAC"}

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

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

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

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

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

@@ -0,0 +1,45 @@
+import { describe, it, expect } from 'vitest';
+import { Value } from '@sinclair/typebox/value';
+import { DiagDistillerOutputV1Schema, DefaultDiagDistillerValidator } from '../diag-distiller-output.js';
+describe('DiagDistillerOutputV1Schema', () => {
+    const validOutput = {
+        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', 'T-05'],
+        scope: 'general',
+        confidence: 0.85,
+        ambiguityNotes: [],
+    };
+    it('valid distiller output passes Value.Check', () => {
+        expect(Value.Check(DiagDistillerOutputV1Schema, validOutput)).toBe(true);
+    });
+    it('groundedOnCorePrincipleIds accepts valid T-01..T-10', () => {
+        const withAllIds = { ...validOutput, groundedOnCorePrincipleIds: ['T-01', 'T-10'] };
+        expect(Value.Check(DiagDistillerOutputV1Schema, withAllIds)).toBe(true);
+    });
+    it('fabricated axiom ID T-99 passes schema but must be caught by validator', async () => {
+        const withFake = { ...validOutput, groundedOnCorePrincipleIds: ['T-99'] };
+        // Schema accepts any string array — validator catches fabricated IDs
+        expect(Value.Check(DiagDistillerOutputV1Schema, withFake)).toBe(true);
+        const validator = new DefaultDiagDistillerValidator();
+        const result = await validator.validate(withFake, 'task-001');
+        expect(result.valid).toBe(false);
+        expect(result.errors.some(e => e.includes('T-99'))).toBe(true);
+    });
+    it('scope accepts general/domain/scenario', () => {
+        for (const scope of ['general', 'domain', 'scenario']) {
+            const output = { ...validOutput, scope };
+            expect(Value.Check(DiagDistillerOutputV1Schema, output)).toBe(true);
+        }
+    });
+    it('DefaultDiagDistillerValidator rejects fabricated IDs in groundedOnCorePrincipleIds', async () => {
+        const validator = new DefaultDiagDistillerValidator();
+        const withFabricated = { ...validOutput, groundedOnCorePrincipleIds: ['T-01', 'T-99', 'T-05'] };
+        const result = await validator.validate(withFabricated, 'task-001');
+        expect(result.valid).toBe(false);
+    });
+});
+//# sourceMappingURL=diag-distiller-output.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diag-distiller-output.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/diagnostician/__tests__/diag-distiller-output.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAEzG,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,MAAM,WAAW,GAAG;QAClB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,UAAU;QAClB,yBAAyB,EAAE,cAAc;QACzC,mBAAmB,EAAE,sDAAsD;QAC3E,SAAS,EAAE,0CAA0C;QACrD,0BAA0B,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;QAC5C,KAAK,EAAE,SAAS;QAChB,UAAU,EAAE,IAAI;QAChB,cAAc,EAAE,EAAE;KACnB,CAAC;IAEF,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,UAAU,GAAG,EAAE,GAAG,WAAW,EAAE,0BAA0B,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACpF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,QAAQ,GAAG,EAAE,GAAG,WAAW,EAAE,0BAA0B,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1E,qEAAqE;QACrE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,SAAS,GAAG,IAAI,6BAA6B,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC9D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,KAAK,MAAM,KAAK,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;YACtD,MAAM,MAAM,GAAG,EAAE,GAAG,WAAW,EAAE,KAAK,EAAE,CAAC;YACzC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,KAAK,IAAI,EAAE;QAClG,MAAM,SAAS,GAAG,IAAI,6BAA6B,EAAE,CAAC;QACtD,MAAM,cAAc,GAAG,EAAE,GAAG,WAAW,EAAE,0BAA0B,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAChG,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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