@sourcey/catalog-verifier 1.1.0 → 1.1.2

package/dist/contracts/artifact/src/index.d.ts

@@ -4,29 +4,29 @@ export declare const fieldCoverageSchema: z.ZodObject<{
     supporting_event_ids: z.ZodArray<z.ZodString>;
     contradicting_event_ids: z.ZodArray<z.ZodString>;
     accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-        observed: "observed";
+        attested: "attested";
         derived: "derived";
         editorial: "editorial";
-        attested: "attested";
+        observed: "observed";
     }>>;
     evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-        observed: "observed";
+        attested: "attested";
         derived: "derived";
         editorial: "editorial";
-        attested: "attested";
+        observed: "observed";
     }>>;
     latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
     freshness: z.ZodEnum<{
-        unknown: "unknown";
         fresh: "fresh";
         stale: "stale";
+        unknown: "unknown";
     }>;
 }, z.core.$strict>;
 export declare const provenanceSchema: z.ZodObject<{
     freshness: z.ZodEnum<{
-        unknown: "unknown";
         fresh: "fresh";
         stale: "stale";
+        unknown: "unknown";
     }>;
     dispute: z.ZodEnum<{
         none: "none";
@@ -41,22 +41,22 @@ export declare const provenanceSchema: z.ZodObject<{
         supporting_event_ids: z.ZodArray<z.ZodString>;
         contradicting_event_ids: z.ZodArray<z.ZodString>;
         accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-            observed: "observed";
+            attested: "attested";
             derived: "derived";
             editorial: "editorial";
-            attested: "attested";
+            observed: "observed";
         }>>;
         evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-            observed: "observed";
+            attested: "attested";
             derived: "derived";
             editorial: "editorial";
-            attested: "attested";
+            observed: "observed";
         }>>;
         latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
         freshness: z.ZodEnum<{
-            unknown: "unknown";
             fresh: "fresh";
             stale: "stale";
+            unknown: "unknown";
         }>;
     }, z.core.$strict>>;
     vendor_attestation: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -67,6 +67,313 @@ export declare const provenanceSchema: z.ZodObject<{
         attested_at: z.ZodISODateTime;
     }, z.core.$strict>], "status">;
 }, z.core.$strict>;
+export declare const OFFER_HEADLINE_RULE: "sourcey.offer-headline/v1";
+/**
+ * The one figure an offer leads with, projected at release time from its
+ * accepted benefits and never part of the revision digest. `typed` names the
+ * benefit the author typed; `described` is the exact deterministic reading of
+ * an accepted benefit description under the named rule, so every clause binds
+ * an already accepted claim. An offer whose benefits state no figure carries
+ * no headline.
+ */
+export declare const offerHeadlineFigureSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"credit">;
+    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"exact">;
+        amount: z.ZodObject<{
+            currency: z.ZodString;
+            minor_units: z.ZodNumber;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"up-to">;
+        amount: z.ZodObject<{
+            currency: z.ZodString;
+            minor_units: z.ZodNumber;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"at-least">;
+        amount: z.ZodObject<{
+            currency: z.ZodString;
+            minor_units: z.ZodNumber;
+        }, z.core.$strict>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"range">;
+        minimum: z.ZodObject<{
+            currency: z.ZodString;
+            minor_units: z.ZodNumber;
+        }, z.core.$strict>;
+        maximum: z.ZodObject<{
+            currency: z.ZodString;
+            minor_units: z.ZodNumber;
+        }, z.core.$strict>;
+    }, z.core.$strict>], "kind">;
+    duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"exact">;
+        value: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"up-to">;
+        value: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"at-least">;
+        value: z.ZodString;
+    }, z.core.$strict>], "kind">>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"discount">;
+    percentage: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"exact">;
+        basis_points: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"up-to">;
+        basis_points: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"at-least">;
+        basis_points: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"range">;
+        minimum_basis_points: z.ZodNumber;
+        maximum_basis_points: z.ZodNumber;
+    }, z.core.$strict>], "kind">;
+    applies_to: z.ZodOptional<z.ZodString>;
+    duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"exact">;
+        value: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"up-to">;
+        value: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"at-least">;
+        value: z.ZodString;
+    }, z.core.$strict>], "kind">>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"cashback">;
+    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"money">;
+        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"exact">;
+            amount: z.ZodObject<{
+                currency: z.ZodString;
+                minor_units: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"up-to">;
+            amount: z.ZodObject<{
+                currency: z.ZodString;
+                minor_units: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"at-least">;
+            amount: z.ZodObject<{
+                currency: z.ZodString;
+                minor_units: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"range">;
+            minimum: z.ZodObject<{
+                currency: z.ZodString;
+                minor_units: z.ZodNumber;
+            }, z.core.$strict>;
+            maximum: z.ZodObject<{
+                currency: z.ZodString;
+                minor_units: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"percentage">;
+        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"exact">;
+            basis_points: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"up-to">;
+            basis_points: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"at-least">;
+            basis_points: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"range">;
+            minimum_basis_points: z.ZodNumber;
+            maximum_basis_points: z.ZodNumber;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>], "kind">;
+    duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"exact">;
+        value: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"up-to">;
+        value: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"at-least">;
+        value: z.ZodString;
+    }, z.core.$strict>], "kind">>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"free-service">;
+    service: z.ZodOptional<z.ZodString>;
+    duration: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"exact">;
+        value: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"up-to">;
+        value: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"at-least">;
+        value: z.ZodString;
+    }, z.core.$strict>], "kind">;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"waiver">;
+    waived_item: z.ZodString;
+}, z.core.$strict>], "kind">;
+export declare const offerHeadlineSchema: z.ZodObject<{
+    rule: z.ZodLiteral<"sourcey.offer-headline/v1">;
+    benefit_id: z.ZodString;
+    basis: z.ZodEnum<{
+        described: "described";
+        typed: "typed";
+    }>;
+    figure: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"credit">;
+        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"exact">;
+            amount: z.ZodObject<{
+                currency: z.ZodString;
+                minor_units: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"up-to">;
+            amount: z.ZodObject<{
+                currency: z.ZodString;
+                minor_units: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"at-least">;
+            amount: z.ZodObject<{
+                currency: z.ZodString;
+                minor_units: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"range">;
+            minimum: z.ZodObject<{
+                currency: z.ZodString;
+                minor_units: z.ZodNumber;
+            }, z.core.$strict>;
+            maximum: z.ZodObject<{
+                currency: z.ZodString;
+                minor_units: z.ZodNumber;
+            }, z.core.$strict>;
+        }, z.core.$strict>], "kind">;
+        duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"exact">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"up-to">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"at-least">;
+            value: z.ZodString;
+        }, z.core.$strict>], "kind">>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"discount">;
+        percentage: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"exact">;
+            basis_points: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"up-to">;
+            basis_points: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"at-least">;
+            basis_points: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"range">;
+            minimum_basis_points: z.ZodNumber;
+            maximum_basis_points: z.ZodNumber;
+        }, z.core.$strict>], "kind">;
+        applies_to: z.ZodOptional<z.ZodString>;
+        duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"exact">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"up-to">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"at-least">;
+            value: z.ZodString;
+        }, z.core.$strict>], "kind">>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"cashback">;
+        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"money">;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"exact">;
+                amount: z.ZodObject<{
+                    currency: z.ZodString;
+                    minor_units: z.ZodNumber;
+                }, z.core.$strict>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"up-to">;
+                amount: z.ZodObject<{
+                    currency: z.ZodString;
+                    minor_units: z.ZodNumber;
+                }, z.core.$strict>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"at-least">;
+                amount: z.ZodObject<{
+                    currency: z.ZodString;
+                    minor_units: z.ZodNumber;
+                }, z.core.$strict>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"range">;
+                minimum: z.ZodObject<{
+                    currency: z.ZodString;
+                    minor_units: z.ZodNumber;
+                }, z.core.$strict>;
+                maximum: z.ZodObject<{
+                    currency: z.ZodString;
+                    minor_units: z.ZodNumber;
+                }, z.core.$strict>;
+            }, z.core.$strict>], "kind">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"percentage">;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"exact">;
+                basis_points: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"up-to">;
+                basis_points: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"at-least">;
+                basis_points: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"range">;
+                minimum_basis_points: z.ZodNumber;
+                maximum_basis_points: z.ZodNumber;
+            }, z.core.$strict>], "kind">;
+        }, z.core.$strict>], "kind">;
+        duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"exact">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"up-to">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"at-least">;
+            value: z.ZodString;
+        }, z.core.$strict>], "kind">>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"free-service">;
+        service: z.ZodOptional<z.ZodString>;
+        duration: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"exact">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"up-to">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"at-least">;
+            value: z.ZodString;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"waiver">;
+        waived_item: z.ZodString;
+    }, z.core.$strict>], "kind">;
+}, z.core.$strict>;
 export declare const compiledOfferSchema: z.ZodObject<{
     program_id: z.ZodOptional<z.ZodString>;
     offer_id: z.ZodString;
@@ -91,6 +398,8 @@ export declare const compiledOfferSchema: z.ZodObject<{
             description: z.ZodString;
         }, z.core.$strict>], "kind">;
         benefits: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            benefit_id: z.ZodString;
