@sourcey/catalog-verifier 1.0.0

package/dist/contracts/funded-work/src/index.d.ts

@@ -0,0 +1,64 @@
+import { z } from "zod";
+export declare const commercialProductCodeSchema: z.ZodString;
+export declare const commercialPriceLookupKeySchema: z.ZodString;
+export declare const fundedWorkIntentEnvelopeCoreSchema: z.ZodObject<{
+    intent_contract: z.ZodLiteral<"sourcey.funded-work-intent/v1alpha1">;
+    intent_id: z.ZodString;
+    product_code: z.ZodString;
+    purchase_kind: z.ZodLiteral<"one_off">;
+    actor_ref: z.ZodString;
+    owner_work_ref: z.ZodString;
+    owner_payload_digest: z.ZodString;
+    subject: z.ZodObject<{
+        entity_id: z.ZodString;
+        program_id: z.ZodOptional<z.ZodString>;
+        offer_id: z.ZodString;
+    }, z.core.$strict>;
+    base_release_id: z.ZodString;
+    eligibility_digest: z.ZodString;
+    policy_bindings: z.ZodArray<z.ZodObject<{
+        role: z.ZodString;
+        policy_digest: z.ZodString;
+    }, z.core.$strict>>;
+    work_class: z.ZodString;
+    forbidden_effects: z.ZodTuple<[z.ZodLiteral<"admit_without_evidence">, z.ZodLiteral<"alter_facts">, z.ZodLiteral<"alter_ranking">, z.ZodLiteral<"guarantee_outcome">, z.ZodLiteral<"publish_without_authority">], null>;
+    price_lookup_key: z.ZodString;
+    requested_by: z.ZodEnum<{
+        subject: "subject";
+        contributor: "contributor";
+    }>;
+    issued_at: z.ZodISODateTime;
+    expires_at: z.ZodISODateTime;
+}, z.core.$strict>;
+export declare const fundedWorkIntentEnvelopeSchema: z.ZodObject<{
+    intent_contract: z.ZodLiteral<"sourcey.funded-work-intent/v1alpha1">;
+    intent_id: z.ZodString;
+    product_code: z.ZodString;
+    purchase_kind: z.ZodLiteral<"one_off">;
+    actor_ref: z.ZodString;
+    owner_work_ref: z.ZodString;
+    owner_payload_digest: z.ZodString;
+    subject: z.ZodObject<{
+        entity_id: z.ZodString;
+        program_id: z.ZodOptional<z.ZodString>;
+        offer_id: z.ZodString;
+    }, z.core.$strict>;
+    base_release_id: z.ZodString;
+    eligibility_digest: z.ZodString;
+    policy_bindings: z.ZodArray<z.ZodObject<{
+        role: z.ZodString;
+        policy_digest: z.ZodString;
+    }, z.core.$strict>>;
+    work_class: z.ZodString;
+    forbidden_effects: z.ZodTuple<[z.ZodLiteral<"admit_without_evidence">, z.ZodLiteral<"alter_facts">, z.ZodLiteral<"alter_ranking">, z.ZodLiteral<"guarantee_outcome">, z.ZodLiteral<"publish_without_authority">], null>;
+    price_lookup_key: z.ZodString;
+    requested_by: z.ZodEnum<{
+        subject: "subject";
+        contributor: "contributor";
+    }>;
+    issued_at: z.ZodISODateTime;
+    expires_at: z.ZodISODateTime;
+    intent_digest: z.ZodString;
+}, z.core.$strict>;
+export type FundedWorkIntentEnvelope = z.infer<typeof fundedWorkIntentEnvelopeSchema>;
+//# sourceMappingURL=index.d.ts.map

package/dist/contracts/funded-work/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../contracts/funded-work/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAexB,eAAO,MAAM,2BAA2B,aAAkD,CAAC;AAC3F,eAAO,MAAM,8BAA8B,aAAkD,CAAC;AAE9F,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAsDpC,CAAC;AAEZ,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAEhC,CAAC;AAEZ,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,8BAA8B,CAAC,CAAC"}

