harness-engineering-agent 0.3.10 → 0.3.12

package/dist/controller/context-budget.d.ts

@@ -0,0 +1,71 @@
+import type { ContextFact, ContextSnapshot, ContextSummary } from "../domain/context-snapshot.js";
+import type { HarnessSessionRole } from "../session/contracts.js";
+export type ContextBudget = {
+    /** Maximum number of facts to include */
+    readonly maxFacts: number;
+    /** Maximum number of evidence digests to include */
+    readonly maxEvidenceDigests: number;
+    /** Maximum number of unresolved issues to include */
+    readonly maxUnresolvedIssues: number;
+    /** Maximum character length for the goal text */
+    readonly maxGoalLength: number;
+    /** Maximum character length for the scope text */
+    readonly maxScopeLength: number;
+};
+/**
+ * Default per-role context budgets.
+ *
+ * FIXME: These values are reasonable defaults for the current Harness
+ * architecture but should be made configurable via project-level
+ * configuration (e.g. .harness/config.yaml) in a future iteration.
+ * The current thresholds are designed to keep session prompts under
+ * typical provider token limits while preserving the most critical
+ * context for each role.
+ */
+export declare const DEFAULT_ROLE_BUDGETS: Record<HarnessSessionRole, ContextBudget>;
+export type TrimmedContext = {
+    /** The trimmed context snapshot */
+    readonly snapshot: ContextSnapshot;
+    /** Summary of the context for lightweight reference */
+    readonly summary: ContextSummary;
+    /** Which facts were trimmed (by factId) */
+    readonly trimmedFactIds: readonly string[];
+    /** Which evidence digests were trimmed (by refId) */
+    readonly trimmedEvidenceRefIds: readonly string[];
+    /** Which unresolved issues were trimmed */
+    readonly trimmedUnresolvedIssues: readonly string[];
+    /** Fingerprint of the trimmed content */
+    readonly trimDigest: string;
+    /** Whether any trimming was applied */
+    readonly wasTrimmed: boolean;
+};
+/**
+ * Trim a context snapshot to fit within a role's budget.
+ *
+ * This function NEVER truncates text arbitrarily. Instead, it uses
+ * structured strategies in order:
+ * 1. Keep all high-priority facts (priority >= 80): goals, constraints,
+ *    allowed paths, acceptance criteria, blocking issues.
+ * 2. For remaining lower-priority facts, keep the most recent/highest-priority
+ *    ones up to the budget.
+ * 3. Trim evidence digests to the budget limit.
+ * 4. Trim unresolved issues to the budget limit.
+ * 5. Truncate goal/scope text to character limits.
+ *
+ * Excess content is recorded in trim metadata for auditability.
+ */
+export declare const trimContextForRole: (snapshot: ContextSnapshot, role: HarnessSessionRole, budget?: ContextBudget) => TrimmedContext;
+/**
+ * Context layers that can be selectively included per role.
+ */
+export type ContextLayer = "fixed_role" | "run" | "task" | "evidence" | "governance";
+/**
+ * Which layers each role receives by default.
+ */
+export declare const DEFAULT_ROLE_LAYERS: Record<HarnessSessionRole, readonly ContextLayer[]>;
+/**
+ * Filter facts by layer, keeping only those whose kind matches the
+ * requested layers.
+ */
+export declare const filterFactsByLayer: (facts: readonly ContextFact[], layers: readonly ContextLayer[]) => readonly ContextFact[];
+//# sourceMappingURL=context-budget.d.ts.map

package/dist/controller/context-budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-budget.d.ts","sourceRoot":"","sources":["../../src/controller/context-budget.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAEjG,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAKjE,MAAM,MAAM,aAAa,GAAG;IAC1B,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,oDAAoD;IACpD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAA;IACnC,qDAAqD;IACrD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAA;IACpC,iDAAiD;IACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,kDAAkD;IAClD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAChC,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,kBAAkB,EAAE,aAAa,CAkD1E,CAAA;AAID,MAAM,MAAM,cAAc,GAAG;IAC3B,mCAAmC;IACnC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;IAClC,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAA;IAChC,2CAA2C;IAC3C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;IAC1C,qDAAqD;IACrD,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAA;IACjD,2CAA2C;IAC3C,QAAQ,CAAC,uBAAuB,EAAE,SAAS,MAAM,EAAE,CAAA;IACnD,yCAAyC;IACzC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,uCAAuC;IACvC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAC7B,CAAA;AAaD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,kBAAkB,GAC7B,UAAU,eAAe,EACzB,MAAM,kBAAkB,EACxB,SAAS,aAAa,KACrB,cA6EF,CAAA;AA2CD;;GAEG;AACH,MAAM,MAAM,YAAY,GACpB,YAAY,GACZ,KAAK,GACL,MAAM,GACN,UAAU,GACV,YAAY,CAAA;AAEhB;;GAEG;AACH,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,kBAAkB,EAAE,SAAS,YAAY,EAAE,CAQnF,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,SAAS,WAAW,EAAE,EAC7B,QAAQ,SAAS,YAAY,EAAE,KAC9B,SAAS,WAAW,EAmBtB,CAAA"}

package/dist/controller/context-budget.js

