create-principles-disciple 1.127.1 → 1.128.0

package/core/dist/runtime-v2/internalization/context-resolution.d.ts

@@ -0,0 +1,189 @@
+/**
+ * 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 type { TruncationRecord } from './prompt-budget-manager.js';
+/**
+ * Context field path grammar (design §6.6, extended for tier2 + related refs):
+ *   `<ns>.summary.<key>`            — ArtifactSummary / related summary table
+ *   `<ns>.predecessorSummary.<key>` — forwarded predecessor summary
+ *   `<ns>.raw.<dotted.path>`        — full contentJson (ancestry) or a related
+ *                                     raw table (related refs)
+ */
+export type ContextPathLayer = 'raw' | 'summary' | 'predecessorSummary';
+export interface ParsedContextPath {
+    readonly namespace: string;
+    readonly layer: ContextPathLayer;
+    /** Path segments after the layer marker. Empty is never valid. */
+    readonly rest: readonly string[];
+}
+/**
+ * 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 declare function parseContextPath(fieldPath: string): ParsedContextPath | null;
+/**
+ * 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 declare function readRawField(rawPath: readonly string[], contentJson: unknown): unknown | undefined;
+/**
+ * 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 declare const SEMANTIC_STAGE_ALIASES: Readonly<Record<string, readonly string[]>>;
+/**
+ * One durable ancestry node exposed to the raw reader. Built by the caller
+ * from `CandidateLineage` nodes — this module never performs the traversal.
+ *
+ * `stage` is the two-hop `sourceTaskId → task.taskKind` value (design §6.4,
+ * F1), never `artifactKind`: every internalization artifact is `principle`,
+ * so `artifactKind` carries no stage authority.
+ */
+export interface RawStageSource {
+    readonly stage: string;
+    /** rc-1: stays `unknown`; narrowed only by `readRawField`. */
+    readonly contentJson: unknown;
+}
+/**
+ * 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 declare function toRawStageSources(nodes: readonly {
+    readonly taskKind: string;
+    readonly contentJson: unknown;
+}[]): readonly RawStageSource[];
+/**
+ * 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 declare function partitionTier2Paths(tier2Paths: readonly string[], relatedNamespaces: readonly string[]): {
+    readonly ancestry: readonly string[];
+    readonly related: readonly string[];
+};
+/**
+ * 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 declare function resolveAncestryPaths(fieldPaths: readonly string[], sources: readonly RawStageSource[]): ReadonlyMap<string, unknown>;
+/**
+ * A related — NOT ancestral — fact source, exposed under its own namespace.
+ *
+ * Deliberately narrow: a flat namespace with two flat lookup tables. It is not
+ * a relation graph and cannot express arbitrary edges. Each source is supplied
+ * explicitly by the caller, so nothing is discovered or inferred at read time.
+ *
+ * Values are already-bounded objects: this seam never re-expands a durable
+ * artifact. For replay evidence the caller passes the PR-A
+ * `RepairReplayContext`, whose ≤16 bound (MAX_REPLAY_FAILURES_IN_REPAIR) is
+ * therefore preserved through the information plane (design §43).
+ */
+export interface RelatedContextSource {
+    /** Manifest namespace this source answers, e.g. `replay`. */
+    readonly namespace: string;
+    readonly summary?: Readonly<Record<string, unknown>>;
+    readonly raw?: Readonly<Record<string, unknown>>;
+}
+/**
+ * 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 declare function resolveRelatedPaths(fieldPaths: readonly string[], sources: readonly RelatedContextSource[]): ReadonlyMap<string, unknown>;
+/**
+ * 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 declare function mergeContextFields(base: ReadonlyMap<string, unknown>, extras: readonly ReadonlyMap<string, unknown>[]): ReadonlyMap<string, unknown>;
+/**
+ * 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 declare function findUnresolvedRequiredPaths(params: {
+    readonly required: readonly string[];
+    readonly absent: readonly string[];
+    readonly truncated: readonly TruncationRecord[];
+}): readonly string[];
+//# sourceMappingURL=context-resolution.d.ts.map

package/core/dist/runtime-v2/internalization/context-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-resolution.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/context-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAUnE;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG,KAAK,GAAG,SAAS,GAAG,oBAAoB,CAAC;AAExE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,kEAAkE;IAClE,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CAS5E;AAqBD;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,WAAW,EAAE,OAAO,GACnB,OAAO,GAAG,SAAS,CAiBrB;AAID;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAE9E,CAAC;AAiDF;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,8DAA8D;IAC9D,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;CAAE,EAAE,GAC7E,SAAS,cAAc,EAAE,CAO3B;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,iBAAiB,EAAE,SAAS,MAAM,EAAE,GACnC;IAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAa/E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,OAAO,EAAE,SAAS,cAAc,EAAE,GACjC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAkB9B;AAID;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,oBAAoB;IACnC,6DAA6D;IAC7D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAClD;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,OAAO,EAAE,SAAS,oBAAoB,EAAE,GACvC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAkB9B;AAID;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAClC,MAAM,EAAE,SAAS,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAC9C,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAQ9B;AAID;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE;IAClD,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACjD,GAAG,SAAS,MAAM,EAAE,CAMpB"}

package/core/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/core/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/core/dist/runtime-v2/internalization/evaluator-output.d.ts

@@ -27,9 +27,26 @@ export interface AdversarialCase {
 export interface AdversarialFailedCase {
     readonly caseId: string;
     readonly attackType: AdversarialAttackType;
-    readonly actualDecision: string;
+    /**
+     * PRI-634 PR-A (SPEC §14): present ONLY when the rule produced a real
+     * decision that mismatched the expected one. Never carries an errorType
+     * value — legacy artifacts that stored e.g. actualDecision='runtime_error'
+     * are normalized by readers (repair-replay-resolver), not migrated.
+     */
+    readonly actualDecision?: string;
     readonly expectedDecision: string;
     readonly rationale: string;
