@principles/core 1.242.0 → 1.243.0

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

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

@@ -0,0 +1,254 @@
+/**
+ * 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
+ */
+import { describe, it, expect } from 'vitest';
+import fc from 'fast-check';
+import { allocateContext, estimateTokens, FIELD_PREVIEW_MAX_CHARS, } from '../prompt-budget-manager.js';
+import { declaredFields } from '../context-manifest.js';
+import { CONTEXT_MANIFEST_SCHEMA_VERSION } from '../context-manifest.js';
+/** Build a minimal valid manifest from fields + budget + priority. */
+function mkManifest(fields, budget, priority, manifestId = 'test.v1') {
+    return {
+        manifestId,
+        schemaVersion: CONTEXT_MANIFEST_SCHEMA_VERSION,
+        runnerKind: 'dreamer',
+        tier0: fields,
+        tier1: [],
+        tier2: [],
+        budgetTokens: budget,
+        priority,
+    };
+}
+/** Capture emitted context_truncated events. */
+function capture() {
+    const events = [];
+    return { emit: (e) => events.push(e), events };
+}
+// ── estimateTokens ───────────────────────────────────────────────────────────
+describe('estimateTokens', () => {
+    it('ceil(len/4), monotonically non-decreasing, pure', () => {
+        fc.assert(fc.property(fc.string({ maxLength: 1000 }), (s) => {
+            expect(estimateTokens(s)).toBe(Math.ceil(s.length / 4));
+            if (s.length > 0)
+                expect(estimateTokens(s)).toBeGreaterThanOrEqual(1);
+        }), { numRuns: 100 });
+    });
+});
+// ── CP-14: allocation determinism + total order ──────────────────────────────
+describe('CP-14 — allocation determinism & total order', () => {
+    it('identical available map (any insertion order) → identical AllocatedContext', () => {
+        const fields = ['a.summary.x', 'a.summary.y', 'a.summary.z', 'b.summary.w'];
+        const priority = ['a.summary.x', 'a.summary.y', 'a.summary.z', 'b.summary.w'];
+        const manifest = mkManifest(fields, 1000, priority);
+        // Deterministic shuffle via a nat seed (fc.shuffle is unavailable in this version).
+        function shuffle(arr, seed) {
+            const out = [...arr];
+            let s = seed;
+            const rand = () => { s = (s * 1103515245 + 12345) & 0x7fffffff; return s / 0x7fffffff; };
+            for (let i = out.length - 1; i > 0; i--) {
+                const j = Math.floor(rand() * (i + 1));
+                const a = out[i];
+                const b = out[j];
+                if (a !== undefined && b !== undefined) {
+                    out[i] = b;
+                    out[j] = a;
+                }
+            }
+            return out;
+        }
+        fc.assert(fc.property(fc.integer({ min: 1, max: 1_000_000 }), (seed) => {
+            const order1 = shuffle(fields, seed);
+            const order2 = [...order1].reverse();
+            const map1 = new Map(order1.map((k) => [k, `v-${k}`]));
+            const map2 = new Map(order2.map((k) => [k, `v-${k}`]));
+            const c1 = capture();
+            const c2 = capture();
+            const r1 = allocateContext(manifest, map1, c1.emit);
+            const r2 = allocateContext(manifest, map2, c2.emit);
+            expect(JSON.stringify(r1)).toBe(JSON.stringify(r2));
+            expect(JSON.stringify(c1.events)).toBe(JSON.stringify(c2.events));
+        }), { numRuns: 50 });
+    });
+    it('fields are emitted in (rank ASC, path ASC) order regardless of map order', () => {
+        // 'mid' is listed (rank 0). 'alpha' and 'zeta' are unlisted → rank by
+        // declaration order (priority.length + indexOf). With fields=[zeta,alpha,mid],
+        // declarationOrder: zeta=0, alpha=1 → zeta sorts before alpha. The path-ASC
+        // tiebreaker only applies when ranks are EQUAL. So expected order:
+        // mid (rank 0), zeta (rank 1), alpha (rank 2).
+        const fields = ['zeta', 'alpha', 'mid'];
+        const manifest = mkManifest(fields, 1000, ['mid']);
+        const map = new Map(fields.map((f) => [f, 'val']));
+        const c = capture();
+        const result = allocateContext(manifest, map, c.emit);
+        expect(Object.keys(result.fields)).toEqual(['mid', 'zeta', 'alpha']);
+    });
+    it('path-ASC tiebreak applies when two declared fields share the same rank', () => {
+        // rankOf assigns equal rank only when two fields occupy the same priority
+        // index — which is impossible for distinct paths. The realistic case is:
+        // two declared fields, NEITHER in priority, both in tier0 (same declaration
+        // tier). rankOf gives them priority.length + their indexOf in
+        // dedupe(tier0++...). To force an EQUAL rank we'd need them at the same
+        // index, which dedupe prevents. So instead test the tiebreak via the
+        // comparator directly: construct fields where the path-ASC branch is the
+        // decisive factor by giving both the same rank through a priority list
+        // that... actually ranks can't collide. The honest test: verify the sort
+        // comparator uses path ASC when ranks are equal by calling allocateContext
+        // with fields declared in reverse-alphabetical order, all unlisted.
+        // ranks: zeta=len+0, alpha=len+1 → zeta before alpha (declaration order).
+        // The path-ASC tiebreak is only reachable when ranks collide, which the
+        // current rankOf design prevents for declared fields. Document this and
+        // test the comparator's path branch via a unit assertion on the order
+        // produced when ranks are forced equal by listing both at the same...
+        // simplest: just confirm declaration-order wins (already covered above).
+        // This test instead confirms that a SINGLE unlisted field sorts after all
+        // listed fields regardless of its path.
+        const manifest = mkManifest(['zzz', 'aaa'], 1000, ['aaa']); // only 'aaa' listed
+        const map = new Map([['aaa', 'v'], ['zzz', 'v']]);
+        const c = capture();
+        const result = allocateContext(manifest, map, c.emit);
+        // 'aaa' (rank 0) first; 'zzz' (rank 1, unlisted) second — even though
+        // 'zzz' > 'aaa' alphabetically, rank dominates path.
+        expect(Object.keys(result.fields)).toEqual(['aaa', 'zzz']);
+    });
+});
+// ── CP-15: field conservation + budget accounting ─────────────────────────────
+describe('CP-15 — field conservation & budget accounting', () => {
+    it('every declared path falls into exactly one of fields/truncated/absent (no overlap, no loss)', () => {
+        fc.assert(fc.property(fc.array(fc.string({ minLength: 1, maxLength: 8 }).map((s) => `f.${s}`), { minLength: 1, maxLength: 8 }), fc.integer({ min: 1, max: 5000 }), fc.array(fc.boolean(), { maxLength: 8 }), (fields, budget, presentMask) => {
+            const manifest = mkManifest(fields, budget, fields);
+            const map = new Map();
+            fields.forEach((f, i) => {
+                if (presentMask[i % presentMask.length])
+                    map.set(f, `value-${f}`);
+            });
+            const c = capture();
+            const result = allocateContext(manifest, map, c.emit);
+            const inFields = new Set(Object.keys(result.fields));
+            const inTruncated = new Set(result.truncated.map((t) => t.fieldPath));
+            const inAbsent = new Set(result.absent);
+            // Every declared path is in exactly one bucket.
+            for (const f of declaredFields(manifest)) {
+                const count = (inFields.has(f) ? 1 : 0) + (inTruncated.has(f) ? 1 : 0) + (inAbsent.has(f) ? 1 : 0);
+                expect(count, `${f} should be in exactly 1 bucket, got ${count}`).toBe(1);
+            }
+        }), { numRuns: 80 });
+    });
+    it('usedTokens <= budgetTokens always', () => {
+        fc.assert(fc.property(fc.array(fc.string({ minLength: 1, maxLength: 30 }), { minLength: 0, maxLength: 8 }), fc.integer({ min: 1, max: 10000 }), (fields, budget) => {
+            const manifest = mkManifest(fields.length ? fields : ['x'], budget, fields.length ? fields : ['x']);
+            const map = new Map(fields.map((f) => [f, f.repeat(10)]));
+            const c = capture();
+            const result = allocateContext(manifest, map, c.emit);
+            expect(result.usedTokens).toBeLessThanOrEqual(result.budgetTokens);
+        }), { numRuns: 80 });
+    });
+    it('every truncated/dropped field has a TruncationRecord AND a context_truncated event (rc-9, ERR-002)', () => {
+        // Force budget exhaustion: 5 fields each ~40 chars (10 tokens), budget=15.
+        const fields = ['f1', 'f2', 'f3', 'f4', 'f5'];
+        const manifest = mkManifest(fields, 15, fields);
+        const map = new Map(fields.map((f) => [f, 'x'.repeat(40)])); // 40 chars → 10 tokens each
+        const c = capture();
+        const result = allocateContext(manifest, map, c.emit);
+        // At least one field fit (1) + at most one partial, rest dropped.
+        expect(result.truncated.length + Object.keys(result.fields).length).toBeGreaterThan(0);
+        // Every truncated record has a matching event.
+        expect(c.events.length).toBe(result.truncated.length);
+        for (const rec of result.truncated) {
+            const matchingEvent = c.events.find((e) => e.fieldPath === rec.fieldPath);
+            expect(matchingEvent, `event for ${rec.fieldPath}`).toBeDefined();
+            expect(matchingEvent?.reason).toBe(rec.reason);
+        }
+    });
+    it('usedTokens === sum of token costs of fully-fit serialized fields (no partials)', () => {
+        // Token cost is computed on the SERIALIZED value (safeStringifyPreview adds
+        // JSON quotes around strings), so the expected sum must use the serialized form.
+        const fields = ['a', 'b'];
+        const manifest = mkManifest(fields, 1000, fields);
+        const map = new Map([
+            ['a', 'short'],
+            ['b', 'tiny'],
+        ]);
+        const c = capture();
+        const result = allocateContext(manifest, map, c.emit);
+        expect(c.events).toHaveLength(0); // nothing truncated
+        // safeStringifyPreview('short') = '"short"' (7 chars), ('tiny') = '"tiny"' (6 chars)
+        const expected = estimateTokens(JSON.stringify('short')) + estimateTokens(JSON.stringify('tiny'));
+        expect(result.usedTokens).toBe(expected);
+    });
+    it('budget scope: injecting extra non-manifest keys does not change usedTokens', () => {
+        // design §6.2.1: budget covers ONLY manifest-declared fields. Adding
+        // core-grounding-like or instruction-like keys to the map must not affect
+        // the budget accounting.
+        const manifest = mkManifest(['a.summary.x'], 1000, ['a.summary.x']);
+        const minimal = new Map([['a.summary.x', 'val']]);
+        const withExtras = new Map([
+            ['a.summary.x', 'val'],
+            ['core.grounding', 'G'.repeat(5000)], // not in manifest
+            ['runner.instructions', 'I'.repeat(5000)], // not in manifest
+        ]);
+        const c1 = capture();
+        const c2 = capture();
+        const r1 = allocateContext(manifest, minimal, c1.emit);
+        const r2 = allocateContext(manifest, withExtras, c2.emit);
+        expect(r2.usedTokens).toBe(r1.usedTokens);
+        expect(r2.budgetTokens).toBe(r1.budgetTokens);
+    });
+});
+// ── CP-16: bounded-safe preview serialization ────────────────────────────────
+describe('CP-16 — bounded-safe preview serialization (rc-8, ERR-013)', () => {
+    it('adversarial values never throw and never exceed FIELD_PREVIEW_MAX_CHARS+marker', () => {
+        const cyclic = { a: 1 };
+        cyclic.self = cyclic;
+        const adversarial = [
+            cyclic,
+            BigInt(123),
+            Symbol('s'),
+            (() => 'fn'),
+            new Map([['k', 'v']]),
+            new Set([1, 2]),
+            new Date('2020-01-01'),
+            Number.NaN,
+            { __proto__: { polluted: true } },
+            { constructor: 'not-a-fn' },
+            { toString: 'not-a-fn' },
+            'x'.repeat(10000),
+            null,
+            undefined,
+        ];
+        const manifest = mkManifest(['k'], 100000, ['k']);
+        for (const val of adversarial) {
+            const map = new Map([['k', val]]);
+            const c = capture();
+            expect(() => allocateContext(manifest, map, c.emit)).not.toThrow();
+            const result = allocateContext(manifest, map, c.emit);
+            const fieldText = result.fields.k;
+            if (fieldText !== undefined) {
+                // safeStringifyPreview truncates at FIELD_PREVIEW_MAX_CHARS (600); the
+                // budget layer may append a TRUNCATION_MARKER on partial truncate.
+                // Either way the stored text is bounded and finite.
+                expect(fieldText.length).toBeLessThanOrEqual(FIELD_PREVIEW_MAX_CHARS + 50); // marker slack
+                expect(Number.isFinite(fieldText.length)).toBe(true);
+            }
+        }
+    });
+    it('prototype-polluting keys do not leak into the allocated fields', () => {
+        // A value with a __proto__ key must not pollute Object when serialized.
+        const manifest = mkManifest(['k'], 1000, ['k']);
+        const malicious = JSON.parse('{"__proto__":{"polluted":"yes"},"normal":"val"}');
+        const map = new Map([['k', malicious]]);
+        const c = capture();
+        const result = allocateContext(manifest, map, c.emit);
+        // The field is serialized to a string (no prototype pollution possible
+        // from a string). Verify the process didn't pollute Object.prototype.
+        expect({}.polluted).toBeUndefined();
+        expect(Object.keys(result.fields)).toContain('k');
+    });
+});
+//# sourceMappingURL=prompt-budget-manager.property.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-budget-manager.property.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/prompt-budget-manager.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,eAAe,EACf,cAAc,EACd,uBAAuB,GAExB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAU,cAAc,EAAwB,MAAM,wBAAwB,CAAC;AACtF,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AAGzE,sEAAsE;AACtE,SAAS,UAAU,CACjB,MAAyB,EACzB,MAAc,EACd,QAA2B,EAC3B,UAAU,GAAG,SAAS;IAEtB,OAAO;QACL,UAAU;QACV,aAAa,EAAE,+BAA+B;QAC9C,UAAU,EAAE,SAAS;QACrB,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,YAAY,EAAE,MAAM;QACpB,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,gDAAgD;AAChD,SAAS,OAAO;IACd,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;AACjD,CAAC;AAED,gFAAgF;AAEhF,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;YAChD,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YACxD,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACxE,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,MAAM,GAAG,CAAC,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC;QAC5E,MAAM,QAAQ,GAAG,CAAC,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC;QAC9E,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAEpD,oFAAoF;QACpF,SAAS,OAAO,CAAI,GAAiB,EAAE,IAAY;YACjD,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;YACrB,IAAI,CAAC,GAAG,IAAI,CAAC;YACb,MAAM,IAAI,GAAG,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,GAAG,KAAK,CAAC,GAAG,UAAU,CAAC,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YACzF,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACvC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;oBAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAAC,CAAC;YACrE,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE;YAC3D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YACpD,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QACpE,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,sEAAsE;QACtE,+EAA+E;QAC/E,4EAA4E;QAC5E,mEAAmE;QACnE,+CAA+C;QAC/C,MAAM,MAAM,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,0EAA0E;QAC1E,yEAAyE;QACzE,4EAA4E;QAC5E,8DAA8D;QAC9D,wEAAwE;QACxE,qEAAqE;QACrE,yEAAyE;QACzE,uEAAuE;QACvE,yEAAyE;QACzE,2EAA2E;QAC3E,oEAAoE;QACpE,0EAA0E;QAC1E,wEAAwE;QACxE,wEAAwE;QACxE,sEAAsE;QACtE,sEAAsE;QACtE,yEAAyE;QACzE,0EAA0E;QAC1E,wCAAwC;QACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,oBAAoB;QAChF,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACtD,sEAAsE;QACtE,qDAAqD;QACrD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,EAAE,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACrG,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACxG,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EACjC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACxC,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE;YAC9B,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YACpD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmB,CAAC;YACvC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACtB,IAAI,WAAW,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;YACpE,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YACpB,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAEtD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAExC,gDAAgD;YAChD,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnG,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,uCAAuC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACpF,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAClC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;YACjB,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpG,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1D,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YACpB,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACrE,CAAC,CACF,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oGAAoG,EAAE,GAAG,EAAE;QAC5G,2EAA2E;QAC3E,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;QACzF,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAEtD,kEAAkE;QAClE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvF,+CAA+C;QAC/C,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACtD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACnC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,aAAa,EAAE,aAAa,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YAClE,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,4EAA4E;QAC5E,iFAAiF;QACjF,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC;YAClB,CAAC,GAAG,EAAE,OAAO,CAAC;YACd,CAAC,GAAG,EAAE,MAAM,CAAC;SACd,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;QACtD,qFAAqF;QACrF,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAClG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,qEAAqE;QACrE,0EAA0E;QAC1E,yBAAyB;QACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACpE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC;YACzB,CAAC,aAAa,EAAE,KAAK,CAAC;YACtB,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,kBAAkB;YACxD,CAAC,qBAAqB,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,kBAAkB;SAC9D,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,OAAO,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,MAAM,GAA4B,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACjD,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC;QACrB,MAAM,WAAW,GAAG;YAClB,MAAM;YACN,MAAM,CAAC,GAAG,CAAC;YACX,MAAM,CAAC,GAAG,CAAC;YACX,CAAC,GAAG,EAAE,CAAC,IAAI,CAAY;YACvB,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YACrB,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,YAAY,CAAC;YACtB,MAAM,CAAC,GAAG;YACV,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE;YACjC,EAAE,WAAW,EAAE,UAAU,EAAE;YAC3B,EAAE,QAAQ,EAAE,UAAU,EAAE;YACxB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;YACjB,IAAI;YACJ,SAAS;SACV,CAAC;QAEF,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAClD,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YACpB,MAAM,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACnE,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAClC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,uEAAuE;gBACvE,mEAAmE;gBACnE,oDAAoD;gBACpD,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,uBAAuB,GAAG,EAAE,CAAC,CAAC,CAAC,eAAe;gBAC3F,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,wEAAwE;QACxE,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAChF,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACtD,uEAAuE;QACvE,sEAAsE;QACtE,MAAM,CAAE,EAA8B,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/__tests__/resolve-injection.property.test.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Property tests for resolveInjection information-floor fallback
+ * (design §6.2.2, task 5.11).
+ *
+ * CP-34: injection information floor — Layer 1 must not produce a thinner
+ * prompt than the flag-off baseline. When the manifest resolution is too
+ * sparse (empty / all tier1 absent / absent ratio > threshold), resolveInjection
+ * falls back to the legacy full-predecessor injection and emits exactly one
+ * manifest_resolution_insufficient event.
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §6.2.2
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirement 13
+ */
+export {};
+//# sourceMappingURL=resolve-injection.property.test.d.ts.map

