@principles/core 1.241.0 → 1.243.0

package/dist/runtime-v2/internalization/progressive-evaluator.js

@@ -0,0 +1,248 @@
+/**
+ * Layer 2 — Progressive Evaluator: two-stage evaluation with flagged criteria
+ * (design §6.5).
+ *
+ * Pure logic only (Core vs Plugin boundary, `antipattern-core-io`).
+ *
+ * The progressive evaluator runs Stage 1 (summary-level context) first; only
+ * when flagged / undetermined / forced-sample does it trigger Stage 2 (tier2
+ * full-contentJson re-evaluation). This keeps daily cost low while enabling
+ * deep diagnosis on demand.
+ *
+ * Key invariants:
+ *   - Stage 2 output is INDEPENDENT — never merged with Stage 1 (rc-7 /
+ *     ERR-015 / ERR-018 / ERR-019). `stagesRun === 2` ⟹ `finalOutput` is
+ *     entirely the Stage 2 result.
+ *   - flagged criteria read DIMENSION_COVERAGE_POLICY (single source of truth),
+ *     never inline a dimension-name array. Untrusted LLM input is filtered by
+ *     the policy table before flagging (rc-1 / rc-4).
+ *   - Deterministic forced sampling via fnv1a32 (no Math.random, design §4.4).
+ */
+import { isRequiredDimension } from './dimension-coverage-policy.js';
+// ── Constants ────────────────────────────────────────────────────────────────
+export const IMPLEMENTATION_FIDELITY_THRESHOLD = 0.7;
+export const FORCED_STAGE2_SAMPLE_MODULUS = 20; // ~5%
+// ── Runtime guards (rc-1 / rc-2 / rc-5) ──────────────────────────────────────
+function isRecord(value) {
+    return value !== null && typeof value === 'object' && !Array.isArray(value);
+}
+function readNumber(source, key) {
+    if (!isRecord(source) || !Object.hasOwn(source, key))
+        return null;
+    const v = source[key];
+    return typeof v === 'number' && Number.isFinite(v) ? v : null;
+}
+function readBoolean(source, key) {
+    if (!isRecord(source) || !Object.hasOwn(source, key))
+        return null;
+    const v = source[key];
+    return typeof v === 'boolean' ? v : null;
+}
+function readStringArray(source, key) {
+    if (!isRecord(source) || !Object.hasOwn(source, key))
+        return null;
+    const v = source[key];
+    if (!Array.isArray(v))
+        return null;
+    return v.filter((el) => typeof el === 'string');
+}
+// ── Deterministic forced sampling (design §4.4) ───────────────────────────────
+/**
+ * FNV-1a 32-bit hash. Pure, deterministic, no crypto, no Math.random.
+ * Supports the full Unicode range in the input string.
+ */
+export function fnv1a32(input) {
+    let hash = 0x811c9dc5;
+    for (let i = 0; i < input.length; i++) {
+        hash ^= input.charCodeAt(i);
+        // FNV prime multiplication with 32-bit overflow wrapping.
+        hash = Math.imul(hash, 0x01000193);
+    }
+    // Convert to unsigned 32-bit.
+    return hash >>> 0;
+}
+/**
+ * Deterministic ~5% forced Stage 2 sampling. `fnv1a32(taskId) % modulus === 0`.
+ * Never uses Math.random or any non-deterministic source (design §4.4).
+ */
+export function isForcedStage2(taskId, modulus = FORCED_STAGE2_SAMPLE_MODULUS) {
+    if (modulus <= 0)
+        return false;
+    return fnv1a32(taskId) % modulus === 0;
+}
+// ── Flagged criteria (design §6.5.3) ─────────────────────────────────────────
+/**
+ * Evaluate the three flagged criteria against Stage 1 output (design §6.5.3).
+ *
+ * Preconditions: none — `stage1Output` is untrusted LLM output (rc-1), read
+ * via `Object.hasOwn` (rc-5 / ERR-013).
+ *
+ * Postconditions:
+ *   - `flagged === true` iff `reasons` is non-empty.
+ *   - Three criteria: required-dimension missing, painCoverage.fullyCovered === false,
+ *     implementationFidelity.score < 0.7.
+ *   - Fields missing or wrong type → `undetermined` (rc-3: fail loud, never
+ *     silently pass).
+ *
+ * Dimension criterion (§6.5.3, measurement-driven tightening):
+ *   - Only **required** dimension names in `missingDimensions` count. The LLM
+ *     may stuff optional/excluded/unknown strings in — all filtered out by
+ *     `isRequiredDimension` before checking. `optionalUncovered` never enters
+ *     `reasons`.
+ */
+export function evaluateFlaggedCriteria(stage1Output) {
+    const reasons = [];
+    const undetermined = [];
+    if (!isRecord(stage1Output)) {
+        // Entire output is malformed — all criteria undetermined.
+        return { flagged: false, reasons: [], undetermined: ['output_not_object'] };
+    }
+    // Criterion 1: required dimension missing (filtered, §6.5.3).
+    const compressionFidelity = Object.hasOwn(stage1Output, 'compressionFidelity')
+        ? stage1Output.compressionFidelity
+        : undefined;
+    if (isRecord(compressionFidelity)) {
+        const missingDims = readStringArray(compressionFidelity, 'missingDimensions');
+        if (missingDims === null) {
+            undetermined.push('compressionFidelity.missingDimensions');
+        }
+        else {
+            // rc-4: filter untrusted input through the policy table.
+            const requiredMissing = missingDims.filter((d) => isRequiredDimension(d));
+            if (requiredMissing.length > 0) {
+                reasons.push('missing_dimensions');
+            }
+        }
+    }
+    else {
+        undetermined.push('compressionFidelity');
+    }
+    // Criterion 2: painCoverage.fullyCovered === false.
+    const painCoverage = Object.hasOwn(stage1Output, 'painCoverage')
+        ? stage1Output.painCoverage
+        : undefined;
+    if (isRecord(painCoverage)) {
+        const fullyCovered = readBoolean(painCoverage, 'fullyCovered');
+        if (fullyCovered === null) {
+            undetermined.push('painCoverage.fullyCovered');
+        }
+        else if (fullyCovered === false) {
+            reasons.push('pain_not_fully_covered');
+        }
+    }
+    else {
+        undetermined.push('painCoverage');
+    }
+    // Criterion 3: implementationFidelity.score < threshold.
+    const implFidelity = Object.hasOwn(stage1Output, 'implementationFidelity')
+        ? stage1Output.implementationFidelity
+        : undefined;
+    if (isRecord(implFidelity)) {
+        const score = readNumber(implFidelity, 'score');
+        if (score === null) {
+            undetermined.push('implementationFidelity.score');
+        }
+        else if (score < IMPLEMENTATION_FIDELITY_THRESHOLD) {
+            reasons.push('implementation_fidelity_below_threshold');
+        }
+    }
+    else {
+        undetermined.push('implementationFidelity');
+    }
+    return {
+        flagged: reasons.length > 0,
+        reasons,
+        undetermined,
+    };
+}
+/**
+ * Run the two-stage progressive evaluation (design §6.5).
+ *
+ * Stage 1: evaluate with summary-level context → flagged criteria.
+ * If not flagged AND not forced AND no undetermined → return Stage 1 result.
+ * Otherwise → Stage 2: resolve tier2 lineage, evaluate independently.
+ *
+ * Stage 2 output is INDEPENDENT (rc-7 / ERR-015 / ERR-018 / ERR-019):
+ *   - Stage 1 output is NOT injected into Stage 2 context.
+ *   - Stage 2 concerns are NOT merged with Stage 1.
+ *   - `stagesRun === 2` → `finalOutput` is entirely Stage 2's result.
+ *
+ * Forced sampling (~5%) serves as a false-negative check: if Stage 1 passed
+ * but Stage 2 finds new concerns, emit `stage1_false_negative`.
+ */
+/**
+ * Extract concern identifiers from an evaluator output (best-effort).
+ * The evaluator schema (evaluator-output.ts) defines `evaluation.concerns` as
+ * a `string[]` — each concern is a plain string. This function returns those
+ * strings directly, filtering out any non-string elements defensively.
+ * (CodeRabbit PR #1277: previously assumed concerns were objects with key/
+ * description fields, but the schema is string[] — the mismatch meant
+ * diffConcernKeys always returned empty, disabling false-negative detection.)
+ */
+function extractConcernKeys(output) {
+    if (!isRecord(output))
+        return [];
+    const evaluation = Object.hasOwn(output, 'evaluation') ? output.evaluation : undefined;
+    if (!isRecord(evaluation))
+        return [];
+    const concerns = Object.hasOwn(evaluation, 'concerns') ? evaluation.concerns : undefined;
+    if (!Array.isArray(concerns))
+        return [];
+    return concerns.filter((c) => typeof c === 'string' && c !== '');
+}
+/**
+ * Compute the set difference of concern keys between Stage 2 and Stage 1.
+ * Returns keys present in Stage 2 but not in Stage 1.
+ */
+function diffConcernKeys(stage2Output, stage1Output) {
+    const keys1 = extractConcernKeys(stage1Output);
+    const keys2 = extractConcernKeys(stage2Output);
+    const set1 = new Set(keys1);
+    return keys2.filter((k) => !set1.has(k));
+}
+export async function runProgressiveEvaluation(deps) {
+    const emit = deps.emit ?? (() => undefined);
+    // Stage 1: summary-level evaluation.
+    const out1 = await deps.llm.evaluate(deps.stage1Context);
+    const d1 = evaluateFlaggedCriteria(out1);
+    const forced = isForcedStage2(deps.taskId);
+    // No Stage 2 needed.
+    if (!d1.flagged && !forced && d1.undetermined.length === 0) {
+        return { finalOutput: out1, stagesRun: 1, stage1Decision: d1, forcedStage2: false };
+    }
+    // Stage 2 triggered. Resolve tier2 lineage first.
+    if (deps.lineage !== undefined) {
+        const tier2 = await deps.lineage.resolve(deps.startArtifactId);
+        if (!tier2.ok) {
+            emit({ type: 'lineage_data_corrupt', detail: tier2.error.kind });
+            return {
+                finalOutput: out1,
+                stagesRun: 1,
+                stage1Decision: d1,
+                forcedStage2: forced,
+                stage2Aborted: { reason: 'lineage_error', detail: tier2.error.kind },
+            };
+        }
+    }
+    // Stage 2: independent re-evaluation with tier2 context.
+    // rc-7: do NOT inject out1, d1, or Stage 1 concerns into Stage 2.
+    const stage2Ctx = deps.stage2Context ?? deps.stage1Context;
+    const out2 = await deps.llm.evaluate(stage2Ctx);
+    // False-negative check (forced sample only, Stage 1 not flagged).
+    let falseNeg;
+    if (forced && !d1.flagged) {
+        const newKeys = diffConcernKeys(out2, out1);
+        if (newKeys.length > 0) {
+            falseNeg = { newConcernKeys: newKeys };
+            emit({ type: 'stage1_false_negative', newConcernKeys: newKeys });
+        }
+    }
+    return {
+        finalOutput: out2,
+        stagesRun: 2,
+        stage1Decision: d1,
+        forcedStage2: forced,
+        stage1FalseNegative: falseNeg,
+    };
+}
+//# sourceMappingURL=progressive-evaluator.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-evaluator.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/progressive-evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAErE,gFAAgF;AAEhF,MAAM,CAAC,MAAM,iCAAiC,GAAG,GAAG,CAAC;AACrD,MAAM,CAAC,MAAM,4BAA4B,GAAG,EAAE,CAAC,CAAC,MAAM;AAwBtD,gFAAgF;AAEhF,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,UAAU,CAAC,MAAe,EAAE,GAAW;IAC9C,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAChE,CAAC;AAED,SAAS,WAAW,CAAC,MAAe,EAAE,GAAW;IAC/C,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED,SAAS,eAAe,CAAC,MAAe,EAAE,GAAW;IACnD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAgB,EAAE,CAAC,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC;AAChE,CAAC;AAED,iFAAiF;AAEjF;;;GAGG;AACH,MAAM,UAAU,OAAO,CAAC,KAAa;IACnC,IAAI,IAAI,GAAG,UAAU,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,0DAA0D;QAC1D,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,8BAA8B;IAC9B,OAAO,IAAI,KAAK,CAAC,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,OAAO,GAAW,4BAA4B;IAC3F,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/B,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,OAAO,KAAK,CAAC,CAAC;AACzC,CAAC;AAED,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,uBAAuB,CAAC,YAAqB;IAC3D,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,YAAY,GAAa,EAAE,CAAC;IAElC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5B,0DAA0D;QAC1D,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;IAC9E,CAAC;IAED,8DAA8D;IAC9D,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,qBAAqB,CAAC;QAC5E,CAAC,CAAC,YAAY,CAAC,mBAAmB;QAClC,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,eAAe,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;QAC9E,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACzB,YAAY,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;QAC7D,CAAC;aAAM,CAAC;YACN,yDAAyD;YACzD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1E,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,YAAY,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC3C,CAAC;IAED,oDAAoD;IACpD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,cAAc,CAAC;QAC9D,CAAC,CAAC,YAAY,CAAC,YAAY;QAC3B,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3B,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;QAC/D,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1B,YAAY,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,YAAY,KAAK,KAAK,EAAE,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACpC,CAAC;IAED,yDAAyD;IACzD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,wBAAwB,CAAC;QACxE,CAAC,CAAC,YAAY,CAAC,sBAAsB;QACrC,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QAChD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,YAAY,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACpD,CAAC;aAAM,IAAI,KAAK,GAAG,iCAAiC,EAAE,CAAC;YACrD,OAAO,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;SAAM,CAAC;QACN,YAAY,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC;QAC3B,OAAO;QACP,YAAY;KACb,CAAC;AACJ,CAAC;AAqCD;;;;;;;;;;;;;;GAcG;AAEH;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAAC,MAAe;IACzC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACvF,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;AAChF,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,YAAqB,EAAE,YAAqB;IACnE,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAA8B;IAE9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAE5C,qCAAqC;IACrC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACzD,MAAM,EAAE,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAE3C,qBAAqB;IACrB,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IACtF,CAAC;IAED,kDAAkD;IAClD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACjE,OAAO;gBACL,WAAW,EAAE,IAAI;gBACjB,SAAS,EAAE,CAAC;gBACZ,cAAc,EAAE,EAAE;gBAClB,YAAY,EAAE,MAAM;gBACpB,aAAa,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE;aACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,yDAAyD;IACzD,kEAAkE;IAClE,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC;IAC3D,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAEhD,kEAAkE;IAClE,IAAI,QAAoE,CAAC;IACzE,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,QAAQ,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC;YACvC,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW,EAAE,IAAI;QACjB,SAAS,EAAE,CAAC;QACZ,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,MAAM;QACpB,mBAAmB,EAAE,QAAQ;KAC9B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,90 @@
+/**
+ * Layer 1 — PromptBudgetManager: budgeted context allocation (design §6.3).
+ *
+ * Pure logic only (Core vs Plugin boundary, `antipattern-core-io`).
+ *
+ * `allocateContext` takes a manifest + the available field values (as a
+ * `ReadonlyMap<string, unknown>`, rc-1) and produces an `AllocatedContext`:
+ * which fields fit the budget, which were truncated, which were dropped, and
+ * which were absent. It is a PURE allocation function — it does NOT decide
+ * whether to fall back to full-predecessor injection; that decision lives in
+ * `resolveInjection` (resolve-injection.ts, task 5.10).
+ *
+ * Key correctness properties (design §6.3 postconditions):
+ *   - `usedTokens <= budgetTokens`
+ *   - every dropped/truncated field has a TruncationRecord AND emits a
+ *     `context_truncated` event (rc-9 — never silently lose a field; the base
+ *     proposal `break`ed on budget exhaustion, dropping remaining fields
+ *     without record — ERR-002)
+ *   - identical input always yields identical output (total order by
+ *     (rank ASC, path ASC), no randomness, no time dependency)
+ *   - unknown values go through `safeStringifyPreview` (rc-8) before token
+ *     estimation
+ *
+ * budgetTokens scope (design §6.2.1 / §6.3 — MUST be reflected in comments):
+ * covers ONLY manifest-declared injection fields (tier0/tier1/tier2). Does NOT
+ * include core grounding, runner base instructions, or output-schema
+ * descriptions. `usedTokens <= budgetTokens` is an injection-field budget
+ * ceiling, NOT a prompt-total-length hard cap.
+ */
+import type { ContextManifest } from './context-manifest.js';
+import type { SummaryRunnerKind } from './artifact-summary.js';
+/** char/4 heuristic; no tokenizer dependency. Monotonically non-decreasing, pure. */
+export declare function estimateTokens(text: string): number;
+/** Max chars of a single field's serialized preview before token estimation. */
+export declare const FIELD_PREVIEW_MAX_CHARS = 600;
+/**
+ * Below this remaining budget, a field is dropped whole rather than
+ * partially truncated — a partial slice shorter than this carries too little
+ * signal to be worth the slot. Expressed in tokens (≈ 4 chars each).
+ */
+export declare const MIN_USEFUL_TOKENS = 8;
+/** Appended to partially-truncated field text so truncation is explicit (rc-9). */
+export declare const TRUNCATION_MARKER = "\u2026[budget-truncated]";
+export interface TruncationRecord {
+    readonly fieldPath: string;
+    readonly reason: 'budget_exceeded' | 'partially_truncated';
+    readonly remainingBudgetTokens: number;
+    readonly keptChars: number;
+    readonly droppedChars: number;
+}
+export interface AllocatedContext {
+    readonly manifestId: string;
+    /** Fields that fit (fully or partially) into the budget. */
+    readonly fields: Readonly<Record<string, string>>;
+    /** Fields dropped/truncated, each with a reason (rc-9). */
+    readonly truncated: readonly TruncationRecord[];
+    /** Manifest-declared paths not present in the available map. */
+    readonly absent: readonly string[];
+    readonly usedTokens: number;
+    readonly budgetTokens: number;
+}
+export interface ContextTruncatedEvent {
+    readonly type: 'context_truncated';
+    readonly runnerKind: SummaryRunnerKind;
+    readonly manifestId: string;
+    readonly fieldPath: string;
+    readonly reason: TruncationRecord['reason'];
+    readonly remainingBudgetTokens: number;
+}
+/**
+ * Allocate manifest-declared fields into the token budget (design §6.3).
+ *
+ * Preconditions: `manifest.budgetTokens > 0`; `available` values are `unknown`
+ * (rc-1) and are narrowed only via `safeStringifyPreview`.
+ *
+ * Postconditions:
+ *   - `usedTokens <= budgetTokens`
+ *   - every dropped/truncated field has a TruncationRecord and emitted a
+ *     `context_truncated` event (rc-9)
+ *   - identical input → identical output (total order, deterministic)
+ *
+ * Loop invariant while traversing: `usedTokens + remainingBudget === budgetTokens`
+ * (until a partial truncate zeroes remaining).
+ *
+ * NOTE: this function does NOT perform the information-floor fallback (design
+ * §6.2.2). The fallback is decided by `resolveInjection` after reading this
+ * function's `absent` array.
+ */
+export declare function allocateContext(manifest: ContextManifest, available: ReadonlyMap<string, unknown>, emit: (event: ContextTruncatedEvent) => void): AllocatedContext;
+//# sourceMappingURL=prompt-budget-manager.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-budget-manager.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/prompt-budget-manager.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAG/D,qFAAqF;AACrF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED,gFAAgF;AAChF,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAE3C;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC,mFAAmF;AACnF,eAAO,MAAM,iBAAiB,6BAAwB,CAAC;AAEvD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,iBAAiB,GAAG,qBAAqB,CAAC;IAC3D,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,2DAA2D;IAC3D,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD,gEAAgE;IAChE,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC5C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACxC;AASD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,eAAe,EACzB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EACvC,IAAI,EAAE,CAAC,KAAK,EAAE,qBAAqB,KAAK,IAAI,GAC3C,gBAAgB,CAsFlB"}

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

