@sourcey/catalog-verifier 1.1.21 → 1.1.23

package/dist/modules/agent-readiness-engine/src/path.d.ts

@@ -1,24 +1,77 @@
-import { type Digest } from "provenry/primitives";
-import { type AgentReadinessJob, type AgentReadinessJobBinding, type AgentReadinessRunRecord, type AgentReadinessStepResult } from "../../../contracts/agent-readiness/src/index.js";
-import type { AgentReadinessPolicy } from "../../../contracts/agent-readiness/src/operate-policy.js";
+import type { AgentReadinessPolicy } from "../../../contracts/agent-readiness/src/grade-policy.js";
+import { type AgentReadinessJob, type AgentReadinessJobBinding, type AgentReadinessJobOperation, type AgentReadinessJobResult, type AgentReadinessRunRecord, type AgentReadinessStep, type AgentReadinessStepResult } from "../../../contracts/agent-readiness/src/index.js";
+/** One interface's path, and whether a later run is due soon to settle or reproduce it. */
+export interface EvaluatedPath {
+    readonly steps: readonly AgentReadinessStepResult[];
+    /** The job itself, beside the steps (north star §5.6, the job). */
+    readonly job: AgentReadinessJobResult;
+    /**
+     * A later run can settle what this path leaves open: a page answer not yet
+     * reproduced, or a failure of the job not yet reproduced.
+     */
+    readonly reproducible: boolean;
+    /** The probe run whose discovery decided Discover; null when none did. */
+    readonly discoveryRun: AgentReadinessRunRecord | null;
+    /** The binding's run that decided its outcomes, assessed or not; null for a probed path. */
+    readonly verifiedRun: AgentReadinessRunRecord | null;
+    /** The probe runs that reproduce a read's standing answer: unanswered on each, since it last answered. */
+    readonly standingRuns: readonly AgentReadinessRunRecord[];
+}
+/**
+ * The probed path of one interface (north star §5.6). The latest probe run that
+ * answered the operation decides its steps; a run that left its request, its
+ * malformed request, its spec, its authority chain or a declared page
+ * unanswered decides nothing, since residue is never a fact. Discovery's
+ * latest run decides Discover and the payment manifests, unless an unanswered
+ * read could change them: then the latest run whose reads were all answered,
+ * or left unanswered only the service's standing answers, does. Earlier runs
+ * count only to reproduce a page answer or a standing answer.
+ */
+export declare function evaluateProbePath(input: {
+    readonly operation: AgentReadinessJobOperation;
+    /** The operation's declared endpoint URI; null for a spec operation. */
+    readonly endpoint: string | null;
+    readonly policy: Pick<AgentReadinessPolicy, "reproduction">;
+    /** The vendor's sales or approval pages that gate this interface, by page id. */
+    readonly accessGates: readonly string[];
+    /** The settings a person turns on once before an agent can use this interface, by page id. */
+    readonly accessSettings: readonly string[];
+    /** The listing rules out a checkout: the job is free, or paid per call by its request's offer. */
+    readonly checkoutRuledOut: boolean;
+    /** Probe runs of the profile's current declaration revision, any order. */
+    readonly runs: readonly AgentReadinessRunRecord[];
+}): EvaluatedPath;
 /**
- * The Operate path a profile's runs establish: one outcome per step, each
- * resting on entries of the runs. The latest run decides every step; earlier
- * runs count only to reproduce a refusal, the one way a step is `blocked`.
- * Documentation never enters: only exchanges, discovery attempts, recorded
- * credentials and recorded human steps.
+ * The verified path of one binding: what performing the job with its authority
+ * establishes (north star §5.6, precedence). Only the vendor's own runs can
+ * lower a letter: a refusal of authority a vendor run proved valid counts when
+ * the vendor's latest run holds it and its earlier runs reproduce it (the
+ * job's refusal makes the job `unavailable`, Authority's makes that step
+ * `gated`, and a 402 is a balance a person tops up: Pay's recurring
+ * `workaround`), and so do failed assertions reproduced the same way (the job
+ * `unavailable`). Otherwise the latest run that did the job decides while it
+ * is fresh; a failing run from anyone else never lowers a letter.
  */
 export declare function evaluatePath(input: {
     readonly job: AgentReadinessJob;
     readonly binding: AgentReadinessJobBinding;
-    readonly policy: Pick<AgentReadinessPolicy, "blocked">;
+    readonly policy: Pick<AgentReadinessPolicy, "reproduction" | "fresh_for_days">;
+    /** This binding's verified runs, any order. */
     readonly runs: readonly AgentReadinessRunRecord[];
     /** Declared endpoint URIs by id. */
     readonly endpoints: ReadonlyMap<string, string>;
-}): {
-    readonly runDigest: Digest;
-    readonly steps: readonly AgentReadinessStepResult[];
-};
-/** A listing no binding has run: every step not assessed, so no letter. */
-export declare function unexercisedPath(): readonly AgentReadinessStepResult[];
+    /** When freshness is judged: the refresh's own probe run. */
+    readonly asOf: string;
+}): EvaluatedPath;
+/**
+ * Verified outcomes replace probed ones for the steps the verified run
+ * assessed, and for the job (north star §5.6, precedence); a step it left
+ * unassessed keeps its probed outcome.
+ */
+export declare function combinePaths(probed: EvaluatedPath, verified: EvaluatedPath): EvaluatedPath;
+export declare function notAssessed(step: AgentReadinessStep): AgentReadinessStepResult;
+/** The job not yet settled by any run. */
+export declare const NOT_ASSESSED_JOB: AgentReadinessJobResult;
+/** The job unavailable on the run's declaration revision alone: it names no interface for the job. */
+export declare function declaredUnavailable(run: AgentReadinessRunRecord): AgentReadinessJobResult;
 //# sourceMappingURL=path.d.ts.map

