harnery 0.35.0 → 0.37.0

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

@@ -2,7 +2,10 @@ 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_PROMPT_CONTRACT_VERSION: 4;
+export declare const SEMANTIC_USAGE_SCHEMA_VERSION: 1;
+export declare const SEMANTIC_VISIBLE_USAGE_ESTIMATOR_ID: "visible-o200k-base";
+export declare const SEMANTIC_VISIBLE_USAGE_ESTIMATOR_VERSION: 1;
 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"];
@@ -14,16 +17,142 @@ export declare const SEMANTIC_PHASES: readonly ["orienting", "researching", "pla
 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 declare const SEMANTIC_INVALID_REASON_CODES: readonly ["schema", "identity", "citation", "basis", "confidence", "privacy", "unsupported_claim", "unknown"];
 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 SemanticInvalidReasonCode = (typeof SEMANTIC_INVALID_REASON_CODES)[number];
 export type SemanticBasis = "direct-fact" | "deterministic-projection" | "model-synthesis" | "prediction";
 export type SemanticConfidence = "high" | "medium" | "low";
+declare const NativeUsageTokenSchema: import("@sinclair/typebox").TObject<{
+    value: import("@sinclair/typebox").TInteger;
+    provenance: import("@sinclair/typebox").TLiteral<"native">;
+}>;
+declare const EstimatedUsageTokenSchema: import("@sinclair/typebox").TObject<{
+    value: import("@sinclair/typebox").TInteger;
+    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+}>;
+export declare const SemanticNativeUsageReceiptV1Schema: import("@sinclair/typebox").TObject<{
+    schema_version: import("@sinclair/typebox").TLiteral<1>;
+    source: import("@sinclair/typebox").TLiteral<"native">;
+    scope: import("@sinclair/typebox").TLiteral<"harness-call">;
+    tokens: import("@sinclair/typebox").TObject<{
+        input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+        cached_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+        cache_creation_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+        output_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+        reasoning_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+        total_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+    }>;
+}>;
+export declare const SemanticEstimatedUsageReceiptV1Schema: import("@sinclair/typebox").TObject<{
+    schema_version: import("@sinclair/typebox").TLiteral<1>;
+    source: import("@sinclair/typebox").TLiteral<"estimated">;
+    scope: import("@sinclair/typebox").TLiteral<"visible-payload">;
+    estimator: import("@sinclair/typebox").TObject<{
+        id: import("@sinclair/typebox").TLiteral<"visible-o200k-base">;
+        version: import("@sinclair/typebox").TLiteral<1>;
+    }>;
+    tokens: import("@sinclair/typebox").TObject<{
+        input_tokens: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+        }>;
+        output_tokens: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+        }>;
+        total_tokens: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+        }>;
+    }>;
+}>;
+export declare const SemanticUnreportedUsageReceiptV1Schema: import("@sinclair/typebox").TObject<{
+    schema_version: import("@sinclair/typebox").TLiteral<1>;
+    source: import("@sinclair/typebox").TLiteral<"unreported">;
+    scope: import("@sinclair/typebox").TLiteral<"unreported">;
+}>;
+export declare const SemanticUsageReceiptV1Schema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+    schema_version: import("@sinclair/typebox").TLiteral<1>;
+    source: import("@sinclair/typebox").TLiteral<"native">;
+    scope: import("@sinclair/typebox").TLiteral<"harness-call">;
+    tokens: import("@sinclair/typebox").TObject<{
+        input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+        cached_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+        cache_creation_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+        output_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+        reasoning_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+        total_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"native">;
+        }>>;
+    }>;
+}>, import("@sinclair/typebox").TObject<{
+    schema_version: import("@sinclair/typebox").TLiteral<1>;
+    source: import("@sinclair/typebox").TLiteral<"estimated">;
+    scope: import("@sinclair/typebox").TLiteral<"visible-payload">;
+    estimator: import("@sinclair/typebox").TObject<{
+        id: import("@sinclair/typebox").TLiteral<"visible-o200k-base">;
+        version: import("@sinclair/typebox").TLiteral<1>;
+    }>;
+    tokens: import("@sinclair/typebox").TObject<{
+        input_tokens: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+        }>;
+        output_tokens: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+        }>;
+        total_tokens: import("@sinclair/typebox").TObject<{
+            value: import("@sinclair/typebox").TInteger;
+            provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+        }>;
+    }>;
+}>, import("@sinclair/typebox").TObject<{
+    schema_version: import("@sinclair/typebox").TLiteral<1>;
+    source: import("@sinclair/typebox").TLiteral<"unreported">;
+    scope: import("@sinclair/typebox").TLiteral<"unreported">;
+}>]>;
 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">[]>;
