@principles/core 1.240.20 → 1.241.0

package/dist/runtime-v2/internalization/__tests__/artifact-summary.property.test.js

@@ -0,0 +1,253 @@
+/**
+ * Property tests for `deriveArtifactSummary` (design §6.1, tasks 3.3–3.5).
+ *
+ * CP-01: derivation determinism & boundedness
+ * CP-02: derivation totality (never throws, always returns a Result)
+ * CP-03: missing fields land in `omittedFields`
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §6.1, §16
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirement 1
+ */
+import { describe, it, expect } from 'vitest';
+import fc from 'fast-check';
+import { deriveArtifactSummary, SUMMARY_RUNNER_KINDS, SUMMARY_HEADLINE_MAX_CHARS, SUMMARY_FIELD_MAX_CHARS, } from '../artifact-summary.js';
+// ── Per-stage legal-shape generators ────────────────────────────────────────
+// Each generator produces a *fully populated* legal output for the stage,
+// with every string field allowed to be missing, empty, or long — this
+// exercises the omittedFields path (CP-03) and the length-clamping path
+// (CP-01) from the same generator family.
+const optionalText = () => fc.oneof(fc.constant(undefined), fc.constant(''), fc.constant('   '), fc.string({ minLength: 1, maxLength: 20 }), fc.string({ minLength: 700, maxLength: 900 }));
+const requiredText = () => fc.oneof(fc.string({ minLength: 1, maxLength: 40 }), fc.string({ minLength: 900, maxLength: 1200 }));
+function stripUndefined(obj) {
+    const out = {};
+    for (const [k, v] of Object.entries(obj)) {
+        if (v !== undefined)
+            out[k] = v;
+    }
+    return out;
+}
+const diagRootCauseGen = fc.record({
+    rootCause: optionalText(),
+    summary: optionalText(),
+    rootCauseCategory: fc.oneof(fc.constant(undefined), fc.constantFrom('People', 'Design', 'Assumption', 'Tooling')),
+}).map(stripUndefined);
+const diagDistillerGen = fc.record({
+    abstractedPrinciple: optionalText(),
+    rationale: optionalText(),
+    scope: fc.oneof(fc.constant(undefined), fc.constantFrom('general', 'domain', 'scenario')),
+}).map(stripUndefined);
+const diagRouterGen = fc.record({
+    summary: optionalText(),
+    rootCause: optionalText(),
+    violatedPrinciples: fc.oneof(fc.constant(undefined), fc.array(fc.record({ principleId: optionalText() }).map(stripUndefined), { maxLength: 3 })),
+    recommendations: fc.oneof(fc.constant(undefined), fc.array(fc.record({ kind: fc.constantFrom('principle', 'rule', 'implementation', 'prompt', 'defer') }), { maxLength: 3 })),
+}).map(stripUndefined);
+const dreamerCandidateGen = fc.record({
+    badDecision: optionalText(),
+    betterDecision: optionalText(),
+    rationale: optionalText(),
+    riskLevel: fc.oneof(fc.constant(undefined), fc.constantFrom('low', 'medium', 'high')),
+    strategicPerspective: optionalText(),
+}).map(stripUndefined);
+const dreamerGen = fc.record({
+    candidates: fc.oneof(fc.constant(undefined), fc.array(dreamerCandidateGen, { minLength: 0, maxLength: 3 })),
+}).map(stripUndefined);
+const philosopherGen = fc.record({
+    thesis: optionalText(),
+    principleCandidate: fc.oneof(fc.constant(undefined), fc.record({
+        title: optionalText(),
+        scope: optionalText(),
+        confidence: fc.oneof(fc.constant(undefined), fc.float({ min: 0, max: 1, noNaN: true })),
+    }).map(stripUndefined)),
+}).map(stripUndefined);
+const scribeGen = fc.record({
+    principleDraft: fc.oneof(fc.constant(undefined), fc.record({
+        statement: optionalText(),
+        applicability: fc.oneof(fc.constant(undefined), fc.array(fc.string({ minLength: 1, maxLength: 20 }), { maxLength: 3 })),
+        antiPatterns: fc.oneof(fc.constant(undefined), fc.array(fc.string({ minLength: 1, maxLength: 20 }), { maxLength: 3 })),
+    }).map(stripUndefined)),
+}).map(stripUndefined);
+const artificerGen = fc.record({
+    affectedTools: fc.oneof(fc.constant(undefined), fc.array(fc.string({ minLength: 1, maxLength: 20 }), { maxLength: 3 })),
+    implementationSummary: optionalText(),
+    risks: fc.oneof(fc.constant(undefined), fc.array(fc.string({ minLength: 1, maxLength: 20 }), { maxLength: 3 })),
+}).map(stripUndefined);
+const evaluatorGen = fc.record({
+    evaluation: fc.oneof(fc.constant(undefined), fc.record({
+        decision: fc.oneof(fc.constant(undefined), fc.constantFrom('approved', 'needs_revision', 'rejected')),
+        concerns: fc.oneof(fc.constant(undefined), fc.array(fc.string({ minLength: 1, maxLength: 20 }), { maxLength: 3 })),
+    }).map(stripUndefined)),
+    codeReview: fc.oneof(fc.constant(undefined), fc.record({
+        intentConsistency: fc.oneof(fc.constant(undefined), fc.record({ aligned: fc.boolean() })),
+    }).map(stripUndefined)),
+}).map(stripUndefined);
+/** Generators keyed by runnerKind, all 8 kinds represented (design §16 CP-01). */
+const STAGE_GENERATORS = {
+    diag_rootcause: diagRootCauseGen,
+    diag_distiller: diagDistillerGen,
+    diag_router: diagRouterGen,
+    dreamer: dreamerGen,
+    philosopher: philosopherGen,
+    scribe: scribeGen,
+    artificer: artificerGen,
+    evaluator: evaluatorGen,
+};
+/** A generator that picks a runnerKind and then a matching legal-shape output for it. */
+const stageInputGen = fc
+    .constantFrom(...SUMMARY_RUNNER_KINDS)
+    .chain((runnerKind) => STAGE_GENERATORS[runnerKind].map((output) => ({ runnerKind, output })));
+describe('deriveArtifactSummary — CP-01 determinism & boundedness', () => {
+    it('produces byte-identical output for the same input, twice', () => {
+        fc.assert(fc.property(stageInputGen, ({ runnerKind, output }) => {
+            const first = deriveArtifactSummary(runnerKind, output);
+            const second = deriveArtifactSummary(runnerKind, output);
+            expect(JSON.stringify(second)).toBe(JSON.stringify(first));
+        }), { numRuns: 200 });
+    });
+    it('bounds headline and every field value when ok=true', () => {
+        fc.assert(fc.property(stageInputGen, ({ runnerKind, output }) => {
+            const result = deriveArtifactSummary(runnerKind, output);
+            if (result.ok) {
+                expect(result.value.headline.length).toBeLessThanOrEqual(SUMMARY_HEADLINE_MAX_CHARS);
+                for (const value of Object.values(result.value.fields)) {
+                    expect(value.length).toBeLessThanOrEqual(SUMMARY_FIELD_MAX_CHARS);
+                }
+            }
+        }), { numRuns: 200 });
+    });
+    it('covers all 8 SummaryRunnerKind values (coverage guard, not a runtime assertion)', () => {
+        expect(SUMMARY_RUNNER_KINDS).toHaveLength(8);
+        expect(new Set(SUMMARY_RUNNER_KINDS).size).toBe(8);
+    });
+});
+describe('deriveArtifactSummary — CP-02 derivation totality', () => {
+    const adversarialUnknown = fc.oneof(fc.constant(null), fc.constant(undefined), fc.constant({}), fc.string(), fc.integer(), fc.boolean(), fc.array(fc.anything(), { maxLength: 5 }), fc.string({ minLength: 5000, maxLength: 6000 }), fc.constant({ __proto__: { polluted: true } }), fc.constant({ constructor: 'not-a-function' }), fc.constant({ toString: 'not-a-function' }), fc.constant((() => {
+        const cyclic = {};
+        cyclic.self = cyclic;
+        return cyclic;
+    })()), fc.object({ maxDepth: 4 }));
+    it('never throws and always returns a Result, for any unknown input × any legal runnerKind', () => {
+        fc.assert(fc.property(fc.constantFrom(...SUMMARY_RUNNER_KINDS), adversarialUnknown, (runnerKind, input) => {
+            let result;
+            expect(() => {
+                result = deriveArtifactSummary(runnerKind, input);
+            }).not.toThrow();
+            expect(result).toBeDefined();
+            expect(typeof result?.ok).toBe('boolean');
+        }), { numRuns: 300 });
+    });
+    it('never throws for illegal (non-SummaryRunnerKind) runnerKind values', () => {
+        fc.assert(fc.property(fc.string(), adversarialUnknown, (illegalKind, input) => {
+            fc.pre(!SUMMARY_RUNNER_KINDS.includes(illegalKind));
+            let result;
+            expect(() => {
+                result = deriveArtifactSummary(illegalKind, input);
+            }).not.toThrow();
+            expect(result?.ok).toBe(false);
+            if (result && !result.ok) {
+                expect(result.reason).toBe('unsupported_runner_kind');
+            }
+        }), { numRuns: 100 });
+    });
+    it('regression: the three diagnostic stages never return unsupported_runner_kind for their own legal output (design §4.7.1)', () => {
+        for (const runnerKind of ['diag_rootcause', 'diag_distiller', 'diag_router']) {
+            fc.assert(fc.property(STAGE_GENERATORS[runnerKind], (output) => {
+                const result = deriveArtifactSummary(runnerKind, output);
+                if (!result.ok) {
+                    expect(result.reason).not.toBe('unsupported_runner_kind');
+                }
+            }), { numRuns: 100 });
+        }
+    });
+});
+describe('deriveArtifactSummary — CP-03 missing fields land in omittedFields', () => {
+    /** Full legal outputs (all fields present) per stage, used as the "everything present" baseline. */
+    const FULL_OUTPUTS = {
+        diag_rootcause: { rootCause: 'Design: root cause statement', summary: 'root symptom', rootCauseCategory: 'Design' },
+        diag_distiller: { abstractedPrinciple: 'principle', rationale: 'rationale text', scope: 'general' },
+        diag_router: {
+            summary: 'router summary',
+            rootCause: 'router root cause',
+            violatedPrinciples: [{ principleId: 'T-01' }],
+            recommendations: [{ kind: 'principle' }],
+        },
+        dreamer: {
+            candidates: [{
+                    badDecision: 'bad', betterDecision: 'better', rationale: 'why', riskLevel: 'high', strategicPerspective: 'lens',
+                }],
+        },
+        philosopher: { thesis: 'thesis', principleCandidate: { title: 'title', scope: 'scope', confidence: 0.8 } },
+        scribe: { principleDraft: { statement: 'statement', applicability: ['a'], antiPatterns: ['b'] } },
+        artificer: { affectedTools: ['tool_a'], implementationSummary: 'summary', risks: ['risk_a'] },
+        evaluator: { evaluation: { decision: 'approved', concerns: ['c'] }, codeReview: { intentConsistency: { aligned: true } } },
+    };
+    /** Target field keys per stage, mirroring the resolver's own key set. */
+    const TARGET_KEYS = {
+        diag_rootcause: ['rootSymptom', 'category', 'severity', 'rootCause'],
+        diag_distiller: ['rootCause', 'affectedComponents', 'category', 'severity'],
+        diag_router: ['rootCause', 'affectedComponents', 'rootSymptom', 'category', 'severity'],
+        dreamer: ['badDecision', 'betterDecision', 'rationale', 'riskLevel', 'strategicPerspective'],
+        philosopher: ['thesis', 'principleTitle', 'principleScope', 'principleConfidence'],
+        scribe: ['principleText', 'scope', 'exceptions'],
+        artificer: ['changedFiles', 'apiSurface', 'risks'],
+        evaluator: ['verdict', 'concernCount', 'intentConsistency'],
+    };
+    it('unconditionally-absent target keys (no schema field for this stage) are always omitted', () => {
+        // These three are asserted by design §6.1's own note: the field-name
+        // exists as a *target* key for manifest compatibility, but no diagnostic
+        // stage schema carries it — it must be omitted every time, regardless of
+        // what else is present (Requirement 1.13).
+        const alwaysOmitted = {
+            diag_rootcause: ['severity'],
+            diag_distiller: ['affectedComponents', 'severity'],
+            diag_router: ['severity'],
+            dreamer: [],
+            philosopher: [],
+            scribe: [],
+            artificer: [],
+            evaluator: [],
+        };
+        for (const [runnerKind, keys] of Object.entries(alwaysOmitted)) {
+            if (keys.length === 0)
+                continue;
+            const result = deriveArtifactSummary(runnerKind, FULL_OUTPUTS[runnerKind]);
+            expect(result.ok, runnerKind).toBe(true);
+            if (result.ok) {
+                for (const key of keys) {
+                    expect(result.value.omittedFields, `${runnerKind}.${key}`).toContain(key);
+                }
+            }
+        }
+    });
+    it('every subset of removed fields from a full output appears exactly in omittedFields', () => {
+        fc.assert(fc.property(fc.constantFrom(...SUMMARY_RUNNER_KINDS), fc.array(fc.boolean(), { minLength: 0, maxLength: 8 }), (runnerKind, keepMask) => {
+            const full = FULL_OUTPUTS[runnerKind];
+            const targetKeys = TARGET_KEYS[runnerKind];
+            // For stages whose target key maps to a nested/derived structure
+            // (candidates[0].X, principleDraft.X, etc.) we can't cleanly "hole
+            // punch" individual keys without duplicating the resolver's own
+            // mapping logic. Instead, this property checks the two structural
+            // extremes (full output vs. empty object) plus the FULL_OUTPUTS
+            // baseline already covered by the deterministic test above.
+            void keepMask;
+            const emptyResult = deriveArtifactSummary(runnerKind, {});
+            const fullResult = deriveArtifactSummary(runnerKind, full);
+            // Empty input: every target key must be omitted (nothing to derive from).
+            if (emptyResult.ok) {
+                for (const key of targetKeys) {
+                    expect(emptyResult.value.omittedFields).toContain(key);
+                }
+            }
+            else {
+                expect(emptyResult.reason).toBe('no_derivable_field');
+            }
+            // Full input: omittedFields must be a subset of targetKeys (never invent extra keys).
+            if (fullResult.ok) {
+                for (const omitted of fullResult.value.omittedFields) {
+                    expect(targetKeys).toContain(omitted);
+                }
+            }
+        }), { numRuns: 200 });
+    });
+});
+//# sourceMappingURL=artifact-summary.property.test.js.map

