@telora/daemon 0.22.169 → 0.22.187

package/dist/prd/arm-readiness.js

@@ -0,0 +1,254 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/focus-stage-lifecycle/ratify-bar-gate.test.ts,
+//   packages/daemon/src/prd/prd-arm-readiness.test.ts,
+//   packages/daemon/src/prd/prd-frontier-arm-covers-stated-effects.test.ts,
+//   packages/daemon/src/prd/prd-frontier-arm-refused.test.ts,
+//   packages/daemon/src/prd/prd-frontier-arming.test.ts
+// PINNED-BY-END
+/**
+ * "Is this focus scoped enough to arm?" -- the question the PRD controller must
+ * answer BEFORE it spends the PRD's Play on a frontier focus.
+ *
+ * An arm covers the effects the focus held when the go-signal was given, and
+ * the database fixes that set AT THE ARM (`armed_baseline_target_node_ids`). So
+ * an arm placed on an empty focus covers nothing, permanently: every delivery
+ * scoped afterwards rests at `planning`, invisible to the running team, until
+ * someone arms again. The controller therefore asks this first.
+ *
+ * THE BAR: the focus holds at least ONE anchored, non-cancelled delivery whose
+ * injection names at least one target, and EVERY one of that injection's
+ * targets carries an `frt_statement`. An anchor says which cause the delivery
+ * changes; the restatement says what the world reads as once it has. A target
+ * with no restatement states no future, so an arm covering it covers nothing a
+ * later verify can check -- which is the whole failure this module exists to
+ * prevent.
+ *
+ * PREFER `criteria_standing` ONCE IT LANDS. A sibling delivery is adding a
+ * `criteria_standing` read that answers exactly this question for an un-armed
+ * focus, derived live at the edge. When it lands, this module's IO half
+ * (`readFocusArmReadiness`) should become a call to it and the local derivation
+ * below should be deleted -- a second definition of "scoped enough" is exactly
+ * the drift the arm-coverage work exists to remove. It has NOT landed yet, so
+ * the derivation here is direct and deliberately narrow.
+ *
+ * FAIL CLOSED = DO NOT ARM. Every unreadable input answers "not ready" with the
+ * reason. That is the safe direction here and the opposite of verify's: verify
+ * holds a delivery to every target when it cannot prove coverage, because
+ * judging one target too many costs a re-work cycle; arming on an unproven
+ * scope costs the human's go-signal itself, which only a new arm restores.
+ *
+ * TWO QUESTIONS LIVE HERE, AND THEY ARE NOT THE SAME BAR. Read the one you
+ * mean:
+ *
+ *   `assessArmReadiness` -- "is there a delivery worth spending the PRD's Play
+ *   on?" PER-DELIVERY: one anchored delivery whose own injection's targets all
+ *   state futures is enough. The PRD frontier asks this because it chooses
+ *   WHETHER to arm.
+ *
+ *   `assessFocusStatesABar` -- the DATABASE's rule, restated: across the whole
+ *   covered set, at least one undesired effect, and NOT ONE of them unstated.
+ *   `stamp_focus_arm_baseline()` (migration 20260922173056) refuses on exactly
+ *   this, at both go-signals -- the role arm, and the read_only TRUE -> FALSE
+ *   ratify crossing of an audit focus. A caller about to cross one of those
+ *   asks THIS one, so the refusal never has to arrive mid-crossing.
+ *
+ * The second is strictly the stricter: a focus with one stated delivery and one
+ * unstated one passes the first and is refused by the second. That is why they
+ * are separate functions rather than one with a flag -- they answer different
+ * questions, and collapsing them would silently move the PRD frontier's bar.
+ */
+import { DELIVERY_STATUS } from '@telora/daemon-core';
+import { getFocusDeliveries } from '../queries/focuses.js';
+import { fetchInjectionBundles } from '../resolvers/shared/loop.js';
+import { createLogger } from '../shell/log.js';
+const log = createLogger({ module: 'prd-controller' });
+/** Does this injection's target set state a future? */
+function targetsStateAFuture(targets) {
+    if (targets.length === 0)
+        return false;
+    return targets.every((t) => (t.frtStatement ?? '').trim().length > 0);
+}
+/**
+ * The bar, PURE. `targetsByInjectionId` maps each anchored delivery's injection
+ * to the effects it promises to flip.
+ *
+ * A delivery is COUNTED when it is anchored, not cancelled, and its injection's
+ * targets all carry a restatement. An injection with NO targets is not counted:
+ * "every target carries a restatement" is vacuously true of an empty set, and
+ * an arm over an empty set is precisely the zero-effect arm this check refuses.
+ */
+export function assessArmReadiness(deliveries, targetsByInjectionId) {
+    const live = deliveries.filter((d) => d.executionStatus !== DELIVERY_STATUS.CANCELLED);
+    if (live.length === 0) {
+        return { ready: false, reason: 'the focus holds no non-cancelled delivery', readyDeliveryIds: [] };
+    }
+    const anchored = live.filter((d) => (d.injectionId ?? '').length > 0);
+    if (anchored.length === 0) {
+        return {
+            ready: false,
+            reason: `${live.length} delivery/deliveries, none anchored to an injection`,
+            readyDeliveryIds: [],
+        };
+    }
+    const readyDeliveryIds = anchored
+        .filter((d) => targetsStateAFuture(targetsByInjectionId.get(d.injectionId) ?? []))
+        .map((d) => d.id);
+    if (readyDeliveryIds.length === 0) {
+        return {
+            ready: false,
+            reason: `${anchored.length} anchored delivery/deliveries, but none whose injection targets ` +
+                'all carry an frt_statement (an arm over them would cover no stated effect)',
+            readyDeliveryIds: [],
+        };
+    }
+    return {
+        ready: true,
+        reason: `${readyDeliveryIds.length} of ${anchored.length} anchored delivery/deliveries state their targets' futures`,
+        readyDeliveryIds,
+    };
+}
+/** Default: the focus's deliveries, narrowed to the fields the bar reads. */
+async function defaultLoadDeliveries(focusId) {
+    const deliveries = await getFocusDeliveries(focusId);
+    return deliveries.map((d) => ({
+        id: d.id,
+        name: d.name,
+        executionStatus: d.executionStatus,
+        injectionId: d.injectionId ?? null,
+    }));
+}
+/**
+ * Default: the injection-context read's `nowTargets` -- per targeted undesired
+ * effect, its current statement and the `frt_statement` it becomes.
+ *
+ * `nowTargets` reports the UDE targets, which is exactly the set this bar is
+ * about: those are the effects an injection PROMISES TO FLIP, and the ones a
+ * later verify reconciles against. An injection that targets only a cause
+ * entity reports none here and is not counted -- it states no effect, so an arm
+ * over it covers nothing checkable. A backend predating the field omits it,
+ * which reads the same way: not ready, never a silent pass.
+ */
+async function defaultLoadTargets(injectionIds) {
+    const bundles = await fetchInjectionBundles(injectionIds);
+    const out = new Map();
+    for (const [injectionId, bundle] of bundles) {
+        out.set(injectionId, (bundle.nowTargets ?? [])
+            .filter((t) => typeof t.nodeId === 'string' && t.nodeId.length > 0)
+            .map((t) => ({ nodeId: t.nodeId, frtStatement: t.target })));
+    }
+    return out;
+}
+/**
+ * Read a focus's arm readiness. NEVER throws: an unreadable input answers "not
+ * ready" with the failure as its reason, and the caller logs it and re-tries on
+ * a later tick. Nothing is escalated -- an unscoped focus is a waiting state,
+ * not an incident.
+ */
+export async function readFocusArmReadiness(focusId, deps = {}) {
+    const loadDeliveries = deps.loadDeliveries ?? defaultLoadDeliveries;
+    const loadTargets = deps.loadTargetsByInjectionId ?? defaultLoadTargets;
+    try {
+        const deliveries = await loadDeliveries(focusId);
+        const injectionIds = deliveries
+            .filter((d) => d.executionStatus !== DELIVERY_STATUS.CANCELLED)
+            .map((d) => d.injectionId)
+            .filter((id) => typeof id === 'string' && id.length > 0);
+        const targets = injectionIds.length > 0 ? await loadTargets(injectionIds) : new Map();
+        return assessArmReadiness(deliveries, targets);
+    }
+    catch (err) {
+        const message = err.message;
+        log.warn(`[prd-controller] arm-readiness read failed for focus ${focusId}: ${message}`);
+        return {
+            ready: false,
+            reason: `arm-readiness could not be read (${message}) -- holding the arm`,
+            readyDeliveryIds: [],
+        };
+    }
+}
+/**
+ * The database's rule, PURE, over the same inputs `assessArmReadiness` reads.
+ *
+ * Mirrors `stamp_focus_arm_baseline()` / `focus_arm_baseline_snapshot()`: the
+ * covered set is the union of every non-cancelled anchored delivery's injection
+ * targets (the injection-context read's `nowTargets`, which reports the
+ * UNDESIRED EFFECT targets -- the same node type the trigger counts), it must be
+ * non-empty, and every member must carry a non-blank restatement.
+ *
+ * It is a PRE-CHECK, never the authority: the trigger derives its own answer at
+ * the instant of the write, and the two are read seconds apart. A caller still
+ * handles the refusal arriving anyway.
+ */
+export function assessFocusStatesABar(deliveries, targetsByInjectionId) {
+    const covered = new Map();
+    for (const delivery of deliveries) {
+        if (delivery.executionStatus === DELIVERY_STATUS.CANCELLED)
+            continue;
+        const injectionId = delivery.injectionId ?? '';
+        if (injectionId === '')
+            continue;
+        for (const target of targetsByInjectionId.get(injectionId) ?? []) {
+            covered.set(target.nodeId, target);
+        }
+    }
+    if (covered.size === 0) {
+        return {
+            statesABar: false,
+            readable: true,
+            reason: 'the focus covers no undesired effect (no non-cancelled delivery anchored to an ' +
+                'injection that targets one), so it states no future to judge the work against',
+            coveredEffectCount: 0,
+            unstatedNodeIds: [],
+        };
+    }
+    const unstatedNodeIds = [...covered.values()]
+        .filter((t) => (t.frtStatement ?? '').trim().length === 0)
+        .map((t) => t.nodeId);
+    if (unstatedNodeIds.length > 0) {
+        return {
+            statesABar: false,
+            readable: true,
+            reason: `${unstatedNodeIds.length} of ${covered.size} covered undesired effect(s) state no ` +
+                `future (frt_statement null or blank): ${unstatedNodeIds.join(', ')}`,
+            coveredEffectCount: covered.size,
+            unstatedNodeIds,
+        };
+    }
+    return {
+        statesABar: true,
+        readable: true,
+        reason: `${covered.size} covered undesired effect(s), every one of them stating its future`,
+        coveredEffectCount: covered.size,
+        unstatedNodeIds: [],
+    };
+}
+/**
+ * Read whether a focus states a bar, live. NEVER throws: an unreadable input
+ * answers `{ statesABar: false, readable: false }` with the failure as its
+ * reason, so the caller holds rather than crossing on an unproven bar.
+ */
+export async function readFocusStatesABar(focusId, deps = {}) {
+    const loadDeliveries = deps.loadDeliveries ?? defaultLoadDeliveries;
+    const loadTargets = deps.loadTargetsByInjectionId ?? defaultLoadTargets;
+    try {
+        const deliveries = await loadDeliveries(focusId);
+        const injectionIds = deliveries
+            .filter((d) => d.executionStatus !== DELIVERY_STATUS.CANCELLED)
+            .map((d) => d.injectionId)
+            .filter((id) => typeof id === 'string' && id.length > 0);
+        const targets = injectionIds.length > 0 ? await loadTargets(injectionIds) : new Map();
+        return assessFocusStatesABar(deliveries, targets);
+    }
+    catch (err) {
+        const message = err.message;
+        log.warn(`[prd-controller] bar-standing read failed for focus ${focusId}: ${message}`);
+        return {
+            statesABar: false,
+            readable: false,
+            reason: `the focus's covered effects could not be read (${message})`,
+            coveredEffectCount: 0,
+            unstatedNodeIds: [],
+        };
+    }
+}
+//# sourceMappingURL=arm-readiness.js.map

