@telora/daemon 0.23.0 → 0.23.5

package/dist/tower/tower-pass.d.ts

@@ -0,0 +1,55 @@
+/**
+ * The tower pass: one pass per configured product, the SOLE writer of
+ * product_focuses.tower_verdict.
+ *
+ * It runs at the head of every ready-focus pass (so on daemon start and every
+ * poll), reads the product's limit and armed foci, computes every verdict
+ * (tower-verdicts.ts) from the armed set, the limit, focus rank, team presence
+ * and the spawn passes' last record of demand, and writes only what changed --
+ * or what is aging toward the bounded freshness age. So any change to those
+ * inputs is reflected on the next poll, and a verdict the pass keeps confirming
+ * never goes stale under the spawn pass.
+ *
+ * ISOLATION. A pass that throws for one product is logged and recorded
+ * (tower-pass-standing.ts): admission fails open on that product's foci at
+ * once, whatever verdicts they still carry, until a pass for it succeeds. It
+ * never stops another product's pass. Mode `off` runs no pass at all.
+ *
+ * The tower never arms or un-arms: nothing here writes assigned_agent_role_id.
+ */
+import type { TowerMode } from '@telora/daemon-core';
+import type { TowerProductState } from '../queries/tower/tower-state.js';
+import { type TowerVerdictWrite } from './tower-verdicts.js';
+import type { TowerGraphInputs } from './tower-graph.js';
+export interface TowerPassDeps {
+    products: ReadonlyArray<{
+        id: string;
+    }>;
+    mode: TowerMode;
+    readState: (productId: string) => Promise<TowerProductState>;
+    writeVerdicts: (productId: string, writes: readonly TowerVerdictWrite[]) => Promise<void>;
+    /** Foci holding a live coding or review team now. */
+    liveTeamFocusIds: () => ReadonlySet<string>;
+    /** Foci the spawn passes last found wanting a team (null = not yet known). */
+    wantingFocusIds: () => ReadonlySet<string> | null;
+    /**
+     * The product's graph inputs (depends_on / excludes / landed), judged from the
+     * state read (tower/tower-graph.ts over the product's git). Throwing fails the
+     * product's pass, which fails open.
+     */
+    judgeGraph: (productId: string, state: TowerProductState) => TowerGraphInputs;
+    now: () => Date;
+}
+/** The pass's deps over the running daemon, or null before it has a live config (composition/tower-pass-context.ts). */
+export type TowerPassDepsSource = () => TowerPassDeps | null;
+export interface TowerProductOutcome {
+    productId: string;
+    ok: boolean;
+    writes: number;
+    error?: string;
+}
+/** Run one product's pass. Throws on a read/compute/write failure (the caller isolates it). */
+export declare function runTowerProductPass(productId: string, deps: TowerPassDeps): Promise<number>;
+/** Run every product's pass; one product's failure never stops another's. */
+export declare function runTowerPass(deps: TowerPassDeps): Promise<TowerProductOutcome[]>;
+//# sourceMappingURL=tower-pass.d.ts.map

package/dist/tower/tower-pass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tower-pass.d.ts","sourceRoot":"","sources":["../../src/tower/tower-pass.ts"],"names":[],"mappings":"AAOA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAEzE,OAAO,EAIL,KAAK,iBAAiB,EACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAMzD,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxC,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC7D,aAAa,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,iBAAiB,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1F,qDAAqD;IACrD,gBAAgB,EAAE,MAAM,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5C,8EAA8E;IAC9E,eAAe,EAAE,MAAM,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAClD;;;;OAIG;IACH,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,iBAAiB,KAAK,gBAAgB,CAAC;IAC9E,GAAG,EAAE,MAAM,IAAI,CAAC;CACjB;AAED,wHAAwH;AACxH,MAAM,MAAM,mBAAmB,GAAG,MAAM,aAAa,GAAG,IAAI,CAAC;AAE7D,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,+FAA+F;AAC/F,wBAAsB,mBAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAwBjG;AAED,6EAA6E;AAC7E,wBAAsB,YAAY,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAmBtF"}

package/dist/tower/tower-pass.js