@@ -0,0 +1,219 @@
+import { createHash } from "node:crypto";
+import { toContextSummary } from "../domain/context-snapshot.js";
+import { HARNESS_SESSION_ROLE } from "../session/contracts.js";
+/**
+ * Default per-role context budgets.
+ *
+ * FIXME: These values are reasonable defaults for the current Harness
+ * architecture but should be made configurable via project-level
+ * configuration (e.g. .harness/config.yaml) in a future iteration.
+ * The current thresholds are designed to keep session prompts under
+ * typical provider token limits while preserving the most critical
+ * context for each role.
+ */
+export const DEFAULT_ROLE_BUDGETS = {
+    [HARNESS_SESSION_ROLE.intake]: {
+        maxFacts: 30,
+        maxEvidenceDigests: 0,
+        maxUnresolvedIssues: 5,
+        maxGoalLength: 1000,
+        maxScopeLength: 2000,
+    },
+    [HARNESS_SESSION_ROLE.planner]: {
+        maxFacts: 50,
+        maxEvidenceDigests: 10,
+        maxUnresolvedIssues: 10,
+        maxGoalLength: 2000,
+        maxScopeLength: 4000,
+    },
+    [HARNESS_SESSION_ROLE.worker]: {
+        maxFacts: 40,
+        maxEvidenceDigests: 15,
+        maxUnresolvedIssues: 5,
+        maxGoalLength: 1500,
+        maxScopeLength: 3000,
+    },
+    [HARNESS_SESSION_ROLE.verifier]: {
+        maxFacts: 30,
+        maxEvidenceDigests: 20,
+        maxUnresolvedIssues: 5,
+        maxGoalLength: 1000,
+        maxScopeLength: 2000,
+    },
+    [HARNESS_SESSION_ROLE.acceptance]: {
+        maxFacts: 30,
+        maxEvidenceDigests: 20,
+        maxUnresolvedIssues: 5,
+        maxGoalLength: 1000,
+        maxScopeLength: 2000,
+    },
+    [HARNESS_SESSION_ROLE.failureAnalyzer]: {
+        maxFacts: 40,
+        maxEvidenceDigests: 15,
+        maxUnresolvedIssues: 10,
+        maxGoalLength: 1500,
+        maxScopeLength: 3000,
+    },
+    [HARNESS_SESSION_ROLE.repairWorker]: {
+        maxFacts: 40,
+        maxEvidenceDigests: 15,
+        maxUnresolvedIssues: 5,
+        maxGoalLength: 1500,
+        maxScopeLength: 3000,
+    },
+};
+// ─── Priority constants ────────────────────────────────────────────────────
+/**
+ * Facts with priority >= HIGH_PRIORITY_THRESHOLD are considered
+ * "must-preserve" — they include goals, constraints, allowed paths,
+ * acceptance criteria, and blocking issues.
+ */
+const HIGH_PRIORITY_THRESHOLD = 80;
+// ─── Trimming function ─────────────────────────────────────────────────────
+/**
+ * Trim a context snapshot to fit within a role's budget.
+ *
+ * This function NEVER truncates text arbitrarily. Instead, it uses
+ * structured strategies in order:
+ * 1. Keep all high-priority facts (priority >= 80): goals, constraints,
+ *    allowed paths, acceptance criteria, blocking issues.
+ * 2. For remaining lower-priority facts, keep the most recent/highest-priority
+ *    ones up to the budget.
+ * 3. Trim evidence digests to the budget limit.
+ * 4. Trim unresolved issues to the budget limit.
+ * 5. Truncate goal/scope text to character limits.
+ *
+ * Excess content is recorded in trim metadata for auditability.
+ */
+export const trimContextForRole = (snapshot, role, budget) => {
+    const effectiveBudget = budget ?? DEFAULT_ROLE_BUDGETS[role];
+    const trimmedFactIds = [];
+    const trimmedEvidenceRefIds = [];
+    const trimmedUnresolvedIssues = [];
+    let wasTrimmed = false;
+    // ── 1. Priority-based fact trimming ──
+    const sortedFacts = [...snapshot.facts].sort((a, b) => b.priority - a.priority);
+    const highPriority = sortedFacts.filter((f) => f.priority >= HIGH_PRIORITY_THRESHOLD);
+    const lowPriority = sortedFacts.filter((f) => f.priority < HIGH_PRIORITY_THRESHOLD);
+    // Always keep high-priority facts
+    const remainingBudget = effectiveBudget.maxFacts - highPriority.length;
+    const keptLowPriority = lowPriority.slice(0, Math.max(0, remainingBudget));
+    const trimmedLowPriority = lowPriority.slice(Math.max(0, remainingBudget));
+    for (const fact of trimmedLowPriority) {
+        trimmedFactIds.push(fact.factId);
+    }
+    const keptFacts = [...highPriority, ...keptLowPriority];
+    // ── 2. Evidence digest trimming ──
+    const keptEvidenceDigests = snapshot.evidenceDigests.slice(0, effectiveBudget.maxEvidenceDigests);
+    const trimmedEvidence = snapshot.evidenceDigests.slice(effectiveBudget.maxEvidenceDigests);
+    for (const ev of trimmedEvidence) {
+        trimmedEvidenceRefIds.push(ev.refId);
+    }
+    // ── 3. Unresolved issues trimming ──
+    const keptIssues = snapshot.unresolvedIssues.slice(0, effectiveBudget.maxUnresolvedIssues);
+    const trimmedIssues = snapshot.unresolvedIssues.slice(effectiveBudget.maxUnresolvedIssues);
+    trimmedUnresolvedIssues.push(...trimmedIssues);
+    // ── 4. Text truncation for goal/scope ──
+    // Ensure we don't cut mid-word or mid-JSON — truncate at word boundary
+    const truncatedGoal = truncateAtWordBoundary(snapshot.goal, effectiveBudget.maxGoalLength);
+    const truncatedScope = truncateAtWordBoundary(snapshot.scope, effectiveBudget.maxScopeLength);
+    wasTrimmed =
+        trimmedFactIds.length > 0 ||
+            trimmedEvidenceRefIds.length > 0 ||
+            trimmedUnresolvedIssues.length > 0 ||
+            truncatedGoal !== snapshot.goal ||
+            truncatedScope !== snapshot.scope;
+    // ── Build trimmed snapshot ──
+    const trimDigest = computeTrimDigest({
+        trimmedFactIds,
+        trimmedEvidenceRefIds,
+        trimmedUnresolvedIssues,
+        budget: effectiveBudget,
+        role,
+    });
+    const trimmedSnapshot = {
+        ...snapshot,
+        goal: truncatedGoal,
+        scope: truncatedScope,
+        // Keep facts sorted by priority for the agent
+        facts: keptFacts.sort((a, b) => b.priority - a.priority),
+        evidenceDigests: keptEvidenceDigests,
+        unresolvedIssues: keptIssues,
+    };
+    const summary = toContextSummary(trimmedSnapshot);
+    return {
+        snapshot: trimmedSnapshot,
+        summary,
+        trimmedFactIds,
+        trimmedEvidenceRefIds,
+        trimmedUnresolvedIssues,
+        trimDigest,
+        wasTrimmed,
+    };
+};
+// ─── Helpers ───────────────────────────────────────────────────────────────
+/**
+ * Truncate text at a word boundary, ensuring we never cut mid-word
+ * or mid-JSON structure. Appends "…" if truncated.
+ */
+const truncateAtWordBoundary = (text, maxLength) => {
+    if (text.length <= maxLength)
+        return text;
+    // Try to find the last space within the limit
+    let cutIndex = maxLength;
+    const lastSpace = text.lastIndexOf(" ", maxLength);
+    if (lastSpace > maxLength / 2) {
+        cutIndex = lastSpace;
+    }
+    return `${text.slice(0, cutIndex).trimEnd()}…`;
+};
+/**
+ * Compute a deterministic digest of the trimming metadata.
+ */
+const computeTrimDigest = (input) => {
+    const canonical = JSON.stringify({
+        trimmedFactIds: input.trimmedFactIds,
+        trimmedEvidenceRefIds: input.trimmedEvidenceRefIds,
+        trimmedUnresolvedIssues: input.trimmedUnresolvedIssues,
+        budget: input.budget,
+        role: input.role,
+    });
+    return `sha256:${createHash("sha256").update(canonical, "utf8").digest("hex")}`;
+};
+/**
+ * Which layers each role receives by default.
+ */
+export const DEFAULT_ROLE_LAYERS = {
+    [HARNESS_SESSION_ROLE.intake]: ["fixed_role", "run"],
+    [HARNESS_SESSION_ROLE.planner]: ["fixed_role", "run", "governance"],
+    [HARNESS_SESSION_ROLE.worker]: ["fixed_role", "run", "task", "evidence"],
+    [HARNESS_SESSION_ROLE.verifier]: ["fixed_role", "run", "task", "evidence"],
+    [HARNESS_SESSION_ROLE.acceptance]: ["fixed_role", "run", "evidence"],
+    [HARNESS_SESSION_ROLE.failureAnalyzer]: ["fixed_role", "run", "task", "evidence"],
+    [HARNESS_SESSION_ROLE.repairWorker]: ["fixed_role", "run", "task", "evidence"],
+};
+/**
+ * Filter facts by layer, keeping only those whose kind matches the
+ * requested layers.
+ */
+export const filterFactsByLayer = (facts, layers) => {
+    const layerSet = new Set(layers);
+    return facts.filter((fact) => {
+        switch (fact.kind) {
+            case "requirement":
+            case "constraint":
+                return layerSet.has("run") || layerSet.has("task");
+            case "evidence":
+                return layerSet.has("evidence");
+            case "governance":
+                return layerSet.has("governance");
+            case "unresolved_issue":
+                return layerSet.has("run") || layerSet.has("governance");
+            case "workspace":
+                return layerSet.has("task");
+            default:
+                return true;
+        }
+    });
+};
+//# sourceMappingURL=context-budget.js.map