package/dist/contracts/funded-work/src/index.js

@@ -0,0 +1,67 @@
+import { z } from "zod";
+import { DIGEST_PATTERN, ENTITY_ID_PATTERN, OFFER_ID_PATTERN, PROGRAM_ID_PATTERN, } from "../../../modules/primitives/src/index.js";
+const digestSchema = z.string().regex(DIGEST_PATTERN);
+const instantSchema = z.iso.datetime({ offset: true });
+const opaqueReferenceSchema = z.string().trim().min(1).max(512);
+const entityIdSchema = z.string().regex(ENTITY_ID_PATTERN);
+const programIdSchema = z.string().regex(PROGRAM_ID_PATTERN);
+const offerIdSchema = z.string().regex(OFFER_ID_PATTERN);
+export const commercialProductCodeSchema = z.string().regex(/^[a-z0-9]+(?:-[a-z0-9]+)*$/u);
+export const commercialPriceLookupKeySchema = z.string().regex(/^[a-z0-9]+(?:-[a-z0-9]+)*$/u);
+export const fundedWorkIntentEnvelopeCoreSchema = z
+    .object({
+    intent_contract: z.literal("sourcey.funded-work-intent/v1alpha1"),
+    intent_id: z.string().regex(/^fwi_[a-f0-9]{64}$/u),
+    product_code: commercialProductCodeSchema,
+    purchase_kind: z.literal("one_off"),
+    actor_ref: opaqueReferenceSchema,
+    owner_work_ref: opaqueReferenceSchema,
+    owner_payload_digest: digestSchema,
+    subject: z
+        .object({
+        entity_id: entityIdSchema,
+        program_id: programIdSchema.optional(),
+        offer_id: offerIdSchema,
+    })
+        .strict(),
+    base_release_id: digestSchema,
+    eligibility_digest: digestSchema,
+    policy_bindings: z
+        .array(z
+        .object({
+        role: z.string().regex(/^[a-z0-9]+(?:-[a-z0-9]+)*$/u),
+        policy_digest: digestSchema,
+    })
+        .strict())
+        .min(1)
+        .max(20)
+        .superRefine((bindings, context) => {
+        const roles = bindings.map(({ role }) => role);
+        if (new Set(roles).size !== roles.length) {
+            context.addIssue({ code: "custom", message: "Policy binding roles must be unique." });
+        }
+        if (roles.some((role, index) => index > 0 && (roles[index - 1] ?? "") >= role)) {
+            context.addIssue({
+                code: "custom",
+                message: "Policy bindings must use canonical role order.",
+            });
+        }
+    }),
+    work_class: commercialProductCodeSchema,
+    forbidden_effects: z.tuple([
+        z.literal("admit_without_evidence"),
+        z.literal("alter_facts"),
+        z.literal("alter_ranking"),
+        z.literal("guarantee_outcome"),
+        z.literal("publish_without_authority"),
+    ]),
+    price_lookup_key: commercialPriceLookupKeySchema,
+    requested_by: z.enum(["subject", "contributor"]),
+    issued_at: instantSchema,
+    expires_at: instantSchema,
+})
+    .strict();
+export const fundedWorkIntentEnvelopeSchema = fundedWorkIntentEnvelopeCoreSchema
+    .safeExtend({ intent_digest: digestSchema })
+    .strict();
+//# sourceMappingURL=index.js.map