@@ -0,0 +1,59 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/tower/tower-entrypoints.test.ts,
+//   packages/daemon/src/tower/tower-pass.test.ts, packages/daemon/src/tower/tower-prd-arm.test.ts,
+//   packages/daemon/src/tower/tower-spawn-modes.test.ts,
+//   packages/daemon/src/tower/tower-state-ingestion.test.ts
+// PINNED-BY-END
+import { createLogger } from '../log/daemon-log.js';
+import { computeTowerVerdicts, planTowerWrites, } from './tower-verdicts.js';
+import { recordTowerPassOutcome } from './tower-pass-standing.js';
+const log = createLogger({ module: 'tower' });
+/** Run one product's pass. Throws on a read/compute/write failure (the caller isolates it). */
+export async function runTowerProductPass(productId, deps) {
+    if (deps.mode === 'off')
+        return 0;
+    const state = await deps.readState(productId);
+    const foci = state.foci.map((f) => ({
+        focusId: f.focusId,
+        focusName: f.focusName,
+        priorityRank: f.priorityRank,
+        armedAt: f.agentAssignedAt ?? null,
+        previousVerdict: f.towerVerdict ?? null,
+    }));
+    const graph = deps.judgeGraph(productId, state);
+    const now = deps.now();
+    const computed = computeTowerVerdicts({
+        foci,
+        limit: state.concurrencyLimit ?? null,
+        liveTeamFocusIds: deps.liveTeamFocusIds(),
+        wantingFocusIds: deps.wantingFocusIds(),
+        ...graph,
+        mode: deps.mode,
+        now: now.toISOString(),
+    });
+    const writes = planTowerWrites(foci, computed, state.unarmedWithVerdictFocusIds ?? [], now.getTime());
+    await deps.writeVerdicts(productId, writes);
+    return writes.length;
+}
+/** Run every product's pass; one product's failure never stops another's. */
+export async function runTowerPass(deps) {
+    if (deps.mode === 'off')
+        return [];
+    const outcomes = [];
+    for (const product of deps.products) {
+        try {
+            const writes = await runTowerProductPass(product.id, deps);
+            recordTowerPassOutcome(product.id, true, deps.now().getTime());
+            outcomes.push({ productId: product.id, ok: true, writes });
+        }
+        catch (err) {
+            const error = err instanceof Error ? err.message : String(err);
+            recordTowerPassOutcome(product.id, false, deps.now().getTime());
+            log.warn(`[tower] pass failed for product ${product.id.slice(0, 8)}: ${error} -- admission fails open on its foci ` +
+                `until a pass for it succeeds (tower-pass-standing.ts)`);
+            outcomes.push({ productId: product.id, ok: false, writes: 0, error });
+        }
+    }
+    return outcomes;
+}
+//# sourceMappingURL=tower-pass.js.map

package/dist/tower/tower-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tower-pass.js","sourceRoot":"","sources":["../../src/tower/tower-pass.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,kEAAkE;AAClE,mGAAmG;AACnG,yDAAyD;AACzD,4DAA4D;AAC5D,gBAAgB;AAwBhB,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EACL,oBAAoB,EACpB,eAAe,GAGhB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAElE,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;AA+B9C,+FAA+F;AAC/F,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,SAAiB,EAAE,IAAmB;IAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAsB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrD,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,OAAO,EAAE,CAAC,CAAC,eAAe,IAAI,IAAI;QAClC,eAAe,EAAE,CAAC,CAAC,YAAY,IAAI,IAAI;KACxC,CAAC,CAAC,CAAC;IACJ,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACvB,MAAM,QAAQ,GAAG,oBAAoB,CAAC;QACpC,IAAI;QACJ,KAAK,EAAE,KAAK,CAAC,gBAAgB,IAAI,IAAI;QACrC,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE;QACzC,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE;QACvC,GAAG,KAAK;QACR,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG,EAAE,GAAG,CAAC,WAAW,EAAE;KACvB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,0BAA0B,IAAI,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IACtG,MAAM,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAmB;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC3D,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/D,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC/D,sBAAsB,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YAChE,GAAG,CAAC,IAAI,CACN,mCAAmC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,uCAAuC;gBAC1G,uDAAuD,CACxD,CAAC;YACF,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/tower/tower-production-pass.d.ts

@@ -0,0 +1,3 @@
+import { type TowerPassDepsSource } from './tower-pass.js';
+export declare function runTowerPassSafely(source: TowerPassDepsSource): Promise<void>;
+//# sourceMappingURL=tower-production-pass.d.ts.map

package/dist/tower/tower-production-pass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tower-production-pass.d.ts","sourceRoot":"","sources":["../../src/tower/tower-production-pass.ts"],"names":[],"mappings":"AAaA,OAAO,EAAgB,KAAK,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAIzE,wBAAsB,kBAAkB,CAAC,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAOnF"}

package/dist/tower/tower-production-pass.js

@@ -0,0 +1,24 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/tower/tower-production-pass.test.ts,
+//   packages/daemon/src/tower/tower-spawn-modes.test.ts
+// PINNED-BY-END
+/**
+ * The tower pass at the head of every production ready-focus pass
+ * (focus/focus-poller-spawn.ts runProductionReadyFocusPass), over the deps the
+ * composition root binds (composition/tower-pass-context.ts). Never throws into
+ * the spawn pass it heads: a failed tower costs no spawn.
+ */
+import { createLogger } from '../log/daemon-log.js';
+import { runTowerPass } from './tower-pass.js';
+const log = createLogger({ module: 'tower' });
+export async function runTowerPassSafely(source) {
+    try {
+        const deps = source();
+        if (deps)
+            await runTowerPass(deps);
+    }
+    catch (err) {
+        log.warn(`[tower] pass failed: ${err instanceof Error ? err.message : String(err)} -- admission fails open`);
+    }
+}
+//# sourceMappingURL=tower-production-pass.js.map

package/dist/tower/tower-production-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tower-production-pass.js","sourceRoot":"","sources":["../../src/tower/tower-production-pass.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sEAAsE;AACtE,wDAAwD;AACxD,gBAAgB;AAEhB;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,YAAY,EAA4B,MAAM,iBAAiB,CAAC;AAEzE,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;AAE9C,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,MAA2B;IAClE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC;QACtB,IAAI,IAAI;YAAE,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,wBAAwB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IAC/G,CAAC;AACH,CAAC"}