package/dist/controller/context-budget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-budget.js","sourceRoot":"","sources":["../../src/controller/context-budget.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExC,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAEhE,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAiB9D;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAA8C;IAC7E,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE;QAC7B,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,CAAC;QACrB,mBAAmB,EAAE,CAAC;QACtB,aAAa,EAAE,IAAI;QACnB,cAAc,EAAE,IAAI;KACrB;IACD,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE;QAC9B,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,EAAE;QACtB,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,IAAI;QACnB,cAAc,EAAE,IAAI;KACrB;IACD,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE;QAC7B,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,EAAE;QACtB,mBAAmB,EAAE,CAAC;QACtB,aAAa,EAAE,IAAI;QACnB,cAAc,EAAE,IAAI;KACrB;IACD,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE;QAC/B,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,EAAE;QACtB,mBAAmB,EAAE,CAAC;QACtB,aAAa,EAAE,IAAI;QACnB,cAAc,EAAE,IAAI;KACrB;IACD,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE;QACjC,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,EAAE;QACtB,mBAAmB,EAAE,CAAC;QACtB,aAAa,EAAE,IAAI;QACnB,cAAc,EAAE,IAAI;KACrB;IACD,CAAC,oBAAoB,CAAC,eAAe,CAAC,EAAE;QACtC,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,EAAE;QACtB,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,IAAI;QACnB,cAAc,EAAE,IAAI;KACrB;IACD,CAAC,oBAAoB,CAAC,YAAY,CAAC,EAAE;QACnC,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,EAAE;QACtB,mBAAmB,EAAE,CAAC;QACtB,aAAa,EAAE,IAAI;QACnB,cAAc,EAAE,IAAI;KACrB;CACF,CAAA;AAqBD,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,uBAAuB,GAAG,EAAE,CAAA;AAElC,8EAA8E;AAE9E;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,QAAyB,EACzB,IAAwB,EACxB,MAAsB,EACN,EAAE;IAClB,MAAM,eAAe,GAAG,MAAM,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAA;IAC5D,MAAM,cAAc,GAAa,EAAE,CAAA;IACnC,MAAM,qBAAqB,GAAa,EAAE,CAAA;IAC1C,MAAM,uBAAuB,GAAa,EAAE,CAAA;IAC5C,IAAI,UAAU,GAAG,KAAK,CAAA;IAEtB,wCAAwC;IACxC,MAAM,WAAW,GAAG,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC/E,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,uBAAuB,CAAC,CAAA;IACrF,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,uBAAuB,CAAC,CAAA;IAEnF,kCAAkC;IAClC,MAAM,eAAe,GAAG,eAAe,CAAC,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAA;IACtE,MAAM,eAAe,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAA;IAC1E,MAAM,kBAAkB,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAA;IAE1E,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;QACtC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAClC,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,eAAe,CAAC,CAAA;IAEvD,oCAAoC;IACpC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,CAAC,kBAAkB,CAAC,CAAA;IACjG,MAAM,eAAe,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,eAAe,CAAC,kBAAkB,CAAC,CAAA;IAC1F,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;QACjC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;IACtC,CAAC;IAED,sCAAsC;IACtC,MAAM,UAAU,GAAG,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,CAAC,mBAAmB,CAAC,CAAA;IAC1F,MAAM,aAAa,GAAG,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAC,eAAe,CAAC,mBAAmB,CAAC,CAAA;IAC1F,uBAAuB,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAA;IAE9C,0CAA0C;IAC1C,uEAAuE;IACvE,MAAM,aAAa,GAAG,sBAAsB,CAAC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,aAAa,CAAC,CAAA;IAC1F,MAAM,cAAc,GAAG,sBAAsB,CAAC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,cAAc,CAAC,CAAA;IAE7F,UAAU;QACR,cAAc,CAAC,MAAM,GAAG,CAAC;YACzB,qBAAqB,CAAC,MAAM,GAAG,CAAC;YAChC,uBAAuB,CAAC,MAAM,GAAG,CAAC;YAClC,aAAa,KAAK,QAAQ,CAAC,IAAI;YAC/B,cAAc,KAAK,QAAQ,CAAC,KAAK,CAAA;IAEnC,+BAA+B;IAC/B,MAAM,UAAU,GAAG,iBAAiB,CAAC;QACnC,cAAc;QACd,qBAAqB;QACrB,uBAAuB;QACvB,MAAM,EAAE,eAAe;QACvB,IAAI;KACL,CAAC,CAAA;IAEF,MAAM,eAAe,GAAoB;QACvC,GAAG,QAAQ;QACX,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,cAAc;QACrB,8CAA8C;QAC9C,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;QACxD,eAAe,EAAE,mBAAmB;QACpC,gBAAgB,EAAE,UAAU;KAC7B,CAAA;IAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC,CAAA;IAEjD,OAAO;QACL,QAAQ,EAAE,eAAe;QACzB,OAAO;QACP,cAAc;QACd,qBAAqB;QACrB,uBAAuB;QACvB,UAAU;QACV,UAAU;KACX,CAAA;AACH,CAAC,CAAA;AAED,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAE,SAAiB,EAAU,EAAE;IACzE,IAAI,IAAI,CAAC,MAAM,IAAI,SAAS;QAAE,OAAO,IAAI,CAAA;IAEzC,8CAA8C;IAC9C,IAAI,QAAQ,GAAG,SAAS,CAAA;IACxB,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;IAClD,IAAI,SAAS,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC;QAC9B,QAAQ,GAAG,SAAS,CAAA;IACtB,CAAC;IAED,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,OAAO,EAAE,GAAG,CAAA;AAChD,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,KAM1B,EAAU,EAAE;IACX,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,qBAAqB,EAAE,KAAK,CAAC,qBAAqB;QAClD,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;QACtD,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAC,CAAA;IACF,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;AACjF,CAAC,CAAA;AAcD;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwD;IACtF,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC;IACpD,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,YAAY,CAAC;IACnE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC;IACxE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC;IAC1E,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC;IACpE,CAAC,oBAAoB,CAAC,eAAe,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC;IACjF,CAAC,oBAAoB,CAAC,YAAY,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC;CAC/E,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAA6B,EAC7B,MAA+B,EACP,EAAE;IAC1B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAA;IAChC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,aAAa,CAAC;YACnB,KAAK,YAAY;gBACf,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YACpD,KAAK,UAAU;gBACb,OAAO,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;YACjC,KAAK,YAAY;gBACf,OAAO,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;YACnC,KAAK,kBAAkB;gBACrB,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;YAC1D,KAAK,WAAW;gBACd,OAAO,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAC7B;gBACE,OAAO,IAAI,CAAA;QACf,CAAC;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/controller/context-builder.d.ts

