wicked-crew 0.7.46 → 0.7.48

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"}

package/dist/watch/checks/ungated.js

@@ -0,0 +1,64 @@
+/**
+ * `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 { z } from 'zod';
+const REASON_MAX = 200;
+export const ungatedCheck = {
+    name: 'deterministic:ungated',
+    lane: 'deterministic',
+    paramsSchema: z.object({}).strict(),
+    thresholdSchema: z.object({}).strict(),
+    evaluate(input, state) {
+        const bag = state.bag.get('ungated') ?? { attemptByOrd: new Map(), gates: 0, silent: 0 };
+        state.bag.set('ungated', bag);
+        const e = input.event;
+        const ord = typeof e['ord'] === 'number' ? e['ord'] : null;
+        if (ord === null)
+            return [];
+        if (input.type === 'unitOutputCaptured') {
+            if (typeof e['attempt'] === 'number')
+                bag.attemptByOrd.set(ord, e['attempt']);
+            return [];
+        }
+        if (input.type !== 'gateEvaluated')
+            return [];
+        if (typeof e['ungated'] !== 'boolean') {
+            bag.silent++;
+            return [];
+        }
+        bag.gates++;
+        if (e['ungated'] !== true)
+            return [];
+        const attempt = bag.attemptByOrd.get(ord) ?? null;
+        const raw = typeof e['ungatedReason'] === 'string' ? e['ungatedReason'].trim() : '';
+        const reason = raw.length > REASON_MAX ? `${raw.slice(0, REASON_MAX - 1)}…` : raw;
+        return [
+            {
+                op: 'raise',
+                subject: `${ord}:${attempt ?? '-'}:ungated`,
+                sentence: reason !== '' ? `Nothing checked this step: ${reason}` : 'Nothing checked this step.',
+                facts: { ungated_reason: reason },
+                ord,
+                attempt,
+                re: `gateEvaluated#${ord}`,
+            },
+        ];
+    },
+    coverage(state) {
+        const bag = state.bag.get('ungated');
+        if (bag !== undefined && bag.gates > 0)
+            return { state: 'checked' };
+        if (bag !== undefined && bag.silent > 0) {
+            return { state: 'not_checked', reason: 'the engine is too old to say whether a step was checked' };
+        }
+        return { state: 'not_checked', reason: 'no step has reached its gate yet' };
+    },
+    describe: () => 'When a step finishes with nothing checking it: no checks, no judge, no policy',
+};
+//# sourceMappingURL=ungated.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ungated.js","sourceRoot":"","sources":["../../../src/watch/checks/ungated.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAWxB,MAAM,UAAU,GAAG,GAAG,CAAC;AAEvB,MAAM,CAAC,MAAM,YAAY,GAA6D;IACpF,IAAI,EAAE,uBAAuB;IAC7B,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,YAAY,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAC9G,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC9B,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,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACxC,IAAI,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ;gBAAE,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YAC9E,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;YAAE,OAAO,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;YACtC,GAAG,CAAC,MAAM,EAAE,CAAC;YACb,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;QAClD,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,eAAe,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAClF,OAAO;YACL;gBACE,EAAE,EAAE,OAAO;gBACX,OAAO,EAAE,GAAG,GAAG,IAAI,OAAO,IAAI,GAAG,UAAU;gBAC3C,QAAQ,EAAE,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,8BAA8B,MAAM,EAAE,CAAC,CAAC,CAAC,4BAA4B;gBAC/F,KAAK,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE;gBACjC,GAAG;gBACH,OAAO;gBACP,EAAE,EAAE,iBAAiB,GAAG,EAAE;aAC3B;SACF,CAAC;IACJ,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,KAAK,GAAG,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACpE,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC;QACrG,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC;IAC9E,CAAC;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,+EAA+E;CAChG,CAAC"}

package/dist/watch/checks/warned-rule.d.ts

@@ -0,0 +1,26 @@
+/**
+ * `deterministic:warned_rule` (DES-trigger-registry §4.3 row 7 "risky-call", §4.4; TR-W6).
+ *
+ * Steering already has the never-blocking class: a rule with `effect: warn` fires and is RECORDED on
+ * the decision without blocking, and (TR-W2) the gate fold replays every fired rule id on
+ * `governanceHookFired.firedPolicies`, whatever the decision. This check projects that: for each
+ * fired id whose rule is `warn`, one flag naming the rule — the operator asked to be told, not
+ * stopped. There is no second matcher; the rule's effect is read from the store the daemon already
+ * holds (`ctx.rules`, the registry's bounded snapshot of `listConformanceRules`).
+ *
+ * §7: the row names the rule ID and the tool, never the rule's text and never the command — a
+ * steering statement can be the operator's own words, and no operator text rides the bus. Studio
+ * resolves the id to the rule.
+ *
+ * Decisions: `deny` is the engine's own record (not this row). `allow` and `allow_with_conditions`
+ * both carry fired warn rules (the entry's filter is "any decision but deny").
+ *
+ * Timing: `governanceHookFired` is emitted at gate time, not live, so the flag appears when the unit
+ * reaches its gate — acceptable for an advisory flag (§4.3 row 7). Coverage: an engine whose frames
+ * carry no `firedPolicies` is "too old"; a store that cannot be read is "not readable".
+ */
+import type { WatchCheck } from '../types.js';
+/** Steering severity → watch severity: the flag is as loud as the rule asked to be. */
+export declare function watchSeverityOf(ruleSeverity: string | undefined): 'high' | 'medium' | 'info';
+export declare const warnedRuleCheck: WatchCheck<Record<string, never>, Record<string, never>>;
+//# sourceMappingURL=warned-rule.d.ts.map

