@sourcey/catalog-verifier 1.0.0 → 1.1.1

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

@@ -23,11 +23,6 @@ export declare const fieldCoverageSchema: z.ZodObject<{
     }>;
 }, z.core.$strict>;
 export declare const provenanceSchema: z.ZodObject<{
-    tier: z.ZodEnum<{
-        observed: "observed";
-        signed: "signed";
-        verified: "verified";
-    }>;
     freshness: z.ZodEnum<{
         unknown: "unknown";
         fresh: "fresh";
@@ -64,8 +59,320 @@ export declare const provenanceSchema: z.ZodObject<{
             stale: "stale";
         }>;
     }, z.core.$strict>>;
-    attestation_event_id: z.ZodOptional<z.ZodString>;
-    verification_event_id: z.ZodOptional<z.ZodString>;
+    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>;
+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<{
+        typed: "typed";
+        described: "described";
+    }>;
+    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>;
@@ -287,11 +594,6 @@ export declare const compiledOfferSchema: z.ZodObject<{
     effective_until: z.ZodOptional<z.ZodISODateTime>;
     revision_digest: z.ZodString;
     provenance: z.ZodObject<{
-        tier: z.ZodEnum<{
-            observed: "observed";
-            signed: "signed";
-            verified: "verified";
-        }>;
         freshness: z.ZodEnum<{
             unknown: "unknown";
             fresh: "fresh";
@@ -328,129 +630,302 @@ export declare const compiledOfferSchema: z.ZodObject<{
                 stale: "stale";
             }>;
         }, z.core.$strict>>;
-        attestation_event_id: z.ZodOptional<z.ZodString>;
-        verification_event_id: z.ZodOptional<z.ZodString>;
+        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>;
-}, z.core.$strict>;
-export declare const compiledProgramSchema: z.ZodObject<{
-    program_id: z.ZodString;
-    slug: z.ZodString;
-    title: z.ZodString;
-    summary: z.ZodOptional<z.ZodString>;
-    revision_digest: z.ZodString;
-    provenance: z.ZodObject<{
-        tier: z.ZodEnum<{
-            observed: "observed";
-            signed: "signed";
-            verified: "verified";
-        }>;
-        freshness: z.ZodEnum<{
-            unknown: "unknown";
-            fresh: "fresh";
-            stale: "stale";
-        }>;
-        dispute: z.ZodEnum<{
-            none: "none";
-            open: "open";
-            resolved: "resolved";
-        }>;
+    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;
-        freshness_policy_digest: z.ZodString;
-        basis_event_ids: z.ZodArray<z.ZodString>;
-        fields: z.ZodArray<z.ZodObject<{
-            path: z.ZodString;
-            supporting_event_ids: z.ZodArray<z.ZodString>;
-            contradicting_event_ids: z.ZodArray<z.ZodString>;
-            accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                observed: "observed";
-                derived: "derived";
-                editorial: "editorial";
-                attested: "attested";
-            }>>;
-            evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                observed: "observed";
-                derived: "derived";
-                editorial: "editorial";
-                attested: "attested";
-            }>>;
-            latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
-            freshness: z.ZodEnum<{
-                unknown: "unknown";
-                fresh: "fresh";
-                stale: "stale";
-            }>;
-        }, z.core.$strict>>;
-        attestation_event_id: z.ZodOptional<z.ZodString>;
-        verification_event_id: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>;
-}, z.core.$strict>;
-export declare const compiledEntitySchema: z.ZodObject<{
-    entity_id: z.ZodString;
-    slug: z.ZodString;
-    slug_aliases: z.ZodOptional<z.ZodArray<z.ZodString>>;
-    name: z.ZodString;
-    summary: z.ZodOptional<z.ZodString>;
-    description: z.ZodString;
-    website: z.ZodURL;
-    category: z.ZodString;
-    revision_digest: z.ZodString;
-    provenance: z.ZodObject<{
-        tier: z.ZodEnum<{
-            observed: "observed";
-            signed: "signed";
-            verified: "verified";
-        }>;
-        freshness: z.ZodEnum<{
-            unknown: "unknown";
-            fresh: "fresh";
-            stale: "stale";
-        }>;
-        dispute: z.ZodEnum<{
-            none: "none";
-            open: "open";
-            resolved: "resolved";
+        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<{
+            typed: "typed";
+            described: "described";
         }>;
-        coverage_policy_digest: z.ZodString;
-        freshness_policy_digest: z.ZodString;
-        basis_event_ids: z.ZodArray<z.ZodString>;
-        fields: z.ZodArray<z.ZodObject<{
-            path: z.ZodString;
-            supporting_event_ids: z.ZodArray<z.ZodString>;
-            contradicting_event_ids: z.ZodArray<z.ZodString>;
-            accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                observed: "observed";
-                derived: "derived";
-                editorial: "editorial";
-                attested: "attested";
-            }>>;
-            evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                observed: "observed";
-                derived: "derived";
-                editorial: "editorial";
-                attested: "attested";
-            }>>;
-            latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
-            freshness: z.ZodEnum<{
-                unknown: "unknown";
-                fresh: "fresh";
-                stale: "stale";
-            }>;
-        }, z.core.$strict>>;
-        attestation_event_id: z.ZodOptional<z.ZodString>;
-        verification_event_id: z.ZodOptional<z.ZodString>;
-    }, z.core.$strict>;
-    programs: z.ZodArray<z.ZodObject<{
-        program_id: z.ZodString;
-        slug: z.ZodString;
-        title: z.ZodString;
+        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<{
+    program_id: z.ZodString;
+    slug: z.ZodString;
+    title: z.ZodString;
+    summary: z.ZodOptional<z.ZodString>;
+    revision_digest: z.ZodString;
+    provenance: z.ZodObject<{
+        freshness: z.ZodEnum<{
+            unknown: "unknown";
+            fresh: "fresh";
+            stale: "stale";
+        }>;
+        dispute: z.ZodEnum<{
+            none: "none";
+            open: "open";
+            resolved: "resolved";
+        }>;
+        coverage_policy_digest: z.ZodString;
+        freshness_policy_digest: z.ZodString;
+        basis_event_ids: z.ZodArray<z.ZodString>;
+        fields: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            supporting_event_ids: z.ZodArray<z.ZodString>;
+            contradicting_event_ids: z.ZodArray<z.ZodString>;
+            accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
+                observed: "observed";
+                derived: "derived";
+                editorial: "editorial";
+                attested: "attested";
+            }>>;
+            evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
+                observed: "observed";
+                derived: "derived";
+                editorial: "editorial";
+                attested: "attested";
+            }>>;
+            latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
+            freshness: z.ZodEnum<{
+                unknown: "unknown";
+                fresh: "fresh";
+                stale: "stale";
+            }>;
+        }, 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>;
+}, z.core.$strict>;
+export declare const compiledEntitySchema: z.ZodObject<{
+    entity_id: z.ZodString;
+    slug: z.ZodString;
+    slug_aliases: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    name: z.ZodString;
+    summary: z.ZodOptional<z.ZodString>;
+    description: z.ZodString;
+    website: z.ZodURL;
+    category: z.ZodString;
+    revision_digest: z.ZodString;
+    provenance: z.ZodObject<{
+        freshness: z.ZodEnum<{
+            unknown: "unknown";
+            fresh: "fresh";
+            stale: "stale";
+        }>;
+        dispute: z.ZodEnum<{
+            none: "none";
+            open: "open";
+            resolved: "resolved";
+        }>;
+        coverage_policy_digest: z.ZodString;
+        freshness_policy_digest: z.ZodString;
+        basis_event_ids: z.ZodArray<z.ZodString>;
+        fields: z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            supporting_event_ids: z.ZodArray<z.ZodString>;
+            contradicting_event_ids: z.ZodArray<z.ZodString>;
+            accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
+                observed: "observed";
+                derived: "derived";
+                editorial: "editorial";
+                attested: "attested";
+            }>>;
+            evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
+                observed: "observed";
+                derived: "derived";
+                editorial: "editorial";
+                attested: "attested";
+            }>>;
+            latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
+            freshness: z.ZodEnum<{
+                unknown: "unknown";
+                fresh: "fresh";
+                stale: "stale";
+            }>;
+        }, 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>;
+    identity_assurance: z.ZodOptional<z.ZodObject<{
+        status: z.ZodLiteral<"verified">;
+        assurance_id: z.ZodString;
+        verified_at: z.ZodISODateTime;
+        identity_epoch_digest: z.ZodString;
+        method_policy_digest: z.ZodString;
+        coverage_policy_digest: z.ZodString;
+        event_id: z.ZodString;
+        receipt_digest: z.ZodString;
+    }, z.core.$strict>>;
+    programs: z.ZodArray<z.ZodObject<{
+        program_id: z.ZodString;
+        slug: z.ZodString;
+        title: z.ZodString;
         summary: z.ZodOptional<z.ZodString>;
         revision_digest: z.ZodString;
         provenance: z.ZodObject<{
-            tier: z.ZodEnum<{
-                observed: "observed";
-                signed: "signed";
-                verified: "verified";
-            }>;
             freshness: z.ZodEnum<{
                 unknown: "unknown";
                 fresh: "fresh";
@@ -487,8 +962,13 @@ export declare const compiledEntitySchema: z.ZodObject<{
                     stale: "stale";
                 }>;
             }, z.core.$strict>>;
-            attestation_event_id: z.ZodOptional<z.ZodString>;
-            verification_event_id: z.ZodOptional<z.ZodString>;
+            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>;
     }, z.core.$strict>>;
     offers: z.ZodArray<z.ZodObject<{
@@ -646,17 +1126,264 @@ 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<"waiver">;
-                waived_item: z.ZodString;
-                benefit_id: z.ZodString;
-                description: z.ZodString;
+                benefit_id: z.ZodString;
+                description: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"waiver">;
+                waived_item: z.ZodString;
+                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<{
+                    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">>;
+                benefit_id: z.ZodString;
+                description: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"other">;
+                benefit_id: z.ZodString;
+                description: z.ZodString;
+            }, z.core.$strict>], "kind">>;
+        }, z.core.$strict>;
+        eligibility: z.ZodObject<{
+            rule: z.ZodType<import("../../revisions/src/index.js").EligibilityRule, unknown, z.core.$ZodTypeInternals<import("../../revisions/src/index.js").EligibilityRule, unknown>>;
+        }, z.core.$strict>;
+        roles: z.ZodObject<{
+            terms_authority_entity_id: z.ZodString;
+            access_operator_entity_id: z.ZodString;
+        }, z.core.$strict>;
+        access: z.ZodObject<{
+            availability: z.ZodEnum<{
+                public: "public";
+                other: "other";
+                referral: "referral";
+                membership: "membership";
+                invite: "invite";
+                automatic: "automatic";
+            }>;
+            method: z.ZodEnum<{
+                code: "code";
+                other: "other";
+                automatic: "automatic";
+                form: "form";
+                contact: "contact";
+            }>;
+            url: z.ZodOptional<z.ZodURL>;
+            public_code: z.ZodOptional<z.ZodString>;
+            instructions: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>;
+        terms_url: z.ZodOptional<z.ZodURL>;
+        lifecycle: z.ZodEnum<{
+            active: "active";
+            ended: "ended";
+            withdrawn: "withdrawn";
+        }>;
+        effective_from: z.ZodISODateTime;
+        effective_until: z.ZodOptional<z.ZodISODateTime>;
+        revision_digest: z.ZodString;
+        provenance: z.ZodObject<{
+            freshness: z.ZodEnum<{
+                unknown: "unknown";
+                fresh: "fresh";
+                stale: "stale";
+            }>;
+            dispute: z.ZodEnum<{
+                none: "none";
+                open: "open";
+                resolved: "resolved";
+            }>;
+            coverage_policy_digest: z.ZodString;
+            freshness_policy_digest: z.ZodString;
+            basis_event_ids: z.ZodArray<z.ZodString>;
+            fields: z.ZodArray<z.ZodObject<{
+                path: z.ZodString;
+                supporting_event_ids: z.ZodArray<z.ZodString>;
+                contradicting_event_ids: z.ZodArray<z.ZodString>;
+                accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
+                    observed: "observed";
+                    derived: "derived";
+                    editorial: "editorial";
+                    attested: "attested";
+                }>>;
+                evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
+                    observed: "observed";
+                    derived: "derived";
+                    editorial: "editorial";
+                    attested: "attested";
+                }>>;
+                latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
+                freshness: z.ZodEnum<{
+                    unknown: "unknown";
+                    fresh: "fresh";
+                    stale: "stale";
+                }>;
+            }, 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;
+        }, z.core.$strict>>;
+        headline: z.ZodOptional<z.ZodObject<{
+            rule: z.ZodLiteral<"sourcey.offer-headline/v1">;
+            benefit_id: z.ZodString;
+            basis: z.ZodEnum<{
+                typed: "typed";
+                described: "described";
+            }>;
+            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.ZodString;
-                duration: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                service: z.ZodOptional<z.ZodString>;
+                duration: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     kind: z.ZodLiteral<"exact">;
                     value: z.ZodString;
                 }, z.core.$strict>, z.ZodObject<{
@@ -665,96 +1392,12 @@ export declare const compiledEntitySchema: z.ZodObject<{
                 }, z.core.$strict>, z.ZodObject<{
                     kind: z.ZodLiteral<"at-least">;
                     value: z.ZodString;
-                }, z.core.$strict>], "kind">>;
-                benefit_id: z.ZodString;
-                description: z.ZodString;
+                }, z.core.$strict>], "kind">;
             }, z.core.$strict>, z.ZodObject<{
-                kind: z.ZodLiteral<"other">;
-                benefit_id: z.ZodString;
-                description: z.ZodString;
-            }, z.core.$strict>], "kind">>;
-        }, z.core.$strict>;
-        eligibility: z.ZodObject<{
-            rule: z.ZodType<import("../../revisions/src/index.js").EligibilityRule, unknown, z.core.$ZodTypeInternals<import("../../revisions/src/index.js").EligibilityRule, unknown>>;
-        }, z.core.$strict>;
-        roles: z.ZodObject<{
-            terms_authority_entity_id: z.ZodString;
-            access_operator_entity_id: z.ZodString;
-        }, z.core.$strict>;
-        access: z.ZodObject<{
-            availability: z.ZodEnum<{
-                public: "public";
-                other: "other";
-                referral: "referral";
-                membership: "membership";
-                invite: "invite";
-                automatic: "automatic";
-            }>;
-            method: z.ZodEnum<{
-                code: "code";
-                other: "other";
-                automatic: "automatic";
-                form: "form";
-                contact: "contact";
-            }>;
-            url: z.ZodOptional<z.ZodURL>;
-            public_code: z.ZodOptional<z.ZodString>;
-            instructions: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>;
-        terms_url: z.ZodOptional<z.ZodURL>;
-        lifecycle: z.ZodEnum<{
-            active: "active";
-            ended: "ended";
-            withdrawn: "withdrawn";
-        }>;
-        effective_from: z.ZodISODateTime;
-        effective_until: z.ZodOptional<z.ZodISODateTime>;
-        revision_digest: z.ZodString;
-        provenance: z.ZodObject<{
-            tier: z.ZodEnum<{
-                observed: "observed";
-                signed: "signed";
-                verified: "verified";
-            }>;
-            freshness: z.ZodEnum<{
-                unknown: "unknown";
-                fresh: "fresh";
-                stale: "stale";
-            }>;
-            dispute: z.ZodEnum<{
-                none: "none";
-                open: "open";
-                resolved: "resolved";
-            }>;
-            coverage_policy_digest: z.ZodString;
-            freshness_policy_digest: z.ZodString;
-            basis_event_ids: z.ZodArray<z.ZodString>;
-            fields: z.ZodArray<z.ZodObject<{
-                path: z.ZodString;
-                supporting_event_ids: z.ZodArray<z.ZodString>;
-                contradicting_event_ids: z.ZodArray<z.ZodString>;
-                accepted_proof_kinds: z.ZodArray<z.ZodEnum<{
-                    observed: "observed";
-                    derived: "derived";
-                    editorial: "editorial";
-                    attested: "attested";
-                }>>;
-                evidence_proof_kinds: z.ZodArray<z.ZodEnum<{
-                    observed: "observed";
-                    derived: "derived";
-                    editorial: "editorial";
-                    attested: "attested";
-                }>>;
-                latest_observation_at: z.ZodOptional<z.ZodISODateTime>;
-                freshness: z.ZodEnum<{
-                    unknown: "unknown";
-                    fresh: "fresh";
-                    stale: "stale";
-                }>;
-            }, z.core.$strict>>;
-            attestation_event_id: z.ZodOptional<z.ZodString>;
-            verification_event_id: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>;
+                kind: z.ZodLiteral<"waiver">;
+                waived_item: z.ZodString;
+            }, z.core.$strict>], "kind">;
+        }, z.core.$strict>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
 export declare const policySectionSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -932,11 +1575,6 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
         category: z.ZodString;
         revision_digest: z.ZodString;
         provenance: z.ZodObject<{
-            tier: z.ZodEnum<{
-                observed: "observed";
-                signed: "signed";
-                verified: "verified";
-            }>;
             freshness: z.ZodEnum<{
                 unknown: "unknown";
                 fresh: "fresh";
@@ -973,9 +1611,24 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                     stale: "stale";
                 }>;
             }, z.core.$strict>>;
