@peac/schema 0.10.13 → 0.11.0

package/dist/validators.d.ts

@@ -11,94 +11,30 @@ export declare const NormalizedPayment: z.ZodObject<{
     currency: z.ZodString;
     asset: z.ZodOptional<z.ZodString>;
     env: z.ZodOptional<z.ZodString>;
-    evidence: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonValue, z.ZodTypeDef, import("@peac/kernel").JsonValue>>;
-    metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, z.ZodTypeDef, import("@peac/kernel").JsonObject>>;
-}, "strict", z.ZodTypeAny, {
-    rail: string;
-    reference: string;
-    amount: number;
-    currency: string;
-    metadata?: import("@peac/kernel").JsonObject | undefined;
-    evidence?: import("@peac/kernel").JsonValue | undefined;
-    asset?: string | undefined;
-    env?: string | undefined;
-}, {
-    rail: string;
-    reference: string;
-    amount: number;
-    currency: string;
-    metadata?: import("@peac/kernel").JsonObject | undefined;
-    evidence?: import("@peac/kernel").JsonValue | undefined;
-    asset?: string | undefined;
-    env?: string | undefined;
-}>;
+    evidence: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonValue, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonValue, unknown>>>;
+    metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonObject, unknown>>>;
+}, z.core.$strict>;
 export declare const Subject: z.ZodObject<{
-    uri: z.ZodEffects<z.ZodString, string, string>;
-}, "strict", z.ZodTypeAny, {
-    uri: string;
-}, {
-    uri: string;
-}>;
+    uri: z.ZodString;
+}, z.core.$strict>;
 export declare const AIPREFSnapshot: z.ZodObject<{
-    url: z.ZodEffects<z.ZodString, string, string>;
+    url: z.ZodString;
     hash: z.ZodString;
-}, "strict", z.ZodTypeAny, {
-    url: string;
-    hash: string;
-}, {
-    url: string;
-    hash: string;
-}>;
+}, z.core.$strict>;
 export declare const Extensions: z.ZodObject<{
     aipref_snapshot: z.ZodOptional<z.ZodObject<{
-        url: z.ZodEffects<z.ZodString, string, string>;
-        hash: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        url: string;
-        hash: string;
-    }, {
-        url: string;
-        hash: string;
-    }>>;
-}, "strip", z.ZodUnknown, z.objectOutputType<{
-    aipref_snapshot: z.ZodOptional<z.ZodObject<{
-        url: z.ZodEffects<z.ZodString, string, string>;
-        hash: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        url: string;
-        hash: string;
-    }, {
-        url: string;
-        hash: string;
-    }>>;
-}, z.ZodUnknown, "strip">, z.objectInputType<{
-    aipref_snapshot: z.ZodOptional<z.ZodObject<{
-        url: z.ZodEffects<z.ZodString, string, string>;
+        url: z.ZodString;
         hash: z.ZodString;
-    }, "strict", z.ZodTypeAny, {
-        url: string;
-        hash: string;
-    }, {
-        url: string;
-        hash: string;
-    }>>;
-}, z.ZodUnknown, "strip">>;
+    }, z.core.$strict>>;
+}, z.core.$catchall<z.ZodUnknown>>;
 export declare const JWSHeader: z.ZodObject<{
     typ: z.ZodLiteral<"peac-receipt/0.1">;
     alg: z.ZodLiteral<"EdDSA">;
     kid: z.ZodString;
-}, "strict", z.ZodTypeAny, {
-    alg: "EdDSA";
-    typ: "peac-receipt/0.1";
-    kid: string;
-}, {
-    alg: "EdDSA";
-    typ: "peac-receipt/0.1";
-    kid: string;
-}>;
+}, z.core.$strict>;
 export declare const ReceiptClaimsSchema: z.ZodObject<{
-    iss: z.ZodEffects<z.ZodString, string, string>;
-    aud: z.ZodEffects<z.ZodString, string, string>;
+    iss: z.ZodString;
+    aud: z.ZodString;
     iat: z.ZodNumber;
     exp: z.ZodOptional<z.ZodNumber>;
     rid: z.ZodString;
@@ -111,144 +47,35 @@ export declare const ReceiptClaimsSchema: z.ZodObject<{
         currency: z.ZodString;
         asset: z.ZodOptional<z.ZodString>;
         env: z.ZodOptional<z.ZodString>;
-        evidence: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonValue, z.ZodTypeDef, import("@peac/kernel").JsonValue>>;
-        metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, z.ZodTypeDef, import("@peac/kernel").JsonObject>>;
-    }, "strict", z.ZodTypeAny, {
-        rail: string;
-        reference: string;
-        amount: number;
-        currency: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        evidence?: import("@peac/kernel").JsonValue | undefined;
-        asset?: string | undefined;
-        env?: string | undefined;
-    }, {
-        rail: string;
-        reference: string;
-        amount: number;
-        currency: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        evidence?: import("@peac/kernel").JsonValue | undefined;
-        asset?: string | undefined;
-        env?: string | undefined;
-    }>;
+        evidence: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonValue, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonValue, unknown>>>;
+        metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonObject, unknown>>>;
+    }, z.core.$strict>;
     subject: z.ZodOptional<z.ZodObject<{
-        uri: z.ZodEffects<z.ZodString, string, string>;
-    }, "strict", z.ZodTypeAny, {
-        uri: string;
-    }, {
-        uri: string;
-    }>>;
+        uri: z.ZodString;
+    }, z.core.$strict>>;
     ext: z.ZodOptional<z.ZodObject<{
         aipref_snapshot: z.ZodOptional<z.ZodObject<{
-            url: z.ZodEffects<z.ZodString, string, string>;
-            hash: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            url: string;
-            hash: string;
-        }, {
-            url: string;
-            hash: string;
-        }>>;
-    }, "strip", z.ZodUnknown, z.objectOutputType<{
-        aipref_snapshot: z.ZodOptional<z.ZodObject<{
-            url: z.ZodEffects<z.ZodString, string, string>;
-            hash: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            url: string;
-            hash: string;
-        }, {
-            url: string;
-            hash: string;
-        }>>;
-    }, z.ZodUnknown, "strip">, z.objectInputType<{
-        aipref_snapshot: z.ZodOptional<z.ZodObject<{
-            url: z.ZodEffects<z.ZodString, string, string>;
+            url: z.ZodString;
             hash: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            url: string;
-            hash: string;
-        }, {
-            url: string;
-            hash: string;
-        }>>;
-    }, z.ZodUnknown, "strip">>>;
-    purpose_declared: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    purpose_enforced: z.ZodOptional<z.ZodEnum<["train", "search", "user_action", "inference", "index"]>>;
-    purpose_reason: z.ZodOptional<z.ZodEnum<["allowed", "constrained", "denied", "downgraded", "undeclared_default", "unknown_preserved"]>>;
-}, "strict", z.ZodTypeAny, {
-    iss: string;
-    aud: string;
-    iat: number;
-    rid: string;
-    amt: number;
-    cur: string;
-    payment: {
-        rail: string;
-        reference: string;
-        amount: number;
-        currency: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        evidence?: import("@peac/kernel").JsonValue | undefined;
-        asset?: string | undefined;
-        env?: string | undefined;
-    };
-    exp?: number | undefined;
-    ext?: z.objectOutputType<{
-        aipref_snapshot: z.ZodOptional<z.ZodObject<{
-            url: z.ZodEffects<z.ZodString, string, string>;
-            hash: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            url: string;
-            hash: string;
-        }, {
-            url: string;
-            hash: string;
-        }>>;
-    }, z.ZodUnknown, "strip"> | undefined;
-    subject?: {
-        uri: string;
-    } | undefined;
-    purpose_declared?: string[] | undefined;
-    purpose_enforced?: "inference" | "index" | "train" | "user_action" | "search" | undefined;
-    purpose_reason?: "allowed" | "constrained" | "denied" | "downgraded" | "undeclared_default" | "unknown_preserved" | undefined;
-}, {
-    iss: string;
-    aud: string;
-    iat: number;
-    rid: string;
-    amt: number;
-    cur: string;
-    payment: {
-        rail: string;
-        reference: string;
-        amount: number;
-        currency: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        evidence?: import("@peac/kernel").JsonValue | undefined;
-        asset?: string | undefined;
-        env?: string | undefined;
-    };
-    exp?: number | undefined;
-    ext?: z.objectInputType<{
-        aipref_snapshot: z.ZodOptional<z.ZodObject<{
-            url: z.ZodEffects<z.ZodString, string, string>;
-            hash: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            url: string;
-            hash: string;
-        }, {
-            url: string;
-            hash: string;
-        }>>;
-    }, z.ZodUnknown, "strip"> | undefined;
-    subject?: {
-        uri: string;
-    } | undefined;
-    purpose_declared?: string[] | undefined;
-    purpose_enforced?: "inference" | "index" | "train" | "user_action" | "search" | undefined;
-    purpose_reason?: "allowed" | "constrained" | "denied" | "downgraded" | "undeclared_default" | "unknown_preserved" | undefined;
-}>;
+        }, z.core.$strict>>;
+    }, z.core.$catchall<z.ZodUnknown>>>;
+    purpose_declared: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    purpose_enforced: z.ZodOptional<z.ZodEnum<{
+        search: "search";
+        inference: "inference";
+        index: "index";
+        train: "train";
+        user_action: "user_action";
+    }>>;
+    purpose_reason: z.ZodOptional<z.ZodEnum<{
+        allowed: "allowed";
+        constrained: "constrained";
+        denied: "denied";
+        downgraded: "downgraded";
+        undeclared_default: "undeclared_default";
+        unknown_preserved: "unknown_preserved";
+    }>>;
+}, z.core.$strict>;
 /**
  * Schema-derived receipt claims type (v0.9.30+)
  *
@@ -260,8 +87,8 @@ export type ReceiptClaimsType = z.infer<typeof ReceiptClaimsSchema>;
  * @deprecated Use ReceiptClaimsSchema instead. Renamed in v0.9.30.
  */
 export declare const ReceiptClaims: z.ZodObject<{
-    iss: z.ZodEffects<z.ZodString, string, string>;
-    aud: z.ZodEffects<z.ZodString, string, string>;
+    iss: z.ZodString;
+    aud: z.ZodString;
     iat: z.ZodNumber;
     exp: z.ZodOptional<z.ZodNumber>;
     rid: z.ZodString;
@@ -274,151 +101,38 @@ export declare const ReceiptClaims: z.ZodObject<{
         currency: z.ZodString;
         asset: z.ZodOptional<z.ZodString>;
         env: z.ZodOptional<z.ZodString>;
-        evidence: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonValue, z.ZodTypeDef, import("@peac/kernel").JsonValue>>;
-        metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, z.ZodTypeDef, import("@peac/kernel").JsonObject>>;
-    }, "strict", z.ZodTypeAny, {
-        rail: string;
-        reference: string;
-        amount: number;
-        currency: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        evidence?: import("@peac/kernel").JsonValue | undefined;
-        asset?: string | undefined;
-        env?: string | undefined;
-    }, {
-        rail: string;
-        reference: string;
-        amount: number;
-        currency: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        evidence?: import("@peac/kernel").JsonValue | undefined;
-        asset?: string | undefined;
-        env?: string | undefined;
-    }>;
+        evidence: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonValue, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonValue, unknown>>>;
+        metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonObject, unknown>>>;
+    }, z.core.$strict>;
     subject: z.ZodOptional<z.ZodObject<{
-        uri: z.ZodEffects<z.ZodString, string, string>;
-    }, "strict", z.ZodTypeAny, {
-        uri: string;
-    }, {
-        uri: string;
-    }>>;
+        uri: z.ZodString;
+    }, z.core.$strict>>;
     ext: z.ZodOptional<z.ZodObject<{
         aipref_snapshot: z.ZodOptional<z.ZodObject<{
-            url: z.ZodEffects<z.ZodString, string, string>;
-            hash: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            url: string;
-            hash: string;
-        }, {
-            url: string;
-            hash: string;
-        }>>;
-    }, "strip", z.ZodUnknown, z.objectOutputType<{
-        aipref_snapshot: z.ZodOptional<z.ZodObject<{
-            url: z.ZodEffects<z.ZodString, string, string>;
-            hash: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            url: string;
-            hash: string;
-        }, {
-            url: string;
-            hash: string;
-        }>>;
-    }, z.ZodUnknown, "strip">, z.objectInputType<{
-        aipref_snapshot: z.ZodOptional<z.ZodObject<{
-            url: z.ZodEffects<z.ZodString, string, string>;
+            url: z.ZodString;
             hash: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            url: string;
-            hash: string;
-        }, {
-            url: string;
-            hash: string;
-        }>>;
-    }, z.ZodUnknown, "strip">>>;
-    purpose_declared: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    purpose_enforced: z.ZodOptional<z.ZodEnum<["train", "search", "user_action", "inference", "index"]>>;
-    purpose_reason: z.ZodOptional<z.ZodEnum<["allowed", "constrained", "denied", "downgraded", "undeclared_default", "unknown_preserved"]>>;
-}, "strict", z.ZodTypeAny, {
-    iss: string;
-    aud: string;
-    iat: number;
-    rid: string;
-    amt: number;
-    cur: string;
-    payment: {
-        rail: string;
-        reference: string;
-        amount: number;
-        currency: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        evidence?: import("@peac/kernel").JsonValue | undefined;
-        asset?: string | undefined;
-        env?: string | undefined;
-    };
-    exp?: number | undefined;
-    ext?: z.objectOutputType<{
-        aipref_snapshot: z.ZodOptional<z.ZodObject<{
-            url: z.ZodEffects<z.ZodString, string, string>;
-            hash: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            url: string;
-            hash: string;
-        }, {
-            url: string;
-            hash: string;
-        }>>;
-    }, z.ZodUnknown, "strip"> | undefined;
-    subject?: {
-        uri: string;
-    } | undefined;
-    purpose_declared?: string[] | undefined;
-    purpose_enforced?: "inference" | "index" | "train" | "user_action" | "search" | undefined;
-    purpose_reason?: "allowed" | "constrained" | "denied" | "downgraded" | "undeclared_default" | "unknown_preserved" | undefined;
-}, {
-    iss: string;
-    aud: string;
-    iat: number;
-    rid: string;
-    amt: number;
-    cur: string;
-    payment: {
-        rail: string;
-        reference: string;
-        amount: number;
-        currency: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        evidence?: import("@peac/kernel").JsonValue | undefined;
-        asset?: string | undefined;
-        env?: string | undefined;
-    };
-    exp?: number | undefined;
-    ext?: z.objectInputType<{
-        aipref_snapshot: z.ZodOptional<z.ZodObject<{
-            url: z.ZodEffects<z.ZodString, string, string>;
-            hash: z.ZodString;
-        }, "strict", z.ZodTypeAny, {
-            url: string;
-            hash: string;
-        }, {
-            url: string;
-            hash: string;
-        }>>;
-    }, z.ZodUnknown, "strip"> | undefined;
-    subject?: {
-        uri: string;
-    } | undefined;
-    purpose_declared?: string[] | undefined;
-    purpose_enforced?: "inference" | "index" | "train" | "user_action" | "search" | undefined;
-    purpose_reason?: "allowed" | "constrained" | "denied" | "downgraded" | "undeclared_default" | "unknown_preserved" | undefined;
-}>;
+        }, z.core.$strict>>;
+    }, z.core.$catchall<z.ZodUnknown>>>;
+    purpose_declared: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    purpose_enforced: z.ZodOptional<z.ZodEnum<{
+        search: "search";
+        inference: "inference";
+        index: "index";
+        train: "train";
+        user_action: "user_action";
+    }>>;
+    purpose_reason: z.ZodOptional<z.ZodEnum<{
+        allowed: "allowed";
+        constrained: "constrained";
+        denied: "denied";
+        downgraded: "downgraded";
+        undeclared_default: "undeclared_default";
+        unknown_preserved: "unknown_preserved";
+    }>>;
+}, z.core.$strict>;
 export declare const VerifyRequest: z.ZodObject<{
     receipt_jws: z.ZodString;
-}, "strict", z.ZodTypeAny, {
-    receipt_jws: string;
-}, {
-    receipt_jws: string;
-}>;
+}, z.core.$strict>;
 /**
  * Control purpose - what the access is for
  *
@@ -428,15 +142,32 @@ export declare const VerifyRequest: z.ZodObject<{
  *
  * @see https://rslstandard.org/rsl for RSL 1.0 specification
  */
