@principles/core 1.284.16 → 1.284.18

package/dist/runtime-v2/internalization/context-manifest.d.ts

@@ -1,117 +0,0 @@
-/**
- * Layer 1 — ContextManifest: declarative field/budget declaration (design §6.2).
- *
- * Pure logic only: no I/O, no fs, no DB, no network (Core vs Plugin boundary,
- * AGENTS.md `antipattern-core-io`).
- *
- * A `ContextManifest` declares which field paths a runner (or an evaluator
- * stage) needs, layered into tier0/tier1/tier2, plus a token budget and a
- * priority ordering. Layer 1's `allocateContext` (prompt-budget-manager.ts)
- * consumes it; Layer 3's CLI surfaces its resolution.
- *
- * rc-4: tier* and priority array elements are validated element-wise as
- * strings before use. rc-5: object keys read via `Object.hasOwn`.
- */
-import type { SummaryRunnerKind } from './artifact-summary.js';
-export declare const CONTEXT_MANIFEST_SCHEMA_VERSION: 1;
-/**
- * A declarative context-injection manifest (design §6.2).
- *
- * Field-path naming convention (design §6.6):
- *   `<stage>.summary.<key>`        — read from an ArtifactSummary
- *   `<stage>.predecessorSummary.*` — read from a forwarded predecessor summary
- *   `<stage>.raw.<path>`           — read from tier2 full contentJson
- */
-export interface ContextManifest {
-    readonly manifestId: string;
-    readonly schemaVersion: typeof CONTEXT_MANIFEST_SCHEMA_VERSION;
-    readonly runnerKind: SummaryRunnerKind;
-    readonly tier0: readonly string[];
-    readonly tier1: readonly string[];
-    /** Non-empty tier2 means CandidateLineage (Layer 2) may be triggered. */
-    readonly tier2: readonly string[];
-    /** Cross-level injection field budget (design §6.2.1). */
-    readonly budgetTokens: number;
-    /** Full priority sequence. Fields not listed here sort last (see rankOf). */
-    readonly priority: readonly string[];
-}
-export type ManifestWellFormednessError = {
-    readonly kind: 'budget_not_positive';
-    readonly budgetTokens: number;
-} | {
-    readonly kind: 'non_string_element';
-    readonly array: 'tier0' | 'tier1' | 'tier2' | 'priority';
-    readonly index: number;
-    readonly value: unknown;
-} | {
-    readonly kind: 'priority_does_not_cover_fields';
-    readonly missing: readonly string[];
-} | {
-    readonly kind: 'manifest_criterion_misaligned';
-    readonly detail: string;
-};
-export type ManifestValidationResult = {
-    readonly ok: true;
-} | {
-    readonly ok: false;
-    readonly error: ManifestWellFormednessError;
-};
-/**
- * INV-MANIFEST-CRITERION (design §6.6.1): every non-excluded dreamer dimension
- * that the fidelity criteria may adjudicate must have a corresponding injected
- * path in the adjudicating manifest's tier0 ∪ tier1 ∪ tier2. The criteria must
- * never ask the model to judge a dimension it cannot see.
- *
- * This is the direct regression guard for the Phase 0 root cause "criteria ask
- * 5 dims, manifest injects 4" (design §12.1 conclusion 2 root cause 2). It only
- * applies to manifests whose runnerKind is the adjudicator (evaluator); other
- * stages are not fidelity-adjudicating and are skipped.
- *
- * NOTE: this checks that each non-excluded dimension's summary path
- * (`dreamer.summary.<dim>`) is present. A future change promoting a dimension
- * from `excluded` to `required`/`optional` in DIMENSION_COVERAGE_POLICY without
- * adding its path to the evaluator manifest will fail this check.
- *
- * @param manifest the manifest to check
- * @param isAdjudicator true only for evaluator-stage manifests (the ones whose
- *   injected fields the fidelity criteria see). Callers pass false for
- *   non-evaluator manifests so this invariant is scoped correctly.
- */
-export declare function checkManifestCriterionAlignment(manifest: ContextManifest, isAdjudicator: boolean): ManifestWellFormednessError | null;
-/**
- * Validate a manifest is well-formed (design §6.2, requirements 4.2–4.8, 4.12,
- * 4.13, 4.15).
- *
- * Checks:
- *   - budgetTokens > 0
- *   - every tier* and priority element is a string (rc-4)
- *   - priority covers every field in tier0 ∪ tier1 ∪ tier2 (with a documented
- *     escape hatch: unlisted fields are allowed but sort last via rankOf; this
- *     check is intentionally NOT enforced because rankOf defines their rank —
- *     see the note below)
- *   - INV-MANIFEST-CRITERION when the manifest is an adjudicator (§6.6.1)
- *
- * Note on `priority` coverage: design §6.2 requires "priority covers tier0 ∪
- * tier1 ∪ tier2", but rankOf assigns unlisted fields a rank of
- * `priority.length + declarationOrder` (sorting them last), which is the
- * intended behaviour. The check here therefore only flags an empty priority
- * when fields exist (a clear misconfiguration), rather than requiring every
- * field be listed. The built-in manifests DO list every field.
- */
-export declare function validateManifest(manifest: ContextManifest, opts?: {
-    readonly isAdjudicator?: boolean;
-}): ManifestValidationResult;
-/**
- * The rank of a field path within a manifest (design §6.2 / requirement 4.6).
- *
- * Listed fields get their index in `priority` (0-based, ascending = higher
- * priority). Unlisted fields get `priority.length + declarationOrder`, where
- * declarationOrder is the field's position in dedupe(tier0 ++ tier1 ++ tier2)
- * — so unlisted fields sort AFTER all listed fields, in a stable declaration
- * order. This replaces the base proposal's `indexOf(...) `-1`` which sorted
- * unlisted fields FIRST (opposite of intent).
- */
-export declare function rankOf(fieldPath: string, manifest: ContextManifest): number;
-/** All declared field paths of a manifest, deduped, in tier order. */
-export declare function declaredFields(manifest: ContextManifest): string[];
-//# sourceMappingURL=context-manifest.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"context-manifest.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/context-manifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAO/D,eAAO,MAAM,+BAA+B,EAAG,CAAU,CAAC;AAE1D;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,OAAO,+BAA+B,CAAC;IAC/D,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,yEAAyE;IACzE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,0DAA0D;IAC1D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,6EAA6E;IAC7E,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAID,MAAM,MAAM,2BAA2B,GACnC;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClJ;IAAE,QAAQ,CAAC,IAAI,EAAE,gCAAgC,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACxF;IAAE,QAAQ,CAAC,IAAI,EAAE,+BAA+B,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhF,MAAM,MAAM,wBAAwB,GAChC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,GACrB;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAA;CAAE,CAAC;AAyBxE;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,+BAA+B,CAC7C,QAAQ,EAAE,eAAe,EACzB,aAAa,EAAE,OAAO,GACrB,2BAA2B,GAAG,IAAI,CAmBpC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,eAAe,EACzB,IAAI,GAAE;IAAE,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAA;CAAO,GAC9C,wBAAwB,CA6B1B;AAID;;;;;;;;;GASG;AACH,wBAAgB,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,GAAG,MAAM,CAc3E;AAID,sEAAsE;AACtE,wBAAgB,cAAc,CAAC,QAAQ,EAAE,eAAe,GAAG,MAAM,EAAE,CAElE"}

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