package/dist/runtime-v2/internalization/__tests__/artifact-summary.property.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact-summary.property.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/artifact-summary.property.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,0BAA0B,EAC1B,uBAAuB,GAExB,MAAM,wBAAwB,CAAC;AAEhC,+EAA+E;AAC/E,0EAA0E;AAC1E,uEAAuE;AACvE,wEAAwE;AACxE,0CAA0C;AAE1C,MAAM,YAAY,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CACjC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EACf,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAClB,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAC9C,CAAC;AAEF,MAAM,YAAY,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,CACjC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAC/C,CAAC;AAEF,SAAS,cAAc,CAAoC,GAAM;IAC/D,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,KAAK,SAAS;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,gBAAgB,GAAG,EAAE,CAAC,MAAM,CAAC;IACjC,SAAS,EAAE,YAAY,EAAE;IACzB,OAAO,EAAE,YAAY,EAAE;IACvB,iBAAiB,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;CAClH,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAEvB,MAAM,gBAAgB,GAAG,EAAE,CAAC,MAAM,CAAC;IACjC,mBAAmB,EAAE,YAAY,EAAE;IACnC,SAAS,EAAE,YAAY,EAAE;IACzB,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;CAC1F,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAEvB,MAAM,aAAa,GAAG,EAAE,CAAC,MAAM,CAAC;IAC9B,OAAO,EAAE,YAAY,EAAE;IACvB,SAAS,EAAE,YAAY,EAAE;IACzB,kBAAkB,EAAE,EAAE,CAAC,KAAK,CAC1B,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,YAAY,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAC3F;IACD,eAAe,EAAE,EAAE,CAAC,KAAK,CACvB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAC3H;CACF,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAEvB,MAAM,mBAAmB,GAAG,EAAE,CAAC,MAAM,CAAC;IACpC,WAAW,EAAE,YAAY,EAAE;IAC3B,cAAc,EAAE,YAAY,EAAE;IAC9B,SAAS,EAAE,YAAY,EAAE;IACzB,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACrF,oBAAoB,EAAE,YAAY,EAAE;CACrC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAEvB,MAAM,UAAU,GAAG,EAAE,CAAC,MAAM,CAAC;IAC3B,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,mBAAmB,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;CAC5G,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAEvB,MAAM,cAAc,GAAG,EAAE,CAAC,MAAM,CAAC;IAC/B,MAAM,EAAE,YAAY,EAAE;IACtB,kBAAkB,EAAE,EAAE,CAAC,KAAK,CAC1B,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,YAAY,EAAE;QACrB,KAAK,EAAE,YAAY,EAAE;QACrB,UAAU,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;KACxF,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CACvB;CACF,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAEvB,MAAM,SAAS,GAAG,EAAE,CAAC,MAAM,CAAC;IAC1B,cAAc,EAAE,EAAE,CAAC,KAAK,CACtB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,MAAM,CAAC;QACR,SAAS,EAAE,YAAY,EAAE;QACzB,aAAa,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QACvH,YAAY,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;KACvH,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CACvB;CACF,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAEvB,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC;IAC7B,aAAa,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IACvH,qBAAqB,EAAE,YAAY,EAAE;IACrC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;CAChH,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAEvB,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC;IAC7B,UAAU,EAAE,EAAE,CAAC,KAAK,CAClB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,MAAM,CAAC;QACR,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;QACrG,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;KACnH,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CACvB;IACD,UAAU,EAAE,EAAE,CAAC,KAAK,CAClB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,MAAM,CAAC;QACR,iBAAiB,EAAE,EAAE,CAAC,KAAK,CACzB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CACrC;KACF,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CACvB;CACF,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAEvB,kFAAkF;AAClF,MAAM,gBAAgB,GAA+E;IACnG,cAAc,EAAE,gBAAgB;IAChC,cAAc,EAAE,gBAAgB;IAChC,WAAW,EAAE,aAAa;IAC1B,OAAO,EAAE,UAAU;IACnB,WAAW,EAAE,cAAc;IAC3B,MAAM,EAAE,SAAS;IACjB,SAAS,EAAE,YAAY;IACvB,SAAS,EAAE,YAAY;CACxB,CAAC;AAEF,yFAAyF;AACzF,MAAM,aAAa,GAAqF,EAAE;KACvG,YAAY,CAAC,GAAG,oBAAoB,CAAC;KACrC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAEjG,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE;YACpD,MAAM,KAAK,GAAG,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACxD,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE;YACpD,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACzD,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CAAC;gBACrF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,uBAAuB,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;QACH,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,oBAAoB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,GAAG,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,MAAM,kBAAkB,GAA0B,EAAE,CAAC,KAAK,CACxD,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EACjB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EACf,EAAE,CAAC,MAAM,EAAE,EACX,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACzC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAC/C,EAAE,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,EAC9C,EAAE,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,EAC9C,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC,EAC3C,EAAE,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE;QAChB,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC;QACrB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,EAAE,CAAC,EACL,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAC3B,CAAC;IAEF,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,oBAAoB,CAAC,EAAE,kBAAkB,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;YAC9F,IAAI,MAA4D,CAAC;YACjE,MAAM,CAAC,GAAG,EAAE;gBACV,MAAM,GAAG,qBAAqB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YACpD,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;YAC7B,MAAM,CAAC,OAAO,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5C,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,kBAAkB,EAAE,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE;YAClE,EAAE,CAAC,GAAG,CAAC,CAAE,oBAA0C,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;YAC3E,IAAI,MAA4D,CAAC;YACjE,MAAM,CAAC,GAAG,EAAE;gBACV,MAAM,GAAG,qBAAqB,CAAC,WAAgC,EAAE,KAAK,CAAC,CAAC;YAC1E,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACzB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YACxD,CAAC;QACH,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yHAAyH,EAAE,GAAG,EAAE;QACjI,KAAK,MAAM,UAAU,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,aAAa,CAAU,EAAE,CAAC;YACtF,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE;gBACnD,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBACf,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAClF,oGAAoG;IACpG,MAAM,YAAY,GAAiE;QACjF,cAAc,EAAE,EAAE,SAAS,EAAE,8BAA8B,EAAE,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,QAAQ,EAAE;QACnH,cAAc,EAAE,EAAE,mBAAmB,EAAE,WAAW,EAAE,SAAS,EAAE,gBAAgB,EAAE,KAAK,EAAE,SAAS,EAAE;QACnG,WAAW,EAAE;YACX,OAAO,EAAE,gBAAgB;YACzB,SAAS,EAAE,mBAAmB;YAC9B,kBAAkB,EAAE,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAC7C,eAAe,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SACzC;QACD,OAAO,EAAE;YACP,UAAU,EAAE,CAAC;oBACX,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,oBAAoB,EAAE,MAAM;iBAChH,CAAC;SACH;QACD,WAAW,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE;QAC1G,MAAM,EAAE,EAAE,cAAc,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE;QACjG,SAAS,EAAE,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,EAAE,qBAAqB,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;QAC7F,SAAS,EAAE,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,iBAAiB,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE;KAC3H,CAAC;IAEF,yEAAyE;IACzE,MAAM,WAAW,GAA2D;QAC1E,cAAc,EAAE,CAAC,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC;QACpE,cAAc,EAAE,CAAC,WAAW,EAAE,oBAAoB,EAAE,UAAU,EAAE,UAAU,CAAC;QAC3E,WAAW,EAAE,CAAC,WAAW,EAAE,oBAAoB,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,CAAC;QACvF,OAAO,EAAE,CAAC,aAAa,EAAE,gBAAgB,EAAE,WAAW,EAAE,WAAW,EAAE,sBAAsB,CAAC;QAC5F,WAAW,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,qBAAqB,CAAC;QAClF,MAAM,EAAE,CAAC,eAAe,EAAE,OAAO,EAAE,YAAY,CAAC;QAChD,SAAS,EAAE,CAAC,cAAc,EAAE,YAAY,EAAE,OAAO,CAAC;QAClD,SAAS,EAAE,CAAC,SAAS,EAAE,cAAc,EAAE,mBAAmB,CAAC;KAC5D,CAAC;IAEF,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,qEAAqE;QACrE,yEAAyE;QACzE,yEAAyE;QACzE,2CAA2C;QAC3C,MAAM,aAAa,GAA2D;YAC5E,cAAc,EAAE,CAAC,UAAU,CAAC;YAC5B,cAAc,EAAE,CAAC,oBAAoB,EAAE,UAAU,CAAC;YAClD,WAAW,EAAE,CAAC,UAAU,CAAC;YACzB,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,EAAE;YACf,MAAM,EAAE,EAAE;YACV,SAAS,EAAE,EAAE;YACb,SAAS,EAAE,EAAE;SACd,CAAC;QACF,KAAK,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAkD,EAAE,CAAC;YAChH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAChC,MAAM,MAAM,GAAG,qBAAqB,CAAC,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC;YAC3E,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,UAAU,IAAI,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAC5E,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,YAAY,CAAC,GAAG,oBAAoB,CAAC,EACxC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACtD,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE;YACvB,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;YACtC,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;YAE3C,iEAAiE;YACjE,mEAAmE;YACnE,gEAAgE;YAChE,kEAAkE;YAClE,gEAAgE;YAChE,4DAA4D;YAC5D,KAAK,QAAQ,CAAC;YACd,MAAM,WAAW,GAAG,qBAAqB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC1D,MAAM,UAAU,GAAG,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAE3D,0EAA0E;YAC1E,IAAI,WAAW,CAAC,EAAE,EAAE,CAAC;gBACnB,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;oBAC7B,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBACzD,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACxD,CAAC;YAED,sFAAsF;YACtF,IAAI,UAAU,CAAC,EAAE,EAAE,CAAC;gBAClB,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;oBACrD,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;QACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/__tests__/philosopher-toggle-characterization.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=philosopher-toggle-characterization.test.d.ts.map