-export declare const ControlPurposeSchema: z.ZodEnum<["crawl", "index", "train", "inference", "user_action", "ai_input", "ai_index", "search"]>;
+export declare const ControlPurposeSchema: z.ZodEnum<{
+    search: "search";
+    inference: "inference";
+    crawl: "crawl";
+    index: "index";
+    train: "train";
+    user_action: "user_action";
+    ai_input: "ai_input";
+    ai_index: "ai_index";
+}>;
 /**
  * Control licensing mode - how access is licensed
  */
-export declare const ControlLicensingModeSchema: z.ZodEnum<["subscription", "pay_per_crawl", "pay_per_inference"]>;
+export declare const ControlLicensingModeSchema: z.ZodEnum<{
+    subscription: "subscription";
+    pay_per_crawl: "pay_per_crawl";
+    pay_per_inference: "pay_per_inference";
+}>;
 /**
  * Control decision type
  */
-export declare const ControlDecisionSchema: z.ZodEnum<["allow", "deny", "review"]>;
+export declare const ControlDecisionSchema: z.ZodEnum<{
+    allow: "allow";
+    deny: "deny";
+    review: "review";
+}>;
 /**
  * Single control step in governance chain
  */
@@ -444,137 +175,71 @@ export declare const ControlStepSchema: z.ZodObject<{
     engine: z.ZodString;
     version: z.ZodOptional<z.ZodString>;
     policy_id: z.ZodOptional<z.ZodString>;
-    result: z.ZodEnum<["allow", "deny", "review"]>;
+    result: z.ZodEnum<{
+        allow: "allow";
+        deny: "deny";
+        review: "review";
+    }>;
     reason: z.ZodOptional<z.ZodString>;
-    purpose: z.ZodOptional<z.ZodEnum<["crawl", "index", "train", "inference", "user_action", "ai_input", "ai_index", "search"]>>;
-    licensing_mode: z.ZodOptional<z.ZodEnum<["subscription", "pay_per_crawl", "pay_per_inference"]>>;
-    scope: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>>;
+    purpose: z.ZodOptional<z.ZodEnum<{
+        search: "search";
+        inference: "inference";
+        crawl: "crawl";
+        index: "index";
+        train: "train";
+        user_action: "user_action";
+        ai_input: "ai_input";
+        ai_index: "ai_index";
+    }>>;
+    licensing_mode: z.ZodOptional<z.ZodEnum<{
+        subscription: "subscription";
+        pay_per_crawl: "pay_per_crawl";
+        pay_per_inference: "pay_per_inference";
+    }>>;
+    scope: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]>>;
     limits_snapshot: z.ZodOptional<z.ZodUnknown>;
     evidence_ref: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