package/dist/watch/checks/warned-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"warned-rule.d.ts","sourceRoot":"","sources":["../../../src/watch/checks/warned-rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,KAAK,EAAe,UAAU,EAAkB,MAAM,aAAa,CAAC;AA+B3E,uFAAuF;AACvF,wBAAgB,eAAe,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,CAU5F;AAED,eAAO,MAAM,eAAe,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CA8EpF,CAAC"}

package/dist/watch/checks/warned-rule.js

@@ -0,0 +1,126 @@
+/**
+ * `deterministic:warned_rule` (DES-trigger-registry §4.3 row 7 "risky-call", §4.4; TR-W6).
+ *
+ * Steering already has the never-blocking class: a rule with `effect: warn` fires and is RECORDED on
+ * the decision without blocking, and (TR-W2) the gate fold replays every fired rule id on
+ * `governanceHookFired.firedPolicies`, whatever the decision. This check projects that: for each
+ * fired id whose rule is `warn`, one flag naming the rule — the operator asked to be told, not
+ * stopped. There is no second matcher; the rule's effect is read from the store the daemon already
+ * holds (`ctx.rules`, the registry's bounded snapshot of `listConformanceRules`).
+ *
+ * §7: the row names the rule ID and the tool, never the rule's text and never the command — a
+ * steering statement can be the operator's own words, and no operator text rides the bus. Studio
+ * resolves the id to the rule.
+ *
+ * Decisions: `deny` is the engine's own record (not this row). `allow` and `allow_with_conditions`
+ * both carry fired warn rules (the entry's filter is "any decision but deny").
+ *
+ * Timing: `governanceHookFired` is emitted at gate time, not live, so the flag appears when the unit
+ * reaches its gate — acceptable for an advisory flag (§4.3 row 7). Coverage: an engine whose frames
+ * carry no `firedPolicies` is "too old"; a store that cannot be read is "not readable".
+ */
+import { z } from 'zod';
+/** Frames one run may hold for a later read; past it they are counted lost and coverage says so. */
+const WAITING_MAX = 50;
+const num = (v) => (typeof v === 'number' && Number.isFinite(v) ? v : null);
+/** Steering severity → watch severity: the flag is as loud as the rule asked to be. */
+export function watchSeverityOf(ruleSeverity) {
+    switch (ruleSeverity) {
+        case 'critical':
+        case 'error':
+            return 'high';
+        case 'warn':
+            return 'medium';
+        default:
+            return 'info';
+    }
+}
+export const warnedRuleCheck = {
+    name: 'deterministic:warned_rule',
+    lane: 'deterministic',
+    paramsSchema: z.object({}).strict(),
+    thresholdSchema: z.object({}).strict(),
+    async evaluate(input, state, _params, _threshold, ctx) {
+        const bag = state.bag.get('warned') ?? { hooks: 0, silent: 0, waiting: [], lost: 0, raised: new Set() };
+        state.bag.set('warned', bag);
+        if (input.type !== 'governanceHookFired')
+            return [];
+        const e = input.event;
+        const decision = typeof e['decision'] === 'string' ? e['decision'] : '';
+        if (decision === 'deny')
+            return []; // the deny is the engine's own record; this row is the warn class
+        const fired = e['firedPolicies'];
+        if (!Array.isArray(fired)) {
+            bag.silent++;
+            return [];
+        }
+        bag.hooks++;
+        const ids = [...new Set(fired.filter((x) => typeof x === 'string' && x !== ''))];
+        const frame = ids.length === 0
+            ? null
+            : { ord: num(e['ord']), attempt: num(e['attempt']), tool: typeof e['toolName'] === 'string' && e['toolName'] !== '' ? e['toolName'] : 'a tool', decision, ids, at: input.at, replay: input.replay === true };
+        if (frame === null && bag.waiting.length === 0)
+            return [];
+        if (ctx.rules === undefined) {
+            if (frame !== null)
+                bag.lost++;
+            return [];
+        }
+        let rules;
+        try {
+            rules = await ctx.rules();
+        }
+        catch {
+            // Not classifiable now: keep the frame for the run's next readable one — never "no rule fired".
+            if (frame !== null) {
+                if (bag.waiting.length < WAITING_MAX)
+                    bag.waiting.push(frame);
+                else
+                    bag.lost++;
+            }
+            return [];
+        }
+        const todo = frame !== null ? [...bag.waiting, frame] : bag.waiting;
+        bag.waiting = [];
+        const out = [];
+        for (const f of todo) {
+            for (const id of f.ids) {
+                const rule = rules.get(id);
+                if (rule === undefined || rule.effect !== 'warn')
+                    continue;
+                const subject = `${f.ord ?? '-'}:${f.attempt ?? '-'}:warned:${id}`;
+                if (bag.raised.has(subject))
+                    continue;
+                bag.raised.add(subject);
+                out.push({
+                    op: 'raise',
+                    subject,
+                    kind: 'flag',
+                    severity: watchSeverityOf(rule.severity),
+                    sentence: `A rule you asked to be warned about fired on ${f.tool}: ${id}.`,
+                    facts: { rule_id: id, tool: f.tool, effect: 'warn', rule_severity: rule.severity, decision: f.decision },
+                    ord: f.ord,
+                    attempt: f.attempt,
+                    re: `governanceHookFired#${f.ord ?? '-'}:${f.attempt ?? '-'}`,
+                    // A kept frame's row carries the frame's own time and provenance (codex r2).
+                    ...(f !== frame ? { at: f.at, replay: f.replay } : {}),
+                });
+            }
+        }
+        return out;
+    },
+    coverage(state) {
+        const bag = state.bag.get('warned');
+        if (bag !== undefined && bag.hooks > 0) {
+            if (bag.waiting.length > 0 || bag.lost > 0)
+                return { state: 'not_checked', reason: 'the rule store could not be read, so fired rules could not be classified' };
+            return { state: 'checked' };
+        }
+        if (bag !== undefined && bag.silent > 0) {
+            return { state: 'not_checked', reason: 'the engine is too old to carry the fired rules (needs wicked-core-ts >= 0.7.35)' };
+        }
+        return { state: 'not_checked', reason: 'no governed tool call has reached a gate yet' };
+    },
+    describe: () => 'When a governed tool call fires a steering rule the operator asked to be warned about (effect: warn)',
+};
+//# sourceMappingURL=warned-rule.js.map