+            description: z.ZodString;
             kind: z.ZodLiteral<"credit">;
             value: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"exact">;
@@ -131,9 +440,9 @@ export declare const compiledOfferSchema: z.ZodObject<{
                 kind: z.ZodLiteral<"at-least">;
                 value: z.ZodString;
             }, z.core.$strict>], "kind">>;
+        }, z.core.$strict>, z.ZodObject<{
             benefit_id: z.ZodString;
             description: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"discount">;
             percentage: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"exact">;
@@ -160,9 +469,9 @@ export declare const compiledOfferSchema: z.ZodObject<{
                 kind: z.ZodLiteral<"at-least">;
                 value: z.ZodString;
             }, z.core.$strict>], "kind">>;
+        }, z.core.$strict>, z.ZodObject<{
             benefit_id: z.ZodString;
             description: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"cashback">;
             value: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 kind: z.ZodLiteral<"money">;
@@ -222,14 +531,14 @@ export declare const compiledOfferSchema: z.ZodObject<{
                 kind: z.ZodLiteral<"at-least">;
                 value: z.ZodString;
             }, z.core.$strict>], "kind">>;
+        }, z.core.$strict>, z.ZodObject<{
             benefit_id: z.ZodString;
             description: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"waiver">;
             waived_item: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
             benefit_id: z.ZodString;
             description: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"free-service">;
             service: z.ZodString;
             duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -242,12 +551,10 @@ export declare const compiledOfferSchema: z.ZodObject<{
                 kind: z.ZodLiteral<"at-least">;
                 value: z.ZodString;
             }, z.core.$strict>], "kind">>;