package/dist/prd/arm-readiness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arm-readiness.js","sourceRoot":"","sources":["../../src/prd/arm-readiness.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gFAAgF;AAChF,uDAAuD;AACvD,4EAA4E;AAC5E,8DAA8D;AAC9D,wDAAwD;AACxD,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAmCvD,uDAAuD;AACvD,SAAS,mBAAmB,CAAC,OAA6B;IACxD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACxE,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAChC,UAAkC,EAClC,oBAAuD;IAEvD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,SAAS,CAAC,CAAC;IACvF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,2CAA2C,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC;IACrG,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACtE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,qDAAqD;YAC3E,gBAAgB,EAAE,EAAE;SACrB,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GAAG,QAAQ;SAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,WAAqB,CAAC,IAAI,EAAE,CAAC,CAAC;SAC3F,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpB,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EACJ,GAAG,QAAQ,CAAC,MAAM,kEAAkE;gBACpF,4EAA4E;YAC9E,gBAAgB,EAAE,EAAE;SACrB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,GAAG,gBAAgB,CAAC,MAAM,OAAO,QAAQ,CAAC,MAAM,4DAA4D;QACpH,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAQD,6EAA6E;AAC7E,KAAK,UAAU,qBAAqB,CAAC,OAAe;IAClD,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACrD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5B,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,eAAe,EAAE,CAAC,CAAC,eAAe;QAClC,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI;KACnC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;;;;;GAUG;AACH,KAAK,UAAU,kBAAkB,CAC/B,YAAsB;IAEtB,MAAM,OAAO,GAAG,MAAM,qBAAqB,CAAC,YAAY,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAgC,CAAC;IACpD,KAAK,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QAC5C,GAAG,CAAC,GAAG,CACL,WAAW,EACX,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;aACtB,MAAM,CAAC,CAAC,CAAC,EAA4E,EAAE,CACtF,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;aACrD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAAe,EACf,OAAyB,EAAE;IAE3B,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,IAAI,qBAAqB,CAAC;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,wBAAwB,IAAI,kBAAkB,CAAC;IACxE,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,UAAU;aAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,SAAS,CAAC;aAC9D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;aACzB,MAAM,CAAC,CAAC,EAAE,EAAgB,EAAE,CAAC,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;QACtF,OAAO,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,OAAO,GAAI,GAAa,CAAC,OAAO,CAAC;QACvC,GAAG,CAAC,IAAI,CAAC,wDAAwD,OAAO,KAAK,OAAO,EAAE,CAAC,CAAC;QACxF,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,oCAAoC,OAAO,sBAAsB;YACzE,gBAAgB,EAAE,EAAE;SACrB,CAAC;IACJ,CAAC;AACH,CAAC;AA0BD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAkC,EAClC,oBAAuD;IAEvD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,QAAQ,CAAC,eAAe,KAAK,eAAe,CAAC,SAAS;YAAE,SAAS;QACrE,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC;QAC/C,IAAI,WAAW,KAAK,EAAE;YAAE,SAAS;QACjC,KAAK,MAAM,MAAM,IAAI,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;YACjE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,IAAI;YACd,MAAM,EACJ,iFAAiF;gBACjF,+EAA+E;YACjF,kBAAkB,EAAE,CAAC;YACrB,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;SAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC;SACzD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,IAAI;YACd,MAAM,EACJ,GAAG,eAAe,CAAC,MAAM,OAAO,OAAO,CAAC,IAAI,wCAAwC;gBACpF,yCAAyC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACvE,kBAAkB,EAAE,OAAO,CAAC,IAAI;YAChC,eAAe;SAChB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,oEAAoE;QAC3F,kBAAkB,EAAE,OAAO,CAAC,IAAI;QAChC,eAAe,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAAe,EACf,OAAyB,EAAE;IAE3B,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,IAAI,qBAAqB,CAAC;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,wBAAwB,IAAI,kBAAkB,CAAC;IACxE,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,UAAU;aAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,SAAS,CAAC;aAC9D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;aACzB,MAAM,CAAC,CAAC,EAAE,EAAgB,EAAE,CAAC,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;QACtF,OAAO,qBAAqB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,OAAO,GAAI,GAAa,CAAC,OAAO,CAAC;QACvC,GAAG,CAAC,IAAI,CAAC,uDAAuD,OAAO,KAAK,OAAO,EAAE,CAAC,CAAC;QACvF,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,kDAAkD,OAAO,GAAG;YACpE,kBAAkB,EAAE,CAAC;YACrB,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/prd/arm-refusal.d.ts