package/dist/runtime-v2/internalization/__tests__/resolve-injection.property.test.d.ts.map

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

package/dist/runtime-v2/internalization/__tests__/resolve-injection.property.test.js

@@ -0,0 +1,150 @@
+/**
+ * Property tests for resolveInjection information-floor fallback
+ * (design §6.2.2, task 5.11).
+ *
+ * CP-34: injection information floor — Layer 1 must not produce a thinner
+ * prompt than the flag-off baseline. When the manifest resolution is too
+ * sparse (empty / all tier1 absent / absent ratio > threshold), resolveInjection
+ * falls back to the legacy full-predecessor injection and emits exactly one
+ * manifest_resolution_insufficient event.
+ *
+ * @see .kiro/specs/internalization-progressive-disclosure/design.md §6.2.2
+ * @see .kiro/specs/internalization-progressive-disclosure/requirements.md Requirement 13
+ */
+import { describe, it, expect } from 'vitest';
+import fc from 'fast-check';
+import { resolveInjection, MANIFEST_ABSENT_RATIO_THRESHOLD, } from '../resolve-injection.js';
+import { CONTEXT_MANIFEST_SCHEMA_VERSION } from '../context-manifest.js';
+/** Build a manifest with N tier1 fields, all in priority. */
+function mkManifest(tier1Fields, budget = 1000) {
+    return {
+        manifestId: 'test.v1',
+        schemaVersion: CONTEXT_MANIFEST_SCHEMA_VERSION,
+        runnerKind: 'dreamer',
+        tier0: [],
+        tier1: tier1Fields,
+        tier2: [],
+        budgetTokens: budget,
+        priority: tier1Fields,
+    };
+}
+function capture() {
+    const events = [];
+    return { emit: (e) => events.push(e), events };
+}
+function isFallback(e) {
+    return e.type === 'manifest_resolution_insufficient';
+}
+// ── CP-34: information floor ─────────────────────────────────────────────────
+describe('CP-34 — resolveInjection information-floor fallback', () => {
+    it('threshold is 0.5 (documented constant)', () => {
+        expect(MANIFEST_ABSENT_RATIO_THRESHOLD).toBe(0.5);
+    });
+    it('focused when all fields present (absent ratio 0)', () => {
+        const m = mkManifest(['a', 'b', 'c', 'd']);
+        const map = new Map([['a', '1'], ['b', '2'], ['c', '3'], ['d', '4']]);
+        const c = capture();
+        const result = resolveInjection(m, map, c.emit);
+        expect(result.kind).toBe('focused');
+        expect(result.fellBack).toBe(false);
+        expect(c.events.filter(isFallback)).toHaveLength(0);
+    });
+    it('falls back when allocation is empty (no field resolved)', () => {
+        const m = mkManifest(['a', 'b']);
+        const map = new Map(); // nothing available
+        const c = capture();
+        const result = resolveInjection(m, map, c.emit);
+        expect(result.kind).toBe('fallback');
+        expect(result.fellBack).toBe(true);
+        const fb = c.events.filter(isFallback);
+        expect(fb).toHaveLength(1);
+        expect(fb[0]?.fallback).toBe('full_predecessor_injection');
+        expect(fb[0]?.absentCount).toBe(2);
+        expect(fb[0]?.declaredCount).toBe(2);
+    });
+    it('falls back when all tier1 fields are absent', () => {
+        const m = mkManifest(['a', 'b', 'c']); // all tier1
+        const map = new Map(); // all absent
+        const c = capture();
+        const result = resolveInjection(m, map, c.emit);
+        expect(result.kind).toBe('fallback');
+        // empty-allocation trigger fires first (all absent → nothing allocated)
+        if (result.kind === 'fallback') {
+            expect(['empty_allocation', 'tier1_all_absent']).toContain(result.reason);
+        }
+    });
+    it('falls back when absent ratio > threshold (0.5)', () => {
+        // 4 declared, 3 absent → ratio 0.75 > 0.5. The 1 present field is in tier1
+        // (so tier1_all_absent is false), forcing the ratio trigger.
+        const m = mkManifest(['a', 'b', 'c', 'd']);
+        const map = new Map([['a', '1']]); // only 'a' present
+        const c = capture();
+        const result = resolveInjection(m, map, c.emit);
+        expect(result.kind).toBe('fallback');
+        if (result.kind === 'fallback') {
+            expect(result.absentRatio).toBe(0.75);
+        }
+    });
+    it('stays focused at exactly the threshold boundary (ratio == 0.5, not >)', () => {
+        // 4 declared, 2 absent → ratio exactly 0.5. Trigger is `> threshold`, so
+        // this must NOT fall back (boundary is inclusive of focused).
+        const m = mkManifest(['a', 'b', 'c', 'd']);
+        const map = new Map([['a', '1'], ['b', '2']]);
+        const c = capture();
+        const result = resolveInjection(m, map, c.emit);
+        expect(result.kind).toBe('focused');
+        expect(c.events.filter(isFallback)).toHaveLength(0);
+    });
+    it('property: fallback fires iff absentRatio > 0.5 OR allocation empty OR tier1 all absent', () => {
+        // Generate a 4-field manifest, randomly present each field, and verify the
+        // fallback decision matches the documented rule exactly.
+        fc.assert(fc.property(fc.array(fc.boolean(), { minLength: 4, maxLength: 4 }), (presentMask) => {
+            const m = mkManifest(['a', 'b', 'c', 'd']);
+            const map = new Map();
+            const fields = ['a', 'b', 'c', 'd'];
+            presentMask.forEach((present, i) => {
+                const f = fields[i];
+                if (present && f !== undefined)
+                    map.set(f, `v${i}`);
+            });
+            const c = capture();
+            const result = resolveInjection(m, map, c.emit);
+            const presentCount = presentMask.filter(Boolean).length;
+            const absentCount = 4 - presentCount;
+            const absentRatio = absentCount / 4;
+            const shouldFallback = presentCount === 0 // empty allocation
+                || absentRatio > MANIFEST_ABSENT_RATIO_THRESHOLD; // tier1_all_absent coincides with all-absent here
+            expect(result.fellBack).toBe(shouldFallback);
+            // Exactly one fallback event when fallback, zero otherwise.
+            const fbCount = c.events.filter(isFallback).length;
+            expect(fbCount).toBe(shouldFallback ? 1 : 0);
+        }), { numRuns: 50 });
+    });
+    it('fallback event carries absentCount, declaredCount, absentRatio, fallback (rc-9)', () => {
+        const m = mkManifest(['a', 'b', 'c', 'd']);
+        const map = new Map([['a', '1']]); // 3 absent
+        const c = capture();
+        resolveInjection(m, map, c.emit);
+        const fb = c.events.filter(isFallback);
+        expect(fb).toHaveLength(1);
+        expect(fb[0]?.absentCount).toBe(3);
+        expect(fb[0]?.declaredCount).toBe(4);
+        expect(fb[0]?.absentRatio).toBeCloseTo(0.75, 5);
+        expect(fb[0]?.fallback).toBe('full_predecessor_injection');
+    });
+    it('context_truncated events from the allocation attempt are preserved on fallback', () => {
+        // When fallback fires, the allocateContext that ran first may have emitted
+        // context_truncated events; those must still be in the event stream (design
+        // §6.3: they record "what would have been truncated").
+        const m = mkManifest(['a', 'b'], 1); // budget=1 forces truncation
+        const map = new Map([['a', 'x'.repeat(100)], ['b', 'y'.repeat(100)]]);
+        const c = capture();
+        const result = resolveInjection(m, map, c.emit);
+        // Budget too small → both fields likely dropped → empty allocation → fallback.
+        expect(result.kind).toBe('fallback');
+        const truncated = c.events.filter((e) => e.type === 'context_truncated');
+        // At least the context_truncated events from the attempt are present.
+        expect(truncated.length).toBeGreaterThan(0);
+    });
+});
+//# sourceMappingURL=resolve-injection.property.test.js.map