-            benefit_id: z.ZodString;
-            description: z.ZodString;
         }, z.core.$strict>, z.ZodObject<{
-            kind: z.ZodLiteral<"other">;
             benefit_id: z.ZodString;
             description: z.ZodString;
+            kind: z.ZodLiteral<"other">;
         }, z.core.$strict>], "kind">>;
     }, z.core.$strict>;
     eligibility: z.ZodObject<{
@@ -259,19 +566,19 @@ export declare const compiledOfferSchema: z.ZodObject<{
     }, z.core.$strict>;
     access: z.ZodObject<{
         availability: z.ZodEnum<{
-            public: "public";
+            automatic: "automatic";
+            invite: "invite";
+            membership: "membership";
             other: "other";
+            public: "public";
             referral: "referral";
-            membership: "membership";
-            invite: "invite";
-            automatic: "automatic";
         }>;
         method: z.ZodEnum<{
-            code: "code";
-            other: "other";
             automatic: "automatic";
-            form: "form";
+            code: "code";
             contact: "contact";
+            form: "form";
+            other: "other";
         }>;
         url: z.ZodOptional<z.ZodURL>;
         public_code: z.ZodOptional<z.ZodString>;
@@ -288,9 +595,9 @@ export declare const compiledOfferSchema: z.ZodObject<{
     revision_digest: z.ZodString;
     provenance: z.ZodObject<{
         freshness: z.ZodEnum<{
-            unknown: "unknown";
             fresh: "fresh";
             stale: "stale";
+            unknown: "unknown";
         }>;
         dispute: z.ZodEnum<{
             none: "none";
@@ -305,41 +612,194 @@ export declare const compiledOfferSchema: z.ZodObject<{
             supporting_event_ids: z.ZodArray<z.ZodString>;
             contradicting_event_ids: z.ZodArray<z.ZodString>;
             accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                observed: "observed";
+                attested: "attested";
                 derived: "derived";
                 editorial: "editorial";
-                attested: "attested";
+                observed: "observed";
             }>>;
             evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                observed: "observed";
+                attested: "attested";
                 derived: "derived";
                 editorial: "editorial";
-                attested: "attested";
+                observed: "observed";
             }>>;
             latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
             freshness: z.ZodEnum<{
-                unknown: "unknown";
                 fresh: "fresh";
                 stale: "stale";
+                unknown: "unknown";
             }>;
         }, z.core.$strict>>;
         vendor_attestation: z.ZodDiscriminatedUnion<[z.ZodObject<{
             status: z.ZodLiteral<"none">;
         }, z.core.$strict>, z.ZodObject<{
-            status: z.ZodLiteral<"current">;
-            event_id: z.ZodString;
-            attested_at: z.ZodISODateTime;
-        }, z.core.$strict>], "status">;
-    }, z.core.$strict>;
-    terms_assurance: z.ZodOptional<z.ZodObject<{
-        status: z.ZodLiteral<"checked">;
-        assurance_id: z.ZodString;
-        checked_at: z.ZodISODateTime;
-        revision_digest: z.ZodString;
-        method_policy_digest: z.ZodString;
-        coverage_policy_digest: z.ZodString;
-        event_id: z.ZodString;
-        receipt_digest: z.ZodString;
+            status: z.ZodLiteral<"current">;
+            event_id: z.ZodString;
+            attested_at: z.ZodISODateTime;
+        }, z.core.$strict>], "status">;
+    }, z.core.$strict>;
+    terms_assurance: z.ZodOptional<z.ZodObject<{
+        status: z.ZodLiteral<"checked">;
+        assurance_id: z.ZodString;
+        checked_at: z.ZodISODateTime;
+        revision_digest: z.ZodString;
+        method_policy_digest: z.ZodString;
+        coverage_policy_digest: z.ZodString;
+        event_id: z.ZodString;
+        receipt_digest: z.ZodString;
+    }, z.core.$strict>>;
+    headline: z.ZodOptional<z.ZodObject<{
+        rule: z.ZodLiteral<"sourcey.offer-headline/v1">;
+        benefit_id: z.ZodString;
+        basis: z.ZodEnum<{
+            described: "described";
+            typed: "typed";
+        }>;
+        figure: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"credit">;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"exact">;
+                amount: z.ZodObject<{
+                    currency: z.ZodString;
+                    minor_units: z.ZodNumber;
+                }, z.core.$strict>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"up-to">;
+                amount: z.ZodObject<{
+                    currency: z.ZodString;
+                    minor_units: z.ZodNumber;
+                }, z.core.$strict>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"at-least">;
+                amount: z.ZodObject<{
+                    currency: z.ZodString;
+                    minor_units: z.ZodNumber;
+                }, z.core.$strict>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"range">;
+                minimum: z.ZodObject<{
+                    currency: z.ZodString;
+                    minor_units: z.ZodNumber;
+                }, z.core.$strict>;
+                maximum: z.ZodObject<{
+                    currency: z.ZodString;
+                    minor_units: z.ZodNumber;
+                }, z.core.$strict>;
+            }, z.core.$strict>], "kind">;
+            duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"exact">;
+                value: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"up-to">;
+                value: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"at-least">;
+                value: z.ZodString;
+            }, z.core.$strict>], "kind">>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"discount">;
+            percentage: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"exact">;
+                basis_points: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"up-to">;
+                basis_points: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"at-least">;
+                basis_points: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"range">;
+                minimum_basis_points: z.ZodNumber;
+                maximum_basis_points: z.ZodNumber;
+            }, z.core.$strict>], "kind">;
+            applies_to: z.ZodOptional<z.ZodString>;
+            duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"exact">;
+                value: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"up-to">;
+                value: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"at-least">;
+                value: z.ZodString;
+            }, z.core.$strict>], "kind">>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"cashback">;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"money">;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"exact">;
+                    amount: z.ZodObject<{
+                        currency: z.ZodString;
+                        minor_units: z.ZodNumber;
+                    }, z.core.$strict>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"up-to">;
+                    amount: z.ZodObject<{
+                        currency: z.ZodString;
+                        minor_units: z.ZodNumber;
+                    }, z.core.$strict>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"at-least">;
+                    amount: z.ZodObject<{
+                        currency: z.ZodString;
+                        minor_units: z.ZodNumber;
+                    }, z.core.$strict>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"range">;
+                    minimum: z.ZodObject<{
+                        currency: z.ZodString;
+                        minor_units: z.ZodNumber;
+                    }, z.core.$strict>;
+                    maximum: z.ZodObject<{
+                        currency: z.ZodString;
+                        minor_units: z.ZodNumber;
+                    }, z.core.$strict>;
+                }, z.core.$strict>], "kind">;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"percentage">;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"exact">;
+                    basis_points: z.ZodNumber;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"up-to">;
+                    basis_points: z.ZodNumber;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"at-least">;
+                    basis_points: z.ZodNumber;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"range">;
+                    minimum_basis_points: z.ZodNumber;
+                    maximum_basis_points: z.ZodNumber;
+                }, z.core.$strict>], "kind">;
+            }, z.core.$strict>], "kind">;
+            duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"exact">;
+                value: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"up-to">;
+                value: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"at-least">;
+                value: z.ZodString;
+            }, z.core.$strict>], "kind">>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"free-service">;
+            service: z.ZodOptional<z.ZodString>;
+            duration: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"exact">;
+                value: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"up-to">;
+                value: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"at-least">;
+                value: z.ZodString;
+            }, z.core.$strict>], "kind">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"waiver">;
+            waived_item: z.ZodString;
+        }, z.core.$strict>], "kind">;
     }, z.core.$strict>>;
 }, z.core.$strict>;
 export declare const compiledProgramSchema: z.ZodObject<{
@@ -350,9 +810,9 @@ export declare const compiledProgramSchema: z.ZodObject<{
     revision_digest: z.ZodString;
     provenance: z.ZodObject<{
         freshness: z.ZodEnum<{
-            unknown: "unknown";
             fresh: "fresh";
             stale: "stale";
+            unknown: "unknown";
         }>;
         dispute: z.ZodEnum<{
             none: "none";
@@ -367,22 +827,22 @@ export declare const compiledProgramSchema: z.ZodObject<{
             supporting_event_ids: z.ZodArray<z.ZodString>;
             contradicting_event_ids: z.ZodArray<z.ZodString>;
             accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                observed: "observed";
+                attested: "attested";
                 derived: "derived";
                 editorial: "editorial";
-                attested: "attested";
+                observed: "observed";
             }>>;
             evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                observed: "observed";
+                attested: "attested";
                 derived: "derived";
                 editorial: "editorial";
-                attested: "attested";
+                observed: "observed";
             }>>;
             latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
             freshness: z.ZodEnum<{
-                unknown: "unknown";
                 fresh: "fresh";
                 stale: "stale";
+                unknown: "unknown";
             }>;
         }, z.core.$strict>>;
         vendor_attestation: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -406,9 +866,9 @@ export declare const compiledEntitySchema: z.ZodObject<{
     revision_digest: z.ZodString;
     provenance: z.ZodObject<{
         freshness: z.ZodEnum<{
-            unknown: "unknown";
             fresh: "fresh";
             stale: "stale";
+            unknown: "unknown";
         }>;
         dispute: z.ZodEnum<{
             none: "none";
@@ -423,22 +883,22 @@ export declare const compiledEntitySchema: z.ZodObject<{
             supporting_event_ids: z.ZodArray<z.ZodString>;
             contradicting_event_ids: z.ZodArray<z.ZodString>;
             accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                observed: "observed";
+                attested: "attested";
                 derived: "derived";
                 editorial: "editorial";
-                attested: "attested";
+                observed: "observed";
             }>>;
             evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                observed: "observed";
+                attested: "attested";
                 derived: "derived";
                 editorial: "editorial";
-                attested: "attested";
+                observed: "observed";
             }>>;
             latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
             freshness: z.ZodEnum<{
-                unknown: "unknown";
                 fresh: "fresh";
                 stale: "stale";
+                unknown: "unknown";
             }>;
         }, z.core.$strict>>;
         vendor_attestation: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -467,9 +927,9 @@ export declare const compiledEntitySchema: z.ZodObject<{
         revision_digest: z.ZodString;
         provenance: z.ZodObject<{
             freshness: z.ZodEnum<{
-                unknown: "unknown";
                 fresh: "fresh";
                 stale: "stale";
+                unknown: "unknown";
             }>;
             dispute: z.ZodEnum<{
                 none: "none";
@@ -484,22 +944,22 @@ export declare const compiledEntitySchema: z.ZodObject<{
                 supporting_event_ids: z.ZodArray<z.ZodString>;
                 contradicting_event_ids: z.ZodArray<z.ZodString>;
                 accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                    observed: "observed";
+                    attested: "attested";
                     derived: "derived";
                     editorial: "editorial";
-                    attested: "attested";
+                    observed: "observed";
                 }>>;
                 evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                    observed: "observed";
+                    attested: "attested";
                     derived: "derived";
                     editorial: "editorial";
-                    attested: "attested";
+                    observed: "observed";
                 }>>;
                 latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
                 freshness: z.ZodEnum<{
-                    unknown: "unknown";
                     fresh: "fresh";
                     stale: "stale";
+                    unknown: "unknown";
                 }>;
             }, z.core.$strict>>;
             vendor_attestation: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -535,6 +995,8 @@ export declare const compiledEntitySchema: z.ZodObject<{
                 description: z.ZodString;
             }, z.core.$strict>], "kind">;
             benefits: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                benefit_id: z.ZodString;
+                description: z.ZodString;
                 kind: z.ZodLiteral<"credit">;
                 value: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     kind: z.ZodLiteral<"exact">;
@@ -575,9 +1037,9 @@ export declare const compiledEntitySchema: z.ZodObject<{
                     kind: z.ZodLiteral<"at-least">;
                     value: z.ZodString;
                 }, z.core.$strict>], "kind">>;
+            }, z.core.$strict>, z.ZodObject<{
                 benefit_id: z.ZodString;
                 description: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
                 kind: z.ZodLiteral<"discount">;
                 percentage: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     kind: z.ZodLiteral<"exact">;
@@ -604,9 +1066,9 @@ export declare const compiledEntitySchema: z.ZodObject<{
                     kind: z.ZodLiteral<"at-least">;
                     value: z.ZodString;
                 }, z.core.$strict>], "kind">>;
+            }, z.core.$strict>, z.ZodObject<{
                 benefit_id: z.ZodString;
                 description: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
                 kind: z.ZodLiteral<"cashback">;
                 value: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     kind: z.ZodLiteral<"money">;
@@ -666,14 +1128,14 @@ export declare const compiledEntitySchema: z.ZodObject<{
                     kind: z.ZodLiteral<"at-least">;
                     value: z.ZodString;
                 }, z.core.$strict>], "kind">>;