@@ -0,0 +1,27 @@
+import type { ControllerIdSource } from "../controller/contracts.js";
+import { type ContextSnapshot } from "../domain/context-snapshot.js";
+import type { Evidence } from "../domain/evidence.js";
+import type { Run, Task } from "../domain/index.js";
+export { computeContextDigest, toContextSummary } from "../domain/context-snapshot.js";
+export type BuildContextSnapshotInput = {
+    readonly ids: ControllerIdSource;
+    readonly run: Run;
+    /** Optional task – when building a task-level snapshot */
+    readonly task?: Task;
+    /** The execution phase (e.g. "planning", "executing", "verifying") */
+    readonly phase: string;
+    /** Prior context to derive from, if any */
+    readonly parentContextId?: string;
+    readonly parentVersion?: number;
+    /** Current attempt number (0-based) */
+    readonly attempt?: number;
+    /** Evidence array from the run, for digest production */
+    readonly evidence?: readonly Evidence[];
+    /** Unresolved issues / blocking questions */
+    readonly unresolvedIssues?: readonly string[];
+};
+/**
+ * Build a versioned ContextSnapshot from Run, Task, Evidence, and governance state.
+ */
+export declare const buildContextSnapshot: (input: BuildContextSnapshotInput) => ContextSnapshot;
+//# sourceMappingURL=context-builder.d.ts.map