package/dist/watch/checks/warned-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"warned-rule.js","sourceRoot":"","sources":["../../../src/watch/checks/warned-rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA2BxB,oGAAoG;AACpG,MAAM,WAAW,GAAG,EAAE,CAAC;AAEvB,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;AAEpG,uFAAuF;AACvF,MAAM,UAAU,eAAe,CAAC,YAAgC;IAC9D,QAAQ,YAAY,EAAE,CAAC;QACrB,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,MAAM,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC;QAClB;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAA6D;IACvF,IAAI,EAAE,2BAA2B;IACjC,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,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG;QACnD,MAAM,GAAG,GAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAqB,IAAK,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAiB,CAAC;QAC7I,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;QACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,IAAI,QAAQ,KAAK,MAAM;YAAE,OAAO,EAAE,CAAC,CAAC,kEAAkE;QACtG,MAAM,KAAK,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,MAAM,EAAE,CAAC;YACb,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9F,MAAM,KAAK,GACT,GAAG,CAAC,MAAM,KAAK,CAAC;YACd,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACjN,IAAI,KAAK,KAAK,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAC1D,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,KAAK,KAAK,IAAI;gBAAE,GAAG,CAAC,IAAI,EAAE,CAAC;YAC/B,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,IAAI,KAA0C,CAAC;QAC/C,IAAI,CAAC;YACH,KAAK,GAAG,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC;QAC5B,CAAC;QAAC,MAAM,CAAC;YACP,gGAAgG;YAChG,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,WAAW;oBAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;;oBACzD,GAAG,CAAC,IAAI,EAAE,CAAC;YAClB,CAAC;YACD,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;QACpE,GAAG,CAAC,OAAO,GAAG,EAAE,CAAC;QACjB,MAAM,GAAG,GAAkB,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;gBACvB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC3B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;oBAAE,SAAS;gBAC3D,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,IAAI,GAAG,WAAW,EAAE,EAAE,CAAC;gBACnE,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;oBAAE,SAAS;gBACtC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC;oBACP,EAAE,EAAE,OAAO;oBACX,OAAO;oBACP,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;oBACxC,QAAQ,EAAE,gDAAgD,CAAC,CAAC,IAAI,KAAK,EAAE,GAAG;oBAC1E,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE;oBACxG,GAAG,EAAE,CAAC,CAAC,GAAG;oBACV,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,EAAE,EAAE,uBAAuB,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,IAAI,GAAG,EAAE;oBAC7D,6EAA6E;oBAC7E,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACvD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,QAAQ,CAAC,KAAK;QACZ,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAoB,CAAC;QACvD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACvC,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC;gBAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,0EAA0E,EAAE,CAAC;YAChK,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QAC9B,CAAC;QACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,iFAAiF,EAAE,CAAC;QAC7H,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,8CAA8C,EAAE,CAAC;IAC1F,CAAC;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,sGAAsG;CACvH,CAAC"}