-            attestation_event_id: z.ZodOptional<z.ZodString>;
-            verification_event_id: z.ZodOptional<z.ZodString>;
+            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>;
+        identity_assurance: z.ZodOptional<z.ZodObject<{
+            status: z.ZodLiteral<"verified">;
+            assurance_id: z.ZodString;
+            verified_at: z.ZodISODateTime;
+            identity_epoch_digest: z.ZodString;
+            method_policy_digest: z.ZodString;
+            coverage_policy_digest: z.ZodString;
+            event_id: z.ZodString;
+            receipt_digest: z.ZodString;
+        }, z.core.$strict>>;
         programs: z.ZodArray<z.ZodObject<{
             program_id: z.ZodString;
             slug: z.ZodString;
@@ -983,11 +1636,6 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
             summary: z.ZodOptional<z.ZodString>;
             revision_digest: z.ZodString;
             provenance: z.ZodObject<{
-                tier: z.ZodEnum<{
-                    observed: "observed";
-                    signed: "signed";
-                    verified: "verified";
-                }>;
                 freshness: z.ZodEnum<{
                     unknown: "unknown";
                     fresh: "fresh";
@@ -1024,8 +1672,13 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                         stale: "stale";
                     }>;
                 }, z.core.$strict>>;
-                attestation_event_id: z.ZodOptional<z.ZodString>;
-                verification_event_id: z.ZodOptional<z.ZodString>;
+                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>;
         }, z.core.$strict>>;
         offers: z.ZodArray<z.ZodObject<{
@@ -1248,11 +1901,6 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
             effective_until: z.ZodOptional<z.ZodISODateTime>;
             revision_digest: z.ZodString;
             provenance: z.ZodObject<{
-                tier: z.ZodEnum<{
-                    observed: "observed";
-                    signed: "signed";
-                    verified: "verified";
-                }>;
                 freshness: z.ZodEnum<{
                     unknown: "unknown";
                     fresh: "fresh";
@@ -1289,13 +1937,181 @@ export declare const canonicalArtifactSchema: z.ZodObject<{
                         stale: "stale";
                     }>;
                 }, z.core.$strict>>;
-                attestation_event_id: z.ZodOptional<z.ZodString>;
-                verification_event_id: z.ZodOptional<z.ZodString>;
+                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;
+            }, z.core.$strict>>;
+            headline: z.ZodOptional<z.ZodObject<{
+                rule: z.ZodLiteral<"sourcey.offer-headline/v1">;
+                benefit_id: z.ZodString;
+                basis: z.ZodEnum<{
+                    typed: "typed";
+                    described: "described";
+                }>;
+                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>;
-export declare const releaseChangeKindKnownValues: readonly ["entity.added", "entity.updated", "entity.retired", "program.added", "program.updated", "program.retired", "offer.added", "offer.updated", "offer.ended", "offer.retired", "offer.withdrawn", "policy.added", "policy.updated", "policy.retired", "agent-readiness.added", "agent-readiness.updated", "agent-readiness.regraded", "agent-readiness.ended", "agent-readiness.withdrawn", "asset.bound", "asset.updated", "asset.withdrawn"];
+export declare const releaseChangeKindKnownValues: readonly ["entity.added", "entity.updated", "entity.retired", "program.added", "program.updated", "program.retired", "offer.added", "offer.updated", "offer.ended", "offer.retired", "offer.withdrawn", "policy.added", "policy.updated", "policy.retired", "agent-readiness.added", "agent-readiness.updated", "agent-readiness.regraded", "agent-readiness.relocated", "agent-readiness.ended", "agent-readiness.withdrawn", "asset.bound", "asset.updated", "asset.withdrawn"];
 export declare const releaseChangeKindSchema: z.ZodString;
 export declare const releaseChangeSchema: z.ZodObject<{
     change_id: z.ZodString;
@@ -1452,6 +2268,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>;