@hlos-ai/schemas 0.4.2 → 0.7.1

package/dist/index.d.ts

@@ -1,6 +1,87 @@
 import { z } from 'zod';
-import { ReceiptId } from './ids.js';
-export { CorrelationId, CorrelationIdSchema, CrossingId, CrossingIdSchema, IdempotencyKey, IdempotencyKeySchema, PassportId, PassportIdSchema, ReceiptIdSchema, WalletId, WalletIdSchema, generateCrossingId, generateId, generatePassportId, generateReceiptId, generateWalletId } from './ids.js';
+export { C as CONTENT_HASH_LENGTH, h as RECEIPT_HASH_GOLDEN_FIXTURE, R as RECEIPT_TYPE_URI, a as RECEIPT_VERSION, g as ReceiptHashSchema, S as SIGNATURE_LENGTH, b as SignedReceiptV0, d as SignedReceiptV0LooseSchema, c as SignedReceiptV0Schema, f as computeContentHash, e as computeReceiptHash, i as isSignedReceiptV0, j as jcsCanonicalize } from './receipt-hash-B3OwdB1v.js';
+import { DispatchId, DispatchIdBrand } from './ids.js';
+export { CorrelationId, CorrelationIdSchema, CrossingId, CrossingIdSchema, DispatchIdSchema, IdempotencyKey, IdempotencyKeySchema, PassportId, PassportIdSchema, ReceiptId, ReceiptIdSchema, WalletId, WalletIdSchema, generateCrossingId, generateDispatchId, generateId, generatePassportId, generateReceiptId, generateWalletId } from './ids.js';
+
+declare const AAR_ENVELOPE_TYPE: "https://hlos.ai/schema/AAREnvelopeV0";
+declare const AAR_ENVELOPE_VERSION: 0;
+/**
+ * Agent Action Receipt Envelope V0
+ *
+ * Wraps inner receipts or artifacts in a uniform, verifiable envelope.
+ *
+ * V0 intentionally uses z.unknown() for inner payloads.
+ * Wiring PRs must narrow by content_type before production issuance.
+ */
+declare const AAREnvelopeV0Schema: z.ZodObject<{
+    '@type': z.ZodLiteral<"https://hlos.ai/schema/AAREnvelopeV0">;
+    version: z.ZodLiteral<0>;
+    content_type: z.ZodString;
+    content_hash: z.ZodString;
+    inner: z.ZodUnknown;
+    signer_id: z.ZodString;
+    signature: z.ZodString;
+    issued_at: z.ZodString;
+    previous_aar_hash: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    '@type': "https://hlos.ai/schema/AAREnvelopeV0";
+    version: 0;
+    content_type: string;
+    content_hash: string;
+    signer_id: string;
+    signature: string;
+    issued_at: string;
+    previous_aar_hash: string;
+    inner?: unknown;
+}, {
+    '@type': "https://hlos.ai/schema/AAREnvelopeV0";
+    version: 0;
+    content_type: string;
+    content_hash: string;
+    signer_id: string;
+    signature: string;
+    issued_at: string;
+    previous_aar_hash: string;
+    inner?: unknown;
+}>;
+declare const AAREnvelopeV0TypedSchema: <T extends z.ZodTypeAny>(contentType: string, innerSchema: T) => z.ZodObject<{
+    '@type': z.ZodLiteral<"https://hlos.ai/schema/AAREnvelopeV0">;
+    version: z.ZodLiteral<0>;
+    content_hash: z.ZodString;
+    signer_id: z.ZodString;
+    signature: z.ZodString;
+    issued_at: z.ZodString;
+    previous_aar_hash: z.ZodString;
+} & {
+    content_type: z.ZodLiteral<string>;
+    inner: T;
+}, "strip", z.ZodTypeAny, z.objectUtil.addQuestionMarks<z.baseObjectOutputType<{
+    '@type': z.ZodLiteral<"https://hlos.ai/schema/AAREnvelopeV0">;
+    version: z.ZodLiteral<0>;
+    content_hash: z.ZodString;
+    signer_id: z.ZodString;
+    signature: z.ZodString;
+    issued_at: z.ZodString;
+    previous_aar_hash: z.ZodString;
+} & {
+    content_type: z.ZodLiteral<string>;
+    inner: T;
+}>, any> extends infer T_1 ? { [k in keyof T_1]: T_1[k]; } : never, z.baseObjectInputType<{
+    '@type': z.ZodLiteral<"https://hlos.ai/schema/AAREnvelopeV0">;
+    version: z.ZodLiteral<0>;
+    content_hash: z.ZodString;
+    signer_id: z.ZodString;
+    signature: z.ZodString;
+    issued_at: z.ZodString;
+    previous_aar_hash: z.ZodString;
+} & {
+    content_type: z.ZodLiteral<string>;
+    inner: T;
+}> extends infer T_2 ? { [k_1 in keyof T_2]: T_2[k_1]; } : never>;
+type AAREnvelopeV0 = z.infer<typeof AAREnvelopeV0Schema>;
+
+type VerifyKey = CryptoKey | Uint8Array;
+declare function verifyAAR(envelope: unknown, publicKey: VerifyKey): Promise<AAREnvelopeV0>;
 
 /**
  * @hlos-ai/schemas - Surface Types
@@ -151,148 +232,6 @@ declare const ErrorResponseSchema: z.ZodObject<{
     };
 }>;
 
-/**
- * @hlos-ai/schemas - SignedReceiptV0
- *
- * Canonical receipt format for HLOS Kernel v2 mutations.
- * All mutating operations emit this receipt type.
- *
- * FROZEN: Breaking changes require version bump.
- */
-
-/**
- * Receipt type URI (JSON-LD style).
- */
-declare const RECEIPT_TYPE_URI: "https://hlos.ai/schema/SignedReceiptV0";
-/**
- * Current receipt format version.
- * This is a NUMBER, not semver.
- */
-declare const RECEIPT_VERSION: 0;
-/**
- * SignedReceiptV0: Canonical receipt for all v2 mutations.
- *
- * Content is JCS-canonicalized, SHA-256 hashed, Ed25519 signed.
- *
- * @template T - The content type (mutation-specific payload)
- */
-interface SignedReceiptV0<T = unknown> {
-    /**
-     * Type URI for JSON-LD compatibility.
-     */
-    '@type': typeof RECEIPT_TYPE_URI;
-    /**
-     * Format version (number, not semver).
-     * Increment for breaking format changes.
-     */
-    version: typeof RECEIPT_VERSION;
-    /**
-     * Unique receipt identifier.
-     */
-    receipt_id: ReceiptId | string;
-    /**
-     * The mutation payload (JCS-canonicalized before hashing).
-     */
-    content: T;
-    /**
-     * SHA-256 hash of JCS(content), base64url encoded.
-     *
-     * IMPORTANT: This is base64url of the raw 32-byte digest,
-     * NOT hex encoding. Matches signature input format.
-     */
-    content_hash: string;
-    /**
-     * Ed25519 signature over the raw 32-byte content_hash digest.
-     * base64url encoded.
-     *
-     * Signing process:
-     *   1. canonicalize = JCS(content)
-     *   2. digest = SHA-256(canonicalize) → 32 bytes
-     *   3. signature = Ed25519.sign(private_key, digest)
-     *   4. encode = base64url(signature)
-     */
-    signature: string;
-    /**
-     * Key identifier for signature verification.
-     * Resolves via JWKS endpoint: GET /api/v2/.well-known/keys
-     */
-    key_id: string;
-    /**
-     * ISO 8601 timestamp when receipt was issued.
-     */
-    issued_at: string;
-}
-/**
- * Strict base64url length constants:
- * - SHA-256 digest (32 bytes) = 43 chars base64url (no padding)
- * - Ed25519 signature (64 bytes) = 86 chars base64url (no padding)
- */
-declare const CONTENT_HASH_LENGTH = 43;
-declare const SIGNATURE_LENGTH = 86;
-declare const SignedReceiptV0Schema: <T extends z.ZodType>(contentSchema: T) => z.ZodObject<{
-    '@type': z.ZodLiteral<"https://hlos.ai/schema/SignedReceiptV0">;
-    version: z.ZodLiteral<0>;
-    receipt_id: z.ZodString;
-    content: T;
-    content_hash: z.ZodString;
-    signature: z.ZodString;
-    key_id: z.ZodString;
-    issued_at: z.ZodString;
-}, "strip", z.ZodTypeAny, z.objectUtil.addQuestionMarks<z.baseObjectOutputType<{
-    '@type': z.ZodLiteral<"https://hlos.ai/schema/SignedReceiptV0">;
-    version: z.ZodLiteral<0>;
-    receipt_id: z.ZodString;
-    content: T;
-    content_hash: z.ZodString;
-    signature: z.ZodString;
-    key_id: z.ZodString;
-    issued_at: z.ZodString;
-}>, any> extends infer T_1 ? { [k in keyof T_1]: T_1[k]; } : never, z.baseObjectInputType<{
-    '@type': z.ZodLiteral<"https://hlos.ai/schema/SignedReceiptV0">;
-    version: z.ZodLiteral<0>;
-    receipt_id: z.ZodString;
-    content: T;
-    content_hash: z.ZodString;
-    signature: z.ZodString;
-    key_id: z.ZodString;
-    issued_at: z.ZodString;
-}> extends infer T_2 ? { [k_1 in keyof T_2]: T_2[k_1]; } : never>;
-/**
- * Loose schema for unknown content types.
- */
-declare const SignedReceiptV0LooseSchema: z.ZodObject<{
-    '@type': z.ZodLiteral<"https://hlos.ai/schema/SignedReceiptV0">;
-    version: z.ZodLiteral<0>;
-    receipt_id: z.ZodString;
-    content: z.ZodUnknown;
-    content_hash: z.ZodString;
-    signature: z.ZodString;
-    key_id: z.ZodString;
-    issued_at: z.ZodString;
-}, "strip", z.ZodTypeAny, {
-    '@type': "https://hlos.ai/schema/SignedReceiptV0";
-    version: 0;
-    receipt_id: string;
-    content_hash: string;
-    signature: string;
-    key_id: string;
-    issued_at: string;
-    content?: unknown;
-}, {
-    '@type': "https://hlos.ai/schema/SignedReceiptV0";
-    version: 0;
-    receipt_id: string;
-    content_hash: string;
-    signature: string;
-    key_id: string;
-    issued_at: string;
-    content?: unknown;
-}>;
-/**
- * Check if a value is a SignedReceiptV0.
- */
-declare function isSignedReceiptV0(value: unknown): value is SignedReceiptV0;
-
 /**
  * @hlos-ai/schemas - Shared Contract Types
  *
@@ -1295,116 +1234,335 @@ declare const Base64urlSha256Schema: z.ZodString;
  */
 declare const Base64urlEd25519SigSchema: z.ZodString;
 
