@principles/core 1.275.2 → 1.276.0

package/dist/runtime-v2/internalization/context-resolution.js

@@ -0,0 +1,317 @@
+/**
+ * Shared Information Plane — context resolution composition (design §6.4/§6.6).
+ *
+ * Pure logic only: no I/O, no fs, no DB, no network (Core vs Plugin boundary,
+ * AGENTS.md `antipattern-core-io`).
+ *
+ * This module is the seam that turns three independent fact-acquisition
+ * channels into ONE `available` map consumed by `resolveInjection`:
+ *
+ *   1. predecessor summary envelope → `summary-field-reader` (pure, Layer 1)
+ *   2. ancestry content             → `CandidateLineage` nodes (Layer 2; the
+ *                                     traversal/I/O is owned by the caller).
+ *                                     Serves BOTH `<stage>.raw.*` and
+ *                                     `<stage>.summary.*` for any ancestor.
+ *   3. related references           → explicit caller-provided sources
+ *                                     (e.g. the PR-A replay evidence), which
+ *                                     are causal references — NOT ancestry
+ *
+ * Why three channels stay separate at acquisition but merge at composition
+ * (design §33 / INV-LINEAGE-SCOPE): `lineageArtifactIds` expresses *content
+ * ancestry*; a repair's `sourceEvaluatorTaskId` expresses *causal reference*.
+ * Collapsing them into one data structure would silently redefine what
+ * "lineage" means. They are unified at read time, never at write time.
+ *
+ * rc-1/rc-5: every source `contentJson` stays `unknown`; all reads use
+ * `Object.hasOwn` + typeof/Array.isArray guards — no `as` casts.
+ */
+import { readSummaryField } from './summary-field-reader.js';
+import { deriveArtifactSummary, SUMMARY_RUNNER_KINDS, } from './artifact-summary.js';
+/**
+ * Split a manifest field path into namespace / layer / rest.
+ * Returns null for paths that do not follow the grammar (e.g. malformed,
+ * too short) so callers can skip them instead of throwing.
+ */
+export function parseContextPath(fieldPath) {
+    const parts = fieldPath.split('.');
+    if (parts.length < 3)
+        return null;
+    const [namespace, layer] = parts;
+    const rest = parts.slice(2);
+    if (namespace === undefined || namespace === '')
+        return null;
+    if (layer !== 'raw' && layer !== 'summary' && layer !== 'predecessorSummary')
+        return null;
+    if (rest.length === 0 || rest.some((segment) => segment === ''))
+        return null;
+    return { namespace, layer, rest };
+}
+// ── Pure raw field reader (design §16–§18) ──────────────────────────────────
+/**
+ * Keys that must never be traversed: reading them is how prototype pollution
+ * enters a context map. Rejected at every segment, not just the first.
+ */
+const FORBIDDEN_SEGMENTS = new Set([
+    '__proto__',
+    'constructor',
+    'prototype',
+]);
+function isRecord(value) {
+    return value !== null && typeof value === 'object' && !Array.isArray(value);
+}
+/** A dotted segment addressing an array element, e.g. `0` in `candidates.0`. */
+const ARRAY_INDEX = /^(0|[1-9][0-9]*)$/;
+/**
+ * Read a dotted path out of an untrusted contentJson (rc-1/rc-5).
+ *
+ * Supports array element addressing via numeric segments
+ * (`candidates.0.betterDecision`) because several durable artifacts nest their
+ * semantic payload under an array (DreamerOutput.candidates). No I/O, no
+ * lineage traversal, no manifest knowledge — it only walks a path.
+ *
+ * Returns undefined for: non-object intermediates, missing own properties,
+ * out-of-range or non-numeric array access, and forbidden keys.
+ */
+export function readRawField(rawPath, contentJson) {
+    let current = contentJson;
+    for (const segment of rawPath) {
+        if (FORBIDDEN_SEGMENTS.has(segment))
+            return undefined;
+        if (Array.isArray(current)) {
+            if (!ARRAY_INDEX.test(segment))
+                return undefined;
+            if (!Object.hasOwn(current, segment))
+                return undefined;
+            current = current[Number(segment)];
+            continue;
+        }
+        if (!isRecord(current))
+            return undefined;
+        if (!Object.hasOwn(current, segment))
+            return undefined;
+        current = current[segment];
+    }
+    return current;
+}
+// ── Channel 2: ancestry raw resolution (CandidateLineage) ───────────────────
+/**
+ * A manifest NAMESPACE is a *semantic* stage; a lineage node's stage is the
+ * *producer taskKind* (two-hop F1). Explicit fixed mapping — never fuzzy:
+ *
+ *   diagnostician → the manifest addresses the final diagnosis artifact
+ *   (DiagnosticianOutputV1). Its canonical producer on the DEFAULT split
+ *   pipeline is taskKind `diag_router` (SplitDiagnosticianRunner stage C);
+ *   the legacy monolithic runner committed the identical output contract
+ *   under taskKind `diagnostician`. Both must resolve the same namespace.
+ *
+ * Adding an alias here is a contract change — the resolver's nearest-match
+ * then accepts the listed producer kinds for that namespace.
+ */
+export const SEMANTIC_STAGE_ALIASES = {
+    diagnostician: ['diagnostician', 'diag_router'],
+};
+/**
+ * Producer taskKind used for the read-time summary projection (below).
+ * `diagnostician` is NOT a SummaryRunnerKind, but its output is byte-for-byte
+ * the diag_router contract, so the derivation reuses the diag_router resolver.
+ */
+const SUMMARY_DERIVATION_STAGE = {
+    diagnostician: 'diag_router',
+};
+/**
+ * Read `<stage>.summary.<key>` from an ancestry node, with a bounded
+ * read-time projection fallback.
+ *
+ * Why the fallback exists (review round): the writer-side envelope for diag
+ * outputs is SKIPPED (`output_summary_key_collision`, base-peer-runner) —
+ * DiagnosticianOutputV1 owns a top-level `summary` STRING that the Layer 0
+ * envelope must not overwrite. So `diagnostician.summary.rootSymptom` /
+ * `category` would be structurally absent forever. The fields are derivable
+ * from the unchanged durable output via the SAME derivation the writer would
+ * have used (`deriveArtifactSummary`, pure, no I/O), so the read side applies
+ * it as a bounded projection. Deterministic: same output → same fields. Only
+ * fires when the direct envelope read misses; still-absent → `absent` floor.
+ */
+function readSummaryWithProjection(fieldPath, stage, contentJson) {
+    const direct = readSummaryField(fieldPath, contentJson);
+    if (direct !== undefined)
+        return direct;
+    if (!isRecord(contentJson))
+        return undefined;
+    const derivationStage = SUMMARY_DERIVATION_STAGE[stage]
+        ?? (SUMMARY_RUNNER_KINDS.includes(stage) ? stage : undefined);
+    if (derivationStage === undefined)
+        return undefined;
+    const derived = deriveArtifactSummary(derivationStage, contentJson);
+    if (!derived.ok)
+        return undefined;
+    const parsed = parseContextPath(fieldPath);
+    if (parsed === null)
+        return undefined;
+    const [key] = parsed.rest;
+    if (key === undefined || FORBIDDEN_SEGMENTS.has(key))
+        return undefined;
+    if (key === 'headline')
+        return derived.value.headline;
+    if (!Object.hasOwn(derived.value.fields, key))
+        return undefined;
+    return derived.value.fields[key];
+}
+/**
+ * Convert CandidateLineage nodes into raw stage sources.
+ *
+ * Order is preserved, which is what makes stage selection deterministic:
+ * `CandidateLineage.resolve` walks BFS from the start artifact, so the FIRST
+ * node matching a stage is the NEAREST ancestor (design §20). Later duplicates
+ * are ignored — never a positional/arbitrary pick.
+ *
+ * Nodes whose stage could not be determined (`taskKind === 'unknown'`) carry no
+ * stage authority and are dropped.
+ */
+export function toRawStageSources(nodes) {
+    const sources = [];
+    for (const node of nodes) {
+        if (node.taskKind === 'unknown' || node.taskKind === '')
+            continue;
+        sources.push({ stage: node.taskKind, contentJson: node.contentJson });
+    }
+    return sources;
+}
+/**
+ * Split a manifest's tier2 into (ancestry raw paths, related raw paths).
+ *
+ * Related namespaces are excluded from the ancestry walk explicitly: a related
+ * reference is a causal pointer supplied by the caller, so it must never be
+ * mistaken for an ancestor stage — even if a taskKind happened to share the
+ * name. This is the executable form of INV-LINEAGE-SCOPE (design §33).
+ */
+export function partitionTier2Paths(tier2Paths, relatedNamespaces) {
+    const related = new Set(relatedNamespaces);
+    const ancestry = [];
+    const relatedPaths = [];
+    for (const fieldPath of tier2Paths) {
+        const parsed = parseContextPath(fieldPath);
+        if (parsed !== null && parsed.layer === 'raw' && related.has(parsed.namespace)) {
+            relatedPaths.push(fieldPath);
+            continue;
+        }
+        ancestry.push(fieldPath);
+    }
+    return { ancestry, related: relatedPaths };
+}
+/**
+ * Resolve ancestor-declared paths against ancestry sources — BOTH layers:
+ *
+ *   `<stage>.raw.<dotted.path>` — full contentJson walk (`readRawField`)
+ *   `<stage>.summary.<key>`     — the ancestor's own Layer 0 envelope
+ *                                 (`readSummaryField`)
+ *
+ * Why the summary layer needs the ancestry channel too (PR B, evidence-backed):
+ * `readSummaryField` deliberately STRIPS the leading `<stage>.` namespace and
+ * reads only its single `predecessorContentJson`. That convention is correct
+ * for manifests whose stage namespace is the runner's direct predecessor
+ * (dreamer/scribe/artificer), but a manifest that names an ancestor further up
+ * the chain (the Evaluator's `scribe.*` / `dreamer.*` / `diagnostician.*`)
+ * would otherwise have those paths structurally unreachable — they would land
+ * in `absent` forever and force the information-floor fallback on every run.
+ * The lineage walk already holds every ancestor's contentJson, so the same
+ * traversal that serves `raw` also serves `summary`, with no extra store read.
+ *
+ * First (nearest) matching stage wins; unresolvable paths are omitted so the
+ * caller's information-floor logic records them in `absent`.
+ *
+ * `predecessorSummary` is intentionally NOT answered here: it is the
+ * direct-predecessor forwarding concept owned by Channel 1.
+ *
+ * Namespace → node matching honors `SEMANTIC_STAGE_ALIASES`: a manifest
+ * namespace is the SEMANTIC stage, a node's stage is the producer taskKind.
+ */
+export function resolveAncestryPaths(fieldPaths, sources) {
+    const resolved = new Map();
+    for (const fieldPath of fieldPaths) {
+        const parsed = parseContextPath(fieldPath);
+        if (parsed === null)
+            continue;
+        if (parsed.layer === 'predecessorSummary')
+            continue;
+        const producerStages = [
+            parsed.namespace,
+            ...(SEMANTIC_STAGE_ALIASES[parsed.namespace] ?? []),
+        ];
+        const source = sources.find((candidate) => producerStages.includes(candidate.stage));
+        if (source === undefined)
+            continue;
+        const value = parsed.layer === 'raw'
+            ? readRawField(parsed.rest, source.contentJson)
+            : readSummaryWithProjection(fieldPath, source.stage, source.contentJson);
+        if (value !== undefined)
+            resolved.set(fieldPath, value);
+    }
+    return resolved;
+}
+/**
+ * Resolve `<ns>.summary.<key>` / `<ns>.raw.<key>` against related sources.
+ * Related refs expose flat keys only — a multi-segment rest path is not a
+ * related reference and is skipped (it belongs to the ancestry reader).
+ */
+export function resolveRelatedPaths(fieldPaths, sources) {
+    const resolved = new Map();
+    for (const fieldPath of fieldPaths) {
+        const parsed = parseContextPath(fieldPath);
+        if (parsed === null)
+            continue;
+        if (parsed.rest.length !== 1)
+            continue;
+        if (parsed.layer === 'predecessorSummary')
+            continue;
+        const source = sources.find((candidate) => candidate.namespace === parsed.namespace);
+        if (source === undefined)
+            continue;
+        const table = parsed.layer === 'raw' ? source.raw : source.summary;
+        if (table === undefined)
+            continue;
+        const [key] = parsed.rest;
+        if (key === undefined || FORBIDDEN_SEGMENTS.has(key))
+            continue;
+        if (!Object.hasOwn(table, key))
+            continue;
+        const value = table[key];
+        if (value !== undefined)
+            resolved.set(fieldPath, value);
+    }
+    return resolved;
+}
+// ── Composition ─────────────────────────────────────────────────────────────
+/**
+ * Merge the channel maps into one `available` map. FIRST WRITER WINS: the
+ * predecessor summary envelope is the highest-authority local source, then
+ * ancestry raw, then related. Channel namespaces are disjoint by construction
+ * (a path is either a summary path, an ancestry raw path, or a related path),
+ * so the rule only matters defensively — but it keeps the result deterministic.
+ */
+export function mergeContextFields(base, extras) {
+    const merged = new Map(base);
+    for (const extra of extras) {
+        for (const [fieldPath, value] of extra) {
+            if (!merged.has(fieldPath))
+                merged.set(fieldPath, value);
+        }
+    }
+    return merged;
+}
+// ── Information floor: required-evidence gate (design §33–§37) ──────────────
+/**
+ * Required paths that did NOT reach the prompt — either absent from the
+ * available map or dropped/truncated by the budget.
+ *
+ * This is the regression guard for "Stage2 enabled + raw fields silently
+ * absent": a required field that was truncated by `PromptBudgetManager` counts
+ * as unresolved just like an absent one, because the runner's semantic
+ * requirement was still not met.
+ */
+export function findUnresolvedRequiredPaths(params) {
+    const absentPaths = new Set(params.absent);
+    const truncatedPaths = new Set(params.truncated.map((record) => record.fieldPath));
+    return params.required.filter((path) => absentPaths.has(path) || truncatedPaths.has(path));
+}
+//# sourceMappingURL=context-resolution.js.map