package/dist/controller/context-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-builder.d.ts","sourceRoot":"","sources":["../../src/controller/context-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,EAGL,KAAK,eAAe,EAGrB,MAAM,+BAA+B,CAAA;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AACrD,OAAO,KAAK,EAAE,GAAG,EAAiB,IAAI,EAAE,MAAM,oBAAoB,CAAA;AAGlE,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAItF,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,GAAG,EAAE,kBAAkB,CAAA;IAChC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA;IACjB,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;IACpB,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,2CAA2C;IAC3C,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B,uCAAuC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,yDAAyD;IACzD,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAA;IACvC,6CAA6C;IAC7C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAC9C,CAAA;AAID;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAAI,OAAO,yBAAyB,KAAG,eA2DvE,CAAA"}

package/dist/controller/context-builder.js

@@ -0,0 +1,184 @@
+import { computeContextDigest, } from "../domain/context-snapshot.js";
+// Re-export the domain helpers for convenience
+export { computeContextDigest, toContextSummary } from "../domain/context-snapshot.js";
+// ─── Context builder ───────────────────────────────────────────────────────
+/**
+ * Build a versioned ContextSnapshot from Run, Task, Evidence, and governance state.
+ */
+export const buildContextSnapshot = (input) => {
+    const { ids, run, task, phase, parentContextId, parentVersion, attempt = 0, evidence = [], unresolvedIssues = [], } = input;
+    const contextId = ids.createEventId(`context-${run.runId}-${phase}`);
+    const version = parentVersion !== undefined ? parentVersion + 1 : 1;
+    const createdAt = new Date().toISOString();
+    const facts = buildContextFacts({
+        run,
+        task,
+        governance: run.governance,
+        evidence,
+        unresolvedIssues,
+    });
+    const evidenceDigests = buildEvidenceDigests(evidence);
+    const worktree = buildWorktree(run);
+    const allowedPaths = task?.allowedPaths ?? [];
+    const acceptanceCriterionIds = task?.acceptanceCriterionIds ?? run.requirement.acceptanceCriteria.map((c) => c.criterionId);
+    const snapshot = {
+        schemaVersion: "1.0.0",
+        contextId,
+        version,
+        runId: run.runId,
+        taskId: task?.taskId,
+        attempt,
+        phase,
+        goal: run.requirement.summary,
+        scope: task?.summary ?? "full",
+        facts,
+        evidenceDigests,
+        worktree,
+        allowedPaths,
+        acceptanceCriterionIds,
+        unresolvedIssues,
+        sourceEvents: [],
+        parentContextId,
+        parentVersion,
+        createdAt,
+        contentDigest: "",
+    };
+    const digest = computeContextDigest(snapshot);
+    return { ...snapshot, contentDigest: digest };
+};
+// ─── Fact builder ──────────────────────────────────────────────────────────
+const buildContextFacts = (input) => {
+    const facts = [];
+    // Requirement facts
+    facts.push({
+        factId: `fact-requirement-${input.run.requirement.requirementId}`,
+        kind: "requirement",
+        label: "Requirement",
+        summary: input.run.requirement.summary,
+        priority: 100,
+    });
+    // Acceptance criteria as individual facts
+    for (const criterion of input.run.requirement.acceptanceCriteria) {
+        facts.push({
+            factId: `fact-acceptance-${criterion.criterionId}`,
+            kind: "requirement",
+            label: "Acceptance Criterion",
+            summary: criterion.text,
+            priority: 95,
+        });
+    }
+    // Task-specific facts
+    if (input.task !== undefined) {
+        facts.push({
+            factId: `fact-task-${input.task.taskId}`,
+            kind: "constraint",
+            label: "Task Summary",
+            summary: input.task.summary,
+            priority: 90,
+        });
+        for (const path of input.task.allowedPaths) {
+            facts.push({
+                factId: `fact-path-${input.task.taskId}-${path.replace(/[^a-z0-9-]/g, "-")}`,
+                kind: "constraint",
+                label: "Allowed Path",
+                summary: path,
+                priority: 80,
+            });
+        }
+        const retryBudget = input.task.retryBudget;
+        facts.push({
+            factId: `fact-retry-${input.task.taskId}`,
+            kind: "constraint",
+            label: "Retry Budget",
+            summary: `Max ${retryBudget.maxAttempts} attempts, ${retryBudget.maxRepairAttempts} repair attempts`,
+            priority: 70,
+        });
+    }
+    // Governance facts
+    if (input.governance.blockingQuestionId !== null) {
+        facts.push({
+            factId: `fact-governance-blocking-${input.governance.blockingQuestionId}`,
+            kind: "governance",
+            label: "Blocking Question",
+            summary: `Run is blocked on question ${input.governance.blockingQuestionId}`,
+            priority: 100,
+        });
+    }
+    if (input.governance.paused !== null) {
+        facts.push({
+            factId: `fact-governance-paused`,
+            kind: "governance",
+            label: "Paused",
+            summary: `Run paused: ${input.governance.paused.reason}`,
+            priority: 100,
+        });
+    }
+    for (const answer of input.governance.answers) {
+        facts.push({
+            factId: `fact-governance-answer-${answer.answerId}`,
+            kind: "governance",
+            label: "Answer",
+            summary: answer.answer,
+            priority: 85,
+        });
+    }
+    // Evidence facts
+    for (const ev of input.evidence) {
+        facts.push({
+            factId: `fact-evidence-${ev.evidenceId}`,
+            kind: "evidence",
+            label: `Evidence (${ev.kind})`,
+            summary: ev.summary,
+            priority: 60,
+            sourceRef: ev.evidenceId,
+        });
+    }
+    // Unresolved issues
+    for (let index = 0; index < input.unresolvedIssues.length; index++) {
+        const issue = input.unresolvedIssues[index];
+        facts.push({
+            factId: `fact-unresolved-${index}`,
+            kind: "unresolved_issue",
+            label: "Unresolved Issue",
+            summary: issue,
+            priority: 100,
+        });
+    }
+    return facts;
+};
+// ─── Evidence digest builder ───────────────────────────────────────────────
+const buildEvidenceDigests = (evidence) => {
+    return evidence.map((ev) => ({
+        refId: ev.evidenceId,
+        summaryDigest: ev.summaryDigest,
+        sourceRole: mapEvidenceKindToRole(ev.kind),
+        sourceTaskId: ev.taskId,
+        createdAt: new Date().toISOString(),
+        freshness: "fresh",
+    }));
+};
+const mapEvidenceKindToRole = (_kind) => {
+    // FIXME: Map evidence kind to agent role more precisely when
+    // evidence tracking includes source role metadata.
+    return "worker";
+};
+// ─── Worktree builder ──────────────────────────────────────────────────────
+const buildWorktree = (run) => {
+    const workspace = run.workspace;
+    if (workspace === undefined)
+        return undefined;
+    const executionRoot = workspace.executionRoot;
+    if (executionRoot === undefined)
+        return undefined;
+    const gitState = workspace.git;
+    const branch = gitState.mode === "git" && gitState.headRef !== null ? gitState.headRef : undefined;
+    const commit = gitState.mode === "git" && gitState.headRef !== null ? gitState.headRef : undefined;
+    const dirty = gitState.mode === "git" ? gitState.dirtyAllowed : false;
+    return {
+        executionRoot,
+        branch,
+        commit,
+        dirty,
+    };
+};
+//# sourceMappingURL=context-builder.js.map