package/dist/modules/agent-readiness-engine/src/path.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"path.d.ts","sourceRoot":"","sources":["../../../../modules/agent-readiness-engine/src/path.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,KAAK,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAEnE,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,wBAAwB,EAC7B,KAAK,uBAAuB,EAE5B,KAAK,wBAAwB,EAE9B,MAAM,iDAAiD,CAAC;AACzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0DAA0D,CAAC;AAgBrG;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE;IAClC,QAAQ,CAAC,GAAG,EAAE,iBAAiB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAAC;IACvD,QAAQ,CAAC,IAAI,EAAE,SAAS,uBAAuB,EAAE,CAAC;IAClD,oCAAoC;IACpC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjD,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,wBAAwB,EAAE,CAAA;CAAE,CA4JtF;AAiFD,2EAA2E;AAC3E,wBAAgB,eAAe,IAAI,SAAS,wBAAwB,EAAE,CAErE"}
+{"version":3,"file":"path.d.ts","sourceRoot":"","sources":["../../../../modules/agent-readiness-engine/src/path.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wDAAwD,CAAC;AACnG,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAC5B,KAAK,kBAAkB,EACvB,KAAK,wBAAwB,EAE9B,MAAM,iDAAiD,CAAC;AAczD,2FAA2F;AAC3F,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACpD,mEAAmE;IACnE,QAAQ,CAAC,GAAG,EAAE,uBAAuB,CAAC;IACtC;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,uBAAuB,GAAG,IAAI,CAAC;IACtD,4FAA4F;IAC5F,QAAQ,CAAC,WAAW,EAAE,uBAAuB,GAAG,IAAI,CAAC;IACrD,0GAA0G;IAC1G,QAAQ,CAAC,YAAY,EAAE,SAAS,uBAAuB,EAAE,CAAC;CAC3D;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE;IACvC,QAAQ,CAAC,SAAS,EAAE,0BAA0B,CAAC;IAC/C,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAC;IAC5D,iFAAiF;IACjF,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,8FAA8F;IAC9F,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,kGAAkG;IAClG,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACnD,GAAG,aAAa,CAwRhB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE;IAClC,QAAQ,CAAC,GAAG,EAAE,iBAAiB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,oBAAoB,EAAE,cAAc,GAAG,gBAAgB,CAAC,CAAC;IAC/E,+CAA+C;IAC/C,QAAQ,CAAC,IAAI,EAAE,SAAS,uBAAuB,EAAE,CAAC;IAClD,oCAAoC;IACpC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,GAAG,aAAa,CAqKhB;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,GAAG,aAAa,CAa1F;AA6QD,wBAAgB,WAAW,CAAC,IAAI,EAAE,kBAAkB,GAAG,wBAAwB,CAE9E;AAED,0CAA0C;AAC1C,eAAO,MAAM,gBAAgB,EAAE,uBAAmE,CAAC;AASnG,sGAAsG;AACtG,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,uBAAuB,GAAG,uBAAuB,CAEzF"}