wicked-crew 0.7.45 → 0.7.47

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

@@ -76,7 +76,7 @@ export declare const CreateStandingOrderSchema: z.ZodObject<{
             kind: "finding";
             severity: "*" | "high" | "medium";
         };
-        activeWhen: "away" | "always";
+        activeWhen: "always" | "away";
     }, {
         action: "hold" | "notify" | "approve";
         scope: {
@@ -94,7 +94,7 @@ export declare const CreateStandingOrderSchema: z.ZodObject<{
             kind: "finding";
             severity: "*" | "high" | "medium";
         };
-        activeWhen: "away" | "always";
+        activeWhen: "always" | "away";
     }>;
 }, "strict", z.ZodTypeAny, {
     text: string;
@@ -115,7 +115,7 @@ export declare const CreateStandingOrderSchema: z.ZodObject<{
             kind: "finding";
             severity: "*" | "high" | "medium";
         };
-        activeWhen: "away" | "always";
+        activeWhen: "always" | "away";
     };
 }, {
     text: string;
@@ -136,7 +136,7 @@ export declare const CreateStandingOrderSchema: z.ZodObject<{
             kind: "finding";
             severity: "*" | "high" | "medium";
         };
-        activeWhen: "away" | "always";
+        activeWhen: "always" | "away";
     };
 }>;
 export declare const ParseStandingOrderSchema: z.ZodObject<{

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

@@ -79,7 +79,7 @@ export declare const StandingOrderRuleSchema: z.ZodObject<{
         kind: "finding";
         severity: "*" | "high" | "medium";
     };
-    activeWhen: "away" | "always";
+    activeWhen: "always" | "away";
 }, {
     action: "hold" | "notify" | "approve";
     scope: {
@@ -97,7 +97,7 @@ export declare const StandingOrderRuleSchema: z.ZodObject<{
         kind: "finding";
         severity: "*" | "high" | "medium";
     };
-    activeWhen: "away" | "always";
+    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/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;AAO9C,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAOzD,CAAC"}

package/dist/watch/checks/index.js

@@ -0,0 +1,19 @@
+/**
+ * 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 { deliverAuditCheck } from './deliver-audit.js';
+import { lagCheck } from './lag.js';
+import { quietAfterClaimCheck } from './quiet-after-claim.js';
+import { ungatedCheck } from './ungated.js';
+export const SHIPPED_CHECKS = new Map([
+    [lagCheck.name, lagCheck],
+    [checkFailedCheck.name, checkFailedCheck],
+    // TR-W5b
+    [deliverAuditCheck.name, deliverAuditCheck],
+    [ungatedCheck.name, ungatedCheck],
+    [quietAfterClaimCheck.name, quietAfterClaimCheck],
+]);
+//# 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,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;AAE5C,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;CAC3E,CAAC,CAAC"}

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

@@ -0,0 +1,24 @@
+/**
+ * `deterministic:lag` — the registry watching itself (entry `registry-lagging`, §4.3).
+ *
+ * Fed by the registry's own 30 s tick (and at once when the push ring sheds). Lagging means the
+ * ring is over its depth threshold, the bus pull is more than `tail_lag_ms` behind the bus tail, or
+ * the ring shed an input since the last tick. One flag per episode, run-less ("for whoever runs
+ * studio"); the episode's flag clears when a tick finds the registry caught up.
+ */
+import { z } from 'zod';
+import type { WatchCheck } from '../types.js';
+declare const Threshold: z.ZodObject<{
+    queue_depth: z.ZodNumber;
+    tail_lag_ms: z.ZodNumber;
+}, "strict", z.ZodTypeAny, {
+    queue_depth: number;
+    tail_lag_ms: number;
+}, {
+    queue_depth: number;
+    tail_lag_ms: number;
+}>;
+type Threshold = z.infer<typeof Threshold>;
+export declare const lagCheck: WatchCheck<Record<string, never>, Threshold>;
+export {};
+//# sourceMappingURL=lag.d.ts.map

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

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

package/dist/watch/checks/lag.js

@@ -0,0 +1,55 @@
+/**
+ * `deterministic:lag` — the registry watching itself (entry `registry-lagging`, §4.3).
+ *
+ * Fed by the registry's own 30 s tick (and at once when the push ring sheds). Lagging means the
+ * ring is over its depth threshold, the bus pull is more than `tail_lag_ms` behind the bus tail, or
+ * the ring shed an input since the last tick. One flag per episode, run-less ("for whoever runs
+ * studio"); the episode's flag clears when a tick finds the registry caught up.
+ */
+import { z } from 'zod';
+const Threshold = z
+    .object({
+    queue_depth: z.number().int().min(1).max(100_000),
+    tail_lag_ms: z.number().int().min(1_000).max(3_600_000),
+})
+    .strict();
+export const lagCheck = {
+    name: 'deterministic:lag',
+    lane: 'deterministic',
+    paramsSchema: z.object({}).strict(),
+    thresholdSchema: Threshold,
+    evaluate(_input, state, _params, t, ctx) {
+        const s = ctx.stats();
+        const bag = state.bag.get('lag') ?? { episode: null, shedSeen: 0 };
+        state.bag.set('lag', bag);
+        const shedNow = s.shedTotal > bag.shedSeen;
+        bag.shedSeen = s.shedTotal;
+        const lagging = s.queueDepth >= t.queue_depth || s.tailLagMs > t.tail_lag_ms || shedNow;
+        if (lagging && bag.episode === null) {
+            bag.episode = ctx.now();
+            const why = shedNow
+                ? 'it had to drop some low-priority events'
+                : s.tailLagMs > t.tail_lag_ms
+                    ? `it is ${Math.round(s.tailLagMs / 1000)} s behind the event bus`
+                    : `${s.queueDepth} events are waiting to be checked`;
+            return [
+                {
+                    op: 'raise',
+                    subject: `lag:${bag.episode}`,
+                    sentence: `Watching is falling behind: ${why}.`,
+                    facts: { queue_depth: s.queueDepth, queue_hwm: s.queueHwm, shed_total: s.shedTotal, tail_lag_ms: s.tailLagMs },
+                    re: 'registry.tick',
+                },
+            ];
+        }
+        if (!lagging && bag.episode !== null) {
+            const subject = `lag:${bag.episode}`;
+            bag.episode = null;
+            return [{ op: 'clear', subject }];
+        }
+        return [];
+    },
+    coverage: () => null,
+    describe: (t) => `When ${t.queue_depth} or more events are waiting, watching is more than ${Math.round(t.tail_lag_ms / 1000)} s behind the bus, or an event had to be dropped`,
+};
+//# sourceMappingURL=lag.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lag.js","sourceRoot":"","sources":["../../../src/watch/checks/lag.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,MAAM,SAAS,GAAG,CAAC;KAChB,MAAM,CAAC;IACN,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;IACjD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;CACxD,CAAC;KACD,MAAM,EAAE,CAAC;AAQZ,MAAM,CAAC,MAAM,QAAQ,GAAiD;IACpE,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,eAAe;IACrB,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,EAAiD;IAClF,eAAe,EAAE,SAAS;IAC1B,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG;QACrC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC;QACtB,MAAM,GAAG,GAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAwB,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAC3F,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC;QAC3C,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC;QAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,WAAW,IAAI,OAAO,CAAC;QACxF,IAAI,OAAO,IAAI,GAAG,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YACpC,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,OAAO;gBACjB,CAAC,CAAC,yCAAyC;gBAC3C,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,WAAW;oBAC3B,CAAC,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,yBAAyB;oBAClE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,mCAAmC,CAAC;YACzD,OAAO;gBACL;oBACE,EAAE,EAAE,OAAO;oBACX,OAAO,EAAE,OAAO,GAAG,CAAC,OAAO,EAAE;oBAC7B,QAAQ,EAAE,+BAA+B,GAAG,GAAG;oBAC/C,KAAK,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,SAAS,EAAE;oBAC9G,EAAE,EAAE,eAAe;iBACpB;aACF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,OAAO,GAAG,CAAC,OAAO,EAAE,CAAC;YACrC,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;YACnB,OAAO,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI;IACpB,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,QAAQ,CAAC,CAAC,WAAW,sDAAsD,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,GAAG,IAAI,CAAC,kDAAkD;CAChK,CAAC"}

package/dist/watch/checks/quiet-after-claim.d.ts

@@ -0,0 +1,17 @@
+/**
+ * `deterministic:quiet_after_claim` — entry `quiet-after-claim` (DES-TRIGGER-REGISTRY-001 §4.3
+ * row 5, TR-W5b).
+ *
+ * The watchdog's DETECTION frame (`workerStalled`, the `onFrame` tee) after the cursor unit handed
+ * back `unitOutputCaptured{stepStatus:"ok"}` — and with no `gateEvaluated` for that unit since — is
+ * a contradiction: the step says it is finished, yet nothing moved (R6 "contradicted").
+ *
+ * The frame carries no attempt and no quiet-start, and a restart never re-arms the watchdog clock,
+ * so the subject is `ord:attempt:after-claim` with the attempt from the CLAIM: one finding per
+ * claimed attempt however many quiet periods or restarts follow (the key resolves to the row
+ * already on the bus). Its gate arriving afterwards clears it. Thresholds stay the watchdog's
+ * (`workerStallMinutes`), so this entry has none of its own.
+ */
+import type { WatchCheck } from '../types.js';
+export declare const quietAfterClaimCheck: WatchCheck<Record<string, never>, Record<string, never>>;
+//# sourceMappingURL=quiet-after-claim.d.ts.map

package/dist/watch/checks/quiet-after-claim.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"quiet-after-claim.d.ts","sourceRoot":"","sources":["../../../src/watch/checks/quiet-after-claim.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAiB9C,eAAO,MAAM,oBAAoB,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAiEzF,CAAC"}

package/dist/watch/checks/quiet-after-claim.js

@@ -0,0 +1,89 @@
+/**
+ * `deterministic:quiet_after_claim` — entry `quiet-after-claim` (DES-TRIGGER-REGISTRY-001 §4.3
+ * row 5, TR-W5b).
+ *
+ * The watchdog's DETECTION frame (`workerStalled`, the `onFrame` tee) after the cursor unit handed
+ * back `unitOutputCaptured{stepStatus:"ok"}` — and with no `gateEvaluated` for that unit since — is
+ * a contradiction: the step says it is finished, yet nothing moved (R6 "contradicted").
+ *
+ * The frame carries no attempt and no quiet-start, and a restart never re-arms the watchdog clock,
+ * so the subject is `ord:attempt:after-claim` with the attempt from the CLAIM: one finding per
+ * claimed attempt however many quiet periods or restarts follow (the key resolves to the row
+ * already on the bus). Its gate arriving afterwards clears it. Thresholds stay the watchdog's
+ * (`workerStallMinutes`), so this entry has none of its own.
+ */
+import { z } from 'zod';
+export const quietAfterClaimCheck = {
+    name: 'deterministic:quiet_after_claim',
+    lane: 'deterministic',
+    paramsSchema: z.object({}).strict(),
+    thresholdSchema: z.object({}).strict(),
+    evaluate(input, state) {
+        const bag = state.bag.get('quiet') ?? { claims: new Map(), lastOrd: null, seen: 0 };
+        state.bag.set('quiet', bag);
+        const e = input.event;
+        const ord = typeof e['ord'] === 'number' ? e['ord'] : null;
+        switch (input.type) {
+            case 'unitOutputCaptured': {
+                bag.seen++;
+                if (ord === null || typeof e['attempt'] !== 'number')
+                    return [];
+                if (e['stepStatus'] !== 'ok') {
+                    bag.claims.delete(ord);
+                    return [];
+                }
+                bag.claims.set(ord, { ord, attempt: e['attempt'], gated: false, raised: false });
+                bag.lastOrd = ord;
+                return [];
+            }
+            case 'gateEvaluated': {
+                if (ord === null)
+                    return [];
+                const claim = bag.claims.get(ord);
+                if (claim === undefined)
+                    return [];
+                claim.gated = true;
+                // Clear unconditionally: after a restart the replay rebuilds the claim with `raised: false`
+                // (watchdog frames are not replayed), yet the hydrated row may be open. A clear naming no
+                // row is a no-op in the emitter (codex on TR-W5b).
+                return [{ op: 'clear', subject: `${claim.ord}:${claim.attempt}:after-claim` }];
+            }
+            case 'workerStalled': {
+                bag.seen++;
+                // The DETECTION frame carries `quietForMs`; the engine's PTY-path event of the same name
+                // carries `stalledSecs` and is not this input.
+                if (typeof e['quietForMs'] !== 'number')
+                    return [];
+                const at = ord ?? bag.lastOrd;
+                if (at === null)
+                    return [];
+                const claim = bag.claims.get(at);
+                if (claim === undefined || claim.gated || claim.raised)
+                    return [];
+                claim.raised = true;
+                const minutes = Math.max(1, Math.round(e['quietForMs'] / 60_000));
+                return [
+                    {
+                        op: 'raise',
+                        subject: `${claim.ord}:${claim.attempt}:after-claim`,
+                        sentence: `Says it's finished, but nothing new in ${minutes} min.`,
+                        facts: { quiet_for_ms: e['quietForMs'] },
+                        ord: claim.ord,
+                        attempt: claim.attempt,
+                        re: `workerStalled#${claim.ord}`,
+                    },
+                ];
+            }
+            default:
+                return [];
+        }
+    },
+    coverage(state) {
+        const bag = state.bag.get('quiet');
+        if (bag !== undefined && bag.seen > 0)
+            return { state: 'checked' };
+        return { state: 'not_checked', reason: 'no step has handed back yet' };
+    },
+    describe: () => "When a step says it's finished but the run then goes quiet past the stall watchdog's threshold",
+};
+//# sourceMappingURL=quiet-after-claim.js.map

package/dist/watch/checks/quiet-after-claim.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quiet-after-claim.js","sourceRoot":"","sources":["../../../src/watch/checks/quiet-after-claim.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAkBxB,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,GAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAqB,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACzG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;QACtB,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,GAAG,CAAC,IAAI,EAAE,CAAC;gBACX,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ;oBAAE,OAAO,EAAE,CAAC;gBAChE,IAAI,CAAC,CAAC,YAAY,CAAC,KAAK,IAAI,EAAE,CAAC;oBAC7B,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACvB,OAAO,EAAE,CAAC;gBACZ,CAAC;gBACD,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;gBACjF,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC;gBAClB,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,GAAG,KAAK,IAAI;oBAAE,OAAO,EAAE,CAAC;gBAC5B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAClC,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,EAAE,CAAC;gBACnC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;gBACnB,4FAA4F;gBAC5F,0FAA0F;gBAC1F,mDAAmD;gBACnD,OAAO,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,OAAO,cAAc,EAAE,CAAC,CAAC;YACjF,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,GAAG,CAAC,IAAI,EAAE,CAAC;gBACX,yFAAyF;gBACzF,+CAA+C;gBAC/C,IAAI,OAAO,CAAC,CAAC,YAAY,CAAC,KAAK,QAAQ;oBAAE,OAAO,EAAE,CAAC;gBACnD,MAAM,EAAE,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC;gBAC9B,IAAI,EAAE,KAAK,IAAI;oBAAE,OAAO,EAAE,CAAC;gBAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACjC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM;oBAAE,OAAO,EAAE,CAAC;gBAClE,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;gBACpB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;gBAClE,OAAO;oBACL;wBACE,EAAE,EAAE,OAAO;wBACX,OAAO,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,OAAO,cAAc;wBACpD,QAAQ,EAAE,0CAA0C,OAAO,OAAO;wBAClE,KAAK,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE;wBACxC,GAAG,EAAE,KAAK,CAAC,GAAG;wBACd,OAAO,EAAE,KAAK,CAAC,OAAO;wBACtB,EAAE,EAAE,iBAAiB,KAAK,CAAC,GAAG,EAAE;qBACjC;iBACF,CAAC;YACJ,CAAC;YACD;gBACE,OAAO,EAAE,CAAC;QACd,CAAC;IACH,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,IAAI,GAAG,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACnE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;IACzE,CAAC;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,gGAAgG;CACjH,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * `deterministic:ungated` — entry `ungated` (DES-TRIGGER-REGISTRY-001 §4.3 row 2, TR-W5b).
+ *
+ * A projection of the engine's own `gateEvaluated.ungated` and `ungatedReason` (the entry's filter
+ * is empty, so every gate counts toward coverage; only `ungated === true` raises): it computes nothing, and a judge-verified PASS without a floor is gated and
+ * never flagged (S5). The engine says such a unit "must be rendered as UNGATED, never as pass", so
+ * the flag is a `problem`, never "Finished". `gateEvaluated` carries no attempt; the attempt comes
+ * from the unit's `unitOutputCaptured`, emitted before the gate runs (joined).
+ */
+import type { WatchCheck } from '../types.js';
+export declare const ungatedCheck: WatchCheck<Record<string, never>, Record<string, never>>;
+//# sourceMappingURL=ungated.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ungated.d.ts","sourceRoot":"","sources":["../../../src/watch/checks/ungated.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAY9C,eAAO,MAAM,YAAY,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CA8CjF,CAAC"}