package/dist/tower/tower-spawn-intent.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Which armed foci the spawn passes last found WANTING a team -- the tower's
+ * memory of demand, so a free slot goes to a focus that would use it.
+ *
+ * A spawn pass records a focus as wanting only when the focus reached the
+ * tower's admission and was stopped there by the tower or the host cap --
+ * demand still OPEN. A focus that spawned has had its demand met (its live team
+ * holds a slot by the slot rule, not by wanting), and a focus a pass stopped
+ * for any other reason (no team work, a verify hold, an escalation, an operator
+ * hold, the review-cycle cap, a cooldown) cannot run, so it does not want.
+ *
+ * Two rules keep the record CURRENT rather than a snapshot of an older pass:
+ *   - Each spawn pass is a unit (beginSpawnIntentPass .. commitSpawnIntentPass):
+ *     every focus the pass OFFERED and did not record as wanting is committed as
+ *     not wanting, whichever earlier gate stopped it -- so a queued directive
+ *     parked behind a verify hold or an escalation reserves no product slot.
+ *   - Before the tower allocates slots, the ready pass reconciles the record
+ *     against what could run NOW (reconcileSurfacedSpawnIntent, run by
+ *     focus/focus-poller-spawn.ts runReadyFocusPassThroughTower ahead of the
+ *     tower pass): every surfaced focus is probed through its spawn pass's gates
+ *     bar the tower and the host cap (focus/spawn-demand-probe.ts), and wants a
+ *     slot exactly when they are open -- the first time it surfaces, and the
+ *     pass its gate clears. A focus no longer surfaced (not ready, no queued
+ *     directive) wants nothing.
+ *
+ * Before any pass or reconcile has recorded anything the set is UNKNOWN (null)
+ * and the tower treats every focus as wanting -- the safe reading on daemon
+ * start.
+ *
+ * A leaf: in-process state only, imported by the spawn passes (focus/), the
+ * admission (tower-admission.ts) and the tower pass (tower-pass.ts).
+ */
+/** A record older than this no longer counts (two missed 30s polls plus margin). */
+export declare const SPAWN_INTENT_TTL_MS = 90000;
+/** The spawn pass a record comes from (each runs as its own unit). */
+export type SpawnIntentSource = 'ready' | 'pending';
+/**
+ * Open a spawn pass over the foci it offers. Until it commits, what the pass
+ * records stays staged: the tower reads the last COMMITTED record, never a
+ * half-finished pass.
+ */
+export declare function beginSpawnIntentPass(source: SpawnIntentSource, offeredFocusIds: Iterable<string>): void;
+/** Record what a spawn pass found for one focus (staged while that pass is open). */
+export declare function recordSpawnIntent(focusId: string, wants: boolean, nowMs?: number, source?: SpawnIntentSource): void;
+/**
+ * Close a spawn pass: every focus it offered is committed -- wanting when the
+ * pass recorded it so, not wanting otherwise. No-op when no pass is open (a pass
+ * that returned before offering anything changes nothing).
+ */
+export declare function commitSpawnIntentPass(source: SpawnIntentSource, nowMs?: number): void;
+/** Drop an open pass uncommitted (the pass threw): the last committed record stands. */
+export declare function abandonSpawnIntentPass(source: SpawnIntentSource): void;
+/**
+ * Reconcile demand with what could run NOW. `demand` holds EVERY surfaced focus
+ * (ready, or holding a queued directive) with whether its spawn pass's gates,
+ * bar the tower and the host cap, are open on this pass
+ * (focus/spawn-demand-probe.ts), or null when its probe could not answer:
+ *   - a focus not in `demand` is no longer surfaced: its record is dropped, so it
+ *     reads as not wanting;
+ *   - a probed focus's record becomes the probe's answer, whatever an earlier
+ *     pass recorded -- a gate that has cleared since makes it want, a gate that
+ *     holds it (even on the first pass that surfaces it) makes it not want;
+ *   - a focus whose probe could not answer keeps a fresh record; with none (the
+ *     first pass that surfaces it) or an expired one it WANTS: an unreadable gate
+ *     fails open, so a read error never silently demotes a higher-ranked focus.
+ */
+export declare function reconcileSurfacedSpawnIntent(demand: ReadonlyMap<string, boolean | null>, nowMs?: number): void;
+/** The foci last found wanting a team, or null before any pass has recorded. */
+export declare function wantingFocusIds(nowMs?: number): ReadonlySet<string> | null;
+/** Test-only reset. */
+export declare function resetSpawnIntent(): void;
+//# sourceMappingURL=tower-spawn-intent.d.ts.map