@@ -0,0 +1,149 @@
+/**
+ * A refused arm, SURVIVED: classify it, and record it where an operator reads it.
+ *
+ * WHAT REFUSES, AND WHY THE MACHINE MUST EXPECT IT. The arm edge
+ * (`stamp_focus_arm_baseline()`, migration 20260922173056) RAISES when the arm
+ * would cover no undesired effect, or would cover one that states no future --
+ * `check_violation` with a message beginning `arm_criteria_required:`, carrying
+ * the offending NODES by seq and statement. The product-api answers 400 with
+ * that message verbatim and `code: 'arm_criteria_required'`. So the daemon's own
+ * readiness gate (`prd/arm-readiness.ts`) is no longer the last word on whether
+ * an arm lands: the database is. This module is the BACKSTOP for the case where
+ * the daemon thought the focus was ready and the database disagreed -- the two
+ * read different things (the readiness gate reads the injection bundle's
+ * `nowTargets`; the trigger reads `targets` edges on the live tree), and they
+ * are read seconds apart, so they CAN disagree without either being wrong.
+ *
+ * WHY EVERY ARM FAILURE IS CAUGHT, NOT ONLY THE RECOGNIZED REFUSAL. This
+ * delivery exists to remove the PRD frontier's dependence on DEPLOY ORDER, and
+ * the deploy-order window is exactly the window in which the refusal is NOT
+ * recognizable: with the migration live and the edge function not, the same
+ * refused arm comes back as a generic 500 `backend_error` carrying none of the
+ * database's text. Catching only the recognized shape would leave the tick
+ * aborting in precisely the window the catch was written for. So the frontier
+ * catches whatever the arm throws, records what it can name, and continues; the
+ * frontier recomputes every tick, so the arm is naturally re-attempted.
+ *
+ * WHERE THE RECORD GOES, AND WHY THERE. A `focus_debug_artifacts` section, one
+ * row per (focus, section_kind), rendered on the focus Debug tab with its own
+ * "Updated ..." stamp, read by NOTHING in the machine's decision path -- so
+ * recording a refusal cannot misroute a delivery -- and cleared by DELETING the
+ * row, which is exactly the shape "until an arm succeeds" wants. It is the same
+ * surface, for the same reasons, that `integration_sync` (20260920152723) and
+ * `directive_undelivered` (20260920202553) already use; the second of those was
+ * written because "the ONLY trace was a log warn" is how a focus goes quiet for
+ * 51 minutes with nobody able to learn what it was owed. A log warn alone would
+ * repeat that here: the operator who needs this fact is looking at a PRD whose
+ * frontier is not advancing, not at a daemon host's journal. The log warn stays
+ * as the FLOOR -- it is what a failed record degrades to.
+ *
+ * NOTHING HERE ESCALATES. A refused arm is a recoverable state the machine
+ * re-tries, not a question for a human queue: the fix is a restatement on a
+ * tree node, and the scoping agent the frontier re-spawns is the actor that
+ * writes it.
+ */
+import { type CallApiDeps } from '../queries/shared.js';
+/** The wire code the product-api answers a refused arm with. */
+export declare const ARM_CRITERIA_REQUIRED_CODE = "arm_criteria_required";
+/**
+ * The prefix the DATABASE declares as the contract (the prose after it is not).
+ * Matched as well as the wire code so a refusal that reaches us through a
+ * transport that dropped the code -- or an older edge that never set one -- is
+ * still recognized by the text the trigger wrote.
+ */
+export declare const ARM_CRITERIA_REQUIRED_PREFIX = "arm_criteria_required:";
+/** The focus_debug_artifacts section this record lives in. */
+export declare const ARM_REFUSAL_SECTION_KIND = "arm_refused";
+/** The line carrying the first-observed timestamp across re-records. */
+export declare const REFUSED_SINCE_PREFIX = "Refused since: ";
+/** What an arm failure was, once classified. */
+export interface ArmFailure {
+    /**
+     * 'criteria_required' -- positively the arm-criteria refusal: the database
+     * refused because the arm states no future to judge the work against, and
+     * `detail` carries its node list. 'unclassified' -- any other arm failure,
+     * including the deploy-order window's opaque 500.
+     */
+    kind: 'criteria_required' | 'unclassified';
+    /** The wire code the failure carried, or null when it carried none. */
+    code: string | null;
+    /**
+     * The refusal text VERBATIM from its prefix onward (or the raw error message
+     * when there is no prefix). Never parsed or re-worded: the node list -- which
+     * effects are covered, or which of them state no future -- is the half a
+     * human needs and only the database could resolve.
+     */
+    detail: string;
+}
+/**
+ * Classify whatever `armFocus` threw. TOTAL: every input yields a record, so a
+ * caller never has to decide whether an unrecognized failure is reportable.
+ */
+export declare function classifyArmFailure(err: unknown): ArmFailure;
+/** Everything the rendered record names. */
+export interface ArmRefusalRecord {
+    focusId: string;
+    /** The overcome node whose focus this is (the frontier's own label for it). */
+    nodeId: string;
+    prdId: string;
+    prdTitle: string;
+    failure: ArmFailure;
+    /** The daemon's own readiness verdict at the moment it decided to arm. */
+    readinessReason: string;
+    /** ISO timestamp of THIS observation. */
+    observedAt: string;
+}
+/** The `Refused since:` value in a stored artifact, or null when absent. */
+export declare function parseRefusedSince(content: string | undefined): string | null;
+/**
+ * Render the human-facing record. PURE.
+ *
+ * The first-observed timestamp is the one line a re-record must be able to find
+ * again, so it is emitted on its own line with a fixed prefix: the frontier
+ * re-attempts the arm every tick, so `updated_at` alone would always read "just
+ * now" and hide a frontier that has been refused for a day.
+ */
+export declare function renderArmRefusalArtifact(record: ArmRefusalRecord, since: string): string;
+/**
+ * Record a refused arm, carrying forward the first-observed timestamp when one
+ * is already on record.
+ *
+ * NEVER THROWS. The record is the operator's view of a waiting state, not a
+ * step in the tick: a recording failure (the section kind not yet deployed, the
+ * API down) must not cost the tick that survived the refusal. It degrades to
+ * the log warn, which carries the same code and node list.
+ */
+export declare function recordArmRefusal(record: ArmRefusalRecord, deps?: CallApiDeps): Promise<void>;
+/**
+ * Write the `arm_refused` section, carrying the first-observed timestamp
+ * forward. The IO half of the record, with the RENDERING left to the caller.
+ *
+ * Two crossings can be refused for stating no bar -- the role arm (the PRD
+ * frontier's, rendered above) and the audit focus's ratify crossing
+ * (`focus-stage-lifecycle/ratify-bar-gate.ts`) -- and they are refusals of
+ * DIFFERENT acts, so they read differently to an operator. What they share is
+ * the section they live in, the since-when line and the never-throws contract;
+ * that is what lives here, so there is one writer of the row rather than two
+ * that must be kept in step.
+ *
+ * NEVER THROWS. The record is the operator's view of a waiting state, not a
+ * step in the tick: a recording failure (the section kind not yet deployed, the
+ * API down) must not cost the tick that survived the refusal. It degrades to
+ * the log warn, which carries the same detail.
+ */
+export declare function recordArmRefusalSection(args: {
+    focusId: string;
+    /** ISO timestamp of THIS observation; the since-when when none is stored. */
+    observedAt: string;
+    /** What the refusal said -- the floor the log warn degrades to. */
+    detail: string;
+    /** Render the artifact, given the first-observed timestamp to carry. */
+    render: (since: string) => string;
+}, deps?: CallApiDeps): Promise<void>;
+/**
+ * Clear the record. Idempotent (deleting a section that is not there is a
+ * no-op) and, like the record, never throws: a failed clear leaves a stale
+ * record on a focus that IS armed, which is a stale note -- not a wedge.
+ */
+export declare function clearArmRefusal(focusId: string, deps?: CallApiDeps): Promise<void>;
+//# sourceMappingURL=arm-refusal.d.ts.map