package/dist/runtime-v2/internalization/__tests__/philosopher-toggle-characterization.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"philosopher-toggle-characterization.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/philosopher-toggle-characterization.test.ts"],"names":[],"mappings":""}

package/dist/runtime-v2/internalization/__tests__/philosopher-toggle-characterization.test.js

@@ -0,0 +1,279 @@
+/**
+ * Characterization test — what actually happens when the philosopher agent
+ * toggle is OFF (spec `internalization-progressive-disclosure`, task 1.3,
+ * open question (a) in design §13.2).
+ *
+ * SCOPE: this test LOCKS IN CURRENT BEHAVIOR. It does not assert desired
+ * behavior. If any assertion here starts failing, the philosopher-disabled
+ * semantics changed and design §2.3 / Requirement 2.9 / 2.11 must be re-reviewed
+ * before the change lands.
+ *
+ * ── The three candidate behaviors (design §13.2 (a)) ──────────────────────────
+ *   (1) orchestrator SKIPS the node  (dreamer → scribe directly)
+ *   (2) orchestrator REFUSES to enqueue it
+ *   (3) it runs anyway and is merely hidden from the UI
+ *
+ * ── Verified answer: (3), with a caveat ──────────────────────────────────────
+ * The task graph and the orchestrator never read the toggle at all. They are
+ * toggle-blind:
+ *   - `internalization-job-graph.ts` ALLOWED_EDGES has no dreamer→scribe edge.
+ *   - `internalization-state-machine.ts` `createNextTaskProposal()` takes
+ *     (task, artifacts, channel) — no config parameter exists.
+ *   - `internalization-orchestrator.ts` `InternalizationOrchestratorDeps` is
+ *     `{ stateManager }` only; `wakeOnce` / `proposeNextTask` /
+ *     `commitNextTaskProposal` never load `.pd/config.yaml`.
+ * So a philosopher successor IS proposed, IS committed, and IS leasable while
+ * `internalAgents.agents.philosopher.enabled === false`.
+ *
+ * The toggle is only read outside core, at adapter-resolution time, and there
+ * it REFUSES the whole run rather than skipping the node:
+ *   - `packages/principles-core/src/runtime-v2/config/pd-config-agent-binding.ts:168-176`
+ *     → `{ ok: false, readiness: 'disabled' }` (no `profile`, so the caller
+ *        cannot proceed without the agent).
+ *   - `packages/pd-cli/src/commands/runtime-internalization-run-rulehost.ts:124-126`
+ *     `resolvePiAiAgentAdapter(effective, 'philosopher', ...)` THROWS on
+ *     `!binding.ok`; lines 417-428 turn that throw into
+ *     `reason: 'agent_runtime_resolution_failed'` + `exitCode = 1` for the
+ *     entire pain → dreamer → philosopher → scribe chain.
+ *   - `packages/pd-cli/src/commands/runtime-internalization-run-once.ts` does
+ *     not read the toggle at all: `--runner philosopher` executes the runner.
+ *
+ * ── Consequence for the spec ────────────────────────────────────────────────
+ * There is no "philosopher skipped" chain shape. Either philosopher runs (and
+ * its writer-side `predecessorSummary` forwarding carries dreamer's 5 dimensions
+ * to scribe, design §2.3), or the whole run is refused before scribe executes.
+ * Requirement 2.9 / 2.11 therefore holds.
+ *
+ * ERR entries considered:
+ *   - ERR-088 (EP-09, non-unique test signal): every assertion below names a
+ *     concrete observable — `decision`, `successorKind`, `readiness`, the exact
+ *     `reason` string, the `createTask` argument — never "did not throw" and
+ *     never a bare `undefined`. The enabled agents (dreamer / scribe) are
+ *     asserted as `ok: true` in the same test so a blanket-failure regression in
+ *     `resolveAgentRuntimeBinding` cannot masquerade as "philosopher disabled".
+ *   - ERR-024 (EP-02, production wiring vs leaf-only testing): the toggle-blind
+ *     claim is asserted against the real `InternalizationOrchestrator` +
+ *     `createNextTaskProposal`, plus a source-text guard proving no core
+ *     orchestration module references the agent-enabled config at all — not
+ *     against a hand-rolled stand-in.
+ *   - ERR-073 (EP-09, characterization tests that only prove the happy path):
+ *     both sides of the toggle are covered — the disabled agent AND the enabled
+ *     agents — so the characterization pins the difference, not just one case.
+ */
+import { describe, it, expect, vi } from 'vitest';
+import { readFileSync } from 'node:fs';
+import { fileURLToPath } from 'node:url';
+import { ALLOWED_EDGES, getAllowedSuccessors, validateEdge, } from '../internalization-job-graph.js';
+import { createNextTaskProposal } from '../internalization-state-machine.js';
+import { InternalizationOrchestrator } from '../internalization-orchestrator.js';
+import { getDefaultInternalAgents } from '../../config/pd-config-defaults.js';
+import { computeEffectivePdConfig } from '../../config/pd-config-effective.js';
+import { resolveAgentRuntimeBinding } from '../../config/pd-config-agent-binding.js';
+// ── Helpers ──────────────────────────────────────────────────────────────────
+function makeRawTask(overrides) {
+    const now = new Date().toISOString();
+    return {
+        taskId: overrides.taskId,
+        taskKind: overrides.taskKind,
+        status: overrides.status,
+        createdAt: now,
+        updatedAt: now,
+        attemptCount: 0,
+        maxAttempts: 3,
+        diagnosticJson: JSON.stringify({
+            pi_metadata: {
+                dependencyTaskIds: overrides.dependencyTaskIds ?? [],
+                channel: 'prompt',
+                timeoutMs: 60_000,
+                inputArtifactRefs: [],
+                outputArtifactRefs: overrides.outputArtifactRefs ?? [],
+            },
+        }),
+    };
+}
+function makeSucceededDreamerPITask() {
+    const now = new Date().toISOString();
+    return {
+        taskId: 'dreamer-task-1',
+        taskKind: 'dreamer',
+        status: 'succeeded',
+        createdAt: now,
+        updatedAt: now,
+        attemptCount: 1,
+        maxAttempts: 3,
+        dependencyTaskIds: [],
+        channel: 'prompt',
+        timeoutMs: 60_000,
+        inputArtifactRefs: [],
+        outputArtifactRefs: [{ artifactType: 'principle', ref: 'pi-art-dreamer-1' }],
+        rejectionCount: 0,
+    };
+}
+function createMockStateManager() {
+    return {
+        listTasks: vi.fn(),
+        getTask: vi.fn(),
+        acquireLease: vi.fn(),
+        createTask: vi.fn(),
+    };
+}
+function readCoreSource(relativePath) {
+    return readFileSync(fileURLToPath(new URL(relativePath, import.meta.url)), 'utf-8');
+}
+// ── 1. Config layer: the toggle is OFF by default and resolves to 'disabled' ──
+describe('philosopher toggle — config layer (characterization)', () => {
+    it('philosopher defaults to disabled while dreamer and scribe default to enabled', () => {
+        const agents = getDefaultInternalAgents().agents;
+        expect(agents.philosopher.enabled).toBe(false);
+        // Positive discrimination (ERR-088): the default table is not uniformly false.
+        expect(agents.dreamer.enabled).toBe(true);
+        expect(agents.scribe.enabled).toBe(true);
+    });
+    it('resolveAgentRuntimeBinding reports philosopher as disabled with a structured reason', () => {
+        const effective = computeEffectivePdConfig(null);
+        const philosopher = resolveAgentRuntimeBinding(effective, 'philosopher');
+        expect(philosopher.ok).toBe(false);
+        if (philosopher.ok)
+            throw new Error('expected philosopher binding to be unresolved');
+        expect(philosopher.readiness).toBe('disabled');
+        expect(philosopher.reason).toBe("Agent 'philosopher' is disabled");
+        expect(philosopher.nextAction).toContain('internalAgents.agents.philosopher.enabled');
+    });
+    it('a disabled binding carries no runtime profile, so callers cannot proceed without the agent', () => {
+        const effective = computeEffectivePdConfig(null);
+        const philosopher = resolveAgentRuntimeBinding(effective, 'philosopher');
+        if (philosopher.ok)
+            throw new Error('expected philosopher binding to be unresolved');
+        // There is no "skip this stage" signal in the contract — only 'disabled' /
+        // 'not_ready' / 'needs_setup', all of which lack `profile`. This is why the
+        // pd-cli mainline refuses the whole run instead of skipping the node.
+        expect(Object.hasOwn(philosopher, 'profile')).toBe(false);
+        expect(['disabled', 'not_ready', 'needs_setup']).toContain(philosopher.readiness);
+    });
+    it('enabled agents still resolve successfully under the same default config', () => {
+        const effective = computeEffectivePdConfig(null);
+        const dreamer = resolveAgentRuntimeBinding(effective, 'dreamer');
+        const scribe = resolveAgentRuntimeBinding(effective, 'scribe');
+        expect(dreamer.ok).toBe(true);
+        expect(scribe.ok).toBe(true);
+        if (!dreamer.ok || !scribe.ok)
+            throw new Error('expected dreamer and scribe bindings to resolve');
+        expect(dreamer.profileId).toBe('openclaw.default');
+        expect(scribe.profileId).toBe('openclaw.default');
+    });
+});
+// ── 2. Graph layer: philosopher is structurally mandatory, no bypass ─────────
+describe('philosopher toggle — job graph has no bypass (characterization)', () => {
+    it('ALLOWED_EDGES has exactly 5 edges and no dreamer → scribe bypass', () => {
+        expect(ALLOWED_EDGES).toHaveLength(5);
+        expect(validateEdge('dreamer', 'scribe')).toBe(false);
+        expect(validateEdge('dreamer', 'philosopher')).toBe(true);
+        expect(validateEdge('philosopher', 'scribe')).toBe(true);
+    });
+    it("dreamer's only successor is philosopher", () => {
+        expect(getAllowedSuccessors('dreamer')).toEqual(['philosopher']);
+    });
+});
+// ── 3. Orchestration layer: toggle-blind — the node runs anyway ──────────────
+describe('philosopher toggle — orchestration is toggle-blind (characterization)', () => {
+    it('createNextTaskProposal proposes philosopher after a succeeded dreamer, with no config input', () => {
+        const proposal = createNextTaskProposal(makeSucceededDreamerPITask(), []);
+        expect(proposal).not.toBeNull();
+        expect(proposal?.taskKind).toBe('philosopher');
+        expect(proposal?.parentTaskId).toBe('dreamer-task-1');
+        expect(proposal?.dependencyTaskIds).toEqual(['dreamer-task-1']);
+        expect(proposal?.inputArtifactRefs).toEqual([
+            { artifactType: 'principle', ref: 'pi-art-dreamer-1' },
+        ]);
+    });
+    it('commitNextTaskProposal creates a philosopher successor while the toggle is off', async () => {
+        // Precondition made explicit: the toggle is OFF in the canonical config.
+        expect(getDefaultInternalAgents().agents.philosopher.enabled).toBe(false);
+        const stateManager = createMockStateManager();
+        const dreamerTask = makeRawTask({
+            taskId: 'dreamer-task-1',
+            taskKind: 'dreamer',
+            status: 'succeeded',
+            outputArtifactRefs: [{ artifactType: 'principle', ref: 'pi-art-dreamer-1' }],
+        });
+        stateManager.getTask.mockResolvedValue(dreamerTask);
+        // findExistingSuccessor scans pending then retry_wait.
+        stateManager.listTasks.mockResolvedValue([]);
+        stateManager.createTask.mockImplementation((input) => Promise.resolve(input));
+        const orchestrator = new InternalizationOrchestrator({ stateManager: stateManager }, { owner: 'characterization-owner', runtimeKind: 'local-worker' });
+        const result = await orchestrator.commitNextTaskProposal('dreamer-task-1');
+        expect(result.decision).toBe('successor_created');
+        expect(result).toMatchObject({
+            decision: 'successor_created',
+            sourceTaskId: 'dreamer-task-1',
+            successorKind: 'philosopher',
+            successorTaskId: 'philosopher-dreamer-task-1-prompt',
+        });
+        // Side-effect assertion (ERR-088): the successor actually reached the store
+        // as a philosopher task — not merely "no error was returned".
+        expect(stateManager.createTask).toHaveBeenCalledOnce();
+        expect(stateManager.createTask.mock.calls[0]?.[0]).toMatchObject({
+            taskId: 'philosopher-dreamer-task-1-prompt',
+            taskKind: 'philosopher',
+            status: 'pending',
+        });
+    });
+    it('wakeOnce leases a pending philosopher task while the toggle is off', async () => {
+        expect(getDefaultInternalAgents().agents.philosopher.enabled).toBe(false);
+        const stateManager = createMockStateManager();
+        const philosopherTask = makeRawTask({
+            taskId: 'philosopher-task-1',
+            taskKind: 'philosopher',
+            status: 'pending',
+        });
+        stateManager.listTasks
+            .mockResolvedValueOnce([philosopherTask]) // pending
+            .mockResolvedValueOnce([]); // retry_wait
+        stateManager.acquireLease.mockResolvedValue({
+            ...philosopherTask,
+            status: 'leased',
+            attemptCount: 1,
+        });
+        const orchestrator = new InternalizationOrchestrator({ stateManager: stateManager }, { owner: 'characterization-owner', runtimeKind: 'local-worker' });
+        const result = await orchestrator.wakeOnce();
+        expect(result).toMatchObject({
+            decision: 'leased',
+            taskId: 'philosopher-task-1',
+            taskKind: 'philosopher',
+            attemptCount: 1,
+        });
+        expect(stateManager.acquireLease).toHaveBeenCalledWith({
+            taskId: 'philosopher-task-1',
+            owner: 'characterization-owner',
+            runtimeKind: 'local-worker',
+        });
+    });
+    it('no core orchestration module reads the agent-enabled config (source guard)', () => {
+        const modules = [
+            '../internalization-orchestrator.ts',
+            '../internalization-state-machine.ts',
+            '../internalization-task-guards.ts',
+            '../internalization-job-graph.ts',
+        ];
+        const forbidden = [
+            'internalAgents',
+            'resolveAgentRuntimeBinding',
+            'checkAgentRuntimeReadiness',
+            'InternalAgentName',
+            'EffectivePdConfig',
+        ];
+        const hits = [];
+        for (const modulePath of modules) {
+            const src = readCoreSource(modulePath);
+            for (const token of forbidden) {
+                if (src.includes(token))
+                    hits.push(`${modulePath} references ${token}`);
+            }
+        }
+        // Empty means: the toggle cannot influence enqueueing, leasing, or successor
+        // proposal. If this list becomes non-empty, behavior (2) "refuse to enqueue"
+        // or (1) "skip the node" was introduced and Requirement 2 must be re-reviewed.
+        expect(hits).toEqual([]);
+    });
+});
+//# sourceMappingURL=philosopher-toggle-characterization.test.js.map

