create-principles-disciple 1.127.1 → 1.128.0

package/core/dist/runtime-v2/internalization/repair-replay-resolver.js

@@ -0,0 +1,332 @@
+import { hydratePITaskRecord } from './pitask-metadata.js';
+/** Sandbox error enums that legacy artifacts stored inside actualDecision. */
+const LEGACY_SANDBOX_ERROR_TYPES = new Set([
+    'forbidden_pattern',
+    'syntax_error',
+    'runtime_error',
+    'timeout',
+    'validation_failed',
+    'unknown',
+]);
+/** Real decisions a rule can return — never valid errorType values. */
+const RULEHOST_DECISIONS = new Set([
+    'allow',
+    'block',
+    'requireApproval',
+    'auto_correct',
+]);
+/** System sentinel prefix/suffix convention (SPEC §17): `__name__`. */
+function isSystemSentinelCaseId(caseId) {
+    return caseId.startsWith('__') && caseId.endsWith('__') && caseId.length > 4;
+}
+/**
+ * Repair-prompt budget cap for replay evidence (SPEC §29): at most this many
+ * failure entries enter the Artificer repair prompt. 16 entries × ~30 tokens
+ * stays comfortably inside the existing prompt budget.
+ */
+export const MAX_REPLAY_FAILURES_IN_REPAIR = 16;
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function optionalNonEmptyString(value) {
+    return typeof value === 'string' && value.trim() !== '' ? value : undefined;
+}
+/**
+ * Normalize one durable failed-case entry (rc-4: element-level validation).
+ *
+ * Legacy representation (pre PR-A): `actualDecision` carries a sandbox error
+ * enum and no `errorType` exists → errorType moves over, actualDecision is
+ * dropped (SPEC §21 — readers normalize, no migration).
+ *
+ * Current representation: `errorType` is authoritative; `actualDecision`
+ * appears only when a real decision mismatched and must not be an error enum.
+ * Entries that fail structural validation are invalid — the caller fails
+ * loud rather than silently dropping evidence (rc-3).
+ */
+/** Repair-prompt budget cap for a single failure message (SPEC §23). */
+const MAX_EVIDENCE_MESSAGE_LENGTH = 300;
+function boundMessage(message) {
+    return message.length > MAX_EVIDENCE_MESSAGE_LENGTH
+        ? `${message.slice(0, MAX_EVIDENCE_MESSAGE_LENGTH)}…`
+        : message;
+}
+function normalizeFailedCaseEntry(entry) {
+    if (!isRecord(entry))
+        return null;
+    const caseId = optionalNonEmptyString(entry.caseId);
+    if (caseId === undefined)
+        return null;
+    const rawErrorType = optionalNonEmptyString(entry.errorType);
+    const rawActual = optionalNonEmptyString(entry.actualDecision);
+    let errorType = rawErrorType;
+    let actualDecision = rawActual;
+    if (errorType === undefined && rawActual !== undefined) {
+        if (LEGACY_SANDBOX_ERROR_TYPES.has(rawActual)) {
+            // Legacy drift: actualDecision held the error classification.
+            errorType = rawActual;
+            actualDecision = undefined;
+        }
+        else if (RULEHOST_DECISIONS.has(rawActual)) {
+            // Legacy decision-mismatch entry: the mismatch was a validation failure.
+            errorType = 'validation_failed';
+        }
+        else {
+            errorType = 'unknown';
+        }
+    }
+    if (errorType === undefined)
+        errorType = 'unknown';
+    // Defense-in-depth on current-shape entries: an errorType value inside
+    // actualDecision is always reclassification drift, never a real decision.
+    if (actualDecision !== undefined && LEGACY_SANDBOX_ERROR_TYPES.has(actualDecision)) {
+        actualDecision = undefined;
+    }
+    const rationale = optionalNonEmptyString(entry.rationale);
+    const message = optionalNonEmptyString(entry.message) ?? rationale;
+    return {
+        caseId,
+        attackType: optionalNonEmptyString(entry.attackType),
+        expectedDecision: optionalNonEmptyString(entry.expectedDecision),
+        ...(actualDecision !== undefined ? { actualDecision } : {}),
+        errorType,
+        ...(message !== undefined ? { message: boundMessage(message) } : {}),
+    };
+}
+/**
+ * Bounded deterministic stratified selection (SPEC §30 as tightened by review
+ * 2026-09-02). Trace failures, system failures, and global violations share
+ * ONE capacity budget — no evidence class can bypass the prompt bound:
+ *
+ *   1. system failure representatives (stable order);
+ *   2. one global-violation representative for the whole violation group;
+ *   3. true decision mismatches FIRST by expected axis — at least one
+ *      expected=allow, one expected=block, one expected=propose_correction
+ *      representative each (when present) — so low-value runtime failures can
+ *      never evict every behavioral mismatch from the prompt;
+ *   4. remaining errorType × expectedDecision group representatives
+ *      (stable first-occurrence order, mismatch-preferring);
+ *   5. stable-order fill over trace → system → remaining violations;
+ *   6. truncated=true when anything was omitted.
+ */
+export function selectBoundedReplayFailures(params) {
+    const capacity = Math.max(0, params.capacity);
+    let remaining = capacity;
+    const chosenFailures = new Set();
+    const chosenViolations = new Set();
+    // Selected failures are recorded in SELECTION PRIORITY order so the repair
+    // prompt renders behavioral mismatches before raw structural errors.
+    const traceIdentity = new Set(params.traceFailures);
+    const orderedSelected = [];
+    const takeFailure = (failure) => {
+        if (remaining <= 0 || chosenFailures.has(failure))
+            return;
+        chosenFailures.add(failure);
+        orderedSelected.push(failure);
+        remaining -= 1;
+    };
+    const takeViolation = (violation) => {
+        if (remaining <= 0 || chosenViolations.has(violation))
+            return;
+        chosenViolations.add(violation);
+        remaining -= 1;
+    };
+    // 1. system representatives first.
+    for (const systemFailure of params.systemFailures) {
+        if (remaining <= 0)
+            break;
+        takeFailure(systemFailure);
+    }
+    // 2. one global-violation representative.
+    const [firstViolation] = params.globalViolations;
+    if (firstViolation !== undefined)
+        takeViolation(firstViolation);
+    // 3. decision mismatches by expected axis (canonical decision order).
+    const mismatchByExpected = new Map();
+    for (const failure of params.traceFailures) {
+        if (failure.actualDecision === undefined)
+            continue;
+        const key = failure.expectedDecision ?? 'unknown';
+        if (!mismatchByExpected.has(key))
+            mismatchByExpected.set(key, failure);
+    }
+    for (const expectedKey of ['allow', 'block', 'propose_correction']) {
+        if (remaining <= 0)
+            break;
+        const representative = mismatchByExpected.get(expectedKey);
+        if (representative !== undefined)
+            takeFailure(representative);
+    }
+    // 4. remaining group representatives (mismatch-preferring, stable order).
+    const groups = new Map();
+    for (const failure of params.traceFailures) {
+        const key = `${failure.errorType}×${failure.expectedDecision ?? 'unknown'}`;
+        const existing = groups.get(key);
+        if (existing === undefined || (existing.actualDecision === undefined && failure.actualDecision !== undefined)) {
+            groups.set(key, failure);
+        }
+    }
+    for (const representative of groups.values()) {
+        if (remaining <= 0)
+            break;
+        takeFailure(representative);
+    }
+    // 5. stable-order fill: trace → system → remaining violations.
+    for (const failure of [...params.traceFailures, ...params.systemFailures]) {
+        if (remaining <= 0)
+            break;
+        takeFailure(failure);
+    }
+    for (const violation of params.globalViolations) {
+        if (remaining <= 0)
+            break;
+        takeViolation(violation);
+    }
+    const total = params.traceFailures.length + params.systemFailures.length + params.globalViolations.length;
+    const selectedCount = chosenFailures.size + chosenViolations.size;
+    return {
+        selectedTrace: orderedSelected.filter((f) => traceIdentity.has(f)),
+        selectedSystem: orderedSelected.filter((f) => !traceIdentity.has(f)),
+        selectedGlobalViolations: params.globalViolations.filter((v) => chosenViolations.has(v)),
+        truncated: selectedCount < total,
+    };
+}
+/**
+ * Resolve the authoritative Evaluator artifact for a repair round.
+ *
+ * Selection authority (SPEC §26, tightened by review 2026-09-02): the
+ * evaluator task's durable completionIntent records the exact run that
+ * produced the verdict, and the artifact ID is deterministically
+ * `pi-art-<taskId>-<runId>`. When the intent exists, that artifact IS the
+ * authority — if it is missing we FAIL LOUD; another run's artifact may never
+ * become a fallback authority. Only when no intent exists (legacy tasks) does
+ * the exactly-one list rule apply: zero or many → fail loud, never a
+ * positional pick.
+ */
+async function resolveAuthoritativeEvaluatorArtifact(sourceEvaluatorTaskId, deps) {
+    const task = await deps.getTask(sourceEvaluatorTaskId);
+    if (!task) {
+        return { ok: false, reason: 'task_missing', detail: `evaluator task ${sourceEvaluatorTaskId} not found` };
+    }
+    const piTask = hydratePITaskRecord(task);
+    const intentRunId = piTask?.completionIntent?.sourceRunId;
+    if (typeof intentRunId === 'string' && intentRunId.trim() !== '') {
+        const artifactId = `pi-art-${sourceEvaluatorTaskId}-${intentRunId}`;
+        const artifact = await deps.artifactStore.getArtifactById(artifactId);
+        if (artifact) {
+            return { ok: true, artifactId: artifact.artifactId, contentJson: artifact.contentJson };
+        }
+        // The durable authority is KNOWN — a different run's artifact must never
+        // be silently promoted into its place (P1 review 2026-09-02).
+        return {
+            ok: false,
+            reason: 'artifact_missing',
+            detail: `completionIntent names run ${intentRunId} as authoritative but artifact ${artifactId} does not exist — refusing cross-run fallback`,
+        };
+    }
+    const artifacts = (await deps.artifactStore.listBySourceTaskId(sourceEvaluatorTaskId))
+        .filter((a) => a.artifactKind === 'principle');
+    if (artifacts.length === 0) {
+        return {
+            ok: false,
+            reason: 'artifact_missing',
+            detail: `no principle artifact for evaluator task ${sourceEvaluatorTaskId}`,
+        };
+    }
+    if (artifacts.length > 1) {
+        return {
+            ok: false,
+            reason: 'artifact_ambiguous',
+            detail: `evaluator task ${sourceEvaluatorTaskId} has ${artifacts.length} principle artifacts and no resolvable completion intent — authority is ambiguous: ${artifacts.map((a) => a.artifactId).sort().join(', ')}`,
+        };
+    }
+    const [only] = artifacts;
+    if (!only) {
+        return { ok: false, reason: 'artifact_missing', detail: `no principle artifact for evaluator task ${sourceEvaluatorTaskId}` };
+    }
+    return { ok: true, artifactId: only.artifactId, contentJson: only.contentJson };
+}
+/**
+ * Resolve the bounded, normalized replay-evidence context for a repair round.
+ * Pure read + transform: no writes, no telemetry side effects — callers own
+ * observability.
+ */
+export async function resolveRepairReplayContext(params) {
+    const { sourceEvaluatorTaskId, deps } = params;
+    const artifactResolution = await resolveAuthoritativeEvaluatorArtifact(sourceEvaluatorTaskId, deps);
+    if (!artifactResolution.ok) {
+        return artifactResolution;
+    }
+    const { artifactId, contentJson } = artifactResolution;
+    let parsed;
+    try {
+        parsed = JSON.parse(contentJson);
+    }
+    catch {
+        return { ok: false, reason: 'adversarial_result_invalid', detail: `evaluator artifact ${artifactId} contentJson is unparseable` };
+    }
+    if (!isRecord(parsed) || !Object.hasOwn(parsed, 'adversarialResult')) {
+        return { ok: false, reason: 'adversarial_result_missing', detail: `evaluator artifact ${artifactId} carries no adversarialResult` };
+    }
+    const { adversarialResult } = parsed;
+    if (!isRecord(adversarialResult) || typeof adversarialResult.passed !== 'boolean') {
+        return { ok: false, reason: 'adversarial_result_invalid', detail: `evaluator artifact ${artifactId} adversarialResult is malformed (passed must be a boolean)` };
+    }
+    if (!Object.hasOwn(adversarialResult, 'failedCases') || !Array.isArray(adversarialResult.failedCases)) {
+        return { ok: false, reason: 'adversarial_result_invalid', detail: `evaluator artifact ${artifactId} adversarialResult.failedCases is missing or not an array` };
+    }
+    // rc-4: validate every element; any structurally invalid entry fails loud —
+    // dropping evidence silently would re-create the blind-retry hole.
+    const normalized = [];
+    for (const [index, entry] of adversarialResult.failedCases.entries()) {
+        const normalizedEntry = normalizeFailedCaseEntry(entry);
+        if (normalizedEntry === null) {
+            return {
+                ok: false,
+                reason: 'adversarial_result_invalid',
+                detail: `evaluator artifact ${artifactId} adversarialResult.failedCases[${index}] is structurally invalid`,
+            };
+        }
+        normalized.push(normalizedEntry);
+    }
+    // Partition by identity (SPEC §17/§18): real trace IDs vs system sentinels
+    // vs code-level global violations. Forbidden-pattern entries are counted
+    // ONLY as global violations — never also as system failures (review P2
+    // 2026-09-02: no double-count in the prompt) — and share the bounded
+    // selection budget with everything else.
+    const traceFailures = [];
+    const systemFailures = [];
+    const globalViolations = [];
+    for (const failure of normalized) {
+        if (failure.caseId === '__forbidden_pattern__') {
+            globalViolations.push(failure.message ?? `forbidden pattern (${failure.errorType})`);
+            continue;
+        }
+        if (isSystemSentinelCaseId(failure.caseId)) {
+            systemFailures.push(failure);
+            continue;
+        }
+        traceFailures.push(failure);
+    }
+    const selection = selectBoundedReplayFailures({
+        traceFailures,
+        systemFailures,
+        globalViolations,
+        capacity: MAX_REPLAY_FAILURES_IN_REPAIR,
+    });
+    return {
+        ok: true,
+        context: {
+            sourceEvaluatorTaskId,
+            sourceEvaluatorArtifactId: artifactId,
+            ran: true,
+            passed: adversarialResult.passed,
+            failedCaseCount: normalized.length,
+            traceFailures: selection.selectedTrace,
+            systemFailures: selection.selectedSystem,
+            globalViolations: selection.selectedGlobalViolations,
+            globalViolationCount: globalViolations.length,
+            truncated: selection.truncated,
+        },
+    };
+}
+//# sourceMappingURL=repair-replay-resolver.js.map

