import { z } from "zod"; export declare const PolicyDecisionValueSchema: z.ZodEnum<{ review_required: "review_required"; proof_gap: "proof_gap"; refuse: "refuse"; quarantine: "quarantine"; greenlight: "greenlight"; halt: "halt"; }>; export type PolicyDecisionValue = z.infer; export declare const PolicyDecisionSchema: z.ZodObject<{ schemaVersion: z.ZodLiteral<"0.2.4">; tenantId: z.ZodString; organizationId: z.ZodString; createdAt: z.ZodString; policyDecisionId: z.ZodString; actionContractId: z.ZodString; envelopeId: z.ZodString; policyPackRef: z.ZodString; policyPackVersion: z.ZodString; policyEvaluatorVersion: z.ZodString; policyInputDigest: z.ZodString; decision: z.ZodEnum<{ review_required: "review_required"; proof_gap: "proof_gap"; refuse: "refuse"; quarantine: "quarantine"; greenlight: "greenlight"; halt: "halt"; }>; decisionReasonCode: z.ZodString; decisionReason: z.ZodString; matchedRuleIds: z.ZodDefault>; requiredReceipt: z.ZodEnum<{ none: "none"; gate: "gate"; mutation: "mutation"; downstream_finality: "downstream_finality"; }>; isolationSnapshotRef: z.ZodString; expiresAt: z.ZodString; decisionSignature: z.ZodNullable>; signaturePosture: z.ZodEnum<{ unsigned: "unsigned"; local_hmac: "local_hmac"; external_signature: "external_signature"; unverified: "unverified"; }>; keyIdentityRef: z.ZodNullable; verificationPolicyRef: z.ZodNullable; }, z.core.$strict>; export type PolicyDecision = z.infer; export declare const GreenlightSchema: z.ZodObject<{ schemaVersion: z.ZodLiteral<"0.2.4">; tenantId: z.ZodString; organizationId: z.ZodString; createdAt: z.ZodString; greenlightId: z.ZodString; actionContractId: z.ZodString; policyDecisionId: z.ZodString; gatewayRegistryEntryId: z.ZodString; gatewayRegistryDigest: z.ZodDefault>; gatewayRegistryVersion: z.ZodString; gatewayId: z.ZodString; gatewayPolicyVersion: z.ZodString; policyVersionRef: z.ZodDefault>; policyVersionDigest: z.ZodDefault>; gatewayReadinessRef: z.ZodDefault>; gatewayReadinessDigest: z.ZodDefault>; actionClass: z.ZodString; resourceRef: z.ZodString; requiredProtectedPathState: z.ZodEnum<{ not_required: "not_required"; gateway_checked: "gateway_checked"; }>; protectedPathPostureId: z.ZodNullable; protectedPathPostureDigest: z.ZodNullable; gatewayCredentialRefIds: z.ZodDefault>; gatewayCredentialRefDigests: z.ZodDefault>; delegatedAuthorityRefIds: z.ZodDefault>; delegatedAuthorityRefDigests: z.ZodDefault>; requiredTypedCommitmentRefs: z.ZodDefault>; requiredTypedCommitmentSetDigest: z.ZodDefault>; paramsDigest: z.ZodString; contractDigest: z.ZodString; idempotencyKey: z.ZodDefault>; idempotencyLedgerKeyDigest: z.ZodDefault>; maxUses: z.ZodLiteral<1>; issuedAt: z.ZodString; notBefore: z.ZodString; expiresAt: z.ZodString; isolationSnapshotRef: z.ZodString; requiredReceipt: z.ZodEnum<{ none: "none"; gate: "gate"; mutation: "mutation"; downstream_finality: "downstream_finality"; }>; decisionSignature: z.ZodNullable>; signaturePosture: z.ZodEnum<{ unsigned: "unsigned"; local_hmac: "local_hmac"; external_signature: "external_signature"; unverified: "unverified"; }>; keyIdentityRef: z.ZodNullable; verificationPolicyRef: z.ZodNullable; consumedAt: z.ZodNullable; consumedByGateAttemptId: z.ZodNullable; }, z.core.$strict>; export type Greenlight = z.infer;