@gate-forge/core 0.11.1 → 0.13.0

package/dist/schemas/classification.js

@@ -8,14 +8,11 @@
  *   `primaryKey` attribute;
  * - internal resources default to NO CRUD obligations and their claims
  *   are invalid (enforced downstream by the verdict engine, not here);
- * - a user-facing resource cannot be proven without a trusted evidence
- *   adapter, so `evidenceAdapter` is mandatory for user-facing entries —
- *   on the BUSINESS-resource lane. `http.endpoint` resources are witnessed
- *   through the claims/witness-proxy lane (`http:frontend-request-observed`
- *   etc.), not through entity persistence adapters (whose contract — read
- *   by id, normalize body, deletion kind — is about business entities), so
- *   a user-facing classification may instead declare
- *   `evidenceLane: 'claims'` and omit the adapter.
+ * - a user-facing resource cannot be proven without trusted evidence;
+ *   business resources therefore require `evidenceAdapter`. `http.endpoint`
+ *   resources use the claims/witness-proxy lane, while reader-resolved
+ *   `ui.page` resources use browser observation. Those route lanes omit the
+ *   persistence adapter, whose contract is about business entities.
  */
 import { z } from 'zod';
 import { ExposureSchema, PlaneSchema, SchemaVersionField } from './common.js';
@@ -101,9 +98,9 @@ export const ClassificationSchema = z
     /** Lifecycle operations the UI supports for this resource. */
     lifecycle: LifecycleSchema,
     /**
-     * Mandatory ordered entity-identity columns (ADR 0001): a single
-     * column for simple identity, ordered lowest-index-first for
-     * composite identity.
+     * Ordered identity columns for persisted resources (ADR 0001). The
+     * classifier supplies `['path']` for `ui.page`: a route's structural
+     * key, not persistence identity evidence.
      */
     primaryKey: z.array(z.string().min(1)).min(1),
     /**
@@ -114,16 +111,13 @@ export const ClassificationSchema = z
      */
     evidenceAdapter: z.string().min(1).optional(),
     /**
-     * Which evidence lane proves user-facing reachability. Omitted means
+     * Which evidence lane proves a user-facing resource. Omitted means
      * the default `'adapter'` lane: a reviewed EntityAdapter must collect
-     * the evidence (the business-resource requirement — never weakened).
-     * `'claims'` is the http.endpoint lane: routes are witnessed through
-     * the claims/witness-proxy lane (`http:frontend-request-observed`),
-     * not through entity persistence adapters, so the adapter is not
-     * demanded. The classifier mints `'claims'` ONLY for `http.endpoint`
-     * resources; business resources must keep the adapter demand.
+     * persistence evidence. `'claims'` is the HTTP endpoint lane;
+     * `'page-observation'` is the witness's observation-only UI page lane.
+     * Neither route lane uses an EntityAdapter.
      */
-    evidenceLane: z.enum(['adapter', 'claims']).optional(),
+    evidenceLane: z.enum(['adapter', 'claims', 'page-observation']).optional(),
     /** Free-form classification note shown in reports. */
     notes: z.string().optional(),
 })