package/dist/tower/tower-spawn-intent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tower-spawn-intent.d.ts","sourceRoot":"","sources":["../../src/tower/tower-spawn-intent.ts"],"names":[],"mappings":"AAOA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,oFAAoF;AACpF,eAAO,MAAM,mBAAmB,QAAS,CAAC;AAE1C,sEAAsE;AACtE,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,SAAS,CAAC;AAapD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,iBAAiB,EAAE,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI,CAEvG;AAED,qFAAqF;AACrF,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,GAAE,MAAmB,EAAE,MAAM,GAAE,iBAA2B,GAAG,IAAI,CASxI;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,iBAAiB,EAAE,KAAK,GAAE,MAAmB,GAAG,IAAI,CAMjG;AAED,wFAAwF;AACxF,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAEtE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC,EAAE,KAAK,GAAE,MAAmB,GAAG,IAAI,CAe1H;AAED,gFAAgF;AAChF,wBAAgB,eAAe,CAAC,KAAK,GAAE,MAAmB,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAWtF;AAED,uBAAuB;AACvB,wBAAgB,gBAAgB,IAAI,IAAI,CAIvC"}

package/dist/tower/tower-spawn-intent.js

@@ -0,0 +1,138 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/tower/tower-entrypoints.test.ts,
+//   packages/daemon/src/tower/tower-prd-arm.test.ts,
+//   packages/daemon/src/tower/tower-ready-row-ingestion.test.ts,
+//   packages/daemon/src/tower/tower-spawn-modes.test.ts
+// PINNED-BY-END
+/**
+ * Which armed foci the spawn passes last found WANTING a team -- the tower's
+ * memory of demand, so a free slot goes to a focus that would use it.
+ *
+ * A spawn pass records a focus as wanting only when the focus reached the
+ * tower's admission and was stopped there by the tower or the host cap --
+ * demand still OPEN. A focus that spawned has had its demand met (its live team
+ * holds a slot by the slot rule, not by wanting), and a focus a pass stopped
+ * for any other reason (no team work, a verify hold, an escalation, an operator
+ * hold, the review-cycle cap, a cooldown) cannot run, so it does not want.
+ *
+ * Two rules keep the record CURRENT rather than a snapshot of an older pass:
+ *   - Each spawn pass is a unit (beginSpawnIntentPass .. commitSpawnIntentPass):
+ *     every focus the pass OFFERED and did not record as wanting is committed as
+ *     not wanting, whichever earlier gate stopped it -- so a queued directive
+ *     parked behind a verify hold or an escalation reserves no product slot.
+ *   - Before the tower allocates slots, the ready pass reconciles the record
+ *     against what could run NOW (reconcileSurfacedSpawnIntent, run by
+ *     focus/focus-poller-spawn.ts runReadyFocusPassThroughTower ahead of the
+ *     tower pass): every surfaced focus is probed through its spawn pass's gates
+ *     bar the tower and the host cap (focus/spawn-demand-probe.ts), and wants a
+ *     slot exactly when they are open -- the first time it surfaces, and the
+ *     pass its gate clears. A focus no longer surfaced (not ready, no queued
+ *     directive) wants nothing.
+ *
+ * Before any pass or reconcile has recorded anything the set is UNKNOWN (null)
+ * and the tower treats every focus as wanting -- the safe reading on daemon
+ * start.
+ *
+ * A leaf: in-process state only, imported by the spawn passes (focus/), the
+ * admission (tower-admission.ts) and the tower pass (tower-pass.ts).
+ */
+/** A record older than this no longer counts (two missed 30s polls plus margin). */
+export const SPAWN_INTENT_TTL_MS = 90_000;
+const records = new Map();
+let everRecorded = false;
+/** A spawn pass in progress: the foci it offered and what it recorded for them so far. */
+const openPasses = new Map();
+/**
+ * Open a spawn pass over the foci it offers. Until it commits, what the pass
+ * records stays staged: the tower reads the last COMMITTED record, never a
+ * half-finished pass.
+ */
+export function beginSpawnIntentPass(source, offeredFocusIds) {
+    openPasses.set(source, { offered: new Set(offeredFocusIds), wanting: new Set() });
+}
+/** Record what a spawn pass found for one focus (staged while that pass is open). */
+export function recordSpawnIntent(focusId, wants, nowMs = Date.now(), source = 'ready') {
+    const open = openPasses.get(source);
+    if (open && open.offered.has(focusId)) {
+        if (wants)
+            open.wanting.add(focusId);
+        else
+            open.wanting.delete(focusId);
+        return;
+    }
+    records.set(focusId, { wants, atMs: nowMs });
+    everRecorded = true;
+}
+/**
+ * Close a spawn pass: every focus it offered is committed -- wanting when the
+ * pass recorded it so, not wanting otherwise. No-op when no pass is open (a pass
+ * that returned before offering anything changes nothing).
+ */
+export function commitSpawnIntentPass(source, nowMs = Date.now()) {
+    const open = openPasses.get(source);
+    if (!open)
+        return;
+    openPasses.delete(source);
+    for (const focusId of open.offered)
+        records.set(focusId, { wants: open.wanting.has(focusId), atMs: nowMs });
+    if (open.offered.size > 0)
+        everRecorded = true;
+}
+/** Drop an open pass uncommitted (the pass threw): the last committed record stands. */
+export function abandonSpawnIntentPass(source) {
+    openPasses.delete(source);
+}
+/**
+ * Reconcile demand with what could run NOW. `demand` holds EVERY surfaced focus
+ * (ready, or holding a queued directive) with whether its spawn pass's gates,
+ * bar the tower and the host cap, are open on this pass
+ * (focus/spawn-demand-probe.ts), or null when its probe could not answer:
+ *   - a focus not in `demand` is no longer surfaced: its record is dropped, so it
+ *     reads as not wanting;
+ *   - a probed focus's record becomes the probe's answer, whatever an earlier
+ *     pass recorded -- a gate that has cleared since makes it want, a gate that
+ *     holds it (even on the first pass that surfaces it) makes it not want;
+ *   - a focus whose probe could not answer keeps a fresh record; with none (the
+ *     first pass that surfaces it) or an expired one it WANTS: an unreadable gate
+ *     fails open, so a read error never silently demotes a higher-ranked focus.
+ */
+export function reconcileSurfacedSpawnIntent(demand, nowMs = Date.now()) {
+    for (const focusId of [...records.keys()]) {
+        if (!demand.has(focusId))
+            records.delete(focusId);
+    }
+    for (const [focusId, wants] of demand) {
+        if (wants !== null) {
+            records.set(focusId, { wants, atMs: nowMs });
+            continue;
+        }
+        // Unknown: a fresh record stands; with none (first surface) or an expired one, fail OPEN --
+        // the focus is ranked with the waiters, never silently demoted behind them by a read error.
+        const r = records.get(focusId);
+        if (!r || nowMs - r.atMs > SPAWN_INTENT_TTL_MS)
+            records.set(focusId, { wants: true, atMs: nowMs });
+    }
+    everRecorded = true;
+}
+/** The foci last found wanting a team, or null before any pass has recorded. */
+export function wantingFocusIds(nowMs = Date.now()) {
+    if (!everRecorded)
+        return null;
+    const out = new Set();
+    for (const [focusId, r] of records) {
+        if (nowMs - r.atMs > SPAWN_INTENT_TTL_MS) {
+            records.delete(focusId);
+            continue;
+        }
+        if (r.wants)
+            out.add(focusId);
+    }
+    return out;
+}
+/** Test-only reset. */
+export function resetSpawnIntent() {
+    records.clear();
+    openPasses.clear();
+    everRecorded = false;
+}
+//# sourceMappingURL=tower-spawn-intent.js.map