package/dist/watch/emit.d.ts

@@ -0,0 +1,122 @@
+/**
+ * The emitter and the feed fold (DES-TRIGGER-REGISTRY-001 §4.6-§4.8).
+ *
+ * EMIT. Outputs are micro-batched (every 2 s, or at 16 waiting) and each row goes to the bus through
+ * the engine (`emitOnBus`). A key already on the bus resolves to the existing row: success. A failed
+ * emit is retried at 1, 2 and 4 s, then DROPPED with an audit line `watch.emit.failed` and counted
+ * in `health.emit.failed` [D-3]: watch rows are advisory, so a lost one is disclosed, never retried
+ * forever and never blocking.
+ *
+ * FOLD. The bus is the one record. The feed is hydrated once at arm from the bus history, then
+ * updated only from rows this emitter saw acknowledged, so `GET /watch` never re-reads the bus.
+ *
+ * RATE. Past an entry's `emit.rate.per_run` rows on one run, a roll-up row stands for the rest: each
+ * further output raises the next roll-up row (`rolled_up` = how many it stands for) and clears the
+ * previous one with `reason: "rolled_up"`, `replaced_by` the new row (§4.7).
+ */
+import type { WatchFinding, WatchFindingCleared } from 'wicked-crew-api-types';
+import type { CheckOutput, LoadedEntry } from './types.js';
+/** Redacted, capped facts; an over-size object is replaced by a marker rather than cut mid-structure. */
+export declare function scrubFacts(facts: Record<string, unknown> | undefined): Record<string, unknown>;
+/** One feed row: the raised payload, and its clearing once one was acknowledged. */
+export interface FeedRow {
+    raised: WatchFinding;
+    cleared: WatchFindingCleared | null;
+}
+/**
+ * The in-memory feed, BOUNDED (the daemon's bus is never swept, so a lifetime fold would grow
+ * without limit): past `maxRows` the oldest cleared row goes first, then the oldest row. The bus
+ * stays the record; an evicted row re-raised by a replay resolves to its existing bus row.
+ */
+export declare class WatchFeed {
+    private readonly maxRows;
+    readonly rows: Map<string, FeedRow>;
+    private readonly orphanClears;
+    /** Cleared rows in clearing order: the first eviction candidates. */
+    private readonly clearedOrder;
+    constructor(maxRows?: number);
+    get orphanCount(): number;
+    private evict;
+    has(watchId: string): boolean;
+    get(watchId: string): FeedRow | undefined;
+    addRaised(f: WatchFinding): void;
+    addCleared(c: WatchFindingCleared): void;
+    /** Fold one bus row (the boot hydrate). */
+    foldBusRow(eventType: string, payload: unknown): void;
+    /** Rows of one (run, entry), roll-ups apart (the rate count, rebuilt after a restart). */
+    countFor(runId: string | null, entryId: string): {
+        plain: number;
+        rollups: WatchFinding[];
+    };
+}
+export interface EmitterDeps {
+    dbPath: string;
+    projectOf: (runId: string) => string | undefined;
+    /** `audit.record('watch.emit.failed', …)` in the daemon. */
+    auditEmitFailed: (detail: Record<string, unknown>) => void;
+    /** The proposals sink (§4.11): crew's existing review queue. Never self-applied. */
+    submitProposal?: (finding: WatchFinding) => Promise<void>;
+    now?: () => number;
+    sleep?: (ms: number) => Promise<void>;
+    /** Flush cadence, ms (tests pass 0 and call `flush`). */
+    flushMs?: number;
+    log?: (msg: string) => void;
+    /** Called once per acknowledged row (the registry folds nothing else). */
+    onAck?: (eventType: string, payload: WatchFinding | WatchFindingCleared) => void;
+}
+export declare class WatchEmitter {
+    private readonly deps;
+    readonly feed: WatchFeed;
+    failed: number;
+    proposalsFailed: number;
+    private pending;
+    private readonly queuedKeys;
+    /** Raised rows dropped after their retries (a clearing that depends on one is skipped). */
+    private readonly failedKeys;
+    /** Raised rows taken out of `pending` and on their way to the bus (a clearing can still find them). */
+    private readonly inflight;
+    private readonly rate;
+    /** The newest watch row on the bus at hydrate: an emit resolving to an id at or below it found an OLD row. */
+    private hydratedTail;
+    private timer;
+    private flushing;
+    private readonly now;
+    private readonly sleep;
+    constructor(deps: EmitterDeps);
+    /** Hydrate the feed once from the bus history (§4.8 step 1). */
+    hydrate(): Promise<number>;
+    start(): void;
+    stop(): Promise<void>;
+    get waiting(): number;
+    private rateOf;
+    private envelope;
+    /**
+     * Queue a raise for `out` (rate and roll-up applied). `replay`: the input came from the boot
+     * replay; over the rate such an output is DROPPED rather than rolled up, because the first life
+     * may already have counted it and a roll-up row cannot tell (the count may then read low after a
+     * restart, never high — a duplicate row is the failure G4 rules out).
+     */
+    raise(entry: LoadedEntry, runId: string | null, out: Extract<CheckOutput, {
+        op: 'raise';
+    }>, anchorAt: number, replay?: boolean): void;
+    /** Queue the clearing of the row `subject` names (no-op when it was never raised or is already cleared). */
+    clear(entry: LoadedEntry, runId: string | null, subject: string, how: {
+        reason: 'resolved';
+    } | {
+        reason: 'dismissed';
+        dismissed_by: string;
+    }, re?: string): boolean;
+    /** Queue the clearing of `watchId` (dismiss uses this directly). */
+    clearById(watchId: string, how: {
+        reason: 'resolved';
+    } | {
+        reason: 'dismissed';
+        dismissed_by: string;
+    }, re?: string): boolean;
+    private push;
+    /** Emit everything waiting, in order. Concurrent calls share one pass. */
+    flush(): Promise<void>;
+    private drain;
+    private emitOne;
+}
+//# sourceMappingURL=emit.d.ts.map