+            }, z.core.$strict>, z.ZodObject<{
                 benefit_id: z.ZodString;
                 description: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
                 kind: z.ZodLiteral<"waiver">;
                 waived_item: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
                 benefit_id: z.ZodString;
                 description: z.ZodString;
-            }, z.core.$strict>, z.ZodObject<{
                 kind: z.ZodLiteral<"free-service">;
                 service: z.ZodString;
                 duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -686,12 +1148,10 @@ export declare const compiledEntitySchema: z.ZodObject<{
                     kind: z.ZodLiteral<"at-least">;
                     value: z.ZodString;
                 }, z.core.$strict>], "kind">>;
-                benefit_id: z.ZodString;
-                description: z.ZodString;
             }, z.core.$strict>, z.ZodObject<{
-                kind: z.ZodLiteral<"other">;
                 benefit_id: z.ZodString;
                 description: z.ZodString;
+                kind: z.ZodLiteral<"other">;
             }, z.core.$strict>], "kind">>;
         }, z.core.$strict>;
         eligibility: z.ZodObject<{
@@ -703,19 +1163,19 @@ export declare const compiledEntitySchema: z.ZodObject<{
         }, z.core.$strict>;
         access: z.ZodObject<{
             availability: z.ZodEnum<{
-                public: "public";
+                automatic: "automatic";
+                invite: "invite";
+                membership: "membership";
                 other: "other";
+                public: "public";
                 referral: "referral";
-                membership: "membership";
-                invite: "invite";
-                automatic: "automatic";
             }>;
             method: z.ZodEnum<{
-                code: "code";
-                other: "other";
                 automatic: "automatic";
-                form: "form";
+                code: "code";
                 contact: "contact";
+                form: "form";
+                other: "other";
             }>;
             url: z.ZodOptional<z.ZodURL>;
             public_code: z.ZodOptional<z.ZodString>;
@@ -732,9 +1192,9 @@ export declare const compiledEntitySchema: z.ZodObject<{
         revision_digest: z.ZodString;
         provenance: z.ZodObject<{
             freshness: z.ZodEnum<{
-                unknown: "unknown";
                 fresh: "fresh";
                 stale: "stale";
+                unknown: "unknown";
             }>;
             dispute: z.ZodEnum<{
                 none: "none";
@@ -749,41 +1209,194 @@ export declare const compiledEntitySchema: z.ZodObject<{
                 supporting_event_ids: z.ZodArray<z.ZodString>;
                 contradicting_event_ids: z.ZodArray<z.ZodString>;
                 accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                    observed: "observed";
+                    attested: "attested";
                     derived: "derived";
                     editorial: "editorial";
-                    attested: "attested";
+                    observed: "observed";
                 }>>;
                 evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                    observed: "observed";
+                    attested: "attested";
                     derived: "derived";
                     editorial: "editorial";
-                    attested: "attested";
+                    observed: "observed";
                 }>>;
                 latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
                 freshness: z.ZodEnum<{
-                    unknown: "unknown";
                     fresh: "fresh";
                     stale: "stale";
+                    unknown: "unknown";
                 }>;
             }, z.core.$strict>>;
             vendor_attestation: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 status: z.ZodLiteral<"none">;
             }, z.core.$strict>, z.ZodObject<{
-                status: z.ZodLiteral<"current">;
-                event_id: z.ZodString;
-                attested_at: z.ZodISODateTime;
-            }, z.core.$strict>], "status">;
-        }, z.core.$strict>;
-        terms_assurance: z.ZodOptional<z.ZodObject<{
-            status: z.ZodLiteral<"checked">;
-            assurance_id: z.ZodString;
-            checked_at: z.ZodISODateTime;
-            revision_digest: z.ZodString;
-            method_policy_digest: z.ZodString;
-            coverage_policy_digest: z.ZodString;
-            event_id: z.ZodString;
-            receipt_digest: z.ZodString;
+                status: z.ZodLiteral<"current">;
+                event_id: z.ZodString;
+                attested_at: z.ZodISODateTime;
+            }, z.core.$strict>], "status">;
+        }, z.core.$strict>;
+        terms_assurance: z.ZodOptional<z.ZodObject<{
+            status: z.ZodLiteral<"checked">;
+            assurance_id: z.ZodString;
+            checked_at: z.ZodISODateTime;
+            revision_digest: z.ZodString;
+            method_policy_digest: z.ZodString;
+            coverage_policy_digest: z.ZodString;
+            event_id: z.ZodString;
+            receipt_digest: z.ZodString;
+        }, z.core.$strict>>;
+        headline: z.ZodOptional<z.ZodObject<{
+            rule: z.ZodLiteral<"sourcey.offer-headline/v1">;
+            benefit_id: z.ZodString;
+            basis: z.ZodEnum<{
+                described: "described";
+                typed: "typed";
+            }>;
+            figure: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"credit">;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"exact">;
+                    amount: z.ZodObject<{
+                        currency: z.ZodString;
+                        minor_units: z.ZodNumber;
+                    }, z.core.$strict>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"up-to">;
+                    amount: z.ZodObject<{
+                        currency: z.ZodString;
+                        minor_units: z.ZodNumber;
+                    }, z.core.$strict>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"at-least">;
+                    amount: z.ZodObject<{
+                        currency: z.ZodString;
+                        minor_units: z.ZodNumber;
+                    }, z.core.$strict>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"range">;
+                    minimum: z.ZodObject<{
+                        currency: z.ZodString;
+                        minor_units: z.ZodNumber;
+                    }, z.core.$strict>;
+                    maximum: z.ZodObject<{
+                        currency: z.ZodString;
+                        minor_units: z.ZodNumber;
+                    }, z.core.$strict>;
+                }, z.core.$strict>], "kind">;
+                duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"exact">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"up-to">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"at-least">;
+                    value: z.ZodString;
+                }, z.core.$strict>], "kind">>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"discount">;
+                percentage: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"exact">;
+                    basis_points: z.ZodNumber;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"up-to">;
+                    basis_points: z.ZodNumber;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"at-least">;
+                    basis_points: z.ZodNumber;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"range">;
+                    minimum_basis_points: z.ZodNumber;
+                    maximum_basis_points: z.ZodNumber;
+                }, z.core.$strict>], "kind">;
+                applies_to: z.ZodOptional<z.ZodString>;
+                duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"exact">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"up-to">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"at-least">;
+                    value: z.ZodString;
+                }, z.core.$strict>], "kind">>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"cashback">;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"money">;
+                    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"exact">;
+                        amount: z.ZodObject<{
+                            currency: z.ZodString;
+                            minor_units: z.ZodNumber;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"up-to">;
+                        amount: z.ZodObject<{
+                            currency: z.ZodString;
+                            minor_units: z.ZodNumber;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"at-least">;
+                        amount: z.ZodObject<{
+                            currency: z.ZodString;
+                            minor_units: z.ZodNumber;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"range">;
+                        minimum: z.ZodObject<{
+                            currency: z.ZodString;
+                            minor_units: z.ZodNumber;
+                        }, z.core.$strict>;
+                        maximum: z.ZodObject<{
+                            currency: z.ZodString;
+                            minor_units: z.ZodNumber;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>], "kind">;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"percentage">;
+                    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"exact">;
+                        basis_points: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"up-to">;
+                        basis_points: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"at-least">;
+                        basis_points: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"range">;
+                        minimum_basis_points: z.ZodNumber;
+                        maximum_basis_points: z.ZodNumber;
+                    }, z.core.$strict>], "kind">;
+                }, z.core.$strict>], "kind">;
+                duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"exact">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"up-to">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"at-least">;
+                    value: z.ZodString;
+                }, z.core.$strict>], "kind">>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"free-service">;
+                service: z.ZodOptional<z.ZodString>;
+                duration: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"exact">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"up-to">;
+                    value: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"at-least">;
+                    value: z.ZodString;
+                }, z.core.$strict>], "kind">;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"waiver">;
+                waived_item: z.ZodString;
+            }, z.core.$strict>], "kind">;
         }, z.core.$strict>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