package/dist/tower/tower-spawn-intent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tower-spawn-intent.js","sourceRoot":"","sources":["../../src/tower/tower-spawn-intent.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,kEAAkE;AAClE,qDAAqD;AACrD,iEAAiE;AACjE,wDAAwD;AACxD,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,oFAAoF;AACpF,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC;AAU1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;AAChD,IAAI,YAAY,GAAG,KAAK,CAAC;AAEzB,0FAA0F;AAC1F,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqE,CAAC;AAEhG;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAyB,EAAE,eAAiC;IAC/F,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,iBAAiB,CAAC,OAAe,EAAE,KAAc,EAAE,QAAgB,IAAI,CAAC,GAAG,EAAE,EAAE,SAA4B,OAAO;IAChI,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,IAAI,KAAK;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;;YAChC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClC,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7C,YAAY,GAAG,IAAI,CAAC;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAyB,EAAE,QAAgB,IAAI,CAAC,GAAG,EAAE;IACzF,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5G,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC;QAAE,YAAY,GAAG,IAAI,CAAC;AACjD,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,sBAAsB,CAAC,MAAyB;IAC9D,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,4BAA4B,CAAC,MAA2C,EAAE,QAAgB,IAAI,CAAC,GAAG,EAAE;IAClH,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACtC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QACD,4FAA4F;QAC5F,4FAA4F;QAC5F,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,IAAI,GAAG,mBAAmB;YAAE,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrG,CAAC;IACD,YAAY,GAAG,IAAI,CAAC;AACtB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,eAAe,CAAC,QAAgB,IAAI,CAAC,GAAG,EAAE;IACxD,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;QACnC,IAAI,KAAK,GAAG,CAAC,CAAC,IAAI,GAAG,mBAAmB,EAAE,CAAC;YACzC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,KAAK;YAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,gBAAgB;IAC9B,OAAO,CAAC,KAAK,EAAE,CAAC;IAChB,UAAU,CAAC,KAAK,EAAE,CAAC;IACnB,YAAY,GAAG,KAAK,CAAC;AACvB,CAAC"}

package/dist/tower/tower-verdicts.d.ts