package/dist/watch/emit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit.d.ts","sourceRoot":"","sources":["../../src/watch/emit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAY/E,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AA+B3D,yGAAyG;AACzG,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAG9F;AAED,oFAAoF;AACpF,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAAC;CACrC;AAQD;;;;GAIG;AACH,qBAAa,SAAS;IAMR,OAAO,CAAC,QAAQ,CAAC,OAAO;IALpC,QAAQ,CAAC,IAAI,uBAA8B;IAC3C,OAAO,CAAC,QAAQ,CAAC,YAAY,CAA0C;IACvE,qEAAqE;IACrE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAqB;gBAErB,OAAO,SAAgB;IAEpD,IAAI,WAAW,IAAI,MAAM,CAExB;IAED,OAAO,CAAC,KAAK;IASb,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO;IAI7B,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAIzC,SAAS,CAAC,CAAC,EAAE,YAAY,GAAG,IAAI;IAShC,UAAU,CAAC,CAAC,EAAE,mBAAmB,GAAG,IAAI;IAcxC,2CAA2C;IAC3C,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI;IAMrD,0FAA0F;IAC1F,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,YAAY,EAAE,CAAA;KAAE;CAU5F;AAgBD,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IACjD,4DAA4D;IAC5D,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;IAC3D,oFAAoF;IACpF,cAAc,CAAC,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;IAC5B,0EAA0E;IAC1E,KAAK,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,GAAG,mBAAmB,KAAK,IAAI,CAAC;CAClF;AAQD,qBAAa,YAAY;IAkBX,OAAO,CAAC,QAAQ,CAAC,IAAI;IAjBjC,QAAQ,CAAC,IAAI,YAAmB;IAChC,MAAM,SAAK;IACX,eAAe,SAAK;IACpB,OAAO,CAAC,OAAO,CAAiB;IAChC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAqB;IAChD,2FAA2F;IAC3F,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAqB;IAChD,uGAAuG;IACvG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAmC;IAC5D,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAgC;IACrD,8GAA8G;IAC9G,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,KAAK,CAA+B;IAC5C,OAAO,CAAC,QAAQ,CAA8B;IAC9C,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAe;IACnC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgC;gBAEzB,IAAI,EAAE,WAAW;IAK9C,gEAAgE;IAC1D,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC;IAShC,KAAK,IAAI,IAAI;IAOP,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAM3B,IAAI,OAAO,IAAI,MAAM,CAEpB;IAED,OAAO,CAAC,MAAM;IAsBd,OAAO,CAAC,QAAQ;IAehB;;;;;OAKG;IACH,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,WAAW,EAAE;QAAE,EAAE,EAAE,OAAO,CAAA;KAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,UAAQ,GAAG,IAAI;IAsEnI,4GAA4G;IAC5G,KAAK,CACH,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,MAAM,GAAG,IAAI,EACpB,OAAO,EAAE,MAAM,EACf,GAAG,EAAE;QAAE,MAAM,EAAE,UAAU,CAAA;KAAE,GAAG;QAAE,MAAM,EAAE,WAAW,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,EAC3E,EAAE,SAAa,GACd,OAAO;IAKV,oEAAoE;IACpE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE;QAAE,MAAM,EAAE,UAAU,CAAA;KAAE,GAAG;QAAE,MAAM,EAAE,WAAW,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,EAAE,EAAE,SAAa,GAAG,OAAO;IAwBjI,OAAO,CAAC,IAAI;IAaZ,0EAA0E;IAC1E,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAQR,KAAK;YAcL,OAAO;CA6DtB"}