@tangle-network/agent-eval 0.115.3 → 0.117.0

package/dist/campaign/index.d.ts

@@ -1,35 +1,37 @@
-import { P as PairedArmsComparison, S as SignedManifest, B as BackendIntegrityReport, C as CompletionRequirement, R as RuntimeEventLike, a as CompletionVerdict, b as ProducedState, c as CorrectnessChecker } from '../pre-registration-D8h7ZxNL.js';
-export { L as LlmJudgeDimension, d as LlmJudgeOptions, l as llmJudge } from '../pre-registration-D8h7ZxNL.js';
+import { v as PolicyEditAdmissionOptions, u as PolicyEditAdmission, t as PolicyEdit, c as AnalystFinding, F as FindingToPolicyEditOptions } from '../policy-edit-wG9uFEFm.js';
+export { r as POLICY_EDIT_CANDIDATE_RECORD_SCHEMA, P as PolicyEditCandidateRecord, a2 as validatePolicyEditCandidateRecord } from '../policy-edit-wG9uFEFm.js';
+import { P as PairedArmsComparison, S as SignedManifest, B as BackendIntegrityReport, C as CompletionRequirement, R as RuntimeEventLike, a as CompletionVerdict, b as ProducedState, c as CorrectnessChecker } from '../pre-registration-BWQhJ3vz.js';
+export { L as LlmJudgeDimension, d as LlmJudgeOptions, l as llmJudge } from '../pre-registration-BWQhJ3vz.js';
+import { C as CampaignRunPlan, P as PlanCampaignRunOptions, h as RunCampaignOptions, i as RunImprovementLoopOptions } from '../gepa-eESocoDi.js';
+export { o as CampaignRunPlanCell, p as GepaProposerConstraints, G as GepaProposerOptions, O as OpenAutoPrOptions, q as OpenAutoPrResult, e as ReferenceEquivalenceJudgeOptions, g as ReferenceEquivalenceScenario, a as RunImprovementLoopResult, R as RunOptimizationOptions, s as RunOptimizationResult, t as countSentenceEdits, j as createReferenceEquivalenceJudge, u as defaultRenderDiff, v as extractH2Sections, k as gepaProposer, w as openAutoPr, x as planCampaignRun, r as runCampaign, l as runImprovementLoop, y as runOptimization } from '../gepa-eESocoDi.js';
 import { A as AnalyzeTracesOptions, a as AnalyzeTracesInput, b as AnalyzeTracesResult } from '../analyst-C8HHvfJp.js';
-import { S as Scenario, M as MutableSurface, D as DispatchContext, b as JudgeConfig, g as Gate, e as GenerationRecord, J as JudgeScore, L as LabeledScenarioStore, s as LabeledScenarioWrite, t as LabeledScenarioSampleArgs, u as LabeledScenarioRecord, v as LabelTrust, f as SurfaceProposer, w as ProposedCandidate, x as ProposeContext, m as CodeSurface, y as LabeledScenarioSource, C as CampaignResult } from '../types-C5gJrOVT.js';
-export { i as CampaignAggregates, j as CampaignArtifactWriter, k as CampaignCellResult, l as CampaignCostMeter, z as CampaignTokenUsage, d as CampaignTraceWriter, c as DispatchFn, n as GateContext, h as GateDecision, G as GateResult, o as GenerationCandidate, A as JudgeAggregate, a as JudgeDimension, p as Mutator, O as OptimizationProposer, q as OptimizerConfig, P as ParetoParent, R as RedactionStatus, B as ScenarioAggregate, r as SessionScript, T as TraceSpan, E as isProposedCandidate, F as labelTrustRank } from '../types-C5gJrOVT.js';
-import { C as CampaignRunPlan, P as PlanCampaignRunOptions, b as RunCampaignOptions, c as RunImprovementLoopOptions } from '../gepa-dne9JDPL.js';
-export { f as CampaignRunPlanCell, h as GepaProposerConstraints, G as GepaProposerOptions, O as OpenAutoPrOptions, i as OpenAutoPrResult, a as RunImprovementLoopResult, R as RunOptimizationOptions, j as RunOptimizationResult, k as countSentenceEdits, l as defaultRenderDiff, m as extractH2Sections, g as gepaProposer, o as openAutoPr, p as planCampaignRun, r as runCampaign, d as runImprovementLoop, n as runOptimization } from '../gepa-dne9JDPL.js';
-import { a as PairedBootstrapResult, E as EProcessState } from '../statistics-oUbOJe-S.js';
-import { C as CampaignStorage } from '../storage-Dw_f7WMt.js';
-export { f as fsCampaignStorage, i as inMemoryCampaignStorage } from '../storage-Dw_f7WMt.js';
-export { A as AxisEvidence, a as AxisVerdict, B as BuildEvidenceVectorOptions, l as BuildLoopProvenanceArgs, D as DefaultProductionGateOptions, m as EmitLoopProvenanceArgs, n as EmitLoopProvenanceResult, E as EvidenceVector, b as EvolutionaryProposerOptions, H as HeldOutGateOptions, o as LoopProvenanceBackend, q as LoopProvenanceCandidate, L as LoopProvenanceRecord, O as ObjectiveSource, c as ParetoSignificanceGateOptions, P as PowerPreflight, s as PowerPreflightOptions, d as PromotionObjective, e as PromotionPolicy, R as RunEvalOptions, f as buildEvidenceVector, t as buildLoopProvenanceRecord, g as composeGate, h as defaultProductionGate, u as emitLoopProvenance, i as evolutionaryProposer, j as heldOutGate, v as loopProvenanceSpans, p as paretoPolicy, k as paretoSignificanceGate, w as powerPreflight, x as provenanceRecordPath, y as provenanceSpansPath, r as runEval } from '../provenance-Bibyg1U9.js';
-import { L as LlmClientOptions } from '../llm-client-DyqEH4jH.js';
+import { S as Scenario, M as MutableSurface, D as DispatchContext, b as JudgeConfig, G as Gate, o as GenerationRecord, J as JudgeScore, L as LabeledScenarioStore, s as LabeledScenarioWrite, t as LabeledScenarioSampleArgs, u as LabeledScenarioRecord, v as LabelTrust, c as SurfaceProposer, w as ProposedCandidate, x as ProposeContext, j as CodeSurface, y as LabeledScenarioSource, C as CampaignResult } from '../types-BSw1rOUB.js';
+export { e as CampaignAggregates, f as CampaignArtifactWriter, g as CampaignCellResult, h as CampaignCostMeter, z as CampaignTokenUsage, i as CampaignTraceWriter, k as DispatchFn, l as GateContext, d as GateDecision, m as GateResult, n as GenerationCandidate, A as JudgeAggregate, a as JudgeDimension, p as Mutator, O as OptimizationProposer, q as OptimizerConfig, P as ParetoParent, R as RedactionStatus, B as ScenarioAggregate, E as ScoredSurfaceOutcome, r as SessionScript, T as TraceSpan, F as isProposedCandidate, H as labelTrustRank } from '../types-BSw1rOUB.js';
+import { a as PairedBootstrapResult, E as EProcessState } from '../statistics-KUnG73jH.js';
+import { C as CampaignStorage } from '../storage-DrX3v_5B.js';
+export { c as createRunCostLedger, f as fsCampaignStorage, i as inMemoryCampaignStorage } from '../storage-DrX3v_5B.js';
+export { A as AxisEvidence, a as AxisVerdict, B as BuildEvidenceVectorOptions, l as BuildLoopProvenanceArgs, D as DefaultProductionGateOptions, m as EmitLoopProvenanceArgs, n as EmitLoopProvenanceResult, E as EvidenceVector, b as EvolutionaryProposerOptions, H as HeldOutGateOptions, o as LoopProvenanceBackend, q as LoopProvenanceCandidate, L as LoopProvenanceRecord, O as ObjectiveSource, c as ParetoSignificanceGateOptions, P as PowerPreflight, s as PowerPreflightOptions, d as PromotionObjective, e as PromotionPolicy, R as RunEvalOptions, f as buildEvidenceVector, t as buildLoopProvenanceRecord, g as composeGate, h as defaultProductionGate, u as emitLoopProvenance, i as evolutionaryProposer, j as heldOutGate, v as loopProvenanceSpans, p as paretoPolicy, k as paretoSignificanceGate, w as powerPreflight, x as provenanceRecordPath, y as provenanceSpansPath, r as runEval } from '../provenance-DpjwyseI.js';
+import { a as LlmClientOptions } from '../llm-client-qoDd18Qz.js';
 import { AgentProfile } from '@tangle-network/agent-interface';
 import { A as AgentEvalError, V as ValidationError } from '../errors-oeQrLqXC.js';