package/dist/contracts/funded-work/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../contracts/funded-work/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,0CAA0C,CAAC;AAElD,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;AACtD,MAAM,aAAa,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACvD,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAChE,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;AAC3D,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;AAC7D,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAEzD,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;AAC3F,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;AAE9F,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC;KAChD,MAAM,CAAC;IACN,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,qCAAqC,CAAC;IACjE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAClD,YAAY,EAAE,2BAA2B;IACzC,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IACnC,SAAS,EAAE,qBAAqB;IAChC,cAAc,EAAE,qBAAqB;IACrC,oBAAoB,EAAE,YAAY;IAClC,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,SAAS,EAAE,cAAc;QACzB,UAAU,EAAE,eAAe,CAAC,QAAQ,EAAE;QACtC,QAAQ,EAAE,aAAa;KACxB,CAAC;SACD,MAAM,EAAE;IACX,eAAe,EAAE,YAAY;IAC7B,kBAAkB,EAAE,YAAY;IAChC,eAAe,EAAE,CAAC;SACf,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,6BAA6B,CAAC;QACrD,aAAa,EAAE,YAAY;KAC5B,CAAC;SACD,MAAM,EAAE,CACZ;SACA,GAAG,CAAC,CAAC,CAAC;SACN,GAAG,CAAC,EAAE,CAAC;SACP,WAAW,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE;QACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACzC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;YAC/E,OAAO,CAAC,QAAQ,CAAC;gBACf,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,gDAAgD;aAC1D,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC;IACJ,UAAU,EAAE,2BAA2B;IACvC,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC;QACnC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;QACxB,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;QAC1B,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC;QAC9B,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC;KACvC,CAAC;IACF,gBAAgB,EAAE,8BAA8B;IAChD,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAChD,SAAS,EAAE,aAAa;IACxB,UAAU,EAAE,aAAa;CAC1B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,8BAA8B,GAAG,kCAAkC;KAC7E,UAAU,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC;KAC3C,MAAM,EAAE,CAAC"}

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