package/dist/runtime-v2/internalization/context-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-resolution.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/context-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EACL,qBAAqB,EACrB,oBAAoB,GAErB,MAAM,uBAAuB,CAAC;AAoB/B;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IAChD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC;IACjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,oBAAoB;QAAE,OAAO,IAAI,CAAC;IAC1F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7E,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAAC;IACtD,WAAW;IACX,aAAa;IACb,WAAW;CACZ,CAAC,CAAC;AAEH,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,gFAAgF;AAChF,MAAM,WAAW,GAAG,mBAAmB,CAAC;AAExC;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,OAA0B,EAC1B,WAAoB;IAEpB,IAAI,OAAO,GAAY,WAAW,CAAC;IACnC,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;QAC9B,IAAI,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,SAAS,CAAC;QAEtD,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;gBAAE,OAAO,SAAS,CAAC;YACjD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;gBAAE,OAAO,SAAS,CAAC;YACvD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YACnC,SAAS;QACX,CAAC;QAED,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,OAAO,SAAS,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;YAAE,OAAO,SAAS,CAAC;QACvD,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAgD;IACjF,aAAa,EAAE,CAAC,eAAe,EAAE,aAAa,CAAC;CAChD,CAAC;AAEF;;;;GAIG;AACH,MAAM,wBAAwB,GAAgD;IAC5E,aAAa,EAAE,aAAa;CAC7B,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,SAAS,yBAAyB,CAChC,SAAiB,EACjB,KAAa,EACb,WAAoB;IAEpB,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACxD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAExC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,eAAe,GAAG,wBAAwB,CAAC,KAAK,CAAC;WAClD,CAAE,oBAA0C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAA2B,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC9G,IAAI,eAAe,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACpD,MAAM,OAAO,GAAG,qBAAqB,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAElC,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC3C,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACtC,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;IAC1B,IAAI,GAAG,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACvE,IAAI,GAAG,KAAK,UAAU;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;IACtD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACnC,CAAC;AAgBD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAA8E;IAE9E,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,EAAE;YAAE,SAAS;QAClE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAA6B,EAC7B,iBAAoC;IAEpC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/E,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;AAC7C,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,UAAU,oBAAoB,CAClC,UAA6B,EAC7B,OAAkC;IAElC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC9B,IAAI,MAAM,CAAC,KAAK,KAAK,oBAAoB;YAAE,SAAS;QACpD,MAAM,cAAc,GAAG;YACrB,MAAM,CAAC,SAAS;YAChB,GAAG,CAAC,sBAAsB,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;SACpD,CAAC;QACF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACrF,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,KAAK,KAAK;YAClC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC;YAC/C,CAAC,CAAC,yBAAyB,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;QAC3E,IAAI,KAAK,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAuBD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAA6B,EAC7B,OAAwC;IAExC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC9B,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACvC,IAAI,MAAM,CAAC,KAAK,KAAK,oBAAoB;YAAE,SAAS;QACpD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC;QACrF,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QACnE,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;QAC1B,IAAI,GAAG,KAAK,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC;YAAE,SAAS;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAkC,EAClC,MAA+C;IAE/C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAkB,IAAI,CAAC,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;YACvC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;GAQG;AACH,MAAM,UAAU,2BAA2B,CAAC,MAI3C;IACC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IACnF,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAC3B,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAC5D,CAAC;AACJ,CAAC"}

