@tangle-network/agent-eval 0.83.0 → 0.84.0

package/dist/chunk-T4SQEITX.js

@@ -0,0 +1,95 @@
+// src/runtime-trajectory.ts
+var DEFAULT_SPLIT_TAG = "search";
+function projectRuntimeTrajectoryEvidence(options) {
+  const diagnostics = [];
+  const runsById = /* @__PURE__ */ new Map();
+  const events = [];
+  let recordWithRuntimeEventsCount = 0;
+  let defaultedSplitCount = 0;
+  for (let recordIndex = 0; recordIndex < options.records.length; recordIndex += 1) {
+    const record = options.records[recordIndex];
+    const key = runtimeTrajectoryRecordKey(record, recordIndex, options.recordIdOf);
+    const splitTag = record.splitTag ?? options.defaultSplitTag ?? DEFAULT_SPLIT_TAG;
+    if (record.splitTag === void 0) defaultedSplitCount += 1;
+    const rawEvents = record.runtimeEvents;
+    if (!Array.isArray(rawEvents)) {
+      diagnostics.push(
+        `${key}: runtimeEvents is not an array; no runtime run join can be extracted`
+      );
+      continue;
+    }
+    if (rawEvents.length === 0) {
+      diagnostics.push(`${key}: no runtimeEvents; no runtime run join can be extracted`);
+      continue;
+    }
+    recordWithRuntimeEventsCount += 1;
+    for (let index = 0; index < rawEvents.length; index += 1) {
+      const event = parseRuntimeTrajectoryHookEvent(rawEvents[index]);
+      if (!event) {
+        diagnostics.push(`${key}: runtimeEvents[${index}] is not a RuntimeHookEvent`);
+        continue;
+      }
+      events.push(event);
+      const scenarioId = event.scenarioId ?? stringOrUndefined(options.scenarioIdOf?.(record, recordIndex)) ?? stringOrUndefined(record.scenarioId);
+      const prior = runsById.get(event.runId);
+      if (!prior) {
+        runsById.set(event.runId, { runId: event.runId, scenarioId, splitTag });
+        continue;
+      }
+      if (prior.scenarioId !== scenarioId || prior.splitTag !== splitTag) {
+        diagnostics.push(`${key}: runId ${event.runId} has conflicting scenario/split metadata`);
+      }
+    }
+  }
+  const runs = [...runsById.values()];
+  return {
+    runs,
+    events,
+    summary: {
+      recordCount: options.records.length,
+      recordWithRuntimeEventsCount,
+      runtimeRunCount: runs.length,
+      lifecycleEventCount: events.length,
+      defaultedSplitCount
+    },
+    diagnostics
+  };
+}
+function parseRuntimeTrajectoryHookEvent(input) {
+  if (!isRecord(input)) return null;
+  if (typeof input.id !== "string" || input.id.length === 0) return null;
+  if (typeof input.runId !== "string" || input.runId.length === 0) return null;
+  if (typeof input.target !== "string" || input.target.length === 0) return null;
+  if (typeof input.phase !== "string" || input.phase.length === 0) return null;
+  if (typeof input.timestamp !== "number" || !Number.isFinite(input.timestamp)) return null;
+  return {
+    id: input.id,
+    runId: input.runId,
+    scenarioId: stringOrUndefined(input.scenarioId),
+    target: input.target,
+    phase: input.phase,
+    timestamp: input.timestamp,
+    stepIndex: finiteNumberOrUndefined(input.stepIndex),
+    parentId: stringOrUndefined(input.parentId),
+    payload: input.payload,
+    metadata: isRecord(input.metadata) ? { ...input.metadata } : void 0
+  };
+}
+function runtimeTrajectoryRecordKey(record, index, recordIdOf) {
+  return stringOrUndefined(recordIdOf?.(record, index)) ?? stringOrUndefined(record.id) ?? `record[${index}]`;
+}
+function isRecord(value) {
+  return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function stringOrUndefined(value) {
+  return typeof value === "string" && value.length > 0 ? value : void 0;
+}
+function finiteNumberOrUndefined(value) {
+  return typeof value === "number" && Number.isFinite(value) ? value : void 0;
+}
+
+export {
+  projectRuntimeTrajectoryEvidence,
+  parseRuntimeTrajectoryHookEvent
+};
+//# sourceMappingURL=chunk-T4SQEITX.js.map

package/dist/chunk-T4SQEITX.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/runtime-trajectory.ts"],"sourcesContent":["import type { RunSplitTag } from './run-record'\n\nexport interface RuntimeTrajectoryHookEvent {\n  id: string\n  runId: string\n  scenarioId?: string\n  target: string\n  phase: string\n  timestamp: number\n  stepIndex?: number\n  parentId?: string\n  payload?: unknown\n  metadata?: Record<string, unknown>\n}\n\nexport interface RuntimeTrajectoryRecord {\n  id?: string\n  scenarioId?: string\n  splitTag?: RunSplitTag\n  runtimeEvents?: unknown\n  [key: string]: unknown\n}\n\nexport interface RuntimeTrajectoryRunRecord {\n  runId: string\n  scenarioId?: string\n  splitTag: RunSplitTag\n}\n\nexport interface RuntimeTrajectoryEvidenceSummary {\n  recordCount: number\n  recordWithRuntimeEventsCount: number\n  runtimeRunCount: number\n  lifecycleEventCount: number\n  defaultedSplitCount: number\n}\n\nexport interface RuntimeTrajectoryEvidenceProjection {\n  runs: RuntimeTrajectoryRunRecord[]\n  events: RuntimeTrajectoryHookEvent[]\n  summary: RuntimeTrajectoryEvidenceSummary\n  diagnostics: string[]\n}\n\nexport interface ProjectRuntimeTrajectoryEvidenceOptions<\n  TRecord extends RuntimeTrajectoryRecord = RuntimeTrajectoryRecord,\n> {\n  records: TRecord[]\n  defaultSplitTag?: RunSplitTag\n  recordIdOf?: (record: TRecord, index: number) => string | undefined\n  scenarioIdOf?: (record: TRecord, index: number) => string | undefined\n}\n\nconst DEFAULT_SPLIT_TAG: RunSplitTag = 'search'\n\nexport function projectRuntimeTrajectoryEvidence<TRecord extends RuntimeTrajectoryRecord>(\n  options: ProjectRuntimeTrajectoryEvidenceOptions<TRecord>,\n): RuntimeTrajectoryEvidenceProjection {\n  const diagnostics: string[] = []\n  const runsById = new Map<string, RuntimeTrajectoryRunRecord>()\n  const events: RuntimeTrajectoryHookEvent[] = []\n  let recordWithRuntimeEventsCount = 0\n  let defaultedSplitCount = 0\n\n  for (let recordIndex = 0; recordIndex < options.records.length; recordIndex += 1) {\n    const record = options.records[recordIndex]!\n    const key = runtimeTrajectoryRecordKey(record, recordIndex, options.recordIdOf)\n    const splitTag = record.splitTag ?? options.defaultSplitTag ?? DEFAULT_SPLIT_TAG\n    if (record.splitTag === undefined) defaultedSplitCount += 1\n\n    const rawEvents = record.runtimeEvents\n    if (!Array.isArray(rawEvents)) {\n      diagnostics.push(\n        `${key}: runtimeEvents is not an array; no runtime run join can be extracted`,\n      )\n      continue\n    }\n    if (rawEvents.length === 0) {\n      diagnostics.push(`${key}: no runtimeEvents; no runtime run join can be extracted`)\n      continue\n    }\n    recordWithRuntimeEventsCount += 1\n\n    for (let index = 0; index < rawEvents.length; index += 1) {\n      const event = parseRuntimeTrajectoryHookEvent(rawEvents[index])\n      if (!event) {\n        diagnostics.push(`${key}: runtimeEvents[${index}] is not a RuntimeHookEvent`)\n        continue\n      }\n      events.push(event)\n\n      const scenarioId =\n        event.scenarioId ??\n        stringOrUndefined(options.scenarioIdOf?.(record, recordIndex)) ??\n        stringOrUndefined(record.scenarioId)\n      const prior = runsById.get(event.runId)\n      if (!prior) {\n        runsById.set(event.runId, { runId: event.runId, scenarioId, splitTag })\n        continue\n      }\n      if (prior.scenarioId !== scenarioId || prior.splitTag !== splitTag) {\n        diagnostics.push(`${key}: runId ${event.runId} has conflicting scenario/split metadata`)\n      }\n    }\n  }\n\n  const runs = [...runsById.values()]\n  return {\n    runs,\n    events,\n    summary: {\n      recordCount: options.records.length,\n      recordWithRuntimeEventsCount,\n      runtimeRunCount: runs.length,\n      lifecycleEventCount: events.length,\n      defaultedSplitCount,\n    },\n    diagnostics,\n  }\n}\n\nexport function parseRuntimeTrajectoryHookEvent(input: unknown): RuntimeTrajectoryHookEvent | null {\n  if (!isRecord(input)) return null\n  if (typeof input.id !== 'string' || input.id.length === 0) return null\n  if (typeof input.runId !== 'string' || input.runId.length === 0) return null\n  if (typeof input.target !== 'string' || input.target.length === 0) return null\n  if (typeof input.phase !== 'string' || input.phase.length === 0) return null\n  if (typeof input.timestamp !== 'number' || !Number.isFinite(input.timestamp)) return null\n\n  return {\n    id: input.id,\n    runId: input.runId,\n    scenarioId: stringOrUndefined(input.scenarioId),\n    target: input.target,\n    phase: input.phase,\n    timestamp: input.timestamp,\n    stepIndex: finiteNumberOrUndefined(input.stepIndex),\n    parentId: stringOrUndefined(input.parentId),\n    payload: input.payload,\n    metadata: isRecord(input.metadata) ? { ...input.metadata } : undefined,\n  }\n}\n\nfunction runtimeTrajectoryRecordKey<TRecord extends RuntimeTrajectoryRecord>(\n  record: TRecord,\n  index: number,\n  recordIdOf?: (record: TRecord, index: number) => string | undefined,\n): string {\n  return (\n    stringOrUndefined(recordIdOf?.(record, index)) ??\n    stringOrUndefined(record.id) ??\n    `record[${index}]`\n  )\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value)\n}\n\nfunction stringOrUndefined(value: unknown): string | undefined {\n  return typeof value === 'string' && value.length > 0 ? value : undefined\n}\n\nfunction finiteNumberOrUndefined(value: unknown): number | undefined {\n  return typeof value === 'number' && Number.isFinite(value) ? value : undefined\n}\n"],"mappings":";AAqDA,IAAM,oBAAiC;AAEhC,SAAS,iCACd,SACqC;AACrC,QAAM,cAAwB,CAAC;AAC/B,QAAM,WAAW,oBAAI,IAAwC;AAC7D,QAAM,SAAuC,CAAC;AAC9C,MAAI,+BAA+B;AACnC,MAAI,sBAAsB;AAE1B,WAAS,cAAc,GAAG,cAAc,QAAQ,QAAQ,QAAQ,eAAe,GAAG;AAChF,UAAM,SAAS,QAAQ,QAAQ,WAAW;AAC1C,UAAM,MAAM,2BAA2B,QAAQ,aAAa,QAAQ,UAAU;AAC9E,UAAM,WAAW,OAAO,YAAY,QAAQ,mBAAmB;AAC/D,QAAI,OAAO,aAAa,OAAW,wBAAuB;AAE1D,UAAM,YAAY,OAAO;AACzB,QAAI,CAAC,MAAM,QAAQ,SAAS,GAAG;AAC7B,kBAAY;AAAA,QACV,GAAG,GAAG;AAAA,MACR;AACA;AAAA,IACF;AACA,QAAI,UAAU,WAAW,GAAG;AAC1B,kBAAY,KAAK,GAAG,GAAG,0DAA0D;AACjF;AAAA,IACF;AACA,oCAAgC;AAEhC,aAAS,QAAQ,GAAG,QAAQ,UAAU,QAAQ,SAAS,GAAG;AACxD,YAAM,QAAQ,gCAAgC,UAAU,KAAK,CAAC;AAC9D,UAAI,CAAC,OAAO;AACV,oBAAY,KAAK,GAAG,GAAG,mBAAmB,KAAK,6BAA6B;AAC5E;AAAA,MACF;AACA,aAAO,KAAK,KAAK;AAEjB,YAAM,aACJ,MAAM,cACN,kBAAkB,QAAQ,eAAe,QAAQ,WAAW,CAAC,KAC7D,kBAAkB,OAAO,UAAU;AACrC,YAAM,QAAQ,SAAS,IAAI,MAAM,KAAK;AACtC,UAAI,CAAC,OAAO;AACV,iBAAS,IAAI,MAAM,OAAO,EAAE,OAAO,MAAM,OAAO,YAAY,SAAS,CAAC;AACtE;AAAA,MACF;AACA,UAAI,MAAM,eAAe,cAAc,MAAM,aAAa,UAAU;AAClE,oBAAY,KAAK,GAAG,GAAG,WAAW,MAAM,KAAK,0CAA0C;AAAA,MACzF;AAAA,IACF;AAAA,EACF;AAEA,QAAM,OAAO,CAAC,GAAG,SAAS,OAAO,CAAC;AAClC,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA,SAAS;AAAA,MACP,aAAa,QAAQ,QAAQ;AAAA,MAC7B;AAAA,MACA,iBAAiB,KAAK;AAAA,MACtB,qBAAqB,OAAO;AAAA,MAC5B;AAAA,IACF;AAAA,IACA;AAAA,EACF;AACF;AAEO,SAAS,gCAAgC,OAAmD;AACjG,MAAI,CAAC,SAAS,KAAK,EAAG,QAAO;AAC7B,MAAI,OAAO,MAAM,OAAO,YAAY,MAAM,GAAG,WAAW,EAAG,QAAO;AAClE,MAAI,OAAO,MAAM,UAAU,YAAY,MAAM,MAAM,WAAW,EAAG,QAAO;AACxE,MAAI,OAAO,MAAM,WAAW,YAAY,MAAM,OAAO,WAAW,EAAG,QAAO;AAC1E,MAAI,OAAO,MAAM,UAAU,YAAY,MAAM,MAAM,WAAW,EAAG,QAAO;AACxE,MAAI,OAAO,MAAM,cAAc,YAAY,CAAC,OAAO,SAAS,MAAM,SAAS,EAAG,QAAO;AAErF,SAAO;AAAA,IACL,IAAI,MAAM;AAAA,IACV,OAAO,MAAM;AAAA,IACb,YAAY,kBAAkB,MAAM,UAAU;AAAA,IAC9C,QAAQ,MAAM;AAAA,IACd,OAAO,MAAM;AAAA,IACb,WAAW,MAAM;AAAA,IACjB,WAAW,wBAAwB,MAAM,SAAS;AAAA,IAClD,UAAU,kBAAkB,MAAM,QAAQ;AAAA,IAC1C,SAAS,MAAM;AAAA,IACf,UAAU,SAAS,MAAM,QAAQ,IAAI,EAAE,GAAG,MAAM,SAAS,IAAI;AAAA,EAC/D;AACF;AAEA,SAAS,2BACP,QACA,OACA,YACQ;AACR,SACE,kBAAkB,aAAa,QAAQ,KAAK,CAAC,KAC7C,kBAAkB,OAAO,EAAE,KAC3B,UAAU,KAAK;AAEnB;AAEA,SAAS,SAAS,OAAkD;AAClE,SAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAC5E;AAEA,SAAS,kBAAkB,OAAoC;AAC7D,SAAO,OAAO,UAAU,YAAY,MAAM,SAAS,IAAI,QAAQ;AACjE;AAEA,SAAS,wBAAwB,OAAoC;AACnE,SAAO,OAAO,UAAU,YAAY,OAAO,SAAS,KAAK,IAAI,QAAQ;AACvE;","names":[]}