@@ -0,0 +1,81 @@
+/**
+ * The tower's verdict computation for ONE product -- pure (inputs in, verdicts
+ * out), so the slot rule, the rank order and the reason precedence are tested
+ * directly. The pass that feeds it and writes the result is tower-pass.ts.
+ *
+ * THE SLOT RULE. A focus occupies one of the product's slots only while it has a
+ * live coding or review team. A live focus is always cleared: the tower never
+ * stops a running team. The free slots (limit minus live foci; unbounded when
+ * the product has no limit) are cleared to the other foci in RANK order (lowest
+ * priority_rank first), foci the spawn pass last found WANTING a team ahead of
+ * foci it found idle -- so a focus that is armed but has nothing to run (waiting
+ * on CI, a verify hold, an escalation) never takes the slot from one that does.
+ * Every focus beyond the free slots holds with `product_limit_reached`.
+ *
+ * THE REASONS, in the precedence daemon-core TOWER_HOLD_REASONS declares:
+ *   waits_on              -- a depends_on predecessor has not landed;
+ *   excluded_by           -- an excludes edge joins it to a focus that has a live
+ *                            team or was cleared ahead of it in this pass (so two
+ *                            excluded foci are never cleared together);
+ *   product_limit_reached -- the free slots went to foci ahead of it.
+ * A focus held for a graph reason takes no slot.
+ *
+ * A focus whose inputs could not be judged (UNAVAILABLE) gets no verdict (null):
+ * the spawn pass fails open on it rather than holding it.
+ */
+import { type TowerMode, type TowerVerdict } from '@telora/daemon-core';
+/** One armed, active focus of the product. */
+export interface TowerFocusInput {
+    focusId: string;
+    focusName: string;
+    priorityRank: number;
+    /** product_focuses.agent_assigned_at: the instant of the current arm. */
+    armedAt: string | null;
+    /** The stored product_focuses.tower_verdict (raw JSONB). */
+    previousVerdict: unknown;
+}
+/** An excludes edge seen from one side. */
+export interface TowerExclusion {
+    otherFocusId: string;
+    otherFocusName: string;
+    evidence: string;
+}
+/** The first depends_on predecessor that has not landed. */
+export interface TowerUnlandedPredecessor {
+    focusId: string;
+    focusName: string;
+}
+export interface TowerComputeInput {
+    foci: readonly TowerFocusInput[];
+    /** products.tower_concurrency_limit; null = no product limit. */
+    limit: number | null;
+    /** Foci holding a live coding or review team. */
+    liveTeamFocusIds: ReadonlySet<string>;
+    /** Foci the spawn pass last found wanting a team; null = not yet known (all want). */
+    wantingFocusIds: ReadonlySet<string> | null;
+    /** depends_on: focus -> its first unlanded predecessor. Absent = none. */
+    waitsOn?: ReadonlyMap<string, TowerUnlandedPredecessor>;
+    /** excludes: focus -> the foci an excludes edge joins it to. Absent = none. */
+    excludes?: ReadonlyMap<string, readonly TowerExclusion[]>;
+    /** Foci whose graph inputs could not be judged (e.g. a landed check failed). */
+    unavailableFocusIds?: ReadonlySet<string>;
+    mode: Exclude<TowerMode, 'off'>;
+    now: string;
+}
+/** focusId -> the verdict to hold, or null for "no verdict" (fail open). */
+export type TowerComputed = Map<string, TowerVerdict | null>;
+/** Compute every armed focus's verdict for one product. */
+export declare function computeTowerVerdicts(input: TowerComputeInput): TowerComputed;
+/** One verdict write: the verdict, or null to clear it. */
+export interface TowerVerdictWrite {
+    focusId: string;
+    verdict: TowerVerdict | null;
+}
+/**
+ * Which computed verdicts need writing: a changed verdict, a cleared-to-null
+ * one, or an unchanged one whose last confirmation is past HALF the bounded age
+ * (so a running tower's verdicts never go stale under the spawn pass). Plus a
+ * clear for every un-armed focus still carrying a verdict.
+ */
+export declare function planTowerWrites(foci: readonly TowerFocusInput[], computed: TowerComputed, unarmedWithVerdictFocusIds: readonly string[], nowMs: number, maxAgeMs?: number): TowerVerdictWrite[];
+//# sourceMappingURL=tower-verdicts.d.ts.map

package/dist/tower/tower-verdicts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tower-verdicts.d.ts","sourceRoot":"","sources":["../../src/tower/tower-verdicts.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAML,KAAK,SAAS,EACd,KAAK,YAAY,EAElB,MAAM,qBAAqB,CAAC;AAE7B,8CAA8C;AAC9C,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,yEAAyE;IACzE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,4DAA4D;IAC5D,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED,2CAA2C;AAC3C,MAAM,WAAW,cAAc;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,4DAA4D;AAC5D,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IACjC,iEAAiE;IACjE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,iDAAiD;IACjD,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,sFAAsF;IACtF,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC5C,0EAA0E;IAC1E,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;IACxD,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC,CAAC;IAC1D,gFAAgF;IAChF,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAChC,GAAG,EAAE,MAAM,CAAC;CACb;AAED,4EAA4E;AAC5E,MAAM,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI,CAAC,CAAC;AAyC7D,2DAA2D;AAC3D,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,iBAAiB,GAAG,aAAa,CAkD5E;AAED,2DAA2D;AAC3D,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;CAC9B;AAOD;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,SAAS,eAAe,EAAE,EAChC,QAAQ,EAAE,aAAa,EACvB,0BAA0B,EAAE,SAAS,MAAM,EAAE,EAC7C,KAAK,EAAE,MAAM,EACb,QAAQ,GAAE,MAAiC,GAC1C,iBAAiB,EAAE,CAgBrB"}

package/dist/tower/tower-verdicts.js