package/dist/prd/arm-refusal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arm-refusal.d.ts","sourceRoot":"","sources":["../../src/prd/arm-refusal.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,EAAW,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAKjE,gEAAgE;AAChE,eAAO,MAAM,0BAA0B,0BAA0B,CAAC;AAElE;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,2BAA2B,CAAC;AAErE,8DAA8D;AAC9D,eAAO,MAAM,wBAAwB,gBAAgB,CAAC;AAEtD,wEAAwE;AACxE,eAAO,MAAM,oBAAoB,oBAAoB,CAAC;AAEtD,gDAAgD;AAChD,MAAM,WAAW,UAAU;IACzB;;;;;OAKG;IACH,IAAI,EAAE,mBAAmB,GAAG,cAAc,CAAC;IAC3C,uEAAuE;IACvE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB;;;;;OAKG;IACH,MAAM,EAAE,MAAM,CAAC;CAChB;AAQD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,GAAG,UAAU,CAc3D;AAQD,4CAA4C;AAC5C,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,UAAU,CAAC;IACpB,0EAA0E;IAC1E,eAAe,EAAE,MAAM,CAAC;IACxB,yCAAyC;IACzC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,4EAA4E;AAC5E,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CAS5E;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,gBAAgB,EACxB,KAAK,EAAE,MAAM,GACZ,MAAM,CA4BR;AASD;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,gBAAgB,EACxB,IAAI,GAAE,WAAgB,GACrB,OAAO,CAAC,IAAI,CAAC,CAUf;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE;IACJ,OAAO,EAAE,MAAM,CAAC;IAChB,6EAA6E;IAC7E,UAAU,EAAE,MAAM,CAAC;IACnB,mEAAmE;IACnE,MAAM,EAAE,MAAM,CAAC;IACf,wEAAwE;IACxE,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;CACnC,EACD,IAAI,GAAE,WAAgB,GACrB,OAAO,CAAC,IAAI,CAAC,CAuBf;AAED;;;;GAIG;AACH,wBAAsB,eAAe,CACnC,OAAO,EAAE,MAAM,EACf,IAAI,GAAE,WAAgB,GACrB,OAAO,CAAC,IAAI,CAAC,CAYf"}