package/core/dist/runtime-v2/internalization/repair-replay-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repair-replay-resolver.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/repair-replay-resolver.ts"],"names":[],"mappings":"AA2BA,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAG3D,8EAA8E;AAC9E,MAAM,0BAA0B,GAAwB,IAAI,GAAG,CAAC;IAC9D,mBAAmB;IACnB,cAAc;IACd,eAAe;IACf,SAAS;IACT,mBAAmB;IACnB,SAAS;CACV,CAAC,CAAC;AAEH,uEAAuE;AACvE,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAAC;IACtD,OAAO;IACP,OAAO;IACP,iBAAiB;IACjB,cAAc;CACf,CAAC,CAAC;AAEH,uEAAuE;AACvE,SAAS,sBAAsB,CAAC,MAAc;IAC5C,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;AAC/E,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,EAAE,CAAC;AAoDhD,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC5C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9E,CAAC;AAED;;;;;;;;;;;GAWG;AACH,wEAAwE;AACxE,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAExC,SAAS,YAAY,CAAC,OAAe;IACnC,OAAO,OAAO,CAAC,MAAM,GAAG,2BAA2B;QACjD,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,2BAA2B,CAAC,GAAG;QACrD,CAAC,CAAC,OAAO,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc;IAC9C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAEtC,MAAM,YAAY,GAAG,sBAAsB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAE/D,IAAI,SAAS,GAAG,YAAY,CAAC;IAC7B,IAAI,cAAc,GAAG,SAAS,CAAC;IAC/B,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACvD,IAAI,0BAA0B,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9C,8DAA8D;YAC9D,SAAS,GAAG,SAAS,CAAC;YACtB,cAAc,GAAG,SAAS,CAAC;QAC7B,CAAC;aAAM,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7C,yEAAyE;YACzE,SAAS,GAAG,mBAAmB,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,SAAS,CAAC;QACxB,CAAC;IACH,CAAC;IACD,IAAI,SAAS,KAAK,SAAS;QAAE,SAAS,GAAG,SAAS,CAAC;IACnD,uEAAuE;IACvE,0EAA0E;IAC1E,IAAI,cAAc,KAAK,SAAS,IAAI,0BAA0B,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;QACnF,cAAc,GAAG,SAAS,CAAC;IAC7B,CAAC;IAED,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC;IACnE,OAAO;QACL,MAAM;QACN,UAAU,EAAE,sBAAsB,CAAC,KAAK,CAAC,UAAU,CAAC;QACpD,gBAAgB,EAAE,sBAAsB,CAAC,KAAK,CAAC,gBAAgB,CAAC;QAChE,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,SAAS;QACT,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,2BAA2B,CAAC,MAK3C;IAMC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,SAAS,GAAG,QAAQ,CAAC;IACzB,MAAM,cAAc,GAAG,IAAI,GAAG,EAAyB,CAAC;IACxD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,2EAA2E;IAC3E,qEAAqE;IACrE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACpD,MAAM,eAAe,GAA4B,EAAE,CAAC;IACpD,MAAM,WAAW,GAAG,CAAC,OAA8B,EAAQ,EAAE;QAC3D,IAAI,SAAS,IAAI,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO;QAC1D,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC5B,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,SAAS,IAAI,CAAC,CAAC;IACjB,CAAC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,SAAiB,EAAQ,EAAE;QAChD,IAAI,SAAS,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO;QAC9D,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChC,SAAS,IAAI,CAAC,CAAC;IACjB,CAAC,CAAC;IAEF,mCAAmC;IACnC,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAClD,IAAI,SAAS,IAAI,CAAC;YAAE,MAAM;QAC1B,WAAW,CAAC,aAAa,CAAC,CAAC;IAC7B,CAAC;IACD,0CAA0C;IAC1C,MAAM,CAAC,cAAc,CAAC,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACjD,IAAI,cAAc,KAAK,SAAS;QAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IAEhE,sEAAsE;IACtE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAiC,CAAC;IACpE,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS;YAAE,SAAS;QACnD,MAAM,GAAG,GAAG,OAAO,CAAC,gBAAgB,IAAI,SAAS,CAAC;QAClD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,kBAAkB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,oBAAoB,CAAC,EAAE,CAAC;QACnE,IAAI,SAAS,IAAI,CAAC;YAAE,MAAM;QAC1B,MAAM,cAAc,GAAG,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC3D,IAAI,cAAc,KAAK,SAAS;YAAE,WAAW,CAAC,cAAc,CAAC,CAAC;IAChE,CAAC;IAED,0EAA0E;IAC1E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiC,CAAC;IACxD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QAC3C,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,gBAAgB,IAAI,SAAS,EAAE,CAAC;QAC5E,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,cAAc,KAAK,SAAS,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,EAAE,CAAC;YAC9G,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,KAAK,MAAM,cAAc,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QAC7C,IAAI,SAAS,IAAI,CAAC;YAAE,MAAM;QAC1B,WAAW,CAAC,cAAc,CAAC,CAAC;IAC9B,CAAC;IAED,+DAA+D;IAC/D,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;QAC1E,IAAI,SAAS,IAAI,CAAC;YAAE,MAAM;QAC1B,WAAW,CAAC,OAAO,CAAC,CAAC;IACvB,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAChD,IAAI,SAAS,IAAI,CAAC;YAAE,MAAM;QAC1B,aAAa,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC;IAC1G,MAAM,aAAa,GAAG,cAAc,CAAC,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC;IAClE,OAAO;QACL,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClE,cAAc,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpE,wBAAwB,EAAE,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxF,SAAS,EAAE,aAAa,GAAG,KAAK;KACjC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,KAAK,UAAU,qCAAqC,CAClD,qBAA6B,EAC7B,IAA8B;IAK9B,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,kBAAkB,qBAAqB,YAAY,EAAE,CAAC;IAC5G,CAAC;IACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,MAAM,EAAE,gBAAgB,EAAE,WAAW,CAAC;IAC1D,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjE,MAAM,UAAU,GAAG,UAAU,qBAAqB,IAAI,WAAW,EAAE,CAAC;QACpE,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACtE,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC1F,CAAC;QACD,yEAAyE;QACzE,8DAA8D;QAC9D,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,kBAAkB;YAC1B,MAAM,EAAE,8BAA8B,WAAW,kCAAkC,UAAU,+CAA+C;SAC7I,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,qBAAqB,CAAC,CAAC;SACnF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,WAAW,CAAC,CAAC;IACjD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,kBAAkB;YAC1B,MAAM,EAAE,4CAA4C,qBAAqB,EAAE;SAC5E,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,oBAAoB;YAC5B,MAAM,EAAE,kBAAkB,qBAAqB,QAAQ,SAAS,CAAC,MAAM,sFAAsF,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACpN,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC;IACzB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,EAAE,4CAA4C,qBAAqB,EAAE,EAAE,CAAC;IAChI,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;AAClF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,MAGhD;IACC,MAAM,EAAE,qBAAqB,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IAE/C,MAAM,kBAAkB,GAAG,MAAM,qCAAqC,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACpG,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,CAAC;QAC3B,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IACD,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,kBAAkB,CAAC;IAEvD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,MAAM,EAAE,sBAAsB,UAAU,6BAA6B,EAAE,CAAC;IACpI,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,EAAE,CAAC;QACrE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,MAAM,EAAE,sBAAsB,UAAU,+BAA+B,EAAE,CAAC;IACtI,CAAC;IACD,MAAM,EAAC,iBAAiB,EAAC,GAAG,MAAM,CAAC;IACnC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,OAAO,iBAAiB,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,MAAM,EAAE,sBAAsB,UAAU,4DAA4D,EAAE,CAAC;IACnK,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;QACtG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,MAAM,EAAE,sBAAsB,UAAU,2DAA2D,EAAE,CAAC;IAClK,CAAC;IAED,4EAA4E;IAC5E,mEAAmE;IACnE,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,iBAAiB,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QACrE,MAAM,eAAe,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;YAC7B,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,4BAA4B;gBACpC,MAAM,EAAE,sBAAsB,UAAU,kCAAkC,KAAK,2BAA2B;aAC3G,CAAC;QACJ,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACnC,CAAC;IAED,2EAA2E;IAC3E,yEAAyE;IACzE,uEAAuE;IACvE,qEAAqE;IACrE,yCAAyC;IACzC,MAAM,aAAa,GAA4B,EAAE,CAAC;IAClD,MAAM,cAAc,GAA4B,EAAE,CAAC;IACnD,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;QACjC,IAAI,OAAO,CAAC,MAAM,KAAK,uBAAuB,EAAE,CAAC;YAC/C,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,sBAAsB,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;YACrF,SAAS;QACX,CAAC;QACD,IAAI,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,SAAS,GAAG,2BAA2B,CAAC;QAC5C,aAAa;QACb,cAAc;QACd,gBAAgB;QAChB,QAAQ,EAAE,6BAA6B;KACxC,CAAC,CAAC;IAEH,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE;YACP,qBAAqB;YACrB,yBAAyB,EAAE,UAAU;YACrC,GAAG,EAAE,IAAI;YACT,MAAM,EAAE,iBAAiB,CAAC,MAAM;YAChC,eAAe,EAAE,UAAU,CAAC,MAAM;YAClC,aAAa,EAAE,SAAS,CAAC,aAAa;YACtC,cAAc,EAAE,SAAS,CAAC,cAAc;YACxC,gBAAgB,EAAE,SAAS,CAAC,wBAAwB;YACpD,oBAAoB,EAAE,gBAAgB,CAAC,MAAM;YAC7C,SAAS,EAAE,SAAS,CAAC,SAAS;SAC/B;KACF,CAAC;AACJ,CAAC"}