-    engine: string;
-    result: "allow" | "deny" | "review";
-    evidence_ref?: string | undefined;
-    version?: string | undefined;
-    policy_id?: string | undefined;
-    reason?: string | undefined;
-    purpose?: "inference" | "crawl" | "index" | "train" | "user_action" | "ai_input" | "ai_index" | "search" | undefined;
-    licensing_mode?: "subscription" | "pay_per_crawl" | "pay_per_inference" | undefined;
-    scope?: string | string[] | undefined;
-    limits_snapshot?: unknown;
-}, {
-    engine: string;
-    result: "allow" | "deny" | "review";
-    evidence_ref?: string | undefined;
-    version?: string | undefined;
-    policy_id?: string | undefined;
-    reason?: string | undefined;
-    purpose?: "inference" | "crawl" | "index" | "train" | "user_action" | "ai_input" | "ai_index" | "search" | undefined;
-    licensing_mode?: "subscription" | "pay_per_crawl" | "pay_per_inference" | undefined;
-    scope?: string | string[] | undefined;
-    limits_snapshot?: unknown;
-}>;
+}, z.core.$strip>;
 /**
  * Composable control block - multi-party governance
  */
-export declare const ControlBlockSchema: z.ZodEffects<z.ZodObject<{
+export declare const ControlBlockSchema: z.ZodObject<{
     chain: z.ZodArray<z.ZodObject<{
         engine: z.ZodString;
         version: z.ZodOptional<z.ZodString>;
         policy_id: z.ZodOptional<z.ZodString>;
-        result: z.ZodEnum<["allow", "deny", "review"]>;
+        result: z.ZodEnum<{
+            allow: "allow";
+            deny: "deny";
+            review: "review";
+        }>;
         reason: z.ZodOptional<z.ZodString>;
-        purpose: z.ZodOptional<z.ZodEnum<["crawl", "index", "train", "inference", "user_action", "ai_input", "ai_index", "search"]>>;
-        licensing_mode: z.ZodOptional<z.ZodEnum<["subscription", "pay_per_crawl", "pay_per_inference"]>>;
-        scope: z.ZodOptional<z.ZodUnion<[z.ZodString, z.ZodArray<z.ZodString, "many">]>>;
+        purpose: z.ZodOptional<z.ZodEnum<{
+            search: "search";
+            inference: "inference";
+            crawl: "crawl";
+            index: "index";
+            train: "train";
+            user_action: "user_action";
+            ai_input: "ai_input";
+            ai_index: "ai_index";
+        }>>;
+        licensing_mode: z.ZodOptional<z.ZodEnum<{
+            subscription: "subscription";
+            pay_per_crawl: "pay_per_crawl";
+            pay_per_inference: "pay_per_inference";
+        }>>;
+        scope: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]>>;
         limits_snapshot: z.ZodOptional<z.ZodUnknown>;
         evidence_ref: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        engine: string;
-        result: "allow" | "deny" | "review";
-        evidence_ref?: string | undefined;
-        version?: string | undefined;
-        policy_id?: string | undefined;
-        reason?: string | undefined;
-        purpose?: "inference" | "crawl" | "index" | "train" | "user_action" | "ai_input" | "ai_index" | "search" | undefined;
-        licensing_mode?: "subscription" | "pay_per_crawl" | "pay_per_inference" | undefined;
-        scope?: string | string[] | undefined;
-        limits_snapshot?: unknown;
-    }, {
-        engine: string;
-        result: "allow" | "deny" | "review";
-        evidence_ref?: string | undefined;
-        version?: string | undefined;
-        policy_id?: string | undefined;
-        reason?: string | undefined;
-        purpose?: "inference" | "crawl" | "index" | "train" | "user_action" | "ai_input" | "ai_index" | "search" | undefined;
-        licensing_mode?: "subscription" | "pay_per_crawl" | "pay_per_inference" | undefined;
-        scope?: string | string[] | undefined;
-        limits_snapshot?: unknown;
-    }>, "many">;
-    decision: z.ZodEnum<["allow", "deny", "review"]>;
+    }, z.core.$strip>>;
+    decision: z.ZodEnum<{
+        allow: "allow";
+        deny: "deny";
+        review: "review";
+    }>;
     combinator: z.ZodOptional<z.ZodLiteral<"any_can_veto">>;