package/dist/prd/arm-refusal.js

@@ -0,0 +1,219 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/prd/prd-frontier-arm-refused.test.ts
+// PINNED-BY-END
+/**
+ * A refused arm, SURVIVED: classify it, and record it where an operator reads it.
+ *
+ * WHAT REFUSES, AND WHY THE MACHINE MUST EXPECT IT. The arm edge
+ * (`stamp_focus_arm_baseline()`, migration 20260922173056) RAISES when the arm
+ * would cover no undesired effect, or would cover one that states no future --
+ * `check_violation` with a message beginning `arm_criteria_required:`, carrying
+ * the offending NODES by seq and statement. The product-api answers 400 with
+ * that message verbatim and `code: 'arm_criteria_required'`. So the daemon's own
+ * readiness gate (`prd/arm-readiness.ts`) is no longer the last word on whether
+ * an arm lands: the database is. This module is the BACKSTOP for the case where
+ * the daemon thought the focus was ready and the database disagreed -- the two
+ * read different things (the readiness gate reads the injection bundle's
+ * `nowTargets`; the trigger reads `targets` edges on the live tree), and they
+ * are read seconds apart, so they CAN disagree without either being wrong.
+ *
+ * WHY EVERY ARM FAILURE IS CAUGHT, NOT ONLY THE RECOGNIZED REFUSAL. This
+ * delivery exists to remove the PRD frontier's dependence on DEPLOY ORDER, and
+ * the deploy-order window is exactly the window in which the refusal is NOT
+ * recognizable: with the migration live and the edge function not, the same
+ * refused arm comes back as a generic 500 `backend_error` carrying none of the
+ * database's text. Catching only the recognized shape would leave the tick
+ * aborting in precisely the window the catch was written for. So the frontier
+ * catches whatever the arm throws, records what it can name, and continues; the
+ * frontier recomputes every tick, so the arm is naturally re-attempted.
+ *
+ * WHERE THE RECORD GOES, AND WHY THERE. A `focus_debug_artifacts` section, one
+ * row per (focus, section_kind), rendered on the focus Debug tab with its own
+ * "Updated ..." stamp, read by NOTHING in the machine's decision path -- so
+ * recording a refusal cannot misroute a delivery -- and cleared by DELETING the
+ * row, which is exactly the shape "until an arm succeeds" wants. It is the same
+ * surface, for the same reasons, that `integration_sync` (20260920152723) and
+ * `directive_undelivered` (20260920202553) already use; the second of those was
+ * written because "the ONLY trace was a log warn" is how a focus goes quiet for
+ * 51 minutes with nobody able to learn what it was owed. A log warn alone would
+ * repeat that here: the operator who needs this fact is looking at a PRD whose
+ * frontier is not advancing, not at a daemon host's journal. The log warn stays
+ * as the FLOOR -- it is what a failed record degrades to.
+ *
+ * NOTHING HERE ESCALATES. A refused arm is a recoverable state the machine
+ * re-tries, not a question for a human queue: the fix is a restatement on a
+ * tree node, and the scoping agent the frontier re-spawns is the actor that
+ * writes it.
+ */
+import { callApi } from '../queries/shared.js';
+import { createLogger } from '../shell/log.js';
+const log = createLogger({ module: 'prd-controller' });
+/** The wire code the product-api answers a refused arm with. */
+export const ARM_CRITERIA_REQUIRED_CODE = 'arm_criteria_required';
+/**
+ * The prefix the DATABASE declares as the contract (the prose after it is not).
+ * Matched as well as the wire code so a refusal that reaches us through a
+ * transport that dropped the code -- or an older edge that never set one -- is
+ * still recognized by the text the trigger wrote.
+ */
+export const ARM_CRITERIA_REQUIRED_PREFIX = 'arm_criteria_required:';
+/** The focus_debug_artifacts section this record lives in. */
+export const ARM_REFUSAL_SECTION_KIND = 'arm_refused';
+/** The line carrying the first-observed timestamp across re-records. */
+export const REFUSED_SINCE_PREFIX = 'Refused since: ';
+/** The wire code an ApiError carries, when the thrown value is one. */
+function readWireCode(err) {
+    const code = err?.wireCode;
+    return typeof code === 'string' && code.length > 0 ? code : null;
+}
+/**
+ * Classify whatever `armFocus` threw. TOTAL: every input yields a record, so a
+ * caller never has to decide whether an unrecognized failure is reportable.
+ */
+export function classifyArmFailure(err) {
+    const message = err?.message ?? String(err);
+    const code = readWireCode(err);
+    const at = message.indexOf(ARM_CRITERIA_REQUIRED_PREFIX);
+    if (code === ARM_CRITERIA_REQUIRED_CODE || at !== -1) {
+        return {
+            kind: 'criteria_required',
+            code: code ?? ARM_CRITERIA_REQUIRED_CODE,
+            // Slice from the prefix when it is present: that drops any transport
+            // preamble while keeping every word the database wrote.
+            detail: at !== -1 ? message.slice(at) : message,
+        };
+    }
+    return { kind: 'unclassified', code, detail: message };
+}
+/** The `Refused since:` value in a stored artifact, or null when absent. */
+export function parseRefusedSince(content) {
+    if (!content)
+        return null;
+    for (const line of content.split('\n')) {
+        if (line.startsWith(REFUSED_SINCE_PREFIX)) {
+            const value = line.slice(REFUSED_SINCE_PREFIX.length).trim();
+            if (value)
+                return value;
+        }
+    }
+    return null;
+}
+/**
+ * Render the human-facing record. PURE.
+ *
+ * The first-observed timestamp is the one line a re-record must be able to find
+ * again, so it is emitted on its own line with a fixed prefix: the frontier
+ * re-attempts the arm every tick, so `updated_at` alone would always read "just
+ * now" and hide a frontier that has been refused for a day.
+ */
+export function renderArmRefusalArtifact(record, since) {
+    const { focusId, nodeId, prdId, prdTitle, failure, readinessReason, observedAt } = record;
+    const headline = failure.kind === 'criteria_required'
+        ? 'Arm refused: this focus states no future to judge the work against'
+        : 'Arm failed: the focus could not be armed';
+    return [
+        `# ${headline}`,
+        '',
+        'The PRD frontier materialized this focus and tried to arm it. The write was',
+        'refused, so the focus stays materialized and UN-ARMED. Nothing is lost and',
+        'nothing is frozen: the frontier recomputes every tick and re-attempts the arm,',
+        'and this record clears the moment one lands.',
+        '',
+        `Refusal code: ${failure.code ?? '(none carried)'}`,
+        `${REFUSED_SINCE_PREFIX}${since}`,
+        `Last refused: ${observedAt}`,
+        `PRD: ${prdTitle} (${prdId})`,
+        `Overcome node: ${nodeId}`,
+        `Focus: ${focusId}`,
+        '',
+        '## What the database said',
+        '',
+        failure.detail,
+        '',
+        '## What the daemon thought before it asked',
+        '',
+        readinessReason,
+    ].join('\n');
+}
+/** The first-observed timestamp already on record for this focus, or null. */
+async function readRefusedSince(focusId, api) {
+    const result = await api('focus_debug_get', { focusId });
+    const section = (result?.sections ?? []).find(s => s.sectionKind === ARM_REFUSAL_SECTION_KIND);
+    return parseRefusedSince(section?.content);
+}
+/**
+ * Record a refused arm, carrying forward the first-observed timestamp when one
+ * is already on record.
+ *
+ * NEVER THROWS. The record is the operator's view of a waiting state, not a
+ * step in the tick: a recording failure (the section kind not yet deployed, the
+ * API down) must not cost the tick that survived the refusal. It degrades to
+ * the log warn, which carries the same code and node list.
+ */
+export async function recordArmRefusal(record, deps = {}) {
+    await recordArmRefusalSection({
+        focusId: record.focusId,
+        observedAt: record.observedAt,
+        detail: record.failure.detail,
+        render: (since) => renderArmRefusalArtifact(record, since),
+    }, deps);
+}
+/**
+ * Write the `arm_refused` section, carrying the first-observed timestamp
+ * forward. The IO half of the record, with the RENDERING left to the caller.
+ *
+ * Two crossings can be refused for stating no bar -- the role arm (the PRD
+ * frontier's, rendered above) and the audit focus's ratify crossing
+ * (`focus-stage-lifecycle/ratify-bar-gate.ts`) -- and they are refusals of
+ * DIFFERENT acts, so they read differently to an operator. What they share is
+ * the section they live in, the since-when line and the never-throws contract;
+ * that is what lives here, so there is one writer of the row rather than two
+ * that must be kept in step.
+ *
+ * NEVER THROWS. The record is the operator's view of a waiting state, not a
+ * step in the tick: a recording failure (the section kind not yet deployed, the
+ * API down) must not cost the tick that survived the refusal. It degrades to
+ * the log warn, which carries the same detail.
+ */
+export async function recordArmRefusalSection(args, deps = {}) {
+    const api = deps.callApi ?? callApi;
+    let since = null;
+    try {
+        since = await readRefusedSince(args.focusId, api);
+    }
+    catch {
+        // A failed read costs the ORIGINAL since-when, never the record itself.
+        since = null;
+    }
+    try {
+        await api('focus_debug_set', {
+            focusId: args.focusId,
+            fields: {
+                sectionKind: ARM_REFUSAL_SECTION_KIND,
+                content: args.render(since ?? args.observedAt),
+            },
+        });
+    }
+    catch (err) {
+        log.warn(`[prd-controller] could not record the arm refusal for focus ${args.focusId} ` +
+            `(${err.message}) -- the refusal itself: ${args.detail}`);
+    }
+}
+/**
+ * Clear the record. Idempotent (deleting a section that is not there is a
+ * no-op) and, like the record, never throws: a failed clear leaves a stale
+ * record on a focus that IS armed, which is a stale note -- not a wedge.
+ */
+export async function clearArmRefusal(focusId, deps = {}) {
+    const api = deps.callApi ?? callApi;
+    try {
+        await api('focus_debug_clear', {
+            focusId,
+            fields: { sectionKind: ARM_REFUSAL_SECTION_KIND },
+        });
+    }
+    catch (err) {
+        log.debug(`[prd-controller] could not clear the arm-refusal record for focus ${focusId}: ${err.message}`);
+    }
+}
+//# sourceMappingURL=arm-refusal.js.map