package/core/dist/runtime-v2/runner/base-peer-runner.d.ts

@@ -29,6 +29,32 @@ import type { PeerRunnerOptions, ResolvedPeerRunnerOptions, PeerRunnerDeps, Peer
 import type { SummaryRunnerKind } from '../internalization/artifact-summary.js';
 import { type LoadedPredecessorArtifact } from '../internalization/attach-summary-envelope.js';
 import type { ContextManifest } from '../internalization/context-manifest.js';
+import { type RelatedContextSource } from '../internalization/context-resolution.js';
+/**
+ * Outcome of a Layer 1 context-injection resolution.
+ *
+ * - `focused`  — use `fields` (path → preview text) as the focused context.
+ * - `fallback` — the caller MUST fall back to the legacy full-predecessor
+ *   injection (F13). The three original triggers come from `resolveInjection`;
+ *   PR B adds two:
+ *     - `required_evidence_unresolved` — the allocation looked healthy but a
+ *       caller-declared required field never reached the prompt (absent or
+ *       budget-truncated). This is the "Stage2 enabled + raw silently absent"
+ *       guard (design §35: no silent thin context).
+ *     - `lineage_unavailable` — CandidateLineage hit data corruption or a store
+ *       failure, so required tier2 evidence cannot be served at all (§21).
+ * - `disabled` — `context_manifest_budget` is off; caller keeps its assembly.
+ */
+export type ContextInjectionOutcome = {
+    readonly mode: 'focused';
+    readonly fields: Readonly<Record<string, string>>;
+} | {
+    readonly mode: 'fallback';
+    readonly reason: 'empty_allocation' | 'tier1_all_absent' | 'absent_ratio_exceeded' | 'required_evidence_unresolved' | 'lineage_unavailable';
+    readonly unresolvedRequired: readonly string[];
+} | {
+    readonly mode: 'disabled';
+};
 /**
  * Abstract base class for peer runners.
  *
@@ -213,32 +239,51 @@ export declare abstract class BasePeerRunner<TContext extends {
      * Resolve the cross-level context injection for a runner via the Layer 1
      * manifest + budget path (design §6.2/§6.3/§6.2.2).
      *
-     * Single wiring point shared by the 4 peer runners (task 5.9). Returns:
-     *   - `{ mode: 'focused', fields }` — use the manifest-allocated fields as
-     *     the focused context (a `Record<string,string>` of path → preview text)
-     *   - `{ mode: 'fallback' }` — resolution was too sparse; the caller MUST
-     *     fall back to the legacy full-predecessor injection (F13). The fallback
-     *     emits exactly one `manifest_resolution_insufficient` event (rc-9).
-     *   - `{ mode: 'disabled' }` — flag off; caller uses the existing assembly.
+     * Single wiring point shared by the peer runners (task 5.9). This SYNC
+     * variant resolves only Channel 1 (the predecessor's Layer 0
+     * summary/predecessorSummary envelope); it is correct for runners whose
+     * manifest declares no tier2 raw field and no related reference. Runners
+     * that need tier2/related evidence use `resolveContextInjectionAsync`.
      *
      * `predecessorContentJson` is the loaded predecessor artifact's contentJson
      * (the same object buildContext already holds — zero extra store reads, F3).
-     * It carries the Layer 0 `summary` / `predecessorSummary` envelope; the
-     * summary-field-reader extracts the manifest-declared paths from it.
      *
      * budgetTokens scope (design §6.2.1): covers ONLY manifest-declared fields.
      *
      * `taskId` is used for telemetry event attribution (runnerKind comes from
      * the manifest itself via event.runnerKind).
      */
-    protected resolveContextInjection(taskId: string, manifest: ContextManifest, predecessorContentJson: unknown): {
-        mode: 'focused';
-        fields: Readonly<Record<string, string>>;
-    } | {
-        mode: 'fallback';
-    } | {
-        mode: 'disabled';
-    };
+    protected resolveContextInjection(taskId: string, manifest: ContextManifest, predecessorContentJson: unknown): ContextInjectionOutcome;
+    /**
+     * Async variant: resolves ALL THREE fact-acquisition channels before running
+     * the same allocation + information-floor core (design §6.4/§6.6, PR B).
+     *
+     *   1. predecessor summary envelope — pure, from `predecessorContentJson`
+     *   2. ancestry raw (`<stage>.raw.*`) — `CandidateLineage` from
+     *      `startArtifactId`; the nearest ancestor of a stage wins
+     *   3. related references (`<ns>.summary.*` / `<ns>.raw.*`) — caller-supplied
+     *      causal references, e.g. the PR-A replay evidence
+     *
+     * `requiredPaths` is the required-evidence gate (design §33–§37): a listed
+     * path that ends up absent OR budget-truncated forces an observable fallback
+     * instead of a silently thin focused context. Pass an empty list (or omit it)
+     * when tier2 is genuinely optional.
+     */
+    protected resolveContextInjectionAsync(params: {
+        readonly taskId: string;
+        readonly manifest: ContextManifest;
+        readonly predecessorContentJson: unknown;
+        /** Lineage traversal start — normally the predecessor artifact id. */
+        readonly startArtifactId?: string;
+        readonly relatedSources?: readonly RelatedContextSource[];
+        readonly requiredPaths?: readonly string[];
+    }): Promise<ContextInjectionOutcome>;
+    /**
+     * Allocation + information-floor core shared by both variants (design
+     * §6.2.2). Allocates, emits the Layer 1 events, then applies PR B's
+     * required-evidence gate before reporting `focused`.
+     */
+    private runResolveInjection;
     /**
      * Task 12: Construct an AgentDraftPayload from the permanent-failure
      * context and write it to pending_agent_drafts via the injected

package/core/dist/runtime-v2/runner/base-peer-runner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"base-peer-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/runner/base-peer-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,KAAK,EACV,gBAAgB,EAChB,SAAS,EACT,SAAS,EACT,WAAW,EACZ,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,EACV,iBAAiB,EACjB,yBAAyB,EACzB,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,0BAA0B,EAC1B,cAAc,EACf,MAAM,wBAAwB,CAAC;AAUhC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAEL,KAAK,yBAAyB,EAC/B,MAAM,+CAA+C,CAAC;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AA4E9E;;;;;GAKG;AACH,8BAAsB,cAAc,CAAC,QAAQ,SAAS;IAAE,WAAW,EAAE,MAAM,CAAA;CAAE,EAAE,OAAO;IAEpF,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC;IACrD,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,gBAAgB,CAAC;IACpD,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC;IACnD,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IAClD,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,yBAAyB,CAAC;IAC9D,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAC5C;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAyB;IACjE,8FAA8F;IAC9F,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAA4B;IAC3D,OAAO,CAAC,KAAK,CAAiC;IAE9C,YACE,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,iBAAiB,EAC1B,MAAM,EAAE,gBAAgB,EAUzB;IAID,8DAA8D;IAC9D,IAAI,YAAY,IAAI,WAAW,CAE9B;IAED,SAAS,CAAC,cAAc,IAAI,WAAW,CAItC;IAID,+DAA+D;IAC/D,QAAQ,KAAK,wBAAwB,IAAI,WAAW,CAAC,eAAe,CAAC,CAAC;IAEtE,uEAAuE;IACvE,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEzD,8DAA8D;IAC9D,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAE9E,0FAA0F;IAC1F,QAAQ,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAEjH,8EAA8E;IAC9E,QAAQ,CAAC,WAAW,CAClB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,OAAO,EACf,IAAI,EAAE,UAAU,EAChB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,QAAQ,GAChB,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;IAItC;;;;;;;OAOG;IAEH,UAAgB,wBAAwB,CACtC,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,UAAU,GACtB,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAE3C;IAED,8EAA8E;IAE9E,SAAS,CAAC,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAE1F;IAED;;;OAGG;IAEH,SAAS,CAAC,qBAAqB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAE3F;IAED;;;;;;;;;;OAUG;IAEH,SAAS,CAAC,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAKhG;IAID;;;;;;;OAOG;IACG,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAmH5D;IAID;;;OAGG;IACH,SAAS,CAAC,SAAS,CACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,IAAI,CASN;IAID,UAAgB,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAiC1E;IAID;;;;;OAKG;IACH,UAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAmCnF;IAID,wEAAwE;IACxE,UAAgB,yBAAyB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,MAAM,EAAE,CAAC;QAAC,WAAW,EAAE,OAAO,CAAA;KAAE,CAAC,CAwB1G;YAIa,iBAAiB;IAqC/B,iFAAiF;IACjF,SAAS,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAQhE;YAIa,uBAAuB;IAmDrC,UAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAoBpC;YAEa,oBAAoB;IAsBlC,UAAgB,qBAAqB,CAAC,GAAG,EAAE;QACzC,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE,UAAU,CAAC;QACjB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QAC1B,aAAa,CAAC,EAAE,eAAe,CAAC;KACjC,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAsBrC;IAID;;;;;;OAMG;IACH,UAAgB,WAAW,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAgJnF;IAKD,OAAO,CAAC,aAAa;IAgBrB;;;;;;;;;;;;OAYG;IACH,UAAgB,2BAA2B,CACzC,MAAM,EAAE,MAAM,EACd,sBAAsB,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EACjD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,OAAO,CAAC,IAAI,CAAC,CAqBf;IAGD,OAAO,CAAC,2BAA2B;IAUnC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAEzC;IAED;;;;OAIG;IACH,SAAS,CAAC,oBAAoB,IAAI,OAAO,CAKxC;IAID;;;;OAIG;IACH,SAAS,CAAC,wBAAwB,IAAI,OAAO,CAK5C;IAED;;;;;;;;;;;;;;;;;;OAkBG;IAEH,SAAS,CAAC,wBAAwB,CAChC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,iBAAiB,EAC7B,MAAM,EAAE,OAAO,EACf,iBAAiB,EAAE,yBAAyB,GAAG,IAAI,GAClD,MAAM,CA+ER;IAID;;;OAGG;IACH,SAAS,CAAC,8BAA8B,IAAI,OAAO,CAKlD;IAED;;;OAGG;IACH,SAAS,CAAC,6BAA6B,IAAI,OAAO,CAKjD;IAED;;;;;;;OAOG;IACH,UAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAsB3F;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,SAAS,CAAC,uBAAuB,CAC/B,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,eAAe,EACzB,sBAAsB,EAAE,OAAO,GAC9B;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,UAAU,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,UAAU,CAAA;KAAE,CAgC7G;IAID;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,OAAO,CAAC,kCAAkC;CA6D3C"}
+{"version":3,"file":"base-peer-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/runner/base-peer-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,KAAK,EACV,gBAAgB,EAChB,SAAS,EACT,SAAS,EACT,WAAW,EACZ,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,EACV,iBAAiB,EACjB,yBAAyB,EACzB,cAAc,EACd,gBAAgB,EAChB,gBAAgB,EAChB,0BAA0B,EAC1B,cAAc,EACf,MAAM,wBAAwB,CAAC;AAUhC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAEL,KAAK,yBAAyB,EAC/B,MAAM,+CAA+C,CAAC;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AAK9E,OAAO,EAQL,KAAK,oBAAoB,EAC1B,MAAM,0CAA0C,CAAC;AAIlD;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,uBAAuB,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,GAC/E;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EACX,kBAAkB,GAClB,kBAAkB,GAClB,uBAAuB,GACvB,8BAA8B,GAC9B,qBAAqB,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;CAChD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAyElC;;;;;GAKG;AACH,8BAAsB,cAAc,CAAC,QAAQ,SAAS;IAAE,WAAW,EAAE,MAAM,CAAA;CAAE,EAAE,OAAO;IAEpF,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC;IACrD,SAAS,CAAC,QAAQ,CAAC,cAAc,EAAE,gBAAgB,CAAC;IACpD,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC;IACnD,SAAS,CAAC,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IAClD,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,yBAAyB,CAAC;IAC9D,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAC5C;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAyB;IACjE,8FAA8F;IAC9F,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAA4B;IAC3D,OAAO,CAAC,KAAK,CAAiC;IAE9C,YACE,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,iBAAiB,EAC1B,MAAM,EAAE,gBAAgB,EAUzB;IAID,8DAA8D;IAC9D,IAAI,YAAY,IAAI,WAAW,CAE9B;IAED,SAAS,CAAC,cAAc,IAAI,WAAW,CAItC;IAID,+DAA+D;IAC/D,QAAQ,KAAK,wBAAwB,IAAI,WAAW,CAAC,eAAe,CAAC,CAAC;IAEtE,uEAAuE;IACvE,QAAQ,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEzD,8DAA8D;IAC9D,QAAQ,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAE9E,0FAA0F;IAC1F,QAAQ,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAEjH,8EAA8E;IAC9E,QAAQ,CAAC,WAAW,CAClB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,OAAO,EACf,IAAI,EAAE,UAAU,EAChB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,QAAQ,GAChB,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;IAItC;;;;;;;OAOG;IAEH,UAAgB,wBAAwB,CACtC,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,UAAU,GACtB,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAE3C;IAED,8EAA8E;IAE9E,SAAS,CAAC,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAE1F;IAED;;;OAGG;IAEH,SAAS,CAAC,qBAAqB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAE3F;IAED;;;;;;;;;;OAUG;IAEH,SAAS,CAAC,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAKhG;IAID;;;;;;;OAOG;IACG,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAmH5D;IAID;;;OAGG;IACH,SAAS,CAAC,SAAS,CACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,IAAI,CASN;IAID,UAAgB,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAiC1E;IAID;;;;;OAKG;IACH,UAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAmCnF;IAID,wEAAwE;IACxE,UAAgB,yBAAyB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,MAAM,EAAE,CAAC;QAAC,WAAW,EAAE,OAAO,CAAA;KAAE,CAAC,CAwB1G;YAIa,iBAAiB;IAqC/B,iFAAiF;IACjF,SAAS,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAQhE;YAIa,uBAAuB;IAmDrC,UAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAoBpC;YAEa,oBAAoB;IAsBlC,UAAgB,qBAAqB,CAAC,GAAG,EAAE;QACzC,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE,UAAU,CAAC;QACjB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QAC1B,aAAa,CAAC,EAAE,eAAe,CAAC;KACjC,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAsBrC;IAID;;;;;;OAMG;IACH,UAAgB,WAAW,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAgJnF;IAKD,OAAO,CAAC,aAAa;IAgBrB;;;;;;;;;;;;OAYG;IACH,UAAgB,2BAA2B,CACzC,MAAM,EAAE,MAAM,EACd,sBAAsB,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EACjD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,OAAO,CAAC,IAAI,CAAC,CAqBf;IAGD,OAAO,CAAC,2BAA2B;IAUnC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAEzC;IAED;;;;OAIG;IACH,SAAS,CAAC,oBAAoB,IAAI,OAAO,CAKxC;IAID;;;;OAIG;IACH,SAAS,CAAC,wBAAwB,IAAI,OAAO,CAK5C;IAED;;;;;;;;;;;;;;;;;;OAkBG;IAEH,SAAS,CAAC,wBAAwB,CAChC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,iBAAiB,EAC7B,MAAM,EAAE,OAAO,EACf,iBAAiB,EAAE,yBAAyB,GAAG,IAAI,GAClD,MAAM,CA+ER;IAID;;;OAGG;IACH,SAAS,CAAC,8BAA8B,IAAI,OAAO,CAKlD;IAED;;;OAGG;IACH,SAAS,CAAC,6BAA6B,IAAI,OAAO,CAKjD;IAED;;;;;;;OAOG;IACH,UAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAsB3F;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,SAAS,CAAC,uBAAuB,CAC/B,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,eAAe,EACzB,sBAAsB,EAAE,OAAO,GAC9B,uBAAuB,CAOzB;IAED;;;;;;;;;;;;;;OAcG;IACH,UAAgB,4BAA4B,CAAC,MAAM,EAAE;QACnD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;QACnC,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;QACzC,sEAAsE;QACtE,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;QAC1D,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5C,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAoEnC;IAED;;;;OAIG;IACH,OAAO,CAAC,mBAAmB;IA0D3B;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,OAAO,CAAC,kCAAkC;CA6D3C"}

package/core/dist/runtime-v2/runner/base-peer-runner.js

@@ -26,6 +26,8 @@ import { attachSummaryEnvelope, } from '../internalization/attach-summary-envelo
 import { declaredFields } from '../internalization/context-manifest.js';
 import { resolveInjection } from '../internalization/resolve-injection.js';
 import { buildAvailableMap } from '../internalization/summary-field-reader.js';
+import { CandidateLineage } from '../internalization/candidate-lineage.js';
+import { findUnresolvedRequiredPaths, mergeContextFields, parseContextPath, partitionTier2Paths, resolveAncestryPaths, resolveRelatedPaths, toRawStageSources, } from '../internalization/context-resolution.js';
 // ── Defaults ─────────────────────────────────────────────────────────────────
 const DEFAULT_PEER_RUNNER_OPTIONS = {
     pollIntervalMs: 5_000,
@@ -925,18 +927,14 @@ export class BasePeerRunner {
      * Resolve the cross-level context injection for a runner via the Layer 1
      * manifest + budget path (design §6.2/§6.3/§6.2.2).
      *
-     * Single wiring point shared by the 4 peer runners (task 5.9). Returns:
-     *   - `{ mode: 'focused', fields }` — use the manifest-allocated fields as
-     *     the focused context (a `Record<string,string>` of path → preview text)
-     *   - `{ mode: 'fallback' }` — resolution was too sparse; the caller MUST
-     *     fall back to the legacy full-predecessor injection (F13). The fallback
-     *     emits exactly one `manifest_resolution_insufficient` event (rc-9).
-     *   - `{ mode: 'disabled' }` — flag off; caller uses the existing assembly.
+     * Single wiring point shared by the peer runners (task 5.9). This SYNC
+     * variant resolves only Channel 1 (the predecessor's Layer 0
+     * summary/predecessorSummary envelope); it is correct for runners whose
+     * manifest declares no tier2 raw field and no related reference. Runners
+     * that need tier2/related evidence use `resolveContextInjectionAsync`.
      *
      * `predecessorContentJson` is the loaded predecessor artifact's contentJson
      * (the same object buildContext already holds — zero extra store reads, F3).
-     * It carries the Layer 0 `summary` / `predecessorSummary` envelope; the
-     * summary-field-reader extracts the manifest-declared paths from it.
      *
      * budgetTokens scope (design §6.2.1): covers ONLY manifest-declared fields.
      *
@@ -949,6 +947,95 @@ export class BasePeerRunner {
         }
         const paths = declaredFields(manifest);
         const available = buildAvailableMap(paths, predecessorContentJson);
+        return this.runResolveInjection({ taskId, manifest, available, requiredPaths: [] });
+    }
+    /**
+     * Async variant: resolves ALL THREE fact-acquisition channels before running
+     * the same allocation + information-floor core (design §6.4/§6.6, PR B).
+     *
+     *   1. predecessor summary envelope — pure, from `predecessorContentJson`
+     *   2. ancestry raw (`<stage>.raw.*`) — `CandidateLineage` from
+     *      `startArtifactId`; the nearest ancestor of a stage wins
+     *   3. related references (`<ns>.summary.*` / `<ns>.raw.*`) — caller-supplied
+     *      causal references, e.g. the PR-A replay evidence
+     *
+     * `requiredPaths` is the required-evidence gate (design §33–§37): a listed
+     * path that ends up absent OR budget-truncated forces an observable fallback
+     * instead of a silently thin focused context. Pass an empty list (or omit it)
+     * when tier2 is genuinely optional.
+     */
+    async resolveContextInjectionAsync(params) {
+        const { taskId, manifest } = params;
+        if (!this.isContextManifestBudgetEnabled()) {
+            return { mode: 'disabled' };
+        }
+        const paths = declaredFields(manifest);
+        const requiredPaths = params.requiredPaths ?? [];
+        const summaryFields = buildAvailableMap(paths, params.predecessorContentJson);
+        const extras = [];
+        // Channel 2 — ancestry. Related namespaces are excluded explicitly so a
+        // related reference can never be mistaken for an ancestor stage
+        // (INV-LINEAGE-SCOPE, design §33).
+        const relatedNamespaces = (params.relatedSources ?? []).map((s) => s.namespace);
+        const { ancestry: rawAncestryPaths } = partitionTier2Paths(manifest.tier2, relatedNamespaces);
+        // Ancestor-declared SUMMARY paths travel the same walk as the raw ones:
+        // `readSummaryField` only ever reads the single loaded predecessor, so a
+        // manifest naming an ancestor further up the chain (the Evaluator's
+        // `scribe.*` / `dreamer.*` / `diagnostician.*`) resolves here or never.
+        // Related namespaces are excluded here too — the same INV-LINEAGE-SCOPE
+        // discipline partitionTier2Paths applies to tier2 must hold for tier0/1
+        // summary declarations (e.g. a repair manifest's `replay.summary.*`).
+        const relatedNamespaceSet = new Set(relatedNamespaces);
+        const summaryAncestryPaths = [...manifest.tier0, ...manifest.tier1].filter((fieldPath) => {
+            const parsed = parseContextPath(fieldPath);
+            return parsed !== null && parsed.layer === 'summary' && !relatedNamespaceSet.has(parsed.namespace);
+        });
+        const ancestryPaths = [...rawAncestryPaths, ...summaryAncestryPaths];
+        if (ancestryPaths.length > 0 && params.startArtifactId !== undefined) {
+            const lineage = new CandidateLineage({
+                artifacts: this.artifactStore,
+                tasks: {
+                    getTaskById: async (id) => {
+                        const task = await this.stateManager.getTask(id);
+                        return task === null ? null : { taskId: id, taskKind: task.taskKind };
+                    },
+                },
+            });
+            const chain = await lineage.resolve(params.startArtifactId);
+            if (!chain.ok) {
+                // rc-9: corruption / store failure is observable, never a silent
+                // "no tier2 today". Required evidence cannot be served without it.
+                this.emitEvent('context_lineage_unavailable', taskId, {
+                    runnerKind: manifest.runnerKind,
+                    manifestId: manifest.manifestId,
+                    errorKind: chain.error.kind,
+                    detail: chain.error.detail,
+                    fallback: 'full_predecessor_injection',
+                    nextAction: 'verify_durable_artifact_ancestry_before_tier2_resolution',
+                });
+                if (requiredPaths.length > 0) {
+                    return { mode: 'fallback', reason: 'lineage_unavailable', unresolvedRequired: [...requiredPaths] };
+                }
+            }
+            else {
+                extras.push(resolveAncestryPaths(ancestryPaths, toRawStageSources(chain.value.nodes)));
+            }
+        }
+        // Channel 3 — related (causal) references. Never ancestry: a related source
+        // is supplied explicitly by the caller and is not part of the lineage walk.
+        if (params.relatedSources !== undefined && params.relatedSources.length > 0) {
+            extras.push(resolveRelatedPaths(paths, params.relatedSources));
+        }
+        const available = mergeContextFields(summaryFields, extras);
+        return this.runResolveInjection({ taskId, manifest, available, requiredPaths });
+    }
+    /**
+     * Allocation + information-floor core shared by both variants (design
+     * §6.2.2). Allocates, emits the Layer 1 events, then applies PR B's
+     * required-evidence gate before reporting `focused`.
+     */
+    runResolveInjection(params) {
+        const { taskId, manifest, available, requiredPaths } = params;
         const emit = (event) => {
             if (event.type === 'manifest_resolution_insufficient') {
                 this.emitEvent('manifest_resolution_insufficient', taskId, {
@@ -972,10 +1059,29 @@ export class BasePeerRunner {
             }
         };
         const result = resolveInjection(manifest, available, emit);
+        // Required-evidence gate (design §33–§37): the allocation can look healthy
+        // while a caller-declared required field is absent OR was dropped by the
+        // budget. That is exactly the "Stage2 enabled + raw silently absent" hole —
+        // it degrades observably, never becomes a thinner prompt.
+        const unresolvedRequired = findUnresolvedRequiredPaths({
+            required: requiredPaths,
+            absent: result.allocated.absent,
+            truncated: result.allocated.truncated,
+        });
+        if (unresolvedRequired.length > 0) {
+            this.emitEvent('required_context_evidence_unresolved', taskId, {
+                runnerKind: manifest.runnerKind,
+                manifestId: manifest.manifestId,
+                requiredPaths: unresolvedRequired,
+                fallback: 'full_predecessor_injection',
+                nextAction: 'verify_durable_ancestry_or_related_reference_availability',
+            });
+            return { mode: 'fallback', reason: 'required_evidence_unresolved', unresolvedRequired };
+        }
         if (result.kind === 'focused') {
             return { mode: 'focused', fields: result.allocated.fields };
         }
-        return { mode: 'fallback' };
+        return { mode: 'fallback', reason: result.reason, unresolvedRequired: [] };
     }
     // ── Agent draft injection (Task 12) ────────────────────────────────────────
     /**