-}, "strip", z.ZodTypeAny, {
-    chain: {
-        engine: string;
-        result: "allow" | "deny" | "review";
-        evidence_ref?: string | undefined;
-        version?: string | undefined;
-        policy_id?: string | undefined;
-        reason?: string | undefined;
-        purpose?: "inference" | "crawl" | "index" | "train" | "user_action" | "ai_input" | "ai_index" | "search" | undefined;
-        licensing_mode?: "subscription" | "pay_per_crawl" | "pay_per_inference" | undefined;
-        scope?: string | string[] | undefined;
-        limits_snapshot?: unknown;
-    }[];
-    decision: "allow" | "deny" | "review";
-    combinator?: "any_can_veto" | undefined;
-}, {
-    chain: {
-        engine: string;
-        result: "allow" | "deny" | "review";
-        evidence_ref?: string | undefined;
-        version?: string | undefined;
-        policy_id?: string | undefined;
-        reason?: string | undefined;
-        purpose?: "inference" | "crawl" | "index" | "train" | "user_action" | "ai_input" | "ai_index" | "search" | undefined;
-        licensing_mode?: "subscription" | "pay_per_crawl" | "pay_per_inference" | undefined;
-        scope?: string | string[] | undefined;
-        limits_snapshot?: unknown;
-    }[];
-    decision: "allow" | "deny" | "review";
-    combinator?: "any_can_veto" | undefined;
-}>, {
-    chain: {
-        engine: string;
-        result: "allow" | "deny" | "review";
-        evidence_ref?: string | undefined;
-        version?: string | undefined;
-        policy_id?: string | undefined;
-        reason?: string | undefined;
-        purpose?: "inference" | "crawl" | "index" | "train" | "user_action" | "ai_input" | "ai_index" | "search" | undefined;
-        licensing_mode?: "subscription" | "pay_per_crawl" | "pay_per_inference" | undefined;
-        scope?: string | string[] | undefined;
-        limits_snapshot?: unknown;
-    }[];
-    decision: "allow" | "deny" | "review";
-    combinator?: "any_can_veto" | undefined;
-}, {
-    chain: {
-        engine: string;
-        result: "allow" | "deny" | "review";
-        evidence_ref?: string | undefined;
-        version?: string | undefined;
-        policy_id?: string | undefined;
-        reason?: string | undefined;
-        purpose?: "inference" | "crawl" | "index" | "train" | "user_action" | "ai_input" | "ai_index" | "search" | undefined;
-        licensing_mode?: "subscription" | "pay_per_crawl" | "pay_per_inference" | undefined;
-        scope?: string | string[] | undefined;
-        limits_snapshot?: unknown;
-    }[];
-    decision: "allow" | "deny" | "review";
-    combinator?: "any_can_veto" | undefined;
-}>;
+}, z.core.$strip>;
 /**
  * Purpose token validator
  *
@@ -585,20 +250,33 @@ export declare const ControlBlockSchema: z.ZodEffects<z.ZodObject<{
  *
  * Uses string type (not enum) to preserve unknown tokens for forward-compat.
  */