package/dist/prd/arm-refusal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arm-refusal.js","sourceRoot":"","sources":["../../src/prd/arm-refusal.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sEAAsE;AACtE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,EAAE,OAAO,EAAoB,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAEvD,gEAAgE;AAChE,MAAM,CAAC,MAAM,0BAA0B,GAAG,uBAAuB,CAAC;AAElE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,wBAAwB,CAAC;AAErE,8DAA8D;AAC9D,MAAM,CAAC,MAAM,wBAAwB,GAAG,aAAa,CAAC;AAEtD,wEAAwE;AACxE,MAAM,CAAC,MAAM,oBAAoB,GAAG,iBAAiB,CAAC;AAsBtD,uEAAuE;AACvE,SAAS,YAAY,CAAC,GAAY;IAChC,MAAM,IAAI,GAAI,GAAqC,EAAE,QAAQ,CAAC;IAC9D,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACnE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAY;IAC7C,MAAM,OAAO,GAAI,GAAoB,EAAE,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IACzD,IAAI,IAAI,KAAK,0BAA0B,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACrD,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,IAAI,IAAI,0BAA0B;YACxC,qEAAqE;YACrE,wDAAwD;YACxD,MAAM,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO;SAChD,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACzD,CAAC;AAsBD,4EAA4E;AAC5E,MAAM,UAAU,iBAAiB,CAAC,OAA2B;IAC3D,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;YAC7D,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAwB,EACxB,KAAa;IAEb,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;IAC1F,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,KAAK,mBAAmB;QACnD,CAAC,CAAC,oEAAoE;QACtE,CAAC,CAAC,0CAA0C,CAAC;IAC/C,OAAO;QACL,KAAK,QAAQ,EAAE;QACf,EAAE;QACF,6EAA6E;QAC7E,4EAA4E;QAC5E,gFAAgF;QAChF,8CAA8C;QAC9C,EAAE;QACF,iBAAiB,OAAO,CAAC,IAAI,IAAI,gBAAgB,EAAE;QACnD,GAAG,oBAAoB,GAAG,KAAK,EAAE;QACjC,iBAAiB,UAAU,EAAE;QAC7B,QAAQ,QAAQ,KAAK,KAAK,GAAG;QAC7B,kBAAkB,MAAM,EAAE;QAC1B,UAAU,OAAO,EAAE;QACnB,EAAE;QACF,2BAA2B;QAC3B,EAAE;QACF,OAAO,CAAC,MAAM;QACd,EAAE;QACF,4CAA4C;QAC5C,EAAE;QACF,eAAe;KAChB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,KAAK,UAAU,gBAAgB,CAAC,OAAe,EAAE,GAAmB;IAClE,MAAM,MAAM,GAAG,MAAM,GAAG,CAAqC,iBAAiB,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7F,MAAM,OAAO,GAAG,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,wBAAwB,CAAC,CAAC;IAC/F,OAAO,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAC7C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,MAAwB,EACxB,OAAoB,EAAE;IAEtB,MAAM,uBAAuB,CAC3B;QACE,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;QAC7B,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC;KAC3D,EACD,IAAI,CACL,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAQC,EACD,OAAoB,EAAE;IAEtB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC;IACpC,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,wEAAwE;QACxE,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,IAAI,CAAC;QACH,MAAM,GAAG,CAAC,iBAAiB,EAAE;YAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,MAAM,EAAE;gBACN,WAAW,EAAE,wBAAwB;gBACrC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC;aAC/C;SACF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,+DAA+D,IAAI,CAAC,OAAO,GAAG;YAC5E,IAAK,GAAa,CAAC,OAAO,4BAA4B,IAAI,CAAC,MAAM,EAAE,CACtE,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,OAAe,EACf,OAAoB,EAAE;IAEtB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,GAAG,CAAC,mBAAmB,EAAE;YAC7B,OAAO;YACP,MAAM,EAAE,EAAE,WAAW,EAAE,wBAAwB,EAAE;SAClD,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,KAAK,CACP,qEAAqE,OAAO,KAAM,GAAa,CAAC,OAAO,EAAE,CAC1G,CAAC;IACJ,CAAC;AACH,CAAC"}