@sema-agent/core 7.11.1 → 7.11.2

package/dist/core/runner/run-tool-mount-facts.js

@@ -0,0 +1,58 @@
+import { CONFIG_CATALOG_VERSION, declarationReasons, resolveEffectiveConfig } from "../../config/catalog.js";
+import { engineVersion } from "../version.js";
+import { emitTrace } from "../trace.js";
+import { writeFamilyOfCanonical } from "./tool-end-body.js";
+export function runToolMountFacts(input) {
+    const { spec, prepared, rs } = input;
+    const todoToolMounted = rs.attach.attachState !== undefined && prepared.tools.some((t) => t.name === "TodoWrite");
+    const taskToolsMounted = rs.attach.attachState !== undefined && prepared.tools.some((t) => t.name === "TaskCreate");
+    const writeFamilyByName = new Map();
+    if (rs.attach.attachState !== undefined) {
+        for (const t of prepared.tools) {
+            const family = writeFamilyOfCanonical(t.name);
+            if (family !== undefined)
+                for (const n of [t.name, ...(t.aliases ?? [])])
+                    writeFamilyByName.set(n, family);
+        }
+    }
+    const writeFamilyOf = (name) => writeFamilyByName.get(name) ?? writeFamilyOfCanonical(name);
+    const toolStartAt = new Map();
+    const startedToolCallIds = new Set();
+    emitTrace(rs.telemetry.tracer, () => ({ kind: "task.start", version: 1, taskId: rs.telemetry.taskId, runId: rs.telemetry.runId, model: prepared.model.id, engineVersion: engineVersion(), ts: rs.telemetry.taskStart }));
+    emitTrace(rs.telemetry.tracer, () => ({
+        kind: "prompt.assembled",
+        version: 1,
+        taskId: rs.telemetry.taskId,
+        constitution: prepared.promptManifest.constitution,
+        blocks: prepared.promptManifest.blocks,
+        ...(prepared.promptManifest.sections ? { sections: prepared.promptManifest.sections } : {}),
+        ...(prepared.promptManifest.tools ? { tools: prepared.promptManifest.tools } : {}),
+        ...(prepared.promptManifest.snapshot ? { snapshot: prepared.promptManifest.snapshot } : {}),
+        ...(prepared.promptManifest.lowering ? { lowering: prepared.promptManifest.lowering } : {}),
+        ...(prepared.promptManifest.toolDisclosure ? { toolDisclosure: prepared.promptManifest.toolDisclosure } : {}),
+        totalChars: prepared.promptManifest.blocks.reduce((n, b) => n + b.chars, 0),
+        ts: rs.telemetry.taskStart,
+    }));
+    emitTrace(rs.telemetry.tracer, () => {
+        const reasons = declarationReasons(spec.configOverrides);
+        return {
+            kind: "config.assembled",
+            version: 1,
+            taskId: rs.telemetry.taskId,
+            catalogVersion: CONFIG_CATALOG_VERSION,
+            fields: resolveEffectiveConfig(spec, { modelMaxTokens: prepared.model.maxTokens }),
+            ...(Object.keys(reasons).length > 0 ? { overrideReasons: reasons } : {}),
+            ts: rs.telemetry.taskStart,
+        };
+    });
+    if (prepared.turnSnapshot !== undefined) {
+        prepared.turnSnapshot.onChange = (snap) => emitTrace(rs.telemetry.tracer, () => ({
+            kind: "prompt.snapshot_changed",
+            version: 1,
+            taskId: rs.telemetry.taskId,
+            snapshot: { cacheIdentity: snap.cacheIdentity, elements: { ...snap.elements } },
+            ts: Date.now(),
+        }));
+    }
+    return { todoToolMounted, taskToolsMounted, writeFamilyOf, toolStartAt, startedToolCallIds };
+}

package/dist/core/runner/run-turn-boundary.d.ts

@@ -1,41 +1,6 @@
 import type { Model } from "../../internal/llm.js";
 import type { Stats } from "./assemble-result.js";
 import type { Prepared, RunState, TurnBoundaryDeps } from "./contracts.js";