-export declare const PurposeTokenSchema: z.ZodEffects<z.ZodString, string, string>;
+export declare const PurposeTokenSchema: z.ZodString;
 /**
  * Canonical purpose validator
  *
  * CanonicalPurpose is one of PEAC's normative purpose tokens.
  * Only these tokens have enforcement semantics.
  */
-export declare const CanonicalPurposeSchema: z.ZodEnum<["train", "search", "user_action", "inference", "index"]>;
+export declare const CanonicalPurposeSchema: z.ZodEnum<{
+    search: "search";
+    inference: "inference";
+    index: "index";
+    train: "train";
+    user_action: "user_action";
+}>;
 /**
  * Purpose reason validator
  *
  * PurposeReason is the audit spine explaining enforcement decisions.
  */
-export declare const PurposeReasonSchema: z.ZodEnum<["allowed", "constrained", "denied", "downgraded", "undeclared_default", "unknown_preserved"]>;
+export declare const PurposeReasonSchema: z.ZodEnum<{
+    allowed: "allowed";
+    constrained: "constrained";
+    denied: "denied";
+    downgraded: "downgraded";
+    undeclared_default: "undeclared_default";
+    unknown_preserved: "unknown_preserved";
+}>;
 /**
  * Payment split schema
  *
@@ -608,47 +286,15 @@ export declare const PurposeReasonSchema: z.ZodEnum<["allowed", "constrained", "
  * - share if present must be in [0,1]
  * - At least one of amount or share must be specified
  */