package/dist/runtime-v2/internalization/__tests__/philosopher-toggle-characterization.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"philosopher-toggle-characterization.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/philosopher-toggle-characterization.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,YAAY,GACb,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AAIjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,EAAE,0BAA0B,EAAE,MAAM,yCAAyC,CAAC;AAErF,gFAAgF;AAEhF,SAAS,WAAW,CAAC,SAMpB;IACC,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,OAAO;QACL,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;QACd,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,cAAc,EAAE,IAAI,CAAC,SAAS,CAAC;YAC7B,WAAW,EAAE;gBACX,iBAAiB,EAAE,SAAS,CAAC,iBAAiB,IAAI,EAAE;gBACpD,OAAO,EAAE,QAAQ;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,EAAE;gBACrB,kBAAkB,EAAE,SAAS,CAAC,kBAAkB,IAAI,EAAE;aACvD;SACF,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B;IACjC,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,OAAO;QACL,MAAM,EAAE,gBAAgB;QACxB,QAAQ,EAAE,SAAS;QACnB,MAAM,EAAE,WAAW;QACnB,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;QACd,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,iBAAiB,EAAE,EAAE;QACrB,OAAO,EAAE,QAAQ;QACjB,SAAS,EAAE,MAAM;QACjB,iBAAiB,EAAE,EAAE;QACrB,kBAAkB,EAAE,CAAC,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,kBAAkB,EAAE,CAAC;QAC5E,cAAc,EAAE,CAAC;KAClB,CAAC;AACJ,CAAC;AASD,SAAS,sBAAsB;IAC7B,OAAO;QACL,SAAS,EAAE,EAAE,CAAC,EAAE,EAAE;QAClB,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE;QAChB,YAAY,EAAE,EAAE,CAAC,EAAE,EAAE;QACrB,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,YAAoB;IAC1C,OAAO,YAAY,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AACtF,CAAC;AAED,iFAAiF;AAEjF,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,MAAM,GAAG,wBAAwB,EAAE,CAAC,MAAM,CAAC;QAEjD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,+EAA+E;QAC/E,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAEjD,MAAM,WAAW,GAAG,0BAA0B,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAEzE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,WAAW,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACrF,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QACnE,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAEjD,MAAM,WAAW,GAAG,0BAA0B,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAEzE,IAAI,WAAW,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACrF,2EAA2E;QAC3E,4EAA4E;QAC5E,sEAAsE;QACtE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1D,MAAM,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAEjD,MAAM,OAAO,GAAG,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,0BAA0B,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAE/D,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAClG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC/E,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,YAAY,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACrF,EAAE,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACrG,MAAM,QAAQ,GAAG,sBAAsB,CAAC,0BAA0B,EAAE,EAAE,EAAE,CAAC,CAAC;QAE1E,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC/C,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACtD,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,OAAO,CAAC;YAC1C,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,kBAAkB,EAAE;SACvD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC9F,yEAAyE;QACzE,MAAM,CAAC,wBAAwB,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE1E,MAAM,YAAY,GAAG,sBAAsB,EAAE,CAAC;QAC9C,MAAM,WAAW,GAAG,WAAW,CAAC;YAC9B,MAAM,EAAE,gBAAgB;YACxB,QAAQ,EAAE,SAAS;YACnB,MAAM,EAAE,WAAW;YACnB,kBAAkB,EAAE,CAAC,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,kBAAkB,EAAE,CAAC;SAC7E,CAAC,CAAC;QACH,YAAY,CAAC,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACpD,uDAAuD;QACvD,YAAY,CAAC,SAAS,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QAC7C,YAAY,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,KAAiB,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAE1F,MAAM,YAAY,GAAG,IAAI,2BAA2B,CAClD,EAAE,YAAY,EAAE,YAA8C,EAAE,EAChE,EAAE,KAAK,EAAE,wBAAwB,EAAE,WAAW,EAAE,cAAc,EAAE,CACjE,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;QAE3E,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC;YAC3B,QAAQ,EAAE,mBAAmB;YAC7B,YAAY,EAAE,gBAAgB;YAC9B,aAAa,EAAE,aAAa;YAC5B,eAAe,EAAE,mCAAmC;SACrD,CAAC,CAAC;QACH,4EAA4E;QAC5E,8DAA8D;QAC9D,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,oBAAoB,EAAE,CAAC;QACvD,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC/D,MAAM,EAAE,mCAAmC;YAC3C,QAAQ,EAAE,aAAa;YACvB,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,CAAC,wBAAwB,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE1E,MAAM,YAAY,GAAG,sBAAsB,EAAE,CAAC;QAC9C,MAAM,eAAe,GAAG,WAAW,CAAC;YAClC,MAAM,EAAE,oBAAoB;YAC5B,QAAQ,EAAE,aAAa;YACvB,MAAM,EAAE,SAAS;SAClB,CAAC,CAAC;QACH,YAAY,CAAC,SAAS;aACnB,qBAAqB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU;aACnD,qBAAqB,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa;QAC3C,YAAY,CAAC,YAAY,CAAC,iBAAiB,CAAC;YAC1C,GAAG,eAAe;YAClB,MAAM,EAAE,QAAQ;YAChB,YAAY,EAAE,CAAC;SAChB,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,IAAI,2BAA2B,CAClD,EAAE,YAAY,EAAE,YAA8C,EAAE,EAChE,EAAE,KAAK,EAAE,wBAAwB,EAAE,WAAW,EAAE,cAAc,EAAE,CACjE,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,CAAC;QAE7C,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC;YAC3B,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,oBAAoB;YAC5B,QAAQ,EAAE,aAAa;YACvB,YAAY,EAAE,CAAC;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,oBAAoB,CAAC;YACrD,MAAM,EAAE,oBAAoB;YAC5B,KAAK,EAAE,wBAAwB;YAC/B,WAAW,EAAE,cAAc;SAC5B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,OAAO,GAAG;YACd,oCAAoC;YACpC,qCAAqC;YACrC,mCAAmC;YACnC,iCAAiC;SAClC,CAAC;QACF,MAAM,SAAS,GAAG;YAChB,gBAAgB;YAChB,4BAA4B;YAC5B,4BAA4B;YAC5B,mBAAmB;YACnB,mBAAmB;SACpB,CAAC;QAEF,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;YACvC,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;gBAC9B,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,eAAe,KAAK,EAAE,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,6EAA6E;QAC7E,+EAA+E;QAC/E,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Scope regression test (design §4.7.1, task 3.21).
+ *
+ * Guards the Layer 0 scope boundary: the three diagnostic stages
+ * (`diag_rootcause` / `diag_distiller` / `diag_router`) and `philosopher`
+ * participate in Layer 0 ONLY as writer-side summary producers/forwarders.
+ * They MUST NOT:
+ *   - own a ContextManifest (manifests are exactly 4: dreamer / scribe /
+ *     artificer / evaluator)
+ *   - widen their export surface (philosopher stays de-surfaced from the
+ *     internal barrel — PRI-458)
+ *   - change their output schema or prompt text (Requirement 1.7)
+ *
+ * PR 1 has no manifest table yet (that lands in PR 2). This test asserts the
+ * negative today ("no diagnostic stage owns a manifest") and will be re-run
+ * unchanged once PR 2 introduces the manifest registry.
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §4.7, §4.7.1
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirements 1.7, 2.14
+ */
+export {};
+//# sourceMappingURL=progressive-disclosure-scope-regression.test.d.ts.map

package/dist/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-disclosure-scope-regression.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/progressive-disclosure-scope-regression.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG"}