@@ -0,0 +1,149 @@
+/**
+ * Layer 1 — PromptBudgetManager: budgeted context allocation (design §6.3).
+ *
+ * Pure logic only (Core vs Plugin boundary, `antipattern-core-io`).
+ *
+ * `allocateContext` takes a manifest + the available field values (as a
+ * `ReadonlyMap<string, unknown>`, rc-1) and produces an `AllocatedContext`:
+ * which fields fit the budget, which were truncated, which were dropped, and
+ * which were absent. It is a PURE allocation function — it does NOT decide
+ * whether to fall back to full-predecessor injection; that decision lives in
+ * `resolveInjection` (resolve-injection.ts, task 5.10).
+ *
+ * Key correctness properties (design §6.3 postconditions):
+ *   - `usedTokens <= budgetTokens`
+ *   - every dropped/truncated field has a TruncationRecord AND emits a
+ *     `context_truncated` event (rc-9 — never silently lose a field; the base
+ *     proposal `break`ed on budget exhaustion, dropping remaining fields
+ *     without record — ERR-002)
+ *   - identical input always yields identical output (total order by
+ *     (rank ASC, path ASC), no randomness, no time dependency)
+ *   - unknown values go through `safeStringifyPreview` (rc-8) before token
+ *     estimation
+ *
+ * budgetTokens scope (design §6.2.1 / §6.3 — MUST be reflected in comments):
+ * covers ONLY manifest-declared injection fields (tier0/tier1/tier2). Does NOT
+ * include core grounding, runner base instructions, or output-schema
+ * descriptions. `usedTokens <= budgetTokens` is an injection-field budget
+ * ceiling, NOT a prompt-total-length hard cap.
+ */
+import { rankOf, declaredFields } from './context-manifest.js';
+import { safeStringifyPreview } from '../adapter/output-repair-contract.js';
+/** char/4 heuristic; no tokenizer dependency. Monotonically non-decreasing, pure. */
+export function estimateTokens(text) {
+    return Math.ceil(text.length / 4);
+}
+/** Max chars of a single field's serialized preview before token estimation. */
+export const FIELD_PREVIEW_MAX_CHARS = 600;
+/**
+ * Below this remaining budget, a field is dropped whole rather than
+ * partially truncated — a partial slice shorter than this carries too little
+ * signal to be worth the slot. Expressed in tokens (≈ 4 chars each).
+ */
+export const MIN_USEFUL_TOKENS = 8;
+/** Appended to partially-truncated field text so truncation is explicit (rc-9). */
+export const TRUNCATION_MARKER = '…[budget-truncated]';
+/**
+ * Allocate manifest-declared fields into the token budget (design §6.3).
+ *
+ * Preconditions: `manifest.budgetTokens > 0`; `available` values are `unknown`
+ * (rc-1) and are narrowed only via `safeStringifyPreview`.
+ *
+ * Postconditions:
+ *   - `usedTokens <= budgetTokens`
+ *   - every dropped/truncated field has a TruncationRecord and emitted a
+ *     `context_truncated` event (rc-9)
+ *   - identical input → identical output (total order, deterministic)
+ *
+ * Loop invariant while traversing: `usedTokens + remainingBudget === budgetTokens`
+ * (until a partial truncate zeroes remaining).
+ *
+ * NOTE: this function does NOT perform the information-floor fallback (design
+ * §6.2.2). The fallback is decided by `resolveInjection` after reading this
+ * function's `absent` array.
+ */
+export function allocateContext(manifest, available, emit) {
+    const paths = declaredFields(manifest);
+    const scored = [];
+    const absent = [];
+    // Score every present path; record absent ones.
+    for (const p of paths) {
+        if (!available.has(p)) {
+            absent.push(p);
+            continue;
+        }
+        const text = safeStringifyPreview(available.get(p), FIELD_PREVIEW_MAX_CHARS);
+        scored.push({
+            path: p,
+            text,
+            tokens: estimateTokens(text),
+            rank: rankOf(p, manifest),
+        });
+    }
+    // Total order: (rank ASC, path ASC). Deterministic regardless of map
+    // insertion order or tier declaration order.
+    scored.sort((a, b) => a.rank - b.rank || (a.path < b.path ? -1 : a.path > b.path ? 1 : 0));
+    const fields = {};
+    const truncated = [];
+    let remaining = manifest.budgetTokens;
+    for (const f of scored) {
+        if (f.tokens <= remaining) {
+            // Fits fully.
+            fields[f.path] = f.text;
+            remaining -= f.tokens;
+        }
+        else if (remaining > MIN_USEFUL_TOKENS) {
+            // Partial truncate: keep a prefix that fits, mark explicitly.
+            const keptChars = Math.max(0, remaining * 4 - TRUNCATION_MARKER.length);
+            const kept = f.text.slice(0, keptChars) + TRUNCATION_MARKER;
+            fields[f.path] = kept;
+            const rec = {
+                fieldPath: f.path,
+                reason: 'partially_truncated',
+                remainingBudgetTokens: remaining,
+                keptChars: kept.length,
+                droppedChars: f.text.length - kept.length,
+            };
+            truncated.push(rec);
+            emit({
+                type: 'context_truncated',
+                runnerKind: manifest.runnerKind,
+                manifestId: manifest.manifestId,
+                fieldPath: f.path,
+                reason: rec.reason,
+                remainingBudgetTokens: remaining,
+            });
+            remaining = 0;
+        }
+        else {
+            // Drop whole: remaining budget too small for a useful partial. Do NOT
+            // break — keep traversing so every remaining field is recorded (rc-9 /
+            // ERR-002: the base proposal broke here, silently losing the rest).
+            const rec = {
+                fieldPath: f.path,
+                reason: 'budget_exceeded',
+                remainingBudgetTokens: remaining,
+                keptChars: 0,
+                droppedChars: f.text.length,
+            };
+            truncated.push(rec);
+            emit({
+                type: 'context_truncated',
+                runnerKind: manifest.runnerKind,
+                manifestId: manifest.manifestId,
+                fieldPath: f.path,
+                reason: rec.reason,
+                remainingBudgetTokens: remaining,
+            });
+        }
+    }
+    return {
+        manifestId: manifest.manifestId,
+        fields,
+        truncated,
+        absent,
+        usedTokens: manifest.budgetTokens - remaining,
+        budgetTokens: manifest.budgetTokens,
+    };
+}
+//# sourceMappingURL=prompt-budget-manager.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-budget-manager.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/prompt-budget-manager.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAGH,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAE5E,qFAAqF;AACrF,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAE3C;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAEnC,mFAAmF;AACnF,MAAM,CAAC,MAAM,iBAAiB,GAAG,qBAAqB,CAAC;AAsCvD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,eAAe,CAC7B,QAAyB,EACzB,SAAuC,EACvC,IAA4C;IAE5C,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,gDAAgD;IAChD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACf,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,oBAAoB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC;QAC7E,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,CAAC;YACP,IAAI;YACJ,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC;YAC5B,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,qEAAqE;IACrE,6CAA6C;IAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE3F,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,IAAI,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC;IAEtC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC;YAC1B,cAAc;YACd,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;YACxB,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC;QACxB,CAAC;aAAM,IAAI,SAAS,GAAG,iBAAiB,EAAE,CAAC;YACzC,8DAA8D;YAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACxE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,iBAAiB,CAAC;YAC5D,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACtB,MAAM,GAAG,GAAqB;gBAC5B,SAAS,EAAE,CAAC,CAAC,IAAI;gBACjB,MAAM,EAAE,qBAAqB;gBAC7B,qBAAqB,EAAE,SAAS;gBAChC,SAAS,EAAE,IAAI,CAAC,MAAM;gBACtB,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM;aAC1C,CAAC;YACF,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,IAAI,CAAC;gBACH,IAAI,EAAE,mBAAmB;gBACzB,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,SAAS,EAAE,CAAC,CAAC,IAAI;gBACjB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,qBAAqB,EAAE,SAAS;aACjC,CAAC,CAAC;YACH,SAAS,GAAG,CAAC,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,sEAAsE;YACtE,uEAAuE;YACvE,oEAAoE;YACpE,MAAM,GAAG,GAAqB;gBAC5B,SAAS,EAAE,CAAC,CAAC,IAAI;gBACjB,MAAM,EAAE,iBAAiB;gBACzB,qBAAqB,EAAE,SAAS;gBAChC,SAAS,EAAE,CAAC;gBACZ,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM;aAC5B,CAAC;YACF,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,IAAI,CAAC;gBACH,IAAI,EAAE,mBAAmB;gBACzB,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,SAAS,EAAE,CAAC,CAAC,IAAI;gBACjB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,qBAAqB,EAAE,SAAS;aACjC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,MAAM;QACN,SAAS;QACT,MAAM;QACN,UAAU,EAAE,QAAQ,CAAC,YAAY,GAAG,SAAS;QAC7C,YAAY,EAAE,QAAQ,CAAC,YAAY;KACpC,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,62 @@
+/**
+ * Layer 1 — information-floor fallback wrapper (design §6.2.2).
+ *
+ * Pure logic only (Core vs Plugin boundary).
+ *
+ * Layer 1's semantics are "focus + budget control WITHOUT going below the
+ * information level of the flag-off baseline" (INV-FLOOR). Today dreamer
+ * already receives the predecessor's FULL contentJson (F13). Switching to a
+ * manifest-selected subset could make the prompt thinner — the opposite of the
+ * goal. So `resolveInjection` runs `allocateContext` first, then decides
+ * whether the resolved context is too sparse to use; if so it falls back to
+ * the legacy full-predecessor injection (NOT a thinner prompt) and emits a
+ * structured `manifest_resolution_insufficient` event (rc-9).
+ *
+ * The fallback decision lives HERE (the caller), not inside `allocateContext`
+ * — `allocateContext` stays a pure allocation function. The `absent` array
+ * `allocateContext` returns doubles as the fallback-judgement input.
+ */
+import type { ContextManifest } from './context-manifest.js';
+import { type AllocatedContext, type ContextTruncatedEvent } from './prompt-budget-manager.js';
+/** Initial value; dogfood-tunable (design §6.2.2). */
+export declare const MANIFEST_ABSENT_RATIO_THRESHOLD = 0.5;
+export interface ManifestResolutionInsufficientEvent {
+    readonly type: 'manifest_resolution_insufficient';
+    readonly runnerKind: ContextManifest['runnerKind'];
+    readonly manifestId: string;
+    readonly absentCount: number;
+    readonly declaredCount: number;
+    readonly absentRatio: number;
+    readonly fallback: 'full_predecessor_injection';
+}
+export type ResolveInjectionEmit = ContextTruncatedEvent | ManifestResolutionInsufficientEvent;
+export type ResolveInjectionResult = {
+    readonly kind: 'focused';
+    readonly allocated: AllocatedContext;
+    readonly fellBack: false;
+} | {
+    readonly kind: 'fallback';
+    readonly allocated: AllocatedContext;
+    readonly fellBack: true;
+    readonly reason: 'empty_allocation' | 'tier1_all_absent' | 'absent_ratio_exceeded';
+    readonly absentRatio: number;
+};
+/**
+ * Resolve the injection for a runner: allocate per the manifest, then decide
+ * whether to fall back to the legacy full-predecessor injection (design §6.2.2).
+ *
+ * The caller is responsible for:
+ *   - providing the `available` map (built from the loaded predecessor's
+ *     summary/predecessorSummary — Layer 0)
+ *   - acting on `result.kind`: 'focused' → use `allocated.fields`;
+ *     'fallback' → use the legacy `predecessorOutput` (F13) instead
+ *   - passing through ALL events (both `context_truncated` from the allocation
+ *     attempt AND `manifest_resolution_insufficient` when fallback fires)
+ *
+ * When the fallback fires, the `allocated` is still returned (with its
+ * `context_truncated` events already emitted) so Layer 3 can surface "what
+ * would have been truncated if we'd used the manifest" alongside the
+ * `manifest_resolution_insufficient` degradation.
+ */
+export declare function resolveInjection(manifest: ContextManifest, available: ReadonlyMap<string, unknown>, emit: (event: ResolveInjectionEmit) => void): ResolveInjectionResult;
+//# sourceMappingURL=resolve-injection.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-injection.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/resolve-injection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,qBAAqB,EAC3B,MAAM,4BAA4B,CAAC;AAEpC,sDAAsD;AACtD,eAAO,MAAM,+BAA+B,MAAM,CAAC;AAEnD,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,IAAI,EAAE,kCAAkC,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC,YAAY,CAAC,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,4BAA4B,CAAC;CACjD;AAED,MAAM,MAAM,oBAAoB,GAC5B,qBAAqB,GACrB,mCAAmC,CAAC;AAExC,MAAM,MAAM,sBAAsB,GAC9B;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC;CAC1B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,GAAG,kBAAkB,GAAG,uBAAuB,CAAC;IACnF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEN;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,eAAe,EACzB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EACvC,IAAI,EAAE,CAAC,KAAK,EAAE,oBAAoB,KAAK,IAAI,GAC1C,sBAAsB,CA0CxB"}