-import { b as RunSplitTag, R as RunRecord } from '../run-record-B7RTi_ix.js';
-import { b as PolicyEdit, F as FindingToPolicyEditOptions, d as PolicyEditAdmissionOptions, c as PolicyEditAdmission } from '../policy-edit-RLn8GWof.js';
-import { T as TraceAnalystKindSpec, A as AnalystFinding } from '../kind-factory-DcNg13sZ.js';
+import { a as RunSplitTag, R as RunRecord } from '../run-record-BDH49H2E.js';
+import { C as CostLedger, b as CostLedgerSummary, M as MaximumCharge, c as CostReceiptInput } from '../cost-ledger-DWy3XdJc.js';
+import { T as TraceAnalystKindSpec } from '../kind-factory-ClZmO25A.js';
+import '../store-C1YxJDEK.js';
+import '../types-BkfcQnxV.js';
 import '@tangle-network/tcloud';
+import 'zod';
 import '../raw-provider-sink-C46HDghv.js';
 import '../verdict-C9MlYujm.js';
-import '@ax-llm/ax';
-import '../store-C1YxJDEK.js';
 import '../dataset-NENEzRgk.js';
-import '../store-BsVi7ncX.js';
-import '../schema-SGWcK9wa.js';
+import '../store-DGqD0Pyo.js';
+import '../schema-B3Q3l9Z_.js';
+import '@ax-llm/ax';
 import '../judge-calibration-7C-IDmKr.js';
-import '../types-C7DGg5ex.js';
 import '../hosted/index.js';
-import '../insight-report-IwwvqZZv.js';
-import '../summary-report-BJ5aNwZ1.js';
-import '../failure-cluster-C48PiReX.js';
-import 'zod';
+import '../insight-report-DY4nDW9Q.js';
+import '../summary-report-C5bKFfm-.js';
+import '../failure-cluster-DOAcSJ87.js';
 
 /**
  * Lineage DAG — a git-graph of improvement candidates.
@@ -1469,12 +1471,12 @@ declare function fapoEscalationEntry<TScenario extends Scenario, TArtifact>(conf
  * It runs `runCampaign` once per profile (reusing its seeds, reps, bootstrap
  * CIs, resumability, and the `LabeledScenarioStore` capture flywheel), maps
  * every cell to a validated `RunRecord` carrying the real `tokenUsage` the
- * dispatch reported via `ctx.cost.observeTokens`, and runs `assertRealBackend`
+ * dispatch committed via `ctx.cost.runPaidCall`, and runs `assertRealBackend`
  * BY CONSTRUCTION before returning — so a stub-backend run fails loudly instead
  * of reporting a clean 0/N leaderboard.
  *
  * Dispatch contract: a dispatch that calls an LLM MUST report usage via
- * `ctx.cost.observeTokens({ input, output })` (and cost via `ctx.cost.observe`).
+ * `ctx.cost.runPaidCall({ execute, receipt })`.
  * A dispatch that reports zero tokens is indistinguishable from a stub and the
  * integrity guard treats it as one.
  */