@@ -0,0 +1,139 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/tower/tower-pass.test.ts, packages/daemon/src/tower/tower-verdicts.test.ts
+// PINNED-BY-END
+/**
+ * The tower's verdict computation for ONE product -- pure (inputs in, verdicts
+ * out), so the slot rule, the rank order and the reason precedence are tested
+ * directly. The pass that feeds it and writes the result is tower-pass.ts.
+ *
+ * THE SLOT RULE. A focus occupies one of the product's slots only while it has a
+ * live coding or review team. A live focus is always cleared: the tower never
+ * stops a running team. The free slots (limit minus live foci; unbounded when
+ * the product has no limit) are cleared to the other foci in RANK order (lowest
+ * priority_rank first), foci the spawn pass last found WANTING a team ahead of
+ * foci it found idle -- so a focus that is armed but has nothing to run (waiting
+ * on CI, a verify hold, an escalation) never takes the slot from one that does.
+ * Every focus beyond the free slots holds with `product_limit_reached`.
+ *
+ * THE REASONS, in the precedence daemon-core TOWER_HOLD_REASONS declares:
+ *   waits_on              -- a depends_on predecessor has not landed;
+ *   excluded_by           -- an excludes edge joins it to a focus that has a live
+ *                            team or was cleared ahead of it in this pass (so two
+ *                            excluded foci are never cleared together);
+ *   product_limit_reached -- the free slots went to foci ahead of it.
+ * A focus held for a graph reason takes no slot.
+ *
+ * A focus whose inputs could not be judged (UNAVAILABLE) gets no verdict (null):
+ * the spawn pass fails open on it rather than holding it.
+ */
+import { TOWER_HOLD_REASON, TOWER_VERDICT_MAX_AGE_MS, TOWER_VERDICT_STATE, parseTowerVerdict, } from '@telora/daemon-core';
+function byRank(a, b) {
+    return a.priorityRank - b.priorityRank || (a.focusId < b.focusId ? -1 : a.focusId > b.focusId ? 1 : 0);
+}
+/** Keep `since` when the focus already held this exact state + reason (+ other focus) under this arm. */
+function sinceFor(focus, state, reason, detail, now) {
+    const prev = parseTowerVerdict(focus.previousVerdict);
+    if (!prev)
+        return now;
+    const sameArm = prev.armedAt === focus.armedAt
+        || (prev.armedAt !== null && focus.armedAt !== null && Date.parse(prev.armedAt) === Date.parse(focus.armedAt));
+    if (!sameArm || prev.state !== state || prev.reason !== reason)
+        return now;
+    if ((prev.detail.focusId ?? null) !== (detail.focusId ?? null))
+        return now;
+    return prev.since;
+}
+function verdict(focus, input, reason, detail = {}) {
+    const state = reason === null ? TOWER_VERDICT_STATE.CLEARED : TOWER_VERDICT_STATE.HOLDING;
+    return {
+        state,
+        reason,
+        since: sinceFor(focus, state, reason, detail, input.now),
+        computedAt: input.now,
+        armedAt: focus.armedAt,
+        mode: input.mode,
+        detail,
+    };
+}
+/** Compute every armed focus's verdict for one product. */
+export function computeTowerVerdicts(input) {
+    const out = new Map();
+    const ordered = [...input.foci].sort(byRank);
+    const live = ordered.filter((f) => input.liveTeamFocusIds.has(f.focusId));
+    const cleared = new Set();
+    for (const f of live) {
+        out.set(f.focusId, verdict(f, input, null));
+        cleared.add(f.focusId);
+    }
+    // Wanting foci first, then idle ones, each in rank order.
+    const waiting = ordered.filter((f) => !input.liveTeamFocusIds.has(f.focusId));
+    const wants = (f) => input.wantingFocusIds === null || input.wantingFocusIds.has(f.focusId);
+    const queue = [...waiting.filter(wants), ...waiting.filter((f) => !wants(f))];
+    let free = input.limit === null ? Number.POSITIVE_INFINITY : Math.max(0, input.limit - live.length);
+    for (const f of queue) {
+        if (input.unavailableFocusIds?.has(f.focusId)) {
+            out.set(f.focusId, null);
+            continue;
+        }
+        const predecessor = input.waitsOn?.get(f.focusId);
+        if (predecessor) {
+            out.set(f.focusId, verdict(f, input, TOWER_HOLD_REASON.WAITS_ON, {
+                focusId: predecessor.focusId,
+                focusName: predecessor.focusName,
+            }));
+            continue;
+        }
+        const blocker = input.excludes?.get(f.focusId)?.find((e) => cleared.has(e.otherFocusId));
+        if (blocker) {
+            out.set(f.focusId, verdict(f, input, TOWER_HOLD_REASON.EXCLUDED_BY, {
+                focusId: blocker.otherFocusId,
+                focusName: blocker.otherFocusName,
+                evidence: blocker.evidence,
+            }));
+            continue;
+        }
+        if (free <= 0) {
+            out.set(f.focusId, verdict(f, input, TOWER_HOLD_REASON.PRODUCT_LIMIT_REACHED, {
+                ...(input.limit !== null ? { limit: input.limit } : {}),
+                occupied: live.length,
+            }));
+            continue;
+        }
+        free -= 1;
+        cleared.add(f.focusId);
+        out.set(f.focusId, verdict(f, input, null));
+    }
+    return out;
+}
+/** The facts that make two verdicts the same verdict (computedAt aside). */
+function verdictKey(v) {
+    return JSON.stringify([v.state, v.reason, v.since, v.armedAt, v.mode, v.detail]);
+}
+/**
+ * Which computed verdicts need writing: a changed verdict, a cleared-to-null
+ * one, or an unchanged one whose last confirmation is past HALF the bounded age
+ * (so a running tower's verdicts never go stale under the spawn pass). Plus a
+ * clear for every un-armed focus still carrying a verdict.
+ */
+export function planTowerWrites(foci, computed, unarmedWithVerdictFocusIds, nowMs, maxAgeMs = TOWER_VERDICT_MAX_AGE_MS) {
+    const writes = [];
+    for (const f of foci) {
+        if (!computed.has(f.focusId))
+            continue;
+        const next = computed.get(f.focusId) ?? null;
+        const prev = parseTowerVerdict(f.previousVerdict);
+        if (next === null) {
+            if (f.previousVerdict !== null && f.previousVerdict !== undefined)
+                writes.push({ focusId: f.focusId, verdict: null });
+            continue;
+        }
+        const changed = !prev || verdictKey(prev) !== verdictKey(next);
+        const aging = prev !== null && nowMs - Date.parse(prev.computedAt) > maxAgeMs / 2;
+        if (changed || aging)
+            writes.push({ focusId: f.focusId, verdict: next });
+    }
+    for (const focusId of unarmedWithVerdictFocusIds)
+        writes.push({ focusId, verdict: null });
+    return writes;
+}
+//# sourceMappingURL=tower-verdicts.js.map