package/dist/index.d.ts

@@ -42,6 +42,7 @@ export { A as Artifact, E as EventKind, i as FAILURE_CLASSES, F as FailureClass,
 import { T as TraceStore, R as RunFilter } from './store-CKUAgsJz.js';
 export { E as EventFilter, F as FileSystemTraceStore, a as FileSystemTraceStoreOptions, I as InMemoryTraceStore, S as SpanFilter } from './store-CKUAgsJz.js';
 export { D as DEFAULT_FAILURE_RULES, b as FailureClassification, c as FailureContext, d as FailureRule, e as classifyFailure } from './failure-cluster-CL7IVgkJ.js';
+export { P as ProjectRuntimeTrajectoryEvidenceOptions, a as RuntimeTrajectoryEvidenceProjection, b as RuntimeTrajectoryEvidenceSummary, c as RuntimeTrajectoryHookEvent, R as RuntimeTrajectoryRecord, d as RuntimeTrajectoryRunRecord, p as parseRuntimeTrajectoryHookEvent, e as projectRuntimeTrajectoryEvidence } from './runtime-trajectory-BLRiaifm.js';
 import { a as BaselineReport } from './baseline-DE36-Np7.js';
 export { B as BaselineOptions, M as MetricSamples, b as MetricVerdict, T as ToolStats, d as ToolUseMetrics, e as ToolUseOptions, f as compareToBaseline, c as computeToolUseMetrics, i as iqr, w as welchsTTest } from './baseline-DE36-Np7.js';
 import { T as Trajectory, a as TrajectoryStep } from './trajectory-GEdXJCL5.js';
@@ -3738,6 +3739,124 @@ declare class Mutex {
     get pending(): number;
 }
 
+/**
+ * DescriptionLengthGate — a Minimum-Description-Length promotion gate, the
+ * Builder/Breaker acceptance rule from Wang & Buehler, "Self-Revising Discovery
+ * Systems for Science" (arXiv:2606.01444, MIT LAMM), eq. 5:
+ *
+ *     L(M, D) = L_model(M) + L_data(D | M)
+ *     accept M' over M  iff  L(M', D∪E) < L(M, D∪E)
+ *
+ * Both candidate and baseline are scored on the SAME enlarged evidence set
+ * (every accumulated task — NOT just the held-out split), and the candidate is
+ * accepted only if it lowers the TOTAL bit cost. This is the gate's whole
+ * point and what distinguishes it from a monotone held-out delta:
+ *
+ *   - L_model(M)  — the candidate's own description length: the compressed size
+ *     of its model text (a prompt, skill, profile, or symbolic model). A bigger
+ *     model pays more bits.
+ *   - L_data(D|M) — the residual: bits of "surprise" that the model did not
+ *     simply succeed, −Σ_i log2(s_i) over the model's per-task score s_i.
+ *     Perfect scores cost 0 bits; failure costs a lot (capped, not infinite).
+ *
+ * A candidate that merely memorizes new counterexamples grows L_model faster
+ * than it shrinks L_data and LOSES — a principled, complexity-penalized
+ * alternative to HeldOutGate's held-out paired delta. Use this gate
+ * when the model text whose size you want to penalize is available; use
+ * HeldOutGate when promotion should turn on held-out generalization with an
+ * overfit-gap check instead.
+ *
+ * Scale / calibration: a gzip'd prose model is hundreds–thousands of bits;
+ * a single task contributes at most −log2(scoreFloor) data bits (≈10). So with
+ * little evidence the model term dominates and the gate is conservative about
+ * model GROWTH — it promotes a larger model only once accumulated evidence
+ * genuinely pays for the added bits (exactly the paper's regime, where D∪E
+ * grows). `lambda` is the lever: λ<1 discounts model bits (more permissive),
+ * λ>1 is stricter. A shrinking-or-equal model that does no worse always wins.
+ *
+ * Stateless: construct once with the description-length budget, call
+ * `evaluate` per (candidate, baseline) pair.
+ */
+type DescriptionLengthRejectionCode = 'few_tasks' | 'no_total_gain' | 'model_bloat';
+interface DescriptionLengthConfig {
+    /** Stable label of the baseline. Required — paper-grade evaluation never
+     *  compares two unlabelled candidates. */
+    baselineKey: string;
+    /** Weight on model bits relative to data bits (the description-length
+     *  budget λ). 1 = bits are bits. >1 = more complexity-averse. Default 1. */
+    lambda?: number;
+    /** The candidate must beat the baseline by at least this many bits to
+     *  promote — a robustness margin against measurement noise. Default 0
+     *  (strict `<`, as the paper). */
+    marginBits?: number;
+    /** Per-task score floor for the residual code: −log2(max(s, floor)). Caps a
+     *  total-failure task's surprise instead of letting it diverge. Default
+     *  2^-10 (a failed task costs 10 bits, not ∞). */
+    scoreFloor?: number;
+    /** Minimum number of shared (candidate, baseline) tasks before the gate will
+     *  consider promoting. Default 3. */
+    minTasks?: number;
+}
+interface DescriptionLengthEvidence {
+    /** Shared tasks scored on both sides (the enlarged evidence D∪E). */
+    tasks: number;
+    /** Compressed-model bits — L_model. */
+    modelBits: {
+        candidate: number;
+        baseline: number;
+    };
+    /** Residual surprise bits — L_data(D|M). */
+    dataBits: {
+        candidate: number;
+        baseline: number;
+    };
+    /** λ·L_model + L_data — the quantity the gate minimizes. */
+    totalBits: {
+        candidate: number;
+        baseline: number;
+    };
+    /** candidate − baseline total. Negative = candidate compresses better. */
+    deltaBits: number;
+    /** Per-component deltas, for audit: did the win come from a smaller model,
+     *  better outcomes, or both? */
+    modelBitsDelta: number;
+    dataBitsDelta: number;
+}
+interface DescriptionLengthDecision {
+    promote: boolean;
+    candidateId: string;
+    baselineId: string;
+    evidence: DescriptionLengthEvidence;
+    reason: string;
+    rejectionCode: DescriptionLengthRejectionCode | null;
+}
+interface DescriptionLengthCandidate {
+    /** The model text whose size is L_model (a prompt, skill, profile, or
+     *  symbolic model; concatenated if several files). */
+    content: string;
+    /** Runs whose per-task scores form L_data. */
+    runs: RunRecord[];
+}
+/** Compressed-model bits — the model's description length L_model. gzip is a
+ *  deterministic, dependency-free stand-in for Kolmogorov complexity; it
+ *  rewards genuine compactness and penalizes boilerplate padding. */
+declare function modelDescriptionBits(content: string): number;
+/** Residual surprise L_data(D|M) = −Σ_i log2(max(s_i, floor)) over the given
+ *  per-task scores. Lower = the model more reliably succeeds. */
+declare function dataDescriptionBits(scoreByTask: Map<string, number>, keys: Iterable<string>, scoreFloor: number): number;
+declare class DescriptionLengthGate {
+    private readonly baselineKey;
+    private readonly lambda;
+    private readonly marginBits;
+    private readonly scoreFloor;
+    private readonly minTasks;
+    constructor(config: DescriptionLengthConfig);
+    /** Decide whether `candidate` should replace `baseline`. Both are scored on
+     *  the shared task set (the enlarged evidence); the candidate promotes only
+     *  if λ·L_model + L_data is strictly lower by at least `marginBits`. */
+    evaluate(candidate: DescriptionLengthCandidate, baseline: DescriptionLengthCandidate): DescriptionLengthDecision;
+}
+
 /**
  * Walk a personas directory and return every file matching the convention
  * `NN-slug.{yaml,yml,json,md}`. Sorted by filename so the numeric prefix
@@ -4610,4 +4729,4 @@ declare namespace index {
   export { type index_AgentProfile as AgentProfile, type index_AgentProfileSection as AgentProfileSection, index_BASELINE_ROLES as BASELINE_ROLES, type index_BaselineRoleKey as BaselineRoleKey, type index_ProfileSkill as ProfileSkill, index_applyDomainPatch as applyDomainPatch, index_baselineProfile as baselineProfile, index_baselineProfileFromRole as baselineProfileFromRole, index_engineerRole as engineerRole, index_generalistRole as generalistRole, index_prodProfile as prodProfile, index_profileToSurface as profileToSurface, index_renderProfile as renderProfile, index_researcherRole as researcherRole, index_sectionHash as sectionHash };
 }
 
-export { type ActiveLearningOptions, type AdapterRun, AgentDriver, type AgentDriverConfig, AgentEvalError, AgentProfile$1 as AgentProfile, type AgreementResult, type AlignmentOp, AnalyzeTracesInput, AnalyzeTracesOptions, AnalyzeTracesResult, type AntiSlopConfig, type AntiSlopIssue, type AntiSlopReport, type AssertCrossFamilyOptions, type AssertSingleBackendOptions, type AutoPrClient, AxGepaSteeringOptimizer, type AxSteeringOptimizerConfig, type BackendDescriptor, BaselineReport, BehaviorAssertion, BenchmarkReport, BenchmarkRunner, BenchmarkRunnerConfig, type BisectOptions, type BisectResult, type BisectStep, BudgetBreachError, BudgetGuard, BudgetLedgerEntry, BudgetSpec, type BuildAgreementJudgeOptions, CallExpectation, type CanaryAlert, type CanaryKind, type CanaryLeak, type CanaryOptions, type CanaryReport, type CanarySeverity, type CandidateScenario, type CausalAttributionReport, type CellVerdict, ChatRequest, CheckResult, CollectedArtifacts, type CommandRunner, type CompareLabels, CompletionCriterion, type ContinuityCheck, type ContinuityCheckResult, type ContinuityReport, type ContinuitySnapshotPair, type ContractMetric, type ContractReport, ConvergenceTracker, type CostEntry, type CostSummary, CostTracker, type CounterfactualContext, type CounterfactualMutation, type CounterfactualResult, type CounterfactualRunner, CreateChatClientOpts, type CreateDefaultReviewerOptions, type CreateSandboxPoolOpts, CrossFamilyError, type CrossTraceDiff, type CrossTraceDiffOptions, DEFAULT_AGENT_SLOS, DEFAULT_FINDERS, DEFAULT_MUTATION_PRIMITIVES, DEFAULT_MUTATORS, DEFAULT_PR_REVIEW_SCORE_WEIGHTS, DEFAULT_SEVERITY_WEIGHTS, Dataset, DatasetScenario, type DecideNextUserTurnOpts, type DeployFamily, type DeployGateLayerInput, type DeployRunResult, type DeployRunner, type DiffScorecardOptions, type DirEntry, type DiscoverPersonasOptions, type DiscoveredPersona, DriverResult, DriverState, DualAgentBench, type DualAgentBenchConfig, type DualAgentReport, type DualAgentRound, type DualAgentScenario, type DualAgentScenarioResult, ERROR_COUNT_PATTERNS, type EnsembleAggregate, type ErrorCountPattern, type EvolutionRound, type ExecutorConfig, type Expectation, type ExportedRewardModel, type ExtractOptions, type ExtractResult, type FactorContribution, type FactorialCell, FeedbackLabel, FeedbackTrajectory, FeedbackTrajectoryStore, type FieldAgreementSpec, type FileChange, type FlowAction, type FlowLayerEnv, type FlowLayerFactoryInput, type FlowRunner, type FlowRunnerStepResult, type FlowSpec, type FlowStep, type GhCliClientOptions, type GoldScenario, type GoldSplit, type GoldenSeverity, type GoldenSpec, HarnessConfig, HoldoutAuditor, type HttpGithubClientOptions, type HypothesisManifest, type HypothesisResult, INTENT_MATCH_JUDGE_VERSION, type ImageData, InMemoryWorkspaceInspector, type InferenceScorer, type InspectorContext, type IntentMatchInput, type IntentMatchOptions, type IntentMatchResult, type InteractionContribution, type JudgeFamily, type JudgeFleetOptions, JudgeFn, type JudgeReplayResult, type JudgeRetryOutcome, type JudgeRetryPolicy, JudgeRunner, type JudgeVerdict, type KeywordConceptSpec, type KeywordCoverageFinding, type KeywordCoverageOptions, type KeywordCoverageResult, type LangfuseEnvelope, type LangfuseGeneration, type LangfuseScore, Layer, LayerResult, type LiveProofArtifact, type LiveProofConfig, type LiveProofContext, type LiveProofResult, LlmClientOptions, LlmSpan, LockedJsonlAppender, MODEL_PRICING, type MatchResult, type MatcherResult, type MergeOptions, MetricsCollector, type MuffledFinder, type MuffledFinding, type MultiToolchainLayerConfig, type Mutator, Mutex, type Oracle, type OracleObservation, type OracleReport, type OracleResult, type OrthogonalityInput, type OrthogonalityResult, OtelExportConfig, OtelExporter, type OtelPipelineHandle, type OtelPipelineOptions, PairwiseSteeringOptimizer, type ParaphraseRobustnessScenarioInput, type ParaphraseRobustnessScenarioResult, type ParseStudentLabel, PersonaConfig, type Playbook, type PlaybookEntry, type PoolSlot, type PrReviewAuditCase, type PrReviewBenchmarkSummary, type PrReviewComment, type PrReviewMatchedFinding, type PrReviewOutcome, type PrReviewReferenceFinding, type PrReviewScore, type PrReviewScoreWeights, type PrReviewSeverity, type PrReviewSource, ProductClient, ProductClientConfig, type PromptHandle, PromptRegistry, type ProposeAutomatedPullRequestInput, type ProposeAutomatedPullRequestResult, type RecordRunsOptions, type ReferenceMatchResult, type ReferenceReplayAdapter, type ReferenceReplayAdapterFn, type ReferenceReplayAdapterLike, type ReferenceReplayAggregate, type ReferenceReplayCandidate, type ReferenceReplayCase, type ReferenceReplayCaseRun, type ReferenceReplayExecutionScenario, type ReferenceReplayItem, type ReferenceReplayMatch, type ReferenceReplayMatchStrategy, type ReferenceReplayMatcher, type ReferenceReplayPromotionDecision, type ReferenceReplayPromotionPolicy, type ReferenceReplayRun, type ReferenceReplayRunContext, type ReferenceReplayRunOptions, type ReferenceReplayRunStore, type ReferenceReplayScenario, type ReferenceReplayScenarioScore, type ReferenceReplayScore, type ReferenceReplayScoreOptions, type ReferenceReplaySplit, type ReferenceReplaySplitComparison, type ReferenceReplaySteeringRowsOptions, type ReflectionContext, type ReflectionProposal, ReleaseConfidenceScorecard, ReleaseConfidenceThresholds, type RenderStudentPrompt, type RepoRef, type ReviewerMemoryEntry, type ReviewerOutput, type ReviewerPromptInput, type ReviewerSoftFailDefaults, type ReviewerVerificationSummary, type RobustnessResult, Run, type RunCommandInput, type RunCommandResult, type RunDistillationOptions, type RunDistillationResult, RunFilter, RunRecord, RunScore, RunScoreWeights, SandboxDriver, SandboxHarnessResult, type SandboxJudgeKind, type SandboxJudgeResult, type SandboxJudgeSpec, type SandboxPool, type ScanOptions, Scenario, type ScenarioCost, ScenarioFile, ScenarioRegistry, ScenarioResult, type Scorecard, type ScorecardCell, type ScorecardCellDiff, type ScorecardDiff, type ScorecardEntry, type ScorecardLogLine, type ScoredTarget, type SelfPlayOptions, type SelfPlayProposer, type SelfPlayScorer, type SeriesConvergenceOptions, type SeriesConvergenceResult, Severity, type SignedManifest, type SignedManifestAlgo, type SingleBackendDivergence, SingleBackendError, type SingleBackendField, type SingleBackendReport, type Slo, type SloCheckResult, type SloComparator, type SloReport, type SloSeverity, type SlopCategory, type SlotFactory, type SplitGoldOptions, SteeringBundle, type SteeringOptimizationResult, type SteeringOptimizationRow, type SteeringOptimizationSelector, type SteeringOptimizerBackend, type SteeringOptimizerConfig, type StepAttribution, type SynthesisReason, type SynthesisTarget, TestResult, type ThresholdContract, TokenCounter, type TokenSpec, TraceEmitter, TraceStore, type TracedAnalystOptions, type TracedJudgeOptions, Trajectory, TrajectoryStep, type TrialTrace, TurnMetrics, UI_FINDING_SEVERITIES, UI_LENSES, UNIVERSAL_FINDERS, type UiFinding, type UiFindingScreenshot, type UiFindingSeverity, type UiLens, VerifyContext, type VisualDiffOptions, type VisualDiffResult, type ViteDeployRunnerInput, type WorkspaceAssertion, type WorkspaceAssertionResult, type WorkspaceInspector, type WorkspaceSnapshot, type WranglerDeployRunnerInput, adversarialJudge, aggregateJudgeVerdicts, aggregatePrReviewScore, analyzeAntiSlop, analyzeSeries, appendScorecard, assertCrossFamily, assertSingleBackend, attributeCounterfactuals, bisect, buildAgreementJudge, buildDriverSystemPrompt, buildReflectionPrompt, buildReviewerPrompt, canaryLeakView, canonicalize, causalAttribution, checkBehavioralCanary, checkCanaries, checkSlos, codeExecutionJudge, coherenceJudge, collectionPreserved, commentsForSource, commitBisect, compareReferenceReplay, compilerJudge, createAntiSlopJudge, createCustomJudge, createDefaultReviewer, createDomainExpertJudge, createIntentMatchJudge, createSandboxPool, crossTraceDiff, decideNextUserTurn, decideReferenceReplayPromotion, decideReferenceReplayRunPromotion, defaultJudges, defaultParseStudentLabel, defaultReferenceReplayMatcher, defaultRenderStudentPrompt, deployGateLayer, diffScorecard, discoverPersonas, distillPlaybook, estimateCost, estimateTokens, evaluateContract, evaluateHypothesis, evaluateOracles, executeScenario, expectAgent, exportRewardModel, extractAssetUrls, extractErrorCount, fieldAgreement, fileContains, fileExists, findAutoMatchNoExpectation, findConstructorCwdDropped, findFallbackToPass, findLiteralTruePass, findSkipCountsAsPass, flowLayer, formatBenchmarkReport, formatDriverReport, formatFindings, formatScorecardDiff, ghCliClient, precision as goldenPrecision, hashContent, hashJson, htmlContainsElement, httpGithubClient, inMemoryReferenceReplayStore, isModelPriced, isOtelConfigured, jsonShape, jsonlReferenceReplayStore, judgeFamily, keyPreserved, linterJudge, loadGoldScenarios, loadScorecard, loadScorerFromGrader, localCommandRunner, lowercaseMutator, matchGoldens, mergeLayerResults, multiToolchainLayer, notBlocked, paraphraseRobustness, paraphraseRobustnessScenarios, parseGoldJsonl, parseReflectionResponse, passOrthogonality, pixelDeltaRatio, politenessPrefixMutator, printDriverSummary, index as profile, promptBisect, proposeAutomatedPullRequest, proposeSynthesisTargets, recordRuns, recordRunsToScorecard, referenceReplayRunsToSteeringRows, referenceReplayScenarioToRunScore, regexMatches, renderMarkdownReport, renderPlaybookMarkdown, replayScorerOverCorpus, replayTraceThroughJudge, resetLockedAppendersForTesting, resolveModelPricing, rowCount, rowWhere, runAssertions, runBehavioralCanaries, runCanaries, runCounterfactual, runDistillation, runE2EWorkflow, runExpectations, runIntentMatchJudge, runJudgeFleet, runKeywordCoverageJudge, runKeywordCoverageJudgeUrl, runLiveProof, runReferenceReplay, runSelfPlay, scanForMuffledGates, scoreContinuity, scorePrReviewComments, scorePrReviewSource, scoreReferenceReplay, securityJudge, sentenceReorderMutator, signManifest, splitGold, statusAdvanced, summarizePrReviewBenchmark, testJudge, textInSnapshot, toLangfuseEnvelope, toPrometheusText, traceJudge, traceJudgeEnsemble, tracedAnalyzeTraces, typoMutator, urlContains, verifyManifest, visualDiff, viteDeployRunner, weightedRecall, whitespaceCollapseMutator, withJudgeRetry, withOtelPipeline, wranglerDeployRunner };
+export { type ActiveLearningOptions, type AdapterRun, AgentDriver, type AgentDriverConfig, AgentEvalError, AgentProfile$1 as AgentProfile, type AgreementResult, type AlignmentOp, AnalyzeTracesInput, AnalyzeTracesOptions, AnalyzeTracesResult, type AntiSlopConfig, type AntiSlopIssue, type AntiSlopReport, type AssertCrossFamilyOptions, type AssertSingleBackendOptions, type AutoPrClient, AxGepaSteeringOptimizer, type AxSteeringOptimizerConfig, type BackendDescriptor, BaselineReport, BehaviorAssertion, BenchmarkReport, BenchmarkRunner, BenchmarkRunnerConfig, type BisectOptions, type BisectResult, type BisectStep, BudgetBreachError, BudgetGuard, BudgetLedgerEntry, BudgetSpec, type BuildAgreementJudgeOptions, CallExpectation, type CanaryAlert, type CanaryKind, type CanaryLeak, type CanaryOptions, type CanaryReport, type CanarySeverity, type CandidateScenario, type CausalAttributionReport, type CellVerdict, ChatRequest, CheckResult, CollectedArtifacts, type CommandRunner, type CompareLabels, CompletionCriterion, type ContinuityCheck, type ContinuityCheckResult, type ContinuityReport, type ContinuitySnapshotPair, type ContractMetric, type ContractReport, ConvergenceTracker, type CostEntry, type CostSummary, CostTracker, type CounterfactualContext, type CounterfactualMutation, type CounterfactualResult, type CounterfactualRunner, CreateChatClientOpts, type CreateDefaultReviewerOptions, type CreateSandboxPoolOpts, CrossFamilyError, type CrossTraceDiff, type CrossTraceDiffOptions, DEFAULT_AGENT_SLOS, DEFAULT_FINDERS, DEFAULT_MUTATION_PRIMITIVES, DEFAULT_MUTATORS, DEFAULT_PR_REVIEW_SCORE_WEIGHTS, DEFAULT_SEVERITY_WEIGHTS, Dataset, DatasetScenario, type DecideNextUserTurnOpts, type DeployFamily, type DeployGateLayerInput, type DeployRunResult, type DeployRunner, type DescriptionLengthCandidate, type DescriptionLengthConfig, type DescriptionLengthDecision, type DescriptionLengthEvidence, DescriptionLengthGate, type DescriptionLengthRejectionCode, type DiffScorecardOptions, type DirEntry, type DiscoverPersonasOptions, type DiscoveredPersona, DriverResult, DriverState, DualAgentBench, type DualAgentBenchConfig, type DualAgentReport, type DualAgentRound, type DualAgentScenario, type DualAgentScenarioResult, ERROR_COUNT_PATTERNS, type EnsembleAggregate, type ErrorCountPattern, type EvolutionRound, type ExecutorConfig, type Expectation, type ExportedRewardModel, type ExtractOptions, type ExtractResult, type FactorContribution, type FactorialCell, FeedbackLabel, FeedbackTrajectory, FeedbackTrajectoryStore, type FieldAgreementSpec, type FileChange, type FlowAction, type FlowLayerEnv, type FlowLayerFactoryInput, type FlowRunner, type FlowRunnerStepResult, type FlowSpec, type FlowStep, type GhCliClientOptions, type GoldScenario, type GoldSplit, type GoldenSeverity, type GoldenSpec, HarnessConfig, HoldoutAuditor, type HttpGithubClientOptions, type HypothesisManifest, type HypothesisResult, INTENT_MATCH_JUDGE_VERSION, type ImageData, InMemoryWorkspaceInspector, type InferenceScorer, type InspectorContext, type IntentMatchInput, type IntentMatchOptions, type IntentMatchResult, type InteractionContribution, type JudgeFamily, type JudgeFleetOptions, JudgeFn, type JudgeReplayResult, type JudgeRetryOutcome, type JudgeRetryPolicy, JudgeRunner, type JudgeVerdict, type KeywordConceptSpec, type KeywordCoverageFinding, type KeywordCoverageOptions, type KeywordCoverageResult, type LangfuseEnvelope, type LangfuseGeneration, type LangfuseScore, Layer, LayerResult, type LiveProofArtifact, type LiveProofConfig, type LiveProofContext, type LiveProofResult, LlmClientOptions, LlmSpan, LockedJsonlAppender, MODEL_PRICING, type MatchResult, type MatcherResult, type MergeOptions, MetricsCollector, type MuffledFinder, type MuffledFinding, type MultiToolchainLayerConfig, type Mutator, Mutex, type Oracle, type OracleObservation, type OracleReport, type OracleResult, type OrthogonalityInput, type OrthogonalityResult, OtelExportConfig, OtelExporter, type OtelPipelineHandle, type OtelPipelineOptions, PairwiseSteeringOptimizer, type ParaphraseRobustnessScenarioInput, type ParaphraseRobustnessScenarioResult, type ParseStudentLabel, PersonaConfig, type Playbook, type PlaybookEntry, type PoolSlot, type PrReviewAuditCase, type PrReviewBenchmarkSummary, type PrReviewComment, type PrReviewMatchedFinding, type PrReviewOutcome, type PrReviewReferenceFinding, type PrReviewScore, type PrReviewScoreWeights, type PrReviewSeverity, type PrReviewSource, ProductClient, ProductClientConfig, type PromptHandle, PromptRegistry, type ProposeAutomatedPullRequestInput, type ProposeAutomatedPullRequestResult, type RecordRunsOptions, type ReferenceMatchResult, type ReferenceReplayAdapter, type ReferenceReplayAdapterFn, type ReferenceReplayAdapterLike, type ReferenceReplayAggregate, type ReferenceReplayCandidate, type ReferenceReplayCase, type ReferenceReplayCaseRun, type ReferenceReplayExecutionScenario, type ReferenceReplayItem, type ReferenceReplayMatch, type ReferenceReplayMatchStrategy, type ReferenceReplayMatcher, type ReferenceReplayPromotionDecision, type ReferenceReplayPromotionPolicy, type ReferenceReplayRun, type ReferenceReplayRunContext, type ReferenceReplayRunOptions, type ReferenceReplayRunStore, type ReferenceReplayScenario, type ReferenceReplayScenarioScore, type ReferenceReplayScore, type ReferenceReplayScoreOptions, type ReferenceReplaySplit, type ReferenceReplaySplitComparison, type ReferenceReplaySteeringRowsOptions, type ReflectionContext, type ReflectionProposal, ReleaseConfidenceScorecard, ReleaseConfidenceThresholds, type RenderStudentPrompt, type RepoRef, type ReviewerMemoryEntry, type ReviewerOutput, type ReviewerPromptInput, type ReviewerSoftFailDefaults, type ReviewerVerificationSummary, type RobustnessResult, Run, type RunCommandInput, type RunCommandResult, type RunDistillationOptions, type RunDistillationResult, RunFilter, RunRecord, RunScore, RunScoreWeights, SandboxDriver, SandboxHarnessResult, type SandboxJudgeKind, type SandboxJudgeResult, type SandboxJudgeSpec, type SandboxPool, type ScanOptions, Scenario, type ScenarioCost, ScenarioFile, ScenarioRegistry, ScenarioResult, type Scorecard, type ScorecardCell, type ScorecardCellDiff, type ScorecardDiff, type ScorecardEntry, type ScorecardLogLine, type ScoredTarget, type SelfPlayOptions, type SelfPlayProposer, type SelfPlayScorer, type SeriesConvergenceOptions, type SeriesConvergenceResult, Severity, type SignedManifest, type SignedManifestAlgo, type SingleBackendDivergence, SingleBackendError, type SingleBackendField, type SingleBackendReport, type Slo, type SloCheckResult, type SloComparator, type SloReport, type SloSeverity, type SlopCategory, type SlotFactory, type SplitGoldOptions, SteeringBundle, type SteeringOptimizationResult, type SteeringOptimizationRow, type SteeringOptimizationSelector, type SteeringOptimizerBackend, type SteeringOptimizerConfig, type StepAttribution, type SynthesisReason, type SynthesisTarget, TestResult, type ThresholdContract, TokenCounter, type TokenSpec, TraceEmitter, TraceStore, type TracedAnalystOptions, type TracedJudgeOptions, Trajectory, TrajectoryStep, type TrialTrace, TurnMetrics, UI_FINDING_SEVERITIES, UI_LENSES, UNIVERSAL_FINDERS, type UiFinding, type UiFindingScreenshot, type UiFindingSeverity, type UiLens, VerifyContext, type VisualDiffOptions, type VisualDiffResult, type ViteDeployRunnerInput, type WorkspaceAssertion, type WorkspaceAssertionResult, type WorkspaceInspector, type WorkspaceSnapshot, type WranglerDeployRunnerInput, adversarialJudge, aggregateJudgeVerdicts, aggregatePrReviewScore, analyzeAntiSlop, analyzeSeries, appendScorecard, assertCrossFamily, assertSingleBackend, attributeCounterfactuals, bisect, buildAgreementJudge, buildDriverSystemPrompt, buildReflectionPrompt, buildReviewerPrompt, canaryLeakView, canonicalize, causalAttribution, checkBehavioralCanary, checkCanaries, checkSlos, codeExecutionJudge, coherenceJudge, collectionPreserved, commentsForSource, commitBisect, compareReferenceReplay, compilerJudge, createAntiSlopJudge, createCustomJudge, createDefaultReviewer, createDomainExpertJudge, createIntentMatchJudge, createSandboxPool, crossTraceDiff, dataDescriptionBits, decideNextUserTurn, decideReferenceReplayPromotion, decideReferenceReplayRunPromotion, defaultJudges, defaultParseStudentLabel, defaultReferenceReplayMatcher, defaultRenderStudentPrompt, deployGateLayer, diffScorecard, discoverPersonas, distillPlaybook, estimateCost, estimateTokens, evaluateContract, evaluateHypothesis, evaluateOracles, executeScenario, expectAgent, exportRewardModel, extractAssetUrls, extractErrorCount, fieldAgreement, fileContains, fileExists, findAutoMatchNoExpectation, findConstructorCwdDropped, findFallbackToPass, findLiteralTruePass, findSkipCountsAsPass, flowLayer, formatBenchmarkReport, formatDriverReport, formatFindings, formatScorecardDiff, ghCliClient, precision as goldenPrecision, hashContent, hashJson, htmlContainsElement, httpGithubClient, inMemoryReferenceReplayStore, isModelPriced, isOtelConfigured, jsonShape, jsonlReferenceReplayStore, judgeFamily, keyPreserved, linterJudge, loadGoldScenarios, loadScorecard, loadScorerFromGrader, localCommandRunner, lowercaseMutator, matchGoldens, mergeLayerResults, modelDescriptionBits, multiToolchainLayer, notBlocked, paraphraseRobustness, paraphraseRobustnessScenarios, parseGoldJsonl, parseReflectionResponse, passOrthogonality, pixelDeltaRatio, politenessPrefixMutator, printDriverSummary, index as profile, promptBisect, proposeAutomatedPullRequest, proposeSynthesisTargets, recordRuns, recordRunsToScorecard, referenceReplayRunsToSteeringRows, referenceReplayScenarioToRunScore, regexMatches, renderMarkdownReport, renderPlaybookMarkdown, replayScorerOverCorpus, replayTraceThroughJudge, resetLockedAppendersForTesting, resolveModelPricing, rowCount, rowWhere, runAssertions, runBehavioralCanaries, runCanaries, runCounterfactual, runDistillation, runE2EWorkflow, runExpectations, runIntentMatchJudge, runJudgeFleet, runKeywordCoverageJudge, runKeywordCoverageJudgeUrl, runLiveProof, runReferenceReplay, runSelfPlay, scanForMuffledGates, scoreContinuity, scorePrReviewComments, scorePrReviewSource, scoreReferenceReplay, securityJudge, sentenceReorderMutator, signManifest, splitGold, statusAdvanced, summarizePrReviewBenchmark, testJudge, textInSnapshot, toLangfuseEnvelope, toPrometheusText, traceJudge, traceJudgeEnsemble, tracedAnalyzeTraces, typoMutator, urlContains, verifyManifest, visualDiff, viteDeployRunner, weightedRecall, whitespaceCollapseMutator, withJudgeRetry, withOtelPipeline, wranglerDeployRunner };

package/dist/index.js

@@ -6,6 +6,10 @@ import {
   parseCorrectnessResponse,
   verifyCompletion
 } from "./chunk-YGYXHNAQ.js";
+import {
+  parseRuntimeTrajectoryHookEvent,
+  projectRuntimeTrajectoryEvidence
+} from "./chunk-T4SQEITX.js";
 import {
   HoldoutAuditor,
   canaryLeakView,
@@ -2911,14 +2915,14 @@ async function runHarnessExperiment(config) {
   const score = config.score ?? ((trace) => critic.scoreTrace(trace));
   const results = await mapLimit(jobs, config.parallelism ?? 1, async (request) => {
     const trace = await config.adapter.run(request);
-    const runScore2 = await score(trace, request);
+    const runScore3 = await score(trace, request);
     const result = {
       variant: request.variant,
       scenario: request.scenario,
       trialIndex: request.trialIndex,
       trace,
-      score: runScore2,
-      aggregate: aggregateRunScore(runScore2, config.weights)
+      score: runScore3,
+      aggregate: aggregateRunScore(runScore3, config.weights)
     };
     await config.onResult?.(result);
     return result;
@@ -7089,6 +7093,121 @@ function createDefaultReviewer(options) {
   };
 }
 
+// src/description-length-gate.ts
+import { gzipSync } from "zlib";
+function runScore2(run) {
+  const o = run.outcome;
+  const s = o.holdoutScore ?? o.searchScore ?? o.raw?.score;
+  return typeof s === "number" && Number.isFinite(s) ? s : void 0;
+}
+function taskKey(run) {
+  return run.scenarioId ?? run.experimentId;
+}
+function perTaskMeanScore(runs) {
+  const acc = /* @__PURE__ */ new Map();
+  for (const run of runs) {
+    const s = runScore2(run);
+    if (s === void 0) continue;
+    const key = taskKey(run);
+    const cur = acc.get(key) ?? { sum: 0, n: 0 };
+    cur.sum += s;
+    cur.n += 1;
+    acc.set(key, cur);
+  }
+  return new Map([...acc].map(([k, v]) => [k, v.sum / v.n]));
+}
+function modelDescriptionBits(content) {
+  return gzipSync(Buffer.from(content, "utf8")).byteLength * 8;
+}
+function dataDescriptionBits(scoreByTask, keys, scoreFloor) {
+  let bits = 0;
+  for (const key of keys) {
+    const s = scoreByTask.get(key);
+    if (s === void 0) continue;
+    bits += -Math.log2(Math.max(s, scoreFloor));
+  }
+  return bits;
+}
+var DescriptionLengthGate = class {
+  baselineKey;
+  lambda;
+  marginBits;
+  scoreFloor;
+  minTasks;
+  constructor(config) {
+    if (!config.baselineKey) throw new Error("DescriptionLengthGate: baselineKey is required");
+    this.baselineKey = config.baselineKey;
+    this.lambda = config.lambda ?? 1;
+    this.marginBits = config.marginBits ?? 0;
+    this.scoreFloor = config.scoreFloor ?? 2 ** -10;
+    this.minTasks = config.minTasks ?? 3;
+    if (!(this.lambda >= 0)) throw new Error("DescriptionLengthGate: lambda must be \u2265 0");
+    if (!(this.scoreFloor > 0 && this.scoreFloor < 1))
+      throw new Error("DescriptionLengthGate: scoreFloor must be in (0,1)");
+  }
+  /** Decide whether `candidate` should replace `baseline`. Both are scored on
+   *  the shared task set (the enlarged evidence); the candidate promotes only
+   *  if λ·L_model + L_data is strictly lower by at least `marginBits`. */
+  evaluate(candidate, baseline) {
+    const candidateId = inferCandidateId(candidate.runs, this.baselineKey);
+    const candScores = perTaskMeanScore(candidate.runs);
+    const baseScores = perTaskMeanScore(baseline.runs);
+    const shared = [...candScores.keys()].filter((k) => baseScores.has(k));
+    const modelBits = {
+      candidate: this.lambda * modelDescriptionBits(candidate.content),
+      baseline: this.lambda * modelDescriptionBits(baseline.content)
+    };
+    const dataBits = {
+      candidate: dataDescriptionBits(candScores, shared, this.scoreFloor),
+      baseline: dataDescriptionBits(baseScores, shared, this.scoreFloor)
+    };
+    const totalBits = {
+      candidate: modelBits.candidate + dataBits.candidate,
+      baseline: modelBits.baseline + dataBits.baseline
+    };
+    const evidence = {
+      tasks: shared.length,
+      modelBits,
+      dataBits,
+      totalBits,
+      deltaBits: totalBits.candidate - totalBits.baseline,
+      modelBitsDelta: modelBits.candidate - modelBits.baseline,
+      dataBitsDelta: dataBits.candidate - dataBits.baseline
+    };
+    const base = { candidateId, baselineId: this.baselineKey, evidence };
+    const fmt2 = (n) => n.toFixed(1);
+    if (shared.length < this.minTasks) {
+      return {
+        ...base,
+        promote: false,
+        reason: `few_tasks: ${shared.length} shared task(s) < min ${this.minTasks}`,
+        rejectionCode: "few_tasks"
+      };
+    }
+    if (!(evidence.deltaBits < -this.marginBits)) {
+      const code = evidence.dataBitsDelta < 0 ? "model_bloat" : "no_total_gain";
+      const why = code === "model_bloat" ? `model grew ${fmt2(evidence.modelBitsDelta)} bits, outpacing a ${fmt2(-evidence.dataBitsDelta)}-bit data gain` : `outcomes did not improve (data \u0394=${fmt2(evidence.dataBitsDelta)} bits)`;
+      return {
+        ...base,
+        promote: false,
+        reason: `${code}: total \u0394=${fmt2(evidence.deltaBits)} bits does not clear the ${fmt2(this.marginBits)}-bit margin \u2014 ${why}`,
+        rejectionCode: code
+      };
+    }
+    return {
+      ...base,
+      promote: true,
+      reason: `promote: total \u0394=${fmt2(evidence.deltaBits)} bits (model \u0394=${fmt2(evidence.modelBitsDelta)}, data \u0394=${fmt2(evidence.dataBitsDelta)}) over ${shared.length} tasks`,
+      rejectionCode: null
+    };
+  }
+};
+function inferCandidateId(runs, baselineKey) {
+  for (const run of runs)
+    if (run.candidateId && run.candidateId !== baselineKey) return run.candidateId;
+  return runs[0]?.candidateId ?? "(unknown candidate)";
+}
+
 // src/discover-personas.ts
 import { promises as fs } from "fs";
 import { basename, extname, join as join3 } from "path";