+declare const CHAIN_STAGE_ORDER: readonly ["CR", "LAT", "EGP", "SA"];
+declare const ChainStageTypeSchema: z.ZodEnum<["CR", "LAT", "EGP", "SA"]>;
+type ChainStageType = z.infer<typeof ChainStageTypeSchema>;
+declare const CustodyReceiptContentSchema: z.ZodObject<{
+    type: z.ZodLiteral<"CustodyReceipt">;
+    stage_type: z.ZodLiteral<"CR">;
+    stage_version: z.ZodLiteral<0>;
+    stage_index: z.ZodLiteral<0>;
+    dispatch_id: z.ZodEffects<z.ZodString, DispatchId, string>;
+    previous_receipt_hash: z.ZodNull;
+    actor_passport_id: z.ZodString;
+    surface: z.ZodString;
+    task_scope: z.ZodString;
+    settlement_authority: z.ZodLiteral<"hlos.ai">;
+}, "strict", z.ZodTypeAny, {
+    type: "CustodyReceipt";
+    settlement_authority: "hlos.ai";
+    stage_type: "CR";
+    stage_version: 0;
+    stage_index: 0;
+    dispatch_id: string & {
+        readonly [DispatchIdBrand]: true;
+    };
+    previous_receipt_hash: null;
+    actor_passport_id: string;
+    surface: string;
+    task_scope: string;
+}, {
+    type: "CustodyReceipt";
+    settlement_authority: "hlos.ai";
+    stage_type: "CR";
+    stage_version: 0;
+    stage_index: 0;
+    dispatch_id: string;
+    previous_receipt_hash: null;
+    actor_passport_id: string;
+    surface: string;
+    task_scope: string;
+}>;
+type CustodyReceiptContent = z.infer<typeof CustodyReceiptContentSchema>;
+declare const LiabilityAttestationContentSchema: z.ZodObject<{
+    type: z.ZodLiteral<"LiabilityAttestation">;
+    stage_type: z.ZodLiteral<"LAT">;
+    stage_version: z.ZodLiteral<0>;
+    stage_index: z.ZodLiteral<1>;
+    dispatch_id: z.ZodEffects<z.ZodString, DispatchId, string>;
+    previous_receipt_hash: z.ZodString;
+    chain_root_content_hash: z.ZodString;
+    policy_snapshot_hash: z.ZodString;
+    capabilities_granted: z.ZodArray<z.ZodString, "many">;
+    authorization_scope: z.ZodString;
+    /** Receipt issuer authority (HLOS issues all chain artifacts). */
+    settlement_authority: z.ZodLiteral<"hlos.ai">;
+}, "strict", z.ZodTypeAny, {
+    type: "LiabilityAttestation";
+    settlement_authority: "hlos.ai";
+    stage_type: "LAT";
+    stage_version: 0;
+    stage_index: 1;
+    dispatch_id: string & {
+        readonly [DispatchIdBrand]: true;
+    };
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    policy_snapshot_hash: string;
+    capabilities_granted: string[];
+    authorization_scope: string;
+}, {
+    type: "LiabilityAttestation";
+    settlement_authority: "hlos.ai";
+    stage_type: "LAT";
+    stage_version: 0;
+    stage_index: 1;
+    dispatch_id: string;
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    policy_snapshot_hash: string;
+    capabilities_granted: string[];
+    authorization_scope: string;
+}>;
+type LiabilityAttestationContent = z.infer<typeof LiabilityAttestationContentSchema>;
+declare const EconomicGateProofContentSchema: z.ZodObject<{
+    type: z.ZodLiteral<"EconomicGateProof">;
+    stage_type: z.ZodLiteral<"EGP">;
+    stage_version: z.ZodLiteral<0>;
+    stage_index: z.ZodLiteral<2>;
+    dispatch_id: z.ZodEffects<z.ZodString, DispatchId, string>;
+    previous_receipt_hash: z.ZodString;
+    chain_root_content_hash: z.ZodString;
+    wallet_id: z.ZodString;
+    hold_id: z.ZodOptional<z.ZodString>;
+    amount_mills: z.ZodNumber;
+    currency: z.ZodLiteral<"USD">;
+    settlement_authority: z.ZodLiteral<"hlos.ai">;
+}, "strict", z.ZodTypeAny, {
+    type: "EconomicGateProof";
+    settlement_authority: "hlos.ai";
+    currency: "USD";
+    stage_type: "EGP";
+    stage_version: 0;
+    stage_index: 2;
+    dispatch_id: string & {
+        readonly [DispatchIdBrand]: true;
+    };
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    wallet_id: string;
+    amount_mills: number;
+    hold_id?: string | undefined;
+}, {
+    type: "EconomicGateProof";
+    settlement_authority: "hlos.ai";
+    currency: "USD";
+    stage_type: "EGP";
+    stage_version: 0;
+    stage_index: 2;
+    dispatch_id: string;
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    wallet_id: string;
+    amount_mills: number;
+    hold_id?: string | undefined;
+}>;
+type EconomicGateProofContent = z.infer<typeof EconomicGateProofContentSchema>;
+declare const SettlementAnchorContentSchema: z.ZodObject<{
+    type: z.ZodLiteral<"SettlementAnchor">;
+    stage_type: z.ZodLiteral<"SA">;
+    stage_version: z.ZodLiteral<0>;
+    stage_index: z.ZodLiteral<3>;
+    dispatch_id: z.ZodEffects<z.ZodString, DispatchId, string>;
+    previous_receipt_hash: z.ZodString;
+    chain_root_content_hash: z.ZodString;
+    settlement_receipt_hash: z.ZodString;
+    crossing_id: z.ZodOptional<z.ZodString>;
+    final_amount_mills: z.ZodNumber;
+    settlement_authority: z.ZodLiteral<"hlos.ai">;
+}, "strict", z.ZodTypeAny, {
+    type: "SettlementAnchor";
+    settlement_authority: "hlos.ai";
+    stage_type: "SA";
+    stage_version: 0;
+    stage_index: 3;
+    dispatch_id: string & {
+        readonly [DispatchIdBrand]: true;
+    };
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    settlement_receipt_hash: string;
+    final_amount_mills: number;
+    crossing_id?: string | undefined;
+}, {
+    type: "SettlementAnchor";
+    settlement_authority: "hlos.ai";
+    stage_type: "SA";
+    stage_version: 0;
+    stage_index: 3;
+    dispatch_id: string;
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    settlement_receipt_hash: string;
+    final_amount_mills: number;
+    crossing_id?: string | undefined;
+}>;
+type SettlementAnchorContent = z.infer<typeof SettlementAnchorContentSchema>;
+declare const DispatchChainContentSchema: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
+    type: z.ZodLiteral<"CustodyReceipt">;
+    stage_type: z.ZodLiteral<"CR">;
+    stage_version: z.ZodLiteral<0>;
+    stage_index: z.ZodLiteral<0>;
+    dispatch_id: z.ZodEffects<z.ZodString, DispatchId, string>;
+    previous_receipt_hash: z.ZodNull;
+    actor_passport_id: z.ZodString;
+    surface: z.ZodString;
+    task_scope: z.ZodString;
+    settlement_authority: z.ZodLiteral<"hlos.ai">;
+}, "strict", z.ZodTypeAny, {
+    type: "CustodyReceipt";
+    settlement_authority: "hlos.ai";
+    stage_type: "CR";
+    stage_version: 0;
+    stage_index: 0;
+    dispatch_id: string & {
+        readonly [DispatchIdBrand]: true;
+    };
+    previous_receipt_hash: null;
+    actor_passport_id: string;
+    surface: string;
+    task_scope: string;
+}, {
+    type: "CustodyReceipt";
+    settlement_authority: "hlos.ai";
+    stage_type: "CR";
+    stage_version: 0;
+    stage_index: 0;
+    dispatch_id: string;
+    previous_receipt_hash: null;
+    actor_passport_id: string;
+    surface: string;
+    task_scope: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"LiabilityAttestation">;
+    stage_type: z.ZodLiteral<"LAT">;
+    stage_version: z.ZodLiteral<0>;
+    stage_index: z.ZodLiteral<1>;
+    dispatch_id: z.ZodEffects<z.ZodString, DispatchId, string>;
+    previous_receipt_hash: z.ZodString;
+    chain_root_content_hash: z.ZodString;
+    policy_snapshot_hash: z.ZodString;
+    capabilities_granted: z.ZodArray<z.ZodString, "many">;
+    authorization_scope: z.ZodString;
+    /** Receipt issuer authority (HLOS issues all chain artifacts). */
+    settlement_authority: z.ZodLiteral<"hlos.ai">;
+}, "strict", z.ZodTypeAny, {
+    type: "LiabilityAttestation";
+    settlement_authority: "hlos.ai";
+    stage_type: "LAT";
+    stage_version: 0;
+    stage_index: 1;
+    dispatch_id: string & {
+        readonly [DispatchIdBrand]: true;
+    };
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    policy_snapshot_hash: string;
+    capabilities_granted: string[];
+    authorization_scope: string;
+}, {
+    type: "LiabilityAttestation";
+    settlement_authority: "hlos.ai";
+    stage_type: "LAT";
+    stage_version: 0;
+    stage_index: 1;
+    dispatch_id: string;
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    policy_snapshot_hash: string;
+    capabilities_granted: string[];
+    authorization_scope: string;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"EconomicGateProof">;
+    stage_type: z.ZodLiteral<"EGP">;
+    stage_version: z.ZodLiteral<0>;
+    stage_index: z.ZodLiteral<2>;
+    dispatch_id: z.ZodEffects<z.ZodString, DispatchId, string>;
+    previous_receipt_hash: z.ZodString;
+    chain_root_content_hash: z.ZodString;
+    wallet_id: z.ZodString;
+    hold_id: z.ZodOptional<z.ZodString>;
+    amount_mills: z.ZodNumber;
+    currency: z.ZodLiteral<"USD">;
+    settlement_authority: z.ZodLiteral<"hlos.ai">;
+}, "strict", z.ZodTypeAny, {
+    type: "EconomicGateProof";
+    settlement_authority: "hlos.ai";
+    currency: "USD";
+    stage_type: "EGP";
+    stage_version: 0;
+    stage_index: 2;
+    dispatch_id: string & {
+        readonly [DispatchIdBrand]: true;
+    };
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    wallet_id: string;
+    amount_mills: number;
+    hold_id?: string | undefined;
+}, {
+    type: "EconomicGateProof";
+    settlement_authority: "hlos.ai";
+    currency: "USD";
+    stage_type: "EGP";
+    stage_version: 0;
+    stage_index: 2;
+    dispatch_id: string;
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    wallet_id: string;
+    amount_mills: number;
+    hold_id?: string | undefined;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"SettlementAnchor">;
+    stage_type: z.ZodLiteral<"SA">;
+    stage_version: z.ZodLiteral<0>;
+    stage_index: z.ZodLiteral<3>;
+    dispatch_id: z.ZodEffects<z.ZodString, DispatchId, string>;
+    previous_receipt_hash: z.ZodString;
+    chain_root_content_hash: z.ZodString;
+    settlement_receipt_hash: z.ZodString;
+    crossing_id: z.ZodOptional<z.ZodString>;
+    final_amount_mills: z.ZodNumber;
+    settlement_authority: z.ZodLiteral<"hlos.ai">;
+}, "strict", z.ZodTypeAny, {
+    type: "SettlementAnchor";
+    settlement_authority: "hlos.ai";
+    stage_type: "SA";
+    stage_version: 0;
+    stage_index: 3;
+    dispatch_id: string & {
+        readonly [DispatchIdBrand]: true;
+    };
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    settlement_receipt_hash: string;
+    final_amount_mills: number;
+    crossing_id?: string | undefined;
+}, {
+    type: "SettlementAnchor";
+    settlement_authority: "hlos.ai";
+    stage_type: "SA";
+    stage_version: 0;
+    stage_index: 3;
+    dispatch_id: string;
+    previous_receipt_hash: string;
+    chain_root_content_hash: string;
+    settlement_receipt_hash: string;
+    final_amount_mills: number;
+    crossing_id?: string | undefined;
+}>]>;
+type DispatchChainContent = z.infer<typeof DispatchChainContentSchema>;
 /**
- * @hlos-ai/schemas - Receipt Hash Computation
- *
- * Canonical hash computation for HLOS receipts.
- *
- * receipt_hash = base64url(SHA-256(JCS(receipt)))
- *
- * This is the hash that:
- * - BazaarReceiptEnvelope references (hash-first, per BRIDGE_SPEC.md §1.1)
- * - Notary Attestation (NA) binds to (per BRIDGE_SPEC.md §4.3)
- * - Surfaces use to reference kernel receipts unambiguously
- *
- * IMPORTANT: receipt_hash is computed over the ENTIRE SignedReceiptV0 envelope
- * (including content, content_hash, signature, key_id, etc.), NOT just content.
- * This binds the hash to a specific signed receipt version.
- *
- * Requires @noble/hashes as peer dependency.
- *
- * @see BRIDGE_SPEC.md §1.3 for canonical hashing requirements
- */
-
-/**
- * JCS (RFC 8785) canonical JSON serialization.
- *
- * Per RFC 8785:
- * - Object keys are lexicographically sorted
- * - Numbers use ES6 serialization
- * - Rejects: undefined, functions, symbols, bigint, non-finite numbers
- *
- * @throws Error if value contains non-canonicalizable types
- */
-declare function jcsCanonicalize(value: unknown): string;
-/**
- * Compute receipt_hash for a SignedReceiptV0.
- *
- * receipt_hash = base64url(SHA-256(JCS(receipt)))
- *
- * The hash is over the ENTIRE receipt envelope (content, content_hash,
- * signature, key_id, @type, version, receipt_id, issued_at).
- *
- * This is the canonical hash format per BRIDGE_SPEC.md §1.3:
- * 1. Canonicalize the receipt using RFC 8785 JCS
- * 2. Hash canonical bytes using SHA-256
- * 3. Encode as base64url (no padding)
- *
- * @param receipt - A fully-formed SignedReceiptV0 (must already be signed)
- * @returns 43-char base64url string (32-byte SHA-256 digest)
- *
- * @example
- * ```typescript
- * const receipt = issueReceiptV0(content);
- * const hash = computeReceiptHash(receipt);
- * // hash is e.g. "z8A2kCNck4rPL4ugNe-Fbxputdi3PkjkVpSrIBhojU0"
- * ```
- */
-declare function computeReceiptHash(receipt: SignedReceiptV0): string;
-/**
- * Compute content_hash for arbitrary content.
- *
- * content_hash = base64url(SHA-256(JCS(content)))
- *
- * This is the hash stored in SignedReceiptV0.content_hash.
- * It hashes only the content field, NOT the entire receipt.
- *
- * @param content - The content to hash (will be JCS-canonicalized)
- * @returns 43-char base64url string (32-byte SHA-256 digest)
- */
-declare function computeContentHash(content: unknown): string;
-/**
- * Zod schema for receipt_hash field.
- * base64url(SHA-256(JCS(receipt))) — always 43 chars.
+ * Assert that a stage's previous_receipt_hash matches the expected prior receipt_hash.
+ * @throws Error if hashes don't match
  */