+    kind: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"error" | "recovery" | "artifact" | "operation" | "action" | "terminal" | "progress" | "task" | "intent" | "wait" | "lifecycle" | "claim-conflict">[]>;
     event_id: import("@sinclair/typebox").TString;
     observed_at: import("@sinclair/typebox").TString;
     label: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
@@ -35,7 +164,7 @@ export declare const SemanticEvidenceV1Schema: import("@sinclair/typebox").TObje
     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_harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "codex">[]>;
     source: import("@sinclair/typebox").TObject<{
         ledger_genesis_id: import("@sinclair/typebox").TString;
         observed_through_event_id: import("@sinclair/typebox").TString;
@@ -64,7 +193,7 @@ export declare const SemanticEvidenceV1Schema: import("@sinclair/typebox").TObje
         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">[]>;
+        kind: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"error" | "recovery" | "artifact" | "operation" | "action" | "terminal" | "progress" | "task" | "intent" | "wait" | "lifecycle" | "claim-conflict">[]>;
         event_id: import("@sinclair/typebox").TString;
         observed_at: import("@sinclair/typebox").TString;
         label: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
@@ -72,7 +201,7 @@ export declare const SemanticEvidenceV1Schema: import("@sinclair/typebox").TObje
         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">[]>;
+        kind: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"error" | "recovery" | "artifact" | "operation" | "action" | "terminal" | "progress" | "task" | "intent" | "wait" | "lifecycle" | "claim-conflict">[]>;
         event_id: import("@sinclair/typebox").TString;
         observed_at: import("@sinclair/typebox").TString;
         label: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
@@ -106,7 +235,7 @@ export declare const SemanticMeaningV2Schema: import("@sinclair/typebox").TObjec
         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">[]>;
+        value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"planning" | "verifying" | "coordinating" | "wrapping-up" | "focused" | "curious" | "deliberating" | "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>;
@@ -136,7 +265,7 @@ export declare const SemanticMeaningV2Schema: import("@sinclair/typebox").TObjec
         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">[]>>;
+        value: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "research" | "waiting" | "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>;
@@ -166,7 +295,7 @@ export declare const SemanticModelReplyV2Schema: import("@sinclair/typebox").TOb
             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">[]>;
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"planning" | "verifying" | "coordinating" | "wrapping-up" | "focused" | "curious" | "deliberating" | "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>;
@@ -196,7 +325,7 @@ export declare const SemanticModelReplyV2Schema: import("@sinclair/typebox").TOb
             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">[]>>;
+            value: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "research" | "waiting" | "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>;
@@ -207,6 +336,7 @@ export declare const SemanticModelReplyV2Schema: import("@sinclair/typebox").TOb
 export declare function semanticModelReplyV2SchemaFor(expected: {
     generation_id: string;
     evidence_digest: string;
+    evidence_event_ids: string[];
 }): import("@sinclair/typebox").TObject<{
     schema_version: import("@sinclair/typebox").TLiteral<2>;
     generation_id: import("@sinclair/typebox").TLiteral<string>;
@@ -216,55 +346,55 @@ export declare function semanticModelReplyV2SchemaFor(expected: {
             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>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<string>[]>>;
         }>;
         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>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<string>[]>>;
         }>;
         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>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<string>[]>>;
         }>;
         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">[]>;
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"planning" | "verifying" | "coordinating" | "wrapping-up" | "focused" | "curious" | "deliberating" | "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>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<string>[]>>;
         }>>;
         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>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<string>[]>>;
         }>>;
         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>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<string>[]>>;
         }>>;
         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>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<string>[]>>;
         }>>;
         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>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<string>[]>>;
         }>>;
         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">[]>>;
+            value: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "research" | "waiting" | "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>;
+            evidence_event_ids: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<string>[]>>;
         }>>;
     }>;
 }>;