package/dist/runtime-v2/internalization/evaluator-runner.d.ts

@@ -33,6 +33,7 @@ import { type PreviousEvaluationContext, type HostToolCatalogFacts } from './eva
 import { type InternalizationChannel, type ArtifactRef } from './peer-runner-contracts.js';
 import { BasePeerRunner } from '../runner/base-peer-runner.js';
 import type { PeerRunnerOptions, PeerRunnerDeps, PeerRunnerResult, PeerRunnerValidationResult } from '../runner/peer-runner-types.js';
+import type { EffectivePdConfig } from '../config/pd-config-types.js';
 import { type RefinerRuleHostGateDeps } from './refiner-rulehost-gate.js';
 /** Context built by EvaluatorRunner.buildContext() and consumed by invokeRuntime(). */
 interface EvaluatorContext {
@@ -87,6 +88,14 @@ export interface EvaluatorRunnerOptions extends PeerRunnerOptions {
      * 工具名差异不得成为 hard blocker。
      */
     readonly hostToolCatalog?: HostToolCatalogFacts;
+    /**
+     * PR B (ADR-0019 pattern, mirrors ArtificerRunner): effective config for
+     * feature flag resolution. Without it the evaluator's flag helpers
+     * (progressive_evaluator / context_manifest_budget) always saw undefined and
+     * silently stayed legacy — the two-stage path could never be enabled even
+     * when the config asked for it.
+     */
+    readonly effectiveConfig?: EffectivePdConfig;
 }
 export interface ResolvedEvaluatorRunnerOptions {
     readonly pollIntervalMs: number;
@@ -120,6 +129,16 @@ export interface SeedArtificerRepairParams {
     /** Input artifact refs inherited from the original artificer task. */
     readonly inheritedInputArtifactRefs: readonly ArtifactRef[];
 }
+/**
+ * Outcome of resolving a Stage-2 prompt's required deep evidence (review
+ * round). Drives the fail-loud gate in the progressive path.
+ */
+export type EvaluatorStage2Evidence = {
+    readonly state: 'not_stage2' | 'focused' | 'fallback_other';
+} | {
+    readonly state: 'required_unavailable';
+    readonly unresolvedRequired: readonly string[];
+};
 export interface EvaluatorRunnerDeps extends PeerRunnerDeps {
     readonly validator: EvaluatorValidator;
     /**
@@ -208,6 +227,19 @@ export declare class EvaluatorRunner extends BasePeerRunner<EvaluatorContext, Ev
      * 解析失败 → 结构化降级事件 + undefined (保持既有行为,可观测)。
      */
     private resolvePreviousEvaluation;
+    /**
+     * Stage 2 required-evidence outcome (review round / information floor):
+     *  - `focused`            — required tier2 (`diagnostician.raw.evidence`,
+     *                           `dreamer.raw.candidates`) resolved from the
+     *                           durable CandidateLineage.
+     *  - `fallback_other`     — non-required fallback (envelope sparsity, budget
+     *                           flag off): the full artificer artifact is used,
+     *                           which is the pre-PR-B legacy assembly.
+     *  - `required_unavailable` — REQUIRED deep evidence is absent/truncated or
+     *                           the lineage is corrupt. No safe legacy fallback
+     *                           exists for a deep-evidence stage: the caller MUST
+     *                           refuse to send the Stage 2 prompt.
+     */
     private buildEvaluatorPrompt;
     /** Original single-stage invokeRuntime (flag-off path). */
     private invokeRuntimeSingleStage;

package/dist/runtime-v2/internalization/evaluator-runner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evaluator-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EACV,iBAAiB,EAEjB,kBAAkB,EAInB,MAAM,uBAAuB,CAAC;AAK/B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAkB,KAAK,eAAe,EAAqB,MAAM,wBAAwB,CAAC;AACjG,OAAO,EAAwE,KAAK,aAAa,EAAqE,MAAM,sBAAsB,CAAC;AAQnM,OAAO,EAAmD,KAAK,yBAAyB,EAAE,KAAK,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAC3J,OAAO,EAAwB,KAAK,sBAAsB,EAAE,KAAK,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACjH,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,0BAA0B,EAC3B,MAAM,gCAAgC,CAAC;AAKxC,OAAO,EAA+B,KAAK,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAWvG,uFAAuF;AACvF,UAAU,gBAAgB;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,aAAa,CAAC;IACjD,mEAAmE;IACnE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;CACzD;AA4JD,MAAM,MAAM,2BAA2B,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE7E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAuB,SAAQ,iBAAiB;IAC/D,QAAQ,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAC;IAC5C;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAAC;CACjD;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,eAAO,MAAM,gCAAgC,EAAE,QAAQ,CAAC,IAAI,CAAC,8BAA8B,EAAE,OAAO,GAAG,aAAa,CAAC,CAK3G,CAAC;AAEX,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,sBAAsB,GAAG,8BAA8B,CAS7G;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,yBAAyB;IACxC,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,kEAAkE;IAClE,QAAQ,CAAC,0BAA0B,EAAE,SAAS,MAAM,EAAE,CAAC;IACvD,0DAA0D;IAC1D,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;IAClD,0DAA0D;IAC1D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,0BAA0B,EAAE,SAAS,WAAW,EAAE,CAAC;CAC7D;AAED,MAAM,WAAW,mBAAoB,SAAQ,cAAc;IACzD,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,OAAO,CAAC;IAC7C;;;;;;;;;OASG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC,MAAM,EAAE,yBAAyB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CAC3F;AAID,qBAAa,eAAgB,SAAQ,cAAc,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;IACtF,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAC/C;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAiC;IAC1D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAyB;IACnE;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAkE;IACnG,sGAAsG;IACtG,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAE9D,YAAY,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,sBAAsB,EAYrE;IAED;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAO3B,IAAI,wBAAwB,IAAI,WAAW,CAAC,eAAe,CAAC,CAE3D;IAEK,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAiF5D;IAED,gFAAgF;IAChF,MAAM,CAAC,QAAQ,CAAC,yBAAyB,8BAA8B;IACvE,OAAO,CAAC,sBAAsB,CAAsB;IACpD,OAAO,CAAC,oBAAoB,CAAS;IAE/B,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,SAAS,CAAC,CAyDjF;IAED;;;;;OAKG;IACH,UAAyB,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAKnF;IAED;;;;OAIG;IACH,UAAyB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAK5F;IAED;;;OAGG;IAEH,OAAO,CAAC,mBAAmB;IAE3B;;;OAGG;IACH;;;;;;OAMG;YACW,yBAAyB;IAkGvC,OAAO,CAAC,oBAAoB;IA8B5B,2DAA2D;YAC7C,wBAAwB;IAYhC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CA8BpH;IAGK,WAAW,CACf,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,iBAAiB,EACzB,IAAI,EAAE,UAAU,EAChB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,CAuV9C;IAED;;;;;;;;;OASG;YACW,6BAA6B;IA6I3C;;;;;;;;OAQG;YACW,2BAA2B;IAuBzC;;;;OAIG;IAGH;;;;;OAKG;YACW,2BAA2B;IAmDzC;;;;OAIG;YACW,uBAAuB;IA8BrC,mEAAmE;YACrD,kCAAkC;IAmBhD;;;;;OAKG;IACH,UAAyB,wBAAwB,CAC/C,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,UAAU,GACrB,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,GAAG,IAAI,CAAC,CAgGrD;IAED;;;OAGG;YACW,6BAA6B;IA2C3C;;;;;;;OAOG;YACW,oCAAoC;IAgHlD;;;;OAIG;YACW,mBAAmB;IAiCjC;;;;;;;;;;;;OAYG;YACW,wBAAwB;IAmItC;;;;;;;OAOG;IACH,UAAmB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CAoBhH;IAED,UAAmB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAKvF;IAED;;;OAGG;IACH,UAAmB,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CASpH;IAID;;;;;;;;;;;;;;;;;;OAkBG;YAEW,oBAAoB;IA+BlC;;;;;;;;OAQG;YAEW,0BAA0B;IAoNxC;;;OAGG;IAEH,OAAO,CAAC,sBAAsB;IAyB9B;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,MAAM,CAAC,8BAA8B;IA8B7C;;;;;;OAMG;IAEH,OAAO,CAAC,oBAAoB;IAO5B;;;;;;;;;;;;;;;OAeG;IAEH,OAAO,CAAC,4BAA4B;IAmFpC;;;;;;;;;OASG;IAEH,OAAO,CAAC,cAAc;IA0DtB;;;;;;;;;;OAUG;YAEW,oBAAoB;IAwLlC;;;;;;;;;;OAUG;YACW,8BAA8B;IAmE5C;;;OAGG;IAEH,OAAO,CAAC,wBAAwB;IAwBhC,OAAO,CAAC,MAAM,CAAC,QAAQ;IAIvB;;;;;;;;;;;OAWG;YACW,oCAAoC;CA+BnD"}
+{"version":3,"file":"evaluator-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EACV,iBAAiB,EAEjB,kBAAkB,EAInB,MAAM,uBAAuB,CAAC;AAK/B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAkB,KAAK,eAAe,EAAqB,MAAM,wBAAwB,CAAC;AACjG,OAAO,EAAwE,KAAK,aAAa,EAAqE,MAAM,sBAAsB,CAAC;AAQnM,OAAO,EAAmD,KAAK,yBAAyB,EAAE,KAAK,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAC3J,OAAO,EAAwB,KAAK,sBAAsB,EAAE,KAAK,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACjH,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,0BAA0B,EAC3B,MAAM,gCAAgC,CAAC;AAExC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAItE,OAAO,EAA+B,KAAK,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAWvG,uFAAuF;AACvF,UAAU,gBAAgB;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,aAAa,CAAC;IACjD,mEAAmE;IACnE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;CACzD;AA4JD,MAAM,MAAM,2BAA2B,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE7E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAuB,SAAQ,iBAAiB;IAC/D,QAAQ,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAC;IAC5C;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAAC;IAChD;;;;;;OAMG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,iBAAiB,CAAC;CAC9C;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,eAAO,MAAM,gCAAgC,EAAE,QAAQ,CAAC,IAAI,CAAC,8BAA8B,EAAE,OAAO,GAAG,aAAa,CAAC,CAK3G,CAAC;AAEX,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,sBAAsB,GAAG,8BAA8B,CAS7G;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,yBAAyB;IACxC,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,kEAAkE;IAClE,QAAQ,CAAC,0BAA0B,EAAE,SAAS,MAAM,EAAE,CAAC;IACvD,0DAA0D;IAC1D,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;IAClD,0DAA0D;IAC1D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,0BAA0B,EAAE,SAAS,WAAW,EAAE,CAAC;CAC7D;AAED;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAC/B;IAAE,QAAQ,CAAC,KAAK,EAAE,YAAY,GAAG,SAAS,GAAG,gBAAgB,CAAA;CAAE,GAC/D;IAAE,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;IAAC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAE/F,MAAM,WAAW,mBAAoB,SAAQ,cAAc;IACzD,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,OAAO,CAAC;IAC7C;;;;;;;;;OASG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC,MAAM,EAAE,yBAAyB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CAC3F;AAID,qBAAa,eAAgB,SAAQ,cAAc,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;IACtF,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAC/C;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAiC;IAC1D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAyB;IACnE;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAkE;IACnG,sGAAsG;IACtG,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAE9D,YAAY,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,sBAAsB,EAerE;IAED;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAO3B,IAAI,wBAAwB,IAAI,WAAW,CAAC,eAAe,CAAC,CAE3D;IAEK,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAiF5D;IAED,gFAAgF;IAChF,MAAM,CAAC,QAAQ,CAAC,yBAAyB,8BAA8B;IACvE,OAAO,CAAC,sBAAsB,CAAsB;IACpD,OAAO,CAAC,oBAAoB,CAAS;IAE/B,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,SAAS,CAAC,CA6EjF;IAED;;;;;OAKG;IACH,UAAyB,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAKnF;IAED;;;;OAIG;IACH,UAAyB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAK5F;IAED;;;OAGG;IAEH,OAAO,CAAC,mBAAmB;IAE3B;;;OAGG;IACH;;;;;;OAMG;YACW,yBAAyB;IAkGvC;;;;;;;;;;;;OAYG;YACW,oBAAoB;IAkElC,2DAA2D;YAC7C,wBAAwB;IAYhC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CA8BpH;IAGK,WAAW,CACf,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,iBAAiB,EACzB,IAAI,EAAE,UAAU,EAChB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,CAuV9C;IAED;;;;;;;;;OASG;YACW,6BAA6B;IA6I3C;;;;;;;;OAQG;YACW,2BAA2B;IAuBzC;;;;OAIG;IAGH;;;;;OAKG;YACW,2BAA2B;IAmDzC;;;;OAIG;YACW,uBAAuB;IA8BrC,mEAAmE;YACrD,kCAAkC;IAmBhD;;;;;OAKG;IACH,UAAyB,wBAAwB,CAC/C,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,UAAU,GACrB,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,GAAG,IAAI,CAAC,CAgGrD;IAED;;;OAGG;YACW,6BAA6B;IA2C3C;;;;;;;OAOG;YACW,oCAAoC;IAgHlD;;;;OAIG;YACW,mBAAmB;IAiCjC;;;;;;;;;;;;OAYG;YACW,wBAAwB;IAmItC;;;;;;;OAOG;IACH,UAAmB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CAoBhH;IAED,UAAmB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAKvF;IAED;;;OAGG;IACH,UAAmB,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CASpH;IAID;;;;;;;;;;;;;;;;;;OAkBG;YAEW,oBAAoB;IA+BlC;;;;;;;;OAQG;YAEW,0BAA0B;IAoNxC;;;OAGG;IAEH,OAAO,CAAC,sBAAsB;IAyB9B;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,MAAM,CAAC,8BAA8B;IA8B7C;;;;;;OAMG;IAEH,OAAO,CAAC,oBAAoB;IAO5B;;;;;;;;;;;;;;;OAeG;IAEH,OAAO,CAAC,4BAA4B;IAmFpC;;;;;;;;;OASG;IAEH,OAAO,CAAC,cAAc;IA0DtB;;;;;;;;;;OAUG;YAEW,oBAAoB;IAwLlC;;;;;;;;;;OAUG;YACW,8BAA8B;IAmE5C;;;OAGG;IAEH,OAAO,CAAC,wBAAwB;IAwBhC,OAAO,CAAC,MAAM,CAAC,QAAQ;IAIvB;;;;;;;;;;;OAWG;YACW,oCAAoC;CA+BnD"}

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

@@ -200,6 +200,9 @@ export class EvaluatorRunner extends BasePeerRunner {
             expectedTaskKind: 'evaluator',
             defaultAgentId: 'evaluator',
             resultRefPrefix: 'evaluator',
+            // PR B: forward effectiveConfig so the flag helpers (progressive
+            // evaluator / manifest budget) can actually read the config (ADR-0019).
+            effectiveConfig: options.effectiveConfig,
         });
         this.validator = deps.validator;
         this.gateDeps = options.gateDeps ?? null;
@@ -309,7 +312,7 @@ export class EvaluatorRunner extends BasePeerRunner {
         // ── Two-stage progressive evaluation ──
         // Stage 1: summary-level evaluation (same prompt as single-stage, but
         // uses EVALUATOR_STAGE1_MANIFEST for focused context).
-        const stage1Message = this.buildEvaluatorPrompt(taskId, context, EVALUATOR_STAGE1_MANIFEST);
+        const { message: stage1Message } = await this.buildEvaluatorPrompt(taskId, context, EVALUATOR_STAGE1_MANIFEST);
         const stage1Output = await this.runSingleEvaluation(taskId, stage1Message);
         // 9.4c (design §6.5.4): Stage 1 output contract violation check.
         // Detect malformed Stage 1 output shapes that Phase 0 testing identified:
@@ -345,7 +348,24 @@ export class EvaluatorRunner extends BasePeerRunner {
         // Stage 2 triggered: independent re-evaluation with tier2 context.
         // rc-7 / ERR-015 / ERR-018 / ERR-019: Stage 2 does NOT receive Stage 1
         // output, concerns, or the FlaggedDecision. It is a fully independent call.
-        const stage2Message = this.buildEvaluatorPrompt(taskId, context, EVALUATOR_STAGE2_MANIFEST);
+        const { message: stage2Message, stage2Evidence } = await this.buildEvaluatorPrompt(taskId, context, EVALUATOR_STAGE2_MANIFEST);
+        if (stage2Evidence.state === 'required_unavailable') {
+            // Review round (information floor): Stage 2 is the deep-evidence stage;
+            // its REQUIRED evidence is unavailable, so there is NO safe fallback
+            // that still carries it — the full artificer artifact is the
+            // implementer's view, not the pain/dreamer deep evidence. Telemetry
+            // alone is not correctness: issuing an authoritative verdict from a
+            // Stage-2 prompt that lacks its declared evidence would silently
+            // proceed. Refuse the LLM round entirely (0 extra calls) and fail
+            // loud (input_invalid is permanent — no blind retry), mirroring the
+            // PR-A repair-evidence-unavailable contract.
+            this.emitEvent('stage2_required_evidence_unavailable', taskId, {
+                manifestId: EVALUATOR_STAGE2_MANIFEST.manifestId,
+                requiredPaths: stage2Evidence.unresolvedRequired,
+                nextAction: 'verify_durable_diagnosis_and_dreamer_ancestry_before_reevaluation',
+            });
+            throw new PDRuntimeError('input_invalid', `evaluator stage2: required tier2 evidence unavailable (${stage2Evidence.unresolvedRequired.join(', ')}) — refusing to issue a deep-evidence verdict without it.`);
+        }
         const stage2Output = await this.runSingleEvaluation(taskId, stage2Message);
         this.progressiveFinalOutput = stage2Output;
         this.progressiveRunActive = true;
@@ -494,7 +514,20 @@ export class EvaluatorRunner extends BasePeerRunner {
             ...(repairSummary !== undefined ? { repairSummary } : {}),
         };
     }
-    buildEvaluatorPrompt(taskId, context, manifest) {
+    /**
+     * Stage 2 required-evidence outcome (review round / information floor):
+     *  - `focused`            — required tier2 (`diagnostician.raw.evidence`,
+     *                           `dreamer.raw.candidates`) resolved from the
+     *                           durable CandidateLineage.
+     *  - `fallback_other`     — non-required fallback (envelope sparsity, budget
+     *                           flag off): the full artificer artifact is used,
+     *                           which is the pre-PR-B legacy assembly.
+     *  - `required_unavailable` — REQUIRED deep evidence is absent/truncated or
+     *                           the lineage is corrupt. No safe legacy fallback
+     *                           exists for a deep-evidence stage: the caller MUST
+     *                           refuse to send the Stage 2 prompt.
+     */
+    async buildEvaluatorPrompt(taskId, context, manifest) {
         let parsedArtificerArtifact = null;
         if (context.artificerArtifact) {
             try {
@@ -513,12 +546,44 @@ export class EvaluatorRunner extends BasePeerRunner {
                 parsedScribeArtifact = context.scribeArtifact;
             }
         }
-        // Resolve manifest-injected focused fields (Layer 1).
+        // Resolve manifest-injected focused fields (Layer 1 + PR B tier2).
         const artificerPred = toArtificerPredecessor(context);
+        const isStage2 = manifest.manifestId === EVALUATOR_STAGE2_MANIFEST.manifestId;
+        let resolutionOutcome = isStage2
+            ? { state: 'fallback_other' }
+            : { state: 'not_stage2' };
         if (artificerPred !== null) {
-            const resolved = this.resolveContextInjection(taskId, manifest, artificerPred.contentJson);
+            // Stage 2 is by definition the deep-evidence stage, so its tier2 raw
+            // fields (`diagnostician.raw.evidence`, `dreamer.raw.candidates`) are
+            // REQUIRED. When they cannot be resolved from the durable CandidateLineage
+            // — or the budget cannot carry them — resolution falls back to the
+            // authoritative full artificer artifact rather than injecting a silently
+            // thinner context (design §34/§35: no silent required-field loss).
+            const requiredPaths = isStage2 ? [...EVALUATOR_STAGE2_MANIFEST.tier2] : [];
+            const resolved = await this.resolveContextInjectionAsync({
+                taskId,
+                manifest,
+                predecessorContentJson: artificerPred.contentJson,
+                startArtifactId: context.sourceArtificerArtifactId ?? undefined,
+                requiredPaths,
+            });
             if (resolved.mode === 'focused') {
                 parsedArtificerArtifact = resolved.fields;
+                if (isStage2)
+                    resolutionOutcome = { state: 'focused' };
+            }
+            else if (isStage2
+                && resolved.mode === 'fallback'
+                && (resolved.reason === 'required_evidence_unresolved' || resolved.reason === 'lineage_unavailable')) {
+                // Review round: telemetry alone is not correctness. A deep-evidence
+                // stage whose REQUIRED evidence is unavailable must NOT proceed —
+                // there is no safe legacy fallback that contains the missing evidence
+                // (the full artificer artifact is the implementer's view, not the
+                // pain/dreamer deep evidence). The caller aborts before any LLM call.
+                resolutionOutcome = {
+                    state: 'required_unavailable',
+                    unresolvedRequired: resolved.unresolvedRequired,
+                };
             }
         }
         const builder = new EvaluatorPromptBuilder();
@@ -531,11 +596,11 @@ export class EvaluatorRunner extends BasePeerRunner {
             previousEvaluation: context.previousEvaluation,
             hostToolCatalog: this.hostToolCatalog ?? undefined,
         });
-        return message;
+        return { message, stage2Evidence: resolutionOutcome };
     }
     /** Original single-stage invokeRuntime (flag-off path). */
     async invokeRuntimeSingleStage(taskId, context) {
-        const message = this.buildEvaluatorPrompt(taskId, context, EVALUATOR_STAGE1_MANIFEST);
+        const { message } = await this.buildEvaluatorPrompt(taskId, context, EVALUATOR_STAGE1_MANIFEST);
         return this.runtimeAdapter.startRun({
             agentSpec: { agentId: this.resolvedOptions.agentId, schemaVersion: 'v1' },
             taskRef: { taskId },