@gate-forge/core 0.4.0 → 0.6.0

package/dist/schemas/behavior-catalog.d.ts

@@ -0,0 +1,2868 @@
+/**
+ * Compiled behavior catalog (plan 2026-09-19 §4.7, §15.3): the
+ * deterministic, sorted requirement set derived from an approved
+ * behavior document plus the current resource graph.
+ *
+ * The catalog is derived run state, not a tracked authority document.
+ * Tampering with a copy on disk cannot alter the controller-bound
+ * catalog digest.
+ */
+import { z } from 'zod';
+/** Domain hashed into the catalog digest. */
+export declare const BEHAVIOR_CATALOG_DOMAIN = "gateforge.behavior-catalog.v1";
+/** Domain hashed into an obligation's requirementsDigest. */
+export declare const BEHAVIOR_REQUIREMENTS_DOMAIN = "gateforge.requirements.v1";
+/** One compiled case with stable identity and specification digest. */
+export declare const CompiledBehaviorCaseSchema: z.ZodObject<{
+    caseId: z.ZodString;
+    specDigest: z.ZodString;
+    resourceId: z.ZodString;
+    endpointResourceId: z.ZodNullable<z.ZodString>;
+    obligationIds: z.ZodArray<z.ZodString>;
+    definition: z.ZodObject<{
+        id: z.ZodString;
+        contract: z.ZodEnum<{
+            "http:effect-verified": "http:effect-verified";
+            "http:read-result-verified": "http:read-result-verified";
+            "http:request-observed": "http:request-observed";
+            "http:response-status-ok": "http:response-status-ok";
+            "auth:role-allowed": "auth:role-allowed";
+            "auth:role-denied": "auth:role-denied";
+            "auth:tenant-isolated": "auth:tenant-isolated";
+            "auth:denied-no-side-effect": "auth:denied-no-side-effect";
+            "auth:forged-token-rejected": "auth:forged-token-rejected";
+            "validation:boundary-accepted": "validation:boundary-accepted";
+            "validation:boundary-rejected": "validation:boundary-rejected";
+            "validation:no-side-effect-on-reject": "validation:no-side-effect-on-reject";
+            "validation:error-message-explicit": "validation:error-message-explicit";
+            "validation:envelope-shape-stable": "validation:envelope-shape-stable";
+            "workflow:transition-allowed": "workflow:transition-allowed";
+            "workflow:transition-rejected": "workflow:transition-rejected";
+            "workflow:terminal-immutable": "workflow:terminal-immutable";
+            "workflow:audit-emitted": "workflow:audit-emitted";
+            "workflow:persisted-final-state": "workflow:persisted-final-state";
+            "task:retry-policy-enforced": "task:retry-policy-enforced";
+            "task:idempotent": "task:idempotent";
+            "task:terminal-handled": "task:terminal-handled";
+            "task:observability-recorded": "task:observability-recorded";
+            "task:duplicate-delivery-handled": "task:duplicate-delivery-handled";
+            "webhook:signature-accepted": "webhook:signature-accepted";
+            "webhook:signature-rejected": "webhook:signature-rejected";
+            "webhook:malformed-rejected": "webhook:malformed-rejected";
+            "webhook:replay-idempotent": "webhook:replay-idempotent";
+            "webhook:retry-bounded": "webhook:retry-bounded";
+        }>;
+        channel: z.ZodEnum<{
+            "engine-browser": "engine-browser";
+            "engine-http": "engine-http";
+            "engine-task": "engine-task";
+        }>;
+        fixture: z.ZodString;
+        actor: z.ZodString;
+        action: z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"surface">;
+            surface: z.ZodString;
+            operation: z.ZodEnum<{
+                create: "create";
+                read: "read";
+                update: "update";
+                delete: "delete";
+            }>;
+            subject: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"literal">;
+                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"fixture">;
+                key: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"literal">;
+                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"fixture">;
+                key: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            files: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"request">;
+            method: z.ZodEnum<{
+                GET: "GET";
+                HEAD: "HEAD";
+                POST: "POST";
+                PUT: "PUT";
+                PATCH: "PATCH";
+                DELETE: "DELETE";
+                OPTIONS: "OPTIONS";
+            }>;
+            pathTemplate: z.ZodString;
+            path: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"literal">;
+                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"fixture">;
+                key: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            query: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"literal">;
+                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"fixture">;
+                key: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            body: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                encoding: z.ZodLiteral<"json">;
+                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">>;
+            }, z.core.$strict>, z.ZodObject<{
+                encoding: z.ZodLiteral<"form">;
+                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">>;
+            }, z.core.$strict>, z.ZodObject<{
+                encoding: z.ZodLiteral<"multipart">;
+                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">>;
+                files: z.ZodRecord<z.ZodString, z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                encoding: z.ZodLiteral<"raw">;
+                fixture: z.ZodString;
+            }, z.core.$strict>], "encoding">;
+            credentialVariant: z.ZodEnum<{
+                missing: "missing";
+                valid: "valid";
+                corrupted: "corrupted";
+            }>;
+            signatureProfile: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"deliver">;
+            resourceId: z.ZodString;
+            payload: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"literal">;
+                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"fixture">;
+                key: z.ZodString;
+            }, z.core.$strict>], "from">;
+            idempotencyKey: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"literal">;
+                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"fixture">;
+                key: z.ZodString;
+            }, z.core.$strict>], "from">;
+            deliveryId: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"literal">;
+                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"fixture">;
+                key: z.ZodString;
+            }, z.core.$strict>], "from">;
+            count: z.ZodNumber;
+            schedule: z.ZodEnum<{
+                serial: "serial";
+                concurrent: "concurrent";
+            }>;
+        }, z.core.$strict>], "kind">, z.ZodObject<{
+            kind: z.ZodLiteral<"sequence">;
+            steps: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                action: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"surface">;
+                    surface: z.ZodString;
+                    operation: z.ZodEnum<{
+                        create: "create";
+                        read: "read";
+                        update: "update";
+                        delete: "delete";
+                    }>;
+                    subject: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                    files: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"request">;
+                    method: z.ZodEnum<{
+                        GET: "GET";
+                        HEAD: "HEAD";
+                        POST: "POST";
+                        PUT: "PUT";
+                        PATCH: "PATCH";
+                        DELETE: "DELETE";
+                        OPTIONS: "OPTIONS";
+                    }>;
+                    pathTemplate: z.ZodString;
+                    path: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                    query: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                    body: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        encoding: z.ZodLiteral<"json">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        encoding: z.ZodLiteral<"form">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        encoding: z.ZodLiteral<"multipart">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                        files: z.ZodRecord<z.ZodString, z.ZodString>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        encoding: z.ZodLiteral<"raw">;
+                        fixture: z.ZodString;
+                    }, z.core.$strict>], "encoding">;
+                    credentialVariant: z.ZodEnum<{
+                        missing: "missing";
+                        valid: "valid";
+                        corrupted: "corrupted";
+                    }>;
+                    signatureProfile: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"deliver">;
+                    resourceId: z.ZodString;
+                    payload: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    idempotencyKey: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    deliveryId: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    count: z.ZodNumber;
+                    schedule: z.ZodEnum<{
+                        serial: "serial";
+                        concurrent: "concurrent";
+                    }>;
+                }, z.core.$strict>], "kind">;
+                expect: z.ZodObject<{
+                    statuses: z.ZodArray<z.ZodNumber>;
+                    state: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"unchanged">;
+                        scope: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"updated">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"created">;
+                        scope: z.ZodString;
+                        rows: z.ZodArray<z.ZodObject<{
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"request">;
+                                attempt: z.ZodNumber;
+                                pointer: z.ZodString;
+                                transform: z.ZodEnum<{
+                                    identity: "identity";
+                                    trim: "trim";
+                                    lowercase: "lowercase";
+                                }>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"before">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"absent">;
+                        scope: z.ZodString;
+                        subjects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"archived">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"exact-set">;
+                        scope: z.ZodString;
+                        rows: z.ZodArray<z.ZodObject<{
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"request">;
+                                attempt: z.ZodNumber;
+                                pointer: z.ZodString;
+                                transform: z.ZodEnum<{
+                                    identity: "identity";
+                                    trim: "trim";
+                                    lowercase: "lowercase";
+                                }>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"before">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"append-only">;
+                        scope: z.ZodString;
+                        rows: z.ZodArray<z.ZodObject<{
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"request">;
+                                attempt: z.ZodNumber;
+                                pointer: z.ZodString;
+                                transform: z.ZodEnum<{
+                                    identity: "identity";
+                                    trim: "trim";
+                                    lowercase: "lowercase";
+                                }>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"before">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"count-delta">;
+                        scope: z.ZodString;
+                        delta: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"transition">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                        from: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        to: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"attempts">;
+                        resourceId: z.ZodString;
+                        count: z.ZodNumber;
+                        terminal: z.ZodEnum<{
+                            succeeded: "succeeded";
+                            failed: "failed";
+                            rejected: "rejected";
+                        }>;
+                    }, z.core.$strict>], "kind">>;
+                }, z.core.$strict>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>]>;
+        expect: z.ZodObject<{
+            statuses: z.ZodArray<z.ZodNumber>;
+            response: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"equals">;
+                pointer: z.ZodString;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"request">;
+                    attempt: z.ZodNumber;
+                    pointer: z.ZodString;
+                    transform: z.ZodEnum<{
+                        identity: "identity";
+                        trim: "trim";
+                        lowercase: "lowercase";
+                    }>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"before">;
+                    scope: z.ZodString;
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    field: z.ZodString;
+                }, z.core.$strict>], "from">;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"field-error">;
+                field: z.ZodString;
+                fieldPointer: z.ZodString;
+                codePointer: z.ZodString;
+                allowedCodes: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"absent">;
+                pointer: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"entity-set">;
+                pointer: z.ZodString;
+                identityFields: z.ZodArray<z.ZodString>;
+                expected: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"envelope">;
+                schema: z.ZodType<import("./behavior-policy.js").EnvelopeShape, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").EnvelopeShape, unknown>>;
+            }, z.core.$strict>], "kind">>;
+            state: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"unchanged">;
+                scope: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"updated">;
+                scope: z.ZodString;
+                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">;
+                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"request">;
+                    attempt: z.ZodNumber;
+                    pointer: z.ZodString;
+                    transform: z.ZodEnum<{
+                        identity: "identity";
+                        trim: "trim";
+                        lowercase: "lowercase";
+                    }>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"before">;
+                    scope: z.ZodString;
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    field: z.ZodString;
+                }, z.core.$strict>], "from">>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"created">;
+                scope: z.ZodString;
+                rows: z.ZodArray<z.ZodObject<{
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"request">;
+                        attempt: z.ZodNumber;
+                        pointer: z.ZodString;
+                        transform: z.ZodEnum<{
+                            identity: "identity";
+                            trim: "trim";
+                            lowercase: "lowercase";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"before">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"absent">;
+                scope: z.ZodString;
+                subjects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"archived">;
+                scope: z.ZodString;
+                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">;
+                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"request">;
+                    attempt: z.ZodNumber;
+                    pointer: z.ZodString;
+                    transform: z.ZodEnum<{
+                        identity: "identity";
+                        trim: "trim";
+                        lowercase: "lowercase";
+                    }>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"before">;
+                    scope: z.ZodString;
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    field: z.ZodString;
+                }, z.core.$strict>], "from">>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"exact-set">;
+                scope: z.ZodString;
+                rows: z.ZodArray<z.ZodObject<{
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"request">;
+                        attempt: z.ZodNumber;
+                        pointer: z.ZodString;
+                        transform: z.ZodEnum<{
+                            identity: "identity";
+                            trim: "trim";
+                            lowercase: "lowercase";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"before">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"append-only">;
+                scope: z.ZodString;
+                rows: z.ZodArray<z.ZodObject<{
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"request">;
+                        attempt: z.ZodNumber;
+                        pointer: z.ZodString;
+                        transform: z.ZodEnum<{
+                            identity: "identity";
+                            trim: "trim";
+                            lowercase: "lowercase";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"before">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"count-delta">;
+                scope: z.ZodString;
+                delta: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"transition">;
+                scope: z.ZodString;
+                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">;
+                field: z.ZodString;
+                from: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"request">;
+                    attempt: z.ZodNumber;
+                    pointer: z.ZodString;
+                    transform: z.ZodEnum<{
+                        identity: "identity";
+                        trim: "trim";
+                        lowercase: "lowercase";
+                    }>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"before">;
+                    scope: z.ZodString;
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    field: z.ZodString;
+                }, z.core.$strict>], "from">;
+                to: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"request">;
+                    attempt: z.ZodNumber;
+                    pointer: z.ZodString;
+                    transform: z.ZodEnum<{
+                        identity: "identity";
+                        trim: "trim";
+                        lowercase: "lowercase";
+                    }>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"before">;
+                    scope: z.ZodString;
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    field: z.ZodString;
+                }, z.core.$strict>], "from">;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"attempts">;
+                resourceId: z.ZodString;
+                count: z.ZodNumber;
+                terminal: z.ZodEnum<{
+                    succeeded: "succeeded";
+                    failed: "failed";
+                    rejected: "rejected";
+                }>;
+            }, z.core.$strict>], "kind">>;
+            visible: z.ZodOptional<z.ZodObject<{
+                surface: z.ZodString;
+                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">;
+                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"request">;
+                    attempt: z.ZodNumber;
+                    pointer: z.ZodString;
+                    transform: z.ZodEnum<{
+                        identity: "identity";
+                        trim: "trim";
+                        lowercase: "lowercase";
+                    }>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"before">;
+                    scope: z.ZodString;
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    field: z.ZodString;
+                }, z.core.$strict>], "from">>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+        controlCase: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    effects: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        resourceId: z.ZodString;
+        adapter: z.ZodString;
+        scope: z.ZodString;
+        identityFields: z.ZodArray<z.ZodString>;
+        fields: z.ZodArray<z.ZodString>;
+        completion: z.ZodEnum<{
+            immediate: "immediate";
+            barrier: "barrier";
+        }>;
+    }, z.core.$strict>>;
+    sourceFiles: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+/** Inferred compiled-case shape. */
+export type CompiledBehaviorCase = z.infer<typeof CompiledBehaviorCaseSchema>;
+/**
+ * Compiled catalog: sorted cases, obligation→case requirements, and the
+ * subject→effect dependency index used by changed-file selection.
+ */
+export declare const BehaviorCatalogSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    catalogDigest: z.ZodString;
+    cases: z.ZodArray<z.ZodObject<{
+        caseId: z.ZodString;
+        specDigest: z.ZodString;
+        resourceId: z.ZodString;
+        endpointResourceId: z.ZodNullable<z.ZodString>;
+        obligationIds: z.ZodArray<z.ZodString>;
+        definition: z.ZodObject<{
+            id: z.ZodString;
+            contract: z.ZodEnum<{
+                "http:effect-verified": "http:effect-verified";
+                "http:read-result-verified": "http:read-result-verified";
+                "http:request-observed": "http:request-observed";
+                "http:response-status-ok": "http:response-status-ok";
+                "auth:role-allowed": "auth:role-allowed";
+                "auth:role-denied": "auth:role-denied";
+                "auth:tenant-isolated": "auth:tenant-isolated";
+                "auth:denied-no-side-effect": "auth:denied-no-side-effect";
+                "auth:forged-token-rejected": "auth:forged-token-rejected";
+                "validation:boundary-accepted": "validation:boundary-accepted";
+                "validation:boundary-rejected": "validation:boundary-rejected";
+                "validation:no-side-effect-on-reject": "validation:no-side-effect-on-reject";
+                "validation:error-message-explicit": "validation:error-message-explicit";
+                "validation:envelope-shape-stable": "validation:envelope-shape-stable";
+                "workflow:transition-allowed": "workflow:transition-allowed";
+                "workflow:transition-rejected": "workflow:transition-rejected";
+                "workflow:terminal-immutable": "workflow:terminal-immutable";
+                "workflow:audit-emitted": "workflow:audit-emitted";
+                "workflow:persisted-final-state": "workflow:persisted-final-state";
+                "task:retry-policy-enforced": "task:retry-policy-enforced";
+                "task:idempotent": "task:idempotent";
+                "task:terminal-handled": "task:terminal-handled";
+                "task:observability-recorded": "task:observability-recorded";
+                "task:duplicate-delivery-handled": "task:duplicate-delivery-handled";
+                "webhook:signature-accepted": "webhook:signature-accepted";
+                "webhook:signature-rejected": "webhook:signature-rejected";
+                "webhook:malformed-rejected": "webhook:malformed-rejected";
+                "webhook:replay-idempotent": "webhook:replay-idempotent";
+                "webhook:retry-bounded": "webhook:retry-bounded";
+            }>;
+            channel: z.ZodEnum<{
+                "engine-browser": "engine-browser";
+                "engine-http": "engine-http";
+                "engine-task": "engine-task";
+            }>;
+            fixture: z.ZodString;
+            actor: z.ZodString;
+            action: z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"surface">;
+                surface: z.ZodString;
+                operation: z.ZodEnum<{
+                    create: "create";
+                    read: "read";
+                    update: "update";
+                    delete: "delete";
+                }>;
+                subject: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">>;
+                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">>;
+                files: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"request">;
+                method: z.ZodEnum<{
+                    GET: "GET";
+                    HEAD: "HEAD";
+                    POST: "POST";
+                    PUT: "PUT";
+                    PATCH: "PATCH";
+                    DELETE: "DELETE";
+                    OPTIONS: "OPTIONS";
+                }>;
+                pathTemplate: z.ZodString;
+                path: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">>;
+                query: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">>;
+                body: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    encoding: z.ZodLiteral<"json">;
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    encoding: z.ZodLiteral<"form">;
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    encoding: z.ZodLiteral<"multipart">;
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                    files: z.ZodRecord<z.ZodString, z.ZodString>;
+                }, z.core.$strict>, z.ZodObject<{
+                    encoding: z.ZodLiteral<"raw">;
+                    fixture: z.ZodString;
+                }, z.core.$strict>], "encoding">;
+                credentialVariant: z.ZodEnum<{
+                    missing: "missing";
+                    valid: "valid";
+                    corrupted: "corrupted";
+                }>;
+                signatureProfile: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"deliver">;
+                resourceId: z.ZodString;
+                payload: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">;
+                idempotencyKey: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">;
+                deliveryId: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    from: z.ZodLiteral<"literal">;
+                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"fixture">;
+                    key: z.ZodString;
+                }, z.core.$strict>], "from">;
+                count: z.ZodNumber;
+                schedule: z.ZodEnum<{
+                    serial: "serial";
+                    concurrent: "concurrent";
+                }>;
+            }, z.core.$strict>], "kind">, z.ZodObject<{
+                kind: z.ZodLiteral<"sequence">;
+                steps: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    action: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"surface">;
+                        surface: z.ZodString;
+                        operation: z.ZodEnum<{
+                            create: "create";
+                            read: "read";
+                            update: "update";
+                            delete: "delete";
+                        }>;
+                        subject: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                        files: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"request">;
+                        method: z.ZodEnum<{
+                            GET: "GET";
+                            HEAD: "HEAD";
+                            POST: "POST";
+                            PUT: "PUT";
+                            PATCH: "PATCH";
+                            DELETE: "DELETE";
+                            OPTIONS: "OPTIONS";
+                        }>;
+                        pathTemplate: z.ZodString;
+                        path: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                        query: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                        body: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            encoding: z.ZodLiteral<"json">;
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            encoding: z.ZodLiteral<"form">;
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            encoding: z.ZodLiteral<"multipart">;
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                            files: z.ZodRecord<z.ZodString, z.ZodString>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            encoding: z.ZodLiteral<"raw">;
+                            fixture: z.ZodString;
+                        }, z.core.$strict>], "encoding">;
+                        credentialVariant: z.ZodEnum<{
+                            missing: "missing";
+                            valid: "valid";
+                            corrupted: "corrupted";
+                        }>;
+                        signatureProfile: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"deliver">;
+                        resourceId: z.ZodString;
+                        payload: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        idempotencyKey: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        deliveryId: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        count: z.ZodNumber;
+                        schedule: z.ZodEnum<{
+                            serial: "serial";
+                            concurrent: "concurrent";
+                        }>;
+                    }, z.core.$strict>], "kind">;
+                    expect: z.ZodObject<{
+                        statuses: z.ZodArray<z.ZodNumber>;
+                        state: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"unchanged">;
+                            scope: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"updated">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"request">;
+                                attempt: z.ZodNumber;
+                                pointer: z.ZodString;
+                                transform: z.ZodEnum<{
+                                    identity: "identity";
+                                    trim: "trim";
+                                    lowercase: "lowercase";
+                                }>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"before">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"created">;
+                            scope: z.ZodString;
+                            rows: z.ZodArray<z.ZodObject<{
+                                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"request">;
+                                    attempt: z.ZodNumber;
+                                    pointer: z.ZodString;
+                                    transform: z.ZodEnum<{
+                                        identity: "identity";
+                                        trim: "trim";
+                                        lowercase: "lowercase";
+                                    }>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"before">;
+                                    scope: z.ZodString;
+                                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>], "from">;
+                                    field: z.ZodString;
+                                }, z.core.$strict>], "from">>;
+                            }, z.core.$strict>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"absent">;
+                            scope: z.ZodString;
+                            subjects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"archived">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"request">;
+                                attempt: z.ZodNumber;
+                                pointer: z.ZodString;
+                                transform: z.ZodEnum<{
+                                    identity: "identity";
+                                    trim: "trim";
+                                    lowercase: "lowercase";
+                                }>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"before">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"exact-set">;
+                            scope: z.ZodString;
+                            rows: z.ZodArray<z.ZodObject<{
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"request">;
+                                    attempt: z.ZodNumber;
+                                    pointer: z.ZodString;
+                                    transform: z.ZodEnum<{
+                                        identity: "identity";
+                                        trim: "trim";
+                                        lowercase: "lowercase";
+                                    }>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"before">;
+                                    scope: z.ZodString;
+                                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>], "from">;
+                                    field: z.ZodString;
+                                }, z.core.$strict>], "from">>;
+                            }, z.core.$strict>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"append-only">;
+                            scope: z.ZodString;
+                            rows: z.ZodArray<z.ZodObject<{
+                                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"request">;
+                                    attempt: z.ZodNumber;
+                                    pointer: z.ZodString;
+                                    transform: z.ZodEnum<{
+                                        identity: "identity";
+                                        trim: "trim";
+                                        lowercase: "lowercase";
+                                    }>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"before">;
+                                    scope: z.ZodString;
+                                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>], "from">;
+                                    field: z.ZodString;
+                                }, z.core.$strict>], "from">>;
+                            }, z.core.$strict>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"count-delta">;
+                            scope: z.ZodString;
+                            delta: z.ZodNumber;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"transition">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                            from: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"request">;
+                                attempt: z.ZodNumber;
+                                pointer: z.ZodString;
+                                transform: z.ZodEnum<{
+                                    identity: "identity";
+                                    trim: "trim";
+                                    lowercase: "lowercase";
+                                }>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"before">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            to: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"request">;
+                                attempt: z.ZodNumber;
+                                pointer: z.ZodString;
+                                transform: z.ZodEnum<{
+                                    identity: "identity";
+                                    trim: "trim";
+                                    lowercase: "lowercase";
+                                }>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"before">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"attempts">;
+                            resourceId: z.ZodString;
+                            count: z.ZodNumber;
+                            terminal: z.ZodEnum<{
+                                succeeded: "succeeded";
+                                failed: "failed";
+                                rejected: "rejected";
+                            }>;
+                        }, z.core.$strict>], "kind">>;
+                    }, z.core.$strict>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>]>;
+            expect: z.ZodObject<{
+                statuses: z.ZodArray<z.ZodNumber>;
+                response: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"equals">;
+                    pointer: z.ZodString;
+                    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"request">;
+                        attempt: z.ZodNumber;
+                        pointer: z.ZodString;
+                        transform: z.ZodEnum<{
+                            identity: "identity";
+                            trim: "trim";
+                            lowercase: "lowercase";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"before">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"field-error">;
+                    field: z.ZodString;
+                    fieldPointer: z.ZodString;
+                    codePointer: z.ZodString;
+                    allowedCodes: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"absent">;
+                    pointer: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"entity-set">;
+                    pointer: z.ZodString;
+                    identityFields: z.ZodArray<z.ZodString>;
+                    expected: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"envelope">;
+                    schema: z.ZodType<import("./behavior-policy.js").EnvelopeShape, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").EnvelopeShape, unknown>>;
+                }, z.core.$strict>], "kind">>;
+                state: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"unchanged">;
+                    scope: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"updated">;
+                    scope: z.ZodString;
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"request">;
+                        attempt: z.ZodNumber;
+                        pointer: z.ZodString;
+                        transform: z.ZodEnum<{
+                            identity: "identity";
+                            trim: "trim";
+                            lowercase: "lowercase";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"before">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"created">;
+                    scope: z.ZodString;
+                    rows: z.ZodArray<z.ZodObject<{
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"absent">;
+                    scope: z.ZodString;
+                    subjects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"archived">;
+                    scope: z.ZodString;
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"request">;
+                        attempt: z.ZodNumber;
+                        pointer: z.ZodString;
+                        transform: z.ZodEnum<{
+                            identity: "identity";
+                            trim: "trim";
+                            lowercase: "lowercase";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"before">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"exact-set">;
+                    scope: z.ZodString;
+                    rows: z.ZodArray<z.ZodObject<{
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"append-only">;
+                    scope: z.ZodString;
+                    rows: z.ZodArray<z.ZodObject<{
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"count-delta">;
+                    scope: z.ZodString;
+                    delta: z.ZodNumber;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"transition">;
+                    scope: z.ZodString;
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    field: z.ZodString;
+                    from: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"request">;
+                        attempt: z.ZodNumber;
+                        pointer: z.ZodString;
+                        transform: z.ZodEnum<{
+                            identity: "identity";
+                            trim: "trim";
+                            lowercase: "lowercase";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"before">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    to: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"request">;
+                        attempt: z.ZodNumber;
+                        pointer: z.ZodString;
+                        transform: z.ZodEnum<{
+                            identity: "identity";
+                            trim: "trim";
+                            lowercase: "lowercase";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"before">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"attempts">;
+                    resourceId: z.ZodString;
+                    count: z.ZodNumber;
+                    terminal: z.ZodEnum<{
+                        succeeded: "succeeded";
+                        failed: "failed";
+                        rejected: "rejected";
+                    }>;
+                }, z.core.$strict>], "kind">>;
+                visible: z.ZodOptional<z.ZodObject<{
+                    surface: z.ZodString;
+                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"request">;
+                        attempt: z.ZodNumber;
+                        pointer: z.ZodString;
+                        transform: z.ZodEnum<{
+                            identity: "identity";
+                            trim: "trim";
+                            lowercase: "lowercase";
+                        }>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"before">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>;
+            controlCase: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        effects: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            resourceId: z.ZodString;
+            adapter: z.ZodString;
+            scope: z.ZodString;
+            identityFields: z.ZodArray<z.ZodString>;
+            fields: z.ZodArray<z.ZodString>;
+            completion: z.ZodEnum<{
+                immediate: "immediate";
+                barrier: "barrier";
+            }>;
+        }, z.core.$strict>>;
+        sourceFiles: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    requirements: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
+    dependencies: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+/** Inferred behavior-catalog shape. */
+export type BehaviorCatalog = z.infer<typeof BehaviorCatalogSchema>;
+/** One route row of the complete inventory for principal attribution. */
+export declare const BehaviorRouteRowSchema: z.ZodObject<{
+    resourceId: z.ZodString;
+    method: z.ZodString;
+    canonicalPath: z.ZodString;
+}, z.core.$strict>;
+/** Supervisor registration body for POST /runs/behavior-catalog. */
+export declare const BehaviorCatalogRegistrationSchema: z.ZodObject<{
+    catalog: z.ZodObject<{
+        schemaVersion: z.ZodLiteral<1>;
+        catalogDigest: z.ZodString;
+        cases: z.ZodArray<z.ZodObject<{
+            caseId: z.ZodString;
+            specDigest: z.ZodString;
+            resourceId: z.ZodString;
+            endpointResourceId: z.ZodNullable<z.ZodString>;
+            obligationIds: z.ZodArray<z.ZodString>;
+            definition: z.ZodObject<{
+                id: z.ZodString;
+                contract: z.ZodEnum<{
+                    "http:effect-verified": "http:effect-verified";
+                    "http:read-result-verified": "http:read-result-verified";
+                    "http:request-observed": "http:request-observed";
+                    "http:response-status-ok": "http:response-status-ok";
+                    "auth:role-allowed": "auth:role-allowed";
+                    "auth:role-denied": "auth:role-denied";
+                    "auth:tenant-isolated": "auth:tenant-isolated";
+                    "auth:denied-no-side-effect": "auth:denied-no-side-effect";
+                    "auth:forged-token-rejected": "auth:forged-token-rejected";
+                    "validation:boundary-accepted": "validation:boundary-accepted";
+                    "validation:boundary-rejected": "validation:boundary-rejected";
+                    "validation:no-side-effect-on-reject": "validation:no-side-effect-on-reject";
+                    "validation:error-message-explicit": "validation:error-message-explicit";
+                    "validation:envelope-shape-stable": "validation:envelope-shape-stable";
+                    "workflow:transition-allowed": "workflow:transition-allowed";
+                    "workflow:transition-rejected": "workflow:transition-rejected";
+                    "workflow:terminal-immutable": "workflow:terminal-immutable";
+                    "workflow:audit-emitted": "workflow:audit-emitted";
+                    "workflow:persisted-final-state": "workflow:persisted-final-state";
+                    "task:retry-policy-enforced": "task:retry-policy-enforced";
+                    "task:idempotent": "task:idempotent";
+                    "task:terminal-handled": "task:terminal-handled";
+                    "task:observability-recorded": "task:observability-recorded";
+                    "task:duplicate-delivery-handled": "task:duplicate-delivery-handled";
+                    "webhook:signature-accepted": "webhook:signature-accepted";
+                    "webhook:signature-rejected": "webhook:signature-rejected";
+                    "webhook:malformed-rejected": "webhook:malformed-rejected";
+                    "webhook:replay-idempotent": "webhook:replay-idempotent";
+                    "webhook:retry-bounded": "webhook:retry-bounded";
+                }>;
+                channel: z.ZodEnum<{
+                    "engine-browser": "engine-browser";
+                    "engine-http": "engine-http";
+                    "engine-task": "engine-task";
+                }>;
+                fixture: z.ZodString;
+                actor: z.ZodString;
+                action: z.ZodUnion<readonly [z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"surface">;
+                    surface: z.ZodString;
+                    operation: z.ZodEnum<{
+                        create: "create";
+                        read: "read";
+                        update: "update";
+                        delete: "delete";
+                    }>;
+                    subject: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                    files: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"request">;
+                    method: z.ZodEnum<{
+                        GET: "GET";
+                        HEAD: "HEAD";
+                        POST: "POST";
+                        PUT: "PUT";
+                        PATCH: "PATCH";
+                        DELETE: "DELETE";
+                        OPTIONS: "OPTIONS";
+                    }>;
+                    pathTemplate: z.ZodString;
+                    path: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                    query: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">>;
+                    body: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        encoding: z.ZodLiteral<"json">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        encoding: z.ZodLiteral<"form">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        encoding: z.ZodLiteral<"multipart">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                        files: z.ZodRecord<z.ZodString, z.ZodString>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        encoding: z.ZodLiteral<"raw">;
+                        fixture: z.ZodString;
+                    }, z.core.$strict>], "encoding">;
+                    credentialVariant: z.ZodEnum<{
+                        missing: "missing";
+                        valid: "valid";
+                        corrupted: "corrupted";
+                    }>;
+                    signatureProfile: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"deliver">;
+                    resourceId: z.ZodString;
+                    payload: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    idempotencyKey: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    deliveryId: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        from: z.ZodLiteral<"literal">;
+                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        from: z.ZodLiteral<"fixture">;
+                        key: z.ZodString;
+                    }, z.core.$strict>], "from">;
+                    count: z.ZodNumber;
+                    schedule: z.ZodEnum<{
+                        serial: "serial";
+                        concurrent: "concurrent";
+                    }>;
+                }, z.core.$strict>], "kind">, z.ZodObject<{
+                    kind: z.ZodLiteral<"sequence">;
+                    steps: z.ZodArray<z.ZodObject<{
+                        id: z.ZodString;
+                        action: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"surface">;
+                            surface: z.ZodString;
+                            operation: z.ZodEnum<{
+                                create: "create";
+                                read: "read";
+                                update: "update";
+                                delete: "delete";
+                            }>;
+                            subject: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                            files: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"request">;
+                            method: z.ZodEnum<{
+                                GET: "GET";
+                                HEAD: "HEAD";
+                                POST: "POST";
+                                PUT: "PUT";
+                                PATCH: "PATCH";
+                                DELETE: "DELETE";
+                                OPTIONS: "OPTIONS";
+                            }>;
+                            pathTemplate: z.ZodString;
+                            path: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                            query: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                            body: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                encoding: z.ZodLiteral<"json">;
+                                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                encoding: z.ZodLiteral<"form">;
+                                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                encoding: z.ZodLiteral<"multipart">;
+                                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">>;
+                                files: z.ZodRecord<z.ZodString, z.ZodString>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                encoding: z.ZodLiteral<"raw">;
+                                fixture: z.ZodString;
+                            }, z.core.$strict>], "encoding">;
+                            credentialVariant: z.ZodEnum<{
+                                missing: "missing";
+                                valid: "valid";
+                                corrupted: "corrupted";
+                            }>;
+                            signatureProfile: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"deliver">;
+                            resourceId: z.ZodString;
+                            payload: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            idempotencyKey: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            deliveryId: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            count: z.ZodNumber;
+                            schedule: z.ZodEnum<{
+                                serial: "serial";
+                                concurrent: "concurrent";
+                            }>;
+                        }, z.core.$strict>], "kind">;
+                        expect: z.ZodObject<{
+                            statuses: z.ZodArray<z.ZodNumber>;
+                            state: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                kind: z.ZodLiteral<"unchanged">;
+                                scope: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                kind: z.ZodLiteral<"updated">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"request">;
+                                    attempt: z.ZodNumber;
+                                    pointer: z.ZodString;
+                                    transform: z.ZodEnum<{
+                                        identity: "identity";
+                                        trim: "trim";
+                                        lowercase: "lowercase";
+                                    }>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"before">;
+                                    scope: z.ZodString;
+                                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>], "from">;
+                                    field: z.ZodString;
+                                }, z.core.$strict>], "from">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                kind: z.ZodLiteral<"created">;
+                                scope: z.ZodString;
+                                rows: z.ZodArray<z.ZodObject<{
+                                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"request">;
+                                        attempt: z.ZodNumber;
+                                        pointer: z.ZodString;
+                                        transform: z.ZodEnum<{
+                                            identity: "identity";
+                                            trim: "trim";
+                                            lowercase: "lowercase";
+                                        }>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"before">;
+                                        scope: z.ZodString;
+                                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                            from: z.ZodLiteral<"literal">;
+                                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                        }, z.core.$strict>, z.ZodObject<{
+                                            from: z.ZodLiteral<"fixture">;
+                                            key: z.ZodString;
+                                        }, z.core.$strict>], "from">;
+                                        field: z.ZodString;
+                                    }, z.core.$strict>], "from">>;
+                                }, z.core.$strict>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                kind: z.ZodLiteral<"absent">;
+                                scope: z.ZodString;
+                                subjects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                kind: z.ZodLiteral<"archived">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"request">;
+                                    attempt: z.ZodNumber;
+                                    pointer: z.ZodString;
+                                    transform: z.ZodEnum<{
+                                        identity: "identity";
+                                        trim: "trim";
+                                        lowercase: "lowercase";
+                                    }>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"before">;
+                                    scope: z.ZodString;
+                                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>], "from">;
+                                    field: z.ZodString;
+                                }, z.core.$strict>], "from">>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                kind: z.ZodLiteral<"exact-set">;
+                                scope: z.ZodString;
+                                rows: z.ZodArray<z.ZodObject<{
+                                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>], "from">;
+                                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"request">;
+                                        attempt: z.ZodNumber;
+                                        pointer: z.ZodString;
+                                        transform: z.ZodEnum<{
+                                            identity: "identity";
+                                            trim: "trim";
+                                            lowercase: "lowercase";
+                                        }>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"before">;
+                                        scope: z.ZodString;
+                                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                            from: z.ZodLiteral<"literal">;
+                                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                        }, z.core.$strict>, z.ZodObject<{
+                                            from: z.ZodLiteral<"fixture">;
+                                            key: z.ZodString;
+                                        }, z.core.$strict>], "from">;
+                                        field: z.ZodString;
+                                    }, z.core.$strict>], "from">>;
+                                }, z.core.$strict>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                kind: z.ZodLiteral<"append-only">;
+                                scope: z.ZodString;
+                                rows: z.ZodArray<z.ZodObject<{
+                                    fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"request">;
+                                        attempt: z.ZodNumber;
+                                        pointer: z.ZodString;
+                                        transform: z.ZodEnum<{
+                                            identity: "identity";
+                                            trim: "trim";
+                                            lowercase: "lowercase";
+                                        }>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"before">;
+                                        scope: z.ZodString;
+                                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                            from: z.ZodLiteral<"literal">;
+                                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                        }, z.core.$strict>, z.ZodObject<{
+                                            from: z.ZodLiteral<"fixture">;
+                                            key: z.ZodString;
+                                        }, z.core.$strict>], "from">;
+                                        field: z.ZodString;
+                                    }, z.core.$strict>], "from">>;
+                                }, z.core.$strict>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                kind: z.ZodLiteral<"count-delta">;
+                                scope: z.ZodString;
+                                delta: z.ZodNumber;
+                            }, z.core.$strict>, z.ZodObject<{
+                                kind: z.ZodLiteral<"transition">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                                from: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"request">;
+                                    attempt: z.ZodNumber;
+                                    pointer: z.ZodString;
+                                    transform: z.ZodEnum<{
+                                        identity: "identity";
+                                        trim: "trim";
+                                        lowercase: "lowercase";
+                                    }>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"before">;
+                                    scope: z.ZodString;
+                                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>], "from">;
+                                    field: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                to: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"request">;
+                                    attempt: z.ZodNumber;
+                                    pointer: z.ZodString;
+                                    transform: z.ZodEnum<{
+                                        identity: "identity";
+                                        trim: "trim";
+                                        lowercase: "lowercase";
+                                    }>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"before">;
+                                    scope: z.ZodString;
+                                    subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                        from: z.ZodLiteral<"literal">;
+                                        value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                    }, z.core.$strict>, z.ZodObject<{
+                                        from: z.ZodLiteral<"fixture">;
+                                        key: z.ZodString;
+                                    }, z.core.$strict>], "from">;
+                                    field: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                            }, z.core.$strict>, z.ZodObject<{
+                                kind: z.ZodLiteral<"attempts">;
+                                resourceId: z.ZodString;
+                                count: z.ZodNumber;
+                                terminal: z.ZodEnum<{
+                                    succeeded: "succeeded";
+                                    failed: "failed";
+                                    rejected: "rejected";
+                                }>;
+                            }, z.core.$strict>], "kind">>;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>]>;
+                expect: z.ZodObject<{
+                    statuses: z.ZodArray<z.ZodNumber>;
+                    response: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"equals">;
+                        pointer: z.ZodString;
+                        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"field-error">;
+                        field: z.ZodString;
+                        fieldPointer: z.ZodString;
+                        codePointer: z.ZodString;
+                        allowedCodes: z.ZodArray<z.ZodString>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"absent">;
+                        pointer: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"entity-set">;
+                        pointer: z.ZodString;
+                        identityFields: z.ZodArray<z.ZodString>;
+                        expected: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"envelope">;
+                        schema: z.ZodType<import("./behavior-policy.js").EnvelopeShape, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").EnvelopeShape, unknown>>;
+                    }, z.core.$strict>], "kind">>;
+                    state: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"unchanged">;
+                        scope: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"updated">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"created">;
+                        scope: z.ZodString;
+                        rows: z.ZodArray<z.ZodObject<{
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"request">;
+                                attempt: z.ZodNumber;
+                                pointer: z.ZodString;
+                                transform: z.ZodEnum<{
+                                    identity: "identity";
+                                    trim: "trim";
+                                    lowercase: "lowercase";
+                                }>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"before">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"absent">;
+                        scope: z.ZodString;
+                        subjects: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"archived">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"exact-set">;
+                        scope: z.ZodString;
+                        rows: z.ZodArray<z.ZodObject<{
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"request">;
+                                attempt: z.ZodNumber;
+                                pointer: z.ZodString;
+                                transform: z.ZodEnum<{
+                                    identity: "identity";
+                                    trim: "trim";
+                                    lowercase: "lowercase";
+                                }>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"before">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"append-only">;
+                        scope: z.ZodString;
+                        rows: z.ZodArray<z.ZodObject<{
+                            fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"request">;
+                                attempt: z.ZodNumber;
+                                pointer: z.ZodString;
+                                transform: z.ZodEnum<{
+                                    identity: "identity";
+                                    trim: "trim";
+                                    lowercase: "lowercase";
+                                }>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"before">;
+                                scope: z.ZodString;
+                                subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                    from: z.ZodLiteral<"literal">;
+                                    value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                                }, z.core.$strict>, z.ZodObject<{
+                                    from: z.ZodLiteral<"fixture">;
+                                    key: z.ZodString;
+                                }, z.core.$strict>], "from">;
+                                field: z.ZodString;
+                            }, z.core.$strict>], "from">>;
+                        }, z.core.$strict>>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"count-delta">;
+                        scope: z.ZodString;
+                        delta: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"transition">;
+                        scope: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        field: z.ZodString;
+                        from: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        to: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"attempts">;
+                        resourceId: z.ZodString;
+                        count: z.ZodNumber;
+                        terminal: z.ZodEnum<{
+                            succeeded: "succeeded";
+                            failed: "failed";
+                            rejected: "rejected";
+                        }>;
+                    }, z.core.$strict>], "kind">>;
+                    visible: z.ZodOptional<z.ZodObject<{
+                        surface: z.ZodString;
+                        subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>], "from">;
+                        fields: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            from: z.ZodLiteral<"literal">;
+                            value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"fixture">;
+                            key: z.ZodString;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"request">;
+                            attempt: z.ZodNumber;
+                            pointer: z.ZodString;
+                            transform: z.ZodEnum<{
+                                identity: "identity";
+                                trim: "trim";
+                                lowercase: "lowercase";
+                            }>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            from: z.ZodLiteral<"before">;
+                            scope: z.ZodString;
+                            subject: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                                from: z.ZodLiteral<"literal">;
+                                value: z.ZodType<import("./behavior-policy.js").Json, unknown, z.core.$ZodTypeInternals<import("./behavior-policy.js").Json, unknown>>;
+                            }, z.core.$strict>, z.ZodObject<{
+                                from: z.ZodLiteral<"fixture">;
+                                key: z.ZodString;
+                            }, z.core.$strict>], "from">;
+                            field: z.ZodString;
+                        }, z.core.$strict>], "from">>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>;
+                controlCase: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>;
+            effects: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                resourceId: z.ZodString;
+                adapter: z.ZodString;
+                scope: z.ZodString;
+                identityFields: z.ZodArray<z.ZodString>;
+                fields: z.ZodArray<z.ZodString>;
+                completion: z.ZodEnum<{
+                    immediate: "immediate";
+                    barrier: "barrier";
+                }>;
+            }, z.core.$strict>>;
+            sourceFiles: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        requirements: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
+        dependencies: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>;
+    assignments: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString>>;
+    routes: z.ZodArray<z.ZodObject<{
+        resourceId: z.ZodString;
+        method: z.ZodString;
+        canonicalPath: z.ZodString;
+    }, z.core.$strict>>;
+    authorityProfileDigest: z.ZodString;
+}, z.core.$strict>;
+/** Inferred catalog-registration body. */
+export type BehaviorCatalogRegistration = z.infer<typeof BehaviorCatalogRegistrationSchema>;
+//# sourceMappingURL=behavior-catalog.d.ts.map