@@ -1486,8 +1488,8 @@ declare class ProfileMatrixError extends AgentEvalError {
     constructor(message: string);
 }
 /** Dispatch for one cell: render `profile` against `scenario`, returning the
- *  artifact the judges score. Report LLM usage via `ctx.cost.observeTokens`
- *  and `ctx.cost.observe` — the integrity guard depends on it. */
+ *  artifact the judges score. Run LLM work through `ctx.cost.runPaidCall` —
+ *  the integrity check depends on its receipt. */
 type ProfileDispatchFn<TScenario extends Scenario, TArtifact> = (profile: AgentProfile, scenario: TScenario, ctx: DispatchContext) => Promise<TArtifact>;
 interface RunProfileMatrixOptions<TScenario extends Scenario, TArtifact> {
     /** Axis 3 — the agent-under-test configurations. Each is one column. */
@@ -1638,7 +1640,7 @@ interface PlaybackContext extends DispatchContext {
  * `SandboxPlaybackDriver` (real API / sandbox workspace) and
  * `PlaywrightPlaybackDriver` (real UI) — because they depend on runtime /
  * browser infra the substrate must not import. The driver MUST report LLM
- * usage via `ctx.cost.observeTokens` so the backend-integrity guard sees real
+ * usage through `ctx.cost.runPaidCall` so the backend-integrity check sees real
  * tokens (a run that never reports tokens reads as a stub).
  */
 interface PlaybackDriver<TStory extends UserStory = UserStory> {
@@ -1951,10 +1953,14 @@ interface ProposePatchesArgs {
     /** How many candidate patches to propose. */
     count: number;
     signal: AbortSignal;
+    costLedger?: CostLedger;
+    costPhase?: string;
 }
 interface SkillOptProposerOptions {
     llm: LlmClientOptions;
     model: string;
+    /** Optional ledger for direct proposer use. Campaign context takes precedence. */
+    costLedger?: CostLedger;
     /** What the skill document governs — orients the prompt. */
     target: string;
     /** Default ops-per-patch cap when used as a bare `SurfaceProposer`. The
@@ -1989,8 +1995,8 @@ declare function parseSkillPatchResponse(raw: string, maxPatches: number, editBu
 
 /**
  * `runSkillOpt` — the SkillOpt epoch hill-climb (Microsoft, arXiv:2605.23904).
- * Unlike `runOptimization`'s population/promote-top-K search, SkillOpt is a
- * sequential, held-out-gated hill-climb on ONE skill document:
+ * Unlike `runOptimization`'s population search around one global incumbent,
+ * SkillOpt is a sequential, held-out-gated hill-climb on ONE skill document:
  *
  *   each epoch:
  *     1. reflect on the CURRENT surface's weakest TRAIN scenarios/dimensions
@@ -2078,6 +2084,8 @@ interface RunSkillOptResult {
     /** Total cost across every scoring campaign (train evidence + holdout
      *  acceptance) the hill-climb ran. */
     totalCostUsd: number;
+    /** Run-wide spend, including scoring, proposals, and judges. */
+    cost: CostLedgerSummary;
 }
 /**
  * SkillOpt sequential hill-climb: each epoch reflects on train-scenario weaknesses, proposes bounded patches, accepts the first patch that strictly improves the held-out composite, and anneals the edit budget on consecutive rejections.
@@ -2192,6 +2200,11 @@ interface HaloProposerOptions {
     model?: string;
     /** Model used to APPLY halo's findings to the prompt surface. Default = `model`. */
     applyModel?: string;
+    /** Optional ledger for direct proposer use. Campaign context takes precedence. */
+    costLedger?: CostLedger;
+    analysisMaximumCharge?: MaximumCharge;
+    analysisReceipt?: (report: string) => CostReceiptInput;
+    applyMaxTokens?: number;
     /** The real halo binary. Default 'halo' (from `pip install halo-engine`). */
     haloBin?: string;
     /** Resolve the OTLP traces (JSONL string) halo should analyze for THIS
@@ -2208,6 +2221,169 @@ interface HaloProposerOptions {
 /** Wrap the real halo-engine CLI as a SurfaceProposer (prompt-tier). */
 declare function haloProposer(opts: HaloProposerOptions): SurfaceProposer;
 
+declare const JSON_POLICY_EDIT_TARGET_SURFACES: readonly ["prompt", "tool-contract", "runtime-config", "memory", "agent-profile"];
+type JsonPolicyEditTargetSurface = (typeof JSON_POLICY_EDIT_TARGET_SURFACES)[number];
+declare const DEFAULT_POLICY_EDIT_HISTORY_LIMITS: Readonly<{
+    generations: 4;
+    candidatesPerGeneration: 16;
+    scenariosPerCandidate: 12;
+    findings: 32;
+    authorContextChars: 200000;
+}>;
+interface PolicyEditObjective {
+    /** Stable objective key cited by forecasts, for example `search.composite`. */
+    key: string;
+    /** Steering objectives are search-only; fresh-task results never enter author context. */
+    split: 'search';
+    /** Search promotes only larger composite scores. */
+    direction: 'increase';
+    scale: {
+        min: number;
+        max: number;
+    };
+    /** Forecast amounts are absolute deltas on the declared score scale. */
+    unit: 'score';
+}
+type PolicyEditFindingSource = {
+    kind: 'surface';
+    surfaceHash: string;
+    generation: number;
+} | {
+    kind: 'global';
+    label: string;
+};
+/** Trace-derived findings must name the measured profile that produced them.
+ *  Cross-run doctrine can be explicitly global; an unwrapped finding is rejected. */
+interface PolicyEditFindingInput {
+    finding: AnalystFinding;
+    source: PolicyEditFindingSource;
+}
+interface PolicyEditHistoryProjectionOptions {
+    /** Number of most recent generations retained. Default: 4. */
+    maxGenerations?: number;
+    /** Number of candidates retained per generation. Default: 16. */
+    maxCandidatesPerGeneration?: number;
+    /** Scored tasks retained per candidate/outcome after deterministic extreme selection. */
+    maxScenariosPerCandidate?: number;
+    /** Optional pseudonymizer applied before scenario IDs enter author text. */
+    scenarioIdTransform?: (scenarioId: string) => string;
+    /** Objectives used to compute forecast residuals from measured composite deltas. */
+    objectives?: readonly PolicyEditObjective[];
+}
+interface PolicyEditCandidateSummary {
+    editId: string;
+    axis: PolicyEdit['axis'];
+    target: PolicyEdit['target'];
+    change: PolicyEdit['change'];
+    claim: string;
+    expectedGain: PolicyEdit['expectedGain'];
+    confidence: number;
+    risk: PolicyEdit['risk'];
+    sourceFindingIds: string[];
+    rationale: string | null;
+    validationPlan: string | null;
+}
+interface PolicyEditHistoryCandidateContext {
+    surfaceHash: string;
+    parentSurfaceHash: string | null;
+    parentComposite: number | null;
+    label: string | null;
+    rationale: string | null;
+    composite: number;
+    observedDeltaFromParent: number | null;
+    eligibleForPromotion: boolean | null;
+    coverage: {
+        expectedCells: number;
+        scorableCells: number;
+        unscorableCells: Array<{
+            reason: string;
+        }>;
+    } | null;
+    dimensions: Record<string, number>;
+    scenarios: Array<{
+        scenarioId: string;
+        composite: number;
+        notes: string | null;
+    }>;
+    candidateEdit: PolicyEditCandidateSummary | null;
+    forecastCalibration: {
+        objectiveKey: string;
+        predictedDelta: number;
+        observedDelta: number;
+        residual: number;
+    } | null;
+}
+interface PolicyEditOutcomeContext {
+    split: 'search';
+    generation: number;
+    surfaceHash: string;
+    composite: number;
+    dimensions: Record<string, number>;
+    scenarios: Array<{
+        scenarioId: string;
+        composite: number;
+        notes: string | null;
+    }>;
+    coverage: {
+        expectedCells: number;
+        scorableCells: number;
+    };
+}
+interface PolicyEditHistoryGenerationContext {
+    generationIndex: number;
+    promoted: string[];
+    candidates: PolicyEditHistoryCandidateContext[];
+}
+interface LlmPolicyEditProposerOptions {
+    llm: LlmClientOptions;
+    model: string;
+    /** Optional ledger for direct proposer use. Campaign context takes precedence. */
+    costLedger?: CostLedger;
+    /** Plain-language description of the JSON surface being improved. */
+    target: string;
+    /** PolicyEdit target surface every authored edit must retain. */
+    targetSurface: JsonPolicyEditTargetSurface;
+    /** Exact JSON paths the author may change. Prefix or fuzzy matches are not accepted. */
+    allowedJsonPaths: readonly string[];
+    /** Exact search objectives forecasts may name. Unknown keys or mismatched directions fail. */
+    objectives: readonly PolicyEditObjective[];
+    /** Default: evidence-only, so uncertain edits are measured rather than
+     *  suppressed by their own model-authored predictions. */
+    admissionMode?: 'evidence-only' | 'strict';
+    /** Readiness thresholds used only when admissionMode is explicitly strict. */
+    admission?: PolicyEditAdmissionOptions;
+    maxCandidates?: number;
+    temperature?: number;
+    maxTokens?: number;
+    timeoutMs?: number;
+    /** Number of most recent scored generations sent to the author. Default: 4. */
+    maxHistoryGenerations?: number;
+    /** Candidates retained per admitted generation. Default: 16. */
+    maxHistoryCandidatesPerGeneration?: number;
+    /** Scored tasks retained per candidate/outcome after deterministic extreme selection. */
+    maxScenariosPerCandidate?: number;
+    /** Evidence-bearing findings retained after deterministic severity/confidence ordering. */
+    maxFindings?: number;
+    /** Hard character limit over system + schema + serialized author context. */
+    maxAuthorContextChars?: number;
+    /** Optional one-to-one pseudonymizer applied to every author-visible evidence field. */
+    scenarioIdTransform?: (scenarioId: string) => string;
+    onAdmission?: (admission: PolicyEditAdmission) => void;
+}
+/**
+ * LLM-backed PolicyEdit author. It reads only the current JSON surface,
+ * evidence-bearing analyst findings, and scored generation history. Model output
+ * is validated and rebound to exact finding evidence before the deterministic
+ * policyEditProposer applies, admits, and deduplicates candidates.
+ */
+declare function llmPolicyEditProposer(opts: LlmPolicyEditProposerOptions): SurfaceProposer<PolicyEditFindingInput>;
+/**
+ * Projects scored history into the only fields a policy author may consume.
+ * It admits recent generations and a bounded candidate count, while retaining
+ * every dimension and scenario score for each admitted candidate.
+ */
+declare function projectPolicyEditHistory(history: readonly GenerationRecord[], options?: PolicyEditHistoryProjectionOptions): PolicyEditHistoryGenerationContext[];
+
 /**
  * `memoryCurationProposer` — a CURATOR `SurfaceProposer`, the complement to the
  * OPTIMIZER proposers (`gepaProposer` rewrites the prompt; this one BUILDS a
@@ -2236,6 +2412,8 @@ declare function haloProposer(opts: HaloProposerOptions): SurfaceProposer;
  */
 
 interface MemoryCurationProposerOptions {
+    /** Optional ledger for direct proposer use. Campaign context takes precedence. */
+    costLedger?: CostLedger;
     /** Top-K lessons retained in the surface memory block. Default 12. */
     maxEntries?: number;
     /** Heading rendered above the lessons inside the block. Default below. */
@@ -2248,6 +2426,7 @@ interface MemoryCurationProposerOptions {
         baseUrl: string;
         apiKey?: string;
         model: string;
+        maxTokens?: number;
         fetchImpl?: LlmClientOptions['fetch'];
     };
 }
@@ -2281,6 +2460,33 @@ interface PolicyEditProposerOptions {
  */
 declare function policyEditProposer(opts?: PolicyEditProposerOptions): SurfaceProposer;
 
+/** One measured scenario row eligible for PolicyEdit author context. */
+interface PolicyEditAuthorScenarioRow {
+    scenarioId: string;
+    composite: number;
+}
+interface SelectPolicyEditAuthorRowsOptions {
+    /** Maximum returned rows. Must be a positive safe integer. */
+    limit: number;
+    /** Optional score to compare against, keyed by scenario ID. */
+    referenceByScenario?: ReadonlyMap<string, number>;
+}
+interface SerializedJsonBudget {
+    json: string;
+    actualChars: number;
+    maxChars: number;
+}
+/**
+ * Select a bounded, deterministic evidence slice for a PolicyEdit author.
+ *
+ * Rows are deduplicated by scenario ID, keeping the first measured row. The
+ * result then interleaves three ranked views: hardest score, largest regression,
+ * and largest improvement. A row selected by multiple views appears once.
+ */
+declare function selectPolicyEditAuthorRows<T extends PolicyEditAuthorScenarioRow>(rows: readonly T[], options: SelectPolicyEditAuthorRowsOptions): T[];
+/** Serialize once and fail before dispatch when author context exceeds its budget. */
+declare function assertPolicyEditAuthorContextBudget(value: unknown, maxChars: number): SerializedJsonBudget;
+
 /**
  * `traceAnalystProposer` — wraps agent-eval's OWN trace-analyst engine
  * (`AnalystRegistry` over the agentic OTLP reader) as a `SurfaceProposer`.
@@ -2309,6 +2515,11 @@ interface TraceAnalystProposerOptions {
     /** Model used to APPLY findings to the prompt surface. Default = `model`.
      *  Keep this EQUAL to haloProposer's `applyModel` for an apples-to-apples run. */
     applyModel?: string;
+    /** Optional ledger for direct proposer use. Campaign context takes precedence. */
+    costLedger?: CostLedger;
+    analysisMaximumCharge?: MaximumCharge;
+    analysisReceipt?: (report: string) => CostReceiptInput;
+    applyMaxTokens?: number;
     /** Ax provider name. Default 'openai' — works for any OpenAI-compatible base
      *  via `apiURL`. Use 'deepseek' to hit DeepSeek's native provider. */
     provider?: string;
@@ -2399,9 +2610,11 @@ declare function selectDiscriminative(signals: ScenarioSignal[], k: number, opts
  * the optimizers cannot drift on how a surface's score is computed.
  */
 
-/** Mean composite across a campaign: per cell, the mean of its judges'
- *  composites; then the mean across cells. Cells with no judge scores are
- *  skipped. Empty ⇒ 0. */
+/** Mean composite across a campaign: per cell, the mean of its finite,
+ *  successful judge composites; then the mean across cells. Invalid scores
+ *  remain visible on raw cells and coverage receipts but never poison the
+ *  descriptive aggregate with NaN. Cells with no valid scores are skipped.
+ *  Empty ⇒ 0. */
 declare function campaignMeanComposite<TArtifact, TScenario extends Scenario>(campaign: CampaignResult<TArtifact, TScenario>): number;
 interface CampaignBreakdown {
     /** Mean score per judge dimension across all cells. */
@@ -2899,4 +3112,4 @@ declare function verifyCodeSurface(surface: CodeSurface, worktreeDir?: string):
  *  identity against the checkout at `worktreeRef`. */
 declare function resolveWorktreePath(surface: CodeSurface, worktreeDir?: string): string;
 
-export { type AcceptedEdit, type AceProposerOptions, type AnalystArtifact, type AnalystScenario, type AnalyzeCrossSurfaceInteractionsInput, type ApplySkillPatchResult, type BuildAnalystSurfaceDispatchOptions, type CampaignBreakdown, CampaignResult, CampaignRunPlan, CampaignStorage, CodeSurface, type CodeSurfaceVerification, type CompareProposersOptions, type CompositeProposerOptions, type CrossSurfaceAdditionDecision, type CrossSurfaceAdditionRejectionReason, type CrossSurfaceAttemptCompleteness, type CrossSurfaceBestSingleSelection, type CrossSurfaceBootstrapPolicy, type CrossSurfaceCandidate, type CrossSurfaceCandidateComparison, type CrossSurfaceCandidateEvidence, type CrossSurfaceCandidateOutcome, type CrossSurfaceCandidateSummary, type CrossSurfaceComponent, type CrossSurfaceComponentEvidence, type CrossSurfaceCompositionStep, type CrossSurfaceDistribution, type CrossSurfaceEligibility, type CrossSurfaceEvidenceBreakdown, type CrossSurfaceIneligibilityReason, type CrossSurfaceInteractionAwareSelection, type CrossSurfaceInteractionEffect, type CrossSurfaceInteractionPath, type CrossSurfaceInteractionReport, type CrossSurfaceInteractionTask, type CrossSurfaceNaiveStackSelection, type CrossSurfacePairCompatibility, type CrossSurfacePairEvidence, type CrossSurfacePairIncompatibilityReason, type CrossSurfacePairwiseEntry, type CrossSurfaceRankedSingle, type CrossSurfaceRelativeCost, type CrossSurfaceSelectionPolicy, type CrossSurfaceSelections, type CrossSurfaceTaskRow, type DimensionRegression, type DiscriminationScore, DispatchContext, type EvalFixture, type EvalFixtureFile, type EvalFixtureLoadOptions, type EvalFixtureRunPlan, type EvalFixtureScenario, type EvalFixtureValidationMode, type FailureModeRecallJudgeOptions, type FapoAttributionSignals, type FapoEntryConfig, type FapoFailureCluster, type FapoOptimizationLevel, type FapoProposerOptions, type FapoReviewInput, type FapoReviewIssue, type FapoReviewResult, type FapoScopeContract, FileSearchLedger, FsLabeledScenarioStore, type FsLabeledScenarioStoreOptions, Gate, GenerationRecord, type GitWorktreeAdapterOptions, type Governor, type GovernorContext, type GovernorOp, type HaloProposerOptions, type HeldoutSignificance, type HeldoutSignificanceOptions, type HeuristicGovernorOptions, type JsonPrimitive, type JsonValue, JudgeConfig, JudgeScore, LabelTrust, LabeledScenarioRecord, LabeledScenarioSampleArgs, LabeledScenarioSource, LabeledScenarioStore, LabeledScenarioStoreError, LabeledScenarioWrite, Lineage, type LineageEdge, type LineageGraph, type LineageNode, type LineageNodeInput, type LineageStore, type LoadEvalFixtureScenariosOptions, type MemoryCurationProposerOptions, MutableSurface, type NeutralizationGateOptions, type OpenSearchLedgerOptions, type OptimizerEntryConfig, type PairedHoldout, type ParameterCandidate, type ParameterChange, type ParameterSweepProposerOptions, PlanCampaignRunOptions, type PlanEvalFixtureRunOptions, type PlaybackContext, type PlaybackDriver, type PlaybackStep, type PolicyEditProposerOptions, type ProfileDispatchFn, ProfileMatrixError, type ProfileSummary, ProposeContext, type ProposePatchesArgs, ProposedCandidate, type ProposerComparison, type ProposerEntry, type ProposerPairwise, type ProposerScore, type RejectedEdit, type RolloutArgumentDiff, type RolloutArgumentDiffOptions, type RolloutCall, RunCampaignOptions, RunImprovementLoopOptions, type RunLineageLoopOptions, type RunLineageLoopResult, type RunLineageLoopSeed, type RunLineageOptions, type RunLineageResult, type RunLineageSeed, type RunLineageStepResult, type RunProfileMatrixOptions, type RunProfileMatrixResult, type RunSkillOptOptions, type RunSkillOptResult, SEARCH_LEDGER_SCHEMA, Scenario, type ScenarioRollup, type ScenarioSignal, type ScoreboardRenderOptions, type ScoreboardRow, type ScoreboardSummary, type ScoredRollout, type SearchAccountingAudit, type SearchArtifactRef, type SearchAttemptAccounting, type SearchCandidateDecidedEvent, type SearchCandidateLineage, type SearchCandidateRegisteredEvent, type SearchCandidateSlot, type SearchCandidateSlotClosedEvent, type SearchCandidateSurface, type SearchCompletedEvent, type SearchCostAccounting, type SearchFailureReason, type SearchLedger, type SearchLedgerAppendResult, SearchLedgerConflictError, type SearchLedgerEntry, SearchLedgerError, type SearchLedgerEvent, type SearchLedgerHash, SearchLedgerIntegrityError, type SearchLedgerReplay, type SearchModelIdentity, type SearchOperationKind, type SearchOperationRecordedEvent, type SearchPlan, type SearchPlannedEvent, type SearchPlannedOperation, type SearchPlannedTask, type SearchSourceRef, type SearchSurfaceEffect, type SearchSurfaceEvidence, type SearchSurfaceKind, type SearchTaskAttemptedEvent, type SearchTaskOutcome, type SearchTokenAccounting, type SequentialDecideFn, type SequentialDecideOptions, type SequentialDecision, type SequentialObservation, type SequentialPairedGate, type SequentialPairedGateOptions, type SingleRunLock, type SingleRunLockOptions, type SkillOptEpochRecord, type SkillOptEvidence, type SkillOptProposer, type SkillOptProposerOptions, type SkillPatch, type SkillPatchOp, SkillPatchParseError, type SkillPatchRejection, SurfaceProposer, type SurfaceScore, type TraceAnalystProposerOptions, type TransientFailureOptions, type UngroundedLiteralReport, type UserStory, type UserStoryVerdict, type Worktree, type WorktreeAdapter, WorktreeAdapterError, aceProposer, acquireSingleRunLock, analyzeCrossSurfaceInteractions, applySkillPatch, assertCodeSurfaceIdentity, buildAnalystSurfaceDispatch, callbackGovernor, campaignBreakdown, campaignMeanComposite, classifyUngroundedLiterals, codeSurfaceIdentityMaterial, compareProposers, compositeProposer, detectScale, dimensionRegressions, discoverEvalFixtures, extractFapoAttributionSignals, failureModeRecallJudge, fapoEscalationEntry, fapoProposer, fsLineageStore, gepaParetoEntry, gepaReflectionEntry, gitWorktreeAdapter, haloProposer, heldoutSignificance, heuristicGovernor, isTransientTransportFailure, lineageNodeId, loadEvalFixture, loadEvalFixtureScenarios, makePlaybackDispatch, memLineageStore, memoryCurationProposer, neutralizationGate, neutralizeText, openSearchLedger, pairHoldout, parameterSweepProposer, parseSkillPatchResponse, patchEditCount, planEvalFixtureRun, policyEditProposer, renderScoreboardMarkdown, resolveRunDir, resolveWorktreePath, rolloutArgumentDiff, runLineage, runLineageLoop, runProfileMatrix, runSkillOpt, scoreDiscrimination, scoreUserStory, scoreboardSummary, selectDiscriminative, sequentialDecide, sequentialPairedGate, skillOptEntry, skillOptProposer, surfaceContentHash, surfaceHash, tangleTracesRoot, traceAnalystProposer, userStoryScoreboard, validateSearchLedgerEvent, verifyCodeSurface };
+export { type AcceptedEdit, type AceProposerOptions, type AnalystArtifact, type AnalystScenario, type AnalyzeCrossSurfaceInteractionsInput, type ApplySkillPatchResult, type BuildAnalystSurfaceDispatchOptions, type CampaignBreakdown, CampaignResult, CampaignRunPlan, CampaignStorage, CodeSurface, type CodeSurfaceVerification, type CompareProposersOptions, type CompositeProposerOptions, type CrossSurfaceAdditionDecision, type CrossSurfaceAdditionRejectionReason, type CrossSurfaceAttemptCompleteness, type CrossSurfaceBestSingleSelection, type CrossSurfaceBootstrapPolicy, type CrossSurfaceCandidate, type CrossSurfaceCandidateComparison, type CrossSurfaceCandidateEvidence, type CrossSurfaceCandidateOutcome, type CrossSurfaceCandidateSummary, type CrossSurfaceComponent, type CrossSurfaceComponentEvidence, type CrossSurfaceCompositionStep, type CrossSurfaceDistribution, type CrossSurfaceEligibility, type CrossSurfaceEvidenceBreakdown, type CrossSurfaceIneligibilityReason, type CrossSurfaceInteractionAwareSelection, type CrossSurfaceInteractionEffect, type CrossSurfaceInteractionPath, type CrossSurfaceInteractionReport, type CrossSurfaceInteractionTask, type CrossSurfaceNaiveStackSelection, type CrossSurfacePairCompatibility, type CrossSurfacePairEvidence, type CrossSurfacePairIncompatibilityReason, type CrossSurfacePairwiseEntry, type CrossSurfaceRankedSingle, type CrossSurfaceRelativeCost, type CrossSurfaceSelectionPolicy, type CrossSurfaceSelections, type CrossSurfaceTaskRow, DEFAULT_POLICY_EDIT_HISTORY_LIMITS, type DimensionRegression, type DiscriminationScore, DispatchContext, type EvalFixture, type EvalFixtureFile, type EvalFixtureLoadOptions, type EvalFixtureRunPlan, type EvalFixtureScenario, type EvalFixtureValidationMode, type FailureModeRecallJudgeOptions, type FapoAttributionSignals, type FapoEntryConfig, type FapoFailureCluster, type FapoOptimizationLevel, type FapoProposerOptions, type FapoReviewInput, type FapoReviewIssue, type FapoReviewResult, type FapoScopeContract, FileSearchLedger, FsLabeledScenarioStore, type FsLabeledScenarioStoreOptions, Gate, GenerationRecord, type GitWorktreeAdapterOptions, type Governor, type GovernorContext, type GovernorOp, type HaloProposerOptions, type HeldoutSignificance, type HeldoutSignificanceOptions, type HeuristicGovernorOptions, type JsonPolicyEditTargetSurface, type JsonPrimitive, type JsonValue, JudgeConfig, JudgeScore, LabelTrust, LabeledScenarioRecord, LabeledScenarioSampleArgs, LabeledScenarioSource, LabeledScenarioStore, LabeledScenarioStoreError, LabeledScenarioWrite, Lineage, type LineageEdge, type LineageGraph, type LineageNode, type LineageNodeInput, type LineageStore, type LlmPolicyEditProposerOptions, type LoadEvalFixtureScenariosOptions, type MemoryCurationProposerOptions, MutableSurface, type NeutralizationGateOptions, type OpenSearchLedgerOptions, type OptimizerEntryConfig, type PairedHoldout, type ParameterCandidate, type ParameterChange, type ParameterSweepProposerOptions, PlanCampaignRunOptions, type PlanEvalFixtureRunOptions, type PlaybackContext, type PlaybackDriver, type PlaybackStep, type PolicyEditAuthorScenarioRow, type PolicyEditCandidateSummary, type PolicyEditFindingInput, type PolicyEditFindingSource, type PolicyEditHistoryCandidateContext, type PolicyEditHistoryGenerationContext, type PolicyEditHistoryProjectionOptions, type PolicyEditObjective, type PolicyEditOutcomeContext, type PolicyEditProposerOptions, type ProfileDispatchFn, ProfileMatrixError, type ProfileSummary, ProposeContext, type ProposePatchesArgs, ProposedCandidate, type ProposerComparison, type ProposerEntry, type ProposerPairwise, type ProposerScore, type RejectedEdit, type RolloutArgumentDiff, type RolloutArgumentDiffOptions, type RolloutCall, RunCampaignOptions, RunImprovementLoopOptions, type RunLineageLoopOptions, type RunLineageLoopResult, type RunLineageLoopSeed, type RunLineageOptions, type RunLineageResult, type RunLineageSeed, type RunLineageStepResult, type RunProfileMatrixOptions, type RunProfileMatrixResult, type RunSkillOptOptions, type RunSkillOptResult, SEARCH_LEDGER_SCHEMA, Scenario, type ScenarioRollup, type ScenarioSignal, type ScoreboardRenderOptions, type ScoreboardRow, type ScoreboardSummary, type ScoredRollout, type SearchAccountingAudit, type SearchArtifactRef, type SearchAttemptAccounting, type SearchCandidateDecidedEvent, type SearchCandidateLineage, type SearchCandidateRegisteredEvent, type SearchCandidateSlot, type SearchCandidateSlotClosedEvent, type SearchCandidateSurface, type SearchCompletedEvent, type SearchCostAccounting, type SearchFailureReason, type SearchLedger, type SearchLedgerAppendResult, SearchLedgerConflictError, type SearchLedgerEntry, SearchLedgerError, type SearchLedgerEvent, type SearchLedgerHash, SearchLedgerIntegrityError, type SearchLedgerReplay, type SearchModelIdentity, type SearchOperationKind, type SearchOperationRecordedEvent, type SearchPlan, type SearchPlannedEvent, type SearchPlannedOperation, type SearchPlannedTask, type SearchSourceRef, type SearchSurfaceEffect, type SearchSurfaceEvidence, type SearchSurfaceKind, type SearchTaskAttemptedEvent, type SearchTaskOutcome, type SearchTokenAccounting, type SelectPolicyEditAuthorRowsOptions, type SequentialDecideFn, type SequentialDecideOptions, type SequentialDecision, type SequentialObservation, type SequentialPairedGate, type SequentialPairedGateOptions, type SerializedJsonBudget, type SingleRunLock, type SingleRunLockOptions, type SkillOptEpochRecord, type SkillOptEvidence, type SkillOptProposer, type SkillOptProposerOptions, type SkillPatch, type SkillPatchOp, SkillPatchParseError, type SkillPatchRejection, SurfaceProposer, type SurfaceScore, type TraceAnalystProposerOptions, type TransientFailureOptions, type UngroundedLiteralReport, type UserStory, type UserStoryVerdict, type Worktree, type WorktreeAdapter, WorktreeAdapterError, aceProposer, acquireSingleRunLock, analyzeCrossSurfaceInteractions, applySkillPatch, assertCodeSurfaceIdentity, assertPolicyEditAuthorContextBudget, buildAnalystSurfaceDispatch, callbackGovernor, campaignBreakdown, campaignMeanComposite, classifyUngroundedLiterals, codeSurfaceIdentityMaterial, compareProposers, compositeProposer, detectScale, dimensionRegressions, discoverEvalFixtures, extractFapoAttributionSignals, failureModeRecallJudge, fapoEscalationEntry, fapoProposer, fsLineageStore, gepaParetoEntry, gepaReflectionEntry, gitWorktreeAdapter, haloProposer, heldoutSignificance, heuristicGovernor, isTransientTransportFailure, lineageNodeId, llmPolicyEditProposer, loadEvalFixture, loadEvalFixtureScenarios, makePlaybackDispatch, memLineageStore, memoryCurationProposer, neutralizationGate, neutralizeText, openSearchLedger, pairHoldout, parameterSweepProposer, parseSkillPatchResponse, patchEditCount, planEvalFixtureRun, policyEditProposer, projectPolicyEditHistory, renderScoreboardMarkdown, resolveRunDir, resolveWorktreePath, rolloutArgumentDiff, runLineage, runLineageLoop, runProfileMatrix, runSkillOpt, scoreDiscrimination, scoreUserStory, scoreboardSummary, selectDiscriminative, selectPolicyEditAuthorRows, sequentialDecide, sequentialPairedGate, skillOptEntry, skillOptProposer, surfaceContentHash, surfaceHash, tangleTracesRoot, traceAnalystProposer, userStoryScoreboard, validateSearchLedgerEvent, verifyCodeSurface };

package/dist/campaign/index.js

@@ -1,19 +1,18 @@
 import {
+  DEFAULT_POLICY_EDIT_HISTORY_LIMITS,
   FileSearchLedger,
   FsLabeledScenarioStore,
   LabeledScenarioStoreError,
   Lineage,
   ProfileMatrixError,
   SEARCH_LEDGER_SCHEMA,
-  SearchLedgerConflictError,
-  SearchLedgerError,
-  SearchLedgerIntegrityError,
   SkillPatchParseError,
   WorktreeAdapterError,
   aceProposer,
   acquireSingleRunLock,
   analyzeCrossSurfaceInteractions,
   applySkillPatch,
+  assertPolicyEditAuthorContextBudget,
   buildAnalystSurfaceDispatch,
   callbackGovernor,
   classifyUngroundedLiterals,
@@ -32,7 +31,7 @@ import {
   heuristicGovernor,
   isTransientTransportFailure,
   lineageNodeId,
-  llmJudge,
+  llmPolicyEditProposer,
   loadEvalFixture,
   loadEvalFixtureScenarios,
   makePlaybackDispatch,
@@ -46,6 +45,7 @@ import {
   patchEditCount,
   planEvalFixtureRun,
   policyEditProposer,
+  projectPolicyEditHistory,
   renderScoreboardMarkdown,
   resolveWorktreePath,
   rolloutArgumentDiff,
@@ -57,6 +57,7 @@ import {
   scoreUserStory,
   scoreboardSummary,
   selectDiscriminative,
+  selectPolicyEditAuthorRows,
   sequentialDecide,
   sequentialPairedGate,
   skillOptEntry,
@@ -65,7 +66,7 @@ import {
   userStoryScoreboard,
   validateSearchLedgerEvent,
   verifyCodeSurface
-} from "../chunk-KG4TD7EQ.js";
+} from "../chunk-ZUXV7UWZ.js";
 import {
   assertCodeSurfaceIdentity,
   buildEvidenceVector,
@@ -75,6 +76,7 @@ import {
   codeSurfaceIdentityMaterial,
   composeGate,
   countSentenceEdits,
+  createReferenceEquivalenceJudge,
   defaultProductionGate,
   defaultRenderDiff,
   detectScale,
@@ -87,6 +89,7 @@ import {
   heldoutSignificance,
   isProposedCandidate,
   labelTrustRank,
+  llmJudge,
   loopProvenanceSpans,
   openAutoPr,
   pairHoldout,
@@ -100,35 +103,45 @@ import {
   runOptimization,
   surfaceContentHash,
   surfaceHash
-} from "../chunk-ADYLPOSX.js";
-import "../chunk-VI2UW6B6.js";
+} from "../chunk-HQPHZGL6.js";
 import {
+  SearchLedgerConflictError,
+  SearchLedgerError,
+  SearchLedgerIntegrityError,
+  createRunCostLedger,
   fsCampaignStorage,
   inMemoryCampaignStorage,
   planCampaignRun,
   resolveRunDir,
   runCampaign,
   tangleTracesRoot
-} from "../chunk-FAOEFFRT.js";
-import "../chunk-QMXXSNC4.js";
-import "../chunk-5S5NJ63F.js";
+} from "../chunk-IDZTTFRR.js";
+import "../chunk-3YYRZDON.js";
+import {
+  POLICY_EDIT_CANDIDATE_RECORD_SCHEMA,
+  validatePolicyEditCandidateRecord
+} from "../chunk-MGEHEHSN.js";
 import "../chunk-ARU2PZFM.js";
 import "../chunk-PJQFMIOX.js";
-import "../chunk-RPDDVKI7.js";
+import "../chunk-4JLWXDYA.js";
 import "../chunk-GGE4NNQT.js";
-import "../chunk-LNQEP766.js";
+import "../chunk-S2F4J57L.js";
 import "../chunk-5UF54T55.js";
 import "../chunk-XJYR7XFV.js";
 import "../chunk-VSMTAMNK.js";
-import "../chunk-GY4SYVPJ.js";
+import "../chunk-NJC7U437.js";
+import "../chunk-VCTY3W6J.js";
+import "../chunk-VI2UW6B6.js";
 import "../chunk-PC4UYEBM.js";
 import "../chunk-ONWEPEDO.js";
 import "../chunk-PZ5AY32C.js";
 export {
+  DEFAULT_POLICY_EDIT_HISTORY_LIMITS,
   FileSearchLedger,
   FsLabeledScenarioStore,
   LabeledScenarioStoreError,
   Lineage,
+  POLICY_EDIT_CANDIDATE_RECORD_SCHEMA,
   ProfileMatrixError,
   SEARCH_LEDGER_SCHEMA,
   SearchLedgerConflictError,
@@ -141,6 +154,7 @@ export {
   analyzeCrossSurfaceInteractions,
   applySkillPatch,
   assertCodeSurfaceIdentity,
+  assertPolicyEditAuthorContextBudget,
   buildAnalystSurfaceDispatch,
   buildEvidenceVector,
   buildLoopProvenanceRecord,
@@ -153,6 +167,8 @@ export {
   composeGate,
   compositeProposer,
   countSentenceEdits,
+  createReferenceEquivalenceJudge,
+  createRunCostLedger,
   defaultProductionGate,
   defaultRenderDiff,
   detectScale,
@@ -181,6 +197,7 @@ export {
   labelTrustRank,
   lineageNodeId,
   llmJudge,
+  llmPolicyEditProposer,
   loadEvalFixture,
   loadEvalFixtureScenarios,
   loopProvenanceSpans,
@@ -201,6 +218,7 @@ export {
   planEvalFixtureRun,
   policyEditProposer,
   powerPreflight,
+  projectPolicyEditHistory,
   provenanceRecordPath,
   provenanceSpansPath,
   renderScoreboardMarkdown,
@@ -219,6 +237,7 @@ export {
   scoreUserStory,
   scoreboardSummary,
   selectDiscriminative,
+  selectPolicyEditAuthorRows,
   sequentialDecide,
   sequentialPairedGate,
   skillOptEntry,
@@ -228,6 +247,7 @@ export {
   tangleTracesRoot,
   traceAnalystProposer,
   userStoryScoreboard,
+  validatePolicyEditCandidateRecord,
   validateSearchLedgerEvent,
   verifyCodeSurface
 };

package/dist/chunk-3YYRZDON.js

@@ -0,0 +1,45 @@
+// src/concurrency.ts
+var Mutex = class {
+  locked = false;
+  waiters = [];
+  async acquire() {
+    if (!this.locked) {
+      this.locked = true;
+      return () => this.release();
+    }
+    return new Promise((resolve) => {
+      this.waiters.push(() => {
+        resolve(() => this.release());
+      });
+    });
+  }
+  release() {
+    const next = this.waiters.shift();
+    if (next) {
+      next();
+    } else {
+      this.locked = false;
+    }
+  }
+  async runExclusive(fn) {
+    const release = await this.acquire();
+    try {
+      return await fn();
+    } finally {
+      release();
+    }
+  }
+  /** True iff someone holds the lock right now. Diagnostics only. */
+  get isLocked() {
+    return this.locked;
+  }
+  /** Pending waiter count. Diagnostics only. */
+  get pending() {
+    return this.waiters.length;
+  }
+};
+
+export {
+  Mutex
+};
+//# sourceMappingURL=chunk-3YYRZDON.js.map

package/dist/chunk-3YYRZDON.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/concurrency.ts"],"sourcesContent":["/**\n * concurrency — small primitives the evolution loop needs.\n *\n * `Mutex` is a zero-dep async lock with FIFO fairness. The evolution loop\n * uses it to serialise checkout/build/commit sequences inside a single\n * pool slot, and to gate concurrent JSONL writers (see\n * `lockedJsonlReferenceReplayStore`).\n *\n * Deliberately minimal — no priority queue, no timeouts. If you need\n * those, swap to `async-mutex` at the call site.\n */\n\nexport class Mutex {\n  private locked = false\n  private readonly waiters: Array<() => void> = []\n\n  async acquire(): Promise<() => void> {\n    if (!this.locked) {\n      this.locked = true\n      return () => this.release()\n    }\n    return new Promise<() => void>((resolve) => {\n      this.waiters.push(() => {\n        resolve(() => this.release())\n      })\n    })\n  }\n\n  private release(): void {\n    const next = this.waiters.shift()\n    if (next) {\n      next()\n    } else {\n      this.locked = false\n    }\n  }\n\n  async runExclusive<T>(fn: () => Promise<T> | T): Promise<T> {\n    const release = await this.acquire()\n    try {\n      return await fn()\n    } finally {\n      release()\n    }\n  }\n\n  /** True iff someone holds the lock right now. Diagnostics only. */\n  get isLocked(): boolean {\n    return this.locked\n  }\n\n  /** Pending waiter count. Diagnostics only. */\n  get pending(): number {\n    return this.waiters.length\n  }\n}\n"],"mappings":";AAYO,IAAM,QAAN,MAAY;AAAA,EACT,SAAS;AAAA,EACA,UAA6B,CAAC;AAAA,EAE/C,MAAM,UAA+B;AACnC,QAAI,CAAC,KAAK,QAAQ;AAChB,WAAK,SAAS;AACd,aAAO,MAAM,KAAK,QAAQ;AAAA,IAC5B;AACA,WAAO,IAAI,QAAoB,CAAC,YAAY;AAC1C,WAAK,QAAQ,KAAK,MAAM;AACtB,gBAAQ,MAAM,KAAK,QAAQ,CAAC;AAAA,MAC9B,CAAC;AAAA,IACH,CAAC;AAAA,EACH;AAAA,EAEQ,UAAgB;AACtB,UAAM,OAAO,KAAK,QAAQ,MAAM;AAChC,QAAI,MAAM;AACR,WAAK;AAAA,IACP,OAAO;AACL,WAAK,SAAS;AAAA,IAChB;AAAA,EACF;AAAA,EAEA,MAAM,aAAgB,IAAsC;AAC1D,UAAM,UAAU,MAAM,KAAK,QAAQ;AACnC,QAAI;AACF,aAAO,MAAM,GAAG;AAAA,IAClB,UAAE;AACA,cAAQ;AAAA,IACV;AAAA,EACF;AAAA;AAAA,EAGA,IAAI,WAAoB;AACtB,WAAO,KAAK;AAAA,EACd;AAAA;AAAA,EAGA,IAAI,UAAkB;AACpB,WAAO,KAAK,QAAQ;AAAA,EACtB;AACF;","names":[]}

package/dist/{chunk-RPDDVKI7.js → chunk-4JLWXDYA.js}

@@ -2,7 +2,7 @@ import {
   OtlpFileTraceStore,
   TraceFileMissingError,
   buildTraceAnalystTools
-} from "./chunk-LNQEP766.js";
+} from "./chunk-S2F4J57L.js";
 
 // src/trace-analyst/prompts.ts
 var TRACE_ANALYST_ACTOR_DESCRIPTION = `You answer questions about an OTLP-shaped JSONL trace dataset using the trace tools provided in the \`traces\` namespace.
@@ -198,4 +198,4 @@ export {
   TRACE_ANALYST_SUBAGENT_DESCRIPTION,
   analyzeTraces
 };
-//# sourceMappingURL=chunk-RPDDVKI7.js.map
+//# sourceMappingURL=chunk-4JLWXDYA.js.map