@attest-ai/core 1.0.0-rc.2 → 1.0.0-rc.4

package/dist/cjs/index.d.cts

@@ -1,12 +1,12 @@
-import { InitializeResult, ProtocolLogger, ProtocolDiagnostic, Trace, Assertion, BatchBudget, EvaluateBatchResult, DriftReport, SimulatePersona, ConversationMessage, SimulateFaultConfig, Step, AssertionResult, Usage, Outcome } from './proto/index.cjs';
-export { AgentId, AssertionId, AssertionSpec, BiasProbe, ConstraintSpec, ContentSpec, ERR_ASSERTION_ERROR, ERR_ENGINE_ERROR, ERR_INVALID_TRACE, ERR_PROVIDER_ERROR, ERR_SESSION_ERROR, ERR_TIMEOUT, EmbeddingSpec, EngineTimeoutError, ErrorData, EvaluateBatchParams, Exchange, FailureClass, GenerateUserMessageParams, GenerateUserMessageResult, Handoff, InitializeParams, JudgeAgreement, JudgeMetadata, LlmJudgeSpec, OTLPConversionError, OUTCOME_FAIL, OUTCOME_PASS, OUTCOME_SKIP, PluginSpec, ProtocolDesyncError, ProtocolDiagnosticBuffer, ProtocolDiagnosticKind, ProtocolError, QueryDriftParams, QueryDriftResult, REASON_BUDGET_EXHAUSTED, REASON_JUDGE_ABSTAINED, REASON_MISSING_EVIDENCE, REASON_PROVIDER_NOT_CONFIGURED, REASON_PROVIDER_UNAVAILABLE, REASON_SHORT_CIRCUITED, REASON_SIMULATION, RPCError, RPCRequest, RPCResponse, STATUS_HARD_FAIL, STATUS_NOT_EVALUATED, STATUS_PASS, STATUS_SOFT_FAIL, STEP_AGENT_CALL, STEP_LLM_CALL, STEP_RETRIEVAL, STEP_TOOL_CALL, SchemaSpec, ShutdownResult, StepError, SubmitPluginResultParams, TYPE_CONSTRAINT, TYPE_CONTENT, TYPE_EMBEDDING, TYPE_LLM_JUDGE, TYPE_PLUGIN, TYPE_SCHEMA, TYPE_TRACE, TYPE_TRACE_TREE, TraceId, TraceMetadata, TraceSpec, TraceTreeSpec, Turn, agentId, assertionId, decodeResponse, encodeRequest, extractId, extractResult, layerForType, previewLine, traceId } from './proto/index.cjs';
+import { InitializeResult, ProtocolLogger, ProtocolDiagnostic, Trace, Assertion, BatchBudget, BatchContext, EvaluateBatchResult, DriftReport, SimulatePersona, ConversationMessage, SimulateFaultConfig, Step, AssertionResult, Usage, Outcome } from './proto/index.cjs';
+export { AgentId, AssertionId, AssertionSpec, BiasProbe, ConstraintSpec, ContentSpec, ERR_ASSERTION_ERROR, ERR_ENGINE_ERROR, ERR_INVALID_TRACE, ERR_PROVIDER_ERROR, ERR_SESSION_ERROR, ERR_TIMEOUT, EffectSpec, EmbeddingSpec, EngineTimeoutError, ErrorData, EvaluateBatchParams, Exchange, FailureClass, GenerateUserMessageParams, GenerateUserMessageResult, Handoff, InitializeParams, JudgeAgreement, JudgeMetadata, LlmJudgeSpec, OTLPConversionError, OUTCOME_FAIL, OUTCOME_PASS, OUTCOME_SKIP, PluginSpec, ProtocolDesyncError, ProtocolDiagnosticBuffer, ProtocolDiagnosticKind, ProtocolError, QueryDriftParams, QueryDriftResult, REASON_BUDGET_EXHAUSTED, REASON_JUDGE_ABSTAINED, REASON_MISSING_EVIDENCE, REASON_PROVIDER_NOT_CONFIGURED, REASON_PROVIDER_UNAVAILABLE, REASON_REPLAY_MISS, REASON_SHORT_CIRCUITED, REASON_SIMULATION, RPCError, RPCRequest, RPCResponse, STATUS_HARD_FAIL, STATUS_NOT_EVALUATED, STATUS_PASS, STATUS_SOFT_FAIL, STEP_AGENT_CALL, STEP_LLM_CALL, STEP_RETRIEVAL, STEP_TOOL_CALL, SchemaSpec, ShutdownResult, StepError, SubmitPluginResultParams, TYPE_CONSTRAINT, TYPE_CONTENT, TYPE_EFFECT, TYPE_EMBEDDING, TYPE_LLM_JUDGE, TYPE_PLUGIN, TYPE_SCHEMA, TYPE_TRACE, TYPE_TRACE_TREE, TraceId, TraceMetadata, TraceSpec, TraceTreeSpec, Turn, agentId, assertionId, decodeResponse, encodeRequest, extractId, extractResult, layerForType, previewLine, traceId } from './proto/index.cjs';
 import { ChildProcess } from 'node:child_process';
 import { Interface } from 'node:readline';
 import { AsyncLocalStorage } from 'node:async_hooks';
 import { EventEmitter } from 'node:events';
 