-/**
- * §17.4 (design/64 GAP-25): stop attempting within-task compaction after this many CONSECUTIVE
- * failures in one task — a never-recovering summary gateway must not burn an API call at every turn
- * boundary (CC: MAX_CONSECUTIVE_AUTOCOMPACT_FAILURES = 3). Reset on any success; an open breaker also
- * skips the end-of-task attempt in `finish()` (teardown unaffected). Per-task scope.
- *
- * RB-190 — this used to say "a flaky/never-recovering gateway", and the word `flaky` was not true. Because
- * any success zeroes the counter, a gateway that alternates never reaches three CONSECUTIVE failures and
- * the breaker never opens; it keeps paying for a call at every failed boundary, indefinitely.
- *
- * The behaviour is right and stays: a gateway succeeding half the time is compacting half the time, and
- * opening the breaker on it would disable compaction outright and let the context overflow — trading a
- * wasted call for a failed task. What was wrong is the comment claiming a guarantee the code does not
- * make. An alternating gateway is deliberately NOT caught here; if that ever needs catching it wants a
- * different signal (a failure RATE over a window), not a consecutive counter.
- */
-export declare const MAX_CONSECUTIVE_COMPACTION_FAILURES = 3;
-/**
- * §25.2 anti-thrash (LONGRUN-1b, search [84]): after a compaction, the context must regrow past
- * (tokensBefore − freed) × this factor — the post-compaction size in trigger units — before another
- * summary call fires. An EFFECTIVE compaction (freed large) leaves the floor far below the threshold,
- * so behavior is unchanged; an INEFFECTIVE one (small window, chunky turns, large summary ⇒ freed
- * small, still at/over the threshold) raises the floor so attempts space out instead of firing at
- * every boundary (measured: 26/39 boundaries, +135% wall). The floor binds only when post-compaction
- * size > threshold/1.5 ≈ compaction freed <33% headroom. Degrades gracefully: the retained summary
- * chain keeps early facts; only the un-summarized tail falls back to trim.
- */
-export declare const COMPACTION_REGROWTH_FACTOR = 1.5;
-/**
- * design/84 Seam C reuse guard (b): a compaction that frees fewer than this many (structural) tokens is
- * treated as NO-EFFECTIVE-COMPACTION and does NOT raise the anti-thrash floor. Guards against a reused
- * provider summary (or a pathological LLM summary) that reclaims no headroom yet suppresses the next real
- * summary by inflating the floor to trigger×factor.
- */
-export declare const COMPACTION_FREED_EPSILON = 256;
 /**
  * What the driver hands the turn-boundary lane, once per leg. The four seats are the four positional
  * parameters the factory used to take; the Input is a carrier of REFERENCES, not a snapshot — the handler

package/dist/core/runner/run-turn-boundary.js

@@ -13,9 +13,7 @@ import { formatDiagnosticsBlock } from "../lsp-diagnostics.js";
 import { workflowSizeGuidelineChangeNotice } from "../../orchestration/workflow-size-guideline.js";
 import { awaitChargeWithSlowDisclosure, discloseUnevaluableWindow, ENV_DUE_GOVERNANCE_READ_BUDGET_MS, GOVERNANCE_READ_STALLED, LIMIT_APPROACH_DEFAULT_THRESHOLDS, limitApproachFrames, platformLimitTerminal, raceUntilDeadline } from "./clock-and-limits.js";
 import { gitRestateOption } from "./git-leg-delivery.js";
-export const MAX_CONSECUTIVE_COMPACTION_FAILURES = 3;
-export const COMPACTION_REGROWTH_FACTOR = 1.5;
-export const COMPACTION_FREED_EPSILON = 256;
+import { COMPACTION_FREED_EPSILON, COMPACTION_REGROWTH_FACTOR, MAX_CONSECUTIVE_COMPACTION_FAILURES } from "./compaction-knobs.js";
 const BATCH_CONTEXT_MIN_KEEP_BYTES = 160;
 const BATCH_TRUNCATION_MARKER = "\n…[truncated]";
 export function createTurnBoundary(input) {