package/dist/tower/tower-verdicts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tower-verdicts.js","sourceRoot":"","sources":["../../src/tower/tower-verdicts.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4GAA4G;AAC5G,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EACL,iBAAiB,EACjB,wBAAwB,EACxB,mBAAmB,EACnB,iBAAiB,GAKlB,MAAM,qBAAqB,CAAC;AA+C7B,SAAS,MAAM,CAAC,CAAkB,EAAE,CAAkB;IACpD,OAAO,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzG,CAAC;AAED,yGAAyG;AACzG,SAAS,QAAQ,CACf,KAAsB,EACtB,KAA4B,EAC5B,MAA8B,EAC9B,MAA0B,EAC1B,GAAW;IAEX,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IACtD,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IACtB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;WACzC,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACjH,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,GAAG,CAAC;IAC3E,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IAC3E,OAAO,IAAI,CAAC,KAAK,CAAC;AACpB,CAAC;AAED,SAAS,OAAO,CACd,KAAsB,EACtB,KAAwB,EACxB,MAA8B,EAC9B,SAA6B,EAAE;IAE/B,MAAM,KAAK,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC;IAC1F,OAAO;QACL,KAAK;QACL,MAAM;QACN,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC;QACxD,UAAU,EAAE,KAAK,CAAC,GAAG;QACrB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM;KACP,CAAC;AACJ,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,oBAAoB,CAAC,KAAwB;IAC3D,MAAM,GAAG,GAAkB,IAAI,GAAG,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,0DAA0D;IAC1D,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,KAAK,IAAI,IAAI,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC7G,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9E,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACpG,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,WAAW,EAAE,CAAC;YAChB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,QAAQ,EAAE;gBAC/D,OAAO,EAAE,WAAW,CAAC,OAAO;gBAC5B,SAAS,EAAE,WAAW,CAAC,SAAS;aACjC,CAAC,CAAC,CAAC;YACJ,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;QACzF,IAAI,OAAO,EAAE,CAAC;YACZ,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,WAAW,EAAE;gBAClE,OAAO,EAAE,OAAO,CAAC,YAAY;gBAC7B,SAAS,EAAE,OAAO,CAAC,cAAc;gBACjC,QAAQ,EAAE,OAAO,CAAC,QAAQ;aAC3B,CAAC,CAAC,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;YACd,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,qBAAqB,EAAE;gBAC5E,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvD,QAAQ,EAAE,IAAI,CAAC,MAAM;aACtB,CAAC,CAAC,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACvB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAQD,4EAA4E;AAC5E,SAAS,UAAU,CAAC,CAAe;IACjC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AACnF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAgC,EAChC,QAAuB,EACvB,0BAA6C,EAC7C,KAAa,EACb,WAAmB,wBAAwB;IAE3C,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,SAAS;QACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;QAC7C,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;QAClD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,CAAC,eAAe,KAAK,IAAI,IAAI,CAAC,CAAC,eAAe,KAAK,SAAS;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACtH,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,IAAI,KAAK,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC;QAClF,IAAI,OAAO,IAAI,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,0BAA0B;QAAE,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1F,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/types/index.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 253 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/types/index.ts
+// Pinned by: 256 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/types/index.ts
 // PINNED-BY-END
 /**
  * Domain-specific type re-exports.