-declare const VERSION = "1.0.0-rc.2";
-declare const ENGINE_VERSION = "1.0.0-rc.2";
+declare const VERSION = "1.0.0-rc.4";
+declare const ENGINE_VERSION = "1.0.0-rc.4";
 
 declare class EngineManager {
     private enginePath;
@@ -84,6 +84,7 @@ declare class AttestClient {
     evaluateBatch(trace: Trace, assertions: readonly Assertion[], options?: {
         timeout?: number;
         budget?: BatchBudget;
+        context?: BatchContext;
     }): Promise<EvaluateBatchResult>;
     submitPluginResult(traceId: string, pluginName: string, assertionId: string, status: string, score: number, explanation: string, options?: {
         timeout?: number;
@@ -248,9 +249,52 @@ declare class TraceTree {
 
 type TrajectoryMode = "strict" | "unordered" | "subset" | "superset";
 type ArgOperator = "eq" | "ne" | "lt" | "lte" | "gt" | "gte" | "in" | "not_in";
+/** A resource's records filtered by exact field values. */
+type Where = Record<string, unknown>;
+/**
+ * Effect checks against one world snapshot, from {@link ExpectChain.world}. Each method adds
+ * an `effect` assertion (Layer 3) to the parent chain and returns it.
+ */
+declare class WorldChecks<C> {
+    private readonly _snapshot;
+    private readonly _add;
+    constructor(snapshot: Record<string, unknown> | null, add: (spec: Record<string, unknown>) => C);
+    private addCheck;
+    /**
+     * Assert how many records of `resource` match `where`. Give `equals`, or `atMost` and/or
+     * `atLeast`. A violation reads `effect violated: 2 refunds for O-1042 (expected 1)`.
+     *
+     * @throws Error when no bound is given, or `equals` is combined with another bound.
+     *
+     * @example
+     * ```ts
+     * expect(trace).world(await world.state()).count("refunds", { equals: 1, where: { order_id: "O-1042" } });
+     * ```
+     */
+    count(resource: string, opts: {
+        equals?: number;
+        atMost?: number;
+        atLeast?: number;
+        where?: Where;
+    }): C;
+    /** Assert no two matching records share the same values for field(s) `by`. */
+    unique(resource: string, opts: {
+        by: string | string[];
+        where?: Where;
+    }): C;
+    /**
+     * Assert every matching record carries a distinct value in field `key` (default
+     * `idempotency_key`), the record field that stores the idempotency key.
+     */
+    idempotent(resource: string, opts?: {
+        key?: string;
+        where?: Where;
+    }): C;
+}
 declare class ExpectChain {
     private readonly _result;
     private readonly _assertions;
+    private _worldBytes;
     constructor(result: AgentResult);
     get assertions(): Assertion[];
     get trace(): Trace;
@@ -565,6 +609,12 @@ declare class ExpectChain {
     toolArgSatisfies(tool: string, arg: string, op: ArgOperator, value: unknown, opts?: {
         soft?: boolean;
     }): this;
+    /**
+     * Check effects in a world snapshot:
+     * `expect(trace).world(await world.state()).count(...)`. `null` means the test ran without
+     * a world helper: the checks are `not_evaluated` (`missing_evidence`).
+     */
+    world(snapshot: Record<string, unknown> | null): WorldChecks<this>;
     /**
      * Assert the output message contains the given string.
      *
@@ -955,6 +1005,264 @@ declare class ExpectChain {
  */
 declare function attestExpect(result: AgentResult | Trace): ExpectChain;
 
+/**
+ * Capture: turn a run into a verified fixture, and fixtures into tests.
+ *
+ * `attest capture --name <name> -- <command>` (the engine) records a run's trace and model
+ * exchanges into `tests/attest/fixtures/<name>.attest.json`. This module is the TypeScript
+ * side:
+ *
+ * - `record()` captures the code in a callback in this process.
+ * - `loadFixture()` reads a fixture (`proto/attest/v1/fixture-v1.schema.json`).
+ * - `emitVitest()` writes the fixture's drafted contracts as a Vitest file, using the
+ *   `attestExpect()` DSL. `attest capture` and `record()` call it.
+ */
+
+/** A capture did not produce a fixture, or produced one that is not verified. */
+declare class CaptureError extends Error {
+    /** The fixture written, when the engine wrote one. */
+    readonly fixture: string | null;
+    constructor(message: string, fixture?: string | null);
+}
+/** A drafted contract: an engine assertion spec plus its id and description. */
+interface Contract {
+    id: string;
+    kind: string;
+    description: string;
+    type: string;
+    spec: Record<string, unknown>;
+}
+/** A contract's status on the captured trace. */
+interface ContractResult {
+    contract: string;
+    status: string;
+    explanation: string;
+}
+/** A capture fixture (fixture-v1). */
+interface Fixture {
+    name: string;
+    source: {
+        kind: string;
+        replay_capable: boolean;
+        command?: string[];
+        exit_code?: number;
+    };
+    trace: Trace;
+    exchanges: Record<string, unknown>[];
+    contracts: Contract[];
+    verification: {
+        verified: boolean;
+        expect_fail: boolean;
+        trace_check: {
+            ok: boolean;
+            errors: number;
+            warnings: number;
+        };
+        results: ContractResult[];
+        expected_failures: string[];
+    };
+    world: Record<string, unknown> | null;
+}
+/** Read a capture fixture written by `attest capture` or `record()`. */
+declare function loadFixture(file: string | URL): Fixture;
+/** The `ExpectChain` method call that emits `contract`'s spec; throws when there is none. */
+declare function dslCall(contract: Contract): string;
+/**
+ * Where the drafted test for a fixture goes: `tests/attest/<name>.test.ts` for
+ * `tests/attest/fixtures/<name>.attest.json`.
+ */
+declare function testPathFor(fixturePath: string): string;
+/**
+ * Render a fixture's drafted contracts as a Vitest module.
+ *
+ * A verified fixture becomes a test that enforces every contract with `evaluate`. An
+ * incident reproduction (`expect_fail`) becomes a test that checks, with `inspect`, that
+ * the expected failures still fail and the other contracts still pass; it stays green
+ * while it reproduces the incident.
+ */
+declare function renderVitest(fixture: Fixture, fixturePath: string, testPath: string): string;
+/**
+ * Write the drafted Vitest file for a fixture unless it already exists. Returns the path
+ * written, or null when a test file is already there (re-capturing never overwrites an
+ * edited test).
+ */
+declare function emitVitest(fixturePath: string): string | null;
+/** A running in-process capture. */
+interface Capture {
+    name: string;
+    /** The variables `record()` set in `process.env` for the callback. */
+    env: Record<string, string>;
+}
+interface RecordOptions {
+    /** Fixture directory (default `tests/attest/fixtures`). */
+    outDir?: string;
+    /** Save an incident reproduction: verified when drafted contracts fail. */
+    expectFail?: boolean;
+    /** Trace `agent_id` (default: the first turn's agent name). */
+    agentId?: string;
+    /** Write the drafted Vitest file (default true). */
+    emitTest?: boolean;
+    /** Engine binary (default: the SDK's engine discovery). */
+    enginePath?: string;
+    /**
+     * A `world.yaml` to host for the callback (the engine's `--world`): its base URL variable
+     * (`PAYMENTS_BASE_URL`) is set for the callback and the world's final state is saved in
+     * the fixture's `world` section.
+     */
+    world?: string;
+    /**
+     * Called after the callback returns and before the fixture is built; pass the tracer
+     * provider's `forceFlush` so batched spans reach the receiver.
+     */
+    flush?: () => unknown;
+}
+interface RecordResult<T> {
+    value: T;
+    fixture: string;
+    verified: boolean;
+    testFile: string | null;
+}
+/**
+ * Capture `fn` as fixture `<outDir>/<name>.attest.json`.
+ *
+ * Starts `attest-engine capture --serve`, which hosts the recording proxy and the
+ * OTLP/HTTP receiver on 127.0.0.1, and sets `OPENAI_BASE_URL`, `ANTHROPIC_BASE_URL` and
+ * `OTEL_EXPORTER_OTLP_TRACES_ENDPOINT` while `fn` runs. Model clients and the
+ * OpenTelemetry exporter read these when they are constructed, so construct them inside
+ * `fn`, and pass the tracer provider's `forceFlush` as `flush`. Afterwards the variables
+ * are restored and the engine writes the fixture; for a verified fixture with `emitTest`
+ * the drafted Vitest file is written unless one exists. If `fn` throws, the capture is
+ * abandoned and no fixture is written. Captures cannot overlap.
+ *
+ * @throws CaptureError when another capture is running, the engine writes no fixture,
+ *   or the fixture is not verified (its drafted contracts did not hold; the fixture is
+ *   still written and no test is drafted).
+ */
+declare function record<T>(name: string, fn: (capture: Capture) => T | Promise<T>, opts?: RecordOptions): Promise<RecordResult<T>>;
+
+/**
+ * Replay: run the agent's real code with model responses served from a fixture.
+ *
+ * `startReplay(name)` starts `attest-engine replay --serve`, which hosts the replay
+ * proxy on 127.0.0.1, and sets `OPENAI_BASE_URL`, `ANTHROPIC_BASE_URL` and
+ * `OTEL_EXPORTER_OTLP_TRACES_ENDPOINT` until `finish()`. The proxy answers every model
+ * request from `<fixturesDir>/<name>.attest.json` and makes no provider call. A request
+ * that matches no recording is a miss; `finish()` returns the engine's summary.
+ */
+type ReplayMode = "strict" | "auto";
+type ReplayModeSetting = ReplayMode | "off";
+/** One request the agent made during the replay. */
+interface ReplayRecord {
+    seq: number;
+    provider: string;
+    api: string;
+    outcome: "replayed" | "live" | "miss";
+    exchange?: number;
+    message?: string;
+}
+/** What the replay session served, as the engine reports it. */
+interface ReplaySummary {
+    fixture: string;
+    mode: ReplayMode;
+    replayed: number;
+    live: number;
+    misses: number;
+    unused: number;
+    live_cost_usd: number;
+    unpriced_live_calls: number;
+    records: ReplayRecord[];
+}
+/** A strict-mode replay request matched no recording. `message` is the engine's miss message. */
+declare class ReplayMissError extends Error {
+    readonly summary: ReplaySummary;
+    constructor(message: string, summary: ReplaySummary);
+}
+/** An auto-mode replay request matched no recording and no provider key was set: `not_evaluated: replay_miss`. */
+declare class ReplayNotEvaluatedError extends Error {
+    readonly summary: ReplaySummary;
+    constructor(message: string, summary: ReplaySummary);
+}
+declare class ReplayError extends Error {
+    constructor(message: string);
+}
+interface ReplayOptions {
+    /** Fixture directory (default `tests/attest/fixtures`). */
+    fixturesDir?: string;
+    /** `strict`, `auto` or `off`; default per `resolveMode`. `off` starts nothing. */
+    mode?: ReplayModeSetting;
+    /**
+     * Pass `--no-live` to the engine: no miss is forwarded live. Default: `ATTEST_EGRESS=block`.
+     * An installed egress guard always implies it.
+     */
+    noLive?: boolean;
+    /** Engine binary (default: the SDK's engine discovery). */
+    enginePath?: string;
+}
+interface ReplaySession {
+    readonly name: string;
+    readonly mode: ReplayModeSetting;
+    /** The variables the session set in `process.env`. */
+    readonly env: Record<string, string>;
+    /** The summary once `finish()` has run, else `null`. */
+    readonly summary: ReplaySummary | null;
+    /** Stop the engine, restore the environment and return the summary (`null` for `off`). Idempotent. */
+    finish(): Promise<ReplaySummary | null>;
+    /** The error a miss raises (valid after `finish()`): strict => miss, auto => not evaluated. */
+    error(): ReplayMissError | ReplayNotEvaluatedError | null;
+    /** `finish()`, then throw `error()` if any. */
+    check(): Promise<void>;
+}
+/**
+ * Replay mode from `explicit`, else `ATTEST_REPLAY` (`strict|auto|off`), else `strict`
+ * when `CI` is set, else `auto`.
+ */
+declare function resolveMode(explicit?: ReplayModeSetting, env?: NodeJS.ProcessEnv): ReplayModeSetting;
+/** Start a replay session for fixture `name`. Sessions cannot overlap. */
+declare function startReplay(name: string, opts?: ReplayOptions): Promise<ReplaySession>;
+/** The first miss message of a summary, or `null`. */
+declare function firstMiss(summary: ReplaySummary): string | null;
+/** `N live model calls · $X.XX`, plus ` (+N unpriced)`. */
+declare function liveLine(live: number, costUsd: number, unpriced?: number): string;
+
+/** A world-v1 snapshot. */
+type WorldSnapshot = Record<string, unknown>;
+declare class WorldError extends Error {
+    constructor(message: string);
+}
+interface WorldOptions {
+    /** Engine binary (default: the SDK's engine discovery). */
+    enginePath?: string;
+}
+interface WorldSession {
+    /** The absolute `world.yaml` path. */
+    readonly path: string;
+    /** The variable the session set in `process.env`: the world's base URL. */
+    readonly env: Record<string, string>;
+    /** The world's base URL. */
+    readonly baseUrl: string;
+    /** The current world-v1 snapshot, read from the running world. */
+    state(): Promise<WorldSnapshot>;
+    /** Stop the world, restore the environment and return the final snapshot. Idempotent. */
+    stop(): Promise<WorldSnapshot>;
+}
+/** Host the world defined by `worldFile` until the session stops. Worlds cannot overlap. */
+declare function startWorld(worldFile: string, opts?: WorldOptions): Promise<WorldSession>;
+
+declare class EgressBlockedError extends Error {
+    readonly host: string;
+    constructor(host: string);
+}
+declare function isProviderHost(host: string): boolean;
+/** True when `ATTEST_EGRESS=block`. */
+declare function egressBlockRequested(env?: NodeJS.ProcessEnv): boolean;
+/**
+ * Install the guard. Installs are counted: the returned function releases only this
+ * install (once), and the guard comes off when every install has been released.
+ */
+declare function installEgressGuard(): () => void;
+/** Remove the guard now, whatever the install count. */
+declare function uninstallEgressGuard(): void;
+
 declare class Agent {
     readonly name: string;
     private readonly fn;
@@ -1286,7 +1594,7 @@ declare class OTelAdapter {
      * @throws RangeError when a parsed export holds a non-finite number.
      * @throws OTLPConversionError when the engine times out, overflows the output buffer or
      *   prints no trace.
-     * @throws Error from `spawnSync` when the engine cannot start.
+     * @throws Error when the engine cannot start.
      */
     static fromOtlp(otlp: OTLPInput, agentId?: string): Promise<Trace>;
 }
@@ -1355,4 +1663,5 @@ interface TraceAdapter {
     traceFromResponse(response: unknown, options?: Record<string, unknown>): Trace;
 }
 
-export { ADVERSARIAL_USER, Agent, AgentResult, type AgreementResult, AlertDispatcher, type AlertPayload, AnthropicAdapter, Assertion, AssertionResult, AttestClient, type AttestClientOptions, type AttestPlugin, BatchBudget, CONFUSED_USER, COOPERATIVE_USER, ContinuousEvalRunner, ConversationMessage, DriftReport, ENGINE_VERSION, EngineManager, EvaluateBatchResult, ExpectChain, FRIENDLY_USER, GeminiAdapter, InitializeResult, type LabelPair, type LabeledRecord, LangChainAdapter, ManualAdapter, OTelAdapter, OllamaAdapter, OpenAIAdapter, Outcome, PluginRegistry, type PluginResult, ProtocolDiagnostic, ProtocolLogger, type RenderOptions, Sampler, SimulateFaultConfig, SimulatePersona, Step, TIER_1, TIER_2, TIER_3, Trace, type TraceAdapter, TraceBuilder, TraceTree, Usage, VERSION, activeBuilder, addUsage, agent, attestExpect, computeAgreement, config, delegate, executePluginAssertion, formatUsage, getSampleRate, isSimulationMode, loadLabelsCSV, loadLabelsJSONL, parseUsage, promptHash, renderAssertionFailure, renderDiagnostics, renderSummary, requireSimulationCapability, resetConfig, simulationEnvEnabled, sumUsage, tier, usageSummaryLine, zeroUsage };
+export { ADVERSARIAL_USER, Agent, AgentResult, AlertDispatcher, AnthropicAdapter, Assertion, AssertionResult, AttestClient, BatchBudget, BatchContext, CONFUSED_USER, COOPERATIVE_USER, CaptureError, ContinuousEvalRunner, ConversationMessage, DriftReport, ENGINE_VERSION, EgressBlockedError, EngineManager, EvaluateBatchResult, ExpectChain, FRIENDLY_USER, GeminiAdapter, InitializeResult, LangChainAdapter, ManualAdapter, OTelAdapter, OllamaAdapter, OpenAIAdapter, Outcome, PluginRegistry, ProtocolDiagnostic, ProtocolLogger, ReplayError, ReplayMissError, ReplayNotEvaluatedError, Sampler, SimulateFaultConfig, SimulatePersona, Step, TIER_1, TIER_2, TIER_3, Trace, TraceBuilder, TraceTree, Usage, VERSION, WorldChecks, WorldError, activeBuilder, addUsage, agent, attestExpect, computeAgreement, config, delegate, dslCall, egressBlockRequested, emitVitest, executePluginAssertion, firstMiss, formatUsage, getSampleRate, installEgressGuard, isProviderHost, isSimulationMode, liveLine, loadFixture, loadLabelsCSV, loadLabelsJSONL, parseUsage, promptHash, record, renderAssertionFailure, renderDiagnostics, renderSummary, renderVitest, requireSimulationCapability, resetConfig, resolveMode, simulationEnvEnabled, startReplay, startWorld, sumUsage, testPathFor, tier, uninstallEgressGuard, usageSummaryLine, zeroUsage };
+export type { AgreementResult, AlertPayload, AttestClientOptions, AttestPlugin, Capture, Contract, ContractResult, Fixture, LabelPair, LabeledRecord, PluginResult, RecordOptions, RecordResult, RenderOptions, ReplayMode, ReplayModeSetting, ReplayOptions, ReplayRecord, ReplaySession, ReplaySummary, TraceAdapter, WorldOptions, WorldSession, WorldSnapshot };

package/dist/cjs/proto/index.cjs

@@ -40,6 +40,7 @@ __export(proto_exports, {
   REASON_MISSING_EVIDENCE: () => REASON_MISSING_EVIDENCE,
   REASON_PROVIDER_NOT_CONFIGURED: () => REASON_PROVIDER_NOT_CONFIGURED,
   REASON_PROVIDER_UNAVAILABLE: () => REASON_PROVIDER_UNAVAILABLE,
+  REASON_REPLAY_MISS: () => REASON_REPLAY_MISS,
   REASON_SHORT_CIRCUITED: () => REASON_SHORT_CIRCUITED,
   REASON_SIMULATION: () => REASON_SIMULATION,
   STATUS_HARD_FAIL: () => STATUS_HARD_FAIL,
@@ -52,6 +53,7 @@ __export(proto_exports, {
   STEP_TOOL_CALL: () => STEP_TOOL_CALL,
   TYPE_CONSTRAINT: () => TYPE_CONSTRAINT,
   TYPE_CONTENT: () => TYPE_CONTENT,
+  TYPE_EFFECT: () => TYPE_EFFECT,
   TYPE_EMBEDDING: () => TYPE_EMBEDDING,
   TYPE_LLM_JUDGE: () => TYPE_LLM_JUDGE,
   TYPE_PLUGIN: () => TYPE_PLUGIN,
@@ -86,12 +88,14 @@ var REASON_MISSING_EVIDENCE = "missing_evidence";
 var REASON_SHORT_CIRCUITED = "short_circuited";
 var REASON_BUDGET_EXHAUSTED = "budget_exhausted";
 var REASON_JUDGE_ABSTAINED = "judge_abstained";
+var REASON_REPLAY_MISS = "replay_miss";
 var OUTCOME_PASS = "pass";
 var OUTCOME_FAIL = "fail";
 var OUTCOME_SKIP = "skip";
 var TYPE_SCHEMA = "schema";
 var TYPE_CONSTRAINT = "constraint";
 var TYPE_TRACE = "trace";
+var TYPE_EFFECT = "effect";
 var TYPE_CONTENT = "content";
 var TYPE_EMBEDDING = "embedding";
 var TYPE_LLM_JUDGE = "llm_judge";
@@ -129,6 +133,7 @@ function layerForType(assertionType) {
       return 2;
     case "trace":
     case "trace_tree":
+    case "effect":
       return 3;
     case "content":
       return 4;
@@ -308,6 +313,7 @@ function extractId(response) {
   REASON_MISSING_EVIDENCE,
   REASON_PROVIDER_NOT_CONFIGURED,
   REASON_PROVIDER_UNAVAILABLE,
+  REASON_REPLAY_MISS,
   REASON_SHORT_CIRCUITED,
   REASON_SIMULATION,
   STATUS_HARD_FAIL,
@@ -320,6 +326,7 @@ function extractId(response) {
   STEP_TOOL_CALL,
   TYPE_CONSTRAINT,
   TYPE_CONTENT,
+  TYPE_EFFECT,
   TYPE_EMBEDDING,
   TYPE_LLM_JUDGE,
   TYPE_PLUGIN,

package/dist/cjs/proto/index.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../src/proto/index.ts","../../../src/proto/constants.ts","../../../src/proto/types.ts","../../../src/proto/errors.ts","../../../src/proto/diagnostics.ts","../../../src/proto/codec.ts"],"sourcesContent":["export * from \"./constants.js\";\nexport * from \"./types.js\";\nexport * from \"./errors.js\";\nexport {\n  ProtocolDiagnosticBuffer,\n  previewLine,\n} from \"./diagnostics.js\";\nexport type {\n  ProtocolDiagnostic,\n  ProtocolDiagnosticKind,\n  ProtocolLogger,\n} from \"./diagnostics.js\";\nexport { encodeRequest, decodeResponse, extractResult, extractId } from \"./codec.js\";\n","// Step type constants\nexport const STEP_LLM_CALL = \"llm_call\" as const;\nexport const STEP_TOOL_CALL = \"tool_call\" as const;\nexport const STEP_RETRIEVAL = \"retrieval\" as const;\nexport const STEP_AGENT_CALL = \"agent_call\" as const;\n\n// Status constants\nexport const STATUS_PASS = \"pass\" as const;\nexport const STATUS_SOFT_FAIL = \"soft_fail\" as const;\nexport const STATUS_HARD_FAIL = \"hard_fail\" as const;\nexport const STATUS_NOT_EVALUATED = \"not_evaluated\" as const;\n\n// Reasons carried by a not_evaluated result (AssertionResult.reason)\nexport const REASON_PROVIDER_UNAVAILABLE = \"provider_unavailable\" as const;\nexport const REASON_PROVIDER_NOT_CONFIGURED = \"provider_not_configured\" as const;\nexport const REASON_SIMULATION = \"simulation\" as const;\nexport const REASON_MISSING_EVIDENCE = \"missing_evidence\" as const;\nexport const REASON_SHORT_CIRCUITED = \"short_circuited\" as const;\nexport const REASON_BUDGET_EXHAUSTED = \"budget_exhausted\" as const;\nexport const REASON_JUDGE_ABSTAINED = \"judge_abstained\" as const;\n\n// Test outcomes derived from a batch of assertion results (AgentResult.outcome)\nexport const OUTCOME_PASS = \"pass\" as const;\nexport const OUTCOME_FAIL = \"fail\" as const;\nexport const OUTCOME_SKIP = \"skip\" as const;\nexport type Outcome = typeof OUTCOME_PASS | typeof OUTCOME_FAIL | typeof OUTCOME_SKIP;\n\n// Assertion type constants\nexport const TYPE_SCHEMA = \"schema\" as const;\nexport const TYPE_CONSTRAINT = \"constraint\" as const;\nexport const TYPE_TRACE = \"trace\" as const;\nexport const TYPE_CONTENT = \"content\" as const;\nexport const TYPE_EMBEDDING = \"embedding\" as const;\nexport const TYPE_LLM_JUDGE = \"llm_judge\" as const;\nexport const TYPE_TRACE_TREE = \"trace_tree\" as const;\nexport const TYPE_PLUGIN = \"plugin\" as const;\n\n// Error code constants\nexport const ERR_INVALID_TRACE = 1001 as const;\nexport const ERR_ASSERTION_ERROR = 1002 as const;\nexport const ERR_PROVIDER_ERROR = 2001 as const;\nexport const ERR_ENGINE_ERROR = 3001 as const;\nexport const ERR_TIMEOUT = 3002 as const;\nexport const ERR_SESSION_ERROR = 3003 as const;\n","// ---------------------------------------------------------------------------\n// Branded ID types (T6)\n// ---------------------------------------------------------------------------\n\ndeclare const __brand: unique symbol;\ntype Brand<T, B extends string> = T & { readonly [__brand]: B };\n\nexport type TraceId = Brand<string, \"TraceId\">;\nexport type AssertionId = Brand<string, \"AssertionId\">;\nexport type AgentId = Brand<string, \"AgentId\">;\n\nexport function traceId(id: string): TraceId {\n  return id as TraceId;\n}\n\nexport function assertionId(id: string): AssertionId {\n  return id as AssertionId;\n}\n\nexport function agentId(id: string): AgentId {\n  return id as AgentId;\n}\n\n// ---------------------------------------------------------------------------\n// Assertion spec discriminated unions (T5)\n// ---------------------------------------------------------------------------\n\nexport interface SchemaSpec {\n  readonly type: \"schema\";\n  readonly target: string;\n  readonly schema: Record<string, unknown>;\n}\n\nexport interface ConstraintSpec {\n  readonly type: \"constraint\";\n  readonly field: string;\n  readonly operator: string;\n  readonly value?: number;\n  readonly min?: number;\n  readonly max?: number;\n  readonly soft: boolean;\n}\n\nexport interface TraceSpec {\n  readonly type: \"trace\";\n  readonly check: string;\n  readonly tools?: string[];\n  readonly tool?: string;\n  readonly max_repetitions?: number;\n  readonly soft: boolean;\n}\n\nexport interface ContentSpec {\n  readonly type: \"content\";\n  readonly target: string;\n  readonly check: string;\n  readonly value?: string;\n  readonly values?: string[];\n  readonly case_sensitive?: boolean;\n  readonly soft?: boolean;\n}\n\nexport interface EmbeddingSpec {\n  readonly type: \"embedding\";\n  readonly target: string;\n  readonly reference: string;\n  readonly threshold: number | \"dynamic\";\n  readonly model?: string;\n  readonly soft: boolean;\n}\n\nexport interface LlmJudgeSpec {\n  readonly type: \"llm_judge\";\n  readonly target: string;\n  readonly criteria: string;\n  readonly rubric: string;\n  readonly threshold: number | \"dynamic\";\n  readonly model?: string;\n  readonly soft: boolean;\n}\n\nexport interface TraceTreeSpec {\n  readonly type: \"trace_tree\";\n  readonly check: string;\n  readonly [key: string]: unknown;\n}\n\nexport interface PluginSpec {\n  readonly type: \"plugin\";\n  readonly plugin_id: string;\n  readonly config?: Record<string, unknown>;\n  readonly soft: boolean;\n}\n\nexport type AssertionSpec =\n  | SchemaSpec\n  | ConstraintSpec\n  | TraceSpec\n  | ContentSpec\n  | EmbeddingSpec\n  | LlmJudgeSpec\n  | TraceTreeSpec\n  | PluginSpec;\n\n// ---------------------------------------------------------------------------\n// Core protocol types\n// ---------------------------------------------------------------------------\n\nexport interface TraceMetadata {\n  readonly total_tokens?: number;\n  readonly cost_usd?: number;\n  readonly latency_ms?: number;\n  readonly model?: string;\n  readonly timestamp?: string;\n}\n\n/** Trace v2: a step whose span ended in error. */\nexport interface StepError {\n  readonly type: string;\n  readonly message?: string;\n}\n\n/** Trace v2: a recorded model request/response pair. */\nexport interface Exchange {\n  readonly request: Record<string, unknown>;\n  readonly response: Record<string, unknown>;\n}\n\n/** Trace v2: one conversation turn and the indices of its steps. */\nexport interface Turn {\n  readonly index: number;\n  readonly span_id?: string;\n  readonly input?: unknown;\n  readonly output?: unknown;\n  readonly step_indices: readonly number[];\n}\n\n/** Trace v2: control passing from one agent to another at an agent_call step. */\nexport interface Handoff {\n  readonly from_agent: string;\n  readonly to_agent: string;\n  readonly step_index: number;\n}\n\nexport interface Step {\n  readonly type: string;\n  readonly name: string;\n  readonly args?: Record<string, unknown>;\n  readonly result?: Record<string, unknown>;\n  readonly sub_trace?: Trace;\n  readonly metadata?: Record<string, unknown>;\n  readonly started_at_ms?: number;\n  readonly ended_at_ms?: number;\n  readonly agent_id?: string;\n  readonly agent_role?: string;\n  // Trace v2 (schema_version 2) fields.\n  readonly span_id?: string;\n  readonly parent_span_id?: string;\n  readonly tool_call_id?: string;\n  readonly retry_of?: number;\n  readonly error?: StepError;\n  readonly exchange?: Exchange;\n}\n\nexport interface Trace {\n  readonly trace_id: string;\n  readonly output: Record<string, unknown>;\n  readonly schema_version?: number;\n  readonly agent_id?: string;\n  readonly input?: Record<string, unknown>;\n  readonly steps: readonly Step[];\n  readonly metadata?: TraceMetadata;\n  readonly parent_trace_id?: string;\n  // Trace v2 (schema_version 2) fields.\n  readonly conversation_id?: string;\n  readonly turns?: readonly Turn[];\n  readonly handoffs?: readonly Handoff[];\n}\n\nexport interface Assertion {\n  readonly assertion_id: string;\n  readonly type: string;\n  readonly spec: Record<string, unknown>;\n  readonly request_id?: string;\n}\n\n/**\n * Audit trail for an LLM-judge evaluation. Mirrors\n * engine/pkg/types/assertion.go::JudgeMetadata so report v2 payloads\n * round-trip without losing the model / rubric / variance evidence\n * reviewers need to triage a judge failure.\n */\nexport interface JudgeMetadata {\n  readonly provider?: string;\n  readonly model?: string;\n  readonly rubric_name?: string;\n  readonly rubric_version?: string;\n  readonly prompt_hash?: string;\n  readonly sample_scores?: readonly number[];\n  readonly score_mean?: number;\n  readonly score_stddev?: number;\n  readonly high_variance?: boolean;\n  readonly bias_probes?: readonly BiasProbe[];\n  readonly calibration?: JudgeAgreement;\n}\n\n/**\n * One judge-bias probe result. Score is the score the judge produced on\n * the mutated input; delta is `score - baseline`. A well-calibrated\n * judge has |delta| close to zero. Mirrors\n * engine/pkg/types/assertion.go::BiasProbe.\n */\nexport interface BiasProbe {\n  readonly name: string;\n  readonly score: number;\n  readonly delta: number;\n}\n\n/**\n * Calibration agreement summary keyed by\n * (rubric_name, rubric_version, prompt_hash). Mirrors\n * engine/pkg/types/assertion.go::JudgeAgreement.\n */\nexport interface JudgeAgreement {\n  readonly label_count: number;\n  readonly agreement: number;\n  readonly cohen_kappa: number;\n  readonly roc_auc?: number;\n}\n\nexport interface AssertionResult {\n  readonly assertion_id: string;\n  readonly status: string;\n  readonly score: number;\n  readonly explanation: string;\n  readonly cost?: number;\n  readonly duration_ms?: number;\n  readonly request_id?: string;\n  /** Set only when status is \"not_evaluated\" (REASON_* constants). */\n  readonly reason?: string;\n  readonly threshold_source?: string;\n  readonly layer?: number;\n  readonly type?: string;\n  readonly trace_node_path?: string;\n  readonly expected?: string;\n  readonly actual?: string;\n  readonly suggested_action?: string;\n  readonly judge_metadata?: JudgeMetadata;\n  /**\n   * Heuristic root-cause label set by the engine\n   * (broken_code / flaky_judge / bad_rubric / missing_trace_data /\n   * stochastic_variance). Empty/undefined for passes and any result the\n   * engine declined to label. Mirrors\n   * engine/pkg/types/failure_class.go.\n   */\n  readonly failure_class?: string;\n}\n\n/**\n * FailureClass values mirror engine/pkg/types/failure_class.go. Use\n * these constants when matching on AssertionResult.failure_class so a\n * typo in either codebase fails fast.\n */\nexport const FailureClass = {\n  BrokenCode: \"broken_code\",\n  FlakyJudge: \"flaky_judge\",\n  BadRubric: \"bad_rubric\",\n  MissingTraceData: \"missing_trace_data\",\n  StochasticVariance: \"stochastic_variance\",\n} as const;\nexport type FailureClass = (typeof FailureClass)[keyof typeof FailureClass];\n\n/**\n * Map an assertion-type string to its pipeline layer (1–8). Returns 0\n * when the type is unknown so callers can route uncategorised results\n * into their own bucket.\n */\nexport function layerForType(assertionType: string | undefined): number {\n  switch (assertionType) {\n    case \"schema\":\n      return 1;\n    case \"constraint\":\n      return 2;\n    case \"trace\":\n    case \"trace_tree\":\n      return 3;\n    case \"content\":\n      return 4;\n    case \"embedding\":\n      return 5;\n    case \"llm_judge\":\n      return 6;\n    case \"plugin\":\n      return 8;\n    default:\n      return 0;\n  }\n}\n\nexport interface ErrorData {\n  readonly error_type: string;\n  readonly retryable: boolean;\n  readonly detail: string;\n}\n\nexport interface RPCError {\n  readonly code: number;\n  readonly message: string;\n  readonly data?: ErrorData;\n}\n\nexport interface RPCRequest {\n  readonly jsonrpc: \"2.0\";\n  readonly id: number;\n  readonly method: string;\n  readonly params: Record<string, unknown>;\n}\n\nexport interface RPCResponse {\n  readonly jsonrpc: \"2.0\";\n  readonly id: number;\n  readonly result?: unknown;\n  readonly error?: RPCError;\n}\n\nexport interface InitializeParams {\n  readonly sdk_name: string;\n  readonly sdk_version: string;\n  readonly protocol_version: number;\n  readonly required_capabilities: readonly string[];\n  readonly preferred_encoding?: string;\n}\n\nexport interface InitializeResult {\n  readonly engine_version: string;\n  readonly protocol_version: number;\n  readonly capabilities: readonly string[];\n  readonly missing: readonly string[];\n  readonly compatible: boolean;\n  readonly encoding?: string;\n  readonly max_concurrent_requests?: number;\n  readonly max_trace_size_bytes?: number;\n  readonly max_steps_per_trace?: number;\n}\n\n/**\n * Limits for one evaluate_batch call on top of the session budget. A judge or\n * embedding call that cannot reserve against them is not sent and its\n * assertion is not_evaluated with reason \"budget_exhausted\".\n */\nexport interface BatchBudget {\n  readonly max_judge_calls?: number;\n  readonly max_cost_usd?: number;\n}\n\nexport interface EvaluateBatchParams {\n  readonly trace: Trace;\n  readonly assertions: readonly Assertion[];\n  /** Omitted when no per-batch budget applies. */\n  readonly budget?: BatchBudget;\n}\n\n/**\n * Attest-initiated model usage (embeddings, judges, judge repeats, bias\n * probes, simulated-user messages). Agent calls not routed through attest\n * are not counted.\n */\nexport interface Usage {\n  readonly model_calls: number;\n  /** Judge-provider requests, the part of model_calls that max_judge_calls limits. */\n  readonly judge_calls: number;\n  readonly input_tokens: number;\n  readonly output_tokens: number;\n  readonly cached_tokens: number;\n  readonly cost_usd: number;\n  readonly retry_cost_usd: number;\n  readonly unpriced_calls: number;\n  readonly budget_refused: number;\n}\n\nexport interface EvaluateBatchResult {\n  readonly results: readonly AssertionResult[];\n  readonly total_cost?: number;\n  readonly total_duration_ms?: number;\n  /** Always sent by the engine; validated by AttestClient.evaluateBatch. */\n  readonly usage: Usage;\n  /**\n   * True when this result was produced by an SDK simulation shim rather\n   * than a real engine evaluation. Engine-produced results always carry\n   * simulated=false. CI gates can fail builds that accidentally evaluate\n   * against the simulator by checking this flag.\n   */\n  readonly simulated?: boolean;\n}\n\nexport interface ShutdownResult {\n  readonly sessions_completed: number;\n  readonly assertions_evaluated: number;\n}\n\nexport interface SubmitPluginResultParams {\n  readonly trace_id: string;\n  readonly plugin_name: string;\n  readonly assertion_id: string;\n  readonly result: AssertionResult;\n}\n\n// ---------------------------------------------------------------------------\n// Drift detection types\n// ---------------------------------------------------------------------------\n\nexport interface DriftReport {\n  readonly assertion_id: string;\n  readonly mean: number;\n  readonly stddev: number;\n  readonly count: number;\n  readonly latest_score: number;\n  readonly deviation: number;\n  readonly status: string;\n}\n\nexport interface QueryDriftParams {\n  readonly assertion_id: string;\n  readonly window_size: number;\n}\n\nexport interface QueryDriftResult {\n  readonly report: DriftReport;\n}\n\n// ---------------------------------------------------------------------------\n// Simulation types\n// ---------------------------------------------------------------------------\n\nexport interface SimulatePersona {\n  readonly name: string;\n  readonly system_prompt: string;\n  readonly style: string;\n  readonly temperature: number;\n  readonly max_tokens?: number;\n}\n\nexport interface SimulateFaultConfig {\n  readonly error_rate: number;\n  readonly latency_jitter_ms: number;\n  readonly content_corruption: boolean;\n  readonly timeout_after_ms: number;\n}\n\nexport interface ConversationMessage {\n  readonly role: string;\n  readonly content: string;\n}\n\nexport interface GenerateUserMessageParams {\n  readonly persona: SimulatePersona;\n  readonly conversation_history: readonly ConversationMessage[];\n  readonly fault_config?: SimulateFaultConfig;\n}\n\nexport interface GenerateUserMessageResult {\n  readonly message: string;\n}\n","import type { ErrorData } from \"./types.js\";\nimport type { ProtocolDiagnostic } from \"./diagnostics.js\";\n\nexport class ProtocolError extends Error {\n  readonly code: number;\n  readonly errorMessage: string;\n  readonly data: ErrorData | undefined;\n\n  constructor(code: number, message: string, data?: ErrorData) {\n    super(message);\n    this.name = \"ProtocolError\";\n    this.code = code;\n    this.errorMessage = message;\n    this.data = data;\n  }\n}\n\nexport class EngineTimeoutError extends Error {\n  readonly method: string;\n  readonly timeoutMs: number;\n\n  constructor(method: string, timeoutMs: number) {\n    super(\n      `Engine request '${method}' timed out after ${timeoutMs}ms. ` +\n        \"Set ATTEST_ENGINE_TIMEOUT to increase the limit.\",\n    );\n    this.name = \"EngineTimeoutError\";\n    this.method = method;\n    this.timeoutMs = timeoutMs;\n  }\n}\n\n/**\n * Raised when the reader loop detects that engine output has lost\n * framing or contains repeated unparseable lines. All in-flight requests\n * are rejected with this error so callers see a visible failure rather\n * than a hung promise.\n */\nexport class ProtocolDesyncError extends Error {\n  readonly diagnostics: readonly ProtocolDiagnostic[];\n\n  constructor(message: string, diagnostics: readonly ProtocolDiagnostic[]) {\n    super(message);\n    this.name = \"ProtocolDesyncError\";\n    this.diagnostics = diagnostics;\n  }\n}\n\n/**\n * The engine rejected an OTLP/JSON export (`attest-engine trace convert`). The message is\n * the engine's error, which names the offending span or field.\n */\nexport class OTLPConversionError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = \"OTLPConversionError\";\n  }\n}\n","/**\n * Protocol diagnostic types for client-side observability.\n *\n * The reader loop emits diagnostics whenever it cannot route a response\n * line: malformed JSON, missing id, unknown id, or non-routable protocol\n * errors. Diagnostics are buffered in a bounded ring (32 entries) and\n * trigger a desync error when the rate exceeds the configured threshold.\n */\n\nexport type ProtocolDiagnosticKind =\n  | \"malformed_json\"\n  | \"non_object_response\"\n  | \"invalid_jsonrpc_version\"\n  | \"missing_id\"\n  | \"unknown_id\"\n  | \"non_routable_error\";\n\nexport interface ProtocolDiagnostic {\n  readonly kind: ProtocolDiagnosticKind;\n  readonly message: string;\n  readonly rawLine: string;\n  readonly timestampMs: number;\n}\n\nexport interface ProtocolLogger {\n  warn(message: string, ...args: unknown[]): void;\n  error(message: string, ...args: unknown[]): void;\n}\n\nconst DEFAULT_BUFFER_SIZE = 32;\nconst MAX_LINE_PREVIEW = 512;\n\nexport class ProtocolDiagnosticBuffer {\n  private readonly capacity: number;\n  private readonly entries: ProtocolDiagnostic[] = [];\n\n  constructor(capacity: number = DEFAULT_BUFFER_SIZE) {\n    if (capacity <= 0) {\n      throw new Error(\n        `ProtocolDiagnosticBuffer capacity must be positive, got ${capacity}`,\n      );\n    }\n    this.capacity = capacity;\n  }\n\n  push(diagnostic: ProtocolDiagnostic): void {\n    if (this.entries.length >= this.capacity) {\n      this.entries.shift();\n    }\n    this.entries.push(diagnostic);\n  }\n\n  snapshot(): readonly ProtocolDiagnostic[] {\n    return this.entries.slice();\n  }\n\n  countWithin(windowMs: number, nowMs: number): number {\n    const cutoff = nowMs - windowMs;\n    let count = 0;\n    for (let i = this.entries.length - 1; i >= 0; i -= 1) {\n      if (this.entries[i]!.timestampMs >= cutoff) {\n        count += 1;\n      } else {\n        break;\n      }\n    }\n    return count;\n  }\n\n  clear(): void {\n    this.entries.length = 0;\n  }\n}\n\nexport function previewLine(line: string): string {\n  if (line.length <= MAX_LINE_PREVIEW) return line;\n  return line.slice(0, MAX_LINE_PREVIEW) + \"…\";\n}\n","import type { ErrorData, RPCResponse } from \"./types.js\";\nimport { ProtocolError } from \"./errors.js\";\n\n/**\n * Encode a JSON-RPC 2.0 request as an NDJSON line.\n */\nexport function encodeRequest(\n  id: number,\n  method: string,\n  params: Record<string, unknown>,\n): string {\n  const msg = {\n    jsonrpc: \"2.0\" as const,\n    id,\n    method,\n    params,\n  };\n  return JSON.stringify(msg) + \"\\n\";\n}\n\n/**\n * Decode a JSON-RPC 2.0 response from an NDJSON line.\n * Throws ProtocolError if the response contains an error.\n * Throws Error for malformed JSON or invalid responses.\n */\nexport function decodeResponse(line: string): RPCResponse {\n  const text = line.trim();\n  if (!text) {\n    throw new Error(\"empty response line\");\n  }\n\n  let data: unknown;\n  try {\n    data = JSON.parse(text);\n  } catch (e) {\n    throw new Error(`malformed JSON response: ${e instanceof Error ? e.message : String(e)}`);\n  }\n\n  if (typeof data !== \"object\" || data === null || Array.isArray(data)) {\n    throw new Error(`expected JSON object, got ${Array.isArray(data) ? \"array\" : typeof data}`);\n  }\n\n  const obj = data as Record<string, unknown>;\n\n  if (obj.jsonrpc !== \"2.0\") {\n    throw new Error(`invalid jsonrpc version: ${String(obj.jsonrpc)}`);\n  }\n\n  if (obj.error != null) {\n    const err = obj.error as Record<string, unknown>;\n    let errorData: ErrorData | undefined;\n\n    if (err.data != null) {\n      const raw = err.data as Record<string, unknown>;\n      errorData = {\n        error_type: (raw.error_type as string) ?? \"\",\n        retryable: (raw.retryable as boolean) ?? false,\n        detail: (raw.detail as string) ?? \"\",\n      };\n    }\n\n    throw new ProtocolError(\n      (err.code as number) ?? -1,\n      (err.message as string) ?? \"unknown error\",\n      errorData,\n    );\n  }\n\n  return obj as unknown as RPCResponse;\n}\n\n/**\n * Extract the result field from a decoded response.\n */\nexport function extractResult(response: RPCResponse): unknown {\n  if (response.result === undefined) {\n    throw new Error(\"response missing 'result' field\");\n  }\n  return response.result;\n}\n\n/**\n * Extract the request ID from a decoded response.\n */\nexport function extractId(response: RPCResponse): number {\n  if (response.id === undefined) {\n    throw new Error(\"response missing 'id' field\");\n  }\n  return Number(response.id);\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;ACCO,IAAM,gBAAgB;AACtB,IAAM,iBAAiB;AACvB,IAAM,iBAAiB;AACvB,IAAM,kBAAkB;AAGxB,IAAM,cAAc;AACpB,IAAM,mBAAmB;AACzB,IAAM,mBAAmB;AACzB,IAAM,uBAAuB;AAG7B,IAAM,8BAA8B;AACpC,IAAM,iCAAiC;AACvC,IAAM,oBAAoB;AAC1B,IAAM,0BAA0B;AAChC,IAAM,yBAAyB;AAC/B,IAAM,0BAA0B;AAChC,IAAM,yBAAyB;AAG/B,IAAM,eAAe;AACrB,IAAM,eAAe;AACrB,IAAM,eAAe;AAIrB,IAAM,cAAc;AACpB,IAAM,kBAAkB;AACxB,IAAM,aAAa;AACnB,IAAM,eAAe;AACrB,IAAM,iBAAiB;AACvB,IAAM,iBAAiB;AACvB,IAAM,kBAAkB;AACxB,IAAM,cAAc;AAGpB,IAAM,oBAAoB;AAC1B,IAAM,sBAAsB;AAC5B,IAAM,qBAAqB;AAC3B,IAAM,mBAAmB;AACzB,IAAM,cAAc;AACpB,IAAM,oBAAoB;;;AChC1B,SAAS,QAAQ,IAAqB;AAC3C,SAAO;AACT;AAEO,SAAS,YAAY,IAAyB;AACnD,SAAO;AACT;AAEO,SAAS,QAAQ,IAAqB;AAC3C,SAAO;AACT;AAkPO,IAAM,eAAe;AAAA,EAC1B,YAAY;AAAA,EACZ,YAAY;AAAA,EACZ,WAAW;AAAA,EACX,kBAAkB;AAAA,EAClB,oBAAoB;AACtB;AAQO,SAAS,aAAa,eAA2C;AACtE,UAAQ,eAAe;AAAA,IACrB,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AAAA,IACL,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT;AACE,aAAO;AAAA,EACX;AACF;;;ACtSO,IAAM,gBAAN,cAA4B,MAAM;AAAA,EAC9B;AAAA,EACA;AAAA,EACA;AAAA,EAET,YAAY,MAAc,SAAiB,MAAkB;AAC3D,UAAM,OAAO;AACb,SAAK,OAAO;AACZ,SAAK,OAAO;AACZ,SAAK,eAAe;AACpB,SAAK,OAAO;AAAA,EACd;AACF;AAEO,IAAM,qBAAN,cAAiC,MAAM;AAAA,EACnC;AAAA,EACA;AAAA,EAET,YAAY,QAAgB,WAAmB;AAC7C;AAAA,MACE,mBAAmB,MAAM,qBAAqB,SAAS;AAAA,IAEzD;AACA,SAAK,OAAO;AACZ,SAAK,SAAS;AACd,SAAK,YAAY;AAAA,EACnB;AACF;AAQO,IAAM,sBAAN,cAAkC,MAAM;AAAA,EACpC;AAAA,EAET,YAAY,SAAiB,aAA4C;AACvE,UAAM,OAAO;AACb,SAAK,OAAO;AACZ,SAAK,cAAc;AAAA,EACrB;AACF;AAMO,IAAM,sBAAN,cAAkC,MAAM;AAAA,EAC7C,YAAY,SAAiB;AAC3B,UAAM,OAAO;AACb,SAAK,OAAO;AAAA,EACd;AACF;;;AC5BA,IAAM,sBAAsB;AAC5B,IAAM,mBAAmB;AAElB,IAAM,2BAAN,MAA+B;AAAA,EACnB;AAAA,EACA,UAAgC,CAAC;AAAA,EAElD,YAAY,WAAmB,qBAAqB;AAClD,QAAI,YAAY,GAAG;AACjB,YAAM,IAAI;AAAA,QACR,2DAA2D,QAAQ;AAAA,MACrE;AAAA,IACF;AACA,SAAK,WAAW;AAAA,EAClB;AAAA,EAEA,KAAK,YAAsC;AACzC,QAAI,KAAK,QAAQ,UAAU,KAAK,UAAU;AACxC,WAAK,QAAQ,MAAM;AAAA,IACrB;AACA,SAAK,QAAQ,KAAK,UAAU;AAAA,EAC9B;AAAA,EAEA,WAA0C;AACxC,WAAO,KAAK,QAAQ,MAAM;AAAA,EAC5B;AAAA,EAEA,YAAY,UAAkB,OAAuB;AACnD,UAAM,SAAS,QAAQ;AACvB,QAAI,QAAQ;AACZ,aAAS,IAAI,KAAK,QAAQ,SAAS,GAAG,KAAK,GAAG,KAAK,GAAG;AACpD,UAAI,KAAK,QAAQ,CAAC,EAAG,eAAe,QAAQ;AAC1C,iBAAS;AAAA,MACX,OAAO;AACL;AAAA,MACF;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEA,QAAc;AACZ,SAAK,QAAQ,SAAS;AAAA,EACxB;AACF;AAEO,SAAS,YAAY,MAAsB;AAChD,MAAI,KAAK,UAAU,iBAAkB,QAAO;AAC5C,SAAO,KAAK,MAAM,GAAG,gBAAgB,IAAI;AAC3C;;;ACvEO,SAAS,cACd,IACA,QACA,QACQ;AACR,QAAM,MAAM;AAAA,IACV,SAAS;AAAA,IACT;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACA,SAAO,KAAK,UAAU,GAAG,IAAI;AAC/B;AAOO,SAAS,eAAe,MAA2B;AACxD,QAAM,OAAO,KAAK,KAAK;AACvB,MAAI,CAAC,MAAM;AACT,UAAM,IAAI,MAAM,qBAAqB;AAAA,EACvC;AAEA,MAAI;AACJ,MAAI;AACF,WAAO,KAAK,MAAM,IAAI;AAAA,EACxB,SAAS,GAAG;AACV,UAAM,IAAI,MAAM,4BAA4B,aAAa,QAAQ,EAAE,UAAU,OAAO,CAAC,CAAC,EAAE;AAAA,EAC1F;AAEA,MAAI,OAAO,SAAS,YAAY,SAAS,QAAQ,MAAM,QAAQ,IAAI,GAAG;AACpE,UAAM,IAAI,MAAM,6BAA6B,MAAM,QAAQ,IAAI,IAAI,UAAU,OAAO,IAAI,EAAE;AAAA,EAC5F;AAEA,QAAM,MAAM;AAEZ,MAAI,IAAI,YAAY,OAAO;AACzB,UAAM,IAAI,MAAM,4BAA4B,OAAO,IAAI,OAAO,CAAC,EAAE;AAAA,EACnE;AAEA,MAAI,IAAI,SAAS,MAAM;AACrB,UAAM,MAAM,IAAI;AAChB,QAAI;AAEJ,QAAI,IAAI,QAAQ,MAAM;AACpB,YAAM,MAAM,IAAI;AAChB,kBAAY;AAAA,QACV,YAAa,IAAI,cAAyB;AAAA,QAC1C,WAAY,IAAI,aAAyB;AAAA,QACzC,QAAS,IAAI,UAAqB;AAAA,MACpC;AAAA,IACF;AAEA,UAAM,IAAI;AAAA,MACP,IAAI,QAAmB;AAAA,MACvB,IAAI,WAAsB;AAAA,MAC3B;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAKO,SAAS,cAAc,UAAgC;AAC5D,MAAI,SAAS,WAAW,QAAW;AACjC,UAAM,IAAI,MAAM,iCAAiC;AAAA,EACnD;AACA,SAAO,SAAS;AAClB;AAKO,SAAS,UAAU,UAA+B;AACvD,MAAI,SAAS,OAAO,QAAW;AAC7B,UAAM,IAAI,MAAM,6BAA6B;AAAA,EAC/C;AACA,SAAO,OAAO,SAAS,EAAE;AAC3B;","names":[]}
+{"version":3,"sources":["../../../src/proto/index.ts","../../../src/proto/constants.ts","../../../src/proto/types.ts","../../../src/proto/errors.ts","../../../src/proto/diagnostics.ts","../../../src/proto/codec.ts"],"sourcesContent":["export * from \"./constants.js\";\nexport * from \"./types.js\";\nexport * from \"./errors.js\";\nexport {\n  ProtocolDiagnosticBuffer,\n  previewLine,\n} from \"./diagnostics.js\";\nexport type {\n  ProtocolDiagnostic,\n  ProtocolDiagnosticKind,\n  ProtocolLogger,\n} from \"./diagnostics.js\";\nexport { encodeRequest, decodeResponse, extractResult, extractId } from \"./codec.js\";\n","// Step type constants\nexport const STEP_LLM_CALL = \"llm_call\" as const;\nexport const STEP_TOOL_CALL = \"tool_call\" as const;\nexport const STEP_RETRIEVAL = \"retrieval\" as const;\nexport const STEP_AGENT_CALL = \"agent_call\" as const;\n\n// Status constants\nexport const STATUS_PASS = \"pass\" as const;\nexport const STATUS_SOFT_FAIL = \"soft_fail\" as const;\nexport const STATUS_HARD_FAIL = \"hard_fail\" as const;\nexport const STATUS_NOT_EVALUATED = \"not_evaluated\" as const;\n\n// Reasons carried by a not_evaluated result (AssertionResult.reason)\nexport const REASON_PROVIDER_UNAVAILABLE = \"provider_unavailable\" as const;\nexport const REASON_PROVIDER_NOT_CONFIGURED = \"provider_not_configured\" as const;\nexport const REASON_SIMULATION = \"simulation\" as const;\nexport const REASON_MISSING_EVIDENCE = \"missing_evidence\" as const;\nexport const REASON_SHORT_CIRCUITED = \"short_circuited\" as const;\nexport const REASON_BUDGET_EXHAUSTED = \"budget_exhausted\" as const;\nexport const REASON_JUDGE_ABSTAINED = \"judge_abstained\" as const;\nexport const REASON_REPLAY_MISS = \"replay_miss\" as const;\n\n// Test outcomes derived from a batch of assertion results (AgentResult.outcome)\nexport const OUTCOME_PASS = \"pass\" as const;\nexport const OUTCOME_FAIL = \"fail\" as const;\nexport const OUTCOME_SKIP = \"skip\" as const;\nexport type Outcome = typeof OUTCOME_PASS | typeof OUTCOME_FAIL | typeof OUTCOME_SKIP;\n\n// Assertion type constants\nexport const TYPE_SCHEMA = \"schema\" as const;\nexport const TYPE_CONSTRAINT = \"constraint\" as const;\nexport const TYPE_TRACE = \"trace\" as const;\nexport const TYPE_EFFECT = \"effect\" as const;\nexport const TYPE_CONTENT = \"content\" as const;\nexport const TYPE_EMBEDDING = \"embedding\" as const;\nexport const TYPE_LLM_JUDGE = \"llm_judge\" as const;\nexport const TYPE_TRACE_TREE = \"trace_tree\" as const;\nexport const TYPE_PLUGIN = \"plugin\" as const;\n\n// Error code constants\nexport const ERR_INVALID_TRACE = 1001 as const;\nexport const ERR_ASSERTION_ERROR = 1002 as const;\nexport const ERR_PROVIDER_ERROR = 2001 as const;\nexport const ERR_ENGINE_ERROR = 3001 as const;\nexport const ERR_TIMEOUT = 3002 as const;\nexport const ERR_SESSION_ERROR = 3003 as const;\n","// ---------------------------------------------------------------------------\n// Branded ID types (T6)\n// ---------------------------------------------------------------------------\n\ndeclare const __brand: unique symbol;\ntype Brand<T, B extends string> = T & { readonly [__brand]: B };\n\nexport type TraceId = Brand<string, \"TraceId\">;\nexport type AssertionId = Brand<string, \"AssertionId\">;\nexport type AgentId = Brand<string, \"AgentId\">;\n\nexport function traceId(id: string): TraceId {\n  return id as TraceId;\n}\n\nexport function assertionId(id: string): AssertionId {\n  return id as AssertionId;\n}\n\nexport function agentId(id: string): AgentId {\n  return id as AgentId;\n}\n\n// ---------------------------------------------------------------------------\n// Assertion spec discriminated unions (T5)\n// ---------------------------------------------------------------------------\n\nexport interface SchemaSpec {\n  readonly type: \"schema\";\n  readonly target: string;\n  readonly schema: Record<string, unknown>;\n}\n\nexport interface ConstraintSpec {\n  readonly type: \"constraint\";\n  readonly field: string;\n  readonly operator: string;\n  readonly value?: number;\n  readonly min?: number;\n  readonly max?: number;\n  readonly soft: boolean;\n}\n\nexport interface TraceSpec {\n  readonly type: \"trace\";\n  readonly check: string;\n  readonly tools?: string[];\n  readonly tool?: string;\n  readonly max_repetitions?: number;\n  readonly soft: boolean;\n}\n\nexport interface EffectSpec {\n  readonly type: \"effect\";\n  readonly check: \"count\" | \"unique\" | \"idempotent\";\n  /** A world-v1 snapshot, or `null` when the test ran without a world helper. */\n  readonly world: Record<string, unknown> | null;\n  readonly resource: string;\n  readonly where?: Record<string, unknown>;\n  readonly equals?: number;\n  readonly at_most?: number;\n  readonly at_least?: number;\n  readonly fields?: string[];\n  readonly field?: string;\n}\n\nexport interface ContentSpec {\n  readonly type: \"content\";\n  readonly target: string;\n  readonly check: string;\n  readonly value?: string;\n  readonly values?: string[];\n  readonly case_sensitive?: boolean;\n  readonly soft?: boolean;\n}\n\nexport interface EmbeddingSpec {\n  readonly type: \"embedding\";\n  readonly target: string;\n  readonly reference: string;\n  readonly threshold: number | \"dynamic\";\n  readonly model?: string;\n  readonly soft: boolean;\n}\n\nexport interface LlmJudgeSpec {\n  readonly type: \"llm_judge\";\n  readonly target: string;\n  readonly criteria: string;\n  readonly rubric: string;\n  readonly threshold: number | \"dynamic\";\n  readonly model?: string;\n  readonly soft: boolean;\n}\n\nexport interface TraceTreeSpec {\n  readonly type: \"trace_tree\";\n  readonly check: string;\n  readonly [key: string]: unknown;\n}\n\nexport interface PluginSpec {\n  readonly type: \"plugin\";\n  readonly plugin_id: string;\n  readonly config?: Record<string, unknown>;\n  readonly soft: boolean;\n}\n\nexport type AssertionSpec =\n  | SchemaSpec\n  | ConstraintSpec\n  | TraceSpec\n  | EffectSpec\n  | ContentSpec\n  | EmbeddingSpec\n  | LlmJudgeSpec\n  | TraceTreeSpec\n  | PluginSpec;\n\n// ---------------------------------------------------------------------------\n// Core protocol types\n// ---------------------------------------------------------------------------\n\nexport interface TraceMetadata {\n  readonly total_tokens?: number;\n  readonly cost_usd?: number;\n  readonly latency_ms?: number;\n  readonly model?: string;\n  readonly timestamp?: string;\n}\n\n/** Trace v2: a step whose span ended in error. */\nexport interface StepError {\n  readonly type: string;\n  readonly message?: string;\n}\n\n/** Trace v2: a recorded model request/response pair. */\nexport interface Exchange {\n  readonly request: Record<string, unknown>;\n  readonly response: Record<string, unknown>;\n}\n\n/** Trace v2: one conversation turn and the indices of its steps. */\nexport interface Turn {\n  readonly index: number;\n  readonly span_id?: string;\n  readonly input?: unknown;\n  readonly output?: unknown;\n  readonly step_indices: readonly number[];\n}\n\n/** Trace v2: control passing from one agent to another at an agent_call step. */\nexport interface Handoff {\n  readonly from_agent: string;\n  readonly to_agent: string;\n  readonly step_index: number;\n}\n\nexport interface Step {\n  readonly type: string;\n  readonly name: string;\n  readonly args?: Record<string, unknown>;\n  readonly result?: Record<string, unknown>;\n  readonly sub_trace?: Trace;\n  readonly metadata?: Record<string, unknown>;\n  readonly started_at_ms?: number;\n  readonly ended_at_ms?: number;\n  readonly agent_id?: string;\n  readonly agent_role?: string;\n  // Trace v2 (schema_version 2) fields.\n  readonly span_id?: string;\n  readonly parent_span_id?: string;\n  readonly tool_call_id?: string;\n  readonly retry_of?: number;\n  readonly error?: StepError;\n  readonly exchange?: Exchange;\n}\n\nexport interface Trace {\n  readonly trace_id: string;\n  readonly output: Record<string, unknown>;\n  readonly schema_version?: number;\n  readonly agent_id?: string;\n  readonly input?: Record<string, unknown>;\n  readonly steps: readonly Step[];\n  readonly metadata?: TraceMetadata;\n  readonly parent_trace_id?: string;\n  // Trace v2 (schema_version 2) fields.\n  readonly conversation_id?: string;\n  readonly turns?: readonly Turn[];\n  readonly handoffs?: readonly Handoff[];\n}\n\nexport interface Assertion {\n  readonly assertion_id: string;\n  readonly type: string;\n  readonly spec: Record<string, unknown>;\n  readonly request_id?: string;\n}\n\n/**\n * Audit trail for an LLM-judge evaluation. Mirrors\n * engine/pkg/types/assertion.go::JudgeMetadata so report v2 payloads\n * round-trip without losing the model / rubric / variance evidence\n * reviewers need to triage a judge failure.\n */\nexport interface JudgeMetadata {\n  readonly provider?: string;\n  readonly model?: string;\n  readonly rubric_name?: string;\n  readonly rubric_version?: string;\n  readonly prompt_hash?: string;\n  readonly sample_scores?: readonly number[];\n  readonly score_mean?: number;\n  readonly score_stddev?: number;\n  readonly high_variance?: boolean;\n  readonly bias_probes?: readonly BiasProbe[];\n  readonly calibration?: JudgeAgreement;\n}\n\n/**\n * One judge-bias probe result. Score is the score the judge produced on\n * the mutated input; delta is `score - baseline`. A well-calibrated\n * judge has |delta| close to zero. Mirrors\n * engine/pkg/types/assertion.go::BiasProbe.\n */\nexport interface BiasProbe {\n  readonly name: string;\n  readonly score: number;\n  readonly delta: number;\n}\n\n/**\n * Calibration agreement summary keyed by\n * (rubric_name, rubric_version, prompt_hash). Mirrors\n * engine/pkg/types/assertion.go::JudgeAgreement.\n */\nexport interface JudgeAgreement {\n  readonly label_count: number;\n  readonly agreement: number;\n  readonly cohen_kappa: number;\n  readonly roc_auc?: number;\n}\n\nexport interface AssertionResult {\n  readonly assertion_id: string;\n  readonly status: string;\n  readonly score: number;\n  readonly explanation: string;\n  readonly cost?: number;\n  readonly duration_ms?: number;\n  readonly request_id?: string;\n  /** Set only when status is \"not_evaluated\" (REASON_* constants). */\n  readonly reason?: string;\n  readonly threshold_source?: string;\n  readonly layer?: number;\n  readonly type?: string;\n  readonly trace_node_path?: string;\n  readonly expected?: string;\n  readonly actual?: string;\n  readonly suggested_action?: string;\n  readonly judge_metadata?: JudgeMetadata;\n  /**\n   * Heuristic root-cause label set by the engine\n   * (broken_code / flaky_judge / bad_rubric / missing_trace_data /\n   * stochastic_variance). Empty/undefined for passes and any result the\n   * engine declined to label. Mirrors\n   * engine/pkg/types/failure_class.go.\n   */\n  readonly failure_class?: string;\n}\n\n/**\n * FailureClass values mirror engine/pkg/types/failure_class.go. Use\n * these constants when matching on AssertionResult.failure_class so a\n * typo in either codebase fails fast.\n */\nexport const FailureClass = {\n  BrokenCode: \"broken_code\",\n  FlakyJudge: \"flaky_judge\",\n  BadRubric: \"bad_rubric\",\n  MissingTraceData: \"missing_trace_data\",\n  StochasticVariance: \"stochastic_variance\",\n} as const;\nexport type FailureClass = (typeof FailureClass)[keyof typeof FailureClass];\n\n/**\n * Map an assertion-type string to its pipeline layer (1–8). Returns 0\n * when the type is unknown so callers can route uncategorised results\n * into their own bucket.\n */\nexport function layerForType(assertionType: string | undefined): number {\n  switch (assertionType) {\n    case \"schema\":\n      return 1;\n    case \"constraint\":\n      return 2;\n    case \"trace\":\n    case \"trace_tree\":\n    case \"effect\":\n      return 3;\n    case \"content\":\n      return 4;\n    case \"embedding\":\n      return 5;\n    case \"llm_judge\":\n      return 6;\n    case \"plugin\":\n      return 8;\n    default:\n      return 0;\n  }\n}\n\nexport interface ErrorData {\n  readonly error_type: string;\n  readonly retryable: boolean;\n  readonly detail: string;\n}\n\nexport interface RPCError {\n  readonly code: number;\n  readonly message: string;\n  readonly data?: ErrorData;\n}\n\nexport interface RPCRequest {\n  readonly jsonrpc: \"2.0\";\n  readonly id: number;\n  readonly method: string;\n  readonly params: Record<string, unknown>;\n}\n\nexport interface RPCResponse {\n  readonly jsonrpc: \"2.0\";\n  readonly id: number;\n  readonly result?: unknown;\n  readonly error?: RPCError;\n}\n\nexport interface InitializeParams {\n  readonly sdk_name: string;\n  readonly sdk_version: string;\n  readonly protocol_version: number;\n  readonly required_capabilities: readonly string[];\n  readonly preferred_encoding?: string;\n}\n\nexport interface InitializeResult {\n  readonly engine_version: string;\n  readonly protocol_version: number;\n  readonly capabilities: readonly string[];\n  readonly missing: readonly string[];\n  readonly compatible: boolean;\n  readonly encoding?: string;\n  readonly max_concurrent_requests?: number;\n  readonly max_trace_size_bytes?: number;\n  readonly max_steps_per_trace?: number;\n}\n\n/**\n * Limits for one evaluate_batch call on top of the session budget. A judge or\n * embedding call that cannot reserve against them is not sent and its\n * assertion is not_evaluated with reason \"budget_exhausted\".\n */\nexport interface BatchBudget {\n  readonly max_judge_calls?: number;\n  readonly max_cost_usd?: number;\n}\n\n/**\n * The test an evaluate_batch call belongs to. The engine records it next to\n * each assertion spec when ATTEST_CONTRACTS_DIR is set and uses it for\n * nothing else.\n */\nexport interface BatchContext {\n  readonly test_id?: string;\n  readonly file?: string;\n  /** 1-based line the test starts on. */\n  readonly line?: number;\n}\n\nexport interface EvaluateBatchParams {\n  readonly trace: Trace;\n  readonly assertions: readonly Assertion[];\n  /** Omitted when no per-batch budget applies. */\n  readonly budget?: BatchBudget;\n  /** Omitted outside a test. */\n  readonly context?: BatchContext;\n}\n\n/**\n * Attest-initiated model usage (embeddings, judges, judge repeats, bias\n * probes, simulated-user messages). Agent calls not routed through attest\n * are not counted.\n */\nexport interface Usage {\n  readonly model_calls: number;\n  /** Judge-provider requests, the part of model_calls that max_judge_calls limits. */\n  readonly judge_calls: number;\n  readonly input_tokens: number;\n  readonly output_tokens: number;\n  readonly cached_tokens: number;\n  readonly cost_usd: number;\n  readonly retry_cost_usd: number;\n  readonly unpriced_calls: number;\n  readonly budget_refused: number;\n}\n\nexport interface EvaluateBatchResult {\n  readonly results: readonly AssertionResult[];\n  readonly total_cost?: number;\n  readonly total_duration_ms?: number;\n  /** Always sent by the engine; validated by AttestClient.evaluateBatch. */\n  readonly usage: Usage;\n  /**\n   * True when this result was produced by an SDK simulation shim rather\n   * than a real engine evaluation. Engine-produced results always carry\n   * simulated=false. CI gates can fail builds that accidentally evaluate\n   * against the simulator by checking this flag.\n   */\n  readonly simulated?: boolean;\n}\n\nexport interface ShutdownResult {\n  readonly sessions_completed: number;\n  readonly assertions_evaluated: number;\n}\n\nexport interface SubmitPluginResultParams {\n  readonly trace_id: string;\n  readonly plugin_name: string;\n  readonly assertion_id: string;\n  readonly result: AssertionResult;\n}\n\n// ---------------------------------------------------------------------------\n// Drift detection types\n// ---------------------------------------------------------------------------\n\nexport interface DriftReport {\n  readonly assertion_id: string;\n  readonly mean: number;\n  readonly stddev: number;\n  readonly count: number;\n  readonly latest_score: number;\n  readonly deviation: number;\n  readonly status: string;\n}\n\nexport interface QueryDriftParams {\n  readonly assertion_id: string;\n  readonly window_size: number;\n}\n\nexport interface QueryDriftResult {\n  readonly report: DriftReport;\n}\n\n// ---------------------------------------------------------------------------\n// Simulation types\n// ---------------------------------------------------------------------------\n\nexport interface SimulatePersona {\n  readonly name: string;\n  readonly system_prompt: string;\n  readonly style: string;\n  readonly temperature: number;\n  readonly max_tokens?: number;\n}\n\nexport interface SimulateFaultConfig {\n  readonly error_rate: number;\n  readonly latency_jitter_ms: number;\n  readonly content_corruption: boolean;\n  readonly timeout_after_ms: number;\n}\n\nexport interface ConversationMessage {\n  readonly role: string;\n  readonly content: string;\n}\n\nexport interface GenerateUserMessageParams {\n  readonly persona: SimulatePersona;\n  readonly conversation_history: readonly ConversationMessage[];\n  readonly fault_config?: SimulateFaultConfig;\n}\n\nexport interface GenerateUserMessageResult {\n  readonly message: string;\n}\n","import type { ErrorData } from \"./types.js\";\nimport type { ProtocolDiagnostic } from \"./diagnostics.js\";\n\nexport class ProtocolError extends Error {\n  readonly code: number;\n  readonly errorMessage: string;\n  readonly data: ErrorData | undefined;\n\n  constructor(code: number, message: string, data?: ErrorData) {\n    super(message);\n    this.name = \"ProtocolError\";\n    this.code = code;\n    this.errorMessage = message;\n    this.data = data;\n  }\n}\n\nexport class EngineTimeoutError extends Error {\n  readonly method: string;\n  readonly timeoutMs: number;\n\n  constructor(method: string, timeoutMs: number) {\n    super(\n      `Engine request '${method}' timed out after ${timeoutMs}ms. ` +\n        \"Set ATTEST_ENGINE_TIMEOUT to increase the limit.\",\n    );\n    this.name = \"EngineTimeoutError\";\n    this.method = method;\n    this.timeoutMs = timeoutMs;\n  }\n}\n\n/**\n * Raised when the reader loop detects that engine output has lost\n * framing or contains repeated unparseable lines. All in-flight requests\n * are rejected with this error so callers see a visible failure rather\n * than a hung promise.\n */\nexport class ProtocolDesyncError extends Error {\n  readonly diagnostics: readonly ProtocolDiagnostic[];\n\n  constructor(message: string, diagnostics: readonly ProtocolDiagnostic[]) {\n    super(message);\n    this.name = \"ProtocolDesyncError\";\n    this.diagnostics = diagnostics;\n  }\n}\n\n/**\n * The engine rejected an OTLP/JSON export (`attest-engine trace convert`). The message is\n * the engine's error, which names the offending span or field.\n */\nexport class OTLPConversionError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = \"OTLPConversionError\";\n  }\n}\n","/**\n * Protocol diagnostic types for client-side observability.\n *\n * The reader loop emits diagnostics whenever it cannot route a response\n * line: malformed JSON, missing id, unknown id, or non-routable protocol\n * errors. Diagnostics are buffered in a bounded ring (32 entries) and\n * trigger a desync error when the rate exceeds the configured threshold.\n */\n\nexport type ProtocolDiagnosticKind =\n  | \"malformed_json\"\n  | \"non_object_response\"\n  | \"invalid_jsonrpc_version\"\n  | \"missing_id\"\n  | \"unknown_id\"\n  | \"non_routable_error\";\n\nexport interface ProtocolDiagnostic {\n  readonly kind: ProtocolDiagnosticKind;\n  readonly message: string;\n  readonly rawLine: string;\n  readonly timestampMs: number;\n}\n\nexport interface ProtocolLogger {\n  warn(message: string, ...args: unknown[]): void;\n  error(message: string, ...args: unknown[]): void;\n}\n\nconst DEFAULT_BUFFER_SIZE = 32;\nconst MAX_LINE_PREVIEW = 512;\n\nexport class ProtocolDiagnosticBuffer {\n  private readonly capacity: number;\n  private readonly entries: ProtocolDiagnostic[] = [];\n\n  constructor(capacity: number = DEFAULT_BUFFER_SIZE) {\n    if (capacity <= 0) {\n      throw new Error(\n        `ProtocolDiagnosticBuffer capacity must be positive, got ${capacity}`,\n      );\n    }\n    this.capacity = capacity;\n  }\n\n  push(diagnostic: ProtocolDiagnostic): void {\n    if (this.entries.length >= this.capacity) {\n      this.entries.shift();\n    }\n    this.entries.push(diagnostic);\n  }\n\n  snapshot(): readonly ProtocolDiagnostic[] {\n    return this.entries.slice();\n  }\n\n  countWithin(windowMs: number, nowMs: number): number {\n    const cutoff = nowMs - windowMs;\n    let count = 0;\n    for (let i = this.entries.length - 1; i >= 0; i -= 1) {\n      if (this.entries[i]!.timestampMs >= cutoff) {\n        count += 1;\n      } else {\n        break;\n      }\n    }\n    return count;\n  }\n\n  clear(): void {\n    this.entries.length = 0;\n  }\n}\n\nexport function previewLine(line: string): string {\n  if (line.length <= MAX_LINE_PREVIEW) return line;\n  return line.slice(0, MAX_LINE_PREVIEW) + \"…\";\n}\n","import type { ErrorData, RPCResponse } from \"./types.js\";\nimport { ProtocolError } from \"./errors.js\";\n\n/**\n * Encode a JSON-RPC 2.0 request as an NDJSON line.\n */\nexport function encodeRequest(\n  id: number,\n  method: string,\n  params: Record<string, unknown>,\n): string {\n  const msg = {\n    jsonrpc: \"2.0\" as const,\n    id,\n    method,\n    params,\n  };\n  return JSON.stringify(msg) + \"\\n\";\n}\n\n/**\n * Decode a JSON-RPC 2.0 response from an NDJSON line.\n * Throws ProtocolError if the response contains an error.\n * Throws Error for malformed JSON or invalid responses.\n */\nexport function decodeResponse(line: string): RPCResponse {\n  const text = line.trim();\n  if (!text) {\n    throw new Error(\"empty response line\");\n  }\n\n  let data: unknown;\n  try {\n    data = JSON.parse(text);\n  } catch (e) {\n    throw new Error(`malformed JSON response: ${e instanceof Error ? e.message : String(e)}`);\n  }\n\n  if (typeof data !== \"object\" || data === null || Array.isArray(data)) {\n    throw new Error(`expected JSON object, got ${Array.isArray(data) ? \"array\" : typeof data}`);\n  }\n\n  const obj = data as Record<string, unknown>;\n\n  if (obj.jsonrpc !== \"2.0\") {\n    throw new Error(`invalid jsonrpc version: ${String(obj.jsonrpc)}`);\n  }\n\n  if (obj.error != null) {\n    const err = obj.error as Record<string, unknown>;\n    let errorData: ErrorData | undefined;\n\n    if (err.data != null) {\n      const raw = err.data as Record<string, unknown>;\n      errorData = {\n        error_type: (raw.error_type as string) ?? \"\",\n        retryable: (raw.retryable as boolean) ?? false,\n        detail: (raw.detail as string) ?? \"\",\n      };\n    }\n\n    throw new ProtocolError(\n      (err.code as number) ?? -1,\n      (err.message as string) ?? \"unknown error\",\n      errorData,\n    );\n  }\n\n  return obj as unknown as RPCResponse;\n}\n\n/**\n * Extract the result field from a decoded response.\n */\nexport function extractResult(response: RPCResponse): unknown {\n  if (response.result === undefined) {\n    throw new Error(\"response missing 'result' field\");\n  }\n  return response.result;\n}\n\n/**\n * Extract the request ID from a decoded response.\n */\nexport function extractId(response: RPCResponse): number {\n  if (response.id === undefined) {\n    throw new Error(\"response missing 'id' field\");\n  }\n  return Number(response.id);\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;;;ACCO,IAAM,gBAAgB;AACtB,IAAM,iBAAiB;AACvB,IAAM,iBAAiB;AACvB,IAAM,kBAAkB;AAGxB,IAAM,cAAc;AACpB,IAAM,mBAAmB;AACzB,IAAM,mBAAmB;AACzB,IAAM,uBAAuB;AAG7B,IAAM,8BAA8B;AACpC,IAAM,iCAAiC;AACvC,IAAM,oBAAoB;AAC1B,IAAM,0BAA0B;AAChC,IAAM,yBAAyB;AAC/B,IAAM,0BAA0B;AAChC,IAAM,yBAAyB;AAC/B,IAAM,qBAAqB;AAG3B,IAAM,eAAe;AACrB,IAAM,eAAe;AACrB,IAAM,eAAe;AAIrB,IAAM,cAAc;AACpB,IAAM,kBAAkB;AACxB,IAAM,aAAa;AACnB,IAAM,cAAc;AACpB,IAAM,eAAe;AACrB,IAAM,iBAAiB;AACvB,IAAM,iBAAiB;AACvB,IAAM,kBAAkB;AACxB,IAAM,cAAc;AAGpB,IAAM,oBAAoB;AAC1B,IAAM,sBAAsB;AAC5B,IAAM,qBAAqB;AAC3B,IAAM,mBAAmB;AACzB,IAAM,cAAc;AACpB,IAAM,oBAAoB;;;AClC1B,SAAS,QAAQ,IAAqB;AAC3C,SAAO;AACT;AAEO,SAAS,YAAY,IAAyB;AACnD,SAAO;AACT;AAEO,SAAS,QAAQ,IAAqB;AAC3C,SAAO;AACT;AAiQO,IAAM,eAAe;AAAA,EAC1B,YAAY;AAAA,EACZ,YAAY;AAAA,EACZ,WAAW;AAAA,EACX,kBAAkB;AAAA,EAClB,oBAAoB;AACtB;AAQO,SAAS,aAAa,eAA2C;AACtE,UAAQ,eAAe;AAAA,IACrB,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO;AAAA,IACT;AACE,aAAO;AAAA,EACX;AACF;;;ACtTO,IAAM,gBAAN,cAA4B,MAAM;AAAA,EAC9B;AAAA,EACA;AAAA,EACA;AAAA,EAET,YAAY,MAAc,SAAiB,MAAkB;AAC3D,UAAM,OAAO;AACb,SAAK,OAAO;AACZ,SAAK,OAAO;AACZ,SAAK,eAAe;AACpB,SAAK,OAAO;AAAA,EACd;AACF;AAEO,IAAM,qBAAN,cAAiC,MAAM;AAAA,EACnC;AAAA,EACA;AAAA,EAET,YAAY,QAAgB,WAAmB;AAC7C;AAAA,MACE,mBAAmB,MAAM,qBAAqB,SAAS;AAAA,IAEzD;AACA,SAAK,OAAO;AACZ,SAAK,SAAS;AACd,SAAK,YAAY;AAAA,EACnB;AACF;AAQO,IAAM,sBAAN,cAAkC,MAAM;AAAA,EACpC;AAAA,EAET,YAAY,SAAiB,aAA4C;AACvE,UAAM,OAAO;AACb,SAAK,OAAO;AACZ,SAAK,cAAc;AAAA,EACrB;AACF;AAMO,IAAM,sBAAN,cAAkC,MAAM;AAAA,EAC7C,YAAY,SAAiB;AAC3B,UAAM,OAAO;AACb,SAAK,OAAO;AAAA,EACd;AACF;;;AC5BA,IAAM,sBAAsB;AAC5B,IAAM,mBAAmB;AAElB,IAAM,2BAAN,MAA+B;AAAA,EACnB;AAAA,EACA,UAAgC,CAAC;AAAA,EAElD,YAAY,WAAmB,qBAAqB;AAClD,QAAI,YAAY,GAAG;AACjB,YAAM,IAAI;AAAA,QACR,2DAA2D,QAAQ;AAAA,MACrE;AAAA,IACF;AACA,SAAK,WAAW;AAAA,EAClB;AAAA,EAEA,KAAK,YAAsC;AACzC,QAAI,KAAK,QAAQ,UAAU,KAAK,UAAU;AACxC,WAAK,QAAQ,MAAM;AAAA,IACrB;AACA,SAAK,QAAQ,KAAK,UAAU;AAAA,EAC9B;AAAA,EAEA,WAA0C;AACxC,WAAO,KAAK,QAAQ,MAAM;AAAA,EAC5B;AAAA,EAEA,YAAY,UAAkB,OAAuB;AACnD,UAAM,SAAS,QAAQ;AACvB,QAAI,QAAQ;AACZ,aAAS,IAAI,KAAK,QAAQ,SAAS,GAAG,KAAK,GAAG,KAAK,GAAG;AACpD,UAAI,KAAK,QAAQ,CAAC,EAAG,eAAe,QAAQ;AAC1C,iBAAS;AAAA,MACX,OAAO;AACL;AAAA,MACF;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEA,QAAc;AACZ,SAAK,QAAQ,SAAS;AAAA,EACxB;AACF;AAEO,SAAS,YAAY,MAAsB;AAChD,MAAI,KAAK,UAAU,iBAAkB,QAAO;AAC5C,SAAO,KAAK,MAAM,GAAG,gBAAgB,IAAI;AAC3C;;;ACvEO,SAAS,cACd,IACA,QACA,QACQ;AACR,QAAM,MAAM;AAAA,IACV,SAAS;AAAA,IACT;AAAA,IACA;AAAA,IACA;AAAA,EACF;AACA,SAAO,KAAK,UAAU,GAAG,IAAI;AAC/B;AAOO,SAAS,eAAe,MAA2B;AACxD,QAAM,OAAO,KAAK,KAAK;AACvB,MAAI,CAAC,MAAM;AACT,UAAM,IAAI,MAAM,qBAAqB;AAAA,EACvC;AAEA,MAAI;AACJ,MAAI;AACF,WAAO,KAAK,MAAM,IAAI;AAAA,EACxB,SAAS,GAAG;AACV,UAAM,IAAI,MAAM,4BAA4B,aAAa,QAAQ,EAAE,UAAU,OAAO,CAAC,CAAC,EAAE;AAAA,EAC1F;AAEA,MAAI,OAAO,SAAS,YAAY,SAAS,QAAQ,MAAM,QAAQ,IAAI,GAAG;AACpE,UAAM,IAAI,MAAM,6BAA6B,MAAM,QAAQ,IAAI,IAAI,UAAU,OAAO,IAAI,EAAE;AAAA,EAC5F;AAEA,QAAM,MAAM;AAEZ,MAAI,IAAI,YAAY,OAAO;AACzB,UAAM,IAAI,MAAM,4BAA4B,OAAO,IAAI,OAAO,CAAC,EAAE;AAAA,EACnE;AAEA,MAAI,IAAI,SAAS,MAAM;AACrB,UAAM,MAAM,IAAI;AAChB,QAAI;AAEJ,QAAI,IAAI,QAAQ,MAAM;AACpB,YAAM,MAAM,IAAI;AAChB,kBAAY;AAAA,QACV,YAAa,IAAI,cAAyB;AAAA,QAC1C,WAAY,IAAI,aAAyB;AAAA,QACzC,QAAS,IAAI,UAAqB;AAAA,MACpC;AAAA,IACF;AAEA,UAAM,IAAI;AAAA,MACP,IAAI,QAAmB;AAAA,MACvB,IAAI,WAAsB;AAAA,MAC3B;AAAA,IACF;AAAA,EACF;AAEA,SAAO;AACT;AAKO,SAAS,cAAc,UAAgC;AAC5D,MAAI,SAAS,WAAW,QAAW;AACjC,UAAM,IAAI,MAAM,iCAAiC;AAAA,EACnD;AACA,SAAO,SAAS;AAClB;AAKO,SAAS,UAAU,UAA+B;AACvD,MAAI,SAAS,OAAO,QAAW;AAC7B,UAAM,IAAI,MAAM,6BAA6B;AAAA,EAC/C;AACA,SAAO,OAAO,SAAS,EAAE;AAC3B;","names":[]}

package/dist/cjs/proto/index.d.cts

@@ -13,6 +13,7 @@ declare const REASON_MISSING_EVIDENCE: "missing_evidence";
 declare const REASON_SHORT_CIRCUITED: "short_circuited";
 declare const REASON_BUDGET_EXHAUSTED: "budget_exhausted";
 declare const REASON_JUDGE_ABSTAINED: "judge_abstained";
+declare const REASON_REPLAY_MISS: "replay_miss";
 declare const OUTCOME_PASS: "pass";
 declare const OUTCOME_FAIL: "fail";
 declare const OUTCOME_SKIP: "skip";
@@ -20,6 +21,7 @@ type Outcome = typeof OUTCOME_PASS | typeof OUTCOME_FAIL | typeof OUTCOME_SKIP;
 declare const TYPE_SCHEMA: "schema";
 declare const TYPE_CONSTRAINT: "constraint";
 declare const TYPE_TRACE: "trace";
+declare const TYPE_EFFECT: "effect";
 declare const TYPE_CONTENT: "content";
 declare const TYPE_EMBEDDING: "embedding";
 declare const TYPE_LLM_JUDGE: "llm_judge";
@@ -64,6 +66,19 @@ interface TraceSpec {
     readonly max_repetitions?: number;
     readonly soft: boolean;
 }
+interface EffectSpec {
+    readonly type: "effect";
+    readonly check: "count" | "unique" | "idempotent";
+    /** A world-v1 snapshot, or `null` when the test ran without a world helper. */
+    readonly world: Record<string, unknown> | null;
+    readonly resource: string;
+    readonly where?: Record<string, unknown>;
+    readonly equals?: number;
+    readonly at_most?: number;
+    readonly at_least?: number;
+    readonly fields?: string[];
+    readonly field?: string;
+}
 interface ContentSpec {
     readonly type: "content";
     readonly target: string;
@@ -101,7 +116,7 @@ interface PluginSpec {
     readonly config?: Record<string, unknown>;
     readonly soft: boolean;
 }
-type AssertionSpec = SchemaSpec | ConstraintSpec | TraceSpec | ContentSpec | EmbeddingSpec | LlmJudgeSpec | TraceTreeSpec | PluginSpec;
+type AssertionSpec = SchemaSpec | ConstraintSpec | TraceSpec | EffectSpec | ContentSpec | EmbeddingSpec | LlmJudgeSpec | TraceTreeSpec | PluginSpec;
 interface TraceMetadata {
     readonly total_tokens?: number;
     readonly cost_usd?: number;
@@ -306,11 +321,24 @@ interface BatchBudget {
     readonly max_judge_calls?: number;
     readonly max_cost_usd?: number;
 }
+/**
+ * The test an evaluate_batch call belongs to. The engine records it next to
+ * each assertion spec when ATTEST_CONTRACTS_DIR is set and uses it for
+ * nothing else.
+ */
+interface BatchContext {
+    readonly test_id?: string;
+    readonly file?: string;
+    /** 1-based line the test starts on. */
+    readonly line?: number;
+}
 interface EvaluateBatchParams {
     readonly trace: Trace;
     readonly assertions: readonly Assertion[];
     /** Omitted when no per-batch budget applies. */
     readonly budget?: BatchBudget;
+    /** Omitted outside a test. */
+    readonly context?: BatchContext;
 }
 /**
  * Attest-initiated model usage (embeddings, judges, judge repeats, bias
@@ -473,4 +501,5 @@ declare function extractResult(response: RPCResponse): unknown;
  */
 declare function extractId(response: RPCResponse): number;
 
-export { type AgentId, type Assertion, type AssertionId, type AssertionResult, type AssertionSpec, type BatchBudget, type BiasProbe, type ConstraintSpec, type ContentSpec, type ConversationMessage, type DriftReport, ERR_ASSERTION_ERROR, ERR_ENGINE_ERROR, ERR_INVALID_TRACE, ERR_PROVIDER_ERROR, ERR_SESSION_ERROR, ERR_TIMEOUT, type EmbeddingSpec, EngineTimeoutError, type ErrorData, type EvaluateBatchParams, type EvaluateBatchResult, type Exchange, FailureClass, type GenerateUserMessageParams, type GenerateUserMessageResult, type Handoff, type InitializeParams, type InitializeResult, type JudgeAgreement, type JudgeMetadata, type LlmJudgeSpec, OTLPConversionError, OUTCOME_FAIL, OUTCOME_PASS, OUTCOME_SKIP, type Outcome, type PluginSpec, ProtocolDesyncError, type ProtocolDiagnostic, ProtocolDiagnosticBuffer, type ProtocolDiagnosticKind, ProtocolError, type ProtocolLogger, type QueryDriftParams, type QueryDriftResult, REASON_BUDGET_EXHAUSTED, REASON_JUDGE_ABSTAINED, REASON_MISSING_EVIDENCE, REASON_PROVIDER_NOT_CONFIGURED, REASON_PROVIDER_UNAVAILABLE, REASON_SHORT_CIRCUITED, REASON_SIMULATION, type RPCError, type RPCRequest, type RPCResponse, STATUS_HARD_FAIL, STATUS_NOT_EVALUATED, STATUS_PASS, STATUS_SOFT_FAIL, STEP_AGENT_CALL, STEP_LLM_CALL, STEP_RETRIEVAL, STEP_TOOL_CALL, type SchemaSpec, type ShutdownResult, type SimulateFaultConfig, type SimulatePersona, type Step, type StepError, type SubmitPluginResultParams, TYPE_CONSTRAINT, TYPE_CONTENT, TYPE_EMBEDDING, TYPE_LLM_JUDGE, TYPE_PLUGIN, TYPE_SCHEMA, TYPE_TRACE, TYPE_TRACE_TREE, type Trace, type TraceId, type TraceMetadata, type TraceSpec, type TraceTreeSpec, type Turn, type Usage, agentId, assertionId, decodeResponse, encodeRequest, extractId, extractResult, layerForType, previewLine, traceId };
+export { ERR_ASSERTION_ERROR, ERR_ENGINE_ERROR, ERR_INVALID_TRACE, ERR_PROVIDER_ERROR, ERR_SESSION_ERROR, ERR_TIMEOUT, EngineTimeoutError, FailureClass, OTLPConversionError, OUTCOME_FAIL, OUTCOME_PASS, OUTCOME_SKIP, ProtocolDesyncError, ProtocolDiagnosticBuffer, ProtocolError, REASON_BUDGET_EXHAUSTED, REASON_JUDGE_ABSTAINED, REASON_MISSING_EVIDENCE, REASON_PROVIDER_NOT_CONFIGURED, REASON_PROVIDER_UNAVAILABLE, REASON_REPLAY_MISS, REASON_SHORT_CIRCUITED, REASON_SIMULATION, STATUS_HARD_FAIL, STATUS_NOT_EVALUATED, STATUS_PASS, STATUS_SOFT_FAIL, STEP_AGENT_CALL, STEP_LLM_CALL, STEP_RETRIEVAL, STEP_TOOL_CALL, TYPE_CONSTRAINT, TYPE_CONTENT, TYPE_EFFECT, TYPE_EMBEDDING, TYPE_LLM_JUDGE, TYPE_PLUGIN, TYPE_SCHEMA, TYPE_TRACE, TYPE_TRACE_TREE, agentId, assertionId, decodeResponse, encodeRequest, extractId, extractResult, layerForType, previewLine, traceId };
+export type { AgentId, Assertion, AssertionId, AssertionResult, AssertionSpec, BatchBudget, BatchContext, BiasProbe, ConstraintSpec, ContentSpec, ConversationMessage, DriftReport, EffectSpec, EmbeddingSpec, ErrorData, EvaluateBatchParams, EvaluateBatchResult, Exchange, GenerateUserMessageParams, GenerateUserMessageResult, Handoff, InitializeParams, InitializeResult, JudgeAgreement, JudgeMetadata, LlmJudgeSpec, Outcome, PluginSpec, ProtocolDiagnostic, ProtocolDiagnosticKind, ProtocolLogger, QueryDriftParams, QueryDriftResult, RPCError, RPCRequest, RPCResponse, SchemaSpec, ShutdownResult, SimulateFaultConfig, SimulatePersona, Step, StepError, SubmitPluginResultParams, Trace, TraceId, TraceMetadata, TraceSpec, TraceTreeSpec, Turn, Usage };