@principles/core 1.242.0 → 1.244.0

package/dist/runtime-v2/internalization/__tests__/context-manifest.property.test.js

@@ -0,0 +1,176 @@
+/**
+ * Property tests for ContextManifest well-formedness + ranking
+ * (design §6.2, §6.6.1, tasks 5.3–5.4).
+ *
+ * CP-12: manifest well-formedness (built-in manifests + synthetic generators)
+ * CP-13: unlisted fields sort last via rankOf
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §6.2, §6.6.1
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirement 4
+ */
+import { describe, it, expect } from 'vitest';
+import fc from 'fast-check';
+import { CONTEXT_MANIFEST_SCHEMA_VERSION, validateManifest, rankOf, declaredFields, checkManifestCriterionAlignment, } from '../context-manifest.js';
+import { BUILTIN_MANIFESTS, DREAMER_MANIFEST, SCRIBE_MANIFEST, ARTIFICER_MANIFEST, EVALUATOR_STAGE1_MANIFEST, EVALUATOR_STAGE2_MANIFEST, MANIFEST_RUNNER_KINDS, } from '../context-manifests.js';
+import { DIMENSION_COVERAGE_POLICY, REQUIRED_FIDELITY_DIMENSIONS, ALL_DREAMER_DIMENSIONS, } from '../dimension-coverage-policy.js';
+// ── CP-12: manifest well-formedness ──────────────────────────────────────────
+describe('CP-12 — manifest well-formedness', () => {
+    it('BUILTIN_MANIFESTS has exactly 4 distinct runnerKinds (no diagnostic stage)', () => {
+        // dreamer, scribe, artificer, evaluator — never diag_rootcause/distiller/router
+        expect(MANIFEST_RUNNER_KINDS).toHaveLength(4);
+        expect(new Set(MANIFEST_RUNNER_KINDS)).toEqual(new Set(['dreamer', 'scribe', 'artificer', 'evaluator']));
+        for (const kind of MANIFEST_RUNNER_KINDS) {
+            expect(kind).not.toMatch(/^diag_/);
+        }
+    });
+    it('every built-in manifest is well-formed (non-adjudicator path)', () => {
+        for (const m of BUILTIN_MANIFESTS) {
+            // Pass isAdjudicator only for evaluator manifests.
+            const isAdj = m.runnerKind === 'evaluator';
+            const result = validateManifest(m, { isAdjudicator: isAdj });
+            expect(result.ok, `manifest ${m.manifestId}: ${result.ok ? '' : JSON.stringify(result.error)}`).toBe(true);
+        }
+    });
+    it('every built-in manifest has schemaVersion, positive budget, all-string tiers/priority', () => {
+        for (const m of BUILTIN_MANIFESTS) {
+            expect(m.schemaVersion).toBe(CONTEXT_MANIFEST_SCHEMA_VERSION);
+            expect(m.budgetTokens).toBeGreaterThan(0);
+            for (const arr of [m.tier0, m.tier1, m.tier2, m.priority]) {
+                for (const el of arr) {
+                    expect(typeof el).toBe('string');
+                }
+            }
+        }
+    });
+    it('priority covers every declared field in every built-in manifest', () => {
+        // design §6.2: priority must cover tier0 ∪ tier1 ∪ tier2. The built-in
+        // manifests list every field explicitly.
+        for (const m of BUILTIN_MANIFESTS) {
+            const declared = new Set(declaredFields(m));
+            const priority = new Set(m.priority);
+            for (const path of declared) {
+                expect(priority.has(path), `${m.manifestId}: priority missing ${path}`).toBe(true);
+            }
+        }
+    });
+    it('budgetTokens not positive → validation fails', () => {
+        const bad = { ...DREAMER_MANIFEST, budgetTokens: 0 };
+        const result = validateManifest(bad);
+        expect(result.ok).toBe(false);
+        if (!result.ok)
+            expect(result.error.kind).toBe('budget_not_positive');
+    });
+    it('non-string element in a tier → validation fails (rc-4)', () => {
+        const bad = { ...DREAMER_MANIFEST, tier1: [...DREAMER_MANIFEST.tier1, 123] };
+        const result = validateManifest(bad);
+        expect(result.ok).toBe(false);
+        if (!result.ok)
+            expect(result.error.kind).toBe('non_string_element');
+    });
+    it('synthetic manifests with injected non-string elements are always rejected', () => {
+        const validBase = DREAMER_MANIFEST;
+        fc.assert(fc.property(fc.constantFrom('tier0', 'tier1', 'tier2', 'priority'), fc.oneof(fc.integer(), fc.boolean(), fc.constant(null), fc.constant(undefined)), (arrayName, badElement) => {
+            const arr = validBase[arrayName];
+            const corrupted = [...arr, badElement];
+            const manifest = { ...validBase, [arrayName]: corrupted };
+            const result = validateManifest(manifest);
+            expect(result.ok).toBe(false);
+            if (!result.ok)
+                expect(result.error.kind).toBe('non_string_element');
+        }), { numRuns: 60 });
+    });
+});
+// ── INV-MANIFEST-CRITERION (§6.6.1) ───────────────────────────────────────────
+describe('INV-MANIFEST-CRITERION — adjudicator manifests inject all non-excluded dims', () => {
+    it('both evaluator stage manifests inject all 4 non-excluded dreamer dimensions', () => {
+        // strategicPerspective is excluded; the other 4 must be injectable.
+        for (const m of [EVALUATOR_STAGE1_MANIFEST, EVALUATOR_STAGE2_MANIFEST]) {
+            const allPaths = new Set([...m.tier0, ...m.tier1, ...m.tier2]);
+            for (const dim of ALL_DREAMER_DIMENSIONS) {
+                const path = `dreamer.summary.${dim}`;
+                if (DIMENSION_COVERAGE_POLICY[dim] === 'excluded') {
+                    // excluded dims must NOT be injected (design §6.6.1).
+                    expect(allPaths.has(path), `${m.manifestId} must not inject excluded ${path}`).toBe(false);
+                }
+                else {
+                    expect(allPaths.has(path), `${m.manifestId} must inject ${path}`).toBe(true);
+                }
+            }
+        }
+    });
+    it('promoting an excluded dim to required without adding its path fails alignment', () => {
+        // Simulate the regression: take STAGE1 (valid), drop dreamer.summary.riskLevel,
+        // and check alignment catches it.
+        const tampered = {
+            ...EVALUATOR_STAGE1_MANIFEST,
+            tier1: EVALUATOR_STAGE1_MANIFEST.tier1.filter((p) => p !== 'dreamer.summary.riskLevel'),
+        };
+        const err = checkManifestCriterionAlignment(tampered, true);
+        expect(err).not.toBeNull();
+        expect(err?.kind).toBe('manifest_criterion_misaligned');
+        if (err && err.kind === 'manifest_criterion_misaligned') {
+            expect(err.detail).toContain('riskLevel');
+        }
+    });
+    it('non-evaluator manifests skip the alignment check (not adjudicators)', () => {
+        for (const m of [DREAMER_MANIFEST, SCRIBE_MANIFEST, ARTIFICER_MANIFEST]) {
+            expect(checkManifestCriterionAlignment(m, true)).toBeNull();
+        }
+    });
+    it('validateManifest flags misaligned adjudicator when isAdjudicator=true', () => {
+        const tampered = {
+            ...EVALUATOR_STAGE1_MANIFEST,
+            tier1: EVALUATOR_STAGE1_MANIFEST.tier1.filter((p) => p !== 'dreamer.summary.betterDecision'),
+        };
+        const result = validateManifest(tampered, { isAdjudicator: true });
+        expect(result.ok).toBe(false);
+        if (!result.ok)
+            expect(result.error.kind).toBe('manifest_criterion_misaligned');
+    });
+});
+// ── CP-13: unlisted fields sort last ─────────────────────────────────────────
+describe('CP-13 — unlisted fields sort last via rankOf', () => {
+    it('rankOf(listed field) === its index in priority', () => {
+        for (const m of BUILTIN_MANIFESTS) {
+            m.priority.forEach((path, idx) => {
+                expect(rankOf(path, m)).toBe(idx);
+            });
+        }
+    });
+    it('rankOf(unlisted declared field) is strictly greater than every listed field rank', () => {
+        fc.assert(fc.property(fc.constantFrom(...BUILTIN_MANIFESTS), fc.string({ minLength: 1, maxLength: 12 }).map((s) => `extra.${s}`), (m, extraPath) => {
+            fc.pre(!m.priority.includes(extraPath));
+            // Add extraPath to tier1 so it's "declared" but unlisted.
+            const tier1WithExtra = [...m.tier1, extraPath];
+            const manifest = { ...m, tier1: tier1WithExtra };
+            const extraRank = rankOf(extraPath, manifest);
+            for (const listed of m.priority) {
+                expect(extraRank).toBeGreaterThan(rankOf(listed, manifest));
+            }
+        }), { numRuns: 80 });
+    });
+    it('rankOf is deterministic: same input → same rank', () => {
+        for (const m of BUILTIN_MANIFESTS) {
+            for (const path of declaredFields(m)) {
+                expect(rankOf(path, m)).toBe(rankOf(path, m));
+            }
+        }
+    });
+});
+// ── dimension coverage policy sanity ─────────────────────────────────────────
+describe('DIMENSION_COVERAGE_POLICY — single source of truth', () => {
+    it('covers all 5 dreamer dimensions', () => {
+        for (const dim of ALL_DREAMER_DIMENSIONS) {
+            expect(Object.hasOwn(DIMENSION_COVERAGE_POLICY, dim)).toBe(true);
+        }
+        expect(Object.keys(DIMENSION_COVERAGE_POLICY)).toHaveLength(5);
+    });
+    it('REQUIRED_FIDELITY_DIMENSIONS = exactly the required ones', () => {
+        expect(REQUIRED_FIDELITY_DIMENSIONS).toEqual(['betterDecision', 'rationale', 'riskLevel']);
+    });
+    it('strategicPerspective is the only excluded dimension', () => {
+        const excluded = ALL_DREAMER_DIMENSIONS.filter((d) => DIMENSION_COVERAGE_POLICY[d] === 'excluded');
+        expect(excluded).toEqual(['strategicPerspective']);
+    });
+});
+//# sourceMappingURL=context-manifest.property.test.js.map