@@ -963,9 +1576,9 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
         revision_digest: z.ZodString;
         provenance: z.ZodObject<{
             freshness: z.ZodEnum<{
-                unknown: "unknown";
                 fresh: "fresh";
                 stale: "stale";
+                unknown: "unknown";
             }>;
             dispute: z.ZodEnum<{
                 none: "none";
@@ -980,22 +1593,22 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                 supporting_event_ids: z.ZodArray<z.ZodString>;
                 contradicting_event_ids: z.ZodArray<z.ZodString>;
                 accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                    observed: "observed";
+                    attested: "attested";
                     derived: "derived";
                     editorial: "editorial";
-                    attested: "attested";
+                    observed: "observed";
                 }>>;
                 evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                    observed: "observed";
+                    attested: "attested";
                     derived: "derived";
                     editorial: "editorial";
-                    attested: "attested";
+                    observed: "observed";
                 }>>;
                 latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
                 freshness: z.ZodEnum<{
-                    unknown: "unknown";
                     fresh: "fresh";
                     stale: "stale";
+                    unknown: "unknown";
                 }>;
             }, z.core.$strict>>;
             vendor_attestation: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -1024,9 +1637,9 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
             revision_digest: z.ZodString;
             provenance: z.ZodObject<{
                 freshness: z.ZodEnum<{
-                    unknown: "unknown";
                     fresh: "fresh";
                     stale: "stale";
+                    unknown: "unknown";
                 }>;
                 dispute: z.ZodEnum<{
                     none: "none";
@@ -1041,22 +1654,22 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                     supporting_event_ids: z.ZodArray<z.ZodString>;
                     contradicting_event_ids: z.ZodArray<z.ZodString>;
                     accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                        observed: "observed";
+                        attested: "attested";
                         derived: "derived";
                         editorial: "editorial";
-                        attested: "attested";
+                        observed: "observed";
                     }>>;
                     evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                        observed: "observed";
+                        attested: "attested";
                         derived: "derived";
                         editorial: "editorial";
-                        attested: "attested";
+                        observed: "observed";
                     }>>;
                     latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
                     freshness: z.ZodEnum<{
-                        unknown: "unknown";
                         fresh: "fresh";
                         stale: "stale";
+                        unknown: "unknown";
                     }>;
                 }, z.core.$strict>>;
                 vendor_attestation: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -1092,6 +1705,8 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                     description: z.ZodString;
                 }, z.core.$strict>], "kind">;
                 benefits: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    benefit_id: z.ZodString;