package/dist/controller/context-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-builder.js","sourceRoot":"","sources":["../../src/controller/context-builder.ts"],"names":[],"mappings":"AACA,OAAO,EAKL,oBAAoB,GACrB,MAAM,+BAA+B,CAAA;AAItC,+CAA+C;AAC/C,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAA;AAsBtF,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAgC,EAAmB,EAAE;IACxF,MAAM,EACJ,GAAG,EACH,GAAG,EACH,IAAI,EACJ,KAAK,EACL,eAAe,EACf,aAAa,EACb,OAAO,GAAG,CAAC,EACX,QAAQ,GAAG,EAAE,EACb,gBAAgB,GAAG,EAAE,GACtB,GAAG,KAAK,CAAA;IAET,MAAM,SAAS,GAAG,GAAG,CAAC,aAAa,CAAC,WAAW,GAAG,CAAC,KAAK,IAAI,KAAK,EAAE,CAAC,CAAA;IACpE,MAAM,OAAO,GAAG,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IAE1C,MAAM,KAAK,GAAG,iBAAiB,CAAC;QAC9B,GAAG;QACH,IAAI;QACJ,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,QAAQ;QACR,gBAAgB;KACjB,CAAC,CAAA;IAEF,MAAM,eAAe,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAA;IAEtD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;IAEnC,MAAM,YAAY,GAAG,IAAI,EAAE,YAAY,IAAI,EAAE,CAAA;IAE7C,MAAM,sBAAsB,GAC1B,IAAI,EAAE,sBAAsB,IAAI,GAAG,CAAC,WAAW,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAA;IAE9F,MAAM,QAAQ,GAAG;QACf,aAAa,EAAE,OAAgB;QAC/B,SAAS;QACT,OAAO;QACP,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,MAAM,EAAE,IAAI,EAAE,MAAM;QACpB,OAAO;QACP,KAAK;QACL,IAAI,EAAE,GAAG,CAAC,WAAW,CAAC,OAAO;QAC7B,KAAK,EAAE,IAAI,EAAE,OAAO,IAAI,MAAM;QAC9B,KAAK;QACL,eAAe;QACf,QAAQ;QACR,YAAY;QACZ,sBAAsB;QACtB,gBAAgB;QAChB,YAAY,EAAE,EAAE;QAChB,eAAe;QACf,aAAa;QACb,SAAS;QACT,aAAa,EAAE,EAAW;KAC3B,CAAA;IAED,MAAM,MAAM,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAA;IAC7C,OAAO,EAAE,GAAG,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAqB,CAAA;AAClE,CAAC,CAAA;AAED,8EAA8E;AAE9E,MAAM,iBAAiB,GAAG,CAAC,KAM1B,EAA0B,EAAE;IAC3B,MAAM,KAAK,GAAkB,EAAE,CAAA;IAE/B,oBAAoB;IACpB,KAAK,CAAC,IAAI,CAAC;QACT,MAAM,EAAE,oBAAoB,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,aAAa,EAAE;QACjE,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,aAAa;QACpB,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO;QACtC,QAAQ,EAAE,GAAG;KACd,CAAC,CAAA;IAEF,0CAA0C;IAC1C,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,kBAAkB,EAAE,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,mBAAmB,SAAS,CAAC,WAAW,EAAE;YAClD,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,SAAS,CAAC,IAAI;YACvB,QAAQ,EAAE,EAAE;SACb,CAAC,CAAA;IACJ,CAAC;IAED,sBAAsB;IACtB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,aAAa,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE;YACxC,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,cAAc;YACrB,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO;YAC3B,QAAQ,EAAE,EAAE;SACb,CAAC,CAAA;QACF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC;gBACT,MAAM,EAAE,aAAa,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE;gBAC5E,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,cAAc;gBACrB,OAAO,EAAE,IAAI;gBACb,QAAQ,EAAE,EAAE;aACb,CAAC,CAAA;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAA;QAC1C,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,cAAc,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE;YACzC,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,cAAc;YACrB,OAAO,EAAE,OAAO,WAAW,CAAC,WAAW,cAAc,WAAW,CAAC,iBAAiB,kBAAkB;YACpG,QAAQ,EAAE,EAAE;SACb,CAAC,CAAA;IACJ,CAAC;IAED,mBAAmB;IACnB,IAAI,KAAK,CAAC,UAAU,CAAC,kBAAkB,KAAK,IAAI,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,4BAA4B,KAAK,CAAC,UAAU,CAAC,kBAAkB,EAAE;YACzE,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,mBAAmB;YAC1B,OAAO,EAAE,8BAA8B,KAAK,CAAC,UAAU,CAAC,kBAAkB,EAAE;YAC5E,QAAQ,EAAE,GAAG;SACd,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,wBAAwB;YAChC,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,QAAQ;YACf,OAAO,EAAE,eAAe,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE;YACxD,QAAQ,EAAE,GAAG;SACd,CAAC,CAAA;IACJ,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,0BAA0B,MAAM,CAAC,QAAQ,EAAE;YACnD,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,QAAQ;YACf,OAAO,EAAE,MAAM,CAAC,MAAM;YACtB,QAAQ,EAAE,EAAE;SACb,CAAC,CAAA;IACJ,CAAC;IAED,iBAAiB;IACjB,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,iBAAiB,EAAE,CAAC,UAAU,EAAE;YACxC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,aAAa,EAAE,CAAC,IAAI,GAAG;YAC9B,OAAO,EAAE,EAAE,CAAC,OAAO;YACnB,QAAQ,EAAE,EAAE;YACZ,SAAS,EAAE,EAAE,CAAC,UAAU;SACzB,CAAC,CAAA;IACJ,CAAC;IAED,oBAAoB;IACpB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACnE,MAAM,KAAK,GAAG,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAW,CAAA;QACrD,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,mBAAmB,KAAK,EAAE;YAClC,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,GAAG;SACd,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,8EAA8E;AAE9E,MAAM,oBAAoB,GAAG,CAAC,QAA6B,EAAoC,EAAE;IAC/F,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3B,KAAK,EAAE,EAAE,CAAC,UAAU;QACpB,aAAa,EAAE,EAAE,CAAC,aAAa;QAC/B,UAAU,EAAE,qBAAqB,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1C,YAAY,EAAE,EAAE,CAAC,MAAM;QACvB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,OAAgB;KAC5B,CAAC,CAAC,CAAA;AACL,CAAC,CAAA;AAED,MAAM,qBAAqB,GAAG,CAAC,KAAa,EAAU,EAAE;IACtD,6DAA6D;IAC7D,mDAAmD;IACnD,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAED,8EAA8E;AAE9E,MAAM,aAAa,GAAG,CAAC,GAAQ,EAA+B,EAAE;IAC9D,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAA;IAC/B,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAE7C,MAAM,aAAa,GAAG,SAAS,CAAC,aAAa,CAAA;IAC7C,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAEjD,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAA;IAC9B,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IAClG,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IAClG,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAA;IAErE,OAAO;QACL,aAAa;QACb,MAAM;QACN,MAAM;QACN,KAAK;KACN,CAAA;AACH,CAAC,CAAA"}