-export declare const PaymentSplitSchema: z.ZodEffects<z.ZodObject<{
+export declare const PaymentSplitSchema: z.ZodObject<{
     party: z.ZodString;
     amount: z.ZodOptional<z.ZodNumber>;
     currency: z.ZodOptional<z.ZodString>;
     share: z.ZodOptional<z.ZodNumber>;
     rail: z.ZodOptional<z.ZodString>;
     account_ref: z.ZodOptional<z.ZodString>;
-    metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, z.ZodTypeDef, import("@peac/kernel").JsonObject>>;
-}, "strict", z.ZodTypeAny, {
-    party: string;
-    metadata?: import("@peac/kernel").JsonObject | undefined;
-    rail?: string | undefined;
-    amount?: number | undefined;
-    currency?: string | undefined;
-    share?: number | undefined;
-    account_ref?: string | undefined;
-}, {
-    party: string;
-    metadata?: import("@peac/kernel").JsonObject | undefined;
-    rail?: string | undefined;
-    amount?: number | undefined;
-    currency?: string | undefined;
-    share?: number | undefined;
-    account_ref?: string | undefined;
-}>, {
-    party: string;
-    metadata?: import("@peac/kernel").JsonObject | undefined;
-    rail?: string | undefined;
-    amount?: number | undefined;
-    currency?: string | undefined;
-    share?: number | undefined;
-    account_ref?: string | undefined;
-}, {
-    party: string;
-    metadata?: import("@peac/kernel").JsonObject | undefined;
-    rail?: string | undefined;
-    amount?: number | undefined;
-    currency?: string | undefined;
-    share?: number | undefined;
-    account_ref?: string | undefined;
-}>;
+    metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonObject, unknown>>>;
+}, z.core.$strict>;
 /**
  * Payment routing mode schema (rail-agnostic)
  *
@@ -665,7 +311,11 @@ export declare const PaymentSplitSchema: z.ZodEffects<z.ZodObject<{
  * - Stripe Connect `destination` -> routing = 'direct' or 'callback'
  * - UPI `pa` (payee address) -> routing = 'direct'
  */