@@ -1,156 +0,0 @@
-/**
- * Layer 1 — ContextManifest: declarative field/budget declaration (design §6.2).
- *
- * Pure logic only: no I/O, no fs, no DB, no network (Core vs Plugin boundary,
- * AGENTS.md `antipattern-core-io`).
- *
- * A `ContextManifest` declares which field paths a runner (or an evaluator
- * stage) needs, layered into tier0/tier1/tier2, plus a token budget and a
- * priority ordering. Layer 1's `allocateContext` (prompt-budget-manager.ts)
- * consumes it; Layer 3's CLI surfaces its resolution.
- *
- * rc-4: tier* and priority array elements are validated element-wise as
- * strings before use. rc-5: object keys read via `Object.hasOwn`.
- */
-import { DIMENSION_COVERAGE_POLICY, ALL_DREAMER_DIMENSIONS, } from './dimension-coverage-policy.js';
-export const CONTEXT_MANIFEST_SCHEMA_VERSION = 1;
-/** Deduplicate a string array preserving first-seen order (deterministic). */
-function dedupe(arr) {
-    const seen = new Set();
-    const out = [];
-    for (const s of arr) {
-        if (!seen.has(s)) {
-            seen.add(s);
-            out.push(s);
-        }
-    }
-    return out;
-}
-/**
- * The set of all dreamer dimension names that are NOT `excluded` — i.e. the
- * ones the fidelity criteria may adjudicate (design §6.6.1 INV-MANIFEST-
- * CRITERION). `strategicPerspective` is excluded and must never appear in an
- * adjudicating manifest.
- */
-const NON_EXCLUDED_DIMENSIONS = ALL_DREAMER_DIMENSIONS.filter((d) => DIMENSION_COVERAGE_POLICY[d] !== 'excluded');
-/**
- * INV-MANIFEST-CRITERION (design §6.6.1): every non-excluded dreamer dimension
- * that the fidelity criteria may adjudicate must have a corresponding injected
- * path in the adjudicating manifest's tier0 ∪ tier1 ∪ tier2. The criteria must
- * never ask the model to judge a dimension it cannot see.
- *
- * This is the direct regression guard for the Phase 0 root cause "criteria ask
- * 5 dims, manifest injects 4" (design §12.1 conclusion 2 root cause 2). It only
- * applies to manifests whose runnerKind is the adjudicator (evaluator); other
- * stages are not fidelity-adjudicating and are skipped.
- *
- * NOTE: this checks that each non-excluded dimension's summary path
- * (`dreamer.summary.<dim>`) is present. A future change promoting a dimension
- * from `excluded` to `required`/`optional` in DIMENSION_COVERAGE_POLICY without
- * adding its path to the evaluator manifest will fail this check.
- *
- * @param manifest the manifest to check
- * @param isAdjudicator true only for evaluator-stage manifests (the ones whose
- *   injected fields the fidelity criteria see). Callers pass false for
- *   non-evaluator manifests so this invariant is scoped correctly.
- */
-export function checkManifestCriterionAlignment(manifest, isAdjudicator) {
-    if (!isAdjudicator)
-        return null;
-    if (manifest.runnerKind !== 'evaluator')
-        return null;
-    const allPaths = new Set([...manifest.tier0, ...manifest.tier1, ...manifest.tier2]);
-    const missing = [];
-    for (const dim of NON_EXCLUDED_DIMENSIONS) {
-        const path = `dreamer.summary.${dim}`;
-        if (!allPaths.has(path)) {
-            missing.push(path);
-        }
-    }
-    if (missing.length > 0) {
-        return {
-            kind: 'manifest_criterion_misaligned',
-            detail: `Adjudicating manifest "${manifest.manifestId}" is missing dreamer summary paths for non-excluded dimensions: ${missing.join(', ')}. DIMENSION_COVERAGE_POLICY requires these to be injectable (INV-MANIFEST-CRITERION, design §6.6.1).`,
-        };
-    }
-    return null;
-}
-/**
- * Validate a manifest is well-formed (design §6.2, requirements 4.2–4.8, 4.12,
- * 4.13, 4.15).
- *
- * Checks:
- *   - budgetTokens > 0
- *   - every tier* and priority element is a string (rc-4)
- *   - priority covers every field in tier0 ∪ tier1 ∪ tier2 (with a documented
- *     escape hatch: unlisted fields are allowed but sort last via rankOf; this
- *     check is intentionally NOT enforced because rankOf defines their rank —
- *     see the note below)
- *   - INV-MANIFEST-CRITERION when the manifest is an adjudicator (§6.6.1)
- *
- * Note on `priority` coverage: design §6.2 requires "priority covers tier0 ∪
- * tier1 ∪ tier2", but rankOf assigns unlisted fields a rank of
- * `priority.length + declarationOrder` (sorting them last), which is the
- * intended behaviour. The check here therefore only flags an empty priority
- * when fields exist (a clear misconfiguration), rather than requiring every
- * field be listed. The built-in manifests DO list every field.
- */
-export function validateManifest(manifest, opts = {}) {
-    // budgetTokens > 0
-    if (!(manifest.budgetTokens > 0)) {
-        return { ok: false, error: { kind: 'budget_not_positive', budgetTokens: manifest.budgetTokens } };
-    }
-    // element-wise string check (rc-4)
-    const arrays = [
-        ['tier0', manifest.tier0],
-        ['tier1', manifest.tier1],
-        ['tier2', manifest.tier2],
-        ['priority', manifest.priority],
-    ];
-    for (const [name, arr] of arrays) {
-        for (let i = 0; i < arr.length; i++) {
-            const el = arr[i];
-            if (typeof el !== 'string') {
-                return { ok: false, error: { kind: 'non_string_element', array: name, index: i, value: el } };
-            }
-        }
-    }
-    // INV-MANIFEST-CRITERION (only for adjudicators)
-    const alignmentError = checkManifestCriterionAlignment(manifest, opts.isAdjudicator === true);
-    if (alignmentError !== null) {
-        return { ok: false, error: alignmentError };
-    }
-    return { ok: true };
-}
-// ── Priority ranking ─────────────────────────────────────────────────────────
-/**
- * The rank of a field path within a manifest (design §6.2 / requirement 4.6).
- *
- * Listed fields get their index in `priority` (0-based, ascending = higher
- * priority). Unlisted fields get `priority.length + declarationOrder`, where
- * declarationOrder is the field's position in dedupe(tier0 ++ tier1 ++ tier2)
- * — so unlisted fields sort AFTER all listed fields, in a stable declaration
- * order. This replaces the base proposal's `indexOf(...) `-1`` which sorted
- * unlisted fields FIRST (opposite of intent).
- */
-export function rankOf(fieldPath, manifest) {
-    const listedRank = manifest.priority.indexOf(fieldPath);
-    if (listedRank >= 0)
-        return listedRank;
-    const declarationOrder = dedupe([
-        ...manifest.tier0,
-        ...manifest.tier1,
-        ...manifest.tier2,
-    ]).indexOf(fieldPath);
-    // declarationOrder is >= 0 for any field actually in the manifest; use a
-    // large fallback for paths not in any tier (defensive — they shouldn't be
-    // ranked, but rankOf must never return a value that sorts them first).
-    const order = declarationOrder >= 0 ? declarationOrder : 0;
-    return manifest.priority.length + order;
-}
-// ── Helpers for consumers ─────────────────────────────────────────────────────
-/** All declared field paths of a manifest, deduped, in tier order. */
-export function declaredFields(manifest) {
-    return dedupe([...manifest.tier0, ...manifest.tier1, ...manifest.tier2]);
-}
-//# sourceMappingURL=context-manifest.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"context-manifest.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/context-manifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EACL,yBAAyB,EACzB,sBAAsB,GAEvB,MAAM,gCAAgC,CAAC;AAExC,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAU,CAAC;AAoC1D,8EAA8E;AAC9E,SAAS,MAAM,CAAC,GAAsB;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,uBAAuB,GAAgC,sBAAsB,CAAC,MAAM,CACxF,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,CAAC,KAAK,UAAU,CACnD,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,+BAA+B,CAC7C,QAAyB,EACzB,aAAsB;IAEtB,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,QAAQ,CAAC,UAAU,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAErD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5F,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,uBAAuB,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,mBAAmB,GAAG,EAAE,CAAC;QACtC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,+BAA+B;YACrC,MAAM,EAAE,0BAA0B,QAAQ,CAAC,UAAU,mEAAmE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,sGAAsG;SACjP,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAyB,EACzB,IAAI,GAAyC,EAAE;IAE/C,mBAAmB;IACnB,IAAI,CAAC,CAAC,QAAQ,CAAC,YAAY,GAAG,CAAC,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC;IACpG,CAAC;IAED,mCAAmC;IACnC,MAAM,MAAM,GAAoE;QAC9E,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC;QACzB,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC;QACzB,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC;QACzB,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC;KAChC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;QACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;gBAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC;YAChG,CAAC;QACH,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,MAAM,cAAc,GAAG,+BAA+B,CAAC,QAAQ,EAAE,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC;IAC9F,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;IAC9C,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,gFAAgF;AAEhF;;;;;;;;;GASG;AACH,MAAM,UAAU,MAAM,CAAC,SAAiB,EAAE,QAAyB;IACjE,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,UAAU,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC;IAEvC,MAAM,gBAAgB,GAAG,MAAM,CAAC;QAC9B,GAAG,QAAQ,CAAC,KAAK;QACjB,GAAG,QAAQ,CAAC,KAAK;QACjB,GAAG,QAAQ,CAAC,KAAK;KAClB,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACtB,yEAAyE;IACzE,0EAA0E;IAC1E,uEAAuE;IACvE,MAAM,KAAK,GAAG,gBAAgB,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC;AAC1C,CAAC;AAED,iFAAiF;AAEjF,sEAAsE;AACtE,MAAM,UAAU,cAAc,CAAC,QAAyB;IACtD,OAAO,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAC3E,CAAC"}