@@ -0,0 +1,134 @@
+import { z } from "zod";
+export declare const observationMethodKnownValues: readonly ["fixture", "http", "headless", "archive", "manual"];
+export declare const observationMethodSchema: z.ZodString;
+export declare const observationCoreSchema: z.ZodObject<{
+    observation_contract: z.ZodLiteral<"sourcey.observation/v1alpha1">;
+    source_id: z.ZodString;
+    source_uri: z.ZodURL;
+    retrieved_at: z.ZodISODateTime;
+    method: z.ZodObject<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, z.core.$strict>;
+    outcome: z.ZodEnum<{
+        error: "error";
+        unreachable: "unreachable";
+        "supports-candidate": "supports-candidate";
+        "contradicts-candidate": "contradicts-candidate";
+    }>;
+    capture: z.ZodOptional<z.ZodObject<{
+        digest: z.ZodString;
+        bytes: z.ZodNumber;
+        media_type: z.ZodString;
+        availability: z.ZodEnum<{
+            public: "public";
+            "private-receipt": "private-receipt";
+        }>;
+        requested_uri: z.ZodOptional<z.ZodURL>;
+        final_uri: z.ZodOptional<z.ZodURL>;
+        redirect_chain: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            status: z.ZodUnion<readonly [z.ZodLiteral<301>, z.ZodLiteral<302>, z.ZodLiteral<303>, z.ZodLiteral<307>, z.ZodLiteral<308>]>;
+            from: z.ZodURL;
+            to: z.ZodURL;
+        }, z.core.$strict>>>;
+        source_standing: z.ZodOptional<z.ZodEnum<{
+            "live-first-party": "live-first-party";
+            "archived-first-party": "archived-first-party";
+            "live-third-party": "live-third-party";
+            "archived-third-party": "archived-third-party";
+            "manual-first-party": "manual-first-party";
+            "manual-third-party": "manual-third-party";
+        }>>;
+        normalized_object: z.ZodOptional<z.ZodObject<{
+            digest: z.ZodString;
+            bytes: z.ZodNumber;
+            media_type: z.ZodLiteral<"text/plain; charset=utf-8">;
+            normalizer_contract: z.ZodLiteral<"sourcey.evidence-normalizer/v1alpha1">;
+            normalizer_id: z.ZodString;
+            version: z.ZodString;
+            toolchain_digest: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    no_capture_reason: z.ZodOptional<z.ZodEnum<{
+        "dns-failure": "dns-failure";
+        "connect-timeout": "connect-timeout";
+        "tls-failure": "tls-failure";
+        "access-denied": "access-denied";
+        "policy-blocked": "policy-blocked";
+        "empty-response": "empty-response";
+        "extractor-error": "extractor-error";
+    }>>;
+}, z.core.$strict>;
+export declare const observationSchema: z.ZodObject<{
+    observation_contract: z.ZodLiteral<"sourcey.observation/v1alpha1">;
+    source_id: z.ZodString;
+    source_uri: z.ZodURL;
+    retrieved_at: z.ZodISODateTime;
+    method: z.ZodObject<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, z.core.$strict>;
+    outcome: z.ZodEnum<{
+        error: "error";
+        unreachable: "unreachable";
+        "supports-candidate": "supports-candidate";
+        "contradicts-candidate": "contradicts-candidate";
+    }>;
+    capture: z.ZodOptional<z.ZodObject<{
+        digest: z.ZodString;
+        bytes: z.ZodNumber;
+        media_type: z.ZodString;
+        availability: z.ZodEnum<{
+            public: "public";
+            "private-receipt": "private-receipt";
+        }>;
+        requested_uri: z.ZodOptional<z.ZodURL>;
+        final_uri: z.ZodOptional<z.ZodURL>;
+        redirect_chain: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            status: z.ZodUnion<readonly [z.ZodLiteral<301>, z.ZodLiteral<302>, z.ZodLiteral<303>, z.ZodLiteral<307>, z.ZodLiteral<308>]>;
+            from: z.ZodURL;
+            to: z.ZodURL;
+        }, z.core.$strict>>>;
+        source_standing: z.ZodOptional<z.ZodEnum<{
+            "live-first-party": "live-first-party";
+            "archived-first-party": "archived-first-party";
+            "live-third-party": "live-third-party";
+            "archived-third-party": "archived-third-party";
+            "manual-first-party": "manual-first-party";
+            "manual-third-party": "manual-third-party";
+        }>>;
+        normalized_object: z.ZodOptional<z.ZodObject<{
+            digest: z.ZodString;
+            bytes: z.ZodNumber;
+            media_type: z.ZodLiteral<"text/plain; charset=utf-8">;
+            normalizer_contract: z.ZodLiteral<"sourcey.evidence-normalizer/v1alpha1">;
+            normalizer_id: z.ZodString;
+            version: z.ZodString;
+            toolchain_digest: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    no_capture_reason: z.ZodOptional<z.ZodEnum<{
+        "dns-failure": "dns-failure";
+        "connect-timeout": "connect-timeout";
+        "tls-failure": "tls-failure";
+        "access-denied": "access-denied";
+        "policy-blocked": "policy-blocked";
+        "empty-response": "empty-response";
+        "extractor-error": "extractor-error";
+    }>>;
+    observation_id: z.ZodString;
+}, z.core.$strict>;
+export declare const observationPackManifestSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<"sourcey.observation-pack-manifest/v1alpha1">;
+    pack_path: z.ZodString;
+    pack_digest: z.ZodString;
+    bytes: z.ZodNumber;
+    records: z.ZodNumber;
+    first_retrieved_at: z.ZodNullable<z.ZodISODateTime>;
+    last_retrieved_at: z.ZodNullable<z.ZodISODateTime>;
+    shard: z.ZodString;
+}, z.core.$strict>;
+export type ObservationCore = z.infer<typeof observationCoreSchema>;
+export type Observation = z.infer<typeof observationSchema>;
+export type ObservationPackManifest = z.infer<typeof observationPackManifestSchema>;
+//# sourceMappingURL=index.d.ts.map

package/dist/contracts/observations/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../contracts/observations/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAYxB,eAAO,MAAM,4BAA4B,+DAM/B,CAAC;AAEX,eAAO,MAAM,uBAAuB,aAKlC,CAAC;AAgBH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAkD9B,CAAC;AAEL,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAInB,CAAC;AAEZ,eAAO,MAAM,6BAA6B;;;;;;;;;kBA2BtC,CAAC;AAEL,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AACpE,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAC5D,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC"}

package/dist/contracts/observations/src/index.js

@@ -0,0 +1,112 @@
+import { z } from "zod";
+import { DIGEST_PATTERN, IDENTIFIER_PATTERN } from "../../../modules/primitives/src/index.js";
+import { evidenceNormalizedObjectSchema, evidenceRedirectSchema, evidenceSourceStandingSchema, } from "../../evidence/src/index.js";
+const digest = z.string().regex(DIGEST_PATTERN);
+const identifier = z.string().regex(IDENTIFIER_PATTERN);
+const instant = z.iso.datetime({ offset: true });
+export const observationMethodKnownValues = [
+    "fixture",
+    "http",
+    "headless",
+    "archive",
+    "manual",
+];
+export const observationMethodSchema = identifier.meta({
+    description: "Capture adapter identifier. Known values are examples; new adapters may appear without changing the observation envelope.",
+    examples: observationMethodKnownValues,
+    "x-sourcey-extensible-enum": true,
+});
+const captureSchema = z
+    .object({
+    digest,
+    bytes: z.number().int().nonnegative(),
+    media_type: z.string().min(1),
+    availability: z.enum(["public", "private-receipt"]),
+    requested_uri: z.url({ protocol: /^https$/ }).optional(),
+    final_uri: z.url({ protocol: /^https$/ }).optional(),
+    redirect_chain: z.array(evidenceRedirectSchema).max(5).optional(),
+    source_standing: evidenceSourceStandingSchema.optional(),
+    normalized_object: evidenceNormalizedObjectSchema.optional(),
+})
+    .strict();
+export const observationCoreSchema = z
+    .object({
+    observation_contract: z.literal("sourcey.observation/v1alpha1"),
+    source_id: identifier,
+    source_uri: z.url(),
+    retrieved_at: instant,
+    method: z
+        .object({
+        name: observationMethodSchema,
+        version: z.string().min(1),
+    })
+        .strict(),
+    outcome: z.enum(["supports-candidate", "contradicts-candidate", "unreachable", "error"]),
+    capture: captureSchema.optional(),
+    no_capture_reason: z
+        .enum([
+        "dns-failure",
+        "connect-timeout",
+        "tls-failure",
+        "access-denied",
+        "policy-blocked",
+        "empty-response",
+        "extractor-error",
+    ])
+        .optional(),
+})
+    .strict()
+    .superRefine((value, context) => {
+    const successful = value.outcome === "supports-candidate" || value.outcome === "contradicts-candidate";
+    if (successful && !value.capture) {
+        context.addIssue({
+            code: "custom",
+            path: ["capture"],
+            message: "A supporting or contradicting observation requires captured bytes.",
+        });
+    }
+    if (!successful && !value.no_capture_reason) {
+        context.addIssue({
+            code: "custom",
+            path: ["no_capture_reason"],
+            message: "An unsuccessful observation requires a typed no-capture reason.",
+        });
+    }
+    if (value.capture && value.no_capture_reason) {
+        context.addIssue({
+            code: "custom",
+            message: "An observation cannot have both capture bytes and a no-capture reason.",
+        });
+    }
+});
+export const observationSchema = observationCoreSchema
+    .extend({
+    observation_id: digest,
+})
+    .strict();
+export const observationPackManifestSchema = z
+    .object({
+    schema_version: z.literal("sourcey.observation-pack-manifest/v1alpha1"),
+    pack_path: z.string().min(1),
+    pack_digest: digest,
+    bytes: z.number().int().nonnegative(),
+    records: z.number().int().nonnegative(),
+    first_retrieved_at: instant.nullable(),
+    last_retrieved_at: instant.nullable(),
+    shard: z.string().min(1),
+})
+    .strict()
+    .superRefine((value, context) => {
+    const empty = value.records === 0;
+    if ((empty &&
+        (value.bytes !== 1 ||
+            value.first_retrieved_at !== null ||
+            value.last_retrieved_at !== null)) ||
+        (!empty && (value.first_retrieved_at === null || value.last_retrieved_at === null))) {
+        context.addIssue({
+            code: "custom",
+            message: "Empty observation packs require one terminating LF byte and null time bounds; non-empty packs require both bounds.",
+        });
+    }
+});
+//# sourceMappingURL=index.js.map

package/dist/contracts/observations/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../contracts/observations/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,0CAA0C,CAAC;AAC9F,OAAO,EACL,8BAA8B,EAC9B,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AAErC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;AAChD,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;AACxD,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAEjD,MAAM,CAAC,MAAM,4BAA4B,GAAG;IAC1C,SAAS;IACT,MAAM;IACN,UAAU;IACV,SAAS;IACT,QAAQ;CACA,CAAC;AAEX,MAAM,CAAC,MAAM,uBAAuB,GAAG,UAAU,CAAC,IAAI,CAAC;IACrD,WAAW,EACT,2HAA2H;IAC7H,QAAQ,EAAE,4BAA4B;IACtC,2BAA2B,EAAE,IAAI;CAClC,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC;KACpB,MAAM,CAAC;IACN,MAAM;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACrC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACnD,aAAa,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,QAAQ,EAAE;IACxD,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,QAAQ,EAAE;IACpD,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACjE,eAAe,EAAE,4BAA4B,CAAC,QAAQ,EAAE;IACxD,iBAAiB,EAAE,8BAA8B,CAAC,QAAQ,EAAE;CAC7D,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,8BAA8B,CAAC;IAC/D,SAAS,EAAE,UAAU;IACrB,UAAU,EAAE,CAAC,CAAC,GAAG,EAAE;IACnB,YAAY,EAAE,OAAO;IACrB,MAAM,EAAE,CAAC;SACN,MAAM,CAAC;QACN,IAAI,EAAE,uBAAuB;QAC7B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC3B,CAAC;SACD,MAAM,EAAE;IACX,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,oBAAoB,EAAE,uBAAuB,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;IACxF,OAAO,EAAE,aAAa,CAAC,QAAQ,EAAE;IACjC,iBAAiB,EAAE,CAAC;SACjB,IAAI,CAAC;QACJ,aAAa;QACb,iBAAiB;QACjB,aAAa;QACb,eAAe;QACf,gBAAgB;QAChB,gBAAgB;QAChB,iBAAiB;KAClB,CAAC;SACD,QAAQ,EAAE;CACd,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;IAC9B,MAAM,UAAU,GACd,KAAK,CAAC,OAAO,KAAK,oBAAoB,IAAI,KAAK,CAAC,OAAO,KAAK,uBAAuB,CAAC;IACtF,IAAI,UAAU,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACjC,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,CAAC;YACjB,OAAO,EAAE,oEAAoE;SAC9E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC5C,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,mBAAmB,CAAC;YAC3B,OAAO,EAAE,iEAAiE;SAC3E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC7C,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,wEAAwE;SAClF,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,iBAAiB,GAAG,qBAAqB;KACnD,MAAM,CAAC;IACN,cAAc,EAAE,MAAM;CACvB,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC;KAC3C,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,4CAA4C,CAAC;IACvE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,WAAW,EAAE,MAAM;IACnB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACrC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACvC,kBAAkB,EAAE,OAAO,CAAC,QAAQ,EAAE;IACtC,iBAAiB,EAAE,OAAO,CAAC,QAAQ,EAAE;IACrC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACzB,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;IAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC;IAClC,IACE,CAAC,KAAK;QACJ,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC;YAChB,KAAK,CAAC,kBAAkB,KAAK,IAAI;YACjC,KAAK,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC;QACtC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,kBAAkB,KAAK,IAAI,IAAI,KAAK,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,EACnF,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,OAAO,EACL,oHAAoH;SACvH,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,151 @@
+import { z } from "zod";
+export declare const coverageRequirementSchema: z.ZodObject<{
+    path: z.ZodString;
+    proof_kinds: z.ZodArray<z.ZodEnum<{
+        observed: "observed";
+        derived: "derived";
+        editorial: "editorial";
+        attested: "attested";
+    }>>;
+    derivation_rules: z.ZodArray<z.ZodEnum<{
+        "contact-access-from-first-party-mailto": "contact-access-from-first-party-mailto";
+        "form-access-from-first-party-application": "form-access-from-first-party-application";
+        "first-party-access-operator": "first-party-access-operator";
+        "public-availability-from-application": "public-availability-from-application";
+    }>>;
+    guidance: z.ZodString;
+}, z.core.$strict>;
+export declare const coveragePolicyCoreSchema: z.ZodObject<{
+    policy_contract: z.ZodLiteral<"sourcey.coverage/v1alpha1">;
+    version: z.ZodString;
+    entity_requirements: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        proof_kinds: z.ZodArray<z.ZodEnum<{
+            observed: "observed";
+            derived: "derived";
+            editorial: "editorial";
+            attested: "attested";
+        }>>;
+        derivation_rules: z.ZodArray<z.ZodEnum<{
+            "contact-access-from-first-party-mailto": "contact-access-from-first-party-mailto";
+            "form-access-from-first-party-application": "form-access-from-first-party-application";
+            "first-party-access-operator": "first-party-access-operator";
+            "public-availability-from-application": "public-availability-from-application";
+        }>>;
+        guidance: z.ZodString;
+    }, z.core.$strict>>;
+    program_requirements: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        proof_kinds: z.ZodArray<z.ZodEnum<{
+            observed: "observed";
+            derived: "derived";
+            editorial: "editorial";
+            attested: "attested";
+        }>>;
+        derivation_rules: z.ZodArray<z.ZodEnum<{
+            "contact-access-from-first-party-mailto": "contact-access-from-first-party-mailto";
+            "form-access-from-first-party-application": "form-access-from-first-party-application";
+            "first-party-access-operator": "first-party-access-operator";
+            "public-availability-from-application": "public-availability-from-application";
+        }>>;
+        guidance: z.ZodString;
+    }, z.core.$strict>>;
+    offer_requirements: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        proof_kinds: z.ZodArray<z.ZodEnum<{
+            observed: "observed";
+            derived: "derived";
+            editorial: "editorial";
+            attested: "attested";
+        }>>;
+        derivation_rules: z.ZodArray<z.ZodEnum<{
+            "contact-access-from-first-party-mailto": "contact-access-from-first-party-mailto";
+            "form-access-from-first-party-application": "form-access-from-first-party-application";
+            "first-party-access-operator": "first-party-access-operator";
+            "public-availability-from-application": "public-availability-from-application";
+        }>>;
+        guidance: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const coveragePolicySchema: z.ZodObject<{
+    policy_contract: z.ZodLiteral<"sourcey.coverage/v1alpha1">;
+    version: z.ZodString;
+    entity_requirements: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        proof_kinds: z.ZodArray<z.ZodEnum<{
+            observed: "observed";
+            derived: "derived";
+            editorial: "editorial";
+            attested: "attested";
+        }>>;
+        derivation_rules: z.ZodArray<z.ZodEnum<{
+            "contact-access-from-first-party-mailto": "contact-access-from-first-party-mailto";
+            "form-access-from-first-party-application": "form-access-from-first-party-application";
+            "first-party-access-operator": "first-party-access-operator";
+            "public-availability-from-application": "public-availability-from-application";
+        }>>;
+        guidance: z.ZodString;
+    }, z.core.$strict>>;
+    program_requirements: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        proof_kinds: z.ZodArray<z.ZodEnum<{
+            observed: "observed";
+            derived: "derived";
+            editorial: "editorial";
+            attested: "attested";
+        }>>;
+        derivation_rules: z.ZodArray<z.ZodEnum<{
+            "contact-access-from-first-party-mailto": "contact-access-from-first-party-mailto";
+            "form-access-from-first-party-application": "form-access-from-first-party-application";
+            "first-party-access-operator": "first-party-access-operator";
+            "public-availability-from-application": "public-availability-from-application";
+        }>>;
+        guidance: z.ZodString;
+    }, z.core.$strict>>;
+    offer_requirements: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        proof_kinds: z.ZodArray<z.ZodEnum<{
+            observed: "observed";
+            derived: "derived";
+            editorial: "editorial";
+            attested: "attested";
+        }>>;
+        derivation_rules: z.ZodArray<z.ZodEnum<{
+            "contact-access-from-first-party-mailto": "contact-access-from-first-party-mailto";
+            "form-access-from-first-party-application": "form-access-from-first-party-application";
+            "first-party-access-operator": "first-party-access-operator";
+            "public-availability-from-application": "public-availability-from-application";
+        }>>;
+        guidance: z.ZodString;
+    }, z.core.$strict>>;
+    policy_digest: z.ZodString;
+}, z.core.$strict>;
+/**
+ * Current Catalog policy completeness. Historical content-addressed policies
+ * continue to parse under the contract that produced their releases, while a
+ * production target must account for every current public factual root. An
+ * optional field is applicable only when a revision publishes it.
+ */
+export declare const currentCatalogMaterialClaimPaths: {
+    readonly entity: readonly ["/category", "/description", "/domains", "/links", "/name", "/summary"];
+    readonly program: readonly ["/summary", "/title"];
+    readonly offer: readonly ["/access", "/description", "/economics", "/eligibility", "/lifecycle", "/roles", "/summary", "/terms_url", "/title"];
+};
+export declare function assertCurrentCoveragePolicyClaimClosure(policy: CoveragePolicy): CoveragePolicy;
+export declare const freshnessPolicyCoreSchema: z.ZodObject<{
+    policy_contract: z.ZodLiteral<"sourcey.freshness/v1alpha1">;
+    version: z.ZodString;
+    max_age_days: z.ZodRecord<z.ZodString, z.ZodNumber>;
+}, z.core.$strict>;
+export declare const freshnessPolicySchema: z.ZodObject<{
+    policy_contract: z.ZodLiteral<"sourcey.freshness/v1alpha1">;
+    version: z.ZodString;
+    max_age_days: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    policy_digest: z.ZodString;
+}, z.core.$strict>;
+export type CoveragePolicyCore = z.infer<typeof coveragePolicyCoreSchema>;
+export type CoveragePolicy = z.infer<typeof coveragePolicySchema>;
+export type CoverageRequirement = z.infer<typeof coverageRequirementSchema>;
+export type FreshnessPolicyCore = z.infer<typeof freshnessPolicyCoreSchema>;
+export type FreshnessPolicy = z.infer<typeof freshnessPolicySchema>;
+//# sourceMappingURL=index.d.ts.map

package/dist/contracts/policies/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../contracts/policies/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;kBAgClC,CAAC;AAEL,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAwBjC,CAAC;AAEL,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAItB,CAAC;AAEZ;;;;;GAKG;AACH,eAAO,MAAM,gCAAgC;;;;CAcnC,CAAC;AAEX,wBAAgB,uCAAuC,CAAC,MAAM,EAAE,cAAc,GAAG,cAAc,CAkB9F;AAED,eAAO,MAAM,yBAAyB;;;;kBAa3B,CAAC;AAEZ,eAAO,MAAM,qBAAqB;;;;;kBAIvB,CAAC;AAEZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAC1E,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAClE,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAC5E,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAC5E,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC"}