-export declare const PaymentRoutingSchema: z.ZodEnum<["direct", "callback", "role"]>;
+export declare const PaymentRoutingSchema: z.ZodEnum<{
+    direct: "direct";
+    callback: "callback";
+    role: "role";
+}>;
 /**
  * Payment evidence schema
  *
@@ -677,100 +327,37 @@ export declare const PaymentEvidenceSchema: z.ZodObject<{
     amount: z.ZodNumber;
     currency: z.ZodString;
     asset: z.ZodString;
-    env: z.ZodEnum<["live", "test"]>;
+    env: z.ZodEnum<{
+        live: "live";
+        test: "test";
+    }>;
     network: z.ZodOptional<z.ZodString>;
     facilitator_ref: z.ZodOptional<z.ZodString>;
-    evidence: z.ZodType<import("@peac/kernel").JsonValue, z.ZodTypeDef, import("@peac/kernel").JsonValue>;
+    evidence: z.ZodType<import("@peac/kernel").JsonValue, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonValue, unknown>>;
     aggregator: z.ZodOptional<z.ZodString>;
-    splits: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
+    splits: z.ZodOptional<z.ZodArray<z.ZodObject<{
         party: z.ZodString;
         amount: z.ZodOptional<z.ZodNumber>;
         currency: z.ZodOptional<z.ZodString>;
         share: z.ZodOptional<z.ZodNumber>;
         rail: z.ZodOptional<z.ZodString>;
         account_ref: z.ZodOptional<z.ZodString>;
-        metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, z.ZodTypeDef, import("@peac/kernel").JsonObject>>;
-    }, "strict", z.ZodTypeAny, {
-        party: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        rail?: string | undefined;
-        amount?: number | undefined;
-        currency?: string | undefined;
-        share?: number | undefined;
-        account_ref?: string | undefined;
-    }, {
-        party: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        rail?: string | undefined;
-        amount?: number | undefined;
-        currency?: string | undefined;
-        share?: number | undefined;
-        account_ref?: string | undefined;
-    }>, {
-        party: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        rail?: string | undefined;
-        amount?: number | undefined;
-        currency?: string | undefined;
-        share?: number | undefined;
-        account_ref?: string | undefined;
-    }, {
-        party: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        rail?: string | undefined;
-        amount?: number | undefined;
-        currency?: string | undefined;
-        share?: number | undefined;
-        account_ref?: string | undefined;
-    }>, "many">>;
-    routing: z.ZodOptional<z.ZodEnum<["direct", "callback", "role"]>>;
-}, "strict", z.ZodTypeAny, {
-    evidence: import("@peac/kernel").JsonValue;
-    rail: string;
-    reference: string;
-    amount: number;
-    currency: string;
-    asset: string;
-    env: "live" | "test";
-    network?: string | undefined;
-    facilitator_ref?: string | undefined;
-    aggregator?: string | undefined;
-    splits?: {
-        party: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        rail?: string | undefined;
-        amount?: number | undefined;
-        currency?: string | undefined;
-        share?: number | undefined;
-        account_ref?: string | undefined;
-    }[] | undefined;
-    routing?: "direct" | "callback" | "role" | undefined;
-}, {
-    evidence: import("@peac/kernel").JsonValue;
-    rail: string;
-    reference: string;
-    amount: number;
-    currency: string;
-    asset: string;
-    env: "live" | "test";
-    network?: string | undefined;
-    facilitator_ref?: string | undefined;
-    aggregator?: string | undefined;
-    splits?: {
-        party: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        rail?: string | undefined;
-        amount?: number | undefined;
-        currency?: string | undefined;
-        share?: number | undefined;
-        account_ref?: string | undefined;
-    }[] | undefined;
-    routing?: "direct" | "callback" | "role" | undefined;
-}>;
+        metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonObject, unknown>>>;
+    }, z.core.$strict>>>;
+    routing: z.ZodOptional<z.ZodEnum<{
+        direct: "direct";
+        callback: "callback";
+        role: "role";
+    }>>;
+}, z.core.$strict>;
 /**
  * Subject type schema
  */