package/dist/controller/context-validation.d.ts

@@ -0,0 +1,46 @@
+import type { ContextEvidenceDigest, ContextSnapshot } from "../domain/context-snapshot.js";
+import type { HarnessSessionRole } from "../session/contracts.js";
+import { type ContextLayer } from "./context-budget.js";
+export type ContextValidationResult = {
+    readonly valid: boolean;
+    readonly errors: readonly string[];
+    readonly warnings: readonly string[];
+};
+export type ConsistencyValidationResult = {
+    readonly valid: boolean;
+    readonly errors: readonly string[];
+    readonly warnings: readonly string[];
+};
+/**
+ * Validate that a role is only reading context layers it is authorized for.
+ *
+ * Returns validation errors for each unauthorized layer access.
+ */
+export declare const validateRoleContextLayers: (role: HarnessSessionRole, requestedLayers: readonly ContextLayer[]) => ContextValidationResult;
+/**
+ * Validate that a worker's allowedPaths, workingDirectory, and worktree
+ * are consistent with the ContextSnapshot it operates from.
+ */
+export declare const validateWorkerContextConsistency: (input: {
+    readonly snapshot: ContextSnapshot;
+    readonly allowedPaths: readonly string[];
+    readonly workingDirectory: string;
+    readonly worktree?: string | undefined;
+    readonly role: HarnessSessionRole;
+}) => ConsistencyValidationResult;
+/**
+ * Validate that evidence digests are fresh enough for the current task.
+ * Expired or stale evidence generates warnings.
+ */
+export declare const validateEvidenceFreshness: (digests: readonly ContextEvidenceDigest[], maxAgeMs?: number) => ContextValidationResult;
+/**
+ * Validate that evidence digests from other tasks are not being misused
+ * in the current task context.
+ */
+export declare const validateCrossTaskEvidence: (digests: readonly ContextEvidenceDigest[], currentTaskId: string) => ContextValidationResult;
+/**
+ * Validate that the scope and goal in a context snapshot are consistent
+ * with the task being executed.
+ */
+export declare const validateScopeConsistency: (snapshot: ContextSnapshot, taskSummary?: string) => ContextValidationResult;
+//# sourceMappingURL=context-validation.d.ts.map