@@ -131,7 +125,8 @@ export const ClassificationSchema = z
     .superRefine((entry, ctx) => {
     if (entry.exposure === 'user-facing' &&
         entry.evidenceAdapter === undefined &&
-        entry.evidenceLane !== 'claims') {
+        entry.evidenceLane !== 'claims' &&
+        entry.evidenceLane !== 'page-observation') {
         ctx.addIssue({
             code: 'custom',
             path: ['evidenceAdapter'],

package/dist/schemas/classification.js.map

@@ -1 +1 @@
-{"version":3,"file":"classification.js","sourceRoot":"","sources":["../../src/schemas/classification.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAE9E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,kDAAkD;IAClD,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,kDAAkD;IAClD,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;IACjB,4DAA4D;IAC5D,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,wEAAwE;IACxE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,6DAA6D;IAC7D,eAAe,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE;IACvD;;;;;OAKG;IACH,aAAa,EAAE,CAAC;SACb,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;SAClE,QAAQ,EAAE;IACb;;;;;;;OAOG;IACH,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC/D,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE;IAC9B,IAAI,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QAChE,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,iBAAiB,CAAC;YACzB,OAAO,EACL,yEAAyE;SAC5E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,CAAC,eAAe,KAAK,SAAS,IAAI,SAAS,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACrF,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,eAAe,CAAC;YACvB,OAAO,EACL,2EAA2E;gBAC3E,sDAAsD;SACzD,CAAC,CAAC;IACL,CAAC;IACD,qEAAqE;IACrE,qEAAqE;IACrE,IACE,SAAS,CAAC,aAAa,KAAK,SAAS;QACrC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,EACjD,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,eAAe,CAAC;YACvB,OAAO,EACL,wEAAwE;gBACxE,oCAAoC;SACvC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAKL;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,oDAAoD;IACpD,QAAQ,EAAE,cAAc;IACxB,8CAA8C;IAC9C,KAAK,EAAE,WAAW;IAClB,8DAA8D;IAC9D,SAAS,EAAE,eAAe;IAC1B;;;;OAIG;IACH,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C;;;;;OAKG;IACH,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC7C;;;;;;;;;OASG;IACH,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;IACtD,sDAAsD;IACtD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;IAC1B,IACE,KAAK,CAAC,QAAQ,KAAK,aAAa;QAChC,KAAK,CAAC,eAAe,KAAK,SAAS;QACnC,KAAK,CAAC,YAAY,KAAK,QAAQ,EAC/B,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,iBAAiB,CAAC;YACzB,OAAO,EACL,8GAA8G;SACjH,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAKL;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,aAAa,EAAE,kBAAkB;IACjC,sCAAsC;IACtC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,oBAAoB,CAAC;CAC7D,CAAC;KACD,MAAM,EAAE,CAAC"}
+{"version":3,"file":"classification.js","sourceRoot":"","sources":["../../src/schemas/classification.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAE9E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,kDAAkD;IAClD,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,kDAAkD;IAClD,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;IACjB,4DAA4D;IAC5D,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,wEAAwE;IACxE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,6DAA6D;IAC7D,eAAe,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE;IACvD;;;;;OAKG;IACH,aAAa,EAAE,CAAC;SACb,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;SAClE,QAAQ,EAAE;IACb;;;;;;;OAOG;IACH,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC/D,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE;IAC9B,IAAI,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QAChE,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,iBAAiB,CAAC;YACzB,OAAO,EACL,yEAAyE;SAC5E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,CAAC,eAAe,KAAK,SAAS,IAAI,SAAS,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACrF,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,eAAe,CAAC;YACvB,OAAO,EACL,2EAA2E;gBAC3E,sDAAsD;SACzD,CAAC,CAAC;IACL,CAAC;IACD,qEAAqE;IACrE,qEAAqE;IACrE,IACE,SAAS,CAAC,aAAa,KAAK,SAAS;QACrC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,EACjD,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,eAAe,CAAC;YACvB,OAAO,EACL,wEAAwE;gBACxE,oCAAoC;SACvC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAKL;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,oDAAoD;IACpD,QAAQ,EAAE,cAAc;IACxB,8CAA8C;IAC9C,KAAK,EAAE,WAAW;IAClB,8DAA8D;IAC9D,SAAS,EAAE,eAAe;IAC1B;;;;OAIG;IACH,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C;;;;;OAKG;IACH,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC7C;;;;;;OAMG;IACH,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1E,sDAAsD;IACtD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;IAC1B,IACE,KAAK,CAAC,QAAQ,KAAK,aAAa;QAChC,KAAK,CAAC,eAAe,KAAK,SAAS;QACnC,KAAK,CAAC,YAAY,KAAK,QAAQ;QAC/B,KAAK,CAAC,YAAY,KAAK,kBAAkB,EACzC,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,iBAAiB,CAAC;YACzB,OAAO,EACL,8GAA8G;SACjH,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAKL;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,aAAa,EAAE,kBAAkB;IACjC,sCAAsC;IACtC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,oBAAoB,CAAC;CAC7D,CAAC;KACD,MAAM,EAAE,CAAC"}

package/dist/verdict/cause.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cause.d.ts","sourceRoot":"","sources":["../../src/verdict/cause.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAE3E,wEAAwE;AACxE,MAAM,WAAW,YAAY;IAC3B,qEAAqE;IACrE,KAAK,EAAE,SAAS,GAAG,IAAI,CAAC;IACxB,8DAA8D;IAC9D,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AA2CD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB,GAAG,YAAY,CAsCf;AAOD;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,CAAC;IACjB,8DAA8D;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,iDAAiD;IACjD,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;IAClD,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAiDpE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,SAAS;IACzD,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;CAClB,EAAE,GAAG,KAAK,CAAC,aAAa,GAAG;IAAE,YAAY,EAAE,MAAM,CAAA;CAAE,CAAC,CAcpD"}
+{"version":3,"file":"cause.d.ts","sourceRoot":"","sources":["../../src/verdict/cause.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAE3E,wEAAwE;AACxE,MAAM,WAAW,YAAY;IAC3B,qEAAqE;IACrE,KAAK,EAAE,SAAS,GAAG,IAAI,CAAC;IACxB,8DAA8D;IAC9D,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAwDD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB,GAAG,YAAY,CAoDf;AAOD;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,CAAC;IACjB,8DAA8D;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,iDAAiD;IACjD,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;IAClD,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAiDpE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,SAAS;IACzD,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;CAClB,EAAE,GAAG,KAAK,CAAC,aAAa,GAAG;IAAE,YAAY,EAAE,MAAM,CAAA;CAAE,CAAC,CAcpD"}

package/dist/verdict/cause.js

@@ -7,12 +7,13 @@
  * a connected test whose required observations are absent
  * (EVIDENCE_NOT_COLLECTED — including the crud session-channel rules:
  * direct mutation outside the supervised channel, no visible result, no
- * session-bound anchor), an obligation no test is connected to
- * (TEST_MAPPING_MISSING), and the §3.6 exact-value echo violation
- * (EVIDENCE_VALUE_MISMATCH). Remaining causes are populated by the
- * phases that build their subsystems (catalog/mapping: Phase 2-3;
- * execution results: Phase 4); an unmapped blocking verdict carries a
- * null cause rather than a guess.
+ * session-bound anchor — and, since 0.13, a MISSING page promise, whose
+ * action names the witnessed page visit / post-suite sweep), an
+ * obligation no test is connected to (TEST_MAPPING_MISSING), and the
+ * §3.6 exact-value echo violation (EVIDENCE_VALUE_MISMATCH). Remaining
+ * causes are populated by the phases that build their subsystems
+ * (catalog/mapping: Phase 2-3; execution results: Phase 4); an unmapped
+ * blocking verdict carries a null cause rather than a guess.
  *
  * The mapping matches the verifier reasons verbatim — those strings are
  * engine-owned (single grading sites, kept in lockstep by tests), never
@@ -49,6 +50,17 @@ const EVIDENCE_NOT_COLLECTED_PATTERNS = [
  * session-channel verifier).
  */
 const EVIDENCE_VALUE_MISMATCH_PATTERN = 'exact-value echo violation (EVIDENCE_VALUE_MISMATCH)';
+/**
+ * The page-promise evidence action (0.13): a missing `page:loads`/
+ * `page:data-ok` is a visit nobody witnessed — the actionable fix is a
+ * witnessed page visit through a browser test or the engine's own
+ * post-suite sweep, never "drop the pack" (the proof channel exists and
+ * is available). Kept beside the other verbatim grading-site strings;
+ * the page missing-reason text lives in exactly one grading site
+ * (`gradePageObligation`).
+ */
+const PAGE_EVIDENCE_NEXT_ACTION = 'Run a witnessed page visit (a browser test through the Gateforge Playwright fixture) or let ' +
+    "the engine's post-suite sweep visit the route; mappings (`tests mark`) are intent, not proof.";
 /**
  * A crud session exchange that cannot be attributed because the host
  * supplied no route inventory (plan §9, D2): the proof channel the
@@ -117,6 +129,18 @@ export function causeForVerdict(params) {
     if (capability === null || capability.availability.status === 'unavailable' || !implemented) {
         return nextActionFor('VERIFIER_UNSUPPORTED');
     }
+    // The page namespace implements exactly `page:loads`/`page:data-ok`
+    // (any other `page:*` contract is unimplemented and already returned
+    // VERIFIER_UNSUPPORTED above). A MISSING page promise is absent
+    // evidence — a witnessed page visit or the engine's post-suite sweep
+    // has not produced a clean record — never an unsupported verifier, so
+    // it maps to EVIDENCE_NOT_COLLECTED with the page-specific action.
+    // Other page verdicts (a witness REFUSAL, for one) keep the generic
+    // mapping below: their reasons are precise and need no guessed cause.
+    if ((params.contract === 'page:loads' || params.contract === 'page:data-ok') &&
+        params.verdict === 'missing') {
+        return { cause: 'EVIDENCE_NOT_COLLECTED', nextAction: PAGE_EVIDENCE_NEXT_ACTION };
+    }
     const reason = params.reason ?? '';
     if (reason.includes(EVIDENCE_VALUE_MISMATCH_PATTERN)) {
         return nextActionFor('EVIDENCE_VALUE_MISMATCH');

package/dist/verdict/cause.js.map

@@ -1 +1 @@
-{"version":3,"file":"cause.js","sourceRoot":"","sources":["../../src/verdict/cause.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAkB,MAAM,uBAAuB,CAAC;AAU3E,6EAA6E;AAC7E,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE7E;;;;;;;;;GASG;AACH,MAAM,+BAA+B,GAAsB;IACzD,8BAA8B;IAC9B,+CAA+C;IAC/C,gDAAgD;IAChD,oDAAoD;IACpD,oCAAoC;IACpC,6DAA6D;IAC7D,oCAAoC;CACrC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,+BAA+B,GAAG,sDAAsD,CAAC;AAE/F;;;;;;GAMG;AACH,MAAM,kCAAkC,GAAG,uCAAuC,CAAC;AAEnF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,eAAe,CAAC,MAK/B;IACC,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACjF,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG;YACZ,mBAAmB;YACnB,0BAA0B;YAC1B,0BAA0B;YAC1B,iBAAiB;YACjB,qBAAqB;YACrB,oBAAoB;YACpB,0BAA0B;YAC1B,4BAA4B;SACpB,CAAC;QACX,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,aAAa,CAAC,4BAA4B,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC;IAC7E,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,YAAY,CAAC,MAAM,KAAK,aAAa,IAAI,CAAC,WAAW,EAAE,CAAC;QAC5F,OAAO,aAAa,CAAC,sBAAsB,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;IACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,+BAA+B,CAAC,EAAE,CAAC;QACrD,OAAO,aAAa,CAAC,yBAAyB,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,kCAAkC,CAAC,EAAE,CAAC;QACxD,OAAO,aAAa,CAAC,sBAAsB,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,+BAA+B,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,aAAa,CAAC,wBAAwB,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,MAAM,KAAK,sBAAsB,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC;QAC5D,OAAO,aAAa,CAAC,sBAAsB,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AAC3C,CAAC;AAED,2DAA2D;AAC3D,SAAS,aAAa,CAAC,KAAgB;IACrC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;AAC1D,CAAC;AAqBD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAAC,QAAgB;IAC5C,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,wEAAwE;YAClF,MAAM,EACJ,aAAa,QAAQ,+DAA+D;gBACpF,0EAA0E;YAC5E,KAAK,EAAE,sBAAsB;YAC7B,UAAU,EAAE,kBAAkB,CAAC,sBAAsB,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,YAAY,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACrD,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,MAAM,EACJ,aAAa,QAAQ,mCAAmC,UAAU,CAAC,SAAS,OAAO;gBACnF,gBAAgB,UAAU,CAAC,YAAY,CAAC,MAAM,yBAAyB,UAAU,CAAC,QAAQ,GAAG;YAC/F,KAAK,EAAE,sBAAsB;YAC7B,UAAU,EAAE,kBAAkB,CAAC,sBAAsB,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACjG,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,MAAM,EACJ,aAAa,QAAQ,oCAAoC,WAAW,CAAC,MAAM,IAAI;gBAC/E,sBAAsB,UAAU,CAAC,QAAQ,GAAG;YAC9C,KAAK,EAAE,sBAAsB;YAC7B,UAAU,EAAE,kBAAkB,CAAC,sBAAsB,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,MAAM,EACJ,aAAa,QAAQ,0CAA0C,UAAU,CAAC,SAAS,KAAK;gBACxF,6BAA6B,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB;gBACjF,8BAA8B;YAChC,KAAK,EAAE,sBAAsB;YAC7B,UAAU,EAAE,kBAAkB,CAAC,sBAAsB,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,WAGlC;IACD,MAAM,IAAI,GAAoD,EAAE,CAAC;IACjE,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,GAAG,KAAK,IAAI;YAAE,SAAS;QAC3B,IAAI,CAAC,IAAI,CAAC;YACR,GAAG,GAAG;YACN,MAAM,EAAE,eAAe,UAAU,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE;YACtD,YAAY,EAAE,UAAU,CAAC,EAAE;SAC5B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACxB,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/E,CAAC;AACJ,CAAC"}
+{"version":3,"file":"cause.js","sourceRoot":"","sources":["../../src/verdict/cause.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAkB,MAAM,uBAAuB,CAAC;AAU3E,6EAA6E;AAC7E,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE7E;;;;;;;;;GASG;AACH,MAAM,+BAA+B,GAAsB;IACzD,8BAA8B;IAC9B,+CAA+C;IAC/C,gDAAgD;IAChD,oDAAoD;IACpD,oCAAoC;IACpC,6DAA6D;IAC7D,oCAAoC;CACrC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,+BAA+B,GAAG,sDAAsD,CAAC;AAE/F;;;;;;;;GAQG;AACH,MAAM,yBAAyB,GAC7B,8FAA8F;IAC9F,+FAA+F,CAAC;AAElG;;;;;;GAMG;AACH,MAAM,kCAAkC,GAAG,uCAAuC,CAAC;AAEnF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,eAAe,CAAC,MAK/B;IACC,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACjF,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG;YACZ,mBAAmB;YACnB,0BAA0B;YAC1B,0BAA0B;YAC1B,iBAAiB;YACjB,qBAAqB;YACrB,oBAAoB;YACpB,0BAA0B;YAC1B,4BAA4B;SACpB,CAAC;QACX,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,aAAa,CAAC,4BAA4B,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC;IAC7E,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,YAAY,CAAC,MAAM,KAAK,aAAa,IAAI,CAAC,WAAW,EAAE,CAAC;QAC5F,OAAO,aAAa,CAAC,sBAAsB,CAAC,CAAC;IAC/C,CAAC;IACD,oEAAoE;IACpE,qEAAqE;IACrE,gEAAgE;IAChE,qEAAqE;IACrE,sEAAsE;IACtE,mEAAmE;IACnE,oEAAoE;IACpE,sEAAsE;IACtE,IACE,CAAC,MAAM,CAAC,QAAQ,KAAK,YAAY,IAAI,MAAM,CAAC,QAAQ,KAAK,cAAc,CAAC;QACxE,MAAM,CAAC,OAAO,KAAK,SAAS,EAC5B,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,wBAAwB,EAAE,UAAU,EAAE,yBAAyB,EAAE,CAAC;IACpF,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;IACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,+BAA+B,CAAC,EAAE,CAAC;QACrD,OAAO,aAAa,CAAC,yBAAyB,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,kCAAkC,CAAC,EAAE,CAAC;QACxD,OAAO,aAAa,CAAC,sBAAsB,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,+BAA+B,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,aAAa,CAAC,wBAAwB,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,MAAM,KAAK,sBAAsB,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC;QAC5D,OAAO,aAAa,CAAC,sBAAsB,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AAC3C,CAAC;AAED,2DAA2D;AAC3D,SAAS,aAAa,CAAC,KAAgB;IACrC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;AAC1D,CAAC;AAqBD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAAC,QAAgB;IAC5C,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,wEAAwE;YAClF,MAAM,EACJ,aAAa,QAAQ,+DAA+D;gBACpF,0EAA0E;YAC5E,KAAK,EAAE,sBAAsB;YAC7B,UAAU,EAAE,kBAAkB,CAAC,sBAAsB,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,YAAY,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACrD,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,MAAM,EACJ,aAAa,QAAQ,mCAAmC,UAAU,CAAC,SAAS,OAAO;gBACnF,gBAAgB,UAAU,CAAC,YAAY,CAAC,MAAM,yBAAyB,UAAU,CAAC,QAAQ,GAAG;YAC/F,KAAK,EAAE,sBAAsB;YAC7B,UAAU,EAAE,kBAAkB,CAAC,sBAAsB,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACjG,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,MAAM,EACJ,aAAa,QAAQ,oCAAoC,WAAW,CAAC,MAAM,IAAI;gBAC/E,sBAAsB,UAAU,CAAC,QAAQ,GAAG;YAC9C,KAAK,EAAE,sBAAsB;YAC7B,UAAU,EAAE,kBAAkB,CAAC,sBAAsB,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,OAAO;YACL,QAAQ;YACR,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,MAAM,EACJ,aAAa,QAAQ,0CAA0C,UAAU,CAAC,SAAS,KAAK;gBACxF,6BAA6B,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB;gBACjF,8BAA8B;YAChC,KAAK,EAAE,sBAAsB;YAC7B,UAAU,EAAE,kBAAkB,CAAC,sBAAsB,CAAC;SACvD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,WAGlC;IACD,MAAM,IAAI,GAAoD,EAAE,CAAC;IACjE,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,GAAG,KAAK,IAAI;YAAE,SAAS;QAC3B,IAAI,CAAC,IAAI,CAAC;YACR,GAAG,GAAG;YACN,MAAM,EAAE,eAAe,UAAU,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE;YACtD,YAAY,EAAE,UAAU,CAAC,EAAE;SAC5B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACxB,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/E,CAAC;AACJ,CAAC"}

package/dist/verdict/evaluate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../src/verdict/evaluate.ts"],"names":[],"mappings":"AAuDA,OAAO,EAML,KAAK,kBAAkB,EACxB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAGL,KAAK,yBAAyB,EAC/B,MAAM,eAAe,CAAC;AAOvB,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC7E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,sBAAsB,CAAC;AA6CjE,yEAAyE;AACzE,eAAO,MAAM,iBAAiB,EAAE,SAAS,OAAO,EAM/C,CAAC;AAEF;;;;GAIG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,OAAO,EAAE,MAAM;CAI5B;AAED,8DAA8D;AAC9D,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAEnE,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,+CAA+C;IAC/C,OAAO,EAAE,OAAO,CAAC;IACjB;;;OAGG;IACH,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB;;;;OAIG;IACH,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAkB,SAAQ,cAAc;IACvD,4CAA4C;IAC5C,UAAU,EAAE,UAAU,CAAC;IACvB,yEAAyE;IACzE,SAAS,EAAE,SAAS,GAAG,IAAI,CAAC;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAClD,gEAAgE;IAChE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IAClC,oEAAoE;IACpE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,wEAAwE;IACxE,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CACpC;AAED,yEAAyE;AACzE,MAAM,WAAW,cAAc;IAC7B,8EAA8E;IAC9E,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;IAC3B;;;;OAIG;IACH,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;IAC5B,wEAAwE;IACxE,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IAC9B,wEAAwE;IACxE,cAAc,EAAE,OAAO,CAAC;IACxB,uIAAuI;IACvI,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAAG,IAAI,CAAC;IACxE;;;;OAIG;IACH,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,GAAG,IAAI,CAAC;IAClD;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,yBAAyB,GAAG,IAAI,CAAC;IAC5C;;;OAGG;IACH,oBAAoB,CAAC,EAAE,SAAS;QAC9B,YAAY,EAAE,MAAM,CAAC;QACrB,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,EAAE,CAAC;IACJ,mEAAmE;IACnE,GAAG,EAAE,IAAI,GAAG,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,IAAI,GAAG,MAAM,GAAG,IAAI,CAcrD;AA0TD;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,EAAE,CAU1D;AAkCD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,iBAAiB,CAC/B,YAAY,EAAE,OAAO,EACrB,iBAAiB,EAAE,OAAO,GACzB,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAAC,CAUhE;AA84CD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,cAAc,GACtB,cAAc,CAmNhB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,OAAO,EAAE,cAAc,GACtB,iBAAiB,EAAE,CA2CrB"}
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../src/verdict/evaluate.ts"],"names":[],"mappings":"AAuDA,OAAO,EAML,KAAK,kBAAkB,EACxB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAGL,KAAK,yBAAyB,EAC/B,MAAM,eAAe,CAAC;AAOvB,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC7E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,sBAAsB,CAAC;AA6CjE,yEAAyE;AACzE,eAAO,MAAM,iBAAiB,EAAE,SAAS,OAAO,EAM/C,CAAC;AAEF;;;;GAIG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,OAAO,EAAE,MAAM;CAI5B;AAED,8DAA8D;AAC9D,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAEnE,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,+CAA+C;IAC/C,OAAO,EAAE,OAAO,CAAC;IACjB;;;OAGG;IACH,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB;;;;OAIG;IACH,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAkB,SAAQ,cAAc;IACvD,4CAA4C;IAC5C,UAAU,EAAE,UAAU,CAAC;IACvB,yEAAyE;IACzE,SAAS,EAAE,SAAS,GAAG,IAAI,CAAC;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAClD,gEAAgE;IAChE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IAClC,oEAAoE;IACpE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,wEAAwE;IACxE,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CACpC;AAED,yEAAyE;AACzE,MAAM,WAAW,cAAc;IAC7B,8EAA8E;IAC9E,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;IAC3B;;;;OAIG;IACH,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;IAC5B,wEAAwE;IACxE,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IAC9B,wEAAwE;IACxE,cAAc,EAAE,OAAO,CAAC;IACxB,uIAAuI;IACvI,QAAQ,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAAG,IAAI,CAAC;IACxE;;;;OAIG;IACH,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,GAAG,IAAI,CAAC;IAClD;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,yBAAyB,GAAG,IAAI,CAAC;IAC5C;;;OAGG;IACH,oBAAoB,CAAC,EAAE,SAAS;QAC9B,YAAY,EAAE,MAAM,CAAC;QACrB,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,EAAE,CAAC;IACJ,mEAAmE;IACnE,GAAG,EAAE,IAAI,GAAG,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,IAAI,GAAG,MAAM,GAAG,IAAI,CAcrD;AA0TD;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,EAAE,CAU1D;AAkCD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,iBAAiB,CAC/B,YAAY,EAAE,OAAO,EACrB,iBAAiB,EAAE,OAAO,GACzB,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAAC,CAUhE;AA4mDD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,cAAc,GACtB,cAAc,CA0KhB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,OAAO,EAAE,cAAc,GACtB,iBAAiB,EAAE,CA2CrB"}

package/dist/verdict/evaluate.js

@@ -801,6 +801,31 @@ const CRUD_CAPABILITY = {
 };
 registerContractCapabilities(PERSISTENCE_CAPABILITY);
 registerContractCapabilities(CRUD_CAPABILITY);
+/**
+ * Capability metadata for the page namespace (0.13): the two page
+ * promises are proven through witnessed page visits — the witness's own
+ * Chromium CDP drive of a passing test's page (channel `observed`) or
+ * the engine's independent post-suite sweep of routes without clean
+ * test proof (channel `swept`). The registry lists EXACTLY
+ * `page:loads`/`page:data-ok`: any other `page:*` contract stays
+ * unimplemented, so it keeps mapping to VERIFIER_UNSUPPORTED — the
+ * capability never pretends a proof channel exists for a contract the
+ * page grader does not grade. Adapter-free by design: page grading
+ * needs no business classification, so the capability record carries no
+ * classifier requirement either.
+ */
+const PAGE_CAPABILITY = {
+    namespace: 'page',
+    contracts: ['page:loads', 'page:data-ok'],
+    unavailableContracts: [],
+    observer: 'the witness CDP drive: settled, route-matched visits recorded by the independent witness ' +
+        'browser (channel observed, from a passing test) or the engine\'s own post-suite sweep of ' +
+        'routes without clean test proof (channel swept) — both graded by the same route, redirect, ' +
+        'crash, error-marker and API-response rules; suite-submitted page records never substitute',
+    testKinds: ['browser-e2e', 'observed-e2e'],
+    availability: { status: 'available' },
+};
+registerContractCapabilities(PAGE_CAPABILITY);
 /**
  * The built-in persistence grader: dispatches between the three evidence
  * channels an obligation's claim may be proven through.
@@ -1705,6 +1730,170 @@ function gradeAlembicObligation(obligation, context) {
         recordIds: failed?.recordId === undefined ? [] : [failed.recordId],
     };
 }
+/**
+ * Grades `page:loads` / `page:data-ok` obligations from engine-issued
+ * page.observed records. Chronology rule (0.13): observations from the
+ * SAME test resolve to only their LATEST `observationSequence`, so an
+ * early clean visit cannot survive a later refusal by the same test,
+ * while a different passing test's latest clean record still satisfies.
+ * The sequence must be a nonnegative integer and the payload must carry
+ * `apiRequestsSettled: true` before a record can satisfy. The engine
+ * stamps both onto every payload, but they fail differently: a missing
+ * or malformed sequence makes the record INADMISSIBLE — it can neither
+ * satisfy nor carry a refusal — while a valid-sequence record whose
+ * settled flag is missing or false still participates in the latest
+ * selection and is REFUSED with typed `PAGE_API_UNSETTLED`.
+ * Unsettled or refused latest records remain refusals, never proof.
+ * Grouping is by testId with a max-sequence reduction and sorted test
+ * iteration, so input array order never affects the outcome and no
+ * clock is read. Duplicates at one test's top sequence are admitted
+ * only when their payloads are canonically identical (the engine reuses
+ * ONE payload for both page promises); a contradiction fails that test
+ * closed.
+ */
+function gradePageObligation(obligation, records) {
+    const verdictKey = obligation.contract === 'page:loads' ? 'loads' : 'dataOk';
+    const pageRecords = records
+        .map(asRecord)
+        .filter((record) => record !== null &&
+        record.obligationId === obligation.id &&
+        record.kind === 'page.observed' &&
+        record.origin === 'engine-observed' &&
+        record.testId !== undefined &&
+        trustOf(record) === 'witnessed' &&
+        payloadOf(record)?.['routeId'] === obligation.resourceId);
+    const latestByTest = new Map();
+    for (const record of pageRecords) {
+        const testId = typeof record.testId === 'string' ? record.testId : null;
+        const rawSequence = payloadOf(record)?.['observationSequence'];
+        const sequence = typeof rawSequence === 'number' && Number.isInteger(rawSequence) && rawSequence >= 0
+            ? rawSequence
+            : null;
+        if (testId === null || sequence === null)
+            continue;
+        const current = latestByTest.get(testId);
+        if (current === undefined || current.sequence < sequence) {
+            latestByTest.set(testId, { testId, sequence, record, contradictory: false });
+            continue;
+        }
+        if (current.sequence !== sequence || current.contradictory)
+            continue;
+        const fresh = payloadOf(record);
+        const held = payloadOf(current.record);
+        // Canonical payload equality is the deterministic "prove identical"
+        // check: a payload with no JSON representation never proves it.
+        const differs = !isJsonValue(fresh) || !isJsonValue(held) ||
+            canonicalJson(fresh) !== canonicalJson(held);
+        if (differs)
+            latestByTest.set(testId, { ...current, contradictory: true });
+    }
+    const observations = [...latestByTest.values()].sort((a, b) => compareStrings(a.testId, b.testId));
+    let satisfiedId = null;
+    for (const observation of observations) {
+        if (observation.contradictory)
+            continue;
+        const payload = payloadOf(observation.record);
+        if (payload === undefined || payload['apiRequestsSettled'] !== true)
+            continue;
+        const pageVerdict = payload[verdictKey];
+        if (!isPlainObject(pageVerdict) || pageVerdict['satisfied'] !== true ||
+            !Array.isArray(pageVerdict['refusalReasons']) || pageVerdict['refusalReasons'].length !== 0)
+            continue;
+        if (typeof observation.record.recordId !== 'string')
+            continue;
+        satisfiedId = observation.record.recordId;
+        break;
+    }
+    if (satisfiedId !== null) {
+        return { verdict: 'satisfied', reason: null, recordIds: [satisfiedId] };
+    }
+    const refused = observations[0];
+    if (refused !== undefined) {
+        const payload = payloadOf(refused.record);
+        const pageVerdict = payload?.[verdictKey];
+        const reasons = isPlainObject(pageVerdict) && Array.isArray(pageVerdict['refusalReasons'])
+            ? pageVerdict['refusalReasons'].filter((reason) => typeof reason === 'string')
+            : [];
+        if (payload?.['apiRequestsSettled'] !== true)
+            reasons.push('PAGE_API_UNSETTLED');
+        if (refused.contradictory) {
+            reasons.push(`PAGE_OBSERVATION_CONFLICT (test '${refused.testId}' carries different payloads at ` +
+                `observation sequence ${refused.sequence})`);
+        }
+        return {
+            verdict: 'invalid',
+            reason: reasons.length > 0 ? `witness refused page observation: ${reasons.join(', ')}` : 'witness page observation was not clean',
+            recordIds: typeof refused.record.recordId === 'string' ? [refused.record.recordId] : [],
+        };
+    }
+    return {
+        verdict: 'missing',
+        reason: `no clean witness-observed page visit from a passing test exists for '${obligation.resourceId}'`,
+        recordIds: [],
+    };
+}
+/**
+ * The waiver evaluation shared by the ordinary lane and the adapter-free
+ * page lane: exact (resourceId, fingerprint) scope only (D4). Precedence:
+ * unexpired non-stale → waived; expired → invalid (D4); stale owner →
+ * stale (GF-17). Sorted for determinism. The reason strings are part of
+ * the pinned verdict contract — never reworded at one call site.
+ *
+ * Args:
+ *   verified: the schema-validated obligation under evaluation.
+ *   waivers: the run's waivers (with the engine-only stale-owner flag).
+ *   now: the parsed injected run instant.
+ *
+ * Returns:
+ *   VerdictOutcome | null: the waiver's outcome, or null when no waiver
+ *   speaks for this obligation (grading continues).
+ */
+function waiverOutcome(verified, waivers, now) {
+    const fp = fingerprintObligation(verified);
+    const matching = waivers
+        .map((entry) => {
+        // Strip the engine-only flag before strict validation; a waiver
+        // entry the schema rejects can never match exactly, so it degrades.
+        const { ownerStale, ...plain } = entry;
+        const parsed = WaiverSchema.safeParse(plain);
+        return parsed.success ? { ownerStale: Boolean(ownerStale), waiver: parsed.data } : null;
+    })
+        .filter((entry) => entry !== null)
+        .filter(({ waiver }) => waiver.scope.kind === 'exact' &&
+        waiver.scope.resourceId === verified.resourceId &&
+        waiver.scope.fingerprint === fp)
+        .sort((a, b) => compareStrings(`${a.waiver.expiresAt}\u0000${a.waiver.owner}`, `${b.waiver.expiresAt}\u0000${b.waiver.owner}`));
+    const unexpired = matching.filter((entry) => now.getTime() < Date.parse(entry.waiver.expiresAt) && !entry.ownerStale);
+    if (unexpired.length > 0 && unexpired[0] !== undefined) {
+        const waiver = unexpired[0].waiver;
+        return {
+            verdict: 'waived',
+            reason: `waived by '${waiver.owner}' until '${waiver.expiresAt}' ` +
+                `(approver '${waiver.approver}', ${waiver.justificationUrl})`,
+            recordIds: [],
+        };
+    }
+    const expired = matching.filter((entry) => now.getTime() >= Date.parse(entry.waiver.expiresAt) && !entry.ownerStale);
+    if (expired.length > 0 && expired[0] !== undefined) {
+        const waiver = expired[0].waiver;
+        return {
+            verdict: 'invalid',
+            reason: `waiver by '${waiver.owner}' expired at '${waiver.expiresAt}'; expired waivers block ` +
+                `as 'invalid' (ADR 0001 D4), obligation '${verified.id}'`,
+            recordIds: [],
+        };
+    }
+    const staleOwner = matching.find((entry) => entry.ownerStale);
+    if (staleOwner !== undefined) {
+        return {
+            verdict: 'stale',
+            reason: `waiver owner '${staleOwner.waiver.owner}' is stale (owner check failed); renewal with a new ` +
+                `review is required (GF-17), obligation '${verified.id}'`,
+            recordIds: [],
+        };
+    }
+    return null;
+}
 /**
  * Evaluates ONE obligation against the run's claims, records, waivers,
  * classification, and injected clock (pin #9). Pure and deterministic:
@@ -1734,6 +1923,20 @@ export function evaluateObligation(obligation, context) {
     if (verified.contract.startsWith('alembic:')) {
         return gradeAlembicObligation(verified, context);
     }
+    if (verified.contract === 'page:loads' || verified.contract === 'page:data-ok') {
+        // Adapter-free page lane: page promises grade on witnessed page
+        // visits alone — no classification/exposure gate (the page reader's
+        // contract). A WAIVER is owner intent about the obligation itself,
+        // though, so it applies here exactly as on the ordinary lane: same
+        // exact scope, expiry, and stale-owner rules, decided BEFORE the
+        // evidence grade. A revoked waiver simply stops speaking, and the
+        // page grades on its evidence again — it never turns into adopted
+        // debt through the waiver path.
+        const waiver = waiverOutcome(verified, context.waivers, parseInstant(context.now));
+        if (waiver !== null)
+            return waiver;
+        return gradePageObligation(verified, context.records ?? []);
+    }
     const now = parseInstant(context.now);
     // 1. Unclassified resources block (invariant 1); unresolved resources
     //    never reach this evaluator (the policy engine emits blocking
@@ -1770,50 +1973,12 @@ export function evaluateObligation(obligation, context) {
     }
     // 3. Waivers: exact (resourceId, fingerprint) scope only (D4).
     //    Precedence: unexpired non-stale → waived; expired → invalid (D4);
-    //    stale owner → stale (GF-17). Sorted for determinism.
-    const fp = fingerprintObligation(verified);
-    const matching = context.waivers
-        .map((entry) => {
-        // Strip the engine-only flag before strict validation; a waiver
-        // entry the schema rejects can never match exactly, so it degrades.
-        const { ownerStale, ...plain } = entry;
-        const parsed = WaiverSchema.safeParse(plain);
-        return parsed.success ? { ownerStale: Boolean(ownerStale), waiver: parsed.data } : null;
-    })
-        .filter((entry) => entry !== null)
-        .filter(({ waiver }) => waiver.scope.kind === 'exact' &&
-        waiver.scope.resourceId === verified.resourceId &&
-        waiver.scope.fingerprint === fp)
-        .sort((a, b) => compareStrings(`${a.waiver.expiresAt}\u0000${a.waiver.owner}`, `${b.waiver.expiresAt}\u0000${b.waiver.owner}`));
-    const unexpired = matching.filter((entry) => now.getTime() < Date.parse(entry.waiver.expiresAt) && !entry.ownerStale);
-    if (unexpired.length > 0 && unexpired[0] !== undefined) {
-        const waiver = unexpired[0].waiver;
-        return {
-            verdict: 'waived',
-            reason: `waived by '${waiver.owner}' until '${waiver.expiresAt}' ` +
-                `(approver '${waiver.approver}', ${waiver.justificationUrl})`,
-            recordIds: [],
-        };
-    }
-    const expired = matching.filter((entry) => now.getTime() >= Date.parse(entry.waiver.expiresAt) && !entry.ownerStale);
-    if (expired.length > 0 && expired[0] !== undefined) {
-        const waiver = expired[0].waiver;
-        return {
-            verdict: 'invalid',
-            reason: `waiver by '${waiver.owner}' expired at '${waiver.expiresAt}'; expired waivers block ` +
-                `as 'invalid' (ADR 0001 D4), obligation '${verified.id}'`,
-            recordIds: [],
-        };
-    }
-    const staleOwner = matching.find((entry) => entry.ownerStale);
-    if (staleOwner !== undefined) {
-        return {
-            verdict: 'stale',
-            reason: `waiver owner '${staleOwner.waiver.owner}' is stale (owner check failed); renewal with a new ` +
-                `review is required (GF-17), obligation '${verified.id}'`,
-            recordIds: [],
-        };
-    }
+    //    stale owner → stale (GF-17). Sorted for determinism. The rule
+    //    lives in ONE helper ({@link waiverOutcome}) shared with the
+    //    adapter-free page lane, so both lanes can never drift.
+    const waiver = waiverOutcome(verified, context.waivers, now);
+    if (waiver !== null)
+        return waiver;
     // 4. Claims on this obligation, deterministically ordered.
     const claims = context.claims
         .map((claim) => ClaimSchema.safeParse(claim))