package/dist/runtime-v2/internalization/resolve-injection.js

@@ -0,0 +1,78 @@
+/**
+ * Layer 1 — information-floor fallback wrapper (design §6.2.2).
+ *
+ * Pure logic only (Core vs Plugin boundary).
+ *
+ * Layer 1's semantics are "focus + budget control WITHOUT going below the
+ * information level of the flag-off baseline" (INV-FLOOR). Today dreamer
+ * already receives the predecessor's FULL contentJson (F13). Switching to a
+ * manifest-selected subset could make the prompt thinner — the opposite of the
+ * goal. So `resolveInjection` runs `allocateContext` first, then decides
+ * whether the resolved context is too sparse to use; if so it falls back to
+ * the legacy full-predecessor injection (NOT a thinner prompt) and emits a
+ * structured `manifest_resolution_insufficient` event (rc-9).
+ *
+ * The fallback decision lives HERE (the caller), not inside `allocateContext`
+ * — `allocateContext` stays a pure allocation function. The `absent` array
+ * `allocateContext` returns doubles as the fallback-judgement input.
+ */
+import { declaredFields } from './context-manifest.js';
+import { allocateContext, } from './prompt-budget-manager.js';
+/** Initial value; dogfood-tunable (design §6.2.2). */
+export const MANIFEST_ABSENT_RATIO_THRESHOLD = 0.5;
+/**
+ * Resolve the injection for a runner: allocate per the manifest, then decide
+ * whether to fall back to the legacy full-predecessor injection (design §6.2.2).
+ *
+ * The caller is responsible for:
+ *   - providing the `available` map (built from the loaded predecessor's
+ *     summary/predecessorSummary — Layer 0)
+ *   - acting on `result.kind`: 'focused' → use `allocated.fields`;
+ *     'fallback' → use the legacy `predecessorOutput` (F13) instead
+ *   - passing through ALL events (both `context_truncated` from the allocation
+ *     attempt AND `manifest_resolution_insufficient` when fallback fires)
+ *
+ * When the fallback fires, the `allocated` is still returned (with its
+ * `context_truncated` events already emitted) so Layer 3 can surface "what
+ * would have been truncated if we'd used the manifest" alongside the
+ * `manifest_resolution_insufficient` degradation.
+ */
+export function resolveInjection(manifest, available, emit) {
+    const allocated = allocateContext(manifest, available, (e) => emit(e));
+    const declared = declaredFields(manifest);
+    const declaredCount = declared.length;
+    const absentCount = allocated.absent.length;
+    // Guard against divide-by-zero: a manifest with no declared fields is itself
+    // malformed (validateManifest requires budget>0 but not non-empty tiers); we
+    // treat an empty declaration as an empty-allocation fallback.
+    const absentRatio = declaredCount > 0 ? absentCount / declaredCount : 1;
+    const fallbackEvent = () => ({
+        type: 'manifest_resolution_insufficient',
+        runnerKind: manifest.runnerKind,
+        manifestId: manifest.manifestId,
+        absentCount,
+        declaredCount,
+        absentRatio,
+        fallback: 'full_predecessor_injection',
+    });
+    // Fallback trigger 1: nothing was allocated (empty allocation).
+    if (Object.keys(allocated.fields).length === 0) {
+        emit(fallbackEvent());
+        return { kind: 'fallback', allocated, fellBack: true, reason: 'empty_allocation', absentRatio };
+    }
+    // Fallback trigger 2: all tier1-declared fields are absent. tier1 holds the
+    // bulk of the structured context; if none of it resolved, the focused
+    // context is too thin to beat the legacy full-predecessor injection.
+    const tier1AllAbsent = manifest.tier1.length > 0 && manifest.tier1.every((p) => allocated.absent.includes(p));
+    if (tier1AllAbsent) {
+        emit(fallbackEvent());
+        return { kind: 'fallback', allocated, fellBack: true, reason: 'tier1_all_absent', absentRatio };
+    }
+    // Fallback trigger 3: absent ratio exceeds the threshold.
+    if (absentRatio > MANIFEST_ABSENT_RATIO_THRESHOLD) {
+        emit(fallbackEvent());
+        return { kind: 'fallback', allocated, fellBack: true, reason: 'absent_ratio_exceeded', absentRatio };
+    }
+    return { kind: 'focused', allocated, fellBack: false };
+}
+//# sourceMappingURL=resolve-injection.js.map