-declare const ReceiptHashSchema: z.ZodString;
+declare function assertValidChainLink(expectedPreviousHash: string | null, actualPreviousHash: string | null, stageType: ChainStageType): void;
 /**
- * Golden receipt fixture for hash conformance testing.
- *
- * This is a deterministic SignedReceiptV0 with fixed field values.
- * The receipt_hash computed over this fixture is FROZEN.
- *
- * If your computeReceiptHash() produces a different result for this input,
- * your implementation is non-conformant. DO NOT CHANGE these values.
+ * Assert that a stage's chain_root_content_hash matches the CR's content_hash.
+ * @throws Error if root hash doesn't match
  */
-declare const RECEIPT_HASH_GOLDEN_FIXTURE: {
-    readonly receipt: {
-        '@type': "https://hlos.ai/schema/SignedReceiptV0";
-        version: 0;
-        receipt_id: string;
-        content: {
-            type: "CrossingSettled";
-            crossingId: string;
-            settlement_authority: string;
-        };
-        content_hash: string;
-        signature: string;
-        key_id: string;
-        issued_at: string;
-    };
-    /**
-     * Expected JCS canonical form of the receipt.
-     * Keys are lexicographically sorted at all levels.
-     */
-    readonly expectedJcs: "{\"@type\":\"https://hlos.ai/schema/SignedReceiptV0\",\"content\":{\"crossingId\":\"cross_test123abc456def789ghi\",\"settlement_authority\":\"hlos.ai\",\"type\":\"CrossingSettled\"},\"content_hash\":\"AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\",\"issued_at\":\"2026-01-27T00:00:00.000Z\",\"key_id\":\"hlos-v2-1\",\"receipt_id\":\"rcpt_01HZGOLDENTEST000000000000\",\"signature\":\"AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\",\"version\":0}";
-    /**
-     * Expected receipt_hash (FROZEN).
-     * Compute: JCS canonicalize receipt → SHA-256 → base64url (no padding)
-     *
-     * DO NOT CHANGE unless the receipt fixture above changes.
-     */
-    readonly expectedReceiptHash: "uLiQVUeVKcE35Rdje2fArZQfTcECDgwK6UbmQB_36Pg";
-};
+declare function assertRootHash(actualRootHash: string, expectedRootHash: string, stageType: ChainStageType): void;
 
 /**
  * @hlos-ai/schemas - Finality Schemas
@@ -1582,18 +1740,18 @@ declare const NotaryRequestSchema: z.ZodObject<{
     validity_window_seconds: z.ZodOptional<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
     settlement_authority: "hlos.ai";
+    crossing_id: string;
     receipt_hash: string;
     receipt_type: string;
     receipt_version: number;
-    crossing_id: string;
     timestamp: string;
     validity_window_seconds?: number | undefined;
 }, {
     settlement_authority: "hlos.ai";
+    crossing_id: string;
     receipt_hash: string;
     receipt_type: string;
     receipt_version: number;
-    crossing_id: string;
     timestamp: string;
     validity_window_seconds?: number | undefined;
 }>;
@@ -1827,4 +1985,2124 @@ declare const FINALITY_GOLDEN_FIXTURES: {
     };
 };
 
-export { type AgentListItem, AgentListItemSchema, type AgentPassportStubResponse, AgentPassportStubResponseSchema, type AgentStatus, AgentStatusSchema, type AgentType, AgentTypeSchema, type AgentsListResponse, AgentsListResponseSchema, type ApiResponse, type ArtifactRef, ArtifactRefSchema, type AvailabilityType, AvailabilityTypeSchema, BASE64URL_SHA256_REGEX, Base64urlEd25519SigSchema, Base64urlSha256Schema, CONTENT_HASH_LENGTH, type CredentialSource, CredentialSourceSchema, type CrossingHashInputV0, CrossingHashInputV0Schema, CrossingIdFormatSchema, type CrossingSettledReceipt, CrossingSettledReceiptSchema, type CrossingSnapshotV0, CrossingSnapshotV0Schema, ERROR_CODE_STATUS, type ErrorResponse, ErrorResponseSchema, FINALITY_GOLDEN_FIXTURES, FinalityLevel, type FundingSource, FundingSourceSchema, GOLDEN_FIXTURES, type KernelError, type KernelErrorCode, KernelErrorCodeSchema, KernelErrorSchema, type KernelOk, KernelOkSchema, type LogInclusionProof, LogInclusionProofSchema, NA_ID_PREFIX, type NotarizeResponse, NotarizeResponseSchema, type NotarizeStatus, NotarizeStatusSchema, type NotaryAttestation, NotaryAttestationIdFormatSchema, NotaryAttestationSchema, type NotaryRequest, NotaryRequestSchema, PassportIdFormatSchema, type ProviderRole, ProviderRoleSchema, RECEIPT_HASH_GOLDEN_FIXTURE, RECEIPT_TYPE_URI, RECEIPT_VERSION, type RPID, RPIDSchema, ReceiptHashSchema, ReceiptId, ReceiptIdFormatSchema, type RelyingPartyId, RelyingPartyIdSchema, type RotationEpoch, RotationEpochSchema, SETTLEMENT_AUTHORITY, SIGNATURE_LENGTH, SURFACES, type SignedReceiptV0, SignedReceiptV0LooseSchema, SignedReceiptV0Schema, type Stack, type StackConnection, StackConnectionSchema, type StackProvider, StackProviderSchema, StackSchema, type SuccessResponse, SuccessResponseSchema, type Surface, SurfaceSchema, type TransactionContext, type TransactionContextHash, TransactionContextHashSchema, TransactionContextSchema, W_GOLDEN_FIXTURES, W_RPID_DOMAIN, W_TXCTX_DOMAIN, WalletIdFormatSchema, base64urlToBytes, bytesToBase64url, computeContentHash, computeReceiptHash, deriveFundingSource, encodeEpoch, error, isCrossingHashInputV0, isCrossingSettledReceipt, isNotaryAttestation, isNotaryRequest, isSignedReceiptV0, jcsCanonicalize, kernelError, kernelOk, success, validateTimeWindow };
+/**
+ * @hlos-ai/schemas - Evaluation Artifact (EPIC 10)
+ *
+ * Canonical schema for evaluation trial results. Used by:
+ * - Kernel invariant graders (CR ∧ LAT ∧ EGP bound by SA)
+ * - Settlement reliability framework (pass^k)
+ * - CI production gates
+ *
+ * @packageDocumentation
+ */
+
+declare const EvalTranscriptStepSchema: z.ZodObject<{
+    step_index: z.ZodNumber;
+    stage: z.ZodUnion<[z.ZodEnum<["CR", "LAT", "EGP", "SA"]>, z.ZodLiteral<"HTTP">]>;
+    input_hash: z.ZodString;
+    output_hash: z.ZodNullable<z.ZodString>;
+    verdict: z.ZodEnum<["pass", "fail", "skip"]>;
+    error: z.ZodNullable<z.ZodString>;
+    elapsed_ms: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    error: string | null;
+    step_index: number;
+    stage: "CR" | "LAT" | "EGP" | "SA" | "HTTP";
+    input_hash: string;
+    output_hash: string | null;
+    verdict: "pass" | "fail" | "skip";
+    elapsed_ms: number;
+}, {
+    error: string | null;
+    step_index: number;
+    stage: "CR" | "LAT" | "EGP" | "SA" | "HTTP";
+    input_hash: string;
+    output_hash: string | null;
+    verdict: "pass" | "fail" | "skip";
+    elapsed_ms: number;
+}>;
+type EvalTranscriptStep = z.infer<typeof EvalTranscriptStepSchema>;
+/**
+ * Result from a single grader.
+ */
+declare const EvalGraderResultSchema: z.ZodObject<{
+    grader_id: z.ZodString;
+    verdict: z.ZodEnum<["pass", "fail"]>;
+    confidence: z.ZodNumber;
+    details: z.ZodNullable<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    details: string | null;
+    verdict: "pass" | "fail";
+    grader_id: string;
+    confidence: number;
+}, {
+    details: string | null;
+    verdict: "pass" | "fail";
+    grader_id: string;
+    confidence: number;
+}>;
+type EvalGraderResult = z.infer<typeof EvalGraderResultSchema>;
+/**
+ * Compact failure record for debugging without log scraping.
+ */
+declare const EvalFailureSchema: z.ZodObject<{
+    step_index: z.ZodNumber;
+    grader_id: z.ZodString;
+    code: z.ZodString;
+    message: z.ZodNullable<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    code: string;
+    message: string | null;
+    step_index: number;
+    grader_id: string;
+}, {
+    code: string;
+    message: string | null;
+    step_index: number;
+    grader_id: string;
+}>;
+type EvalFailure = z.infer<typeof EvalFailureSchema>;
+/**
+ * Unified evaluation artifact — the canonical record for a trial run.
+ *
+ * Metrics:
+ * - pass_rate: successes / total_runs (empirical)
+ * - consecutive_pass_rate: longest consecutive pass streak / total_runs
+ *   (observed max streak ratio, NOT "probability of k consecutive")
+ */
+declare const EvalArtifactSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<1>;
+    trial_id: z.ZodString;
+    seed: z.ZodNullable<z.ZodString>;
+    suite: z.ZodString;
+    environment: z.ZodEnum<["local", "ci", "staging", "production"]>;
+    started_at: z.ZodString;
+    completed_at: z.ZodNullable<z.ZodString>;
+    duration_ms: z.ZodNullable<z.ZodNumber>;
+    transcript: z.ZodArray<z.ZodObject<{
+        step_index: z.ZodNumber;
+        stage: z.ZodUnion<[z.ZodEnum<["CR", "LAT", "EGP", "SA"]>, z.ZodLiteral<"HTTP">]>;
+        input_hash: z.ZodString;
+        output_hash: z.ZodNullable<z.ZodString>;
+        verdict: z.ZodEnum<["pass", "fail", "skip"]>;
+        error: z.ZodNullable<z.ZodString>;
+        elapsed_ms: z.ZodNumber;
+    }, "strict", z.ZodTypeAny, {
+        error: string | null;
+        step_index: number;
+        stage: "CR" | "LAT" | "EGP" | "SA" | "HTTP";
+        input_hash: string;
+        output_hash: string | null;
+        verdict: "pass" | "fail" | "skip";
+        elapsed_ms: number;
+    }, {
+        error: string | null;
+        step_index: number;
+        stage: "CR" | "LAT" | "EGP" | "SA" | "HTTP";
+        input_hash: string;
+        output_hash: string | null;
+        verdict: "pass" | "fail" | "skip";
+        elapsed_ms: number;
+    }>, "many">;
+    grader_results: z.ZodArray<z.ZodObject<{
+        grader_id: z.ZodString;
+        verdict: z.ZodEnum<["pass", "fail"]>;
+        confidence: z.ZodNumber;
+        details: z.ZodNullable<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        details: string | null;
+        verdict: "pass" | "fail";
+        grader_id: string;
+        confidence: number;
+    }, {
+        details: string | null;
+        verdict: "pass" | "fail";
+        grader_id: string;
+        confidence: number;
+    }>, "many">;
+    failures: z.ZodArray<z.ZodObject<{
+        step_index: z.ZodNumber;
+        grader_id: z.ZodString;
+        code: z.ZodString;
+        message: z.ZodNullable<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        code: string;
+        message: string | null;
+        step_index: number;
+        grader_id: string;
+    }, {
+        code: string;
+        message: string | null;
+        step_index: number;
+        grader_id: string;
+    }>, "many">;
+    pass_rate: z.ZodNumber;
+    consecutive_pass_rate: z.ZodNumber;
+    k: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    schema_version: 1;
+    trial_id: string;
+    seed: string | null;
+    suite: string;
+    environment: "local" | "ci" | "staging" | "production";
+    started_at: string;
+    completed_at: string | null;
+    duration_ms: number | null;
+    transcript: {
+        error: string | null;
+        step_index: number;
+        stage: "CR" | "LAT" | "EGP" | "SA" | "HTTP";
+        input_hash: string;
+        output_hash: string | null;
+        verdict: "pass" | "fail" | "skip";
+        elapsed_ms: number;
+    }[];
+    grader_results: {
+        details: string | null;
+        verdict: "pass" | "fail";
+        grader_id: string;
+        confidence: number;
+    }[];
+    failures: {
+        code: string;
+        message: string | null;
+        step_index: number;
+        grader_id: string;
+    }[];
+    pass_rate: number;
+    consecutive_pass_rate: number;
+    k: number;
+}, {
+    schema_version: 1;
+    trial_id: string;
+    seed: string | null;
+    suite: string;
+    environment: "local" | "ci" | "staging" | "production";
+    started_at: string;
+    completed_at: string | null;
+    duration_ms: number | null;
+    transcript: {
+        error: string | null;
+        step_index: number;
+        stage: "CR" | "LAT" | "EGP" | "SA" | "HTTP";
+        input_hash: string;
+        output_hash: string | null;
+        verdict: "pass" | "fail" | "skip";
+        elapsed_ms: number;
+    }[];
+    grader_results: {
+        details: string | null;
+        verdict: "pass" | "fail";
+        grader_id: string;
+        confidence: number;
+    }[];
+    failures: {
+        code: string;
+        message: string | null;
+        step_index: number;
+        grader_id: string;
+    }[];
+    pass_rate: number;
+    consecutive_pass_rate: number;
+    k: number;
+}>;
+type EvalArtifact = z.infer<typeof EvalArtifactSchema>;
+/**
+ * Golden fixtures for conformance testing.
+ * DO NOT MODIFY unless schema_version changes.
+ */
+declare const EVAL_GOLDEN_FIXTURES: {
+    /**
+     * Valid 4-step transcript (CR→LAT→EGP→SA, all pass).
+     */
+    readonly valid_full_pass: {
+        schema_version: 1;
+        trial_id: string;
+        seed: string;
+        suite: string;
+        environment: "ci";
+        started_at: string;
+        completed_at: string;
+        duration_ms: number;
+        transcript: ({
+            step_index: number;
+            stage: "CR";
+            input_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            output_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            verdict: "pass";
+            error: null;
+            elapsed_ms: number;
+        } | {
+            step_index: number;
+            stage: "LAT";
+            input_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            output_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            verdict: "pass";
+            error: null;
+            elapsed_ms: number;
+        } | {
+            step_index: number;
+            stage: "EGP";
+            input_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            output_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            verdict: "pass";
+            error: null;
+            elapsed_ms: number;
+        } | {
+            step_index: number;
+            stage: "SA";
+            input_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            output_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            verdict: "pass";
+            error: null;
+            elapsed_ms: number;
+        })[];
+        grader_results: {
+            grader_id: string;
+            verdict: "pass";
+            confidence: number;
+            details: null;
+        }[];
+        failures: never[];
+        pass_rate: number;
+        consecutive_pass_rate: number;
+        k: number;
+    };
+    /**
+     * Single failure: LAT grader fails (broken CR→LAT binding).
+     */
+    readonly lat_failure: {
+        schema_version: 1;
+        trial_id: string;
+        seed: string;
+        suite: string;
+        environment: "ci";
+        started_at: string;
+        completed_at: string;
+        duration_ms: number;
+        transcript: ({
+            step_index: number;
+            stage: "CR";
+            input_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            output_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            verdict: "pass";
+            error: null;
+            elapsed_ms: number;
+        } | {
+            step_index: number;
+            stage: "LAT";
+            input_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            output_hash: null;
+            verdict: "fail";
+            error: string;
+            elapsed_ms: number;
+        } | {
+            step_index: number;
+            stage: "EGP";
+            input_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            output_hash: null;
+            verdict: "skip";
+            error: null;
+            elapsed_ms: number;
+        } | {
+            step_index: number;
+            stage: "SA";
+            input_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            output_hash: null;
+            verdict: "skip";
+            error: null;
+            elapsed_ms: number;
+        })[];
+        grader_results: ({
+            grader_id: string;
+            verdict: "pass";
+            confidence: number;
+            details: null;
+        } | {
+            grader_id: string;
+            verdict: "fail";
+            confidence: number;
+            details: string;
+        } | {
+            grader_id: string;
+            verdict: "pass";
+            confidence: number;
+            details: string;
+        })[];
+        failures: {
+            step_index: number;
+            grader_id: string;
+            code: string;
+            message: string;
+        }[];
+        pass_rate: number;
+        consecutive_pass_rate: number;
+        k: number;
+    };
+    /**
+     * Partial artifact: run crashed mid-flight.
+     */
+    readonly partial_crash: {
+        schema_version: 1;
+        trial_id: string;
+        seed: null;
+        suite: string;
+        environment: "local";
+        started_at: string;
+        completed_at: null;
+        duration_ms: null;
+        transcript: {
+            step_index: number;
+            stage: "CR";
+            input_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            output_hash: "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
+            verdict: "pass";
+            error: null;
+            elapsed_ms: number;
+        }[];
+        grader_results: {
+            grader_id: string;
+            verdict: "pass";
+            confidence: number;
+            details: null;
+        }[];
+        failures: never[];
+        pass_rate: number;
+        consecutive_pass_rate: number;
+        k: number;
+    };
+};
+
+/**
+ * @hlos-ai/schemas - Settlement Execute Contract (EPIC 10 / K2 Bridge)
+ *
+ * Zod schemas for POST /api/v2/settlement/execute.
+ *
+ * Design invariants:
+ * - Response returns the four kernel artifacts (cr, lat, egp, sa) in their
+ *   existing shapes, so gradeKernelInvariant() works with zero branching.
+ * - Hashes are always explicit and version-tagged (no silent V1/V2 drift).
+ * - All public IDs are externally stable (ULID/UUID), never internal DB row IDs.
+ * - Failure responses include partial artifacts and timing for EvalArtifact
+ *   creation (nullable completed_at / duration_ms support).
+ *
+ * @packageDocumentation
+ */
+
+declare const SettlementExecuteRequestSchema: z.ZodObject<{
+    idempotency_key: z.ZodString;
+    seed: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    hash_version: z.ZodDefault<z.ZodEnum<["v1", "v2"]>>;
+    mode: z.ZodDefault<z.ZodEnum<["execute", "dry_run"]>>;
+    flow: z.ZodObject<{
+        wallet_id: z.ZodString;
+        sku: z.ZodString;
+        amount: z.ZodString;
+        currency: z.ZodLiteral<"USD">;
+        metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, "strip", z.ZodTypeAny, {
+        amount: string;
+        currency: "USD";
+        wallet_id: string;
+        sku: string;
+        metadata?: Record<string, unknown> | undefined;
+    }, {
+        amount: string;
+        currency: "USD";
+        wallet_id: string;
+        sku: string;
+        metadata?: Record<string, unknown> | undefined;
+    }>;
+}, "strict", z.ZodTypeAny, {
+    idempotency_key: string;
+    hash_version: "v1" | "v2";
+    mode: "execute" | "dry_run";
+    flow: {
+        amount: string;
+        currency: "USD";
+        wallet_id: string;
+        sku: string;
+        metadata?: Record<string, unknown> | undefined;
+    };
+    seed?: string | null | undefined;
+}, {
+    idempotency_key: string;
+    flow: {
+        amount: string;
+        currency: "USD";
+        wallet_id: string;
+        sku: string;
+        metadata?: Record<string, unknown> | undefined;
+    };
+    seed?: string | null | undefined;
+    hash_version?: "v1" | "v2" | undefined;
+    mode?: "execute" | "dry_run" | undefined;
+}>;
+type SettlementExecuteRequest = z.infer<typeof SettlementExecuteRequestSchema>;
+declare const SettlementExecuteSuccessSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<1>;
+    flow_id: z.ZodString;
+    suite_id: z.ZodString;
+    seed: z.ZodNullable<z.ZodString>;
+    hash_version: z.ZodEnum<["v1", "v2"]>;
+    artifacts: z.ZodObject<{} & {
+        cr: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        lat: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        egp: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        sa: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    }, "strip", z.ZodTypeAny, {
+        cr: Record<string, unknown>;
+        lat: Record<string, unknown>;
+        egp: Record<string, unknown>;
+        sa: Record<string, unknown>;
+    }, {
+        cr: Record<string, unknown>;
+        lat: Record<string, unknown>;
+        egp: Record<string, unknown>;
+        sa: Record<string, unknown>;
+    }>;
+    hashes: z.ZodObject<{} & {
+        cr_hash: z.ZodString;
+        lat_hash: z.ZodString;
+        egp_hash: z.ZodString;
+        sa_hash: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        cr_hash: string;
+        lat_hash: string;
+        egp_hash: string;
+        sa_hash: string;
+    }, {
+        cr_hash: string;
+        lat_hash: string;
+        egp_hash: string;
+        sa_hash: string;
+    }>;
+    signatures: z.ZodObject<{
+        settlement: z.ZodObject<{
+            cr_sig: z.ZodObject<{
+                alg: z.ZodLiteral<"ed25519">;
+                sig: z.ZodString;
+                pub: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }>;
+            lat_sig: z.ZodObject<{
+                alg: z.ZodLiteral<"ed25519">;
+                sig: z.ZodString;
+                pub: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }>;
+            sa_sig: z.ZodObject<{
+                alg: z.ZodLiteral<"ed25519">;
+                sig: z.ZodString;
+                pub: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        }, {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        }>;
+        notary: z.ZodObject<{
+            status: z.ZodEnum<["skipped", "verified", "failed"]>;
+            run_notary: z.ZodNullable<z.ZodObject<{
+                subject_hash: z.ZodString;
+                sig: z.ZodString;
+                pub: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            }, {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            }>>;
+            graph_notary: z.ZodNullable<z.ZodObject<{
+                subject_hash: z.ZodString;
+                sig: z.ZodString;
+                pub: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            }, {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            }>>;
+        }, "strip", z.ZodTypeAny, {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        }, {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        notary: {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        };
+        settlement: {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        };
+    }, {
+        notary: {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        };
+        settlement: {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        };
+    }>;
+    receipt: z.ZodObject<{
+        receipt_id: z.ZodString;
+        status: z.ZodEnum<["stored", "pending"]>;
+        receipt_hash: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: "stored" | "pending";
+        receipt_id: string;
+        receipt_hash: string;
+    }, {
+        status: "stored" | "pending";
+        receipt_id: string;
+        receipt_hash: string;
+    }>;
+    run: z.ZodObject<{
+        run_id: z.ZodString;
+        final_state_hash: z.ZodString;
+        terminal_event_hash: z.ZodString;
+        sealed_at: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        run_id: string;
+        final_state_hash: string;
+        terminal_event_hash: string;
+        sealed_at: string;
+    }, {
+        run_id: string;
+        final_state_hash: string;
+        terminal_event_hash: string;
+        sealed_at: string;
+    }>;
+    timing: z.ZodObject<{
+        started_at: z.ZodString;
+    } & {
+        completed_at: z.ZodString;
+        duration_ms: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        started_at: string;
+        completed_at: string;
+        duration_ms: number;
+    }, {
+        started_at: string;
+        completed_at: string;
+        duration_ms: number;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    schema_version: 1;
+    seed: string | null;
+    hash_version: "v1" | "v2";
+    flow_id: string;
+    suite_id: string;
+    artifacts: {
+        cr: Record<string, unknown>;
+        lat: Record<string, unknown>;
+        egp: Record<string, unknown>;
+        sa: Record<string, unknown>;
+    };
+    hashes: {
+        cr_hash: string;
+        lat_hash: string;
+        egp_hash: string;
+        sa_hash: string;
+    };
+    signatures: {
+        notary: {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        };
+        settlement: {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        };
+    };
+    receipt: {
+        status: "stored" | "pending";
+        receipt_id: string;
+        receipt_hash: string;
+    };
+    run: {
+        run_id: string;
+        final_state_hash: string;
+        terminal_event_hash: string;
+        sealed_at: string;
+    };
+    timing: {
+        started_at: string;
+        completed_at: string;
+        duration_ms: number;
+    };
+}, {
+    schema_version: 1;
+    seed: string | null;
+    hash_version: "v1" | "v2";
+    flow_id: string;
+    suite_id: string;
+    artifacts: {
+        cr: Record<string, unknown>;
+        lat: Record<string, unknown>;
+        egp: Record<string, unknown>;
+        sa: Record<string, unknown>;
+    };
+    hashes: {
+        cr_hash: string;
+        lat_hash: string;
+        egp_hash: string;
+        sa_hash: string;
+    };
+    signatures: {
+        notary: {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        };
+        settlement: {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        };
+    };
+    receipt: {
+        status: "stored" | "pending";
+        receipt_id: string;
+        receipt_hash: string;
+    };
+    run: {
+        run_id: string;
+        final_state_hash: string;
+        terminal_event_hash: string;
+        sealed_at: string;
+    };
+    timing: {
+        started_at: string;
+        completed_at: string;
+        duration_ms: number;
+    };
+}>;
+type SettlementExecuteSuccess = z.infer<typeof SettlementExecuteSuccessSchema>;
+declare const SettlementExecuteErrorSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<1>;
+    flow_id: z.ZodString;
+    suite_id: z.ZodString;
+    seed: z.ZodNullable<z.ZodString>;
+    hash_version: z.ZodEnum<["v1", "v2"]>;
+    error: z.ZodObject<{
+        code: z.ZodEnum<["INSUFFICIENT_FUNDS", "POLICY_DENIED", "INVARIANT_FAILED", "INVALID_AMOUNT_FORMAT", "INVALID_AMOUNT_NEGATIVE", "INVALID_JSON", "INTERNAL"]>;
+        message: z.ZodString;
+        details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, "strip", z.ZodTypeAny, {
+        code: "INSUFFICIENT_FUNDS" | "POLICY_DENIED" | "INVARIANT_FAILED" | "INVALID_AMOUNT_FORMAT" | "INVALID_AMOUNT_NEGATIVE" | "INVALID_JSON" | "INTERNAL";
+        message: string;
+        details?: Record<string, unknown> | undefined;
+    }, {
+        code: "INSUFFICIENT_FUNDS" | "POLICY_DENIED" | "INVARIANT_FAILED" | "INVALID_AMOUNT_FORMAT" | "INVALID_AMOUNT_NEGATIVE" | "INVALID_JSON" | "INTERNAL";
+        message: string;
+        details?: Record<string, unknown> | undefined;
+    }>;
+    partial: z.ZodObject<{
+        artifacts: z.ZodObject<{
+            cr: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            lat: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            egp: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            sa: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "strip", z.ZodTypeAny, {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        }, {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        }>;
+        hashes: z.ZodObject<{
+            cr_hash: z.ZodNullable<z.ZodString>;
+            lat_hash: z.ZodNullable<z.ZodString>;
+            egp_hash: z.ZodNullable<z.ZodString>;
+            sa_hash: z.ZodNullable<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        }, {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        artifacts: {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        };
+        hashes: {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        };
+    }, {
+        artifacts: {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        };
+        hashes: {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        };
+    }>;
+    timing: z.ZodObject<{
+        started_at: z.ZodString;
+        completed_at: z.ZodNullable<z.ZodString>;
+        duration_ms: z.ZodNullable<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        started_at: string;
+        completed_at: string | null;
+        duration_ms: number | null;
+    }, {
+        started_at: string;
+        completed_at: string | null;
+        duration_ms: number | null;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    error: {
+        code: "INSUFFICIENT_FUNDS" | "POLICY_DENIED" | "INVARIANT_FAILED" | "INVALID_AMOUNT_FORMAT" | "INVALID_AMOUNT_NEGATIVE" | "INVALID_JSON" | "INTERNAL";
+        message: string;
+        details?: Record<string, unknown> | undefined;
+    };
+    schema_version: 1;
+    seed: string | null;
+    hash_version: "v1" | "v2";
+    flow_id: string;
+    suite_id: string;
+    timing: {
+        started_at: string;
+        completed_at: string | null;
+        duration_ms: number | null;
+    };
+    partial: {
+        artifacts: {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        };
+        hashes: {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        };
+    };
+}, {
+    error: {
+        code: "INSUFFICIENT_FUNDS" | "POLICY_DENIED" | "INVARIANT_FAILED" | "INVALID_AMOUNT_FORMAT" | "INVALID_AMOUNT_NEGATIVE" | "INVALID_JSON" | "INTERNAL";
+        message: string;
+        details?: Record<string, unknown> | undefined;
+    };
+    schema_version: 1;
+    seed: string | null;
+    hash_version: "v1" | "v2";
+    flow_id: string;
+    suite_id: string;
+    timing: {
+        started_at: string;
+        completed_at: string | null;
+        duration_ms: number | null;
+    };
+    partial: {
+        artifacts: {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        };
+        hashes: {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        };
+    };
+}>;
+type SettlementExecuteError = z.infer<typeof SettlementExecuteErrorSchema>;
+/**
+ * Parse a settlement execute response.
+ * Success has `artifacts` at top level; error has `error` + `partial`.
+ *
+ * Usage in E2E gate:
+ *   const parsed = SettlementExecuteResponseSchema.safeParse(responseBody);
+ *   if (!parsed.success) throw new Error('Contract drift detected');
+ *   if ('error' in parsed.data) {
+ *     // handle failure — still produces EvalArtifact via partial
+ *   } else {
+ *     gradeKernelInvariant(parsed.data.artifacts);
+ *   }
+ */
+declare const SettlementExecuteResponseSchema: z.ZodUnion<[z.ZodObject<{
+    schema_version: z.ZodLiteral<1>;
+    flow_id: z.ZodString;
+    suite_id: z.ZodString;
+    seed: z.ZodNullable<z.ZodString>;
+    hash_version: z.ZodEnum<["v1", "v2"]>;
+    artifacts: z.ZodObject<{} & {
+        cr: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        lat: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        egp: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        sa: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+    }, "strip", z.ZodTypeAny, {
+        cr: Record<string, unknown>;
+        lat: Record<string, unknown>;
+        egp: Record<string, unknown>;
+        sa: Record<string, unknown>;
+    }, {
+        cr: Record<string, unknown>;
+        lat: Record<string, unknown>;
+        egp: Record<string, unknown>;
+        sa: Record<string, unknown>;
+    }>;
+    hashes: z.ZodObject<{} & {
+        cr_hash: z.ZodString;
+        lat_hash: z.ZodString;
+        egp_hash: z.ZodString;
+        sa_hash: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        cr_hash: string;
+        lat_hash: string;
+        egp_hash: string;
+        sa_hash: string;
+    }, {
+        cr_hash: string;
+        lat_hash: string;
+        egp_hash: string;
+        sa_hash: string;
+    }>;
+    signatures: z.ZodObject<{
+        settlement: z.ZodObject<{
+            cr_sig: z.ZodObject<{
+                alg: z.ZodLiteral<"ed25519">;
+                sig: z.ZodString;
+                pub: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }>;
+            lat_sig: z.ZodObject<{
+                alg: z.ZodLiteral<"ed25519">;
+                sig: z.ZodString;
+                pub: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }>;
+            sa_sig: z.ZodObject<{
+                alg: z.ZodLiteral<"ed25519">;
+                sig: z.ZodString;
+                pub: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }, {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            }>;
+        }, "strip", z.ZodTypeAny, {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        }, {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        }>;
+        notary: z.ZodObject<{
+            status: z.ZodEnum<["skipped", "verified", "failed"]>;
+            run_notary: z.ZodNullable<z.ZodObject<{
+                subject_hash: z.ZodString;
+                sig: z.ZodString;
+                pub: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            }, {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            }>>;
+            graph_notary: z.ZodNullable<z.ZodObject<{
+                subject_hash: z.ZodString;
+                sig: z.ZodString;
+                pub: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            }, {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            }>>;
+        }, "strip", z.ZodTypeAny, {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        }, {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        notary: {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        };
+        settlement: {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        };
+    }, {
+        notary: {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        };
+        settlement: {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        };
+    }>;
+    receipt: z.ZodObject<{
+        receipt_id: z.ZodString;
+        status: z.ZodEnum<["stored", "pending"]>;
+        receipt_hash: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: "stored" | "pending";
+        receipt_id: string;
+        receipt_hash: string;
+    }, {
+        status: "stored" | "pending";
+        receipt_id: string;
+        receipt_hash: string;
+    }>;
+    run: z.ZodObject<{
+        run_id: z.ZodString;
+        final_state_hash: z.ZodString;
+        terminal_event_hash: z.ZodString;
+        sealed_at: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        run_id: string;
+        final_state_hash: string;
+        terminal_event_hash: string;
+        sealed_at: string;
+    }, {
+        run_id: string;
+        final_state_hash: string;
+        terminal_event_hash: string;
+        sealed_at: string;
+    }>;
+    timing: z.ZodObject<{
+        started_at: z.ZodString;
+    } & {
+        completed_at: z.ZodString;
+        duration_ms: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        started_at: string;
+        completed_at: string;
+        duration_ms: number;
+    }, {
+        started_at: string;
+        completed_at: string;
+        duration_ms: number;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    schema_version: 1;
+    seed: string | null;
+    hash_version: "v1" | "v2";
+    flow_id: string;
+    suite_id: string;
+    artifacts: {
+        cr: Record<string, unknown>;
+        lat: Record<string, unknown>;
+        egp: Record<string, unknown>;
+        sa: Record<string, unknown>;
+    };
+    hashes: {
+        cr_hash: string;
+        lat_hash: string;
+        egp_hash: string;
+        sa_hash: string;
+    };
+    signatures: {
+        notary: {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        };
+        settlement: {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        };
+    };
+    receipt: {
+        status: "stored" | "pending";
+        receipt_id: string;
+        receipt_hash: string;
+    };
+    run: {
+        run_id: string;
+        final_state_hash: string;
+        terminal_event_hash: string;
+        sealed_at: string;
+    };
+    timing: {
+        started_at: string;
+        completed_at: string;
+        duration_ms: number;
+    };
+}, {
+    schema_version: 1;
+    seed: string | null;
+    hash_version: "v1" | "v2";
+    flow_id: string;
+    suite_id: string;
+    artifacts: {
+        cr: Record<string, unknown>;
+        lat: Record<string, unknown>;
+        egp: Record<string, unknown>;
+        sa: Record<string, unknown>;
+    };
+    hashes: {
+        cr_hash: string;
+        lat_hash: string;
+        egp_hash: string;
+        sa_hash: string;
+    };
+    signatures: {
+        notary: {
+            status: "skipped" | "verified" | "failed";
+            run_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+            graph_notary: {
+                sig: string;
+                pub: string;
+                subject_hash: string;
+            } | null;
+        };
+        settlement: {
+            cr_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            lat_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+            sa_sig: {
+                alg: "ed25519";
+                sig: string;
+                pub: string;
+            };
+        };
+    };
+    receipt: {
+        status: "stored" | "pending";
+        receipt_id: string;
+        receipt_hash: string;
+    };
+    run: {
+        run_id: string;
+        final_state_hash: string;
+        terminal_event_hash: string;
+        sealed_at: string;
+    };
+    timing: {
+        started_at: string;
+        completed_at: string;
+        duration_ms: number;
+    };
+}>, z.ZodObject<{
+    schema_version: z.ZodLiteral<1>;
+    flow_id: z.ZodString;
+    suite_id: z.ZodString;
+    seed: z.ZodNullable<z.ZodString>;
+    hash_version: z.ZodEnum<["v1", "v2"]>;
+    error: z.ZodObject<{
+        code: z.ZodEnum<["INSUFFICIENT_FUNDS", "POLICY_DENIED", "INVARIANT_FAILED", "INVALID_AMOUNT_FORMAT", "INVALID_AMOUNT_NEGATIVE", "INVALID_JSON", "INTERNAL"]>;
+        message: z.ZodString;
+        details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, "strip", z.ZodTypeAny, {
+        code: "INSUFFICIENT_FUNDS" | "POLICY_DENIED" | "INVARIANT_FAILED" | "INVALID_AMOUNT_FORMAT" | "INVALID_AMOUNT_NEGATIVE" | "INVALID_JSON" | "INTERNAL";
+        message: string;
+        details?: Record<string, unknown> | undefined;
+    }, {
+        code: "INSUFFICIENT_FUNDS" | "POLICY_DENIED" | "INVARIANT_FAILED" | "INVALID_AMOUNT_FORMAT" | "INVALID_AMOUNT_NEGATIVE" | "INVALID_JSON" | "INTERNAL";
+        message: string;
+        details?: Record<string, unknown> | undefined;
+    }>;
+    partial: z.ZodObject<{
+        artifacts: z.ZodObject<{
+            cr: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            lat: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            egp: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            sa: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "strip", z.ZodTypeAny, {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        }, {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        }>;
+        hashes: z.ZodObject<{
+            cr_hash: z.ZodNullable<z.ZodString>;
+            lat_hash: z.ZodNullable<z.ZodString>;
+            egp_hash: z.ZodNullable<z.ZodString>;
+            sa_hash: z.ZodNullable<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        }, {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        artifacts: {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        };
+        hashes: {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        };
+    }, {
+        artifacts: {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        };
+        hashes: {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        };
+    }>;
+    timing: z.ZodObject<{
+        started_at: z.ZodString;
+        completed_at: z.ZodNullable<z.ZodString>;
+        duration_ms: z.ZodNullable<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        started_at: string;
+        completed_at: string | null;
+        duration_ms: number | null;
+    }, {
+        started_at: string;
+        completed_at: string | null;
+        duration_ms: number | null;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    error: {
+        code: "INSUFFICIENT_FUNDS" | "POLICY_DENIED" | "INVARIANT_FAILED" | "INVALID_AMOUNT_FORMAT" | "INVALID_AMOUNT_NEGATIVE" | "INVALID_JSON" | "INTERNAL";
+        message: string;
+        details?: Record<string, unknown> | undefined;
+    };
+    schema_version: 1;
+    seed: string | null;
+    hash_version: "v1" | "v2";
+    flow_id: string;
+    suite_id: string;
+    timing: {
+        started_at: string;
+        completed_at: string | null;
+        duration_ms: number | null;
+    };
+    partial: {
+        artifacts: {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        };
+        hashes: {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        };
+    };
+}, {
+    error: {
+        code: "INSUFFICIENT_FUNDS" | "POLICY_DENIED" | "INVARIANT_FAILED" | "INVALID_AMOUNT_FORMAT" | "INVALID_AMOUNT_NEGATIVE" | "INVALID_JSON" | "INTERNAL";
+        message: string;
+        details?: Record<string, unknown> | undefined;
+    };
+    schema_version: 1;
+    seed: string | null;
+    hash_version: "v1" | "v2";
+    flow_id: string;
+    suite_id: string;
+    timing: {
+        started_at: string;
+        completed_at: string | null;
+        duration_ms: number | null;
+    };
+    partial: {
+        artifacts: {
+            cr: Record<string, unknown> | null;
+            lat: Record<string, unknown> | null;
+            egp: Record<string, unknown> | null;
+            sa: Record<string, unknown> | null;
+        };
+        hashes: {
+            cr_hash: string | null;
+            lat_hash: string | null;
+            egp_hash: string | null;
+            sa_hash: string | null;
+        };
+    };
+}>]>;
+type SettlementExecuteResponse = z.infer<typeof SettlementExecuteResponseSchema>;
+declare function isSettlementExecuteSuccess(response: SettlementExecuteResponse): response is SettlementExecuteSuccess;
+declare function isSettlementExecuteError(response: SettlementExecuteResponse): response is SettlementExecuteError;
+
+/**
+ * @hlos-ai/schemas - SignedRejectionReceiptV0
+ *
+ * Canonical SRR artifact for terminal negative finality.
+ * Fresh U-family substrate contract — NOT a continuation of K-08.
+ *
+ * Lineage: K-08 uses @type '.../SignedRejectionReceipt', version 1, ksrr_ IDs.
+ * This contract uses V0, version 0, srr_ IDs. Informed by K-08 field matrix
+ * and signing semantics but is its own artifact.
+ *
+ * FROZEN: Breaking changes require version bump.
+ */
+
+declare const SRR_TYPE_URI: "https://hlos.ai/schema/SignedRejectionReceiptV0";
+declare const SRR_VERSION: 0;
+declare const SRR_REJECTION_DOMAIN: "kernel:k:rejection:v1";
+declare const SRR_SIGNATURE_ALGORITHM: "Ed25519";
+declare const SRR_INITIAL_REASON_CODES: readonly ["BUDGET_EXCEEDED", "POLICY_VIOLATION", "SAFETY_GATE_FAILED", "DELEGATION_REVOKED", "SETTLEMENT_TIMEOUT"];
+/**
+ * Reason code format: uppercase letters, digits, underscores. 3–64 chars.
+ * Producers should prefer a registered code when one exists.
+ * Consumers must tolerate unknown codes.
+ */
+declare const REASON_CODE_PATTERN: RegExp;
+declare const SignedRejectionReceiptV0Schema: z.ZodObject<{
+    '@type': z.ZodLiteral<"https://hlos.ai/schema/SignedRejectionReceiptV0">;
+    version: z.ZodLiteral<0>;
+    receipt_id: z.ZodString;
+    crossing_id: z.ZodString;
+    reason_code: z.ZodString;
+    reason_message: z.ZodString;
+    details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    commitment_hash: z.ZodOptional<z.ZodString>;
+    issuer_id: z.ZodString;
+    rejected_at: z.ZodString;
+    issuer_public_key_ref: z.ZodString;
+    signature_algorithm: z.ZodLiteral<"Ed25519">;
+    signature: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    '@type': "https://hlos.ai/schema/SignedRejectionReceiptV0";
+    version: 0;
+    signature: string;
+    receipt_id: string;
+    crossing_id: string;
+    reason_code: string;
+    reason_message: string;
+    issuer_id: string;
+    rejected_at: string;
+    issuer_public_key_ref: string;
+    signature_algorithm: "Ed25519";
+    details?: Record<string, unknown> | undefined;
+    commitment_hash?: string | undefined;
+}, {
+    '@type': "https://hlos.ai/schema/SignedRejectionReceiptV0";
+    version: 0;
+    signature: string;
+    receipt_id: string;
+    crossing_id: string;
+    reason_code: string;
+    reason_message: string;
+    issuer_id: string;
+    rejected_at: string;
+    issuer_public_key_ref: string;
+    signature_algorithm: "Ed25519";
+    details?: Record<string, unknown> | undefined;
+    commitment_hash?: string | undefined;
+}>;
+type SignedRejectionReceiptV0 = z.infer<typeof SignedRejectionReceiptV0Schema>;
+/**
+ * All signed fields — everything except `signature`.
+ * Used as input to computeSrrSigningPayload.
+ */
+type UnsignedSrrV0 = Omit<SignedRejectionReceiptV0, 'signature'>;
+
+declare const LIABILITY_WAIVER_TERMS_TYPE_URI: "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+declare const LIABILITY_WAIVER_TERMS_VERSION: 0;
+declare const LiabilityDispositionSchema: z.ZodEnum<["ABSORB", "RELEASE", "TRANSFER", "DISPUTE"]>;
+type LiabilityDisposition = z.infer<typeof LiabilityDispositionSchema>;
+declare const LiabilityWaiverTermsPartiesSchema: z.ZodObject<{
+    offered_by: z.ZodOptional<z.ZodString>;
+    offered_to: z.ZodOptional<z.ZodString>;
+    beneficiary: z.ZodOptional<z.ZodString>;
+    burdened_party: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    offered_by?: string | undefined;
+    offered_to?: string | undefined;
+    beneficiary?: string | undefined;
+    burdened_party?: string | undefined;
+}, {
+    offered_by?: string | undefined;
+    offered_to?: string | undefined;
+    beneficiary?: string | undefined;
+    burdened_party?: string | undefined;
+}>;
+declare const LiabilityWaiverTermsScopeSchema: z.ZodObject<{
+    crossing_id: z.ZodOptional<z.ZodString>;
+    commitment_hash: z.ZodOptional<z.ZodString>;
+    claim_scope: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    crossing_id?: string | undefined;
+    commitment_hash?: string | undefined;
+    claim_scope?: string | undefined;
+}, {
+    crossing_id?: string | undefined;
+    commitment_hash?: string | undefined;
+    claim_scope?: string | undefined;
+}>;
+declare const LiabilityWaiverTermsConditionsSchema: z.ZodObject<{
+    effective_if: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    expires_at: z.ZodOptional<z.ZodString>;
+    jurisdiction: z.ZodOptional<z.ZodString>;
+}, "strict", z.ZodTypeAny, {
+    expires_at?: string | undefined;
+    effective_if?: Record<string, unknown> | undefined;
+    jurisdiction?: string | undefined;
+}, {
+    expires_at?: string | undefined;
+    effective_if?: Record<string, unknown> | undefined;
+    jurisdiction?: string | undefined;
+}>;
+declare const LiabilityWaiverTermsHashInputSchema: z.ZodObject<{
+    parties: z.ZodObject<{
+        offered_by: z.ZodOptional<z.ZodString>;
+        offered_to: z.ZodOptional<z.ZodString>;
+        beneficiary: z.ZodOptional<z.ZodString>;
+        burdened_party: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        offered_by?: string | undefined;
+        offered_to?: string | undefined;
+        beneficiary?: string | undefined;
+        burdened_party?: string | undefined;
+    }, {
+        offered_by?: string | undefined;
+        offered_to?: string | undefined;
+        beneficiary?: string | undefined;
+        burdened_party?: string | undefined;
+    }>;
+    liability_effect: z.ZodEnum<["ABSORB", "RELEASE", "TRANSFER", "DISPUTE"]>;
+    scope: z.ZodObject<{
+        crossing_id: z.ZodOptional<z.ZodString>;
+        commitment_hash: z.ZodOptional<z.ZodString>;
+        claim_scope: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        crossing_id?: string | undefined;
+        commitment_hash?: string | undefined;
+        claim_scope?: string | undefined;
+    }, {
+        crossing_id?: string | undefined;
+        commitment_hash?: string | undefined;
+        claim_scope?: string | undefined;
+    }>;
+    conditions: z.ZodOptional<z.ZodObject<{
+        effective_if: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        expires_at: z.ZodOptional<z.ZodString>;
+        jurisdiction: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        expires_at?: string | undefined;
+        effective_if?: Record<string, unknown> | undefined;
+        jurisdiction?: string | undefined;
+    }, {
+        expires_at?: string | undefined;
+        effective_if?: Record<string, unknown> | undefined;
+        jurisdiction?: string | undefined;
+    }>>;
+    canonical_terms: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, "strict", z.ZodTypeAny, {
+    parties: {
+        offered_by?: string | undefined;
+        offered_to?: string | undefined;
+        beneficiary?: string | undefined;
+        burdened_party?: string | undefined;
+    };
+    liability_effect: "ABSORB" | "RELEASE" | "TRANSFER" | "DISPUTE";
+    scope: {
+        crossing_id?: string | undefined;
+        commitment_hash?: string | undefined;
+        claim_scope?: string | undefined;
+    };
+    conditions?: {
+        expires_at?: string | undefined;
+        effective_if?: Record<string, unknown> | undefined;
+        jurisdiction?: string | undefined;
+    } | undefined;
+    canonical_terms?: Record<string, unknown> | undefined;
+}, {
+    parties: {
+        offered_by?: string | undefined;
+        offered_to?: string | undefined;
+        beneficiary?: string | undefined;
+        burdened_party?: string | undefined;
+    };
+    liability_effect: "ABSORB" | "RELEASE" | "TRANSFER" | "DISPUTE";
+    scope: {
+        crossing_id?: string | undefined;
+        commitment_hash?: string | undefined;
+        claim_scope?: string | undefined;
+    };
+    conditions?: {
+        expires_at?: string | undefined;
+        effective_if?: Record<string, unknown> | undefined;
+        jurisdiction?: string | undefined;
+    } | undefined;
+    canonical_terms?: Record<string, unknown> | undefined;
+}>;
+type LiabilityWaiverTermsHashInput = z.infer<typeof LiabilityWaiverTermsHashInputSchema>;
+declare const LiabilityWaiverTermsRefV0Schema: z.ZodObject<{
+    waiver_id: z.ZodOptional<z.ZodString>;
+    terms_hash: z.ZodString;
+    type: z.ZodLiteral<"https://hlos.ai/schema/LiabilityWaiverTermsV0">;
+    version: z.ZodLiteral<0>;
+}, "strict", z.ZodTypeAny, {
+    type: "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+    version: 0;
+    terms_hash: string;
+    waiver_id?: string | undefined;
+}, {
+    type: "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+    version: 0;
+    terms_hash: string;
+    waiver_id?: string | undefined;
+}>;
+declare const LiabilityWaiverTermsV0Schema: z.ZodObject<{
+    '@type': z.ZodLiteral<"https://hlos.ai/schema/LiabilityWaiverTermsV0">;
+    version: z.ZodLiteral<0>;
+    waiver_id: z.ZodString;
+    terms_hash: z.ZodString;
+    parties: z.ZodObject<{
+        offered_by: z.ZodOptional<z.ZodString>;
+        offered_to: z.ZodOptional<z.ZodString>;
+        beneficiary: z.ZodOptional<z.ZodString>;
+        burdened_party: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        offered_by?: string | undefined;
+        offered_to?: string | undefined;
+        beneficiary?: string | undefined;
+        burdened_party?: string | undefined;
+    }, {
+        offered_by?: string | undefined;
+        offered_to?: string | undefined;
+        beneficiary?: string | undefined;
+        burdened_party?: string | undefined;
+    }>;
+    liability_effect: z.ZodEnum<["ABSORB", "RELEASE", "TRANSFER", "DISPUTE"]>;
+    scope: z.ZodObject<{
+        crossing_id: z.ZodOptional<z.ZodString>;
+        commitment_hash: z.ZodOptional<z.ZodString>;
+        claim_scope: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        crossing_id?: string | undefined;
+        commitment_hash?: string | undefined;
+        claim_scope?: string | undefined;
+    }, {
+        crossing_id?: string | undefined;
+        commitment_hash?: string | undefined;
+        claim_scope?: string | undefined;
+    }>;
+    conditions: z.ZodOptional<z.ZodObject<{
+        effective_if: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        expires_at: z.ZodOptional<z.ZodString>;
+        jurisdiction: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        expires_at?: string | undefined;
+        effective_if?: Record<string, unknown> | undefined;
+        jurisdiction?: string | undefined;
+    }, {
+        expires_at?: string | undefined;
+        effective_if?: Record<string, unknown> | undefined;
+        jurisdiction?: string | undefined;
+    }>>;
+    human_readable_summary: z.ZodOptional<z.ZodString>;
+    canonical_terms: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, "strict", z.ZodTypeAny, {
+    '@type': "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+    version: 0;
+    parties: {
+        offered_by?: string | undefined;
+        offered_to?: string | undefined;
+        beneficiary?: string | undefined;
+        burdened_party?: string | undefined;
+    };
+    liability_effect: "ABSORB" | "RELEASE" | "TRANSFER" | "DISPUTE";
+    scope: {
+        crossing_id?: string | undefined;
+        commitment_hash?: string | undefined;
+        claim_scope?: string | undefined;
+    };
+    waiver_id: string;
+    terms_hash: string;
+    conditions?: {
+        expires_at?: string | undefined;
+        effective_if?: Record<string, unknown> | undefined;
+        jurisdiction?: string | undefined;
+    } | undefined;
+    canonical_terms?: Record<string, unknown> | undefined;
+    human_readable_summary?: string | undefined;
+}, {
+    '@type': "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+    version: 0;
+    parties: {
+        offered_by?: string | undefined;
+        offered_to?: string | undefined;
+        beneficiary?: string | undefined;
+        burdened_party?: string | undefined;
+    };
+    liability_effect: "ABSORB" | "RELEASE" | "TRANSFER" | "DISPUTE";
+    scope: {
+        crossing_id?: string | undefined;
+        commitment_hash?: string | undefined;
+        claim_scope?: string | undefined;
+    };
+    waiver_id: string;
+    terms_hash: string;
+    conditions?: {
+        expires_at?: string | undefined;
+        effective_if?: Record<string, unknown> | undefined;
+        jurisdiction?: string | undefined;
+    } | undefined;
+    canonical_terms?: Record<string, unknown> | undefined;
+    human_readable_summary?: string | undefined;
+}>;
+type LiabilityWaiverTermsRefV0 = z.infer<typeof LiabilityWaiverTermsRefV0Schema>;
+type LiabilityWaiverTermsV0 = z.infer<typeof LiabilityWaiverTermsV0Schema>;
+declare function toLiabilityWaiverTermsHashInput(terms: Pick<LiabilityWaiverTermsV0, 'parties' | 'liability_effect' | 'scope' | 'conditions' | 'canonical_terms'>): LiabilityWaiverTermsHashInput;
+declare function computeLiabilityWaiverTermsHash(input: LiabilityWaiverTermsHashInput): string;
+
+declare const SRR_V1_TYPE_URI: "https://hlos.ai/schema/SignedRejectionReceiptV1";
+declare const SRR_V1_VERSION: 1;
+declare const SRR_V1_REJECTION_DOMAIN: "kernel:u:rejection:v1";
+declare const SRR_V1_SIGNATURE_ALGORITHM: "Ed25519";
+declare const SignedRejectionReceiptV1Schema: z.ZodEffects<z.ZodObject<{
+    '@type': z.ZodLiteral<"https://hlos.ai/schema/SignedRejectionReceiptV1">;
+    version: z.ZodLiteral<1>;
+    receipt_id: z.ZodString;
+    crossing_id: z.ZodString;
+    reason_code: z.ZodString;
+    reason_message: z.ZodString;
+    details: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    commitment_hash: z.ZodOptional<z.ZodString>;
+    issuer_id: z.ZodString;
+    rejected_at: z.ZodString;
+    issuer_public_key_ref: z.ZodString;
+    signature_algorithm: z.ZodLiteral<"Ed25519">;
+    liability_disposition: z.ZodEnum<["ABSORB", "RELEASE", "TRANSFER", "DISPUTE"]>;
+    waiver_terms_ref: z.ZodOptional<z.ZodObject<{
+        waiver_id: z.ZodOptional<z.ZodString>;
+        terms_hash: z.ZodString;
+        type: z.ZodLiteral<"https://hlos.ai/schema/LiabilityWaiverTermsV0">;
+        version: z.ZodLiteral<0>;
+    }, "strict", z.ZodTypeAny, {
+        type: "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+        version: 0;
+        terms_hash: string;
+        waiver_id?: string | undefined;
+    }, {
+        type: "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+        version: 0;
+        terms_hash: string;
+        waiver_id?: string | undefined;
+    }>>;
+    signature: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    '@type': "https://hlos.ai/schema/SignedRejectionReceiptV1";
+    version: 1;
+    signature: string;
+    receipt_id: string;
+    crossing_id: string;
+    reason_code: string;
+    reason_message: string;
+    issuer_id: string;
+    rejected_at: string;
+    issuer_public_key_ref: string;
+    signature_algorithm: "Ed25519";
+    liability_disposition: "ABSORB" | "RELEASE" | "TRANSFER" | "DISPUTE";
+    details?: Record<string, unknown> | undefined;
+    commitment_hash?: string | undefined;
+    waiver_terms_ref?: {
+        type: "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+        version: 0;
+        terms_hash: string;
+        waiver_id?: string | undefined;
+    } | undefined;
+}, {
+    '@type': "https://hlos.ai/schema/SignedRejectionReceiptV1";
+    version: 1;
+    signature: string;
+    receipt_id: string;
+    crossing_id: string;
+    reason_code: string;
+    reason_message: string;
+    issuer_id: string;
+    rejected_at: string;
+    issuer_public_key_ref: string;
+    signature_algorithm: "Ed25519";
+    liability_disposition: "ABSORB" | "RELEASE" | "TRANSFER" | "DISPUTE";
+    details?: Record<string, unknown> | undefined;
+    commitment_hash?: string | undefined;
+    waiver_terms_ref?: {
+        type: "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+        version: 0;
+        terms_hash: string;
+        waiver_id?: string | undefined;
+    } | undefined;
+}>, {
+    '@type': "https://hlos.ai/schema/SignedRejectionReceiptV1";
+    version: 1;
+    signature: string;
+    receipt_id: string;
+    crossing_id: string;
+    reason_code: string;
+    reason_message: string;
+    issuer_id: string;
+    rejected_at: string;
+    issuer_public_key_ref: string;
+    signature_algorithm: "Ed25519";
+    liability_disposition: "ABSORB" | "RELEASE" | "TRANSFER" | "DISPUTE";
+    details?: Record<string, unknown> | undefined;
+    commitment_hash?: string | undefined;
+    waiver_terms_ref?: {
+        type: "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+        version: 0;
+        terms_hash: string;
+        waiver_id?: string | undefined;
+    } | undefined;
+}, {
+    '@type': "https://hlos.ai/schema/SignedRejectionReceiptV1";
+    version: 1;
+    signature: string;
+    receipt_id: string;
+    crossing_id: string;
+    reason_code: string;
+    reason_message: string;
+    issuer_id: string;
+    rejected_at: string;
+    issuer_public_key_ref: string;
+    signature_algorithm: "Ed25519";
+    liability_disposition: "ABSORB" | "RELEASE" | "TRANSFER" | "DISPUTE";
+    details?: Record<string, unknown> | undefined;
+    commitment_hash?: string | undefined;
+    waiver_terms_ref?: {
+        type: "https://hlos.ai/schema/LiabilityWaiverTermsV0";
+        version: 0;
+        terms_hash: string;
+        waiver_id?: string | undefined;
+    } | undefined;
+}>;
+type SignedRejectionReceiptV1 = z.infer<typeof SignedRejectionReceiptV1Schema>;
+type UnsignedSrrV1 = Omit<SignedRejectionReceiptV1, 'signature'>;
+
+/**
+ * @hlos-ai/schemas - SRR Signing Payload and Digest
+ *
+ * Domain-separated signing payload construction for SignedRejectionReceipt (V0 and V1).
+ * Canonical SRR signing construction:
+ *   signingPayload = UTF8(DOMAIN) || SHA-256(JCS(unsignedFields))
+ *
+ * Each version uses its own domain prefix for formal domain separation:
+ *   V0: 'kernel:k:rejection:v1'
+ *   V1: 'kernel:u:rejection:v1'
+ *
+ * This is an intentional tightening over K-08, which requires domain separation
+ * and deterministic payloads but does not prescribe this exact byte recipe.
+ *
+ * Requires @noble/hashes as peer dependency.
+ */
+
+/**
+ * Compute the domain-separated signing payload for an unsigned SRR.
+ *
+ * signingPayload = UTF8(DOMAIN) || SHA-256(JCS(unsignedFields))
+ *
+ * DOMAIN is version-specific (V0: 'kernel:k:rejection:v1', V1: 'kernel:u:rejection:v1').
+ *
+ * @param unsignedSrr - All SRR fields EXCEPT signature
+ * @returns Uint8Array payload (domain bytes + 32 SHA-256)
+ */
+declare function computeSrrSigningPayload(unsignedSrr: UnsignedSrrV0 | UnsignedSrrV1): Uint8Array;
+/**
+ * Compute the replay/idempotency digest for a full signed SRR.
+ *
+ * srr_digest = base64url(SHA-256(JCS(signedSrr)))
+ *
+ * This is over the ENTIRE stored artifact including signature,
+ * distinct from the signing payload which excludes signature.
+ *
+ * @param signedSrr - Complete signed SRR
+ * @returns 43-char base64url string
+ */
+declare function computeSrrDigest(signedSrr: SignedRejectionReceiptV0 | SignedRejectionReceiptV1): string;
+
+/**
+ * @hlos-ai/schemas - SRR Verification
+ *
+ * Ed25519 signature verification for SignedRejectionReceipt (V0 and V1).
+ * Shared primitive (verifyDetachedEd25519) + SRR-specific entrypoint.
+ *
+ * Requires @noble/ed25519 as peer dependency.
+ */
+
+/**
+ * Verify a detached Ed25519 signature.
+ * Artifact-agnostic — knows nothing about SRR, receipts, or domains.
+ */
+declare function verifyDetachedEd25519(params: {
+    signingPayload: Uint8Array;
+    signature: Uint8Array;
+    publicKey: Uint8Array;
+}): Promise<boolean>;
+type SrrVerificationResult = {
+    valid: true;
+} | {
+    valid: false;
+    reason: 'UNSUPPORTED_ALGORITHM' | 'SCHEMA_VIOLATION' | 'PAYLOAD_CONSTRUCTION_ERROR' | 'INVALID_SIGNATURE';
+};
+/**
+ * Verify a SignedRejectionReceipt artifact.
+ *
+ * 1. Algorithm check (must be Ed25519) — checked BEFORE schema so the
+ *    caller gets a meaningful UNSUPPORTED_ALGORITHM rather than a
+ *    generic SCHEMA_VIOLATION from the z.literal('Ed25519') constraint.
+ * 2. Schema validation (Zod parse)
+ * 3. Reconstruct signing payload from unsigned fields
+ * 4. Decode signature from base64url
+ * 5. Ed25519 verify
+ *
+ * Does NOT check:
+ * - Mutual exclusion (SA ⊕ SRR) — runtime invariant
+ * - Crossing existence — verifier doesn't know
+ * - Issuer authorization — only checks signature matches key
+ */
+declare function verifySignedRejectionReceipt(params: {
+    srr: SignedRejectionReceiptV0 | SignedRejectionReceiptV1 | unknown;
+    publicKey: Uint8Array;
+}): Promise<SrrVerificationResult>;
+
+export { type AAREnvelopeV0, AAREnvelopeV0Schema, AAREnvelopeV0TypedSchema, AAR_ENVELOPE_TYPE, AAR_ENVELOPE_VERSION, type AgentListItem, AgentListItemSchema, type AgentPassportStubResponse, AgentPassportStubResponseSchema, type AgentStatus, AgentStatusSchema, type AgentType, AgentTypeSchema, type AgentsListResponse, AgentsListResponseSchema, type ApiResponse, type ArtifactRef, ArtifactRefSchema, type AvailabilityType, AvailabilityTypeSchema, BASE64URL_SHA256_REGEX, Base64urlEd25519SigSchema, Base64urlSha256Schema, CHAIN_STAGE_ORDER, type ChainStageType, ChainStageTypeSchema, type CredentialSource, CredentialSourceSchema, type CrossingHashInputV0, CrossingHashInputV0Schema, CrossingIdFormatSchema, type CrossingSettledReceipt, CrossingSettledReceiptSchema, type CrossingSnapshotV0, CrossingSnapshotV0Schema, type CustodyReceiptContent, CustodyReceiptContentSchema, type DispatchChainContent, DispatchChainContentSchema, DispatchId, DispatchIdBrand, ERROR_CODE_STATUS, EVAL_GOLDEN_FIXTURES, type EconomicGateProofContent, EconomicGateProofContentSchema, type ErrorResponse, ErrorResponseSchema, type EvalArtifact, EvalArtifactSchema, type EvalFailure, EvalFailureSchema, type EvalGraderResult, EvalGraderResultSchema, type EvalTranscriptStep, EvalTranscriptStepSchema, FINALITY_GOLDEN_FIXTURES, FinalityLevel, type FundingSource, FundingSourceSchema, GOLDEN_FIXTURES, type KernelError, type KernelErrorCode, KernelErrorCodeSchema, KernelErrorSchema, type KernelOk, KernelOkSchema, LIABILITY_WAIVER_TERMS_TYPE_URI, LIABILITY_WAIVER_TERMS_VERSION, type LiabilityAttestationContent, LiabilityAttestationContentSchema, type LiabilityDisposition, LiabilityDispositionSchema, LiabilityWaiverTermsConditionsSchema, type LiabilityWaiverTermsHashInput, LiabilityWaiverTermsHashInputSchema, LiabilityWaiverTermsPartiesSchema, type LiabilityWaiverTermsRefV0, LiabilityWaiverTermsRefV0Schema, LiabilityWaiverTermsScopeSchema, type LiabilityWaiverTermsV0, LiabilityWaiverTermsV0Schema, type LogInclusionProof, LogInclusionProofSchema, NA_ID_PREFIX, type NotarizeResponse, NotarizeResponseSchema, type NotarizeStatus, NotarizeStatusSchema, type NotaryAttestation, NotaryAttestationIdFormatSchema, NotaryAttestationSchema, type NotaryRequest, NotaryRequestSchema, PassportIdFormatSchema, type ProviderRole, ProviderRoleSchema, REASON_CODE_PATTERN, type RPID, RPIDSchema, ReceiptIdFormatSchema, type RelyingPartyId, RelyingPartyIdSchema, type RotationEpoch, RotationEpochSchema, SETTLEMENT_AUTHORITY, SRR_INITIAL_REASON_CODES, SRR_REJECTION_DOMAIN, SRR_SIGNATURE_ALGORITHM, SRR_TYPE_URI, SRR_V1_REJECTION_DOMAIN, SRR_V1_SIGNATURE_ALGORITHM, SRR_V1_TYPE_URI, SRR_V1_VERSION, SRR_VERSION, SURFACES, type SettlementAnchorContent, SettlementAnchorContentSchema, type SettlementExecuteError, SettlementExecuteErrorSchema, type SettlementExecuteRequest, SettlementExecuteRequestSchema, type SettlementExecuteResponse, SettlementExecuteResponseSchema, type SettlementExecuteSuccess, SettlementExecuteSuccessSchema, type SignedRejectionReceiptV0, SignedRejectionReceiptV0Schema, type SignedRejectionReceiptV1, SignedRejectionReceiptV1Schema, type SrrVerificationResult, type Stack, type StackConnection, StackConnectionSchema, type StackProvider, StackProviderSchema, StackSchema, type SuccessResponse, SuccessResponseSchema, type Surface, SurfaceSchema, type TransactionContext, type TransactionContextHash, TransactionContextHashSchema, TransactionContextSchema, type UnsignedSrrV0, type UnsignedSrrV1, W_GOLDEN_FIXTURES, W_RPID_DOMAIN, W_TXCTX_DOMAIN, WalletIdFormatSchema, assertRootHash, assertValidChainLink, base64urlToBytes, bytesToBase64url, computeLiabilityWaiverTermsHash, computeSrrDigest, computeSrrSigningPayload, deriveFundingSource, encodeEpoch, error, isCrossingHashInputV0, isCrossingSettledReceipt, isNotaryAttestation, isNotaryRequest, isSettlementExecuteError, isSettlementExecuteSuccess, kernelError, kernelOk, success, toLiabilityWaiverTermsHashInput, validateTimeWindow, verifyAAR, verifyDetachedEd25519, verifySignedRejectionReceipt };