+                    description: z.ZodString;
                     kind: z.ZodLiteral<"credit">;
                     value: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         kind: z.ZodLiteral<"exact">;
@@ -1132,9 +1747,9 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                         kind: z.ZodLiteral<"at-least">;
                         value: z.ZodString;
                     }, z.core.$strict>], "kind">>;
+                }, z.core.$strict>, z.ZodObject<{
                     benefit_id: z.ZodString;
                     description: z.ZodString;
-                }, z.core.$strict>, z.ZodObject<{
                     kind: z.ZodLiteral<"discount">;
                     percentage: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         kind: z.ZodLiteral<"exact">;
@@ -1161,9 +1776,9 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                         kind: z.ZodLiteral<"at-least">;
                         value: z.ZodString;
                     }, z.core.$strict>], "kind">>;
+                }, z.core.$strict>, z.ZodObject<{
                     benefit_id: z.ZodString;
                     description: z.ZodString;
-                }, z.core.$strict>, z.ZodObject<{
                     kind: z.ZodLiteral<"cashback">;
                     value: z.ZodDiscriminatedUnion<[z.ZodObject<{
                         kind: z.ZodLiteral<"money">;
@@ -1223,14 +1838,14 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                         kind: z.ZodLiteral<"at-least">;
                         value: z.ZodString;
                     }, z.core.$strict>], "kind">>;
+                }, z.core.$strict>, z.ZodObject<{
                     benefit_id: z.ZodString;
                     description: z.ZodString;
-                }, z.core.$strict>, z.ZodObject<{
                     kind: z.ZodLiteral<"waiver">;
                     waived_item: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
                     benefit_id: z.ZodString;
                     description: z.ZodString;
-                }, z.core.$strict>, z.ZodObject<{
                     kind: z.ZodLiteral<"free-service">;
                     service: z.ZodString;
                     duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -1243,12 +1858,10 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                         kind: z.ZodLiteral<"at-least">;
                         value: z.ZodString;
                     }, z.core.$strict>], "kind">>;