package/dist/runtime-v2/internalization/__tests__/context-manifest.property.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-manifest.property.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/context-manifest.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,+BAA+B,EAC/B,gBAAgB,EAChB,MAAM,EACN,cAAc,EACd,+BAA+B,GAEhC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,EACf,kBAAkB,EAClB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,yBAAyB,EACzB,4BAA4B,EAC5B,sBAAsB,GACvB,MAAM,iCAAiC,CAAC;AAEzC,gFAAgF;AAEhF,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,gFAAgF;QAChF,MAAM,CAAC,qBAAqB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QACzG,KAAK,MAAM,IAAI,IAAI,qBAAqB,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,mDAAmD;YACnD,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC;YAC3C,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7D,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7G,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC9D,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC1C,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1D,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;oBACrB,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,uEAAuE;QACvE,yCAAyC;QACzC,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,sBAAsB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAoB,EAAE,GAAG,gBAAgB,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;QACtE,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,EAAE,GAAG,gBAAgB,EAAE,KAAK,EAAE,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,GAAwB,CAAC,EAAE,CAAC;QAClG,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,SAAS,GAAG,gBAAgB,CAAC;QACnC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,EACtD,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAC/E,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE;YACxB,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;YACjC,MAAM,SAAS,GAAG,CAAC,GAAG,GAAG,EAAE,UAA+B,CAAC,CAAC;YAC5D,MAAM,QAAQ,GAAG,EAAE,GAAG,SAAS,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAqB,CAAC;YAC7E,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;YAC1C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACvE,CAAC,CACF,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,QAAQ,CAAC,6EAA6E,EAAE,GAAG,EAAE;IAC3F,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,oEAAoE;QACpE,KAAK,MAAM,CAAC,IAAI,CAAC,yBAAyB,EAAE,yBAAyB,CAAC,EAAE,CAAC;YACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/D,KAAK,MAAM,GAAG,IAAI,sBAAsB,EAAE,CAAC;gBACzC,MAAM,IAAI,GAAG,mBAAmB,GAAG,EAAE,CAAC;gBACtC,IAAI,yBAAyB,CAAC,GAAG,CAAC,KAAK,UAAU,EAAE,CAAC;oBAClD,sDAAsD;oBACtD,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,6BAA6B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7F,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/E,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,gFAAgF;QAChF,kCAAkC;QAClC,MAAM,QAAQ,GAAoB;YAChC,GAAG,yBAAyB;YAC5B,KAAK,EAAE,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,2BAA2B,CAAC;SACxF,CAAC;QACF,MAAM,GAAG,GAAG,+BAA+B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACxD,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,+BAA+B,EAAE,CAAC;YACxD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,KAAK,MAAM,CAAC,IAAI,CAAC,gBAAgB,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,+BAA+B,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,QAAQ,GAAoB;YAChC,GAAG,yBAAyB;YAC5B,KAAK,EAAE,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,gCAAgC,CAAC;SAC7F,CAAC;QACF,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;gBAC/B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpC,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,YAAY,CAAC,GAAG,iBAAiB,CAAC,EACrC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EACnE,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE;YACf,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;YACxC,0DAA0D;YAC1D,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC/C,MAAM,QAAQ,GAAoB,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;YAClE,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC9C,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAChC,MAAM,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;YAClC,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,KAAK,MAAM,GAAG,IAAI,sBAAsB,EAAE,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,4BAA4B,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;QACnG,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/__tests__/progressive-evaluator.property.test.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Property tests for the progressive evaluator (design §6.5, tasks 9.2–9.3).
+ *
+ * CP-21: flagged criteria equivalence (flagged ⟺ reasons non-empty; missing
+ *         fields → undetermined; required-only filter on missingDimensions)
+ * CP-22: deterministic forced sampling (fnv1a32, no Math.random)
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §6.5
+ */
+export {};
+//# sourceMappingURL=progressive-evaluator.property.test.d.ts.map