+    /**
+     * PRI-634 PR-A: sandbox error classification (runtime_error / timeout /
+     * syntax_error / validation_failed / forbidden_pattern / unknown).
+     * Present on runtime-written evidence; absent on legacy artifacts.
+     */
+    readonly errorType?: string;
+    /**
+     * PRI-634 PR-A: bounded safe failure message from the deterministic replay
+     * sandbox. Present on runtime-written evidence; absent on legacy artifacts.
+     */
+    readonly message?: string;
 }
 export interface EvaluatorCodeReview {
     readonly intentConsistency: {

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

@@ -1 +1 @@
-{"version":3,"file":"evaluator-output.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAE1E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,iDAAiD;IACjD,QAAQ,CAAC,gBAAgB,EAAE,mBAAmB,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC;CACtC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,iBAAiB,EAAE;QAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;IACF,QAAQ,CAAC,cAAc,EAAE;QACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,WAAW,GAAG,YAAY,CAAC;QACzD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE;QACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;QACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;CACH;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACxD;AAED;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAAG,UAAU,GAAG,YAAY,GAAG,WAAW,CAAC;AAE7E,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;CACzC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,gBAAgB,GAAG,UAAU,CAAC;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,2CAA2C;IAC3C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC3E;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS;QACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;KACzC,EAAE,CAAC;CACL;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,2EAA2E;IAC3E,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,sEAAsE;IACtE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,QAAQ,CAAC,UAAU,CAAC,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACvD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,0BAA0B,CAAC;IACxD,oDAAoD;IACpD,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;IAC9C,sDAAsD;IACtD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,4BAA4B,CAAC;CAC7D;AAED,eAAO,MAAM,mBAAmB,YAAI,UAAU,EAAE,gBAAgB,EAAE,UAAU,CAAU,CAAC;AAEvF,eAAO,MAAM,iCAAiC;;;EAO5C,CAAC;AAEH,eAAO,MAAM,4BAA4B;;;;EAQvC,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;EAapC,CAAC;AAEH,eAAO,MAAM,0BAA0B;;;;;EAKrC,CAAC;AAEH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOlC,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAEzE,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAqJD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,iBAAiB,CAehF;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,2BAA2B,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CACtK;AAED,MAAM,WAAW,4BAA4B;IAC3C,yBAAyB;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,6CAA6C;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,2BAA2B;IAC1C;;;;OAIG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACzE;AAED,qBAAa,yBAA0B,YAAW,kBAAkB;IAE5D,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,2BAA2B,GAAG,OAAO,CAAC,yBAAyB,CAAC,CA2MzK;CACF"}
+{"version":3,"file":"evaluator-output.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAE1E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,iDAAiD;IACjD,QAAQ,CAAC,gBAAgB,EAAE,mBAAmB,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC;CACtC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,iBAAiB,EAAE;QAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;IACF,QAAQ,CAAC,cAAc,EAAE;QACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,WAAW,GAAG,YAAY,CAAC;QACzD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE;QACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;QACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;CACH;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACxD;AAED;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAAG,UAAU,GAAG,YAAY,GAAG,WAAW,CAAC;AAE7E,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;CACzC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,gBAAgB,GAAG,UAAU,CAAC;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,2CAA2C;IAC3C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC3E;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS;QACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;KACzC,EAAE,CAAC;CACL;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,2EAA2E;IAC3E,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,sEAAsE;IACtE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,QAAQ,CAAC,UAAU,CAAC,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACvD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,0BAA0B,CAAC;IACxD,oDAAoD;IACpD,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;IAC9C,sDAAsD;IACtD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,4BAA4B,CAAC;CAC7D;AAED,eAAO,MAAM,mBAAmB,YAAI,UAAU,EAAE,gBAAgB,EAAE,UAAU,CAAU,CAAC;AAEvF,eAAO,MAAM,iCAAiC;;;EAO5C,CAAC;AAEH,eAAO,MAAM,4BAA4B;;;;EAQvC,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;EAapC,CAAC;AAEH,eAAO,MAAM,0BAA0B;;;;;EAKrC,CAAC;AAEH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOlC,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAEzE,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AA+JD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,iBAAiB,CAehF;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,2BAA2B,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CACtK;AAED,MAAM,WAAW,4BAA4B;IAC3C,yBAAyB;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,6CAA6C;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,2BAA2B;IAC1C;;;;OAIG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACzE;AAED,qBAAa,yBAA0B,YAAW,kBAAkB;IAE5D,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,2BAA2B,GAAG,OAAO,CAAC,yBAAyB,CAAC,CA2MzK;CACF"}

package/core/dist/runtime-v2/internalization/evaluator-output.js

@@ -174,8 +174,18 @@ function validateAdversarialResult(raw) {
             if (!Object.hasOwn(entry, 'attackType') || typeof entry.attackType !== 'string' || !ADVERSARIAL_ATTACK_TYPES.has(entry.attackType)) {
                 errors.push(`${prefix}.attackType must be one of boundary|omission|inversion, got ${String(entry.attackType)}`);
             }
-            if (!Object.hasOwn(entry, 'actualDecision') || typeof entry.actualDecision !== 'string') {
-                errors.push(`${prefix}.actualDecision must be a string`);
+            // PRI-634 PR-A (SPEC §14/§21): actualDecision is optional — present only
+            // when a real decision mismatched. errorType carries the sandbox error
+            // classification. Legacy artifacts (actualDecision=<error enum>) stay
+            // valid; readers normalize. Both fields are string-when-present.
+            if (Object.hasOwn(entry, 'actualDecision') && entry.actualDecision !== undefined && typeof entry.actualDecision !== 'string') {
+                errors.push(`${prefix}.actualDecision must be a string when present`);
+            }
+            if (Object.hasOwn(entry, 'errorType') && entry.errorType !== undefined && typeof entry.errorType !== 'string') {
+                errors.push(`${prefix}.errorType must be a string when present`);
+            }
+            if (Object.hasOwn(entry, 'message') && entry.message !== undefined && typeof entry.message !== 'string') {
+                errors.push(`${prefix}.message must be a string when present`);
             }
             if (!Object.hasOwn(entry, 'expectedDecision') || typeof entry.expectedDecision !== 'string') {
                 errors.push(`${prefix}.expectedDecision must be a string`);