@principles/core 1.186.0 → 1.188.0

package/dist/runtime-v2/diagnostician/__tests__/intent-tension-schema.test.js

@@ -0,0 +1,251 @@
+/**
+ * PRI-468 — IntentTensionSchema unit tests (SPEC §23.3).
+ *
+ * Validates the TypeBox schema for the optional `intentTension` field added
+ * to DiagRootCauseOutputV1Schema. The schema must:
+ *   - accept all four `source` enum values (SPEC §16.5)
+ *   - accept all three `evidenceStrength` values
+ *   - accept all five `relatedIntentFields` values
+ *   - accept all six `suggestedOwnerAction` values (SPEC §21)
+ *   - cap `evidence` at 3 items (SPEC §16.4)
+ *   - reject `confidence` (SPEC §16.3 — intentTension.confidence is forbidden;
+ *     existing rootCause-level confidence is untouched)
+ *   - treat `intentDocHash` as optional (SPEC §16.2)
+ *
+ * TDD: this test is written BEFORE the schema exists. Run to confirm RED.
+ */
+import { describe, it, expect } from 'vitest';
+import { Value } from '@sinclair/typebox/value';
+import { IntentTensionSchema, IntentTensionSourceSchema, EvidenceStrengthSchema, IntentRelatedFieldSchema, SuggestedOwnerActionSchema, } from '../diag-rootcause-output.js';
+// ── Fixtures ─────────────────────────────────────────────────────────────────
+const validIntentTension = {
+    source: 'action_drift',
+    evidenceStrength: 'moderate',
+    relatedIntentFields: ['current_strategic_focus', 'non_negotiables'],
+    evidence: [
+        'INTENT says current focus is validating the smallest Pain → Principle loop.',
+        'Agent designed a heavy dashboard.',
+        'Owner correction says the result increased review burden.',
+    ],
+    explanation: 'The work may be useful later, but it optimized presentation completeness before validating the current learning loop.',
+    suggestedOwnerAction: 'confirm_drift',
+    intentDocHash: 'sha256:abc123',
+};
+// ── Schema existence ─────────────────────────────────────────────────────────
+describe('IntentTensionSchema — existence', () => {
+    it('exports IntentTensionSchema', () => {
+        expect(IntentTensionSchema).toBeDefined();
+    });
+    it('exports sub-literal schemas', () => {
+        expect(IntentTensionSourceSchema).toBeDefined();
+        expect(EvidenceStrengthSchema).toBeDefined();
+        expect(IntentRelatedFieldSchema).toBeDefined();
+        expect(SuggestedOwnerActionSchema).toBeDefined();
+    });
+});
+// ── §23.3.1 — source enum validity ──────────────────────────────────────────
+describe('IntentTensionSchema — source enum (SPEC §16.5)', () => {
+    const SOURCES = ['none', 'action_drift', 'intent_suspect', 'healthy_tension'];
+    for (const source of SOURCES) {
+        it(`accepts source="${source}"`, () => {
+            const obj = { ...validIntentTension, source };
+            expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+        });
+    }
+    it('rejects unknown source value', () => {
+        const obj = { ...validIntentTension, source: 'definitely_drift' };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+    it('rejects missing source', () => {
+        const { source: _source, ...obj } = validIntentTension;
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+});
+// ── §23.3.2 — evidenceStrength enum validity ────────────────────────────────
+describe('IntentTensionSchema — evidenceStrength enum', () => {
+    const STRENGTHS = ['weak', 'moderate', 'strong'];
+    for (const evidenceStrength of STRENGTHS) {
+        it(`accepts evidenceStrength="${evidenceStrength}"`, () => {
+            const obj = { ...validIntentTension, evidenceStrength };
+            expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+        });
+    }
+    it('rejects unknown evidenceStrength value', () => {
+        const obj = { ...validIntentTension, evidenceStrength: 'very_strong' };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+    it('rejects numeric evidenceStrength', () => {
+        const obj = { ...validIntentTension, evidenceStrength: 0.8 };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+});
+// ── §23.3.3 — relatedIntentFields enum validity ─────────────────────────────
+describe('IntentTensionSchema — relatedIntentFields enum', () => {
+    const FIELDS = [
+        'why',
+        'desired_outcome',
+        'non_negotiables',
+        'stop_escalation',
+        'current_strategic_focus',
+    ];
+    for (const field of FIELDS) {
+        it(`accepts relatedIntentFields=["${field}"]`, () => {
+            const obj = { ...validIntentTension, relatedIntentFields: [field] };
+            expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+        });
+    }
+    it('accepts multiple relatedIntentFields', () => {
+        const obj = { ...validIntentTension, relatedIntentFields: [...FIELDS] };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+    });
+    it('accepts empty relatedIntentFields array', () => {
+        const obj = { ...validIntentTension, relatedIntentFields: [] };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+    });
+    it('rejects unknown relatedIntentFields value', () => {
+        const obj = { ...validIntentTension, relatedIntentFields: ['unknown_field'] };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+    it('rejects non-array relatedIntentFields', () => {
+        const obj = { ...validIntentTension, relatedIntentFields: 'current_strategic_focus' };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+});
+// ── §23.3.4 — suggestedOwnerAction enum validity ────────────────────────────
+describe('IntentTensionSchema — suggestedOwnerAction enum (SPEC §21)', () => {
+    const ACTIONS = [
+        'confirm_drift',
+        'revise_intent',
+        'observe',
+        'dismiss',
+        'promote_to_principle',
+        'promote_to_rulehost',
+    ];
+    for (const suggestedOwnerAction of ACTIONS) {
+        it(`accepts suggestedOwnerAction="${suggestedOwnerAction}"`, () => {
+            const obj = { ...validIntentTension, suggestedOwnerAction };
+            expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+        });
+    }
+    it('rejects unknown suggestedOwnerAction value', () => {
+        const obj = { ...validIntentTension, suggestedOwnerAction: 'ignore' };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+});
+// ── §23.3.5 — evidence max 3 items (SPEC §16.4) ─────────────────────────────
+describe('IntentTensionSchema — evidence maxItems: 3 (SPEC §16.4)', () => {
+    it('accepts evidence with 0 items', () => {
+        const obj = { ...validIntentTension, evidence: [] };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+    });
+    it('accepts evidence with 1 item', () => {
+        const obj = { ...validIntentTension, evidence: ['one'] };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+    });
+    it('accepts evidence with exactly 3 items', () => {
+        const obj = { ...validIntentTension, evidence: ['one', 'two', 'three'] };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+    });
+    it('rejects evidence with 4 items', () => {
+        const obj = { ...validIntentTension, evidence: ['one', 'two', 'three', 'four'] };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+    it('rejects evidence with 10 items', () => {
+        const obj = { ...validIntentTension, evidence: Array.from({ length: 10 }, (_, i) => `evidence-${i}`) };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+    it('rejects non-array evidence', () => {
+        const obj = { ...validIntentTension, evidence: 'single string' };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+    it('rejects evidence array with non-string elements', () => {
+        const obj = { ...validIntentTension, evidence: ['ok', 42, 'bad'] };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+});
+// ── §23.3.6 — confidence is rejected (SPEC §16.3) ───────────────────────────
+describe('IntentTensionSchema — confidence forbidden (SPEC §16.3)', () => {
+    it('rejects intentTension.confidence: number', () => {
+        const obj = { ...validIntentTension, confidence: 0.8 };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+    it('rejects intentTension.confidence: 0', () => {
+        const obj = { ...validIntentTension, confidence: 0 };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+    it('rejects intentTension.confidence: 1', () => {
+        const obj = { ...validIntentTension, confidence: 1 };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+    it('Value.Clean strips confidence from intentTension', () => {
+        const obj = { ...validIntentTension, confidence: 0.8 };
+        const cleaned = Value.Clean(IntentTensionSchema, obj);
+        expect(Object.hasOwn(cleaned, 'confidence')).toBe(false);
+    });
+    it('Value.Errors reports confidence as additional property', () => {
+        const obj = { ...validIntentTension, confidence: 0.8 };
+        const errors = [...Value.Errors(IntentTensionSchema, obj)];
+        expect(errors.some((e) => e.path.includes('confidence') || e.message.includes('Additional'))).toBe(true);
+    });
+});
+// ── §23.3.7 — intentDocHash is optional (SPEC §16.2) ────────────────────────
+describe('IntentTensionSchema — intentDocHash optional', () => {
+    it('accepts intentTension with intentDocHash', () => {
+        const obj = { ...validIntentTension, intentDocHash: 'sha256:abc123' };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+    });
+    it('accepts intentTension without intentDocHash', () => {
+        const { intentDocHash: _hash, ...obj } = validIntentTension;
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+    });
+    it('accepts intentTension with empty intentDocHash', () => {
+        const obj = { ...validIntentTension, intentDocHash: '' };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(true);
+    });
+    it('rejects non-string intentDocHash', () => {
+        const obj = { ...validIntentTension, intentDocHash: 123 };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+});
+// ── §16.4 — explanation is required non-empty string ────────────────────────
+describe('IntentTensionSchema — explanation required', () => {
+    it('rejects missing explanation', () => {
+        const { explanation: _exp, ...obj } = validIntentTension;
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+    it('rejects non-string explanation', () => {
+        const obj = { ...validIntentTension, explanation: 42 };
+        expect(Value.Check(IntentTensionSchema, obj)).toBe(false);
+    });
+});
+// ── Full valid object ────────────────────────────────────────────────────────
+describe('IntentTensionSchema — full valid object', () => {
+    it('accepts the canonical valid intentTension', () => {
+        expect(Value.Check(IntentTensionSchema, validIntentTension)).toBe(true);
+    });
+    it('Value.Clean returns a clean object with all valid fields', () => {
+        const withExtra = { ...validIntentTension, extraField: 'should be removed' };
+        const cleaned = Value.Clean(IntentTensionSchema, withExtra);
+        expect(Object.hasOwn(cleaned, 'extraField')).toBe(false);
+        expect(Object.hasOwn(cleaned, 'source')).toBe(true);
+        expect(Object.hasOwn(cleaned, 'evidenceStrength')).toBe(true);
+        expect(Object.hasOwn(cleaned, 'relatedIntentFields')).toBe(true);
+        expect(Object.hasOwn(cleaned, 'evidence')).toBe(true);
+        expect(Object.hasOwn(cleaned, 'explanation')).toBe(true);
+        expect(Object.hasOwn(cleaned, 'suggestedOwnerAction')).toBe(true);
+        expect(Object.hasOwn(cleaned, 'intentDocHash')).toBe(true);
+    });
+    it('rejects empty object', () => {
+        expect(Value.Check(IntentTensionSchema, {})).toBe(false);
+    });
+    it('rejects null', () => {
+        expect(Value.Check(IntentTensionSchema, null)).toBe(false);
+    });
+    it('rejects array', () => {
+        expect(Value.Check(IntentTensionSchema, [])).toBe(false);
+    });
+    it('rejects string', () => {
+        expect(Value.Check(IntentTensionSchema, 'not an object')).toBe(false);
+    });
+});
+//# sourceMappingURL=intent-tension-schema.test.js.map

package/dist/runtime-v2/diagnostician/__tests__/intent-tension-schema.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent-tension-schema.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/diagnostician/__tests__/intent-tension-schema.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EACL,mBAAmB,EACnB,yBAAyB,EACzB,sBAAsB,EACtB,wBAAwB,EACxB,0BAA0B,GAE3B,MAAM,6BAA6B,CAAC;AAErC,gFAAgF;AAEhF,MAAM,kBAAkB,GAAkB;IACxC,MAAM,EAAE,cAAc;IACtB,gBAAgB,EAAE,UAAU;IAC5B,mBAAmB,EAAE,CAAC,yBAAyB,EAAE,iBAAiB,CAAC;IACnE,QAAQ,EAAE;QACR,6EAA6E;QAC7E,mCAAmC;QACnC,2DAA2D;KAC5D;IACD,WAAW,EACT,uHAAuH;IACzH,oBAAoB,EAAE,eAAe;IACrC,aAAa,EAAE,eAAe;CAC/B,CAAC;AAEF,gFAAgF;AAEhF,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,mBAAmB,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,yBAAyB,CAAC,CAAC,WAAW,EAAE,CAAC;QAChD,MAAM,CAAC,sBAAsB,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,CAAC,wBAAwB,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/C,MAAM,CAAC,0BAA0B,CAAC,CAAC,WAAW,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,MAAM,OAAO,GAAG,CAAC,MAAM,EAAE,cAAc,EAAE,gBAAgB,EAAE,iBAAiB,CAAU,CAAC;IAEvF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,EAAE,CAAC,mBAAmB,MAAM,GAAG,EAAE,GAAG,EAAE;YACpC,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,MAAM,EAAE,CAAC;YAC9C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;QAClE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,GAAG,EAAE,GAAG,kBAAkB,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAU,CAAC;IAE1D,KAAK,MAAM,gBAAgB,IAAI,SAAS,EAAE,CAAC;QACzC,EAAE,CAAC,6BAA6B,gBAAgB,GAAG,EAAE,GAAG,EAAE;YACxD,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,gBAAgB,EAAE,aAAa,EAAE,CAAC;QACvE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,MAAM,MAAM,GAAG;QACb,KAAK;QACL,iBAAiB;QACjB,iBAAiB;QACjB,iBAAiB;QACjB,yBAAyB;KACjB,CAAC;IAEX,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,EAAE,CAAC,iCAAiC,KAAK,IAAI,EAAE,GAAG,EAAE;YAClD,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,mBAAmB,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACpE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,mBAAmB,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC;QACxE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,mBAAmB,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,CAAC;QACtF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,MAAM,OAAO,GAAG;QACd,eAAe;QACf,eAAe;QACf,SAAS;QACT,SAAS;QACT,sBAAsB;QACtB,qBAAqB;KACb,CAAC;IAEX,KAAK,MAAM,oBAAoB,IAAI,OAAO,EAAE,CAAC;QAC3C,EAAE,CAAC,iCAAiC,oBAAoB,GAAG,EAAE,GAAG,EAAE;YAChE,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,oBAAoB,EAAE,CAAC;YAC5D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,oBAAoB,EAAE,QAAQ,EAAE,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;QACvG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;QACnE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QACvD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAA4B,CAAC;QACjF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3G,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,aAAa,EAAE,eAAe,EAAE,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,GAAG,EAAE,GAAG,kBAAkB,CAAC;QAC5D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,GAAG,EAAE,GAAG,kBAAkB,CAAC;QACzD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,EAAE,GAAG,kBAAkB,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,SAAS,GAAG,EAAE,GAAG,kBAAkB,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC;QAC7E,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,SAAS,CAA4B,CAAC;QACvF,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -31,4 +31,77 @@ describe('RootCausePromptBuilder', () => {
         expect(phase35Index).toBeGreaterThan(phase3Index);
     });
 });
+// ── PRI-468: PHASE 3.6 — Intent Tension Check ───────────────────────────────
+describe('RootCausePromptBuilder — PHASE 3.6 Intent Tension Check (PRI-468)', () => {
+    it('intentGrounding=false does NOT include PHASE 3.6', () => {
+        const instruction = buildRootCauseProtocolInstruction({
+            coreGrounding: false,
+            intentGrounding: false,
+        });
+        expect(instruction).not.toContain('PHASE 3.6');
+        expect(instruction).not.toContain('Intent Tension Check');
+    });
+    it('intentGrounding=undefined does NOT include PHASE 3.6 (default off)', () => {
+        const instruction = buildRootCauseProtocolInstruction({ coreGrounding: false });
+        expect(instruction).not.toContain('PHASE 3.6');
+    });
+    it('intentGrounding=true injects PHASE 3.6', () => {
+        const instruction = buildRootCauseProtocolInstruction({
+            coreGrounding: false,
+            intentGrounding: true,
+        });
+        expect(instruction).toContain('PHASE 3.6');
+        expect(instruction).toContain('Intent Tension Check');
+    });
+    it('PHASE 3.6 contains SPEC §17 required text', () => {
+        const instruction = buildRootCauseProtocolInstruction({
+            coreGrounding: false,
+            intentGrounding: true,
+        });
+        expect(instruction).toContain('Owner-owned INTENT.md');
+        expect(instruction).toContain('Do not assume every failure is intent drift');
+        expect(instruction).toContain('Do not treat INTENT.md as a hard rule system');
+        expect(instruction).toContain("source='none'");
+        expect(instruction).toContain("evidenceStrength='weak'");
+        expect(instruction).toContain('intent_suspect');
+        expect(instruction).toContain('Return intentTension as an optional additive field');
+        expect(instruction).toContain('PD surfaces tension');
+        expect(instruction).toContain('Owner decides value');
+    });
+    it('PHASE 3.6 appears after PHASE 3.5 when both are enabled', () => {
+        const instruction = buildRootCauseProtocolInstruction({
+            coreGrounding: true,
+            intentGrounding: true,
+        });
+        const phase35Index = instruction.indexOf('PHASE 3.5');
+        const phase36Index = instruction.indexOf('PHASE 3.6');
+        expect(phase36Index).toBeGreaterThan(phase35Index);
+    });
+    it('PHASE 3.6 appears after PHASE 3 when only 3.6 is enabled', () => {
+        const instruction = buildRootCauseProtocolInstruction({
+            coreGrounding: false,
+            intentGrounding: true,
+        });
+        const phase3Index = instruction.indexOf('PHASE 3 —');
+        const phase36Index = instruction.indexOf('PHASE 3.6');
+        expect(phase36Index).toBeGreaterThan(phase3Index);
+    });
+    // EP-03: no silent fallback — byte-identical output when flag off
+    it('intentGrounding=false produces byte-identical output to pre-change prompt', () => {
+        const before = buildRootCauseProtocolInstruction({ coreGrounding: false });
+        const after = buildRootCauseProtocolInstruction({
+            coreGrounding: false,
+            intentGrounding: false,
+        });
+        expect(after).toBe(before);
+    });
+    it('intentGrounding=false + coreGrounding=true produces byte-identical output to coreGrounding-only', () => {
+        const before = buildRootCauseProtocolInstruction({ coreGrounding: true });
+        const after = buildRootCauseProtocolInstruction({
+            coreGrounding: true,
+            intentGrounding: false,
+        });
+        expect(after).toBe(before);
+    });
+});
 //# sourceMappingURL=rootcause-prompt-builder.test.js.map

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

@@ -1 +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"}
+{"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;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,mEAAmE,EAAE,GAAG,EAAE;IACjF,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,WAAW,GAAG,iCAAiC,CAAC;YACpD,aAAa,EAAE,KAAK;YACpB,eAAe,EAAE,KAAK;SACvB,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC/C,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,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,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,WAAW,GAAG,iCAAiC,CAAC;YACpD,aAAa,EAAE,KAAK;YACpB,eAAe,EAAE,IAAI;SACtB,CAAC,CAAC;QACH,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,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,WAAW,GAAG,iCAAiC,CAAC;YACpD,aAAa,EAAE,KAAK;YACpB,eAAe,EAAE,IAAI;SACtB,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,6CAA6C,CAAC,CAAC;QAC7E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,8CAA8C,CAAC,CAAC;QAC9E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC/C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QACzD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAChD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,oDAAoD,CAAC,CAAC;QACpF,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,WAAW,GAAG,iCAAiC,CAAC;YACpD,aAAa,EAAE,IAAI;YACnB,eAAe,EAAE,IAAI;SACtB,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACtD,MAAM,CAAC,YAAY,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,WAAW,GAAG,iCAAiC,CAAC;YACpD,aAAa,EAAE,KAAK;YACpB,eAAe,EAAE,IAAI;SACtB,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACtD,MAAM,CAAC,YAAY,CAAC,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,kEAAkE;IAClE,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,MAAM,GAAG,iCAAiC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,iCAAiC,CAAC;YAC9C,aAAa,EAAE,KAAK;YACpB,eAAe,EAAE,KAAK;SACvB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,MAAM,MAAM,GAAG,iCAAiC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,iCAAiC,CAAC;YAC9C,aAAa,EAAE,IAAI;YACnB,eAAe,EAAE,KAAK;SACvB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -43,6 +43,78 @@ export declare const DiagRootCauseEvidenceSchema: import("@sinclair/typebox").TO
 }>;
 /** Evidence entry linking a source reference to an explanatory note. */
 export type DiagRootCauseEvidence = Static<typeof DiagRootCauseEvidenceSchema>;
+/**
+ * Intent tension source enum (SPEC §16.5).
+ *
+ * - `none` — no tension detected
+ * - `action_drift` — Agent's action appears to drift from INTENT
+ * - `intent_suspect` — INTENT itself may be stale, ambiguous, or contradictory
+ * - `healthy_tension` — genuine strategic trade-off, no drift
+ */
+export declare const IntentTensionSourceSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"none">, import("@sinclair/typebox").TLiteral<"action_drift">, import("@sinclair/typebox").TLiteral<"intent_suspect">, import("@sinclair/typebox").TLiteral<"healthy_tension">]>;
+/** Intent tension source: none | action_drift | intent_suspect | healthy_tension */
+export type IntentTensionSource = Static<typeof IntentTensionSourceSchema>;
+/**
+ * Evidence strength enum (SPEC §16.6).
+ *
+ * Coarse three-level scale; intentionally NOT a numeric confidence
+ * (SPEC §16.3 forbids `intentTension.confidence`).
+ */
+export declare const EvidenceStrengthSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"weak">, import("@sinclair/typebox").TLiteral<"moderate">, import("@sinclair/typebox").TLiteral<"strong">]>;
+/** Evidence strength: weak | moderate | strong */
+export type EvidenceStrength = Static<typeof EvidenceStrengthSchema>;
+/**
+ * Related INTENT.md field enum (SPEC §16.7).
+ *
+ * Snake_case keys mirror the INTENT.md section identifiers used in the
+ * prompt block. The LLM picks one or more fields that the tension
+ * relates to.
+ */
+export declare const IntentRelatedFieldSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"why">, import("@sinclair/typebox").TLiteral<"desired_outcome">, import("@sinclair/typebox").TLiteral<"non_negotiables">, import("@sinclair/typebox").TLiteral<"stop_escalation">, import("@sinclair/typebox").TLiteral<"current_strategic_focus">]>;
+/** Related INTENT field: why | desired_outcome | non_negotiables | stop_escalation | current_strategic_focus */
+export type IntentRelatedField = Static<typeof IntentRelatedFieldSchema>;
+/**
+ * Suggested Owner action enum (SPEC §21).
+ *
+ * PD surfaces tension; the Owner decides value. This field is a
+ * SUGGESTION — never auto-applied. The Owner must record a
+ * IntentDecisionRecord (PRI-470) before any follow-up action executes.
+ */
+export declare const SuggestedOwnerActionSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"confirm_drift">, import("@sinclair/typebox").TLiteral<"revise_intent">, import("@sinclair/typebox").TLiteral<"observe">, import("@sinclair/typebox").TLiteral<"dismiss">, import("@sinclair/typebox").TLiteral<"promote_to_principle">, import("@sinclair/typebox").TLiteral<"promote_to_rulehost">]>;
+/** Suggested Owner action: confirm_drift | revise_intent | observe | dismiss | promote_to_principle | promote_to_rulehost */
+export type SuggestedOwnerAction = Static<typeof SuggestedOwnerActionSchema>;
+/**
+ * IntentTension schema (SPEC §16.2).
+ *
+ * Optional object produced by Stage A when the Agent detects a tension
+ * between its action and the Owner-authored INTENT.md.
+ *
+ * CRITICAL (SPEC §16.3): this object MUST NOT carry a `confidence`
+ * field. The Stage A `confidence` (rootCause-level) is the only
+ * diagnostician confidence. To enforce this, `additionalProperties: false`
+ * is set so any extra property (including `confidence`) is rejected by
+ * `Value.Check`.
+ *
+ * Lineage (SPEC §16.2): `intentDocHash` is optional but, when present,
+ * MUST match the hash of the INTENT.md that was injected into the
+ * prompt. The Stage A runner enforces this invariant (PRI-468).
+ */
+export declare const IntentTensionSchema: import("@sinclair/typebox").TObject<{
+    source: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"none">, import("@sinclair/typebox").TLiteral<"action_drift">, import("@sinclair/typebox").TLiteral<"intent_suspect">, import("@sinclair/typebox").TLiteral<"healthy_tension">]>;
+    evidenceStrength: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"weak">, import("@sinclair/typebox").TLiteral<"moderate">, import("@sinclair/typebox").TLiteral<"strong">]>;
+    relatedIntentFields: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"why">, import("@sinclair/typebox").TLiteral<"desired_outcome">, import("@sinclair/typebox").TLiteral<"non_negotiables">, import("@sinclair/typebox").TLiteral<"stop_escalation">, import("@sinclair/typebox").TLiteral<"current_strategic_focus">]>>;
+    evidence: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    explanation: import("@sinclair/typebox").TString;
+    suggestedOwnerAction: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"confirm_drift">, import("@sinclair/typebox").TLiteral<"revise_intent">, import("@sinclair/typebox").TLiteral<"observe">, import("@sinclair/typebox").TLiteral<"dismiss">, import("@sinclair/typebox").TLiteral<"promote_to_principle">, import("@sinclair/typebox").TLiteral<"promote_to_rulehost">]>;
+    intentDocHash: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+}>;
+/**
+ * IntentTension — optional Stage A output describing a tension between
+ * the Agent's action and the Owner-authored INTENT.md.
+ *
+ * `confidence` is forbidden on this object (SPEC §16.3).
+ */
+export type IntentTension = Static<typeof IntentTensionSchema>;
 /**
  * TypeBox schema for the Root Cause stage (Stage A) output.
  *
@@ -70,6 +142,24 @@ export declare const DiagRootCauseOutputV1Schema: import("@sinclair/typebox").TO
     }>>;
     confidence: import("@sinclair/typebox").TNumber;
     ambiguityNotes: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+    /**
+     * Optional intent tension (PRI-468, SPEC §16). Present only when:
+     *   1. The `intent_engineering` flag is on, AND
+     *   2. The Stage A prompt was built with the INTENT context injected, AND
+     *   3. The LLM chose to emit a tension.
+     *
+     * When absent (flag off or LLM omitted), Stage C passthrough must NOT
+     * synthesize one (SPEC §18 — additive only, never generates).
+     */
+    intentTension: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        source: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"none">, import("@sinclair/typebox").TLiteral<"action_drift">, import("@sinclair/typebox").TLiteral<"intent_suspect">, import("@sinclair/typebox").TLiteral<"healthy_tension">]>;
+        evidenceStrength: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"weak">, import("@sinclair/typebox").TLiteral<"moderate">, import("@sinclair/typebox").TLiteral<"strong">]>;
+        relatedIntentFields: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"why">, import("@sinclair/typebox").TLiteral<"desired_outcome">, import("@sinclair/typebox").TLiteral<"non_negotiables">, import("@sinclair/typebox").TLiteral<"stop_escalation">, import("@sinclair/typebox").TLiteral<"current_strategic_focus">]>>;
+        evidence: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        explanation: import("@sinclair/typebox").TString;
+        suggestedOwnerAction: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"confirm_drift">, import("@sinclair/typebox").TLiteral<"revise_intent">, import("@sinclair/typebox").TLiteral<"observe">, import("@sinclair/typebox").TLiteral<"dismiss">, import("@sinclair/typebox").TLiteral<"promote_to_principle">, import("@sinclair/typebox").TLiteral<"promote_to_rulehost">]>;
+        intentDocHash: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    }>>;
 }>;
 /** Typed output of the Root Cause stage (Stage A). */
 export type DiagRootCauseOutputV1 = Static<typeof DiagRootCauseOutputV1Schema>;

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

@@ -1 +1 @@
-{"version":3,"file":"diag-rootcause-output.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/diagnostician/diag-rootcause-output.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAKtD;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,2OAKlC,CAAC;AAEH,kEAAkE;AAClE,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAEvE;;;;GAIG;AACH,eAAO,MAAM,sBAAsB;;;;EAIjC,CAAC;AAEH,iDAAiD;AACjD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAErE;;GAEG;AACH,eAAO,MAAM,2BAA2B;;;EAGtC,CAAC;AAEH,wEAAwE;AACxE,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAI/E;;;;;;;;GAQG;AACH,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;EActC,CAAC;AAEH,sDAAsD;AACtD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAM/E;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CACvI;AAED;;;;;;;;;;GAUG;AACH,qBAAa,6BAA8B,YAAW,sBAAsB;IAEpE,QAAQ,CACZ,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CA2G9F"}
+{"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;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,2PAKpC,CAAC;AAEH,oFAAoF;AACpF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE3E;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,sLAIjC,CAAC;AAEH,kDAAkD;AAClD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAErE;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,+TAMnC,CAAC;AAEH,gHAAgH;AAChH,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEzE;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,iXAOrC,CAAC;AAEH,6HAA6H;AAC7H,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE7E;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;EAQG,CAAC;AAEpC;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAI/D;;;;;;;;GAQG;AACH,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;IActC;;;;;;;;OAQG;;;;;;;;;;EAEH,CAAC;AAEH,sDAAsD;AACtD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAM/E;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CACvI;AAED;;;;;;;;;;GAUG;AACH,qBAAa,6BAA8B,YAAW,sBAAsB;IAEpE,QAAQ,CACZ,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CA6H9F"}

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

@@ -44,6 +44,86 @@ export const DiagRootCauseEvidenceSchema = Type.Object({
     sourceRef: Type.String({ minLength: 1 }),
     note: Type.String({ minLength: 1 }),
 });
+// ── Intent Tension sub-schemas (PRI-468, SPEC §16) ──────────────────────────
+/**
+ * Intent tension source enum (SPEC §16.5).
+ *
+ * - `none` — no tension detected
+ * - `action_drift` — Agent's action appears to drift from INTENT
+ * - `intent_suspect` — INTENT itself may be stale, ambiguous, or contradictory
+ * - `healthy_tension` — genuine strategic trade-off, no drift
+ */
+export const IntentTensionSourceSchema = Type.Union([
+    Type.Literal('none'),
+    Type.Literal('action_drift'),
+    Type.Literal('intent_suspect'),
+    Type.Literal('healthy_tension'),
+]);
+/**
+ * Evidence strength enum (SPEC §16.6).
+ *
+ * Coarse three-level scale; intentionally NOT a numeric confidence
+ * (SPEC §16.3 forbids `intentTension.confidence`).
+ */
+export const EvidenceStrengthSchema = Type.Union([
+    Type.Literal('weak'),
+    Type.Literal('moderate'),
+    Type.Literal('strong'),
+]);
+/**
+ * Related INTENT.md field enum (SPEC §16.7).
+ *
+ * Snake_case keys mirror the INTENT.md section identifiers used in the
+ * prompt block. The LLM picks one or more fields that the tension
+ * relates to.
+ */
+export const IntentRelatedFieldSchema = Type.Union([
+    Type.Literal('why'),
+    Type.Literal('desired_outcome'),
+    Type.Literal('non_negotiables'),
+    Type.Literal('stop_escalation'),
+    Type.Literal('current_strategic_focus'),
+]);
+/**
+ * Suggested Owner action enum (SPEC §21).
+ *
+ * PD surfaces tension; the Owner decides value. This field is a
+ * SUGGESTION — never auto-applied. The Owner must record a
+ * IntentDecisionRecord (PRI-470) before any follow-up action executes.
+ */
+export const SuggestedOwnerActionSchema = Type.Union([
+    Type.Literal('confirm_drift'),
+    Type.Literal('revise_intent'),
+    Type.Literal('observe'),
+    Type.Literal('dismiss'),
+    Type.Literal('promote_to_principle'),
+    Type.Literal('promote_to_rulehost'),
+]);
+/**
+ * IntentTension schema (SPEC §16.2).
+ *
+ * Optional object produced by Stage A when the Agent detects a tension
+ * between its action and the Owner-authored INTENT.md.
+ *
+ * CRITICAL (SPEC §16.3): this object MUST NOT carry a `confidence`
+ * field. The Stage A `confidence` (rootCause-level) is the only
+ * diagnostician confidence. To enforce this, `additionalProperties: false`
+ * is set so any extra property (including `confidence`) is rejected by
+ * `Value.Check`.
+ *
+ * Lineage (SPEC §16.2): `intentDocHash` is optional but, when present,
+ * MUST match the hash of the INTENT.md that was injected into the
+ * prompt. The Stage A runner enforces this invariant (PRI-468).
+ */
+export const IntentTensionSchema = Type.Object({
+    source: IntentTensionSourceSchema,
+    evidenceStrength: EvidenceStrengthSchema,
+    relatedIntentFields: Type.Array(IntentRelatedFieldSchema),
+    evidence: Type.Array(Type.String(), { maxItems: 3 }),
+    explanation: Type.String({ minLength: 1 }),
+    suggestedOwnerAction: SuggestedOwnerActionSchema,
+    intentDocHash: Type.Optional(Type.String()),
+}, { additionalProperties: false });
 // ── Main output schema ───────────────────────────────────────────────────────
 /**
  * TypeBox schema for the Root Cause stage (Stage A) output.
@@ -68,6 +148,16 @@ export const DiagRootCauseOutputV1Schema = Type.Object({
     evidence: Type.Array(DiagRootCauseEvidenceSchema),
     confidence: Type.Number({ minimum: 0, maximum: 1 }),
     ambiguityNotes: Type.Optional(Type.Array(Type.String())),
+    /**
+     * Optional intent tension (PRI-468, SPEC §16). Present only when:
+     *   1. The `intent_engineering` flag is on, AND
+     *   2. The Stage A prompt was built with the INTENT context injected, AND
+     *   3. The LLM chose to emit a tension.
+     *
+     * When absent (flag off or LLM omitted), Stage C passthrough must NOT
+     * synthesize one (SPEC §18 — additive only, never generates).
+     */
+    intentTension: Type.Optional(IntentTensionSchema),
 });
 // ── Validator ────────────────────────────────────────────────────────────────
 const VALID_ROOT_CAUSE_CATEGORIES = new Set(['People', 'Design', 'Assumption', 'Tooling']);
@@ -167,6 +257,24 @@ export class DefaultDiagRootCauseValidator {
                 }
             }
         }
+        // ── Step 6b: intentTension element-level checks (PRI-468, SPEC §16) ─────
+        // Provide clearer error messages than the TypeBox fallback for the most
+        // critical SPEC §16.3 violation (forbidden `confidence` field) and for
+        // non-object intentTension. The TypeBox schema (with additionalProperties:
+        // false) catches these as well, but the explicit check produces a
+        // human-readable message that references the SPEC clause.
+        if (Object.hasOwn(record, 'intentTension')) {
+            const tension = record.intentTension;
+            if (tension === null || typeof tension !== 'object') {
+                errors.push('intentTension must be an object when present');
+            }
+            else {
+                const tensionRecord = tension;
+                if (Object.hasOwn(tensionRecord, 'confidence')) {
+                    errors.push('intentTension.confidence is forbidden (SPEC §16.3); use rootCause-level confidence instead');
+                }
+            }
+        }
         // ── Step 7: TypeBox schema validation as fallback ───────────────────────
         if (!Value.Check(DiagRootCauseOutputV1Schema, output)) {
             const schemaErrors = [...Value.Errors(DiagRootCauseOutputV1Schema, output)];