@kya-os/contracts 1.3.5 → 1.5.1

package/dist/proof/proof-record.d.ts

@@ -0,0 +1,837 @@
+/**
+ * Proof Record (Archive)
+ *
+ * Schema for proof records stored in KV/archive for audit trails
+ *
+ * Related Spec: MCP-I §5
+ * Python Reference: Edge-Delegation-Verification.md
+ */
+import { z } from 'zod';
+/**
+ * Request Info Schema
+ *
+ * Information about the request that was proven
+ */
+export declare const RequestInfoSchema: z.ZodObject<{
+    method: z.ZodString;
+    url: z.ZodString;
+    bodyHash: z.ZodOptional<z.ZodString>;
+    headersHash: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    url: string;
+    method: string;
+    bodyHash?: string | undefined;
+    headersHash?: string | undefined;
+}, {
+    url: string;
+    method: string;
+    bodyHash?: string | undefined;
+    headersHash?: string | undefined;
+}>;
+export type RequestInfo = z.infer<typeof RequestInfoSchema>;
+/**
+ * Response Info Schema
+ *
+ * Information about the response
+ */
+export declare const ResponseInfoSchema: z.ZodObject<{
+    status: z.ZodNumber;
+    bodyHash: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: number;
+    bodyHash?: string | undefined;
+}, {
+    status: number;
+    bodyHash?: string | undefined;
+}>;
+export type ResponseInfo = z.infer<typeof ResponseInfoSchema>;
+/**
+ * Proof Details Schema
+ *
+ * Core proof information
+ */
+export declare const ProofDetailsSchema: z.ZodObject<{
+    timestamp: z.ZodNumber;
+    nonce: z.ZodString;
+    did: z.ZodString;
+    signature: z.ZodString;
+    algorithm: z.ZodEnum<["Ed25519", "ES256"]>;
+    sessionId: z.ZodString;
+    audience: z.ZodString;
+    request: z.ZodOptional<z.ZodObject<{
+        method: z.ZodString;
+        url: z.ZodString;
+        bodyHash: z.ZodOptional<z.ZodString>;
+        headersHash: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        url: string;
+        method: string;
+        bodyHash?: string | undefined;
+        headersHash?: string | undefined;
+    }, {
+        url: string;
+        method: string;
+        bodyHash?: string | undefined;
+        headersHash?: string | undefined;
+    }>>;
+    response: z.ZodOptional<z.ZodObject<{
+        status: z.ZodNumber;
+        bodyHash: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        status: number;
+        bodyHash?: string | undefined;
+    }, {
+        status: number;
+        bodyHash?: string | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    did: string;
+    nonce: string;
+    audience: string;
+    timestamp: number;
+    sessionId: string;
+    signature: string;
+    algorithm: "Ed25519" | "ES256";
+    request?: {
+        url: string;
+        method: string;
+        bodyHash?: string | undefined;
+        headersHash?: string | undefined;
+    } | undefined;
+    response?: {
+        status: number;
+        bodyHash?: string | undefined;
+    } | undefined;
+}, {
+    did: string;
+    nonce: string;
+    audience: string;
+    timestamp: number;
+    sessionId: string;
+    signature: string;
+    algorithm: "Ed25519" | "ES256";
+    request?: {
+        url: string;
+        method: string;
+        bodyHash?: string | undefined;
+        headersHash?: string | undefined;
+    } | undefined;
+    response?: {
+        status: number;
+        bodyHash?: string | undefined;
+    } | undefined;
+}>;
+export type ProofDetails = z.infer<typeof ProofDetailsSchema>;
+/**
+ * Linkage Info Schema
+ *
+ * Links to delegations and credentials
+ */
+export declare const LinkageInfoSchema: z.ZodObject<{
+    delegationId: z.ZodOptional<z.ZodString>;
+    credentialId: z.ZodOptional<z.ZodString>;
+    chainDepth: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    delegationId?: string | undefined;
+    credentialId?: string | undefined;
+    chainDepth?: number | undefined;
+}, {
+    delegationId?: string | undefined;
+    credentialId?: string | undefined;
+    chainDepth?: number | undefined;
+}>;
+export type LinkageInfo = z.infer<typeof LinkageInfoSchema>;
+/**
+ * CRISP Info Schema
+ *
+ * CRISP spending information
+ */
+export declare const CrispInfoSchema: z.ZodObject<{
+    unit: z.ZodEnum<["USD", "ops", "points"]>;
+    delta: z.ZodOptional<z.ZodNumber>;
+    remaining: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    unit: "USD" | "ops" | "points";
+    delta?: number | undefined;
+    remaining?: number | undefined;
+}, {
+    unit: "USD" | "ops" | "points";
+    delta?: number | undefined;
+    remaining?: number | undefined;
+}>;
+export type CrispInfo = z.infer<typeof CrispInfoSchema>;
+/**
+ * Verification Info Schema
+ *
+ * Verification result for the proof
+ */
+export declare const VerificationInfoSchema: z.ZodObject<{
+    result: z.ZodEnum<["pending", "pass", "fail"]>;
+    reason: z.ZodOptional<z.ZodString>;
+    checkedAt: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    result: "pending" | "pass" | "fail";
+    reason?: string | undefined;
+    checkedAt?: number | undefined;
+}, {
+    result: "pending" | "pass" | "fail";
+    reason?: string | undefined;
+    checkedAt?: number | undefined;
+}>;
+export type VerificationInfo = z.infer<typeof VerificationInfoSchema>;
+/**
+ * Proof Record Schema
+ *
+ * Complete proof record for archive/KV storage
+ */
+export declare const ProofRecordSchema: z.ZodObject<{
+    /** Unique identifier for the proof record */
+    id: z.ZodString;
+    /** Tool/service name that created the proof */
+    toolName: z.ZodString;
+    /** Timestamp when stored (milliseconds since epoch) */
+    storedAt: z.ZodNumber;
+    /** Expiration timestamp (milliseconds since epoch) */
+    expiresAt: z.ZodNumber;
+    /** Core proof details */
+    proof: z.ZodObject<{
+        timestamp: z.ZodNumber;
+        nonce: z.ZodString;
+        did: z.ZodString;
+        signature: z.ZodString;
+        algorithm: z.ZodEnum<["Ed25519", "ES256"]>;
+        sessionId: z.ZodString;
+        audience: z.ZodString;
+        request: z.ZodOptional<z.ZodObject<{
+            method: z.ZodString;
+            url: z.ZodString;
+            bodyHash: z.ZodOptional<z.ZodString>;
+            headersHash: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        }, {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        }>>;
+        response: z.ZodOptional<z.ZodObject<{
+            status: z.ZodNumber;
+            bodyHash: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            status: number;
+            bodyHash?: string | undefined;
+        }, {
+            status: number;
+            bodyHash?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        did: string;
+        nonce: string;
+        audience: string;
+        timestamp: number;
+        sessionId: string;
+        signature: string;
+        algorithm: "Ed25519" | "ES256";
+        request?: {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        } | undefined;
+        response?: {
+            status: number;
+            bodyHash?: string | undefined;
+        } | undefined;
+    }, {
+        did: string;
+        nonce: string;
+        audience: string;
+        timestamp: number;
+        sessionId: string;
+        signature: string;
+        algorithm: "Ed25519" | "ES256";
+        request?: {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        } | undefined;
+        response?: {
+            status: number;
+            bodyHash?: string | undefined;
+        } | undefined;
+    }>;
+    /** Optional linkage to delegations/credentials */
+    linkage: z.ZodOptional<z.ZodObject<{
+        delegationId: z.ZodOptional<z.ZodString>;
+        credentialId: z.ZodOptional<z.ZodString>;
+        chainDepth: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        delegationId?: string | undefined;
+        credentialId?: string | undefined;
+        chainDepth?: number | undefined;
+    }, {
+        delegationId?: string | undefined;
+        credentialId?: string | undefined;
+        chainDepth?: number | undefined;
+    }>>;
+    /** Optional CRISP spending info */
+    crisp: z.ZodOptional<z.ZodObject<{
+        unit: z.ZodEnum<["USD", "ops", "points"]>;
+        delta: z.ZodOptional<z.ZodNumber>;
+        remaining: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        unit: "USD" | "ops" | "points";
+        delta?: number | undefined;
+        remaining?: number | undefined;
+    }, {
+        unit: "USD" | "ops" | "points";
+        delta?: number | undefined;
+        remaining?: number | undefined;
+    }>>;
+    /** Optional verification info */
+    verification: z.ZodOptional<z.ZodObject<{
+        result: z.ZodEnum<["pending", "pass", "fail"]>;
+        reason: z.ZodOptional<z.ZodString>;
+        checkedAt: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        result: "pending" | "pass" | "fail";
+        reason?: string | undefined;
+        checkedAt?: number | undefined;
+    }, {
+        result: "pending" | "pass" | "fail";
+        reason?: string | undefined;
+        checkedAt?: number | undefined;
+    }>>;
+    /** Optional metadata */
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    /** Unique identifier for the proof record */
+    id: z.ZodString;
+    /** Tool/service name that created the proof */
+    toolName: z.ZodString;
+    /** Timestamp when stored (milliseconds since epoch) */
+    storedAt: z.ZodNumber;
+    /** Expiration timestamp (milliseconds since epoch) */
+    expiresAt: z.ZodNumber;
+    /** Core proof details */
+    proof: z.ZodObject<{
+        timestamp: z.ZodNumber;
+        nonce: z.ZodString;
+        did: z.ZodString;
+        signature: z.ZodString;
+        algorithm: z.ZodEnum<["Ed25519", "ES256"]>;
+        sessionId: z.ZodString;
+        audience: z.ZodString;
+        request: z.ZodOptional<z.ZodObject<{
+            method: z.ZodString;
+            url: z.ZodString;
+            bodyHash: z.ZodOptional<z.ZodString>;
+            headersHash: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        }, {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        }>>;
+        response: z.ZodOptional<z.ZodObject<{
+            status: z.ZodNumber;
+            bodyHash: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            status: number;
+            bodyHash?: string | undefined;
+        }, {
+            status: number;
+            bodyHash?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        did: string;
+        nonce: string;
+        audience: string;
+        timestamp: number;
+        sessionId: string;
+        signature: string;
+        algorithm: "Ed25519" | "ES256";
+        request?: {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        } | undefined;
+        response?: {
+            status: number;
+            bodyHash?: string | undefined;
+        } | undefined;
+    }, {
+        did: string;
+        nonce: string;
+        audience: string;
+        timestamp: number;
+        sessionId: string;
+        signature: string;
+        algorithm: "Ed25519" | "ES256";
+        request?: {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        } | undefined;
+        response?: {
+            status: number;
+            bodyHash?: string | undefined;
+        } | undefined;
+    }>;
+    /** Optional linkage to delegations/credentials */
+    linkage: z.ZodOptional<z.ZodObject<{
+        delegationId: z.ZodOptional<z.ZodString>;
+        credentialId: z.ZodOptional<z.ZodString>;
+        chainDepth: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        delegationId?: string | undefined;
+        credentialId?: string | undefined;
+        chainDepth?: number | undefined;
+    }, {
+        delegationId?: string | undefined;
+        credentialId?: string | undefined;
+        chainDepth?: number | undefined;
+    }>>;
+    /** Optional CRISP spending info */
+    crisp: z.ZodOptional<z.ZodObject<{
+        unit: z.ZodEnum<["USD", "ops", "points"]>;
+        delta: z.ZodOptional<z.ZodNumber>;
+        remaining: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        unit: "USD" | "ops" | "points";
+        delta?: number | undefined;
+        remaining?: number | undefined;
+    }, {
+        unit: "USD" | "ops" | "points";
+        delta?: number | undefined;
+        remaining?: number | undefined;
+    }>>;
+    /** Optional verification info */
+    verification: z.ZodOptional<z.ZodObject<{
+        result: z.ZodEnum<["pending", "pass", "fail"]>;
+        reason: z.ZodOptional<z.ZodString>;
+        checkedAt: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        result: "pending" | "pass" | "fail";
+        reason?: string | undefined;
+        checkedAt?: number | undefined;
+    }, {
+        result: "pending" | "pass" | "fail";
+        reason?: string | undefined;
+        checkedAt?: number | undefined;
+    }>>;
+    /** Optional metadata */
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    /** Unique identifier for the proof record */
+    id: z.ZodString;
+    /** Tool/service name that created the proof */
+    toolName: z.ZodString;
+    /** Timestamp when stored (milliseconds since epoch) */
+    storedAt: z.ZodNumber;
+    /** Expiration timestamp (milliseconds since epoch) */
+    expiresAt: z.ZodNumber;
+    /** Core proof details */
+    proof: z.ZodObject<{
+        timestamp: z.ZodNumber;
+        nonce: z.ZodString;
+        did: z.ZodString;
+        signature: z.ZodString;
+        algorithm: z.ZodEnum<["Ed25519", "ES256"]>;
+        sessionId: z.ZodString;
+        audience: z.ZodString;
+        request: z.ZodOptional<z.ZodObject<{
+            method: z.ZodString;
+            url: z.ZodString;
+            bodyHash: z.ZodOptional<z.ZodString>;
+            headersHash: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        }, {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        }>>;
+        response: z.ZodOptional<z.ZodObject<{
+            status: z.ZodNumber;
+            bodyHash: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            status: number;
+            bodyHash?: string | undefined;
+        }, {
+            status: number;
+            bodyHash?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        did: string;
+        nonce: string;
+        audience: string;
+        timestamp: number;
+        sessionId: string;
+        signature: string;
+        algorithm: "Ed25519" | "ES256";
+        request?: {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        } | undefined;
+        response?: {
+            status: number;
+            bodyHash?: string | undefined;
+        } | undefined;
+    }, {
+        did: string;
+        nonce: string;
+        audience: string;
+        timestamp: number;
+        sessionId: string;
+        signature: string;
+        algorithm: "Ed25519" | "ES256";
+        request?: {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        } | undefined;
+        response?: {
+            status: number;
+            bodyHash?: string | undefined;
+        } | undefined;
+    }>;
+    /** Optional linkage to delegations/credentials */
+    linkage: z.ZodOptional<z.ZodObject<{
+        delegationId: z.ZodOptional<z.ZodString>;
+        credentialId: z.ZodOptional<z.ZodString>;
+        chainDepth: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        delegationId?: string | undefined;
+        credentialId?: string | undefined;
+        chainDepth?: number | undefined;
+    }, {
+        delegationId?: string | undefined;
+        credentialId?: string | undefined;
+        chainDepth?: number | undefined;
+    }>>;
+    /** Optional CRISP spending info */
+    crisp: z.ZodOptional<z.ZodObject<{
+        unit: z.ZodEnum<["USD", "ops", "points"]>;
+        delta: z.ZodOptional<z.ZodNumber>;
+        remaining: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        unit: "USD" | "ops" | "points";
+        delta?: number | undefined;
+        remaining?: number | undefined;
+    }, {
+        unit: "USD" | "ops" | "points";
+        delta?: number | undefined;
+        remaining?: number | undefined;
+    }>>;
+    /** Optional verification info */
+    verification: z.ZodOptional<z.ZodObject<{
+        result: z.ZodEnum<["pending", "pass", "fail"]>;
+        reason: z.ZodOptional<z.ZodString>;
+        checkedAt: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        result: "pending" | "pass" | "fail";
+        reason?: string | undefined;
+        checkedAt?: number | undefined;
+    }, {
+        result: "pending" | "pass" | "fail";
+        reason?: string | undefined;
+        checkedAt?: number | undefined;
+    }>>;
+    /** Optional metadata */
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+}, z.ZodTypeAny, "passthrough">>;
+export type ProofRecord = z.infer<typeof ProofRecordSchema>;
+/**
+ * Validation Helpers
+ */
+/**
+ * Validate a proof record
+ *
+ * @param record - The record to validate
+ * @returns Validation result
+ */
+export declare function validateProofRecord(record: unknown): z.SafeParseReturnType<z.objectInputType<{
+    /** Unique identifier for the proof record */
+    id: z.ZodString;
+    /** Tool/service name that created the proof */
+    toolName: z.ZodString;
+    /** Timestamp when stored (milliseconds since epoch) */
+    storedAt: z.ZodNumber;
+    /** Expiration timestamp (milliseconds since epoch) */
+    expiresAt: z.ZodNumber;
+    /** Core proof details */
+    proof: z.ZodObject<{
+        timestamp: z.ZodNumber;
+        nonce: z.ZodString;
+        did: z.ZodString;
+        signature: z.ZodString;
+        algorithm: z.ZodEnum<["Ed25519", "ES256"]>;
+        sessionId: z.ZodString;
+        audience: z.ZodString;
+        request: z.ZodOptional<z.ZodObject<{
+            method: z.ZodString;
+            url: z.ZodString;
+            bodyHash: z.ZodOptional<z.ZodString>;
+            headersHash: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        }, {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        }>>;
+        response: z.ZodOptional<z.ZodObject<{
+            status: z.ZodNumber;
+            bodyHash: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            status: number;
+            bodyHash?: string | undefined;
+        }, {
+            status: number;
+            bodyHash?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        did: string;
+        nonce: string;
+        audience: string;
+        timestamp: number;
+        sessionId: string;
+        signature: string;
+        algorithm: "Ed25519" | "ES256";
+        request?: {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        } | undefined;
+        response?: {
+            status: number;
+            bodyHash?: string | undefined;
+        } | undefined;
+    }, {
+        did: string;
+        nonce: string;
+        audience: string;
+        timestamp: number;
+        sessionId: string;
+        signature: string;
+        algorithm: "Ed25519" | "ES256";
+        request?: {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        } | undefined;
+        response?: {
+            status: number;
+            bodyHash?: string | undefined;
+        } | undefined;
+    }>;
+    /** Optional linkage to delegations/credentials */
+    linkage: z.ZodOptional<z.ZodObject<{
+        delegationId: z.ZodOptional<z.ZodString>;
+        credentialId: z.ZodOptional<z.ZodString>;
+        chainDepth: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        delegationId?: string | undefined;
+        credentialId?: string | undefined;
+        chainDepth?: number | undefined;
+    }, {
+        delegationId?: string | undefined;
+        credentialId?: string | undefined;
+        chainDepth?: number | undefined;
+    }>>;
+    /** Optional CRISP spending info */
+    crisp: z.ZodOptional<z.ZodObject<{
+        unit: z.ZodEnum<["USD", "ops", "points"]>;
+        delta: z.ZodOptional<z.ZodNumber>;
+        remaining: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        unit: "USD" | "ops" | "points";
+        delta?: number | undefined;
+        remaining?: number | undefined;
+    }, {
+        unit: "USD" | "ops" | "points";
+        delta?: number | undefined;
+        remaining?: number | undefined;
+    }>>;
+    /** Optional verification info */
+    verification: z.ZodOptional<z.ZodObject<{
+        result: z.ZodEnum<["pending", "pass", "fail"]>;
+        reason: z.ZodOptional<z.ZodString>;
+        checkedAt: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        result: "pending" | "pass" | "fail";
+        reason?: string | undefined;
+        checkedAt?: number | undefined;
+    }, {
+        result: "pending" | "pass" | "fail";
+        reason?: string | undefined;
+        checkedAt?: number | undefined;
+    }>>;
+    /** Optional metadata */
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+}, z.ZodTypeAny, "passthrough">, z.objectOutputType<{
+    /** Unique identifier for the proof record */
+    id: z.ZodString;
+    /** Tool/service name that created the proof */
+    toolName: z.ZodString;
+    /** Timestamp when stored (milliseconds since epoch) */
+    storedAt: z.ZodNumber;
+    /** Expiration timestamp (milliseconds since epoch) */
+    expiresAt: z.ZodNumber;
+    /** Core proof details */
+    proof: z.ZodObject<{
+        timestamp: z.ZodNumber;
+        nonce: z.ZodString;
+        did: z.ZodString;
+        signature: z.ZodString;
+        algorithm: z.ZodEnum<["Ed25519", "ES256"]>;
+        sessionId: z.ZodString;
+        audience: z.ZodString;
+        request: z.ZodOptional<z.ZodObject<{
+            method: z.ZodString;
+            url: z.ZodString;
+            bodyHash: z.ZodOptional<z.ZodString>;
+            headersHash: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        }, {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        }>>;
+        response: z.ZodOptional<z.ZodObject<{
+            status: z.ZodNumber;
+            bodyHash: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            status: number;
+            bodyHash?: string | undefined;
+        }, {
+            status: number;
+            bodyHash?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        did: string;
+        nonce: string;
+        audience: string;
+        timestamp: number;
+        sessionId: string;
+        signature: string;
+        algorithm: "Ed25519" | "ES256";
+        request?: {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        } | undefined;
+        response?: {
+            status: number;
+            bodyHash?: string | undefined;
+        } | undefined;
+    }, {
+        did: string;
+        nonce: string;
+        audience: string;
+        timestamp: number;
+        sessionId: string;
+        signature: string;
+        algorithm: "Ed25519" | "ES256";
+        request?: {
+            url: string;
+            method: string;
+            bodyHash?: string | undefined;
+            headersHash?: string | undefined;
+        } | undefined;
+        response?: {
+            status: number;
+            bodyHash?: string | undefined;
+        } | undefined;
+    }>;
+    /** Optional linkage to delegations/credentials */
+    linkage: z.ZodOptional<z.ZodObject<{
+        delegationId: z.ZodOptional<z.ZodString>;
+        credentialId: z.ZodOptional<z.ZodString>;
+        chainDepth: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        delegationId?: string | undefined;
+        credentialId?: string | undefined;
+        chainDepth?: number | undefined;
+    }, {
+        delegationId?: string | undefined;
+        credentialId?: string | undefined;
+        chainDepth?: number | undefined;
+    }>>;
+    /** Optional CRISP spending info */
+    crisp: z.ZodOptional<z.ZodObject<{
+        unit: z.ZodEnum<["USD", "ops", "points"]>;
+        delta: z.ZodOptional<z.ZodNumber>;
+        remaining: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        unit: "USD" | "ops" | "points";
+        delta?: number | undefined;
+        remaining?: number | undefined;
+    }, {
+        unit: "USD" | "ops" | "points";
+        delta?: number | undefined;
+        remaining?: number | undefined;
+    }>>;
+    /** Optional verification info */
+    verification: z.ZodOptional<z.ZodObject<{
+        result: z.ZodEnum<["pending", "pass", "fail"]>;
+        reason: z.ZodOptional<z.ZodString>;
+        checkedAt: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        result: "pending" | "pass" | "fail";
+        reason?: string | undefined;
+        checkedAt?: number | undefined;
+    }, {
+        result: "pending" | "pass" | "fail";
+        reason?: string | undefined;
+        checkedAt?: number | undefined;
+    }>>;
+    /** Optional metadata */
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodAny>>;
+}, z.ZodTypeAny, "passthrough">>;
+/**
+ * Check if proof record is expired
+ *
+ * @param record - The record to check
+ * @returns true if expired
+ */
+export declare function isProofRecordExpired(record: ProofRecord): boolean;
+/**
+ * Constants
+ */
+/**
+ * Default proof record TTL (30 days in milliseconds)
+ */
+export declare const DEFAULT_PROOF_RECORD_TTL_MS: number;