@sourcey/catalog-verifier 1.0.0

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

@@ -0,0 +1,121 @@
+import { z } from "zod";
+import { DIGEST_PATTERN } from "../../../modules/primitives/src/index.js";
+import { evidenceDerivationRuleSchema, evidenceProofKindSchema } from "../../evidence/src/index.js";
+const digest = z.string().regex(DIGEST_PATTERN);
+const pointer = z.string().regex(/^\/(?:[^~/]|~0|~1)+(?:\/(?:[^~/]|~0|~1)+)*$/);
+export const coverageRequirementSchema = z
+    .object({
+    path: pointer,
+    proof_kinds: z.array(evidenceProofKindSchema).min(1).max(3),
+    derivation_rules: z.array(evidenceDerivationRuleSchema).max(4),
+    guidance: z.string().min(1).max(500),
+})
+    .strict()
+    .superRefine((value, context) => {
+    if (new Set(value.proof_kinds).size !== value.proof_kinds.length) {
+        context.addIssue({
+            code: "custom",
+            path: ["proof_kinds"],
+            message: "Coverage requirement proof kinds must be unique.",
+        });
+    }
+    if (new Set(value.derivation_rules).size !== value.derivation_rules.length) {
+        context.addIssue({
+            code: "custom",
+            path: ["derivation_rules"],
+            message: "Coverage requirement derivation rules must be unique.",
+        });
+    }
+    if (value.proof_kinds.includes("derived") !== value.derivation_rules.length > 0) {
+        context.addIssue({
+            code: "custom",
+            path: ["derivation_rules"],
+            message: value.proof_kinds.includes("derived")
+                ? "A derived coverage requirement must declare its accepted rules."
+                : "Only a derived coverage requirement may declare derivation rules.",
+        });
+    }
+});
+export const coveragePolicyCoreSchema = z
+    .object({
+    policy_contract: z.literal("sourcey.coverage/v1alpha1"),
+    version: z.string().min(1),
+    entity_requirements: z.array(coverageRequirementSchema).min(1),
+    program_requirements: z.array(coverageRequirementSchema).min(1),
+    offer_requirements: z.array(coverageRequirementSchema).min(1),
+})
+    .strict()
+    .superRefine((value, context) => {
+    for (const key of [
+        "entity_requirements",
+        "program_requirements",
+        "offer_requirements",
+    ]) {
+        const paths = value[key].map(({ path }) => path);
+        if (new Set(paths).size !== paths.length) {
+            context.addIssue({
+                code: "custom",
+                path: [key],
+                message: "Coverage requirement paths must be unique per subject kind.",
+            });
+        }
+    }
+});
+export const coveragePolicySchema = coveragePolicyCoreSchema
+    .extend({
+    policy_digest: digest,
+})
+    .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 const currentCatalogMaterialClaimPaths = {
+    entity: ["/category", "/description", "/domains", "/links", "/name", "/summary"],
+    program: ["/summary", "/title"],
+    offer: [
+        "/access",
+        "/description",
+        "/economics",
+        "/eligibility",
+        "/lifecycle",
+        "/roles",
+        "/summary",
+        "/terms_url",
+        "/title",
+    ],
+};
+export function assertCurrentCoveragePolicyClaimClosure(policy) {
+    for (const [kind, requirements] of [
+        ["entity", policy.entity_requirements],
+        ["program", policy.program_requirements],
+        ["offer", policy.offer_requirements],
+    ]) {
+        const expected = currentCatalogMaterialClaimPaths[kind];
+        const actual = requirements.map(({ path }) => path).sort();
+        if (actual.length !== expected.length ||
+            actual.some((path, index) => path !== expected[index])) {
+            throw new Error(`Current ${kind} coverage policy must exactly cover: ${expected.join(", ")}.`);
+        }
+    }
+    return policy;
+}
+export const freshnessPolicyCoreSchema = z
+    .object({
+    policy_contract: z.literal("sourcey.freshness/v1alpha1"),
+    version: z.string().min(1),
+    /* Method names are owned by evidence producers, not by this generic
+       policy contract. Every admitted method must have an explicit budget. */
+    max_age_days: z
+        .record(z.string().min(1), z.number().int().positive())
+        .refine((value) => Object.keys(value).length > 0, "Freshness policy must declare at least one method age budget."),
+})
+    .strict();
+export const freshnessPolicySchema = freshnessPolicyCoreSchema
+    .extend({
+    policy_digest: digest,
+})
+    .strict();
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../contracts/policies/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEpG,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;AAChD,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;AAEhF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,IAAI,EAAE,OAAO;IACb,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;CACrC,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;IAC9B,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QACjE,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,aAAa,CAAC;YACrB,OAAO,EAAE,kDAAkD;SAC5D,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;QAC3E,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,kBAAkB,CAAC;YAC1B,OAAO,EAAE,uDAAuD;SACjE,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChF,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,kBAAkB,CAAC;YAC1B,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC;gBAC5C,CAAC,CAAC,iEAAiE;gBACnE,CAAC,CAAC,mEAAmE;SACxE,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACvD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/D,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC9D,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;IAC9B,KAAK,MAAM,GAAG,IAAI;QAChB,qBAAqB;QACrB,sBAAsB;QACtB,oBAAoB;KACZ,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACzC,OAAO,CAAC,QAAQ,CAAC;gBACf,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,GAAG,CAAC;gBACX,OAAO,EAAE,6DAA6D;aACvE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,oBAAoB,GAAG,wBAAwB;KACzD,MAAM,CAAC;IACN,aAAa,EAAE,MAAM;CACtB,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG;IAC9C,MAAM,EAAE,CAAC,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC;IAChF,OAAO,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC/B,KAAK,EAAE;QACL,SAAS;QACT,cAAc;QACd,YAAY;QACZ,cAAc;QACd,YAAY;QACZ,QAAQ;QACR,UAAU;QACV,YAAY;QACZ,QAAQ;KACT;CACO,CAAC;AAEX,MAAM,UAAU,uCAAuC,CAAC,MAAsB;IAC5E,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI;QACjC,CAAC,QAAQ,EAAE,MAAM,CAAC,mBAAmB,CAAC;QACtC,CAAC,SAAS,EAAE,MAAM,CAAC,oBAAoB,CAAC;QACxC,CAAC,OAAO,EAAE,MAAM,CAAC,kBAAkB,CAAC;KAC5B,EAAE,CAAC;QACX,MAAM,QAAQ,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3D,IACE,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YACjC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,EACtD,CAAC;YACD,MAAM,IAAI,KAAK,CACb,WAAW,IAAI,wCAAwC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9E,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC;IACxD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B;8EAC0E;IAC1E,YAAY,EAAE,CAAC;SACZ,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;SACtD,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,EACxC,+DAA+D,CAChE;CACJ,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,qBAAqB,GAAG,yBAAyB;KAC3D,MAAM,CAAC;IACN,aAAa,EAAE,MAAM;CACtB,CAAC;KACD,MAAM,EAAE,CAAC"}