@telora/daemon 0.22.169 → 0.22.187

package/dist/prompt-sections/scoping-sections.js

@@ -1,18 +1,6 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
 // Pinned by: none -- no test imports this module directly (baselined; see lint:pinned-by)
 // PINNED-BY-END
-/**
- * SCOPING section builders: the scoping mandate, mid-flight rescoping, and the
- * new-work delivery rule.
- *
- * Split out of execution-sections.ts, which holds the run-the-work sections
- * (planning, delivery listing, status rules, session constraints, workers,
- * error handling, completion). These three are a distinct job: they tell the
- * team lead how to CHANGE the shape of the work -- decompose a delivery, add
- * issues mid-flight, route genuinely new work -- rather than how to execute it.
- *
- * Re-exported from execution-sections.ts, so existing importers are unaffected.
- */
 /**
  * Build the scoping mandate section.
  *
@@ -21,7 +9,8 @@
  * section makes the requirement visible to the team lead so it does not waste
  * a turn discovering it through a 400 response.
  */
-export function buildScopingMandateSection() {
+export function buildScopingMandateSection(options = {}) {
+    const mayCreate = options.mayCreateDeliveries !== false;
     return [
         '### Scoping Mandate',
         '',
@@ -59,41 +48,60 @@ export function buildScopingMandateSection() {
         'own escalation. It is never inferred from prose someone wrote into criteria --',
         'a prose hold is always a defect to report and route past, never an order.',
         '',
-        '**Declare the work-facing label.** Whenever you create a delivery via',
-        '`telora_product_delivery` create, pass `workFacing: "outward" | "inward"` as',
-        'a byproduct of the scoping context -- it forces the explicit "new ground or',
-        'improving old ground?" question out loud at scope time:',
-        '',
-        '- `outward` = a capability the user did not have before (new ground;',
-        '  includes machine/tooling capabilities -- the axis is NOVELTY, not',
-        '  product-vs-system).',
-        '- `inward` = improving a capability that already exists (refining ground',
-        '  already taken).',
-        '',
-        'Declare it once, at inception, from what the delivery is FOR -- do not infer',
-        'it later and do not re-read it on a loop. A genuine purpose change is a',
-        're-scope (re-declare the label), never a completion-inferred drift. This',
-        'label is read downstream as a MIRROR of where intent-energy went, never a',
-        'quota -- so label honestly; relabelling refinement as frontier to flatter a',
-        'number destroys the only signal the instrument carries.',
-        '',
+        ...(mayCreate ? [
+            '**Declare the work-facing label.** Whenever you create a delivery via',
+            '`telora_product_delivery` create, pass `workFacing: "outward" | "inward"` as',
+            'a byproduct of the scoping context -- it forces the explicit "new ground or',
+            'improving old ground?" question out loud at scope time:',
+            '',
+            '- `outward` = a capability the user did not have before (new ground;',
+            '  includes machine/tooling capabilities -- the axis is NOVELTY, not',
+            '  product-vs-system).',
+            '- `inward` = improving a capability that already exists (refining ground',
+            '  already taken).',
+            '',
+            'Declare it once, at inception, from what the delivery is FOR -- do not infer',
+            'it later and do not re-read it on a loop. A genuine purpose change is a',
+            're-scope (re-declare the label), never a completion-inferred drift. This',
+            'label is read downstream as a MIRROR of where intent-energy went, never a',
+            'quota -- so label honestly; relabelling refinement as frontier to flatter a',
+            'number destroys the only signal the instrument carries.',
+            '',
+        ] : []),
     ];
 }
 /**
  * Build the rescoping and splitting deliveries section.
  */
-export function buildRescopingSection(focusId, productId) {
+/**
+ * The delivery-CREATING half of the rescoping section: the only text that tells
+ * a team to open a new delivery. Withheld (mayCreateDeliveries=false) from a
+ * review pass and from a team answering review findings -- no delivery is
+ * created in answer to a review finding (operator ruling 2026-09-22).
+ */
+function buildSplittingBlock(focusId, productId) {
     return [
-        '### Rescoping and Splitting Deliveries',
-        '',
-        'You are encouraged to restructure work as you learn more about the codebase. If a delivery is larger than expected, split it. If an issue is unnecessary, close it. If you discover new work, create issues for it.',
-        '',
         '**Splitting a delivery:**',
         `1. Create new deliveries via \`telora_product_delivery\` (action: "create") (same focusId: "${focusId}", productId: "${productId}"). Anchor each to the reality-tree injection it materializes via injectionNodeId -- once the focus is past planning with an active tree, an unanchored create is REFUSED (no row); pass allowUnanchored: true only for a legitimate non-tree delivery. Declare workFacing ("outward" = new ground / a capability not had before; "inward" = improving existing ground) on each new or split delivery.`,
         '2. Create issues under the new deliveries via `telora_product_issue` (action: "create")',
         "3. Mark the original delivery's remaining issues as Done (if moved) or close as won't-do",
         '4. The daemon will automatically pick up new deliveries',
         '',
+    ];
+}
+/** Withheld alongside the splitting block: a remediation team asks nothing, it closes findings. */
+const RESCOPE_WITHOUT_ASKING_LINES = [
+    '**Do not ask for permission to rescope.** Restructure autonomously based on what you learn.',
+    '',
+];
+export function buildRescopingSection(focusId, productId, options = {}) {
+    const mayCreate = options.mayCreateDeliveries !== false;
+    return [
+        '### Rescoping and Splitting Deliveries',
+        '',
+        'You are encouraged to restructure work as you learn more about the codebase. If a delivery is larger than expected, split it. If an issue is unnecessary, close it. If you discover new work, create issues for it.',
+        '',
+        ...(mayCreate ? buildSplittingBlock(focusId, productId) : []),
         '**Adding issues:**',
         '- Create new issues on any delivery you are working on via `telora_product_issue` (action: "create")',
         "- Set status to 'To Do' -- they will be picked up in your current execution",
@@ -103,8 +111,7 @@ export function buildRescopingSection(focusId, productId) {
         '- Do not leave orphan issues -- always update status',
         "- Known limitation: there is no 'Won't Do' status. Using Done with a note is the convention for now. The description note is important for audit trail.",
         '',
-        '**Do not ask for permission to rescope.** Restructure autonomously based on what you learn.',
-        '',
+        ...(mayCreate ? RESCOPE_WITHOUT_ASKING_LINES : []),
         '**Acceptance criteria you write must be agent-satisfiable.** Whenever you',
         'create or rescope a delivery -- and whenever you create or update an issue --',
         'every acceptance / completion criterion must be checkable purely by',

package/dist/prompt-sections/scoping-sections.js.map

@@ -1 +1 @@
-{"version":3,"file":"scoping-sections.js","sourceRoot":"","sources":["../../src/prompt-sections/scoping-sections.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0FAA0F;AAC1F,gBAAgB;AAEhB;;;;;;;;;;;GAWG;AAEH;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B;IACxC,OAAO;QACL,qBAAqB;QACrB,EAAE;QACF,yEAAyE;QACzE,kDAAkD;QAClD,sFAAsF;QACtF,4EAA4E;QAC5E,uEAAuE;QACvE,wEAAwE;QACxE,EAAE;QACF,0EAA0E;QAC1E,yEAAyE;QACzE,yEAAyE;QACzE,yFAAyF;QACzF,EAAE;QACF,sEAAsE;QACtE,4EAA4E;QAC5E,8EAA8E;QAC9E,sEAAsE;QACtE,8EAA8E;QAC9E,+EAA+E;QAC/E,2EAA2E;QAC3E,8EAA8E;QAC9E,4EAA4E;QAC5E,EAAE;QACF,4EAA4E;QAC5E,+EAA+E;QAC/E,iFAAiF;QACjF,+EAA+E;QAC/E,gFAAgF;QAChF,sBAAsB;QACtB,EAAE;QACF,6EAA6E;QAC7E,+EAA+E;QAC/E,gFAAgF;QAChF,2EAA2E;QAC3E,EAAE;QACF,uEAAuE;QACvE,8EAA8E;QAC9E,6EAA6E;QAC7E,yDAAyD;QACzD,EAAE;QACF,sEAAsE;QACtE,qEAAqE;QACrE,uBAAuB;QACvB,0EAA0E;QAC1E,mBAAmB;QACnB,EAAE;QACF,8EAA8E;QAC9E,yEAAyE;QACzE,0EAA0E;QAC1E,2EAA2E;QAC3E,6EAA6E;QAC7E,yDAAyD;QACzD,EAAE;KACH,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAe,EAAE,SAAiB;IACtE,OAAO;QACL,wCAAwC;QACxC,EAAE;QACF,qNAAqN;QACrN,EAAE;QACF,2BAA2B;QAC3B,+FAA+F,OAAO,kBAAkB,SAAS,wYAAwY;QACzgB,yFAAyF;QACzF,0FAA0F;QAC1F,yDAAyD;QACzD,EAAE;QACF,oBAAoB;QACpB,sGAAsG;QACtG,6EAA6E;QAC7E,EAAE;QACF,uBAAuB;QACvB,0HAA0H;QAC1H,sDAAsD;QACtD,yJAAyJ;QACzJ,EAAE;QACF,6FAA6F;QAC7F,EAAE;QACF,2EAA2E;QAC3E,+EAA+E;QAC/E,qEAAqE;QACrE,2EAA2E;QAC3E,oDAAoD;QACpD,EAAE;QACF,uFAAuF;QACvF,6EAA6E;QAC7E,0EAA0E;QAC1E,gEAAgE;QAChE,mEAAmE;QACnE,EAAE;QACF,iFAAiF;QACjF,6EAA6E;QAC7E,+EAA+E;QAC/E,6EAA6E;QAC7E,2CAA2C;QAC3C,EAAE;QACF,2EAA2E;QAC3E,sEAAsE;QACtE,0EAA0E;QAC1E,8EAA8E;QAC9E,+EAA+E;QAC/E,8EAA8E;QAC9E,uEAAuE;QACvE,8EAA8E;QAC9E,0EAA0E;QAC1E,8EAA8E;QAC9E,4EAA4E;QAC5E,+EAA+E;QAC/E,EAAE;QACF,4EAA4E;QAC5E,2EAA2E;QAC3E,0EAA0E;QAC1E,sEAAsE;QACtE,+EAA+E;QAC/E,0EAA0E;QAC1E,yEAAyE;QACzE,gEAAgE;QAChE,EAAE;QACF,+BAA+B;QAC/B,gFAAgF;QAChF,2EAA2E;QAC3E,8EAA8E;QAC9E,+EAA+E;QAC/E,6EAA6E;QAC7E,8EAA8E;QAC9E,8EAA8E;QAC9E,4EAA4E;QAC5E,mEAAmE;QACnE,+EAA+E;QAC/E,8EAA8E;QAC9E,8EAA8E;QAC9E,6EAA6E;QAC7E,2EAA2E;QAC3E,2EAA2E;QAC3E,8EAA8E;QAC9E,+EAA+E;QAC/E,gFAAgF;QAChF,iFAAiF;QACjF,8EAA8E;QAC9E,2EAA2E;QAC3E,8EAA8E;QAC9E,iFAAiF;QACjF,EAAE;QACF,8EAA8E;QAC9E,2EAA2E;QAC3E,8EAA8E;QAC9E,8EAA8E;QAC9E,6EAA6E;QAC7E,8EAA8E;QAC9E,gFAAgF;QAChF,EAAE;QACF,6EAA6E;QAC7E,4EAA4E;QAC5E,0EAA0E;QAC1E,8EAA8E;QAC9E,2EAA2E;QAC3E,6DAA6D;QAC7D,EAAE;KACH,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,2BAA2B;IACzC,OAAO;QACL,gCAAgC;QAChC,EAAE;QACF,8EAA8E;QAC9E,wEAAwE;QACxE,EAAE;QACF,kDAAkD;QAClD,mEAAmE;QACnE,yEAAyE;QACzE,4EAA4E;QAC5E,mDAAmD;QACnD,EAAE;QACF,oFAAoF;QACpF,gFAAgF;QAChF,EAAE;KACH,CAAC;AACJ,CAAC"}
+{"version":3,"file":"scoping-sections.js","sourceRoot":"","sources":["../../src/prompt-sections/scoping-sections.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0FAA0F;AAC1F,gBAAgB;AAiChB;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CAAC,UAAiC,EAAE;IAC5E,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,KAAK,KAAK,CAAC;IACxD,OAAO;QACL,qBAAqB;QACrB,EAAE;QACF,yEAAyE;QACzE,kDAAkD;QAClD,sFAAsF;QACtF,4EAA4E;QAC5E,uEAAuE;QACvE,wEAAwE;QACxE,EAAE;QACF,0EAA0E;QAC1E,yEAAyE;QACzE,yEAAyE;QACzE,yFAAyF;QACzF,EAAE;QACF,sEAAsE;QACtE,4EAA4E;QAC5E,8EAA8E;QAC9E,sEAAsE;QACtE,8EAA8E;QAC9E,+EAA+E;QAC/E,2EAA2E;QAC3E,8EAA8E;QAC9E,4EAA4E;QAC5E,EAAE;QACF,4EAA4E;QAC5E,+EAA+E;QAC/E,iFAAiF;QACjF,+EAA+E;QAC/E,gFAAgF;QAChF,sBAAsB;QACtB,EAAE;QACF,6EAA6E;QAC7E,+EAA+E;QAC/E,gFAAgF;QAChF,2EAA2E;QAC3E,EAAE;QACF,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;YACd,uEAAuE;YACvE,8EAA8E;YAC9E,6EAA6E;YAC7E,yDAAyD;YACzD,EAAE;YACF,sEAAsE;YACtE,qEAAqE;YACrE,uBAAuB;YACvB,0EAA0E;YAC1E,mBAAmB;YACnB,EAAE;YACF,8EAA8E;YAC9E,yEAAyE;YACzE,0EAA0E;YAC1E,2EAA2E;YAC3E,6EAA6E;YAC7E,yDAAyD;YACzD,EAAE;SACH,CAAC,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED;;GAEG;AACH;;;;;GAKG;AACH,SAAS,mBAAmB,CAAC,OAAe,EAAE,SAAiB;IAC7D,OAAO;QACL,2BAA2B;QAC3B,+FAA+F,OAAO,kBAAkB,SAAS,wYAAwY;QACzgB,yFAAyF;QACzF,0FAA0F;QAC1F,yDAAyD;QACzD,EAAE;KACH,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,MAAM,4BAA4B,GAAsB;IACtD,6FAA6F;IAC7F,EAAE;CACH,CAAC;AAEF,MAAM,UAAU,qBAAqB,CACnC,OAAe,EACf,SAAiB,EACjB,UAAiC,EAAE;IAEnC,MAAM,SAAS,GAAG,OAAO,CAAC,mBAAmB,KAAK,KAAK,CAAC;IACxD,OAAO;QACL,wCAAwC;QACxC,EAAE;QACF,qNAAqN;QACrN,EAAE;QACF,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,oBAAoB;QACpB,sGAAsG;QACtG,6EAA6E;QAC7E,EAAE;QACF,uBAAuB;QACvB,0HAA0H;QAC1H,sDAAsD;QACtD,yJAAyJ;QACzJ,EAAE;QACF,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,2EAA2E;QAC3E,+EAA+E;QAC/E,qEAAqE;QACrE,2EAA2E;QAC3E,oDAAoD;QACpD,EAAE;QACF,uFAAuF;QACvF,6EAA6E;QAC7E,0EAA0E;QAC1E,gEAAgE;QAChE,mEAAmE;QACnE,EAAE;QACF,iFAAiF;QACjF,6EAA6E;QAC7E,+EAA+E;QAC/E,6EAA6E;QAC7E,2CAA2C;QAC3C,EAAE;QACF,2EAA2E;QAC3E,sEAAsE;QACtE,0EAA0E;QAC1E,8EAA8E;QAC9E,+EAA+E;QAC/E,8EAA8E;QAC9E,uEAAuE;QACvE,8EAA8E;QAC9E,0EAA0E;QAC1E,8EAA8E;QAC9E,4EAA4E;QAC5E,+EAA+E;QAC/E,EAAE;QACF,4EAA4E;QAC5E,2EAA2E;QAC3E,0EAA0E;QAC1E,sEAAsE;QACtE,+EAA+E;QAC/E,0EAA0E;QAC1E,yEAAyE;QACzE,gEAAgE;QAChE,EAAE;QACF,+BAA+B;QAC/B,gFAAgF;QAChF,2EAA2E;QAC3E,8EAA8E;QAC9E,+EAA+E;QAC/E,6EAA6E;QAC7E,8EAA8E;QAC9E,8EAA8E;QAC9E,4EAA4E;QAC5E,mEAAmE;QACnE,+EAA+E;QAC/E,8EAA8E;QAC9E,8EAA8E;QAC9E,6EAA6E;QAC7E,2EAA2E;QAC3E,2EAA2E;QAC3E,8EAA8E;QAC9E,+EAA+E;QAC/E,gFAAgF;QAChF,iFAAiF;QACjF,8EAA8E;QAC9E,2EAA2E;QAC3E,8EAA8E;QAC9E,iFAAiF;QACjF,EAAE;QACF,8EAA8E;QAC9E,2EAA2E;QAC3E,8EAA8E;QAC9E,8EAA8E;QAC9E,6EAA6E;QAC7E,8EAA8E;QAC9E,gFAAgF;QAChF,EAAE;QACF,6EAA6E;QAC7E,4EAA4E;QAC5E,0EAA0E;QAC1E,8EAA8E;QAC9E,2EAA2E;QAC3E,6DAA6D;QAC7D,EAAE;KACH,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,2BAA2B;IACzC,OAAO;QACL,gCAAgC;QAChC,EAAE;QACF,8EAA8E;QAC9E,wEAAwE;QACxE,EAAE;QACF,kDAAkD;QAClD,mEAAmE;QACnE,yEAAyE;QACzE,4EAA4E;QAC5E,mDAAmD;QACnD,EAAE;QACF,oFAAoF;QACpF,gFAAgF;QAChF,EAAE;KACH,CAAC;AACJ,CAAC"}

package/dist/prompt-sections/shared.d.ts

@@ -34,6 +34,14 @@ export interface FocusTeamPromptContext {
      * orienting the team to "fix flagged defects, do not expand scope".
      */
     reviewFiledOpenCount?: number;
+    /**
+     * True when the prompt is composed for a review-lineage pass. Together with a
+     * non-zero reviewFiledOpenCount this decides which framework the spawn
+     * composes: a review pass and a team answering review findings are NOT handed
+     * the scoping mandate / rescoping / new-work-delivery sections (no delivery is
+     * created in answer to a review finding). Absent = coding/scoping pass.
+     */
+    isReviewPass?: boolean;
     /**
      * Focus.description -- the focus statement that serves as the implicit
      * apex of the reality tree. Surfaced to the close_loop stage agent as

package/dist/prompt-sections/shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/prompt-sections/shared.ts"],"names":[],"mappings":"AAKA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,cAAc,EACf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAChF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAEhE,MAAM,WAAW,gCAAgC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,iBAAiB,EAAE,CAAC;IAChC,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,eAAe,EAAE,oBAAoB,CAAC;IACtC,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;IACtC,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,CAAC;IACzC,yBAAyB,CAAC,EAAE,gCAAgC,GAAG,IAAI,CAAC;IACpE,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAC7C;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC;CAC5B;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACtC,gFAAgF;IAChF,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,eAAe,EAAE,MAAM,CAAC;IACxB,yEAAyE;IACzE,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,uBAAuB,CAyB7F"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/prompt-sections/shared.ts"],"names":[],"mappings":"AAKA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,cAAc,EACf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAChF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAEhE,MAAM,WAAW,gCAAgC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,iBAAiB,EAAE,CAAC;IAChC,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,eAAe,EAAE,oBAAoB,CAAC;IACtC,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;IACtC,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,CAAC;IACzC,yBAAyB,CAAC,EAAE,gCAAgC,GAAG,IAAI,CAAC;IACpE,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,oBAAoB,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAC7C;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC;CAC5B;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACtC,gFAAgF;IAChF,SAAS,EAAE,MAAM,CAAC;IAClB,wDAAwD;IACxD,eAAe,EAAE,MAAM,CAAC;IACxB,yEAAyE;IACzE,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,uBAAuB,CAyB7F"}

package/dist/prompt-sections/shared.js.map

@@ -1 +1 @@
-{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../src/prompt-sections/shared.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,sEAAsE;AACtE,gBAAgB;AAgGhB,MAAM,UAAU,uBAAuB,CAAC,QAA4B;IAClE,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QACzB,OAAO;YACL,SAAS,EAAE,uFAAuF;YAClG,eAAe,EACb,mFAAmF;gBACnF,iCAAiC;YACnC,MAAM,EAAE;gBACN,EAAE;gBACF,6CAA6C;gBAC7C,8EAA8E;gBAC9E,gFAAgF;gBAChF,gFAAgF;gBAChF,uBAAuB;aACxB;SACF,CAAC;IACJ,CAAC;IACD,iEAAiE;IACjE,OAAO;QACL,SAAS,EAAE,gEAAgE;QAC3E,eAAe,EACb,0EAA0E;YAC1E,iCAAiC;QACnC,MAAM,EAAE,EAAE;KACX,CAAC;AACJ,CAAC"}
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../src/prompt-sections/shared.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,sEAAsE;AACtE,gBAAgB;AAwGhB,MAAM,UAAU,uBAAuB,CAAC,QAA4B;IAClE,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QACzB,OAAO;YACL,SAAS,EAAE,uFAAuF;YAClG,eAAe,EACb,mFAAmF;gBACnF,iCAAiC;YACnC,MAAM,EAAE;gBACN,EAAE;gBACF,6CAA6C;gBAC7C,8EAA8E;gBAC9E,gFAAgF;gBAChF,gFAAgF;gBAChF,uBAAuB;aACxB;SACF,CAAC;IACJ,CAAC;IACD,iEAAiE;IACjE,OAAO;QACL,SAAS,EAAE,gEAAgE;QAC3E,eAAe,EACb,0EAA0E;YAC1E,iCAAiC;QACnC,MAAM,EAAE,EAAE;KACX,CAAC;AACJ,CAAC"}

package/dist/queries/delivery-gate-state.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 33 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/queries/delivery-gate-state.ts
+// Pinned by: 34 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/queries/delivery-gate-state.ts
 // PINNED-BY-END
 /**
  * The shape of `org_nodes.gate_state` on a delivery row, plus the per-origin

package/dist/queries/focus-criteria-standing.d.ts

@@ -1,6 +1,16 @@
 /**
- * The FOCUS CRITERIA STANDING read: which of a focus's DECLARED acceptance
- * criteria its current deliveries address, and which remain open.
+ * The FOCUS CRITERIA STANDING read: what a focus is FOR, and where each part of
+ * it stands. Two statements, both carried: the futures of the undesired effects
+ * its ARM covers (met only when verify recorded the future as landed), and the
+ * focus's OWN declared acceptance criteria (addressed when a current delivery
+ * declares one).
+ *
+ * EVERY ENUM HERE IS A DEPLOY-ORDER CONTRACT. The schemas are `.passthrough()`,
+ * so a field the edge adds costs nothing -- but an enum VALUE the edge adds and
+ * this daemon has not learned throws, and the one reader turns a throw into the
+ * explicit READ FAILED line. So the widening ships FIRST and the edge second;
+ * every optional field below is optional for the same reason, read from the
+ * other side.
  *
  * Read through the `focus_criteria_standing` product-api action
  * (handlers/focus/criteria-standing.ts), which loads the focus's own
@@ -47,10 +57,39 @@ declare const CriterionMatchSchema: z.ZodObject<{
     significantTokenCount: z.ZodNumber;
 }, z.core.$loose>;
 /**
- * One criterion and where it stands. `status` IS enumerated: rendering a
- * criterion as addressed or open is the decision this whole section carries, so
- * an unrecognized status must fail the read loudly rather than be printed as if
- * it were understood.
+ * What VERIFY recorded about a tree criterion's node -- carried out of the
+ * edge's landing predicate (`supabase/functions/_shared/effect-future-landed.ts`) verbatim.
+ *
+ * Every field here is a plain string, NOT an enum, for the same reason
+ * `matchBasis` is: the resolver only ECHOES them into prose. The met/open
+ * decision hangs on `status` above, which IS enumerated, so a new landing basis
+ * added at the edge must not cost the pass its whole standing section.
+ */
+declare const CriterionLandingSchema: z.ZodObject<{
+    standing: z.ZodString;
+    basis: z.ZodString;
+    classification: z.ZodNullable<z.ZodString>;
+    divergenceReason: z.ZodNullable<z.ZodString>;
+}, z.core.$loose>;
+/**
+ * One criterion and where it stands.
+ *
+ * `status` IS enumerated: rendering a criterion as met, addressed or open is
+ * the decision this whole section carries, so an unrecognized status must fail
+ * the read loudly rather than be printed as if it were understood. `'met'` and
+ * `'addressed'` are DIFFERENT claims and the resolver renders them as such --
+ * `'addressed'` says a delivery POINTS AT a declared criterion (scoping),
+ * `'met'` says verify RECORDED a tree criterion's declared future as landed
+ * (reality). A daemon that lacked `'met'` threw on every armed focus carrying
+ * one and rendered the READ FAILED line in place of the whole section; that is
+ * the failure this enum's width exists to prevent, and why widening it ships
+ * BEFORE the edge that emits the value.
+ *
+ * `source` and the three TREE-only fields are OPTIONAL, deliberately. The
+ * daemon deploys ahead of the edge, so for one window the edge answering this
+ * action is the older one that emits neither -- and a required field would
+ * invert the very deploy order this widening exists to honour. An absent
+ * `source` is rendered as UNSTATED rather than guessed at.
  */
 declare const CriterionStandingSchema: z.ZodObject<{
     criterion: z.ZodString;
@@ -62,11 +101,63 @@ declare const CriterionStandingSchema: z.ZodObject<{
         matchedTokens: z.ZodArray<z.ZodString>;
         significantTokenCount: z.ZodNumber;
     }, z.core.$loose>>;
+    evidence: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        deliveryId: z.ZodString;
+        deliveryName: z.ZodString;
+        matchBasis: z.ZodString;
+        overlap: z.ZodNumber;
+        matchedTokens: z.ZodArray<z.ZodString>;
+        significantTokenCount: z.ZodNumber;
+    }, z.core.$loose>>>;
+    source: z.ZodOptional<z.ZodEnum<{
+        declared: "declared";
+        tree: "tree";
+    }>>;
+    nodeId: z.ZodOptional<z.ZodString>;
+    seq: z.ZodOptional<z.ZodNumber>;
+    drafted: z.ZodOptional<z.ZodBoolean>;
+    landing: z.ZodOptional<z.ZodObject<{
+        standing: z.ZodString;
+        basis: z.ZodString;
+        classification: z.ZodNullable<z.ZodString>;
+        divergenceReason: z.ZodNullable<z.ZodString>;
+    }, z.core.$loose>>;
     status: z.ZodEnum<{
         open: "open";
         addressed: "addressed";
+        met: "met";
     }>;
 }, z.core.$loose>;
+/**
+ * A covered undesired effect that states NO future. On an un-armed focus this
+ * is exactly what the arm would REFUSE on, named by the same `seq` the refusal
+ * message names -- which is the whole value of the un-armed preview.
+ */
+declare const UnstatedCoveredEffectSchema: z.ZodObject<{
+    nodeId: z.ZodString;
+    seq: z.ZodNumber;
+    statement: z.ZodString;
+}, z.core.$loose>;
+/** A covered undesired effect whose future is only a MACHINE DRAFT. */
+declare const DraftedCoveredEffectSchema: z.ZodObject<{
+    nodeId: z.ZodString;
+    seq: z.ZodNumber;
+    draft: z.ZodString;
+}, z.core.$loose>;
+/**
+ * The bounds the edge's TREE scans applied. OPTIONAL for the same reason
+ * `deliveryScan` is, and reported for a sharper reason: a truncated NODE scan
+ * can only move a criterion toward open, but a truncated EDGE scan SHRINKS a
+ * live-derived bar, so a caller must never be left to assume it saw the whole
+ * tree.
+ */
+declare const TreeScanSchema: z.ZodObject<{
+    limit: z.ZodNumber;
+    injections: z.ZodNumber;
+    edges: z.ZodNumber;
+    nodes: z.ZodNumber;
+    truncated: z.ZodBoolean;
+}, z.core.$loose>;
 /**
  * The bounds the edge's delivery scan applied. OPTIONAL on purpose: if a future
  * edge stops reporting it, the standing itself is still usable and the resolver
@@ -78,6 +169,8 @@ declare const DeliveryScanSchema: z.ZodObject<{
     scanned: z.ZodNumber;
     evaluated: z.ZodNumber;
     truncated: z.ZodBoolean;
+    anchors: z.ZodOptional<z.ZodNumber>;
+    anchorsTruncated: z.ZodOptional<z.ZodBoolean>;
 }, z.core.$loose>;
 /**
  * The standing. `floorBasis` is enumerated deliberately: `no_criteria_declared`
@@ -85,6 +178,17 @@ declare const DeliveryScanSchema: z.ZodObject<{
  * the entire point of the read. A basis this daemon cannot interpret must throw
  * -- rendering an unknown basis would be guessing at exactly the value that
  * decides whether the elaboration loop stops.
+ *
+ * `derived_live_unarmed` is the fourth member and a FIFTH situation: the tree
+ * half is a PREVIEW of the bar an arm would stamp, so there is no stamped bar
+ * to have reached. It is neither a floor nor a missed floor, and the resolver
+ * renders it as its own line.
+ *
+ * `treeBasis` is enumerated for the same reason -- it answers "whose statement
+ * of the bar am I reading", and an un-armed PREVIEW must never be rendered as
+ * the arm's own stamp -- but it is OPTIONAL: an edge predating the tree half
+ * reports none, and the resolver says the tree half was not reported rather
+ * than inventing one.
  */
 export declare const FocusCriteriaStandingSchema: z.ZodObject<{
     focusId: z.ZodString;
@@ -98,9 +202,31 @@ export declare const FocusCriteriaStandingSchema: z.ZodObject<{
             matchedTokens: z.ZodArray<z.ZodString>;
             significantTokenCount: z.ZodNumber;
         }, z.core.$loose>>;
+        evidence: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            deliveryId: z.ZodString;
+            deliveryName: z.ZodString;
+            matchBasis: z.ZodString;
+            overlap: z.ZodNumber;
+            matchedTokens: z.ZodArray<z.ZodString>;
+            significantTokenCount: z.ZodNumber;
+        }, z.core.$loose>>>;
+        source: z.ZodOptional<z.ZodEnum<{
+            declared: "declared";
+            tree: "tree";
+        }>>;
+        nodeId: z.ZodOptional<z.ZodString>;
+        seq: z.ZodOptional<z.ZodNumber>;
+        drafted: z.ZodOptional<z.ZodBoolean>;
+        landing: z.ZodOptional<z.ZodObject<{
+            standing: z.ZodString;
+            basis: z.ZodString;
+            classification: z.ZodNullable<z.ZodString>;
+            divergenceReason: z.ZodNullable<z.ZodString>;
+        }, z.core.$loose>>;
         status: z.ZodEnum<{
             open: "open";
             addressed: "addressed";
+            met: "met";
         }>;
     }, z.core.$loose>>;
     floorReached: z.ZodBoolean;
@@ -108,21 +234,58 @@ export declare const FocusCriteriaStandingSchema: z.ZodObject<{
         all_criteria_addressed: "all_criteria_addressed";
         open_criteria_remain: "open_criteria_remain";
         no_criteria_declared: "no_criteria_declared";
+        derived_live_unarmed: "derived_live_unarmed";
+        derived_live_incomplete: "derived_live_incomplete";
     }>;
+    treeBasis: z.ZodOptional<z.ZodEnum<{
+        none: "none";
+        derived_live_unarmed: "derived_live_unarmed";
+        armed_stamp: "armed_stamp";
+        derived_live_unstamped_arm: "derived_live_unstamped_arm";
+    }>>;
+    unstatedCoveredEffects: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        nodeId: z.ZodString;
+        seq: z.ZodNumber;
+        statement: z.ZodString;
+    }, z.core.$loose>>>;
+    draftedCoveredEffects: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        nodeId: z.ZodString;
+        seq: z.ZodNumber;
+        draft: z.ZodString;
+    }, z.core.$loose>>>;
+    treeCoverageIncomplete: z.ZodOptional<z.ZodBoolean>;
+    armWouldRefuseNoEffect: z.ZodOptional<z.ZodBoolean>;
     openCriteria: z.ZodArray<z.ZodString>;
     deliveryScan: z.ZodOptional<z.ZodObject<{
         limit: z.ZodNumber;
         scanned: z.ZodNumber;
         evaluated: z.ZodNumber;
         truncated: z.ZodBoolean;
+        anchors: z.ZodOptional<z.ZodNumber>;
+        anchorsTruncated: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$loose>>;
+    treeScan: z.ZodOptional<z.ZodObject<{
+        limit: z.ZodNumber;
+        injections: z.ZodNumber;
+        edges: z.ZodNumber;
+        nodes: z.ZodNumber;
+        truncated: z.ZodBoolean;
     }, z.core.$loose>>;
 }, z.core.$loose>;
 /** One delivery's claim on one criterion, with its evidence. */
 export type CriterionMatch = z.infer<typeof CriterionMatchSchema>;
-/** One declared criterion and its standing. */
+/** One criterion -- tree or declared -- and its standing. */
 export type CriterionStanding = z.infer<typeof CriterionStandingSchema>;
+/** What verify recorded about a tree criterion's node. */
+export type CriterionLanding = z.infer<typeof CriterionLandingSchema>;
+/** A covered undesired effect stating no future -- what an arm would refuse on. */
+export type UnstatedCoveredEffect = z.infer<typeof UnstatedCoveredEffectSchema>;
+/** A covered undesired effect whose stated future is a machine draft. */
+export type DraftedCoveredEffect = z.infer<typeof DraftedCoveredEffectSchema>;
 /** The bounds the edge's delivery scan applied, when it reported them. */
 export type CriteriaDeliveryScan = z.infer<typeof DeliveryScanSchema>;
+/** The bounds the edge's tree scans applied, when it reported them. */
+export type CriteriaTreeScan = z.infer<typeof TreeScanSchema>;
 /** A focus's declared criteria measured against its current deliveries. */
 export type FocusCriteriaStanding = z.infer<typeof FocusCriteriaStandingSchema>;
 /** Injectable API seam (a test passes a fake validated caller; no mock.module). */

package/dist/queries/focus-criteria-standing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"focus-criteria-standing.d.ts","sourceRoot":"","sources":["../../src/queries/focus-criteria-standing.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,wEAAwE;AACxE,eAAO,MAAM,8BAA8B,4BAA4B,CAAC;AAExE;;;;;;;GAOG;AACH,QAAA,MAAM,oBAAoB;;;;;;;iBAOV,CAAC;AAEjB;;;;;GAKG;AACH,QAAA,MAAM,uBAAuB;;;;;;;;;;;;;;iBAIb,CAAC;AAEjB;;;;;GAKG;AACH,QAAA,MAAM,kBAAkB;;;;;iBAKR,CAAC;AAEjB;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAOxB,CAAC;AAEjB,gEAAgE;AAChE,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,+CAA+C;AAC/C,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,0EAA0E;AAC1E,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEtE,2EAA2E;AAC3E,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,mFAAmF;AACnF,MAAM,WAAW,8BAA8B;IAC7C,gBAAgB,CAAC,EAAE,OAAO,gBAAgB,CAAC;CAC5C;AAED;;;GAGG;AACH,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,MAAM,EACf,IAAI,GAAE,8BAAmC,GACxC,OAAO,CAAC,qBAAqB,CAAC,CAGhC"}
+{"version":3,"file":"focus-criteria-standing.d.ts","sourceRoot":"","sources":["../../src/queries/focus-criteria-standing.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,wEAAwE;AACxE,eAAO,MAAM,8BAA8B,4BAA4B,CAAC;AAExE;;;;;;;GAOG;AACH,QAAA,MAAM,oBAAoB;;;;;;;iBAOV,CAAC;AAEjB;;;;;;;;GAQG;AACH,QAAA,MAAM,sBAAsB;;;;;iBAKZ,CAAC;AAEjB;;;;;;;;;;;;;;;;;;;GAmBG;AACH,QAAA,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAgBb,CAAC;AAEjB;;;;GAIG;AACH,QAAA,MAAM,2BAA2B;;;;iBAIjB,CAAC;AAEjB,uEAAuE;AACvE,QAAA,MAAM,0BAA0B;;;;iBAIhB,CAAC;AAEjB;;;;;;GAMG;AACH,QAAA,MAAM,cAAc;;;;;;iBAMJ,CAAC;AAEjB;;;;;GAKG;AACH,QAAA,MAAM,kBAAkB;;;;;;;iBAmBR,CAAC;AAEjB;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAoCxB,CAAC;AAEjB,gEAAgE;AAChE,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,6DAA6D;AAC7D,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAExE,0DAA0D;AAC1D,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,mFAAmF;AACnF,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,yEAAyE;AACzE,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,0EAA0E;AAC1E,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEtE,uEAAuE;AACvE,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAE9D,2EAA2E;AAC3E,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,mFAAmF;AACnF,MAAM,WAAW,8BAA8B;IAC7C,gBAAgB,CAAC,EAAE,OAAO,gBAAgB,CAAC;CAC5C;AAED;;;GAGG;AACH,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,MAAM,EACf,IAAI,GAAE,8BAAmC,GACxC,OAAO,CAAC,qBAAqB,CAAC,CAGhC"}

package/dist/queries/focus-criteria-standing.js

@@ -2,8 +2,18 @@
 // Pinned by: packages/daemon/src/resolvers/focus-criteria-standing.test.ts
 // PINNED-BY-END
 /**
- * The FOCUS CRITERIA STANDING read: which of a focus's DECLARED acceptance
- * criteria its current deliveries address, and which remain open.
+ * The FOCUS CRITERIA STANDING read: what a focus is FOR, and where each part of
+ * it stands. Two statements, both carried: the futures of the undesired effects
+ * its ARM covers (met only when verify recorded the future as landed), and the
+ * focus's OWN declared acceptance criteria (addressed when a current delivery
+ * declares one).
+ *
+ * EVERY ENUM HERE IS A DEPLOY-ORDER CONTRACT. The schemas are `.passthrough()`,
+ * so a field the edge adds costs nothing -- but an enum VALUE the edge adds and
+ * this daemon has not learned throws, and the one reader turns a throw into the
+ * explicit READ FAILED line. So the widening ships FIRST and the edge second;
+ * every optional field below is optional for the same reason, read from the
+ * other side.
  *
  * Read through the `focus_criteria_standing` product-api action
  * (handlers/focus/criteria-standing.ts), which loads the focus's own
@@ -50,15 +60,86 @@ const CriterionMatchSchema = z.object({
     significantTokenCount: z.number(),
 }).passthrough();
 /**
- * One criterion and where it stands. `status` IS enumerated: rendering a
- * criterion as addressed or open is the decision this whole section carries, so
- * an unrecognized status must fail the read loudly rather than be printed as if
- * it were understood.
+ * What VERIFY recorded about a tree criterion's node -- carried out of the
+ * edge's landing predicate (`supabase/functions/_shared/effect-future-landed.ts`) verbatim.
+ *
+ * Every field here is a plain string, NOT an enum, for the same reason
+ * `matchBasis` is: the resolver only ECHOES them into prose. The met/open
+ * decision hangs on `status` above, which IS enumerated, so a new landing basis
+ * added at the edge must not cost the pass its whole standing section.
+ */
+const CriterionLandingSchema = z.object({
+    standing: z.string(),
+    basis: z.string(),
+    classification: z.string().nullable(),
+    divergenceReason: z.string().nullable(),
+}).passthrough();
+/**
+ * One criterion and where it stands.
+ *
+ * `status` IS enumerated: rendering a criterion as met, addressed or open is
+ * the decision this whole section carries, so an unrecognized status must fail
+ * the read loudly rather than be printed as if it were understood. `'met'` and
+ * `'addressed'` are DIFFERENT claims and the resolver renders them as such --
+ * `'addressed'` says a delivery POINTS AT a declared criterion (scoping),
+ * `'met'` says verify RECORDED a tree criterion's declared future as landed
+ * (reality). A daemon that lacked `'met'` threw on every armed focus carrying
+ * one and rendered the READ FAILED line in place of the whole section; that is
+ * the failure this enum's width exists to prevent, and why widening it ships
+ * BEFORE the edge that emits the value.
+ *
+ * `source` and the three TREE-only fields are OPTIONAL, deliberately. The
+ * daemon deploys ahead of the edge, so for one window the edge answering this
+ * action is the older one that emits neither -- and a required field would
+ * invert the very deploy order this widening exists to honour. An absent
+ * `source` is rendered as UNSTATED rather than guessed at.
  */
 const CriterionStandingSchema = z.object({
     criterion: z.string(),
     addressedBy: z.array(CriterionMatchSchema),
-    status: z.enum(['addressed', 'open']),
+    /** Weak, NON-CLOSING signals. Absent on an edge predating the field. */
+    evidence: z.array(CriterionMatchSchema).optional(),
+    /** WHICH statement this came from, and therefore which rule judged it. */
+    source: z.enum(['tree', 'declared']).optional(),
+    /** TREE only: `reality_tree_nodes.id` of the covered undesired effect. */
+    nodeId: z.string().optional(),
+    /** TREE only: `reality_tree_nodes.seq` -- how a human names the node. */
+    seq: z.number().optional(),
+    /** TREE only: a MACHINE wrote this future and a human accepted it by arming. */
+    drafted: z.boolean().optional(),
+    /** TREE only: what verify recorded about the node. See the schema. */
+    landing: CriterionLandingSchema.optional(),
+    status: z.enum(['addressed', 'met', 'open']),
+}).passthrough();
+/**
+ * A covered undesired effect that states NO future. On an un-armed focus this
+ * is exactly what the arm would REFUSE on, named by the same `seq` the refusal
+ * message names -- which is the whole value of the un-armed preview.
+ */
+const UnstatedCoveredEffectSchema = z.object({
+    nodeId: z.string(),
+    seq: z.number(),
+    statement: z.string(),
+}).passthrough();
+/** A covered undesired effect whose future is only a MACHINE DRAFT. */
+const DraftedCoveredEffectSchema = z.object({
+    nodeId: z.string(),
+    seq: z.number(),
+    draft: z.string(),
+}).passthrough();
+/**
+ * The bounds the edge's TREE scans applied. OPTIONAL for the same reason
+ * `deliveryScan` is, and reported for a sharper reason: a truncated NODE scan
+ * can only move a criterion toward open, but a truncated EDGE scan SHRINKS a
+ * live-derived bar, so a caller must never be left to assume it saw the whole
+ * tree.
+ */
+const TreeScanSchema = z.object({
+    limit: z.number(),
+    injections: z.number(),
+    edges: z.number(),
+    nodes: z.number(),
+    truncated: z.boolean(),
 }).passthrough();
 /**
  * The bounds the edge's delivery scan applied. OPTIONAL on purpose: if a future
@@ -71,6 +152,20 @@ const DeliveryScanSchema = z.object({
     scanned: z.number(),
     evaluated: z.number(),
     truncated: z.boolean(),
+    /**
+     * Injection anchors the TREE half was derived over. OPTIONAL: the edge that
+     * resolves anchors separately from the bounded delivery rows ships AFTER
+     * this daemon, so for one window the answer carries neither this nor
+     * `anchorsTruncated`.
+     */
+    anchors: z.number().optional(),
+    /**
+     * True when the separate anchor read hit its own bound -- the only case in
+     * which a truncated delivery scan still shortens the tree half. Absent means
+     * the edge did not resolve anchors separately, which the resolver reports as
+     * the weaker reading rather than as "the tree half is whole".
+     */
+    anchorsTruncated: z.boolean().optional(),
 }).passthrough();
 /**
  * The standing. `floorBasis` is enumerated deliberately: `no_criteria_declared`
@@ -78,14 +173,54 @@ const DeliveryScanSchema = z.object({
  * the entire point of the read. A basis this daemon cannot interpret must throw
  * -- rendering an unknown basis would be guessing at exactly the value that
  * decides whether the elaboration loop stops.
+ *
+ * `derived_live_unarmed` is the fourth member and a FIFTH situation: the tree
+ * half is a PREVIEW of the bar an arm would stamp, so there is no stamped bar
+ * to have reached. It is neither a floor nor a missed floor, and the resolver
+ * renders it as its own line.
+ *
+ * `treeBasis` is enumerated for the same reason -- it answers "whose statement
+ * of the bar am I reading", and an un-armed PREVIEW must never be rendered as
+ * the arm's own stamp -- but it is OPTIONAL: an edge predating the tree half
+ * reports none, and the resolver says the tree half was not reported rather
+ * than inventing one.
  */
 export const FocusCriteriaStandingSchema = z.object({
     focusId: z.string(),
     criteria: z.array(CriterionStandingSchema),
     floorReached: z.boolean(),
-    floorBasis: z.enum(['all_criteria_addressed', 'open_criteria_remain', 'no_criteria_declared']),
+    floorBasis: z.enum([
+        'all_criteria_addressed',
+        'open_criteria_remain',
+        'no_criteria_declared',
+        'derived_live_unarmed',
+        // The FIFTH member: a live derivation over coverage the edge could not
+        // fully resolve. Learned here BEFORE the edge can emit it -- that is the
+        // whole deploy-order contract this schema's header states, and an enum
+        // value is exactly the kind of widening that must ship first.
+        'derived_live_incomplete',
+    ]),
+    treeBasis: z
+        .enum(['armed_stamp', 'derived_live_unstamped_arm', 'derived_live_unarmed', 'none'])
+        .optional(),
+    unstatedCoveredEffects: z.array(UnstatedCoveredEffectSchema).optional(),
+    draftedCoveredEffects: z.array(DraftedCoveredEffectSchema).optional(),
+    /**
+     * True when the tree half was derived LIVE over coverage the edge could not
+     * fully resolve, so a criterion may be MISSING from the list entirely.
+     * OPTIONAL for the deploy order: the edge that computes it ships after this
+     * daemon, and an absent flag means the older edge, not "the bar is whole".
+     */
+    treeCoverageIncomplete: z.boolean().optional(),
+    /**
+     * True when a live derivation walked real coverage and found no judgeable
+     * undesired effect in it -- the `arm_criteria_required` refusal an arm would
+     * raise right now. OPTIONAL for the same deploy-order reason.
+     */
+    armWouldRefuseNoEffect: z.boolean().optional(),
     openCriteria: z.array(z.string()),
     deliveryScan: DeliveryScanSchema.optional(),
+    treeScan: TreeScanSchema.optional(),
 }).passthrough();
 /**
  * Read a focus's criteria standing. Throws on a failed or malformed read --

package/dist/queries/focus-criteria-standing.js.map

@@ -1 +1 @@
-{"version":3,"file":"focus-criteria-standing.js","sourceRoot":"","sources":["../../src/queries/focus-criteria-standing.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,wEAAwE;AACxE,MAAM,CAAC,MAAM,8BAA8B,GAAG,yBAAyB,CAAC;AAExE;;;;;;;GAOG;AACH,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAClC,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE;CAClC,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;;GAKG;AACH,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAC1C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;CACtC,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;CACvB,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;IAC1C,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE;IACzB,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,wBAAwB,EAAE,sBAAsB,EAAE,sBAAsB,CAAC,CAAC;IAC9F,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,YAAY,EAAE,kBAAkB,CAAC,QAAQ,EAAE;CAC5C,CAAC,CAAC,WAAW,EAAE,CAAC;AAmBjB;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,OAAe,EACf,OAAuC,EAAE;IAEzC,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,IAAI,gBAAgB,CAAC;IACvD,OAAO,IAAI,CAAC,8BAA8B,EAAE,2BAA2B,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;AACxF,CAAC"}
+{"version":3,"file":"focus-criteria-standing.js","sourceRoot":"","sources":["../../src/queries/focus-criteria-standing.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,wEAAwE;AACxE,MAAM,CAAC,MAAM,8BAA8B,GAAG,yBAAyB,CAAC;AAExE;;;;;;;GAOG;AACH,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAClC,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE;CAClC,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;;;;;GAQG;AACH,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrC,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACxC,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAC1C,wEAAwE;IACxE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,QAAQ,EAAE;IAClD,0EAA0E;IAC1E,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC/C,0EAA0E;IAC1E,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,yEAAyE;IACzE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC1B,gFAAgF;IAChF,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC/B,sEAAsE;IACtE,OAAO,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IAC1C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;CAC7C,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;GAIG;AACH,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;CACtB,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB,uEAAuE;AACvE,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;CAClB,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;CACvB,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;IACtB;;;;;OAKG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B;;;;;OAKG;IACH,gBAAgB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CACzC,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC;IAC1C,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE;IACzB,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC;QACjB,wBAAwB;QACxB,sBAAsB;QACtB,sBAAsB;QACtB,sBAAsB;QACtB,uEAAuE;QACvE,yEAAyE;QACzE,uEAAuE;QACvE,8DAA8D;QAC9D,yBAAyB;KAC1B,CAAC;IACF,SAAS,EAAE,CAAC;SACT,IAAI,CAAC,CAAC,aAAa,EAAE,4BAA4B,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;SACnF,QAAQ,EAAE;IACb,sBAAsB,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,QAAQ,EAAE;IACvE,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,QAAQ,EAAE;IACrE;;;;;OAKG;IACH,sBAAsB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC9C;;;;OAIG;IACH,sBAAsB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC9C,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,YAAY,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC3C,QAAQ,EAAE,cAAc,CAAC,QAAQ,EAAE;CACpC,CAAC,CAAC,WAAW,EAAE,CAAC;AA+BjB;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,OAAe,EACf,OAAuC,EAAE;IAEzC,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,IAAI,gBAAgB,CAAC;IACvD,OAAO,IAAI,CAAC,8BAA8B,EAAE,2BAA2B,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;AACxF,CAAC"}