@sourcey/catalog-verifier 1.1.3 → 1.1.5

package/dist/contracts/agent-readiness/src/operate-policy.d.ts

@@ -0,0 +1,251 @@
+import { z } from "zod";
+/**
+ * The rating rules as data: the jobs a profile can be rated on, which letter a
+ * path earns and what it must have assessed to earn it, when a step counts as
+ * blocked, and how long a run stays fresh. The engine applies them; the
+ * published file is what every reader, the verifier included, applies.
+ */
+export declare const AGENT_READINESS_POLICY_CONTRACT: "sourcey.agent-readiness-policy/v1alpha1";
+export declare const agentReadinessPolicyCoreSchema: z.ZodObject<{
+    policy_contract: z.ZodLiteral<"sourcey.agent-readiness-policy/v1alpha1">;
+    policy_version: z.ZodString;
+    job_library: z.ZodObject<{
+        library_contract: z.ZodLiteral<"sourcey.agent-readiness-job-library/v1alpha1">;
+        library_version: z.ZodString;
+        jobs: z.ZodArray<z.ZodObject<{
+            job_id: z.ZodString;
+            category: z.ZodString;
+            name: z.ZodString;
+            statement: z.ZodString;
+            inputs: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"fixed">;
+                name: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"nonce">;
+                name: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"sink">;
+                name: z.ZodString;
+                sink: z.ZodEnum<{
+                    email: "email";
+                    phone: "phone";
+                    webhook: "webhook";
+                }>;
+            }, z.core.$strict>], "kind">>;
+            assertions: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                statement: z.ZodString;
+                proof: z.ZodEnum<{
+                    dns_answer: "dns_answer";
+                    dns_success: "dns_success";
+                    message_accepted: "message_accepted";
+                    model_selected: "model_selected";
+                    resource_created: "resource_created";
+                    resource_read_back: "resource_read_back";
+                    sink_received: "sink_received";
+                    stream_chunks: "stream_chunks";
+                    tool_called: "tool_called";
+                }>;
+            }, z.core.$strict>>;
+            observation_links: z.ZodArray<z.ZodObject<{
+                from: z.ZodObject<{
+                    assertion: z.ZodString;
+                    observation: z.ZodString;
+                }, z.core.$strict>;
+                to: z.ZodObject<{
+                    assertion: z.ZodString;
+                    observation: z.ZodString;
+                }, z.core.$strict>;
+            }, z.core.$strict>>;
+            error_probe: z.ZodObject<{
+                statement: z.ZodString;
+            }, z.core.$strict>;
+            effect: z.ZodEnum<{
+                billable: "billable";
+                consequential: "consequential";
+                read: "read";
+            }>;
+            cleanup: z.ZodEnum<{
+                none: "none";
+                required: "required";
+            }>;
+        }, z.core.$strict>>;
+        library_digest: z.ZodString;
+    }, z.core.$strict>;
+    letters: z.ZodArray<z.ZodObject<{
+        letter: z.ZodEnum<{
+            A: "A";
+            "A+": "A+";
+            B: "B";
+            "B+": "B+";
+            C: "C";
+            "C+": "C+";
+        }>;
+        condition: z.ZodObject<{
+            workarounds_allowed: z.ZodBoolean;
+            recurring_allowed_in: z.ZodArray<z.ZodEnum<{
+                confirm: "confirm";
+                delegation: "delegation";
+                discover: "discover";
+                job: "job";
+                pay: "pay";
+                sustain: "sustain";
+            }>>;
+            recurring_required_in: z.ZodNullable<z.ZodArray<z.ZodEnum<{
+                confirm: "confirm";
+                delegation: "delegation";
+                discover: "discover";
+                job: "job";
+                pay: "pay";
+                sustain: "sustain";
+            }>>>;
+            setup_workarounds: z.ZodObject<{
+                minimum: z.ZodNumber;
+                maximum: z.ZodNullable<z.ZodNumber>;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        coverage: z.ZodArray<z.ZodEnum<{
+            confirm: "confirm";
+            delegation: "delegation";
+            discover: "discover";
+            job: "job";
+            pay: "pay";
+            sustain: "sustain";
+        }>>;
+        statement: z.ZodString;
+    }, z.core.$strict>>;
+    blocked: z.ZodObject<{
+        attempts: z.ZodNumber;
+        minimum_interval_seconds: z.ZodNumber;
+        statuses: z.ZodArray<z.ZodNumber>;
+        statements: z.ZodObject<{
+            D: z.ZodString;
+            F: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    fresh_for_days: z.ZodNumber;
+}, z.core.$strict>;
+export declare const agentReadinessPolicySchema: z.ZodObject<{
+    policy_contract: z.ZodLiteral<"sourcey.agent-readiness-policy/v1alpha1">;
+    policy_version: z.ZodString;
+    job_library: z.ZodObject<{
+        library_contract: z.ZodLiteral<"sourcey.agent-readiness-job-library/v1alpha1">;
+        library_version: z.ZodString;
+        jobs: z.ZodArray<z.ZodObject<{
+            job_id: z.ZodString;
+            category: z.ZodString;
+            name: z.ZodString;
+            statement: z.ZodString;
+            inputs: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"fixed">;
+                name: z.ZodString;
+                value: z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"nonce">;
+                name: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"sink">;
+                name: z.ZodString;
+                sink: z.ZodEnum<{
+                    email: "email";
+                    phone: "phone";
+                    webhook: "webhook";
+                }>;
+            }, z.core.$strict>], "kind">>;
+            assertions: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                statement: z.ZodString;
+                proof: z.ZodEnum<{
+                    dns_answer: "dns_answer";
+                    dns_success: "dns_success";
+                    message_accepted: "message_accepted";
+                    model_selected: "model_selected";
+                    resource_created: "resource_created";
+                    resource_read_back: "resource_read_back";
+                    sink_received: "sink_received";
+                    stream_chunks: "stream_chunks";
+                    tool_called: "tool_called";
+                }>;
+            }, z.core.$strict>>;
+            observation_links: z.ZodArray<z.ZodObject<{
+                from: z.ZodObject<{
+                    assertion: z.ZodString;
+                    observation: z.ZodString;
+                }, z.core.$strict>;
+                to: z.ZodObject<{
+                    assertion: z.ZodString;
+                    observation: z.ZodString;
+                }, z.core.$strict>;
+            }, z.core.$strict>>;
+            error_probe: z.ZodObject<{
+                statement: z.ZodString;
+            }, z.core.$strict>;
+            effect: z.ZodEnum<{
+                billable: "billable";
+                consequential: "consequential";
+                read: "read";
+            }>;
+            cleanup: z.ZodEnum<{
+                none: "none";
+                required: "required";
+            }>;
+        }, z.core.$strict>>;
+        library_digest: z.ZodString;
+    }, z.core.$strict>;
+    letters: z.ZodArray<z.ZodObject<{
+        letter: z.ZodEnum<{
+            A: "A";
+            "A+": "A+";
+            B: "B";
+            "B+": "B+";
+            C: "C";
+            "C+": "C+";
+        }>;
+        condition: z.ZodObject<{
+            workarounds_allowed: z.ZodBoolean;
+            recurring_allowed_in: z.ZodArray<z.ZodEnum<{
+                confirm: "confirm";
+                delegation: "delegation";
+                discover: "discover";
+                job: "job";
+                pay: "pay";
+                sustain: "sustain";
+            }>>;
+            recurring_required_in: z.ZodNullable<z.ZodArray<z.ZodEnum<{
+                confirm: "confirm";
+                delegation: "delegation";
+                discover: "discover";
+                job: "job";
+                pay: "pay";
+                sustain: "sustain";
+            }>>>;
+            setup_workarounds: z.ZodObject<{
+                minimum: z.ZodNumber;
+                maximum: z.ZodNullable<z.ZodNumber>;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        coverage: z.ZodArray<z.ZodEnum<{
+            confirm: "confirm";
+            delegation: "delegation";
+            discover: "discover";
+            job: "job";
+            pay: "pay";
+            sustain: "sustain";
+        }>>;
+        statement: z.ZodString;
+    }, z.core.$strict>>;
+    blocked: z.ZodObject<{
+        attempts: z.ZodNumber;
+        minimum_interval_seconds: z.ZodNumber;
+        statuses: z.ZodArray<z.ZodNumber>;
+        statements: z.ZodObject<{
+            D: z.ZodString;
+            F: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    fresh_for_days: z.ZodNumber;
+    policy_digest: z.ZodString;
+}, z.core.$strict>;
+export type AgentReadinessPolicy = z.infer<typeof agentReadinessPolicySchema>;
+//# sourceMappingURL=operate-policy.d.ts.map

package/dist/contracts/agent-readiness/src/operate-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operate-policy.d.ts","sourceRoot":"","sources":["../../../../contracts/agent-readiness/src/operate-policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAUxB;;;;;GAKG;AAEH,eAAO,MAAM,+BAA+B,EAAG,yCAAkD,CAAC;AA6BlG,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAmDvC,CAAC;AAEL,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAE5B,CAAC;AACZ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC"}

package/dist/contracts/agent-readiness/src/operate-policy.js

@@ -0,0 +1,86 @@
+import { z } from "zod";
+import { agentReadinessJobLibrarySchema } from "./jobs.js";
+import { AGENT_READINESS_MAXIMUM_REVISION_RUNS, AGENT_READINESS_STEPS, agentReadinessDigestSchema, agentReadinessOperateLetterSchema, agentReadinessStepSchema, } from "./shared.js";
+/**
+ * The rating rules as data: the jobs a profile can be rated on, which letter a
+ * path earns and what it must have assessed to earn it, when a step counts as
+ * blocked, and how long a run stays fresh. The engine applies them; the
+ * published file is what every reader, the verifier included, applies.
+ */
+export const AGENT_READINESS_POLICY_CONTRACT = "sourcey.agent-readiness-policy/v1alpha1";
+const stepsSchema = z.array(agentReadinessStepSchema).max(AGENT_READINESS_STEPS.length);
+const agentReadinessLetterRuleSchema = z
+    .object({
+    letter: agentReadinessOperateLetterSchema.exclude(["D", "F"]),
+    condition: z
+        .object({
+        /** False: no `workaround` on any step. */
+        workarounds_allowed: z.boolean(),
+        /** Steps where a recurring `workaround` may appear; empty allows none. */
+        recurring_allowed_in: stepsSchema,
+        /** At least one recurring `workaround` in these steps, when set. */
+        recurring_required_in: stepsSchema.min(1).nullable(),
+        setup_workarounds: z
+            .object({
+            minimum: z.number().int().nonnegative(),
+            maximum: z.number().int().nonnegative().nullable(),
+        })
+            .strict(),
+    })
+        .strict(),
+    /** Steps that must be assessed (any outcome but `not_assessed`) for this letter. */
+    coverage: stepsSchema.min(1),
+    statement: z.string().trim().min(1).max(280),
+})
+    .strict();
+export const agentReadinessPolicyCoreSchema = z
+    .object({
+    policy_contract: z.literal(AGENT_READINESS_POLICY_CONTRACT),
+    policy_version: z.string().trim().min(1).max(80),
+    /** The sealed library itself: a new job is a new policy. */
+    job_library: agentReadinessJobLibrarySchema,
+    /** Tried best first; the first rule whose condition and coverage hold is the letter. */
+    letters: z.array(agentReadinessLetterRuleSchema).min(1),
+    blocked: z
+        .object({
+        /** Executed attempts with the same refusal; a revision cites every one of them. */
+        attempts: z.number().int().min(2).max(AGENT_READINESS_MAXIMUM_REVISION_RUNS),
+        /** The least time between the first and the last of them. */
+        minimum_interval_seconds: z.number().int().positive(),
+        /** Statuses that refuse a valid authority; 401 (invalid authority) is never one. */
+        statuses: z.array(z.number().int().min(400).max(499)).min(1),
+        /** What D (Delegation or Pay blocked) and F (the job blocked) tell a reader. */
+        statements: z
+            .object({
+            D: z.string().trim().min(1).max(280),
+            F: z.string().trim().min(1).max(280),
+        })
+            .strict(),
+    })
+        .strict(),
+    /** A rating rests on its latest run; older than this, it is stale. */
+    fresh_for_days: z.number().int().positive(),
+})
+    .strict()
+    .superRefine((policy, context) => {
+    const letters = policy.letters.map(({ letter }) => letter);
+    const order = agentReadinessOperateLetterSchema.options;
+    if (letters.some((letter, index) => index > 0 && order.indexOf(letters[index - 1]) >= order.indexOf(letter))) {
+        context.addIssue({
+            code: "custom",
+            path: ["letters"],
+            message: "Letter rules are unique and ordered best first.",
+        });
+    }
+    if (policy.blocked.statuses.includes(401)) {
+        context.addIssue({
+            code: "custom",
+            path: ["blocked", "statuses"],
+            message: "401 says the authority is invalid, which is residue, never a blocker.",
+        });
+    }
+});
+export const agentReadinessPolicySchema = agentReadinessPolicyCoreSchema
+    .safeExtend({ policy_digest: agentReadinessDigestSchema })
+    .strict();
+//# sourceMappingURL=operate-policy.js.map

package/dist/contracts/agent-readiness/src/operate-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operate-policy.js","sourceRoot":"","sources":["../../../../contracts/agent-readiness/src/operate-policy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,8BAA8B,EAAE,MAAM,WAAW,CAAC;AAC3D,OAAO,EACL,qCAAqC,EACrC,qBAAqB,EACrB,0BAA0B,EAC1B,iCAAiC,EACjC,wBAAwB,GACzB,MAAM,aAAa,CAAC;AAErB;;;;;GAKG;AAEH,MAAM,CAAC,MAAM,+BAA+B,GAAG,yCAAkD,CAAC;AAElG,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;AAExF,MAAM,8BAA8B,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,MAAM,EAAE,iCAAiC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7D,SAAS,EAAE,CAAC;SACT,MAAM,CAAC;QACN,0CAA0C;QAC1C,mBAAmB,EAAE,CAAC,CAAC,OAAO,EAAE;QAChC,0EAA0E;QAC1E,oBAAoB,EAAE,WAAW;QACjC,oEAAoE;QACpE,qBAAqB,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QACpD,iBAAiB,EAAE,CAAC;aACjB,MAAM,CAAC;YACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;YACvC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;SACnD,CAAC;aACD,MAAM,EAAE;KACZ,CAAC;SACD,MAAM,EAAE;IACX,oFAAoF;IACpF,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;CAC7C,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC;KAC5C,MAAM,CAAC;IACN,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC3D,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IAChD,4DAA4D;IAC5D,WAAW,EAAE,8BAA8B;IAC3C,wFAAwF;IACxF,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,mFAAmF;QACnF,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,qCAAqC,CAAC;QAC5E,6DAA6D;QAC7D,wBAAwB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QACrD,oFAAoF;QACpF,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,gFAAgF;QAChF,UAAU,EAAE,CAAC;aACV,MAAM,CAAC;YACN,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;YACpC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;SACrC,CAAC;aACD,MAAM,EAAE;KACZ,CAAC;SACD,MAAM,EAAE;IACX,sEAAsE;IACtE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;CAC5C,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;IAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,iCAAiC,CAAC,OAAO,CAAC;IACxD,IACE,OAAO,CAAC,IAAI,CACV,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAChB,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAU,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CACnF,EACD,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,CAAC;YACjB,OAAO,EAAE,iDAAiD;SAC3D,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1C,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;YAC7B,OAAO,EAAE,uEAAuE;SACjF,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,0BAA0B,GAAG,8BAA8B;KACrE,UAAU,CAAC,EAAE,aAAa,EAAE,0BAA0B,EAAE,CAAC;KACzD,MAAM,EAAE,CAAC"}