package/dist/runtime-v2/internalization/context-manifests.d.ts

@@ -1,148 +0,0 @@
-/**
- * Layer 1 — the built-in ContextManifests (design §6.6).
- *
- * Pure logic only (Core vs Plugin boundary). These are the single source of
- * truth for which manifest each peer runner uses.
- *
- * INV-MANIFEST-SCOPE: the frozen invariant is **4 manifest-owning runner
- * KINDS** — dreamer / scribe / artificer / evaluator, with evaluator carrying
- * a Stage 1 + Stage 2 variant. It is NOT a literal manifest-instance count: a
- * runner kind may own more than one manifest VARIANT when its context needs
- * genuinely differ (e.g. `artificer.repair`, which additionally needs replay /
- * repair evidence a normal artificer must never see). The three diagnostic
- * stages own NO manifest (design §4.7.1, requirement 2.14, guarded by the
- * scope-regression test from PR 1 task 3.21).
- *
- * Field-path naming convention (design §6.6):
- *   `<stage>.summary.<key>`        — read from an ArtifactSummary
- *   `<stage>.predecessorSummary.*` — read from a forwarded predecessor summary
- *   `<stage>.raw.<path>`           — read from tier2 full contentJson (Layer 2)
- *                                    or from a related-reference namespace
- *
- * `<stage>.raw.<path>` paths must be TRUTHFUL: `readRawField` resolves them
- * verbatim against the durable contentJson. Numeric segments address array
- * elements — e.g. `dreamer.raw.candidates.0.betterDecision`, because
- * DreamerOutput nests its 5 dimensions under `candidates[0]`.
- *
- * budgetTokens semantics (design §6.2.1 / §6.3): the budget covers ONLY these
- * manifest-declared injection fields. It does NOT include core grounding text
- * (grounding is injected unconditionally via the runners' `coreGrounding: true`
- * default — the former `internalization_core_grounding` flag was retired in
- * PRI-751 after PRI-752's audit confirmed it had no runtime readers), runner
- * is therefore an injection-field budget ceiling, NOT a prompt-total-length
- * hard cap. If prompt-total-length control is ever needed, a separate total
- * budget must be declared with an explicit priority relation to budgetTokens.
- */
-import type { ContextManifest } from './context-manifest.js';
-/**
- * Dreamer manifest. `pain.summary.*` / `diagnosis.summary.*` resolve to the
- * diagnostic-chain writer-side summaries forwarded via the diag_router →
- * dreamer `predecessorSummary` (PR 1, design §4.7.1). tier2 empty → dreamer
- * does not read raw large fields.
- */
-export declare const DREAMER_MANIFEST: ContextManifest;
-/**
- * Scribe manifest. Reads the dreamer 5 dimensions through
- * `philosopher.predecessorSummary.*` (the value of PR 1's writer-side
- * forwarding — design §4.7 修正七). tier2 empty.
- */
-export declare const SCRIBE_MANIFEST: ContextManifest;
-/**
- * Artificer manifest. Under the one-level-redundancy rule, dreamer 5 dims are
- * NOT in scribe.predecessorSummary (that holds philosopher); so artificer's
- * dreamer context resolves as tier2 raw fields through CandidateLineage (PR B).
- *
- * The tier2 paths address `candidates[0]` explicitly because that is where the
- * durable DreamerOutput keeps the selected candidate's 5 dimensions — the same
- * element `resolveDreamerContext` (PRI-508, F2) reads on the flag-off path.
- * When `context_manifest_budget` is OFF, `resolveDreamerContext` stays the
- * injection channel and this manifest is not consulted (design §23).
- */
-export declare const ARTIFICER_MANIFEST: ContextManifest;
-/**
- * Artificer REPAIR manifest variant (design §35).
- *
- * A repair round is a different context job than a first-write: it additionally
- * needs the concrete deterministic replay evidence and the evaluator's required
- * changes. Those fields do NOT belong on the normal ARTIFICER_MANIFEST — a
- * first-write artificer has no replay to read and would only be polluted by
- * repair-only namespaces.
- *
- * `replay.*` is a RELATED reference, not ancestry: the source Evaluator
- * artifact is referenced by `RepairPayload.sourceEvaluatorTaskId`, never pushed
- * into `lineageArtifactIds` (design §33 / INV-LINEAGE-SCOPE). The values come
- * from the PR-A `RepairReplayContext`, so the ≤16 bound
- * (MAX_REPLAY_FAILURES_IN_REPAIR) is inherited rather than re-expanded
- * (design §43).
- *
- * Flag-off behaviour is unchanged: when `context_manifest_budget` is false this
- * manifest is never consulted and PR A's `repairFeedback` string remains the
- * replay-evidence channel (PRI-634 invariant §26).
- */
-export declare const ARTIFICER_REPAIR_MANIFEST: ContextManifest;
-/**
- * Evaluator Stage 1 manifest — summary-level only (no tier2 raw fields).
- *
- * NAMESPACE CORRECTION (PR B, fresh-code verification): this manifest names
- * stages that are NOT the Evaluator's direct predecessor (its predecessor is
- * the Artificer; `scribe.*` / `dreamer.*` / `diagnostician.*` sit further up
- * the chain). Layer 1's `readSummaryField` strips the leading `<stage>.`
- * segment and reads only the single loaded predecessor, so those ancestor
- * namespaces are resolved by the PR-B ancestry channel (`resolveAncestryPaths`,
- * which matches a lineage node by producer taskKind) — not by Channel 1.
- *
- * `pain.*` becomes `diagnostician.*` and is resolved through
- * `SEMANTIC_STAGE_ALIASES` (diagnostician → {diagnostician, diag_router}):
- * `pain` is a LOGICAL Layer-1 namespace, never a lineage node; the durable
- * DiagnosticianOutputV1 is owned by the split pipeline's `diag_router`
- * sub-task on the DEFAULT chain (legacy monolith committed it under
- * `diagnostician`). Summary fields on this stage are served by the bounded
- * read-time projection when the writer had to skip the Layer-0 envelope
- * (the output itself owns a top-level `summary` string).
- *
- * If an ancestor summary is absent the path enters `absent` and surfaces as a
- * `summary_absent` degradation, never a silent empty.
- */
-export declare const EVALUATOR_STAGE1_MANIFEST: ContextManifest;
-/**
- * Evaluator Stage 2 manifest — Stage 1 plus tier2 raw fields for the
- * independent re-evaluation (design §6.5). budgetTokens is larger to
- * accommodate the raw fields.
- *
- * SPEC ASSUMPTION STALE (PR B Phase 0, fresh-code verification): the SPEC's
- * example path `pain.raw.evidence` assumed a `pain` stage node on the lineage.
- * `pain` is only a LOGICAL summary namespace — never a lineage node. The
- * ancestry namespace is `diagnostician` (mapped via SEMANTIC_STAGE_ALIASES to
- * the real producer taskKinds):
- *
- *   - DEFAULT split chain: the durable DiagnosticianOutputV1 is committed by
- *     the `diag_router` sub-task (SplitDiagnosticianRunner stage C) — the node
- *     the dreamer lineage actually depends on (candidate.taskId);
- *   - legacy monolith: the same contract was committed under taskKind
- *     `diagnostician`.
- *
- * So `diagnostician.raw.evidence` reads `DiagnosticianOutputV1.evidence`, and
- * `dreamer.raw.candidates` addresses `DreamerOutput.candidates` directly — the
- * whole array, exactly what the deep-evidence stage reviews.
- */
-export declare const EVALUATOR_STAGE2_MANIFEST: ContextManifest;
-/**
- * The built-in manifest registry (INV-MANIFEST-SCOPE): 4 manifest-owning
- * runner KINDS across 6 manifest INSTANCES — dreamer, scribe, artificer,
- * artificer.repair, evaluator.stage1, evaluator.stage2. No diagnostic stage
- * owns a manifest (design §4.7.1, requirement 2.14). The scope-regression test
- * guards the runner-kind set, not the instance count.
- *
- * Exposed for: well-formedness enumeration (CP-12), the CLI's manifest
- * resolution, and the architecture-regression assertion that no diag kind is a
- * manifest's runnerKind.
- */
-export declare const BUILTIN_MANIFESTS: readonly ContextManifest[];
-/**
- * The distinct runnerKinds that own a manifest. Always exactly 4 and always a
- * subset of {dreamer, scribe, artificer, evaluator} — never includes a
- * diagnostic kind. Adding a runner-kind VARIANT (not a new kind) leaves this
- * unchanged, which is the intended reading of INV-MANIFEST-SCOPE.
- */
-export declare const MANIFEST_RUNNER_KINDS: readonly string[];
-//# sourceMappingURL=context-manifests.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"context-manifests.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/context-manifests.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAG7D;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,eAuB9B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,eA8B7B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,kBAAkB,EAAE,eAkChC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,yBAAyB,EAAE,eAgCvC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,yBAAyB,EAAE,eA2CvC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,yBAAyB,EAAE,eAMvC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB,EAAE,SAAS,eAAe,EAOvD,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS,MAAM,EAElD,CAAC"}