-export declare const SubjectTypeSchema: z.ZodEnum<["human", "org", "agent"]>;
+export declare const SubjectTypeSchema: z.ZodEnum<{
+    human: "human";
+    org: "org";
+    agent: "agent";
+}>;
 /**
  * Subject profile schema
  *
@@ -781,20 +368,14 @@ export declare const SubjectTypeSchema: z.ZodEnum<["human", "org", "agent"]>;
  */
 export declare const SubjectProfileSchema: z.ZodObject<{
     id: z.ZodString;
-    type: z.ZodEnum<["human", "org", "agent"]>;
-    labels: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, z.ZodTypeDef, import("@peac/kernel").JsonObject>>;
-}, "strict", z.ZodTypeAny, {
-    type: "human" | "org" | "agent";
-    id: string;
-    metadata?: import("@peac/kernel").JsonObject | undefined;
-    labels?: string[] | undefined;
-}, {
-    type: "human" | "org" | "agent";
-    id: string;
-    metadata?: import("@peac/kernel").JsonObject | undefined;
-    labels?: string[] | undefined;
-}>;
+    type: z.ZodEnum<{
+        human: "human";
+        org: "org";
+        agent: "agent";
+    }>;
+    labels: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonObject, unknown>>>;
+}, z.core.$strict>;
 /**
  * Subject profile snapshot schema
  *
@@ -806,51 +387,25 @@ export declare const SubjectProfileSchema: z.ZodObject<{
 export declare const SubjectProfileSnapshotSchema: z.ZodObject<{
     subject: z.ZodObject<{
         id: z.ZodString;
-        type: z.ZodEnum<["human", "org", "agent"]>;
-        labels: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, z.ZodTypeDef, import("@peac/kernel").JsonObject>>;
-    }, "strict", z.ZodTypeAny, {
-        type: "human" | "org" | "agent";
-        id: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        labels?: string[] | undefined;
-    }, {
-        type: "human" | "org" | "agent";
-        id: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        labels?: string[] | undefined;
-    }>;
+        type: z.ZodEnum<{
+            human: "human";
+            org: "org";
+            agent: "agent";
+        }>;
+        labels: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        metadata: z.ZodOptional<z.ZodType<import("@peac/kernel").JsonObject, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonObject, unknown>>>;
+    }, z.core.$strict>;
     captured_at: z.ZodString;
     source: z.ZodOptional<z.ZodString>;
     version: z.ZodOptional<z.ZodString>;
-}, "strict", z.ZodTypeAny, {
-    subject: {
-        type: "human" | "org" | "agent";
-        id: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        labels?: string[] | undefined;
-    };
-    captured_at: string;
-    version?: string | undefined;
-    source?: string | undefined;
-}, {
-    subject: {
-        type: "human" | "org" | "agent";
-        id: string;
-        metadata?: import("@peac/kernel").JsonObject | undefined;
-        labels?: string[] | undefined;
-    };
-    captured_at: string;
-    version?: string | undefined;
-    source?: string | undefined;
-}>;
+}, z.core.$strict>;
 /**
  * Namespaced extensions schema
  *
  * Keys must be namespaced (e.g., "com.example/field", "io.vendor/data").
  * This provides a forward-compatible extension mechanism.
  */
-export declare const ExtensionsSchema: z.ZodRecord<z.ZodString, z.ZodType<import("@peac/kernel").JsonValue, z.ZodTypeDef, import("@peac/kernel").JsonValue>>;
+export declare const ExtensionsSchema: z.ZodRecord<z.ZodString, z.ZodType<import("@peac/kernel").JsonValue, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonValue, unknown>>>;
 /**
  * Generic attestation schema
  *
@@ -865,22 +420,8 @@ export declare const AttestationSchema: z.ZodObject<{
     issued_at: z.ZodString;
     expires_at: z.ZodOptional<z.ZodString>;
     ref: z.ZodOptional<z.ZodString>;
-    evidence: z.ZodType<import("@peac/kernel").JsonValue, z.ZodTypeDef, import("@peac/kernel").JsonValue>;
-}, "strict", z.ZodTypeAny, {
-    type: string;
-    issuer: string;
-    issued_at: string;
-    evidence: import("@peac/kernel").JsonValue;
-    expires_at?: string | undefined;
-    ref?: string | undefined;
-}, {
-    type: string;
-    issuer: string;
-    issued_at: string;
-    evidence: import("@peac/kernel").JsonValue;
-    expires_at?: string | undefined;
-    ref?: string | undefined;
-}>;
+    evidence: z.ZodType<import("@peac/kernel").JsonValue, unknown, z.core.$ZodTypeInternals<import("@peac/kernel").JsonValue, unknown>>;
+}, z.core.$strict>;
 /**
  * Validate a subject snapshot (if present)
  *