@@ -7240,7 +7359,7 @@ var HeldOutGate = class {
    *  the candidate run with the matching baseline run. Pairs without
    *  a holdout score on both sides are dropped. */
   evaluate(candidate, baseline) {
-    const candidateId = inferCandidateId(candidate, this.baselineKey);
+    const candidateId = inferCandidateId2(candidate, this.baselineKey);
     const baselineId = this.baselineKey;
     const baselineHoldoutByKey = indexHoldoutByKey(baseline);
     const beforeHoldout = [];
@@ -7343,7 +7462,7 @@ var HeldOutGate = class {
     };
   }
 };
-function inferCandidateId(candidate, baselineKey) {
+function inferCandidateId2(candidate, baselineKey) {
   for (const run of candidate) {
     if (run.candidateId && run.candidateId !== baselineKey) return run.candidateId;
   }
@@ -8314,6 +8433,7 @@ export {
   DEFAULT_TRACE_ANALYST_BUDGETS,
   DEFAULT_TRACE_ANALYST_KINDS,
   Dataset,
+  DescriptionLengthGate,
   DockerSandboxDriver,
   DualAgentBench,
   ERROR_COUNT_PATTERNS,
@@ -8485,6 +8605,7 @@ export {
   createTraceAnalystKind,
   crossTraceDiff,
   crowdingDistance,
+  dataDescriptionBits,
   decideNextUserTurn,
   decideReferenceReplayPromotion,
   decideReferenceReplayRunPromotion,
@@ -8591,6 +8712,7 @@ export {
   matchGoldens,
   mergeLayerResults,
   mergeSteeringBundle,
+  modelDescriptionBits,
   multiToolchainLayer,
   nistAiRmfReport,
   normalizeScores,
@@ -8613,6 +8735,7 @@ export {
   parseGoldJsonl,
   parseReflectionResponse,
   parseRunRecordSafe,
+  parseRuntimeTrajectoryHookEvent,
   partialCredit,
   passOrthogonality,
   pixelDeltaRatio,
@@ -8623,6 +8746,7 @@ export {
   probeLlm,
   profile_exports as profile,
   projectOtlpFlatLine,
+  projectRuntimeTrajectoryEvidence,
   promptBisect,
   proposeAutomatedPullRequest,
   proposeSynthesisTargets,