@@ -273,10 +403,69 @@ export declare const SemanticAcceptedReadModelV2Schema: import("@sinclair/typebo
     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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>;
+    receipt: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        usage: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"native">;
+            scope: import("@sinclair/typebox").TLiteral<"harness-call">;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cached_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cache_creation_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                output_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                reasoning_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                total_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"estimated">;
+            scope: import("@sinclair/typebox").TLiteral<"visible-payload">;
+            estimator: import("@sinclair/typebox").TObject<{
+                id: import("@sinclair/typebox").TLiteral<"visible-o200k-base">;
+                version: import("@sinclair/typebox").TLiteral<1>;
+            }>;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                output_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                total_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"unreported">;
+            scope: import("@sinclair/typebox").TLiteral<"unreported">;
+        }>]>;
+    }>>;
     meaning: import("@sinclair/typebox").TObject<{
         headline: import("@sinclair/typebox").TObject<{
             value: import("@sinclair/typebox").TString;
@@ -297,7 +486,7 @@ export declare const SemanticAcceptedReadModelV2Schema: import("@sinclair/typebo
             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">[]>;
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"planning" | "verifying" | "coordinating" | "wrapping-up" | "focused" | "curious" | "deliberating" | "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>;
@@ -327,7 +516,7 @@ export declare const SemanticAcceptedReadModelV2Schema: import("@sinclair/typebo
             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">[]>>;
+            value: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "research" | "waiting" | "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>;
@@ -347,18 +536,75 @@ export declare const SemanticAcceptedReadModelV2Schema: import("@sinclair/typebo
 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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>, 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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>]>;
     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">]>;
+        usage: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"native">;
+            scope: import("@sinclair/typebox").TLiteral<"harness-call">;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cached_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cache_creation_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                output_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                reasoning_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                total_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"estimated">;
+            scope: import("@sinclair/typebox").TLiteral<"visible-payload">;
+            estimator: import("@sinclair/typebox").TObject<{
+                id: import("@sinclair/typebox").TLiteral<"visible-o200k-base">;
+                version: import("@sinclair/typebox").TLiteral<1>;
+            }>;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                output_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                total_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"unreported">;
+            scope: import("@sinclair/typebox").TLiteral<"unreported">;
+        }>]>>;
     }>;
     schema_version: import("@sinclair/typebox").TLiteral<2>;
     instance_id: import("@sinclair/typebox").TString;
@@ -376,12 +622,70 @@ export declare const SemanticInvalidReadModelV2Schema: import("@sinclair/typebox
     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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>;
     receipt: import("@sinclair/typebox").TObject<{
         reason_code: import("@sinclair/typebox").TLiteral<"invalid_output">;
+        validation_issue_codes: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"unknown" | "schema" | "privacy" | "confidence" | "identity" | "basis" | "citation" | "unsupported_claim">[]>>;
+        usage: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"native">;
+            scope: import("@sinclair/typebox").TLiteral<"harness-call">;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cached_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cache_creation_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                output_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                reasoning_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                total_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"estimated">;
+            scope: import("@sinclair/typebox").TLiteral<"visible-payload">;
+            estimator: import("@sinclair/typebox").TObject<{
+                id: import("@sinclair/typebox").TLiteral<"visible-o200k-base">;
+                version: import("@sinclair/typebox").TLiteral<1>;
+            }>;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                output_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                total_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"unreported">;
+            scope: import("@sinclair/typebox").TLiteral<"unreported">;
+        }>]>>;
     }>;
     schema_version: import("@sinclair/typebox").TLiteral<2>;
     instance_id: import("@sinclair/typebox").TString;
@@ -397,15 +701,15 @@ export declare const SemanticInvalidReadModelV2Schema: import("@sinclair/typebox
 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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>, 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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>]>;
     receipt: import("@sinclair/typebox").TObject<{
         reason_code: import("@sinclair/typebox").TLiteral<"rate_cap">;
@@ -427,10 +731,69 @@ export declare const SemanticAgentReadModelV2Schema: import("@sinclair/typebox")
     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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>;
+    receipt: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+        usage: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"native">;
+            scope: import("@sinclair/typebox").TLiteral<"harness-call">;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cached_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cache_creation_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                output_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                reasoning_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                total_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"estimated">;
+            scope: import("@sinclair/typebox").TLiteral<"visible-payload">;
+            estimator: import("@sinclair/typebox").TObject<{
+                id: import("@sinclair/typebox").TLiteral<"visible-o200k-base">;
+                version: import("@sinclair/typebox").TLiteral<1>;
+            }>;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                output_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                total_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"unreported">;
+            scope: import("@sinclair/typebox").TLiteral<"unreported">;
+        }>]>;
+    }>>;
     meaning: import("@sinclair/typebox").TObject<{
         headline: import("@sinclair/typebox").TObject<{
             value: import("@sinclair/typebox").TString;
@@ -451,7 +814,7 @@ export declare const SemanticAgentReadModelV2Schema: import("@sinclair/typebox")
             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">[]>;
+            value: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"planning" | "verifying" | "coordinating" | "wrapping-up" | "focused" | "curious" | "deliberating" | "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>;
@@ -481,7 +844,7 @@ export declare const SemanticAgentReadModelV2Schema: import("@sinclair/typebox")
             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">[]>>;
+            value: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"recovery" | "research" | "waiting" | "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>;
@@ -500,18 +863,75 @@ export declare const SemanticAgentReadModelV2Schema: import("@sinclair/typebox")
 }>, 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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>, 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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>]>;
     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">]>;