package/dist/runtime-v2/internalization/__tests__/progressive-evaluator.property.test.d.ts.map

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

package/dist/runtime-v2/internalization/__tests__/progressive-evaluator.property.test.js

@@ -0,0 +1,154 @@
+/**
+ * Property tests for the progressive evaluator (design §6.5, tasks 9.2–9.3).
+ *
+ * CP-21: flagged criteria equivalence (flagged ⟺ reasons non-empty; missing
+ *         fields → undetermined; required-only filter on missingDimensions)
+ * CP-22: deterministic forced sampling (fnv1a32, no Math.random)
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §6.5
+ */
+import { describe, it, expect } from 'vitest';
+import fc from 'fast-check';
+import { evaluateFlaggedCriteria, isForcedStage2, fnv1a32, IMPLEMENTATION_FIDELITY_THRESHOLD, } from '../progressive-evaluator.js';
+// ── CP-21: flagged criteria equivalence ──────────────────────────────────────
+describe('CP-21 — flagged criteria equivalence', () => {
+    it('flagged === true iff reasons is non-empty', () => {
+        // A clearly flagged output: required dim missing.
+        const flagged = evaluateFlaggedCriteria({
+            compressionFidelity: { missingDimensions: ['riskLevel'], optionalUncovered: [], explanation: '' },
+            painCoverage: { fullyCovered: true, uncoveredAspects: [], explanation: '' },
+            implementationFidelity: { score: 0.9 },
+        });
+        expect(flagged.flagged).toBe(true);
+        expect(flagged.reasons).toHaveLength(1);
+        expect(flagged.reasons).toContain('missing_dimensions');
+        // A clean output: all pass.
+        const clean = evaluateFlaggedCriteria({
+            compressionFidelity: { missingDimensions: [], optionalUncovered: [], explanation: '' },
+            painCoverage: { fullyCovered: true, uncoveredAspects: [], explanation: '' },
+            implementationFidelity: { score: 0.9 },
+        });
+        expect(clean.flagged).toBe(false);
+        expect(clean.reasons).toHaveLength(0);
+    });
+    it('optional/excluded dims in missingDimensions do NOT trigger flag (required-only)', () => {
+        const result = evaluateFlaggedCriteria({
+            compressionFidelity: { missingDimensions: ['badDecision', 'strategicPerspective', 'unknownDim'], optionalUncovered: ['badDecision'], explanation: '' },
+            painCoverage: { fullyCovered: true, uncoveredAspects: [], explanation: '' },
+            implementationFidelity: { score: 0.9 },
+        });
+        expect(result.flagged).toBe(false);
+        expect(result.reasons).not.toContain('missing_dimensions');
+    });
+    it('painCoverage.fullyCovered === false triggers flag', () => {
+        const result = evaluateFlaggedCriteria({
+            compressionFidelity: { missingDimensions: [], optionalUncovered: [], explanation: '' },
+            painCoverage: { fullyCovered: false, uncoveredAspects: ['x'], explanation: '' },
+            implementationFidelity: { score: 0.9 },
+        });
+        expect(result.flagged).toBe(true);
+        expect(result.reasons).toContain('pain_not_fully_covered');
+    });
+    it('implementationFidelity.score < threshold triggers flag', () => {
+        const result = evaluateFlaggedCriteria({
+            compressionFidelity: { missingDimensions: [], optionalUncovered: [], explanation: '' },
+            painCoverage: { fullyCovered: true, uncoveredAspects: [], explanation: '' },
+            implementationFidelity: { score: IMPLEMENTATION_FIDELITY_THRESHOLD - 0.01 },
+        });
+        expect(result.flagged).toBe(true);
+        expect(result.reasons).toContain('implementation_fidelity_below_threshold');
+    });
+    it('score exactly at threshold does NOT trigger flag (boundary)', () => {
+        const result = evaluateFlaggedCriteria({
+            compressionFidelity: { missingDimensions: [], optionalUncovered: [], explanation: '' },
+            painCoverage: { fullyCovered: true, uncoveredAspects: [], explanation: '' },
+            implementationFidelity: { score: IMPLEMENTATION_FIDELITY_THRESHOLD },
+        });
+        expect(result.flagged).toBe(false);
+    });
+    it('missing fields → undetermined (never silent pass, rc-3)', () => {
+        const result = evaluateFlaggedCriteria({});
+        expect(result.flagged).toBe(false);
+        expect(result.undetermined.length).toBeGreaterThan(0);
+        expect(result.undetermined).toContain('compressionFidelity');
+        expect(result.undetermined).toContain('painCoverage');
+        expect(result.undetermined).toContain('implementationFidelity');
+    });
+    it('non-object input → all undetermined', () => {
+        const result = evaluateFlaggedCriteria(null);
+        expect(result.flagged).toBe(false);
+        expect(result.undetermined).toContain('output_not_object');
+    });
+    it('property: flagged ⟺ reasons non-empty across random inputs', () => {
+        const scoreGen = fc.float({ min: 0, max: 1, noNaN: true });
+        const fullyCoveredGen = fc.boolean();
+        const missingDimsGen = fc.array(fc.constantFrom('betterDecision', 'rationale', 'riskLevel', 'badDecision', 'strategicPerspective', 'unknownX'));
+        fc.assert(fc.property(scoreGen, fullyCoveredGen, missingDimsGen, (score, fullyCovered, missingDims) => {
+            const result = evaluateFlaggedCriteria({
+                compressionFidelity: { missingDimensions: missingDims, optionalUncovered: [], explanation: '' },
+                painCoverage: { fullyCovered, uncoveredAspects: [], explanation: '' },
+                implementationFidelity: { score },
+            });
+            // flagged MUST equal reasons.length > 0.
+            expect(result.flagged).toBe(result.reasons.length > 0);
+        }), { numRuns: 200 });
+    });
+    it('property: adversarial unknown input never throws, always returns a Result', () => {
+        const adversarial = fc.oneof(fc.constant(null), fc.constant(undefined), fc.string(), fc.integer(), fc.constant({}), fc.array(fc.anything()), fc.constant({ __proto__: { polluted: true } }));
+        fc.assert(fc.property(adversarial, (input) => {
+            const result = evaluateFlaggedCriteria(input);
+            expect(typeof result.flagged).toBe('boolean');
+            expect(Array.isArray(result.reasons)).toBe(true);
+            expect(Array.isArray(result.undetermined)).toBe(true);
+        }), { numRuns: 100 });
+    });
+});
+// ── CP-22: deterministic forced sampling ─────────────────────────────────────
+describe('CP-22 — deterministic forced sampling', () => {
+    it('fnv1a32 is deterministic: same input → same output', () => {
+        fc.assert(fc.property(fc.string(), (s) => {
+            expect(fnv1a32(s)).toBe(fnv1a32(s));
+        }), { numRuns: 100 });
+    });
+    it('isForcedStage2 is deterministic: same taskId → same result', () => {
+        fc.assert(fc.property(fc.string(), (taskId) => {
+            expect(isForcedStage2(taskId)).toBe(isForcedStage2(taskId));
+        }), { numRuns: 100 });
+    });
+    it('Math.random is NOT used (replacing it with a throwing impl does not affect isForcedStage2)', () => {
+        const original = Math.random;
+        Math.random = () => { throw new Error('Math.random should not be called'); };
+        try {
+            for (const taskId of ['', 'a', 'test-123', '🎨', 'x'.repeat(1000)]) {
+                expect(() => isForcedStage2(taskId)).not.toThrow();
+            }
+        }
+        finally {
+            Math.random = original;
+        }
+    });
+    it('modulus=1 forces every task; modulus<=0 forces none', () => {
+        expect(isForcedStage2('any-task', 1)).toBe(true);
+        expect(isForcedStage2('any-task', 0)).toBe(false);
+        expect(isForcedStage2('any-task', -1)).toBe(false);
+    });
+    it('~5% hit rate with default modulus (statistical sanity)', () => {
+        let hits = 0;
+        const total = 1000;
+        for (let i = 0; i < total; i++) {
+            if (isForcedStage2(`task-${i}`))
+                hits++;
+        }
+        // ~5% ± 3% tolerance for randomness-free deterministic distribution.
+        expect(hits).toBeGreaterThan(20);
+        expect(hits).toBeLessThan(80);
+    });
+    it('empty string / Unicode / super-long all produce finite results', () => {
+        for (const s of ['', '🎨', 'x'.repeat(10000)]) {
+            const hash = fnv1a32(s);
+            expect(Number.isFinite(hash)).toBe(true);
+            expect(hash).toBeGreaterThanOrEqual(0);
+        }
+    });
+});
+//# sourceMappingURL=progressive-evaluator.property.test.js.map