package/dist/controller/context-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-validation.d.ts","sourceRoot":"","sources":["../../src/controller/context-validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAA;AAC3F,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,KAAK,YAAY,EAAuB,MAAM,qBAAqB,CAAA;AAI5E,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CACrC,CAAA;AAED,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CACrC,CAAA;AAID;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,kBAAkB,EACxB,iBAAiB,SAAS,YAAY,EAAE,KACvC,uBAkBF,CAAA;AAID;;;GAGG;AACH,eAAO,MAAM,gCAAgC,GAAI,OAAO;IACtD,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;IAClC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;IACxC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACtC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAA;CAClC,KAAG,2BA0CH,CAAA;AAID;;;GAGG;AACH,eAAO,MAAM,yBAAyB,GACpC,SAAS,SAAS,qBAAqB,EAAE,EACzC,WAAW,MAAM,KAChB,uBAwBF,CAAA;AAID;;;GAGG;AACH,eAAO,MAAM,yBAAyB,GACpC,SAAS,SAAS,qBAAqB,EAAE,EACzC,eAAe,MAAM,KACpB,uBAaF,CAAA;AAID;;;GAGG;AACH,eAAO,MAAM,wBAAwB,GACnC,UAAU,eAAe,EACzB,cAAc,MAAM,KACnB,uBAqBF,CAAA"}