+        usage: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"native">;
+            scope: import("@sinclair/typebox").TLiteral<"harness-call">;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cached_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cache_creation_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                output_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                reasoning_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                total_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"estimated">;
+            scope: import("@sinclair/typebox").TLiteral<"visible-payload">;
+            estimator: import("@sinclair/typebox").TObject<{
+                id: import("@sinclair/typebox").TLiteral<"visible-o200k-base">;
+                version: import("@sinclair/typebox").TLiteral<1>;
+            }>;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                output_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                total_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"unreported">;
+            scope: import("@sinclair/typebox").TLiteral<"unreported">;
+        }>]>>;
     }>;
     schema_version: import("@sinclair/typebox").TLiteral<2>;
     instance_id: import("@sinclair/typebox").TString;
@@ -528,12 +948,70 @@ export declare const SemanticAgentReadModelV2Schema: import("@sinclair/typebox")
     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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>;
     receipt: import("@sinclair/typebox").TObject<{
         reason_code: import("@sinclair/typebox").TLiteral<"invalid_output">;
+        validation_issue_codes: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"unknown" | "schema" | "privacy" | "confidence" | "identity" | "basis" | "citation" | "unsupported_claim">[]>>;
+        usage: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"native">;
+            scope: import("@sinclair/typebox").TLiteral<"harness-call">;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cached_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                cache_creation_input_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                output_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                reasoning_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+                total_tokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"native">;
+                }>>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"estimated">;
+            scope: import("@sinclair/typebox").TLiteral<"visible-payload">;
+            estimator: import("@sinclair/typebox").TObject<{
+                id: import("@sinclair/typebox").TLiteral<"visible-o200k-base">;
+                version: import("@sinclair/typebox").TLiteral<1>;
+            }>;
+            tokens: import("@sinclair/typebox").TObject<{
+                input_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                output_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+                total_tokens: import("@sinclair/typebox").TObject<{
+                    value: import("@sinclair/typebox").TInteger;
+                    provenance: import("@sinclair/typebox").TLiteral<"estimated">;
+                }>;
+            }>;
+        }>, import("@sinclair/typebox").TObject<{
+            schema_version: import("@sinclair/typebox").TLiteral<1>;
+            source: import("@sinclair/typebox").TLiteral<"unreported">;
+            scope: import("@sinclair/typebox").TLiteral<"unreported">;
+        }>]>>;
     }>;
     schema_version: import("@sinclair/typebox").TLiteral<2>;
     instance_id: import("@sinclair/typebox").TString;
@@ -548,15 +1026,15 @@ export declare const SemanticAgentReadModelV2Schema: import("@sinclair/typebox")
 }>, 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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>, 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">[]>;
+        harness: import("@sinclair/typebox").TUnion<import("@sinclair/typebox").TLiteral<"cursor" | "claude-code" | "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>;
+        prompt_contract_version: import("@sinclair/typebox").TLiteral<4>;
     }>]>;
     receipt: import("@sinclair/typebox").TObject<{
         reason_code: import("@sinclair/typebox").TLiteral<"rate_cap">;
@@ -583,6 +1061,12 @@ export type SemanticField<T> = {
 };
 export type SemanticMeaningV2 = Static<typeof SemanticMeaningV2Schema>;
 export type SemanticModelReplyV2 = Static<typeof SemanticModelReplyV2Schema>;
+export type SemanticUsageToken = Static<typeof NativeUsageTokenSchema> | Static<typeof EstimatedUsageTokenSchema>;
+export type SemanticNativeUsageReceiptV1 = Static<typeof SemanticNativeUsageReceiptV1Schema>;
+export type SemanticEstimatedUsageReceiptV1 = Static<typeof SemanticEstimatedUsageReceiptV1Schema>;
+export type SemanticUnreportedUsageReceiptV1 = Static<typeof SemanticUnreportedUsageReceiptV1Schema>;
+export type SemanticUsageReceiptV1 = Static<typeof SemanticUsageReceiptV1Schema>;
 export type SemanticAcceptedReadModelV2 = Static<typeof SemanticAcceptedReadModelV2Schema>;
 export type SemanticAgentReadModelV2 = Static<typeof SemanticAgentReadModelV2Schema>;
+export {};
 //# sourceMappingURL=contract.d.ts.map