package/dist/runtime-v2/internalization/__tests__/progressive-evaluator.property.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-evaluator.property.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/progressive-evaluator.property.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAM,MAAM,QAAQ,CAAC;AAClD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EACL,uBAAuB,EACvB,cAAc,EACd,OAAO,EACP,iCAAiC,GAElC,MAAM,6BAA6B,CAAC;AAErC,gFAAgF;AAEhF,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,kDAAkD;QAClD,MAAM,OAAO,GAAG,uBAAuB,CAAC;YACtC,mBAAmB,EAAE,EAAE,iBAAiB,EAAE,CAAC,WAAW,CAAC,EAAE,iBAAiB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YACjG,YAAY,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC3E,sBAAsB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE;SACvC,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAExD,4BAA4B;QAC5B,MAAM,KAAK,GAAG,uBAAuB,CAAC;YACpC,mBAAmB,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YACtF,YAAY,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC3E,sBAAsB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE;SACvC,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACrC,mBAAmB,EAAE,EAAE,iBAAiB,EAAE,CAAC,aAAa,EAAE,sBAAsB,EAAE,YAAY,CAAC,EAAE,iBAAiB,EAAE,CAAC,aAAa,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;YACtJ,YAAY,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC3E,sBAAsB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE;SACvC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACrC,mBAAmB,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YACtF,YAAY,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;YAC/E,sBAAsB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE;SACvC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACrC,mBAAmB,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YACtF,YAAY,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC3E,sBAAsB,EAAE,EAAE,KAAK,EAAE,iCAAiC,GAAG,IAAI,EAAE;SAC5E,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,yCAAyC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACrC,mBAAmB,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YACtF,YAAY,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC3E,sBAAsB,EAAE,EAAE,KAAK,EAAE,iCAAiC,EAAE;SACrE,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,uBAAuB,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAC7D,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,MAAM,eAAe,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,cAAc,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,gBAAgB,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,sBAAsB,EAAE,UAAU,CAAC,CAAC,CAAC;QAEhJ,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,eAAe,EAAE,cAAc,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE;YAC1F,MAAM,MAAM,GAAG,uBAAuB,CAAC;gBACrC,mBAAmB,EAAE,EAAE,iBAAiB,EAAE,WAAW,EAAE,iBAAiB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;gBAC/F,YAAY,EAAE,EAAE,YAAY,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;gBACrE,sBAAsB,EAAE,EAAE,KAAK,EAAE;aAClC,CAAC,CAAC;YACH,yCAAyC;YACzC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzD,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,WAAW,GAAG,EAAE,CAAC,KAAK,CAC1B,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EACjB,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,MAAM,EAAE,EACX,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EACf,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,EACvB,EAAE,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAC/C,CAAC;QACF,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE;YACjC,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,CAAC,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC9C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE;YAC7B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE;YAClC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9D,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;QAC7B,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAI,CAAC;YACH,KAAK,MAAM,MAAM,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACnE,MAAM,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACrD,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;QACzB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,MAAM,KAAK,GAAG,IAAI,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,IAAI,EAAE,CAAC;QAC1C,CAAC;QACD,qEAAqE;QACrE,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/__tests__/prompt-budget-manager.property.test.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Property tests for PromptBudgetManager (design §6.3, tasks 5.6–5.8).
+ *
+ * CP-14: allocation determinism + total order
+ * CP-15: field conservation + budget accounting
+ * CP-16: bounded-safe preview serialization
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §6.3
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirement 5
+ */
+export {};
+//# sourceMappingURL=prompt-budget-manager.property.test.d.ts.map

package/dist/runtime-v2/internalization/__tests__/prompt-budget-manager.property.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-budget-manager.property.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/prompt-budget-manager.property.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG"}