-                    benefit_id: z.ZodString;
-                    description: z.ZodString;
                 }, z.core.$strict>, z.ZodObject<{
-                    kind: z.ZodLiteral<"other">;
                     benefit_id: z.ZodString;
                     description: z.ZodString;
+                    kind: z.ZodLiteral<"other">;
                 }, z.core.$strict>], "kind">>;
             }, z.core.$strict>;
             eligibility: z.ZodObject<{
@@ -1260,19 +1873,19 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
             }, z.core.$strict>;
             access: z.ZodObject<{
                 availability: z.ZodEnum<{
-                    public: "public";
+                    automatic: "automatic";
+                    invite: "invite";
+                    membership: "membership";
                     other: "other";
+                    public: "public";
                     referral: "referral";
-                    membership: "membership";
-                    invite: "invite";
-                    automatic: "automatic";
                 }>;
                 method: z.ZodEnum<{
-                    code: "code";
-                    other: "other";
                     automatic: "automatic";
-                    form: "form";
+                    code: "code";
                     contact: "contact";
+                    form: "form";
+                    other: "other";
                 }>;
                 url: z.ZodOptional<z.ZodURL>;
                 public_code: z.ZodOptional<z.ZodString>;
@@ -1289,9 +1902,9 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
             revision_digest: z.ZodString;
             provenance: z.ZodObject<{
                 freshness: z.ZodEnum<{
-                    unknown: "unknown";
                     fresh: "fresh";
                     stale: "stale";
+                    unknown: "unknown";
                 }>;
                 dispute: z.ZodEnum<{
                     none: "none";
@@ -1306,22 +1919,22 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                     supporting_event_ids: z.ZodArray<z.ZodString>;
                     contradicting_event_ids: z.ZodArray<z.ZodString>;
                     accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                        observed: "observed";
+                        attested: "attested";
                         derived: "derived";
                         editorial: "editorial";
-                        attested: "attested";
+                        observed: "observed";
                     }>>;
                     evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                        observed: "observed";
+                        attested: "attested";
                         derived: "derived";
                         editorial: "editorial";
-                        attested: "attested";
+                        observed: "observed";
                     }>>;
                     latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
                     freshness: z.ZodEnum<{
-                        unknown: "unknown";
                         fresh: "fresh";
                         stale: "stale";
+                        unknown: "unknown";
                     }>;
                 }, z.core.$strict>>;
                 vendor_attestation: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -1342,6 +1955,159 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                 event_id: z.ZodString;
                 receipt_digest: z.ZodString;
             }, z.core.$strict>>;
+            headline: z.ZodOptional<z.ZodObject<{
+                rule: z.ZodLiteral<"sourcey.offer-headline/v1">;
+                benefit_id: z.ZodString;
+                basis: z.ZodEnum<{
+                    described: "described";
+                    typed: "typed";
+                }>;
+                figure: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"credit">;
+                    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"exact">;
+                        amount: z.ZodObject<{
+                            currency: z.ZodString;
+                            minor_units: z.ZodNumber;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"up-to">;
+                        amount: z.ZodObject<{
+                            currency: z.ZodString;
+                            minor_units: z.ZodNumber;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"at-least">;
+                        amount: z.ZodObject<{
+                            currency: z.ZodString;
+                            minor_units: z.ZodNumber;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"range">;
+                        minimum: z.ZodObject<{
+                            currency: z.ZodString;
+                            minor_units: z.ZodNumber;
+                        }, z.core.$strict>;
+                        maximum: z.ZodObject<{
+                            currency: z.ZodString;
+                            minor_units: z.ZodNumber;
+                        }, z.core.$strict>;
+                    }, z.core.$strict>], "kind">;
+                    duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"exact">;
+                        value: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"up-to">;
+                        value: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"at-least">;
+                        value: z.ZodString;
+                    }, z.core.$strict>], "kind">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"discount">;
+                    percentage: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"exact">;
+                        basis_points: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"up-to">;
+                        basis_points: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"at-least">;
+                        basis_points: z.ZodNumber;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"range">;
+                        minimum_basis_points: z.ZodNumber;
+                        maximum_basis_points: z.ZodNumber;
+                    }, z.core.$strict>], "kind">;
+                    applies_to: z.ZodOptional<z.ZodString>;
+                    duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"exact">;
+                        value: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"up-to">;
+                        value: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"at-least">;
+                        value: z.ZodString;
+                    }, z.core.$strict>], "kind">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"cashback">;
+                    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"money">;
+                        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"exact">;
+                            amount: z.ZodObject<{
+                                currency: z.ZodString;
+                                minor_units: z.ZodNumber;
+                            }, z.core.$strict>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"up-to">;
+                            amount: z.ZodObject<{
+                                currency: z.ZodString;
+                                minor_units: z.ZodNumber;
+                            }, z.core.$strict>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"at-least">;
+                            amount: z.ZodObject<{
+                                currency: z.ZodString;
+                                minor_units: z.ZodNumber;
+                            }, z.core.$strict>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"range">;
+                            minimum: z.ZodObject<{
+                                currency: z.ZodString;
+                                minor_units: z.ZodNumber;
+                            }, z.core.$strict>;
+                            maximum: z.ZodObject<{
+                                currency: z.ZodString;
+                                minor_units: z.ZodNumber;
+                            }, z.core.$strict>;
+                        }, z.core.$strict>], "kind">;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"percentage">;
+                        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                            kind: z.ZodLiteral<"exact">;
+                            basis_points: z.ZodNumber;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"up-to">;
+                            basis_points: z.ZodNumber;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"at-least">;
+                            basis_points: z.ZodNumber;
+                        }, z.core.$strict>, z.ZodObject<{
+                            kind: z.ZodLiteral<"range">;
+                            minimum_basis_points: z.ZodNumber;
+                            maximum_basis_points: z.ZodNumber;
+                        }, z.core.$strict>], "kind">;
+                    }, z.core.$strict>], "kind">;
+                    duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"exact">;
+                        value: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"up-to">;
+                        value: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"at-least">;
+                        value: z.ZodString;
+                    }, z.core.$strict>], "kind">>;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"free-service">;
+                    service: z.ZodOptional<z.ZodString>;
+                    duration: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"exact">;
+                        value: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"up-to">;
+                        value: z.ZodString;
+                    }, z.core.$strict>, z.ZodObject<{
+                        kind: z.ZodLiteral<"at-least">;
+                        value: z.ZodString;
+                    }, z.core.$strict>], "kind">;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"waiver">;
+                    waived_item: z.ZodString;
+                }, z.core.$strict>], "kind">;
+            }, z.core.$strict>>;
         }, z.core.$strict>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
