harnery 0.34.0 → 0.35.0

package/dist/core/semantic/contract.d.ts

@@ -0,0 +1,588 @@
+import { type Static } from "@sinclair/typebox";
+export declare const SEMANTIC_EVIDENCE_SCHEMA_VERSION: 1;
+export declare const SEMANTIC_READ_MODEL_SCHEMA_VERSION: 2;
+export declare const SEMANTIC_EVIDENCE_CONTRACT_VERSION: 1;
+export declare const SEMANTIC_PROMPT_CONTRACT_VERSION: 3;
+export declare const SEMANTIC_HARNESSES: readonly ["claude-code", "codex", "cursor"];
+export declare const SEMANTIC_CONFIGURED_MODELS: readonly ["haiku-4.5", "gpt-5.6-luna", "composer-2.5"];
+export declare const SEMANTIC_PHASES: readonly ["orienting", "researching", "planning", "implementing", "verifying", "coordinating", "waiting", "recovering", "wrapping-up", "unknown"];
+/**
+ * Model-synthesized presentation cues. Authoritative operational expressions
+ * such as blocked, waiting, alert, recovering, compacting, observing, strained,
+ * and conducting remain deterministic Codec projections and are excluded.
+ */
+export declare const SEMANTIC_EXPRESSION_CUES: readonly ["focused", "curious", "deliberating", "investigating", "building", "coordinating", "planning", "verifying", "weighing", "wrapping-up"];
+export declare const SEMANTIC_TAGS: readonly ["research", "planning", "implementation", "verification", "coordination", "waiting", "recovery", "delivery", "documentation", "infrastructure"];
+export declare const SEMANTIC_EVIDENCE_KINDS: readonly ["task", "lifecycle", "intent", "operation", "wait", "progress", "artifact", "action", "terminal", "error", "recovery", "claim-conflict"];
+export type SemanticHarness = (typeof SEMANTIC_HARNESSES)[number];
+export type SemanticConfiguredModel = (typeof SEMANTIC_CONFIGURED_MODELS)[number];
+export type SemanticPhase = (typeof SEMANTIC_PHASES)[number];
+export type SemanticExpressionCue = (typeof SEMANTIC_EXPRESSION_CUES)[number];
+export type SemanticTag = (typeof SEMANTIC_TAGS)[number];
+export type SemanticEvidenceKind = (typeof SEMANTIC_EVIDENCE_KINDS)[number];
+export type SemanticBasis = "direct-fact" | "deterministic-projection" | "model-synthesis" | "prediction";
+export type SemanticConfidence = "high" | "medium" | "low";
+export declare const SemanticEvidenceObservationV1Schema: import("@sinclair/typebox").TObject<{
+    kind: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "artifact" | "error" | "operation" | "action" | "terminal" | "task" | "intent" | "progress" | "lifecycle" | "wait" | "claim-conflict">[]>;
+    event_id: import("@sinclair/typebox").TString;
+    observed_at: import("@sinclair/typebox").TString;
+    label: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    outcome: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    error_class: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+}>;
+export declare const SemanticEvidenceV1Schema: import("@sinclair/typebox").TObject<{
+    schema_version: import("@sinclair/typebox").TLiteral<1>;
+    evidence_contract_version: import("@sinclair/typebox").TLiteral<1>;
+    instance_id: import("@sinclair/typebox").TString;
+    generation_id: import("@sinclair/typebox").TString;
+    source_harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+    source: import("@sinclair/typebox").TObject<{
+        ledger_genesis_id: import("@sinclair/typebox").TString;
+        observed_through_event_id: import("@sinclair/typebox").TString;
+        observed_through_ts: import("@sinclair/typebox").TString;
+    }>;
+    task: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        value: import("@sinclair/typebox").TString;
+        event_id: import("@sinclair/typebox").TString;
+    }>>;
+    lifecycle: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        state: import("@sinclair/typebox").TString;
+        event_id: import("@sinclair/typebox").TString;
+    }>>;
+    intent: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        kind: import("@sinclair/typebox").TString;
+        event_id: import("@sinclair/typebox").TString;
+    }>>;
+    operation: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        category: import("@sinclair/typebox").TString;
+        label: import("@sinclair/typebox").TString;
+        event_id: import("@sinclair/typebox").TString;
+    }>>;
+    waits: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+        kind: import("@sinclair/typebox").TString;
+        event_id: import("@sinclair/typebox").TString;
+        started_at: import("@sinclair/typebox").TString;
+    }>>;
+    recent: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+        kind: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "artifact" | "error" | "operation" | "action" | "terminal" | "task" | "intent" | "progress" | "lifecycle" | "wait" | "claim-conflict">[]>;
+        event_id: import("@sinclair/typebox").TString;
+        observed_at: import("@sinclair/typebox").TString;
+        label: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+        outcome: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+        error_class: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    }>>;
+    attention: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        kind: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "artifact" | "error" | "operation" | "action" | "terminal" | "task" | "intent" | "progress" | "lifecycle" | "wait" | "claim-conflict">[]>;
+        event_id: import("@sinclair/typebox").TString;
+        observed_at: import("@sinclair/typebox").TString;
+        label: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+        outcome: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+        error_class: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    }>>;
+    relationships: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        parent_generation_id: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+        dependency_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>>;
+    evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    evidence_digest: import("@sinclair/typebox").TString;
+}>;
+export declare const SemanticMeaningV2Schema: import("@sinclair/typebox").TObject<{
+    headline: import("@sinclair/typebox").TObject<{
+        value: import("@sinclair/typebox").TString;
+        basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+        confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+        evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>;
+    summary: import("@sinclair/typebox").TObject<{
+        value: import("@sinclair/typebox").TString;
+        basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+        confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+        evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>;
+    phase: import("@sinclair/typebox").TObject<{
+        value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"unknown" | "waiting" | "orienting" | "researching" | "planning" | "implementing" | "verifying" | "coordinating" | "recovering" | "wrapping-up">[]>;
+        basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+        confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+        evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>;
+    expression_cue: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"deliberating" | "planning" | "verifying" | "coordinating" | "wrapping-up" | "focused" | "curious" | "investigating" | "building" | "weighing">[]>;
+        basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+        confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+        evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>>;
+    purpose: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        value: import("@sinclair/typebox").TString;
+        basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+        confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+        evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>>;
+    recent_result: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        value: import("@sinclair/typebox").TString;
+        basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+        confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+        evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>>;
+    attention: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        value: import("@sinclair/typebox").TString;
+        basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+        confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+        evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>>;
+    next_step: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        value: import("@sinclair/typebox").TString;
+        basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+        confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+        evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>>;
+    tags: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        value: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "waiting" | "research" | "planning" | "implementation" | "verification" | "coordination" | "delivery" | "documentation" | "infrastructure">[]>>;
+        basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+        confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+        evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    }>>;
+}>;
+export declare const SemanticModelReplyV2Schema: import("@sinclair/typebox").TObject<{
+    schema_version: import("@sinclair/typebox").TLiteral<2>;
+    generation_id: import("@sinclair/typebox").TString;
+    evidence_digest: import("@sinclair/typebox").TString;
+    meaning: import("@sinclair/typebox").TObject<{
+        headline: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        summary: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        phase: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"unknown" | "waiting" | "orienting" | "researching" | "planning" | "implementing" | "verifying" | "coordinating" | "recovering" | "wrapping-up">[]>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        expression_cue: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"deliberating" | "planning" | "verifying" | "coordinating" | "wrapping-up" | "focused" | "curious" | "investigating" | "building" | "weighing">[]>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        purpose: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        recent_result: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        attention: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        next_step: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        tags: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "waiting" | "research" | "planning" | "implementation" | "verification" | "coordination" | "delivery" | "documentation" | "infrastructure">[]>>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+    }>;
+}>;
+/** Native structured-output schema bound to one evidence request. */
+export declare function semanticModelReplyV2SchemaFor(expected: {
+    generation_id: string;
+    evidence_digest: string;
+}): import("@sinclair/typebox").TObject<{
+    schema_version: import("@sinclair/typebox").TLiteral<2>;
+    generation_id: import("@sinclair/typebox").TLiteral<string>;
+    evidence_digest: import("@sinclair/typebox").TLiteral<string>;
+    meaning: import("@sinclair/typebox").TObject<{
+        headline: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        summary: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        phase: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"unknown" | "waiting" | "orienting" | "researching" | "planning" | "implementing" | "verifying" | "coordinating" | "recovering" | "wrapping-up">[]>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        expression_cue: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"deliberating" | "planning" | "verifying" | "coordinating" | "wrapping-up" | "focused" | "curious" | "investigating" | "building" | "weighing">[]>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        purpose: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        recent_result: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        attention: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        next_step: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        tags: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "waiting" | "research" | "planning" | "implementation" | "verification" | "coordination" | "delivery" | "documentation" | "infrastructure">[]>>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+    }>;
+}>;
+export declare const SemanticAcceptedReadModelV2Schema: import("@sinclair/typebox").TObject<{
+    reader_outcome: import("@sinclair/typebox").TLiteral<"accepted">;
+    reader: import("@sinclair/typebox").TObject<{
+        resolved_model_id: import("@sinclair/typebox").TString;
+        model_attestation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"verified">, import("@sinclair/typebox").TLiteral<"requested-only">]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>;
+    meaning: import("@sinclair/typebox").TObject<{
+        headline: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        summary: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        phase: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"unknown" | "waiting" | "orienting" | "researching" | "planning" | "implementing" | "verifying" | "coordinating" | "recovering" | "wrapping-up">[]>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        expression_cue: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"deliberating" | "planning" | "verifying" | "coordinating" | "wrapping-up" | "focused" | "curious" | "investigating" | "building" | "weighing">[]>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        purpose: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        recent_result: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        attention: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        next_step: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        tags: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "waiting" | "research" | "planning" | "implementation" | "verification" | "coordination" | "delivery" | "documentation" | "infrastructure">[]>>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+    }>;
+    schema_version: import("@sinclair/typebox").TLiteral<2>;
+    instance_id: import("@sinclair/typebox").TString;
+    generation_id: import("@sinclair/typebox").TString;
+    source: import("@sinclair/typebox").TObject<{
+        ledger_genesis_id: import("@sinclair/typebox").TString;
+        evidence_digest: import("@sinclair/typebox").TString;
+        observed_through_event_id: import("@sinclair/typebox").TString;
+        observed_through_ts: import("@sinclair/typebox").TString;
+    }>;
+    generated_at: import("@sinclair/typebox").TString;
+}>;
+export declare const SemanticUnavailableReadModelV2Schema: import("@sinclair/typebox").TObject<{
+    reader_outcome: import("@sinclair/typebox").TLiteral<"unavailable">;
+    reader: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>, import("@sinclair/typebox").TObject<{
+        resolved_model_id: import("@sinclair/typebox").TString;
+        model_attestation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"verified">, import("@sinclair/typebox").TLiteral<"requested-only">]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>]>;
+    receipt: import("@sinclair/typebox").TObject<{
+        reason_code: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"harness_unavailable">, import("@sinclair/typebox").TLiteral<"authentication_unavailable">, import("@sinclair/typebox").TLiteral<"model_unavailable">, import("@sinclair/typebox").TLiteral<"model_mismatch">]>;
+    }>;
+    schema_version: import("@sinclair/typebox").TLiteral<2>;
+    instance_id: import("@sinclair/typebox").TString;
+    generation_id: import("@sinclair/typebox").TString;
+    source: import("@sinclair/typebox").TObject<{
+        ledger_genesis_id: import("@sinclair/typebox").TString;
+        evidence_digest: import("@sinclair/typebox").TString;
+        observed_through_event_id: import("@sinclair/typebox").TString;
+        observed_through_ts: import("@sinclair/typebox").TString;
+    }>;
+    generated_at: import("@sinclair/typebox").TString;
+}>;
+export declare const SemanticInvalidReadModelV2Schema: import("@sinclair/typebox").TObject<{
+    reader_outcome: import("@sinclair/typebox").TLiteral<"invalid">;
+    reader: import("@sinclair/typebox").TObject<{
+        resolved_model_id: import("@sinclair/typebox").TString;
+        model_attestation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"verified">, import("@sinclair/typebox").TLiteral<"requested-only">]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>;
+    receipt: import("@sinclair/typebox").TObject<{
+        reason_code: import("@sinclair/typebox").TLiteral<"invalid_output">;
+    }>;
+    schema_version: import("@sinclair/typebox").TLiteral<2>;
+    instance_id: import("@sinclair/typebox").TString;
+    generation_id: import("@sinclair/typebox").TString;
+    source: import("@sinclair/typebox").TObject<{
+        ledger_genesis_id: import("@sinclair/typebox").TString;
+        evidence_digest: import("@sinclair/typebox").TString;
+        observed_through_event_id: import("@sinclair/typebox").TString;
+        observed_through_ts: import("@sinclair/typebox").TString;
+    }>;
+    generated_at: import("@sinclair/typebox").TString;
+}>;
+export declare const SemanticDeferredReadModelV2Schema: import("@sinclair/typebox").TObject<{
+    reader_outcome: import("@sinclair/typebox").TLiteral<"deferred">;
+    reader: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>, import("@sinclair/typebox").TObject<{
+        resolved_model_id: import("@sinclair/typebox").TString;
+        model_attestation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"verified">, import("@sinclair/typebox").TLiteral<"requested-only">]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>]>;
+    receipt: import("@sinclair/typebox").TObject<{
+        reason_code: import("@sinclair/typebox").TLiteral<"rate_cap">;
+        eligible_after: import("@sinclair/typebox").TString;
+    }>;
+    schema_version: import("@sinclair/typebox").TLiteral<2>;
+    instance_id: import("@sinclair/typebox").TString;
+    generation_id: import("@sinclair/typebox").TString;
+    source: import("@sinclair/typebox").TObject<{
+        ledger_genesis_id: import("@sinclair/typebox").TString;
+        evidence_digest: import("@sinclair/typebox").TString;
+        observed_through_event_id: import("@sinclair/typebox").TString;
+        observed_through_ts: import("@sinclair/typebox").TString;
+    }>;
+    generated_at: import("@sinclair/typebox").TString;
+}>;
+export declare const SemanticAgentReadModelV2Schema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+    reader_outcome: import("@sinclair/typebox").TLiteral<"accepted">;
+    reader: import("@sinclair/typebox").TObject<{
+        resolved_model_id: import("@sinclair/typebox").TString;
+        model_attestation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"verified">, import("@sinclair/typebox").TLiteral<"requested-only">]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>;
+    meaning: import("@sinclair/typebox").TObject<{
+        headline: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        summary: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        phase: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"unknown" | "waiting" | "orienting" | "researching" | "planning" | "implementing" | "verifying" | "coordinating" | "recovering" | "wrapping-up">[]>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>;
+        expression_cue: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"deliberating" | "planning" | "verifying" | "coordinating" | "wrapping-up" | "focused" | "curious" | "investigating" | "building" | "weighing">[]>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        purpose: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        recent_result: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        attention: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        next_step: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TString;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+        tags: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "waiting" | "research" | "planning" | "implementation" | "verification" | "coordination" | "delivery" | "documentation" | "infrastructure">[]>>;
+            basis: import("@sinclair/typebox").TLiteral<"model-synthesis" | "prediction">;
+            confidence: import("@sinclair/typebox").TLiteral<"low"> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"high">, import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]> | import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"medium">, import("@sinclair/typebox").TLiteral<"low">]>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        }>>;
+    }>;
+    schema_version: import("@sinclair/typebox").TLiteral<2>;
+    instance_id: import("@sinclair/typebox").TString;
+    generation_id: import("@sinclair/typebox").TString;
+    source: import("@sinclair/typebox").TObject<{
+        ledger_genesis_id: import("@sinclair/typebox").TString;
+        evidence_digest: import("@sinclair/typebox").TString;
+        observed_through_event_id: import("@sinclair/typebox").TString;
+        observed_through_ts: import("@sinclair/typebox").TString;
+    }>;
+    generated_at: import("@sinclair/typebox").TString;
+}>, import("@sinclair/typebox").TObject<{
+    reader_outcome: import("@sinclair/typebox").TLiteral<"unavailable">;
+    reader: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>, import("@sinclair/typebox").TObject<{
+        resolved_model_id: import("@sinclair/typebox").TString;
+        model_attestation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"verified">, import("@sinclair/typebox").TLiteral<"requested-only">]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>]>;
+    receipt: import("@sinclair/typebox").TObject<{
+        reason_code: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"harness_unavailable">, import("@sinclair/typebox").TLiteral<"authentication_unavailable">, import("@sinclair/typebox").TLiteral<"model_unavailable">, import("@sinclair/typebox").TLiteral<"model_mismatch">]>;
+    }>;
+    schema_version: import("@sinclair/typebox").TLiteral<2>;
+    instance_id: import("@sinclair/typebox").TString;
+    generation_id: import("@sinclair/typebox").TString;
+    source: import("@sinclair/typebox").TObject<{
+        ledger_genesis_id: import("@sinclair/typebox").TString;
+        evidence_digest: import("@sinclair/typebox").TString;
+        observed_through_event_id: import("@sinclair/typebox").TString;
+        observed_through_ts: import("@sinclair/typebox").TString;
+    }>;
+    generated_at: import("@sinclair/typebox").TString;
+}>, import("@sinclair/typebox").TObject<{
+    reader_outcome: import("@sinclair/typebox").TLiteral<"invalid">;
+    reader: import("@sinclair/typebox").TObject<{
+        resolved_model_id: import("@sinclair/typebox").TString;
+        model_attestation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"verified">, import("@sinclair/typebox").TLiteral<"requested-only">]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>;
+    receipt: import("@sinclair/typebox").TObject<{
+        reason_code: import("@sinclair/typebox").TLiteral<"invalid_output">;
+    }>;
+    schema_version: import("@sinclair/typebox").TLiteral<2>;
+    instance_id: import("@sinclair/typebox").TString;
+    generation_id: import("@sinclair/typebox").TString;
+    source: import("@sinclair/typebox").TObject<{
+        ledger_genesis_id: import("@sinclair/typebox").TString;
+        evidence_digest: import("@sinclair/typebox").TString;
+        observed_through_event_id: import("@sinclair/typebox").TString;
+        observed_through_ts: import("@sinclair/typebox").TString;
+    }>;
+    generated_at: import("@sinclair/typebox").TString;
+}>, import("@sinclair/typebox").TObject<{
+    reader_outcome: import("@sinclair/typebox").TLiteral<"deferred">;
+    reader: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>, import("@sinclair/typebox").TObject<{
+        resolved_model_id: import("@sinclair/typebox").TString;
+        model_attestation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"verified">, import("@sinclair/typebox").TLiteral<"requested-only">]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"claude-code" | "cursor" | "codex">[]>;
+        configured_model: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"haiku-4.5" | "gpt-5.6-luna" | "composer-2.5">[]>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<3>;
+    }>]>;
+    receipt: import("@sinclair/typebox").TObject<{
+        reason_code: import("@sinclair/typebox").TLiteral<"rate_cap">;
+        eligible_after: import("@sinclair/typebox").TString;
+    }>;
+    schema_version: import("@sinclair/typebox").TLiteral<2>;
+    instance_id: import("@sinclair/typebox").TString;
+    generation_id: import("@sinclair/typebox").TString;
+    source: import("@sinclair/typebox").TObject<{
+        ledger_genesis_id: import("@sinclair/typebox").TString;
+        evidence_digest: import("@sinclair/typebox").TString;
+        observed_through_event_id: import("@sinclair/typebox").TString;
+        observed_through_ts: import("@sinclair/typebox").TString;
+    }>;
+    generated_at: import("@sinclair/typebox").TString;
+}>]>;
+export type SemanticEvidenceObservationV1 = Static<typeof SemanticEvidenceObservationV1Schema>;
+export type SemanticEvidenceV1 = Static<typeof SemanticEvidenceV1Schema>;
+export type SemanticField<T> = {
+    value: T;
+    basis: SemanticBasis;
+    confidence: SemanticConfidence;
+    evidence_event_ids: string[];
+};
+export type SemanticMeaningV2 = Static<typeof SemanticMeaningV2Schema>;
+export type SemanticModelReplyV2 = Static<typeof SemanticModelReplyV2Schema>;
+export type SemanticAcceptedReadModelV2 = Static<typeof SemanticAcceptedReadModelV2Schema>;
+export type SemanticAgentReadModelV2 = Static<typeof SemanticAgentReadModelV2Schema>;
+//# sourceMappingURL=contract.d.ts.map