wicked-crew 0.7.46 → 0.7.48

package/dist/standing-orders/routes.d.ts

@@ -61,12 +61,6 @@ export declare const CreateStandingOrderSchema: z.ZodObject<{
         activeWhen: z.ZodEnum<["away", "always"]>;
     }, "strict", z.ZodTypeAny, {
         action: "hold" | "notify" | "approve";
-        scope: {
-            kind: "all";
-        } | {
-            kind: "project";
-            projectId: string;
-        };
         trigger: {
             kind: "gate";
             phase: string;
@@ -76,15 +70,15 @@ export declare const CreateStandingOrderSchema: z.ZodObject<{
             kind: "finding";
             severity: "*" | "high" | "medium";
         };
-        activeWhen: "away" | "always";
-    }, {
-        action: "hold" | "notify" | "approve";
         scope: {
             kind: "all";
         } | {
             kind: "project";
             projectId: string;
         };
+        activeWhen: "always" | "away";
+    }, {
+        action: "hold" | "notify" | "approve";
         trigger: {
             kind: "gate";
             phase: string;
@@ -94,18 +88,18 @@ export declare const CreateStandingOrderSchema: z.ZodObject<{
             kind: "finding";
             severity: "*" | "high" | "medium";
         };
-        activeWhen: "away" | "always";
-    }>;
-}, "strict", z.ZodTypeAny, {
-    text: string;
-    rule: {
-        action: "hold" | "notify" | "approve";
         scope: {
             kind: "all";
         } | {
             kind: "project";
             projectId: string;
         };
+        activeWhen: "always" | "away";
+    }>;
+}, "strict", z.ZodTypeAny, {
+    text: string;
+    rule: {
+        action: "hold" | "notify" | "approve";
         trigger: {
             kind: "gate";
             phase: string;
@@ -115,18 +109,18 @@ export declare const CreateStandingOrderSchema: z.ZodObject<{
             kind: "finding";
             severity: "*" | "high" | "medium";
         };
-        activeWhen: "away" | "always";
-    };
-}, {
-    text: string;
-    rule: {
-        action: "hold" | "notify" | "approve";
         scope: {
             kind: "all";
         } | {
             kind: "project";
             projectId: string;
         };
+        activeWhen: "always" | "away";
+    };
+}, {
+    text: string;
+    rule: {
+        action: "hold" | "notify" | "approve";
         trigger: {
             kind: "gate";
             phase: string;
@@ -136,7 +130,13 @@ export declare const CreateStandingOrderSchema: z.ZodObject<{
             kind: "finding";
             severity: "*" | "high" | "medium";
         };
-        activeWhen: "away" | "always";
+        scope: {
+            kind: "all";
+        } | {
+            kind: "project";
+            projectId: string;
+        };
+        activeWhen: "always" | "away";
     };
 }>;
 export declare const ParseStandingOrderSchema: z.ZodObject<{

package/dist/standing-orders/store.d.ts

@@ -64,12 +64,6 @@ export declare const StandingOrderRuleSchema: z.ZodObject<{
     activeWhen: z.ZodEnum<["away", "always"]>;
 }, "strict", z.ZodTypeAny, {
     action: "hold" | "notify" | "approve";
-    scope: {
-        kind: "all";
-    } | {
-        kind: "project";
-        projectId: string;
-    };
     trigger: {
         kind: "gate";
         phase: string;
@@ -79,15 +73,15 @@ export declare const StandingOrderRuleSchema: z.ZodObject<{
         kind: "finding";
         severity: "*" | "high" | "medium";
     };
-    activeWhen: "away" | "always";
-}, {
-    action: "hold" | "notify" | "approve";
     scope: {
         kind: "all";
     } | {
         kind: "project";
         projectId: string;
     };
+    activeWhen: "always" | "away";
+}, {
+    action: "hold" | "notify" | "approve";
     trigger: {
         kind: "gate";
         phase: string;
@@ -97,7 +91,13 @@ export declare const StandingOrderRuleSchema: z.ZodObject<{
         kind: "finding";
         severity: "*" | "high" | "medium";
     };
-    activeWhen: "away" | "always";
+    scope: {
+        kind: "all";
+    } | {
+        kind: "project";
+        projectId: string;
+    };
+    activeWhen: "always" | "away";
 }>;
 export type StandingOrderRule = z.infer<typeof StandingOrderRuleSchema>;
 export interface StandingOrder {

package/dist/watch/checks/check-failed.d.ts

@@ -0,0 +1,24 @@
+/**
+ * `deterministic:check_failed` — a check that keeps throwing or timing out (entry
+ * `registry-check-failed`, §4.3, §6).
+ *
+ * The deterministic lane reports every throw and every timeout as an internal key point. Past
+ * `failures` of one entry inside `window_minutes`, one run-less flag for that entry's episode. A
+ * failed check never emits "fine": its runs' coverage already says it did not check.
+ */
+import { z } from 'zod';
+import type { WatchCheck } from '../types.js';
+declare const Threshold: z.ZodObject<{
+    failures: z.ZodNumber;
+    window_minutes: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    failures: number;
+    window_minutes: number;
+}, {
+    failures: number;
+    window_minutes: number;
+}>;
+type Threshold = z.infer<typeof Threshold>;
+export declare const checkFailedCheck: WatchCheck<Record<string, never>, Threshold>;
+export {};
+//# sourceMappingURL=check-failed.d.ts.map

package/dist/watch/checks/check-failed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-failed.d.ts","sourceRoot":"","sources":["../../../src/watch/checks/check-failed.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAe,UAAU,EAAE,MAAM,aAAa,CAAC;AAE3D,QAAA,MAAM,SAAS;;;;;;;;;EAKJ,CAAC;AACZ,KAAK,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAO3C,eAAO,MAAM,gBAAgB,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,SAAS,CAqCzE,CAAC"}

package/dist/watch/checks/check-failed.js

@@ -0,0 +1,56 @@
+/**
+ * `deterministic:check_failed` — a check that keeps throwing or timing out (entry
+ * `registry-check-failed`, §4.3, §6).
+ *
+ * The deterministic lane reports every throw and every timeout as an internal key point. Past
+ * `failures` of one entry inside `window_minutes`, one run-less flag for that entry's episode. A
+ * failed check never emits "fine": its runs' coverage already says it did not check.
+ */
+import { z } from 'zod';
+const Threshold = z
+    .object({
+    failures: z.number().int().min(1).max(1_000),
+    window_minutes: z.number().int().min(1).max(1_440),
+})
+    .strict();
+export const checkFailedCheck = {
+    name: 'deterministic:check_failed',
+    lane: 'deterministic',
+    paramsSchema: z.object({}).strict(),
+    thresholdSchema: Threshold,
+    evaluate(input, state, _params, t, ctx) {
+        const entryId = typeof input.event['entry_id'] === 'string' ? input.event['entry_id'] : null;
+        if (entryId === null)
+            return [];
+        const reason = input.event['reason'] === 'timeout' ? 'timed out' : 'failed';
+        const now = ctx.now();
+        const windowMs = t.window_minutes * 60_000;
+        const ep = state.bag.get(entryId) ?? { times: [], open: null };
+        state.bag.set(entryId, ep);
+        // A quiet window closes the episode AND clears its flag: the next burst is a new flag.
+        const out = [];
+        const last = ep.times[ep.times.length - 1];
+        if (ep.open !== null && last !== undefined && now - last > windowMs) {
+            out.push({ op: 'clear', subject: `check-failed:${entryId}:${ep.open}` });
+            ep.open = null;
+        }
+        ep.times = ep.times.filter((x) => now - x <= windowMs);
+        ep.times.push(now);
+        if (ep.open !== null || ep.times.length < t.failures)
+            return out;
+        ep.open = now;
+        return [
+            ...out,
+            {
+                op: 'raise',
+                subject: `check-failed:${entryId}:${ep.open}`,
+                sentence: `The "${entryId}" check ${reason} ${ep.times.length} times in ${t.window_minutes} min, so it is not checking right now.`,
+                facts: { entry_id: entryId, failures: ep.times.length, last: reason },
+                re: 'registry.check_failed',
+            },
+        ];
+    },
+    coverage: () => null,
+    describe: (t) => `When one check fails or times out ${t.failures} times within ${t.window_minutes} min`,
+};
+//# sourceMappingURL=check-failed.js.map

package/dist/watch/checks/check-failed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-failed.js","sourceRoot":"","sources":["../../../src/watch/checks/check-failed.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,MAAM,SAAS,GAAG,CAAC;KAChB,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IAC5C,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;CACnD,CAAC;KACD,MAAM,EAAE,CAAC;AAQZ,MAAM,CAAC,MAAM,gBAAgB,GAAiD;IAC5E,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,eAAe;IACrB,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,EAAiD;IAClF,eAAe,EAAE,SAAS;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG;QACpC,MAAM,OAAO,GAAG,OAAO,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7F,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC5E,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,CAAC,CAAC,cAAc,GAAG,MAAM,CAAC;QAC3C,MAAM,EAAE,GAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAyB,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACxF,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC3B,uFAAuF;QACvF,MAAM,GAAG,GAAkB,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,GAAG,IAAI,GAAG,QAAQ,EAAE,CAAC;YACpE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,gBAAgB,OAAO,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACzE,EAAE,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC;QACvD,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ;YAAE,OAAO,GAAG,CAAC;QACjE,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC;QACd,OAAO;YACL,GAAG,GAAG;YACN;gBACE,EAAE,EAAE,OAAO;gBACX,OAAO,EAAE,gBAAgB,OAAO,IAAI,EAAE,CAAC,IAAI,EAAE;gBAC7C,QAAQ,EAAE,QAAQ,OAAO,WAAW,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,aAAa,CAAC,CAAC,cAAc,wCAAwC;gBAClI,KAAK,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;gBACrE,EAAE,EAAE,uBAAuB;aAC5B;SACF,CAAC;IACJ,CAAC;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI;IACpB,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,qCAAqC,CAAC,CAAC,QAAQ,iBAAiB,CAAC,CAAC,cAAc,MAAM;CACxG,CAAC"}

package/dist/watch/checks/claim-vs-evidence.d.ts

@@ -0,0 +1,30 @@
+/**
+ * `deterministic:claim_vs_evidence` (DES-trigger-registry §4.3 row 1, §4.4, §4.7; TR-W6).
+ *
+ * Reads only fields the engine computed — no regex over transcripts (laya's `RX_CLAIM` was a
+ * measurement baseline, not a detector). Two arms, because `evaluatorVerdict` is `null` for
+ * creator, neutral and tool units (B3):
+ *
+ *  - **Evaluator arm.** `gateEvaluated.evaluatorVerdict === "PASS"` while the `repoChecksEvaluated`
+ *    emitted just before that gate says `passed: false` → one HIGH finding: "Said it passed; its
+ *    own checks failed (lint)". The join is the unit's `ord`; the attempt comes from the floor
+ *    (N3: `gateEvaluated` carries no attempt). A floor is evidence for its OWN gate only: the gate
+ *    consumes it, so a later gate with no fresh floor is never read against a stale one.
+ *  - **Creator arm.** `repoChecksEvaluated{floor: "creator", passed: false}` → one MEDIUM finding:
+ *    "Handed back as finished; its own checks failed (lint)". A creator that hands back output has
+ *    claimed it is finished; the engine's creator floor failing is the structural contradiction.
+ *
+ * A floor that did not RUN (`outcome: "not_run"` — no write boundary could be armed) is not "its
+ * checks failed": neither arm speaks, and coverage says the checks could not run. A floor that hit
+ * its bound (`outcome: "timed_out"`) says "did not finish".
+ *
+ * Failing check names come from `repoChecksEvaluated.checks` (exit code, timeout or spawn error).
+ * Clearing (§4.7): a `gateEvaluated{combined: true}` for the unit means a later attempt passed —
+ * every finding this check holds open on that unit is cleared.
+ * Coverage: "not checked" when no floor ran for the run (the gate's `floorNote` says why).
+ */
+import type { WatchCheck } from '../types.js';
+/** The checks that failed, by name: a non-zero exit, a timeout or a spawn error. */
+export declare function failingCheckNames(checks: unknown): string[];
+export declare const claimVsEvidenceCheck: WatchCheck<Record<string, never>, Record<string, never>>;
+//# sourceMappingURL=claim-vs-evidence.d.ts.map

package/dist/watch/checks/claim-vs-evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-vs-evidence.d.ts","sourceRoot":"","sources":["../../../src/watch/checks/claim-vs-evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,OAAO,KAAK,EAAe,UAAU,EAAE,MAAM,aAAa,CAAC;AA8B3D,oFAAoF;AACpF,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,EAAE,CAY3D;AAoBD,eAAO,MAAM,oBAAoB,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAkFzF,CAAC"}

package/dist/watch/checks/claim-vs-evidence.js

@@ -0,0 +1,152 @@
+/**
+ * `deterministic:claim_vs_evidence` (DES-trigger-registry §4.3 row 1, §4.4, §4.7; TR-W6).
+ *
+ * Reads only fields the engine computed — no regex over transcripts (laya's `RX_CLAIM` was a
+ * measurement baseline, not a detector). Two arms, because `evaluatorVerdict` is `null` for
+ * creator, neutral and tool units (B3):
+ *
+ *  - **Evaluator arm.** `gateEvaluated.evaluatorVerdict === "PASS"` while the `repoChecksEvaluated`
+ *    emitted just before that gate says `passed: false` → one HIGH finding: "Said it passed; its
+ *    own checks failed (lint)". The join is the unit's `ord`; the attempt comes from the floor
+ *    (N3: `gateEvaluated` carries no attempt). A floor is evidence for its OWN gate only: the gate
+ *    consumes it, so a later gate with no fresh floor is never read against a stale one.
+ *  - **Creator arm.** `repoChecksEvaluated{floor: "creator", passed: false}` → one MEDIUM finding:
+ *    "Handed back as finished; its own checks failed (lint)". A creator that hands back output has
+ *    claimed it is finished; the engine's creator floor failing is the structural contradiction.
+ *
+ * A floor that did not RUN (`outcome: "not_run"` — no write boundary could be armed) is not "its
+ * checks failed": neither arm speaks, and coverage says the checks could not run. A floor that hit
+ * its bound (`outcome: "timed_out"`) says "did not finish".
+ *
+ * Failing check names come from `repoChecksEvaluated.checks` (exit code, timeout or spawn error).
+ * Clearing (§4.7): a `gateEvaluated{combined: true}` for the unit means a later attempt passed —
+ * every finding this check holds open on that unit is cleared.
+ * Coverage: "not checked" when no floor ran for the run (the gate's `floorNote` says why).
+ */
+import { z } from 'zod';
+const num = (v) => (typeof v === 'number' && Number.isFinite(v) ? v : null);
+const text = (v) => (typeof v === 'string' ? v : '');
+/** The checks that failed, by name: a non-zero exit, a timeout or a spawn error. */
+export function failingCheckNames(checks) {
+    if (!Array.isArray(checks))
+        return [];
+    const out = [];
+    for (const c of checks) {
+        if (typeof c !== 'object' || c === null)
+            continue;
+        const r = c;
+        const name = typeof r['name'] === 'string' && r['name'] !== '' ? r['name'] : 'check';
+        const exit = r['exitCode'];
+        const failed = (typeof exit === 'number' && exit !== 0) || r['timedOut'] === true || (typeof r['spawnError'] === 'string' && r['spawnError'] !== '');
+        if (failed && !out.includes(name))
+            out.push(name);
+    }
+    return out;
+}
+function named(failing) {
+    if (failing.length === 0)
+        return 'its checks';
+    const shown = failing.slice(0, 3).join(', ');
+    return failing.length > 3 ? `${shown}, +${failing.length - 3} more` : shown;
+}
+/** "its own checks failed (lint)" / "its own checks did not finish (test)". */
+const evidence = (f) => `its own checks ${f.timedOut ? 'did not finish' : 'failed'} (${named(f.failing)})`;
+function raise(bag, ord, out) {
+    if (bag.raised.has(out.subject))
+        return [];
+    bag.raised.add(out.subject);
+    const open = bag.open.get(ord) ?? new Set();
+    open.add(out.subject);
+    bag.open.set(ord, open);
+    return [out];
+}
+export const claimVsEvidenceCheck = {
+    name: 'deterministic:claim_vs_evidence',
+    lane: 'deterministic',
+    paramsSchema: z.object({}).strict(),
+    thresholdSchema: z.object({}).strict(),
+    evaluate(input, state) {
+        const bag = state.bag.get('claim') ??
+            { pending: new Map(), floors: 0, notRun: 0, notRunNote: null, gates: 0, floorNote: null, raised: new Set(), open: new Map() };
+        state.bag.set('claim', bag);
+        const e = input.event;
+        const ord = num(e['ord']);
+        if (ord === null)
+            return [];
+        if (input.type === 'repoChecksEvaluated') {
+            const attempt = num(e['attempt']) ?? 0;
+            const passed = e['passed'] === true;
+            const outcome = text(e['outcome']);
+            const floor = text(e['floor']);
+            const ran = outcome !== 'not_run';
+            const current = { attempt, passed, ran, timedOut: outcome === 'timed_out', failing: failingCheckNames(e['checks']), floor };
+            bag.pending.set(ord, current);
+            if (!ran) {
+                bag.notRun++;
+                bag.notRunNote = text(e['sandboxError']) || text(e['detectError']) || bag.notRunNote;
+                return [];
+            }
+            bag.floors++;
+            if (floor !== 'creator' || passed)
+                return [];
+            return raise(bag, ord, {
+                op: 'raise',
+                subject: `${ord}:${attempt}:creator-floor-failed`,
+                kind: 'finding',
+                severity: 'medium',
+                sentence: `Handed back as finished; ${evidence(current)}.`,
+                facts: { arm: 'creator', floor, passed: false, failing: current.failing, timed_out: current.timedOut },
+                ord,
+                attempt,
+                re: `repoChecksEvaluated#${ord}:${attempt}`,
+            });
+        }
+        if (input.type !== 'gateEvaluated')
+            return [];
+        bag.gates++;
+        if (typeof e['floorNote'] === 'string' && e['floorNote'] !== '')
+            bag.floorNote = e['floorNote'];
+        // The floor emitted just before this gate is this gate's evidence — and no later gate's.
+        const floor = bag.pending.get(ord);
+        bag.pending.delete(ord);
+        if (e['combined'] === true) {
+            // A later attempt of this unit passed its gate: what this check held open on it is resolved.
+            const open = bag.open.get(ord);
+            if (open === undefined || open.size === 0)
+                return [];
+            bag.open.delete(ord);
+            return [...open].map((subject) => ({ op: 'clear', subject }));
+        }
+        const verdict = text(e['evaluatorVerdict']).trim().toUpperCase();
+        if (verdict !== 'PASS' || floor === undefined || !floor.ran || floor.passed)
+            return [];
+        return raise(bag, ord, {
+            op: 'raise',
+            subject: `${ord}:${floor.attempt}:evaluator-pass-vs-floor`,
+            kind: 'finding',
+            severity: 'high',
+            sentence: `Said it passed; ${evidence(floor)}.`,
+            facts: { arm: 'evaluator', verdict: 'PASS', floor: floor.floor, passed: false, failing: floor.failing, timed_out: floor.timedOut },
+            ord,
+            attempt: floor.attempt,
+            re: `gateEvaluated#${ord}`,
+        });
+    },
+    coverage(state) {
+        const bag = state.bag.get('claim');
+        if (bag !== undefined && bag.floors > 0)
+            return { state: 'checked' };
+        if (bag !== undefined && bag.notRun > 0) {
+            return { state: 'not_checked', reason: `the step's checks could not run${bag.notRunNote !== null && bag.notRunNote !== '' ? `: ${bag.notRunNote.slice(0, 160)}` : ''}` };
+        }
+        if (bag !== undefined && bag.gates > 0) {
+            return {
+                state: 'not_checked',
+                reason: bag.floorNote !== null ? `no deterministic floor ran: ${bag.floorNote.slice(0, 160)}` : 'no step ran its checks — nothing to read the verdict against',
+            };
+        }
+        return { state: 'not_checked', reason: 'no step has run its checks yet' };
+    },
+    describe: () => 'When a step is handed back as finished, or an evaluator says PASS, while the step\'s own checks failed',
+};
+//# sourceMappingURL=claim-vs-evidence.js.map

package/dist/watch/checks/claim-vs-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-vs-evidence.js","sourceRoot":"","sources":["../../../src/watch/checks/claim-vs-evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA4BxB,MAAM,GAAG,GAAG,CAAC,CAAU,EAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACpG,MAAM,IAAI,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAEtE,oFAAoF;AACpF,MAAM,UAAU,iBAAiB,CAAC,MAAe;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;YAAE,SAAS;QAClD,MAAM,CAAC,GAAG,CAA4B,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACrF,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC;QACrJ,IAAI,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,KAAK,CAAC,OAAiB;IAC9B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC;IAC9C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,OAAO,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9E,CAAC;AAED,+EAA+E;AAC/E,MAAM,QAAQ,GAAG,CAAC,CAAQ,EAAU,EAAE,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC;AAE1H,SAAS,KAAK,CAAC,GAAQ,EAAE,GAAW,EAAE,GAA0C;IAC9E,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;IACpD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACxB,OAAO,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED,MAAM,CAAC,MAAM,oBAAoB,GAA6D;IAC5F,IAAI,EAAE,iCAAiC;IACvC,IAAI,EAAE,eAAe;IACrB,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,EAAiD;IAClF,eAAe,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,EAAiD;IACrF,QAAQ,CAAC,KAAK,EAAE,KAAK;QACnB,MAAM,GAAG,GACN,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAqB;YAC1C,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAiB,CAAC;QAChJ,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;QACtB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1B,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;YACpC,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YACnC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YAC/B,MAAM,GAAG,GAAG,OAAO,KAAK,SAAS,CAAC;YAClC,MAAM,OAAO,GAAU,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,KAAK,WAAW,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;YACnI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC9B,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,GAAG,CAAC,MAAM,EAAE,CAAC;gBACb,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC;gBACrF,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,GAAG,CAAC,MAAM,EAAE,CAAC;YACb,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM;gBAAE,OAAO,EAAE,CAAC;YAC7C,OAAO,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE;gBACrB,EAAE,EAAE,OAAO;gBACX,OAAO,EAAE,GAAG,GAAG,IAAI,OAAO,uBAAuB;gBACjD,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,QAAQ;gBAClB,QAAQ,EAAE,4BAA4B,QAAQ,CAAC,OAAO,CAAC,GAAG;gBAC1D,KAAK,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE;gBACtG,GAAG;gBACH,OAAO;gBACP,EAAE,EAAE,uBAAuB,GAAG,IAAI,OAAO,EAAE;aAC5C,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,EAAE,CAAC;QAC9C,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,IAAI,OAAO,CAAC,CAAC,WAAW,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE;YAAE,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;QAChG,yFAAyF;QACzF,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3B,6FAA6F;YAC7F,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACrD,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACrB,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAU,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACjE,IAAI,OAAO,KAAK,MAAM,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QACvF,OAAO,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE;YACrB,EAAE,EAAE,OAAO;YACX,OAAO,EAAE,GAAG,GAAG,IAAI,KAAK,CAAC,OAAO,0BAA0B;YAC1D,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,MAAM;YAChB,QAAQ,EAAE,mBAAmB,QAAQ,CAAC,KAAK,CAAC,GAAG;YAC/C,KAAK,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE;YAClI,GAAG;YACH,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,EAAE,EAAE,iBAAiB,GAAG,EAAE;SAC3B,CAAC,CAAC;IACL,CAAC;IACD,QAAQ,CAAC,KAAK;QACZ,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAoB,CAAC;QACtD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACrE,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,kCAAkC,GAAG,CAAC,UAAU,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;QAC3K,CAAC;QACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACvC,OAAO;gBACL,KAAK,EAAE,aAAa;gBACpB,MAAM,EAAE,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,+BAA+B,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,8DAA8D;aAC/J,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;IAC5E,CAAC;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,wGAAwG;CACzH,CAAC"}

package/dist/watch/checks/deliver-audit.d.ts

@@ -0,0 +1,19 @@
+/**
+ * `deterministic:deliver_audit` — entry `deliver-audit` (DES-TRIGGER-REGISTRY-001 §4.3 row 3, TR-W5b).
+ *
+ * A sequence check over the engine's own facts, nothing parsed: the deliver unit's
+ * `deliverLiftEvaluated.outcome`, joined to the same (session, ord, attempt)'s next
+ * `repoChecksEvaluated`, with the unit's end (`unitOutputCaptured` or `gateEvaluated` for that ord)
+ * closing the window.
+ *
+ * - `lifted` and the unit ends with NO re-check for that attempt → FINDING high: the tree that ships
+ *   was moved onto the remote tip and never re-verified. (A re-check that ran and FAILED is not a
+ *   finding: the engine failed the unit and pushed nothing.) A re-check arriving later clears it.
+ * - `skipped` → flag medium at once: the lift could not be decided, so the tree that ships was not
+ *   re-verified on the remote tip (the deliver script's own rebase stands).
+ * - `conflict` / `failed` → flag info: the engine already failed the unit; this only names it.
+ * - `unchanged` → nothing.
+ */
+import type { WatchCheck } from '../types.js';
+export declare const deliverAuditCheck: WatchCheck<Record<string, never>, Record<string, never>>;
+//# sourceMappingURL=deliver-audit.d.ts.map

package/dist/watch/checks/deliver-audit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deliver-audit.d.ts","sourceRoot":"","sources":["../../../src/watch/checks/deliver-audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAe,UAAU,EAAE,MAAM,aAAa,CAAC;AAiB3D,eAAO,MAAM,iBAAiB,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAuGtF,CAAC"}

package/dist/watch/checks/deliver-audit.js

@@ -0,0 +1,129 @@
+/**
+ * `deterministic:deliver_audit` — entry `deliver-audit` (DES-TRIGGER-REGISTRY-001 §4.3 row 3, TR-W5b).
+ *
+ * A sequence check over the engine's own facts, nothing parsed: the deliver unit's
+ * `deliverLiftEvaluated.outcome`, joined to the same (session, ord, attempt)'s next
+ * `repoChecksEvaluated`, with the unit's end (`unitOutputCaptured` or `gateEvaluated` for that ord)
+ * closing the window.
+ *
+ * - `lifted` and the unit ends with NO re-check for that attempt → FINDING high: the tree that ships
+ *   was moved onto the remote tip and never re-verified. (A re-check that ran and FAILED is not a
+ *   finding: the engine failed the unit and pushed nothing.) A re-check arriving later clears it.
+ * - `skipped` → flag medium at once: the lift could not be decided, so the tree that ships was not
+ *   re-verified on the remote tip (the deliver script's own rebase stands).
+ * - `conflict` / `failed` → flag info: the engine already failed the unit; this only names it.
+ * - `unchanged` → nothing.
+ */
+import { z } from 'zod';
+const num = (v) => (typeof v === 'number' && Number.isFinite(v) ? v : null);
+const keyOf = (ord, attempt) => `${ord}:${attempt}`;
+export const deliverAuditCheck = {
+    name: 'deterministic:deliver_audit',
+    lane: 'deterministic',
+    paramsSchema: z.object({}).strict(),
+    thresholdSchema: z.object({}).strict(),
+    evaluate(input, state) {
+        const bag = state.bag.get('deliver') ?? { lifts: new Map(), outcomes: 0 };
+        state.bag.set('deliver', bag);
+        const e = input.event;
+        const ord = num(e['ord']);
+        const attempt = num(e['attempt']);
+        switch (input.type) {
+            case 'deliverLiftEvaluated': {
+                if (ord === null || attempt === null)
+                    return [];
+                bag.outcomes++;
+                const outcome = typeof e['outcome'] === 'string' ? e['outcome'] : '';
+                const re = `deliverLiftEvaluated#${ord}:${attempt}`;
+                if (outcome === 'lifted') {
+                    bag.lifts.set(keyOf(ord, attempt), { ord, attempt, rechecked: false, raised: false });
+                    return [];
+                }
+                if (outcome === 'skipped') {
+                    const note = typeof e['note'] === 'string' && e['note'] !== '' ? ` (${e['note'].slice(0, 160)})` : '';
+                    return [
+                        {
+                            op: 'raise',
+                            subject: `${ord}:${attempt}:lift-skipped`,
+                            kind: 'flag',
+                            severity: 'medium',
+                            sentence: `The tree that ships was not re-checked on the newest main: the lift was skipped${note}.`,
+                            facts: { outcome, base_ref: e['baseRef'] ?? null },
+                            ord,
+                            attempt,
+                            re,
+                        },
+                    ];
+                }
+                if (outcome === 'conflict' || outcome === 'failed') {
+                    const conflicts = Array.isArray(e['conflicts']) ? e['conflicts'].filter((c) => typeof c === 'string').slice(0, 10) : [];
+                    return [
+                        {
+                            op: 'raise',
+                            subject: `${ord}:${attempt}:lift-${outcome}`,
+                            kind: 'flag',
+                            severity: 'info',
+                            sentence: outcome === 'conflict'
+                                ? `Delivery stopped: the work would conflict with the newest main${conflicts.length > 0 ? ` in ${conflicts.length} file${conflicts.length === 1 ? '' : 's'}` : ''}. Nothing was pushed.`
+                                : 'Delivery stopped: moving the work onto the newest main failed part-way. Nothing was pushed.',
+                            facts: { outcome, conflicts },
+                            ord,
+                            attempt,
+                            re,
+                        },
+                    ];
+                }
+                return [];
+            }
+            case 'repoChecksEvaluated': {
+                if (ord === null || attempt === null)
+                    return [];
+                const lift = bag.lifts.get(keyOf(ord, attempt));
+                if (lift === undefined)
+                    return [];
+                lift.rechecked = true;
+                // A late re-check resolves a raised finding (passing or failing: either way it ran). Cleared
+                // unconditionally — a restart may hold the row open while this life never raised it; a
+                // clear naming no row is a no-op in the emitter.
+                lift.raised = false;
+                return [{ op: 'clear', subject: `${ord}:${attempt}:lift-unverified` }];
+            }
+            case 'unitOutputCaptured':
+            case 'gateEvaluated': {
+                if (ord === null)
+                    return [];
+                const out = [];
+                for (const lift of bag.lifts.values()) {
+                    if (lift.ord !== ord || lift.rechecked || lift.raised)
+                        continue;
+                    // `gateEvaluated` carries no attempt: it closes every open lift of its unit.
+                    if (input.type === 'unitOutputCaptured' && attempt !== null && attempt !== lift.attempt)
+                        continue;
+                    lift.raised = true;
+                    out.push({
+                        op: 'raise',
+                        subject: `${lift.ord}:${lift.attempt}:lift-unverified`,
+                        kind: 'finding',
+                        severity: 'high',
+                        sentence: 'The work was moved onto the newest main before delivery, and the moved tree was never re-checked.',
+                        facts: { outcome: 'lifted', rechecked: false },
+                        ord: lift.ord,
+                        attempt: lift.attempt,
+                        re: `deliverLiftEvaluated#${lift.ord}:${lift.attempt}`,
+                    });
+                }
+                return out;
+            }
+            default:
+                return [];
+        }
+    },
+    coverage(state) {
+        const bag = state.bag.get('deliver');
+        if (bag !== undefined && bag.outcomes > 0)
+            return { state: 'checked' };
+        return { state: 'not_checked', reason: 'nothing was delivered on this run yet' };
+    },
+    describe: () => 'When delivery moves the work onto the newest main and the moved tree is not re-checked, or the move is skipped, conflicts or fails',
+};
+//# sourceMappingURL=deliver-audit.js.map

package/dist/watch/checks/deliver-audit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deliver-audit.js","sourceRoot":"","sources":["../../../src/watch/checks/deliver-audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAexB,MAAM,GAAG,GAAG,CAAC,CAAU,EAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACpG,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,OAAe,EAAU,EAAE,CAAC,GAAG,GAAG,IAAI,OAAO,EAAE,CAAC;AAE5E,MAAM,CAAC,MAAM,iBAAiB,GAA6D;IACzF,IAAI,EAAE,6BAA6B;IACnC,IAAI,EAAE,eAAe;IACrB,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,EAAiD;IAClF,eAAe,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,EAAiD;IACrF,QAAQ,CAAC,KAAK,EAAE,KAAK;QACnB,MAAM,GAAG,GAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAqB,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAC/F,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;QACtB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAClC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,sBAAsB,CAAC,CAAC,CAAC;gBAC5B,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,EAAE,CAAC;gBAChD,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACf,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrE,MAAM,EAAE,GAAG,wBAAwB,GAAG,IAAI,OAAO,EAAE,CAAC;gBACpD,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;oBACzB,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;oBACtF,OAAO,EAAE,CAAC;gBACZ,CAAC;gBACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtG,OAAO;wBACL;4BACE,EAAE,EAAE,OAAO;4BACX,OAAO,EAAE,GAAG,GAAG,IAAI,OAAO,eAAe;4BACzC,IAAI,EAAE,MAAM;4BACZ,QAAQ,EAAE,QAAQ;4BAClB,QAAQ,EAAE,kFAAkF,IAAI,GAAG;4BACnG,KAAK,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI,EAAE;4BAClD,GAAG;4BACH,OAAO;4BACP,EAAE;yBACH;qBACF,CAAC;gBACJ,CAAC;gBACD,IAAI,OAAO,KAAK,UAAU,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;oBACnD,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,WAAW,CAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvI,OAAO;wBACL;4BACE,EAAE,EAAE,OAAO;4BACX,OAAO,EAAE,GAAG,GAAG,IAAI,OAAO,SAAS,OAAO,EAAE;4BAC5C,IAAI,EAAE,MAAM;4BACZ,QAAQ,EAAE,MAAM;4BAChB,QAAQ,EACN,OAAO,KAAK,UAAU;gCACpB,CAAC,CAAC,iEAAiE,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,SAAS,CAAC,MAAM,QAAQ,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,uBAAuB;gCACxL,CAAC,CAAC,6FAA6F;4BACnG,KAAK,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE;4BAC7B,GAAG;4BACH,OAAO;4BACP,EAAE;yBACH;qBACF,CAAC;gBACJ,CAAC;gBACD,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,EAAE,CAAC;gBAChD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;gBAChD,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,EAAE,CAAC;gBAClC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;gBACtB,6FAA6F;gBAC7F,uFAAuF;gBACvF,iDAAiD;gBACjD,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;gBACpB,OAAO,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,GAAG,IAAI,OAAO,kBAAkB,EAAE,CAAC,CAAC;YACzE,CAAC;YACD,KAAK,oBAAoB,CAAC;YAC1B,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,GAAG,KAAK,IAAI;oBAAE,OAAO,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAkB,EAAE,CAAC;gBAC9B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;oBACtC,IAAI,IAAI,CAAC,GAAG,KAAK,GAAG,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM;wBAAE,SAAS;oBAChE,6EAA6E;oBAC7E,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,CAAC,OAAO;wBAAE,SAAS;oBAClG,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;oBACnB,GAAG,CAAC,IAAI,CAAC;wBACP,EAAE,EAAE,OAAO;wBACX,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,kBAAkB;wBACtD,IAAI,EAAE,SAAS;wBACf,QAAQ,EAAE,MAAM;wBAChB,QAAQ,EAAE,mGAAmG;wBAC7G,KAAK,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE;wBAC9C,GAAG,EAAE,IAAI,CAAC,GAAG;wBACb,OAAO,EAAE,IAAI,CAAC,OAAO;wBACrB,EAAE,EAAE,wBAAwB,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE;qBACvD,CAAC,CAAC;gBACL,CAAC;gBACD,OAAO,GAAG,CAAC;YACb,CAAC;YACD;gBACE,OAAO,EAAE,CAAC;QACd,CAAC;IACH,CAAC;IACD,QAAQ,CAAC,KAAK;QACZ,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAoB,CAAC;QACxD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,GAAG,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACvE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,uCAAuC,EAAE,CAAC;IACnF,CAAC;IACD,QAAQ,EAAE,GAAG,EAAE,CACb,oIAAoI;CACvI,CAAC"}

package/dist/watch/checks/index.d.ts

@@ -0,0 +1,8 @@
+/**
+ * The check map (DES-TRIGGER-REGISTRY-001 §4.4): name → implementation, the ONE place a check is
+ * named. Each crew slice adds one line here (TR-W5b, W6, W7, W9), which is why they land in
+ * sequence. An entry naming a check that is not here is refused at load.
+ */
+import type { WatchCheck } from '../types.js';
+export declare const SHIPPED_CHECKS: ReadonlyMap<string, WatchCheck>;
+//# sourceMappingURL=index.d.ts.map

package/dist/watch/checks/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/watch/checks/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAS9C,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAUzD,CAAC"}

package/dist/watch/checks/index.js

@@ -0,0 +1,24 @@
+/**
+ * The check map (DES-TRIGGER-REGISTRY-001 §4.4): name → implementation, the ONE place a check is
+ * named. Each crew slice adds one line here (TR-W5b, W6, W7, W9), which is why they land in
+ * sequence. An entry naming a check that is not here is refused at load.
+ */
+import { checkFailedCheck } from './check-failed.js';
+import { claimVsEvidenceCheck } from './claim-vs-evidence.js';
+import { deliverAuditCheck } from './deliver-audit.js';
+import { lagCheck } from './lag.js';
+import { quietAfterClaimCheck } from './quiet-after-claim.js';
+import { ungatedCheck } from './ungated.js';
+import { warnedRuleCheck } from './warned-rule.js';
+export const SHIPPED_CHECKS = new Map([
+    [lagCheck.name, lagCheck],
+    [checkFailedCheck.name, checkFailedCheck],
+    // TR-W5b
+    [deliverAuditCheck.name, deliverAuditCheck],
+    [ungatedCheck.name, ungatedCheck],
+    [quietAfterClaimCheck.name, quietAfterClaimCheck],
+    // TR-W6
+    [claimVsEvidenceCheck.name, claimVsEvidenceCheck],
+    [warnedRuleCheck.name, warnedRuleCheck],
+]);
+//# sourceMappingURL=index.js.map

package/dist/watch/checks/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/watch/checks/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,MAAM,CAAC,MAAM,cAAc,GAAoC,IAAI,GAAG,CAAqB;IACzF,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAiC,CAAC;IAClD,CAAC,gBAAgB,CAAC,IAAI,EAAE,gBAAyC,CAAC;IAClE,SAAS;IACT,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAA0C,CAAC;IACpE,CAAC,YAAY,CAAC,IAAI,EAAE,YAAqC,CAAC;IAC1D,CAAC,oBAAoB,CAAC,IAAI,EAAE,oBAA6C,CAAC;IAC1E,QAAQ;IACR,CAAC,oBAAoB,CAAC,IAAI,EAAE,oBAA6C,CAAC;IAC1E,CAAC,eAAe,CAAC,IAAI,EAAE,eAAwC,CAAC;CACjE,CAAC,CAAC"}