@@ -1351,12 +2117,12 @@ export declare const releaseChangeSchema: z.ZodObject<{
     change_id: z.ZodString;
     kind: z.ZodString;
     subject_type: z.ZodEnum<{
-        policy: "policy";
-        entity: "entity";
-        program: "program";
-        offer: "offer";
         agent_readiness_profile: "agent_readiness_profile";
         asset_binding: "asset_binding";
+        entity: "entity";
+        offer: "offer";
+        policy: "policy";
+        program: "program";
     }>;
     subject_id: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
     revision_digest: z.ZodOptional<z.ZodString>;
@@ -1367,45 +2133,12 @@ export declare const releaseChangeSchema: z.ZodObject<{
     tombstone: z.ZodOptional<z.ZodObject<{
         reason: z.ZodEnum<{
             ended: "ended";
-            withdrawn: "withdrawn";
             retired: "retired";
+            withdrawn: "withdrawn";
         }>;
         canonical_route: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
-export declare const releaseDiffSchema: z.ZodObject<{
-    diff_contract: z.ZodLiteral<"sourcey.release-diff/v1alpha1">;
-    parent_snapshot_id: z.ZodNullable<z.ZodString>;
-    snapshot_id: z.ZodString;
-    changes: z.ZodArray<z.ZodObject<{
-        change_id: z.ZodString;
-        kind: z.ZodString;
-        subject_type: z.ZodEnum<{
-            policy: "policy";
-            entity: "entity";
-            program: "program";
-            offer: "offer";
-            agent_readiness_profile: "agent_readiness_profile";
-            asset_binding: "asset_binding";
-        }>;
-        subject_id: z.ZodUnion<readonly [z.ZodString, z.ZodString]>;
-        revision_digest: z.ZodOptional<z.ZodString>;
-        previous_revision_digest: z.ZodOptional<z.ZodString>;
-        projection_digest: z.ZodOptional<z.ZodString>;
-        previous_projection_digest: z.ZodOptional<z.ZodString>;
-        basis_event_ids: z.ZodArray<z.ZodString>;
-        tombstone: z.ZodOptional<z.ZodObject<{
-            reason: z.ZodEnum<{
-                ended: "ended";
-                withdrawn: "withdrawn";
-                retired: "retired";
-            }>;
-            canonical_route: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>;
-    }, z.core.$strict>>;
-}, z.core.$strict>;
-/** Canonical bytes committed by release_core.diff_digest. */
-export declare function encodeReleaseChanges(changes: readonly ReleaseChange[]): string;
 export declare const provenanceEntrySchema: z.ZodObject<{
     revision_digest: z.ZodString;
     first_inclusion_sequence: z.ZodNumber;
@@ -1448,14 +2181,14 @@ export declare const provenanceIndexSchema: z.ZodObject<{
         signer_registry_digest: z.ZodString;
         first_inclusion_sequence: z.ZodNumber;
     }, z.core.$strict>>;
-    capture_receipts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+    capture_receipts: z.ZodRecord<z.ZodString, z.ZodObject<{
         receipt_digest: z.ZodString;
         receipt_object_digest: z.ZodString;
         issuer_id: z.ZodString;
         operation_id: z.ZodString;
         signer_registry_digest: z.ZodString;
         first_inclusion_sequence: z.ZodNumber;
-    }, z.core.$strict>>>;
+    }, z.core.$strict>>;
 }, z.core.$strict>;
 export declare const identityIndexSchema: z.ZodObject<{
     identity_contract: z.ZodLiteral<"sourcey.identities/v1alpha1">;
@@ -1463,16 +2196,16 @@ export declare const identityIndexSchema: z.ZodObject<{
     canonical_program_resolutions: z.ZodRecord<z.ZodString, z.ZodString>;
     canonical_offer_resolutions: z.ZodRecord<z.ZodString, z.ZodString>;
     canonical_agent_readiness_profile_resolutions: z.ZodRecord<z.ZodString, z.ZodString>;
-    program_reparents: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
-        old_entity_id: z.ZodOptional<z.ZodString>;
+    program_reparents: z.ZodRecord<z.ZodString, z.ZodObject<{
+        old_entity_id: z.ZodString;
         new_entity_id: z.ZodString;
         event_id: z.ZodString;
-    }, z.core.$strict>>>;
-    offer_reparents: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
-        old_entity_id: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    offer_reparents: z.ZodRecord<z.ZodString, z.ZodObject<{
+        old_entity_id: z.ZodString;
         new_entity_id: z.ZodString;
         event_id: z.ZodString;
-    }, z.core.$strict>>>;
+    }, z.core.$strict>>;
     agent_readiness_profile_reparents: z.ZodRecord<z.ZodString, z.ZodObject<{
         old_entity_id: z.ZodString;
         new_entity_id: z.ZodString;
@@ -1480,8 +2213,8 @@ export declare const identityIndexSchema: z.ZodObject<{
     }, z.core.$strict>>;
     asset_binding_dispositions: z.ZodRecord<z.ZodString, z.ZodObject<{
         disposition: z.ZodEnum<{
-            rebind: "rebind";
             end: "end";
+            rebind: "rebind";
         }>;
         event_id: z.ZodString;
         replacement_binding_event_id: z.ZodOptional<z.ZodString>;
@@ -1502,6 +2235,8 @@ export declare const searchIndexSchema: z.ZodObject<{
 }, z.core.$strict>;
 export type Provenance = z.infer<typeof provenanceSchema>;
 export type CompiledOffer = z.infer<typeof compiledOfferSchema>;
+export type OfferHeadline = z.infer<typeof offerHeadlineSchema>;
+export type OfferHeadlineFigure = z.infer<typeof offerHeadlineFigureSchema>;
 export type CompiledProgram = z.infer<typeof compiledProgramSchema>;
 export type CompiledEntity = z.infer<typeof compiledEntitySchema>;
 export type CompiledPolicy = z.infer<typeof compiledPolicySchema>;
@@ -1510,7 +2245,6 @@ export type PolicySection = z.infer<typeof policySectionSchema>;
 export type CanonicalArtifact = z.infer<typeof canonicalArtifactSchema>;
 export type CanonicalArtifactCore = z.infer<typeof canonicalArtifactCoreSchema>;
 export type ReleaseChange = z.infer<typeof releaseChangeSchema>;
-export type ReleaseDiff = z.infer<typeof releaseDiffSchema>;
 export type ProvenanceIndex = z.infer<typeof provenanceIndexSchema>;
 export type IdentityIndex = z.infer<typeof identityIndexSchema>;
 export type SearchIndex = z.infer<typeof searchIndexSchema>;