@telora/daemon 0.22.293 → 0.23.0

package/dist/focus-stage-lifecycle/ratify-bar-gate.js

@@ -37,9 +37,10 @@ export function renderRatifyBarRefusalArtifact(args, since) {
         '',
         '## What clears it',
         '',
-        'Anchor the remediation delivery to an injection that targets an undesired effect,',
-        'and give every covered undesired effect an frt_statement -- the future the world',
-        'reads as once the remediation has landed.',
+        'Aim the remediation delivery\'s injection at the causes that sustain an undesired',
+        'effect (the effect is covered once every sustaining cause is targeted), and give',
+        'every covered undesired effect an frt_statement -- the future the world reads as',
+        'once the remediation has landed.',
     ].join('\n');
 }
 /** Record the held crossing. NEVER throws (see `recordArmRefusalSection`). */

package/dist/focus-stage-lifecycle/ratify-bar-gate.js.map

@@ -1 +1 @@
-{"version":3,"file":"ratify-bar-gate.js","sourceRoot":"","sources":["../../src/focus-stage-lifecycle/ratify-bar-gate.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,+EAA+E;AAC/E,gBAAgB;AAmDhB,OAAO,EACL,4BAA4B,EAC5B,oBAAoB,EACpB,kBAAkB,GAGnB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAE5D,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC,CAAC;AAoB9D;;;;;;;GAOG;AACH,MAAM,UAAU,8BAA8B,CAC5C,IAOC,EACD,KAAa;IAEb,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,GAAG,IAAI,CAAC;IAC3E,OAAO;QACL,+EAA+E;QAC/E,EAAE;QACF,kFAAkF;QAClF,iFAAiF;QACjF,iFAAiF;QACjF,oEAAoE;QACpE,EAAE;QACF,8EAA8E;QAC9E,6DAA6D;QAC7D,EAAE;QACF,GAAG,oBAAoB,GAAG,KAAK,EAAE;QACjC,cAAc,UAAU,EAAE;QAC1B,UAAU,SAAS,KAAK,OAAO,GAAG;QAClC,YAAY,iBAAiB,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,uCAAuC,EAAE;QAC3G,EAAE;QACF,0BAA0B;QAC1B,EAAE;QACF,MAAM;QACN,EAAE;QACF,mBAAmB;QACnB,EAAE;QACF,mFAAmF;QACnF,kFAAkF;QAClF,2CAA2C;KAC5C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,KAAK,UAAU,sBAAsB,CACnC,KAAqB,EACrB,MAAc,EACd,iBAA0B,EAC1B,IAAuB;IAEvB,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;IAC5C,MAAM,IAAI,CAAC,uBAAuB,CAAC;QACjC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU;QACV,MAAM;QACN,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,8BAA8B,CAC5B,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAC7F,KAAK,CACN;KACJ,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,KAAqB,EACrB,IAAuB;IAEvB,IAAI,QAAQ,GAA4B,IAAI,CAAC;IAC7C,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,yEAAyE;QACzE,2DAA2D;QAC3D,SAAS,GAAI,GAAa,CAAC,OAAO,CAAC;IACrC,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,iBAAiB,EAAE;QACxC,WAAW,EAAE,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,QAAQ;QACnD,UAAU,EAAE,QAAQ,EAAE,UAAU,KAAK,IAAI;KAC1C,CAAC,CAAC;IACH,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,4EAA4E;QAC5E,MAAM,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,GAAG,CAAC,IAAI,CACN,mEAAmE,KAAK,CAAC,SAAS,IAAI;YACtF,iBAAiB,SAAS,0BAA0B,CACrD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACvB,GAAG,CAAC,IAAI,CACN,oDAAoD,KAAK,CAAC,SAAS,OAAO;YAC1E,GAAG,QAAQ,CAAC,MAAM,uBAAuB,CAC1C,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,GAAG,CAAC,IAAI,CACN,qDAAqD,KAAK,CAAC,SAAS,OAAO;QAC3E,GAAG,QAAQ,CAAC,MAAM,6DAA6D;QAC/E,8CAA8C,CAC/C,CAAC;IACF,MAAM,sBAAsB,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAAqB,EACrB,GAAY,EACZ,IAAuB;IAEvB,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,SAAS,GACb,OAAO,CAAC,IAAI,KAAK,mBAAmB;QACpC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC;IACxD,GAAG,CAAC,IAAI,CACN,qEAAqE;QACrE,IAAI,KAAK,CAAC,SAAS,+DAA+D;QAClF,GAAG,OAAO,CAAC,MAAM,EAAE,CACpB,CAAC;IACF,IAAI,CAAC,SAAS;QAAE,OAAO;IACvB,MAAM,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAClE,CAAC"}
+{"version":3,"file":"ratify-bar-gate.js","sourceRoot":"","sources":["../../src/focus-stage-lifecycle/ratify-bar-gate.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,+EAA+E;AAC/E,gBAAgB;AAmDhB,OAAO,EACL,4BAA4B,EAC5B,oBAAoB,EACpB,kBAAkB,GAGnB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAE5D,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC,CAAC;AAoB9D;;;;;;;GAOG;AACH,MAAM,UAAU,8BAA8B,CAC5C,IAOC,EACD,KAAa;IAEb,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,GAAG,IAAI,CAAC;IAC3E,OAAO;QACL,+EAA+E;QAC/E,EAAE;QACF,kFAAkF;QAClF,iFAAiF;QACjF,iFAAiF;QACjF,oEAAoE;QACpE,EAAE;QACF,8EAA8E;QAC9E,6DAA6D;QAC7D,EAAE;QACF,GAAG,oBAAoB,GAAG,KAAK,EAAE;QACjC,cAAc,UAAU,EAAE;QAC1B,UAAU,SAAS,KAAK,OAAO,GAAG;QAClC,YAAY,iBAAiB,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,uCAAuC,EAAE;QAC3G,EAAE;QACF,0BAA0B;QAC1B,EAAE;QACF,MAAM;QACN,EAAE;QACF,mBAAmB;QACnB,EAAE;QACF,mFAAmF;QACnF,kFAAkF;QAClF,kFAAkF;QAClF,kCAAkC;KACnC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,KAAK,UAAU,sBAAsB,CACnC,KAAqB,EACrB,MAAc,EACd,iBAA0B,EAC1B,IAAuB;IAEvB,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;IAC5C,MAAM,IAAI,CAAC,uBAAuB,CAAC;QACjC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU;QACV,MAAM;QACN,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,8BAA8B,CAC5B,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,EAC7F,KAAK,CACN;KACJ,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,KAAqB,EACrB,IAAuB;IAEvB,IAAI,QAAQ,GAA4B,IAAI,CAAC;IAC7C,IAAI,SAAS,GAAkB,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,yEAAyE;QACzE,2DAA2D;QAC3D,SAAS,GAAI,GAAa,CAAC,OAAO,CAAC;IACrC,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,iBAAiB,EAAE;QACxC,WAAW,EAAE,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,QAAQ;QACnD,UAAU,EAAE,QAAQ,EAAE,UAAU,KAAK,IAAI;KAC1C,CAAC,CAAC;IACH,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,4EAA4E;QAC5E,MAAM,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,GAAG,CAAC,IAAI,CACN,mEAAmE,KAAK,CAAC,SAAS,IAAI;YACtF,iBAAiB,SAAS,0BAA0B,CACrD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACvB,GAAG,CAAC,IAAI,CACN,oDAAoD,KAAK,CAAC,SAAS,OAAO;YAC1E,GAAG,QAAQ,CAAC,MAAM,uBAAuB,CAC1C,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,GAAG,CAAC,IAAI,CACN,qDAAqD,KAAK,CAAC,SAAS,OAAO;QAC3E,GAAG,QAAQ,CAAC,MAAM,6DAA6D;QAC/E,8CAA8C,CAC/C,CAAC;IACF,MAAM,sBAAsB,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAAqB,EACrB,GAAY,EACZ,IAAuB;IAEvB,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,SAAS,GACb,OAAO,CAAC,IAAI,KAAK,mBAAmB;QACpC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAAC;IACxD,GAAG,CAAC,IAAI,CACN,qEAAqE;QACrE,IAAI,KAAK,CAAC,SAAS,+DAA+D;QAClF,GAAG,OAAO,CAAC,MAAM,EAAE,CACpB,CAAC;IACF,IAAI,CAAC,SAAS;QAAE,OAAO;IACvB,MAAM,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAClE,CAAC"}

package/dist/nexus/intake-prompt-sections.js

@@ -82,19 +82,19 @@ export function renderScopingSteps(params) {
             `   a. Bring the observation into THIS product's terms: the requester's effect and its upstream causes become entities and undesired effects in your tree, carrying the evidence that travelled with them. You are not copying their tree; you are stating, in your product's causal terms, what produces the effect they see.`,
             `   b. Create the MIRROR of the requested undesired effect: one node whose statement is the requester's effect and which carries their evidence. This is the node the whole request is judged against, so it must exist as its own node.`,
             `   c. Wire the causes, then keep asking "and what causes THAT?" until you reach roots inside this product -- something your team can act on. The effect the requester named is a SYMPTOM in your tree; it is almost never where the injection goes.`,
-            `   d. Place your injections at the ROOTS you found. Not at the items the acceptance contract lists: those describe a future, and an injection is an act. Draw a \`targets\` edge from each injection to the node(s) it flips.`,
+            `   d. Place your injections at the ROOTS you found. Not at the items the acceptance contract lists: those describe a future, and an injection is an act. Draw a \`targets\` edge from each injection to the CAUSE(s) it changes -- never to an undesired effect: the effects your targeted causes earn follow from the causal edges.`,
             `   e. derive_frt, then read the derived cascade AGAINST the acceptance contract. The contract is the BAR -- does the future your injections produce clear it? If not, the plan is short, not the contract wrong.`,
             `   The contract tells you what must become TRUE. It does not tell you where the tree starts, which mechanism to build, or what is beyond reach.`,
         ]
         : [
-            `3. telora_reality_tree create on the focus, then author the CRT: capture the undesired effects this request implies in THIS product, wire their causes down to roots you can act on, and place injections at those roots, drawing a \`targets\` edge from each injection to the node(s) it flips. Then derive_frt and read the derived cascade against the acceptance contract as the BAR it must clear. This request carries no observation (it is endpoint-typed, or was raised before requests carried one), so the contract is all you have to judge against -- but it is still a bar on the future, never a description of the tree to build.`,
+            `3. telora_reality_tree create on the focus, then author the CRT: capture the undesired effects this request implies in THIS product, wire their causes down to roots you can act on, and place injections at those roots, drawing a \`targets\` edge from each injection to the CAUSE(s) it changes (never to an undesired effect -- the effects follow from the causal edges). Then derive_frt and read the derived cascade against the acceptance contract as the BAR it must clear. This request carries no observation (it is endpoint-typed, or was raised before requests carried one), so the contract is all you have to judge against -- but it is still a bar on the future, never a description of the tree to build.`,
         ];
     return [
         `## Steps (do these in order, verifying each with a follow-up read)`,
         `1. telora_product_focus create -- name the focus from the request title ("${title}"), productId = ${targetProductId}. The description MUST include, verbatim, the marker line "${marker}" AND the full acceptance contract above (so any follow-up team has the goal even if the tree is not yet built). Leave assignedAgentRoleId UNSET here -- the arm is the last step, not the first.`,
         `2. telora_product_request materialize -- requestId = ${requestId}, materializedFocusId = <the focus id you created>. Do this NOW, immediately after the focus exists -- BEFORE building the tree or deliveries, and long before the arm. This stamps the focus back on the request (accepted -> in_progress) so it leaves the intake-pending set and a second scoping agent can never be spawned for it. The stamp is what guarantees that -- not the arm, which has not happened yet. If your run crashes after this point, the per-request focus already exists and the normal loop finishes scoping it; if it crashed before this point, the idempotency check above reuses the focus.`,
         ...step3,
-        `   RESTATEMENT IS REQUIRED ON EVERY INJECTION TARGET: each undesired effect an injection targets MUST carry a non-blank frtStatement -- the future that node reads as once this work lands -- together with its frtNodeType (what the node becomes: desired_effect). Set both with telora_reality_tree_node update (frtStatement + frtNodeType) on EVERY target, then re-read the nodes and confirm not one of them is blank.`,
+        `   RESTATEMENT IS REQUIRED ON EVERY TARGET AND EVERY EFFECT IT EARNS: each cause an injection targets MUST carry a non-blank frtStatement -- how it works once this work lands (pass it as the target action's restatements) -- and each undesired effect those causes earn MUST carry a non-blank frtStatement too -- the future that effect reads as -- together with its frtNodeType (desired_effect). Set the effects' with telora_reality_tree_node update (frtStatement + frtNodeType), then re-read the nodes and confirm not one of them is blank. An effect is earned once every cause sustaining it is targeted.`,
         `   This is not decoration, and it is not optional. The arm in step 5 is REFUSED BY THE DATABASE when any undesired effect it covers states no future: the call fails with an "arm_criteria_required:" error that NAMES the unstated nodes, because an arm that covers an unstated effect would stamp a bar nobody wrote down. If you see that refusal, state the futures it names and issue the arm again -- do not work around it, and do not skip the arm.`,
         `4. telora_product_delivery create -- decompose the work into one or more deliveries, EACH anchored to an injection (injectionNodeId) and carrying a workFacing label ("outward" for new ground / a capability not had before, "inward" for improving existing ground). Scope deliveries by the phases the work naturally has. These MUST exist and be injection-anchored BEFORE the arm in step 5: an arm covers exactly the effects the deliveries' injections target at the instant it lands, so arming an empty or tree-less focus covers nothing and strands everything you scope afterwards at 'planning'.`,
         `   Then call telora_product_request materialize ONCE MORE with the SAME materializedFocusId, plus materializedDeliveryId = <the representative delivery id>${hasObservation ? `, plus mirroredNodeId = <the id of the mirror node you created in step 3b>` : ''}. The request is already in_progress at this point, which is fine -- materialize is idempotent for the same focus and just records the delivery the return-path loop watches to resolve this request when it reaches done.${hasObservation ? ` Recording the mirror is what lets this call check that your plan actually reaches the effect the requester observed; a plan whose injections do not flip that node is not a plan for this request.` : ''}`,

package/dist/nexus/intake-prompt-sections.js.map

@@ -1 +1 @@
-{"version":3,"file":"intake-prompt-sections.js","sourceRoot":"","sources":["../../src/nexus/intake-prompt-sections.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0FAA0F;AAC1F,gBAAgB;AAmBhB,8EAA8E;AAC9E,SAAS,UAAU,CAAC,IAA2B,EAAE,KAAa;IAC5D,MAAM,KAAK,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,QAAQ,MAAM,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAiD;IACxF,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAa;QACtB,0EAA0E;QAC1E,EAAE;QACF,4EAA4E;QAC5E,8EAA8E;QAC9E,6DAA6D;QAC7D,EAAE;QACF,GAAG,UAAU,CAAC,WAAW,CAAC,UAAU,EAAE,8CAA8C,CAAC;KACtF,CAAC;IACF,IAAI,WAAW,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,gEAAgE,WAAW,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,IAAI,WAAW,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,yDAAyD,CAAC,CAAC;QAC1E,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,cAAc;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5F,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,iFAAiF,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,EAAE,EACF,6EAA6E,EAC7E,6EAA6E,EAC7E,8BAA8B,CAC/B,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAOlC;IACC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACrF,MAAM,KAAK,GAAG,cAAc;QAC1B,CAAC,CAAC;YACE,8GAA8G;YAC9G,+TAA+T;YAC/T,yOAAyO;YACzO,qPAAqP;YACrP,+NAA+N;YAC/N,kNAAkN;YAClN,iJAAiJ;SAClJ;QACH,CAAC,CAAC;YACE,onBAAonB;SACrnB,CAAC;IAEN,OAAO;QACL,oEAAoE;QACpE,6EAA6E,KAAK,mBAAmB,eAAe,8DAA8D,MAAM,mMAAmM;QAC3X,wDAAwD,SAAS,0lBAA0lB;QAC3pB,GAAG,KAAK;QACR,+ZAA+Z;QAC/Z,8bAA8b;QAC9b,ilBAAilB;QACjlB,8JAA8J,cAAc,CAAC,CAAC,CAAC,4EAA4E,CAAC,CAAC,CAAC,EAAE,6NAA6N,cAAc,CAAC,CAAC,CAAC,qMAAqM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1rB,+DAA+D,MAAM,8oBAA8oB,SAAS,IAAI;QAChuB,EAAE;QACF,0HAA0H;KAC3H,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,SAAiB,EAAE,cAAuB;IAC5E,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,CAAC;IAC/B,OAAO;QACL,6CAA6C;QAC7C,EAAE;QACF,8EAA8E;QAC9E,gFAAgF;QAChF,0EAA0E;QAC1E,iFAAiF;QACjF,yEAAyE;QACzE,oBAAoB;QACpB,EAAE;QACF,UAAU;QACV,4DAA4D,SAAS,2BAA2B;QAChG,mFAAmF;QACnF,kDAAkD;QAClD,+EAA+E;QAC/E,8EAA8E;QAC9E,gFAAgF;QAChF,EAAE;QACF,2EAA2E;QAC3E,kFAAkF;QAClF,kFAAkF;QAClF,mFAAmF;QACnF,iFAAiF;QACjF,qFAAqF;QACrF,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
+{"version":3,"file":"intake-prompt-sections.js","sourceRoot":"","sources":["../../src/nexus/intake-prompt-sections.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0FAA0F;AAC1F,gBAAgB;AAmBhB,8EAA8E;AAC9E,SAAS,UAAU,CAAC,IAA2B,EAAE,KAAa;IAC5D,MAAM,KAAK,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,QAAQ,MAAM,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAiD;IACxF,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAa;QACtB,0EAA0E;QAC1E,EAAE;QACF,4EAA4E;QAC5E,8EAA8E;QAC9E,6DAA6D;QAC7D,EAAE;QACF,GAAG,UAAU,CAAC,WAAW,CAAC,UAAU,EAAE,8CAA8C,CAAC;KACtF,CAAC;IACF,IAAI,WAAW,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,gEAAgE,WAAW,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,IAAI,WAAW,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,yDAAyD,CAAC,CAAC;QAC1E,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,cAAc;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IAC5F,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,iFAAiF,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,EAAE,EACF,6EAA6E,EAC7E,6EAA6E,EAC7E,8BAA8B,CAC/B,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAOlC;IACC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACrF,MAAM,KAAK,GAAG,cAAc;QAC1B,CAAC,CAAC;YACE,8GAA8G;YAC9G,+TAA+T;YAC/T,yOAAyO;YACzO,qPAAqP;YACrP,sUAAsU;YACtU,kNAAkN;YAClN,iJAAiJ;SAClJ;QACH,CAAC,CAAC;YACE,ksBAAksB;SACnsB,CAAC;IAEN,OAAO;QACL,oEAAoE;QACpE,6EAA6E,KAAK,mBAAmB,eAAe,8DAA8D,MAAM,mMAAmM;QAC3X,wDAAwD,SAAS,0lBAA0lB;QAC3pB,GAAG,KAAK;QACR,4lBAA4lB;QAC5lB,8bAA8b;QAC9b,ilBAAilB;QACjlB,8JAA8J,cAAc,CAAC,CAAC,CAAC,4EAA4E,CAAC,CAAC,CAAC,EAAE,6NAA6N,cAAc,CAAC,CAAC,CAAC,qMAAqM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1rB,+DAA+D,MAAM,8oBAA8oB,SAAS,IAAI;QAChuB,EAAE;QACF,0HAA0H;KAC3H,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,SAAiB,EAAE,cAAuB;IAC5E,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,CAAC;IAC/B,OAAO;QACL,6CAA6C;QAC7C,EAAE;QACF,8EAA8E;QAC9E,gFAAgF;QAChF,0EAA0E;QAC1E,iFAAiF;QACjF,yEAAyE;QACzE,oBAAoB;QACpB,EAAE;QACF,UAAU;QACV,4DAA4D,SAAS,2BAA2B;QAChG,mFAAmF;QACnF,kDAAkD;QAClD,+EAA+E;QAC/E,8EAA8E;QAC9E,gFAAgF;QAChF,EAAE;QACF,2EAA2E;QAC3E,kFAAkF;QAClF,kFAAkF;QAClF,mFAAmF;QACnF,iFAAiF;QACjF,qFAAqF;QACrF,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

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

@@ -1,73 +1,41 @@
-/** A delivery as this check reads it. */
-export interface ArmReadinessDelivery {
-    id: string;
-    name: string;
-    /**
-     * The delivery's execution status. Nullable on the wire; a null status is
-     * NOT 'cancelled', so it counts as live -- the bar below turns on the anchor
-     * and the restatements, and a missing status must not silently drop a
-     * delivery out of the evidence.
-     */
-    executionStatus: string | null;
-    /** The injection the delivery is anchored to, or null when unanchored. */
-    injectionId: string | null;
-}
 /**
- * One effect an injection promises to flip: the node id, and the restatement
- * declared on it (`frt_statement`), or null when none was declared.
+ * "Is this focus scoped enough to arm?" -- the question the PRD controller and
+ * the ratify crossing ask BEFORE they issue a go-signal the database may refuse.
+ *
+ * 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 unscoped focus covers nothing, permanently: every
+ * delivery scoped afterwards rests at `planning` until someone arms again.
+ *
+ * ONE DEFINITION, READ -- NOT RESTATED. What an arm covers is DERIVED from the
+ * tree (docs/DECISIONS.md, "Targets mean anchoring, coverage is derived"): the
+ * undesired effects the anchored injections' targeted causes EARN over
+ * `sufficient` / `and` edges, plus any undesired effect an injection targets
+ * directly. That derivation lives once per runtime -- `deriveArmCoveredEffects`
+ * at the edge, `focus_arm_baseline_snapshot()` in the database -- and the
+ * daemon cannot import either. So this module no longer derives anything: it
+ * reads the edge's LIVE `focus_criteria_standing` preview (the tree half an
+ * arm issued now would stamp) and maps it onto the database's two refusals.
+ *
+ * THE BAR, the database's own: the covered set holds at least one undesired
+ * effect, and every covered effect states its future. `stamp_focus_arm_baseline()`
+ * refuses on exactly this at both
+ * go-signals -- the role arm, and the read_only TRUE -> FALSE ratify crossing.
+ *
+ * A PRE-CHECK, NEVER THE AUTHORITY: the trigger derives its own answer at the
+ * instant of the write, and callers still handle the refusal arriving anyway.
+ *
+ * FAIL CLOSED = DO NOT ARM. An unreadable read, or a derivation the edge
+ * reports INCOMPLETE (a scan bound bit), answers "not ready" with the reason.
+ * Arming on an unproven scope costs the human's go-signal itself.
  */
-export interface ArmReadinessTarget {
-    nodeId: string;
-    frtStatement: string | null;
-}
+import type { FocusCriteriaStanding } from '../queries/focuses/focus-criteria-standing.js';
 /** The answer, with the reason it came out that way (logged, never escalated). */
 export interface FocusArmReadiness {
     ready: boolean;
     /** Human-readable why -- goes straight into the daemon log line. */
     reason: string;
-    /** The anchored deliveries that met the bar (empty when not ready). */
-    readyDeliveryIds: string[];
 }
-/**
- * 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 declare function assessArmReadiness(deliveries: ArmReadinessDelivery[], targetsByInjectionId: Map<string, ArmReadinessTarget[]>): FocusArmReadiness;
-/**
- * The reads this check needs. Required: the production binding (the two reads
- * below) is chosen at the composition root (composition/runtime-contexts.ts,
- * `armReadiness`); tests hand in stubs.
- */
-export interface ArmReadinessDeps {
-    loadDeliveries: (focusId: string) => Promise<ArmReadinessDelivery[]>;
-    loadTargetsByInjectionId: (injectionIds: string[]) => Promise<Map<string, ArmReadinessTarget[]>>;
-}
-/** Production read: the focus's deliveries, narrowed to the fields the bar reads. */
-export declare function loadArmReadinessDeliveries(focusId: string): Promise<ArmReadinessDelivery[]>;
-/**
- * Production read: 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.
- */
-export declare function loadArmReadinessTargets(injectionIds: string[]): Promise<Map<string, ArmReadinessTarget[]>>;
-/**
- * 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 declare function readFocusArmReadiness(focusId: string, deps: ArmReadinessDeps): Promise<FocusArmReadiness>;
 /**
  * What a live read of the focus's covered effects says about its bar.
  *
@@ -79,7 +47,7 @@ export declare function readFocusArmReadiness(focusId: string, deps: ArmReadines
 export interface FocusBarStanding {
     /** True only when the covered set holds >= 1 effect and none is unstated. */
     statesABar: boolean;
-    /** False when a read failed; the verdict is then a hold, not a finding. */
+    /** False when a read failed or was incomplete; the verdict is then a hold, not a finding. */
     readable: boolean;
     /** Human-readable why -- goes straight into a log line or a record. */
     reason: string;
@@ -88,24 +56,31 @@ export interface FocusBarStanding {
     /** The covered effects whose `frt_statement` is null or blank. */
     unstatedNodeIds: string[];
 }
+/** The read this check needs: the edge's LIVE criteria-standing preview. */
+export interface ArmReadinessDeps {
+    loadCoverage: (focusId: string) => Promise<FocusCriteriaStanding>;
+}
 /**
- * The database's rule, PURE, over the same inputs `assessArmReadiness` reads.
+ * The database's rule, PURE, over the edge's live preview.
  *
- * 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.
+ * Covered effects = the TREE criteria (one per covered effect stating its
+ * future) plus the covered effects stating none. `untargetedSustainingCauses`
+ * is folded into the zero-effect reason so the log line names what to aim at.
  */
-export declare function assessFocusStatesABar(deliveries: ArmReadinessDelivery[], targetsByInjectionId: Map<string, ArmReadinessTarget[]>): FocusBarStanding;
+export declare function assessFocusStatesABar(standing: FocusCriteriaStanding): FocusBarStanding;
+/** The PRD frontier's question, answered by the database's rule. PURE. */
+export declare function assessArmReadiness(standing: FocusCriteriaStanding): FocusArmReadiness;
 /**
  * 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 declare function readFocusStatesABar(focusId: string, deps: ArmReadinessDeps): Promise<FocusBarStanding>;
+/**
+ * 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 declare function readFocusArmReadiness(focusId: string, deps: ArmReadinessDeps): Promise<FocusArmReadiness>;
 //# sourceMappingURL=arm-readiness.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"arm-readiness.d.ts","sourceRoot":"","sources":["../../src/prd/arm-readiness.ts"],"names":[],"mappings":"AAqEA,yCAAyC;AACzC,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,0EAA0E;IAC1E,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AAED,kFAAkF;AAClF,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,oEAAoE;IACpE,MAAM,EAAE,MAAM,CAAC;IACf,uEAAuE;IACvE,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAQD;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,oBAAoB,EAAE,EAClC,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC,GACtD,iBAAiB,CA8BnB;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAAC;IACrE,wBAAwB,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC;CAClG;AAED,qFAAqF;AACrF,wBAAsB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAQjG;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,uBAAuB,CAC3C,YAAY,EAAE,MAAM,EAAE,GACrB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAa5C;AAED;;;;;GAKG;AACH,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,iBAAiB,CAAC,CAmB5B;AAKD;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6EAA6E;IAC7E,UAAU,EAAE,OAAO,CAAC;IACpB,2EAA2E;IAC3E,QAAQ,EAAE,OAAO,CAAC;IAClB,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC;IACf,qDAAqD;IACrD,kBAAkB,EAAE,MAAM,CAAC;IAC3B,kEAAkE;IAClE,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,oBAAoB,EAAE,EAClC,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,EAAE,CAAC,GACtD,gBAAgB,CA0ClB;AAED;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,gBAAgB,CAAC,CAqB3B"}
+{"version":3,"file":"arm-readiness.d.ts","sourceRoot":"","sources":["../../src/prd/arm-readiness.ts"],"names":[],"mappings":"AASA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+CAA+C,CAAC;AAK3F,kFAAkF;AAClF,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,OAAO,CAAC;IACf,oEAAoE;IACpE,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6EAA6E;IAC7E,UAAU,EAAE,OAAO,CAAC;IACpB,6FAA6F;IAC7F,QAAQ,EAAE,OAAO,CAAC;IAClB,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC;IACf,qDAAqD;IACrD,kBAAkB,EAAE,MAAM,CAAC;IAC3B,kEAAkE;IAClE,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,4EAA4E;AAC5E,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,qBAAqB,CAAC,CAAC;CACnE;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,qBAAqB,GAAG,gBAAgB,CAkDvF;AAED,0EAA0E;AAC1E,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,qBAAqB,GAAG,iBAAiB,CAGrF;AAED;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,gBAAgB,CAAC,CAc3B;AAED;;;;;GAKG;AACH,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,iBAAiB,CAAC,CAM5B"}

package/dist/prd/arm-readiness.js

@@ -6,237 +6,76 @@
 //   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/focuses.js';
-import { fetchInjectionBundles } from '../resolvers/shared/loop.js';
 import { createLogger } from '../log/daemon-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.
+ * The database's rule, PURE, over the edge's live preview.
  *
- * 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,
-    };
-}
-/** Production read: the focus's deliveries, narrowed to the fields the bar reads. */
-export async function loadArmReadinessDeliveries(focusId) {
-    const deliveries = await getFocusDeliveries(focusId);
-    return deliveries.map((d) => ({
-        id: d.id,
-        name: d.name,
-        executionStatus: d.executionStatus,
-        injectionId: d.injectionId ?? null,
-    }));
-}
-/**
- * Production read: 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.
- */
-export async function loadArmReadinessTargets(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.
+ * Covered effects = the TREE criteria (one per covered effect stating its
+ * future) plus the covered effects stating none. `untargetedSustainingCauses`
+ * is folded into the zero-effect reason so the log line names what to aim at.
  */
-export async function readFocusArmReadiness(focusId, deps) {
-    const { loadDeliveries, loadTargetsByInjectionId: loadTargets } = deps;
-    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}`);
+export function assessFocusStatesABar(standing) {
+    if (standing.treeCoverageIncomplete === true) {
         return {
-            ready: false,
-            reason: `arm-readiness could not be read (${message}) -- holding the arm`,
-            readyDeliveryIds: [],
+            statesABar: false,
+            readable: false,
+            reason: "the focus's covered effects could not be fully read (a tree scan bound bit)",
+            coveredEffectCount: 0,
+            unstatedNodeIds: [],
         };
     }
-}
-/**
- * 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) {
+    const stated = standing.criteria.filter((c) => c.source === 'tree');
+    const unstated = standing.unstatedCoveredEffects ?? [];
+    const covered = stated.length + unstated.length;
+    if (covered === 0) {
+        const causes = standing.untargetedSustainingCauses ?? [];
+        const aimAt = causes.length === 0
+            ? ''
+            : `; untargeted sustaining causes: ${causes.map((c) => `#${c.seq}`).join(', ')}`;
         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',
+            reason: 'the focus covers no undesired effect (its anchored injections\' targeted causes earn ' +
+                `none and it targets none directly), so it states no future to judge the work against${aimAt}`,
             coveredEffectCount: 0,
             unstatedNodeIds: [],
         };
     }
-    const unstatedNodeIds = [...covered.values()]
-        .filter((t) => (t.frtStatement ?? '').trim().length === 0)
-        .map((t) => t.nodeId);
-    if (unstatedNodeIds.length > 0) {
+    if (unstated.length > 0) {
+        const unstatedNodeIds = unstated.map((u) => u.nodeId);
         return {
             statesABar: false,
             readable: true,
-            reason: `${unstatedNodeIds.length} of ${covered.size} covered undesired effect(s) state no ` +
+            reason: `${unstated.length} of ${covered} covered undesired effect(s) state no ` +
                 `future (frt_statement null or blank): ${unstatedNodeIds.join(', ')}`,
-            coveredEffectCount: covered.size,
+            coveredEffectCount: covered,
             unstatedNodeIds,
         };
     }
+    const earned = stated.filter((c) => c.basis === 'earned').length;
     return {
         statesABar: true,
         readable: true,
-        reason: `${covered.size} covered undesired effect(s), every one of them stating its future`,
-        coveredEffectCount: covered.size,
+        reason: `${covered} covered undesired effect(s) (${earned} earned, ${covered - earned} declared), ` +
+            'every one of them stating its future',
+        coveredEffectCount: covered,
         unstatedNodeIds: [],
     };
 }
+/** The PRD frontier's question, answered by the database's rule. PURE. */
+export function assessArmReadiness(standing) {
+    const bar = assessFocusStatesABar(standing);
+    return { ready: bar.statesABar, reason: bar.reason };
+}
 /**
  * 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, loadTargetsByInjectionId: loadTargets } = deps;
     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);
+        return assessFocusStatesABar(await deps.loadCoverage(focusId));
     }
     catch (err) {
         const message = err.message;
@@ -250,4 +89,17 @@ export async function readFocusStatesABar(focusId, deps) {
         };
     }
 }
+/**
+ * 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 bar = await readFocusStatesABar(focusId, deps);
+    if (!bar.readable) {
+        return { ready: false, reason: `arm-readiness could not be read (${bar.reason}) -- holding the arm` };
+    }
+    return { ready: bar.statesABar, reason: bar.reason };
+}
 //# sourceMappingURL=arm-readiness.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"arm-readiness.js","sourceRoot":"","sources":["../../src/prd/arm-readiness.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,uEAAuE;AACvE,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,+BAA+B,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,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;AAYD,qFAAqF;AACrF,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAAC,OAAe;IAC9D,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,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,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,IAAsB;IAEtB,MAAM,EAAE,cAAc,EAAE,wBAAwB,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IACvE,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,IAAsB;IAEtB,MAAM,EAAE,cAAc,EAAE,wBAAwB,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;IACvE,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"}
+{"version":3,"file":"arm-readiness.js","sourceRoot":"","sources":["../../src/prd/arm-readiness.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,uEAAuE;AACvE,uDAAuD;AACvD,4EAA4E;AAC5E,8DAA8D;AAC9D,wDAAwD;AACxD,gBAAgB;AAmChB,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAmCvD;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAA+B;IACnE,IAAI,QAAQ,CAAC,sBAAsB,KAAK,IAAI,EAAE,CAAC;QAC7C,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,6EAA6E;YACrF,kBAAkB,EAAE,CAAC;YACrB,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,QAAQ,CAAC,sBAAsB,IAAI,EAAE,CAAC;IACvD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAChD,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;QAClB,MAAM,MAAM,GAAG,QAAQ,CAAC,0BAA0B,IAAI,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC;YAC/B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,mCAAmC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,IAAI;YACd,MAAM,EACJ,uFAAuF;gBACvF,uFAAuF,KAAK,EAAE;YAChG,kBAAkB,EAAE,CAAC;YACrB,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,eAAe,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACtD,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,IAAI;YACd,MAAM,EACJ,GAAG,QAAQ,CAAC,MAAM,OAAO,OAAO,wCAAwC;gBACxE,yCAAyC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACvE,kBAAkB,EAAE,OAAO;YAC3B,eAAe;SAChB,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACjE,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,IAAI;QACd,MAAM,EACJ,GAAG,OAAO,iCAAiC,MAAM,YAAY,OAAO,GAAG,MAAM,cAAc;YAC3F,sCAAsC;QACxC,kBAAkB,EAAE,OAAO;QAC3B,eAAe,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,kBAAkB,CAAC,QAA+B;IAChE,MAAM,GAAG,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAC5C,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;AACvD,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAAe,EACf,IAAsB;IAEtB,IAAI,CAAC;QACH,OAAO,qBAAqB,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IACjE,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;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAAe,EACf,IAAsB;IAEtB,MAAM,GAAG,GAAG,MAAM,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrD,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAClB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,oCAAoC,GAAG,CAAC,MAAM,sBAAsB,EAAE,CAAC;IACxG,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;AACvD,CAAC"}

package/dist/prd/frontier-arming.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"frontier-arming.d.ts","sourceRoot":"","sources":["../../src/prd/frontier-arming.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,wBAAwB,CAAC;AAQhC;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,oBAAoB,QAAiB,CAAC;AAEnD;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAU1C,+EAA+E;AAC/E,MAAM,MAAM,iBAAiB,GAAG,KAAK,GAAG,eAAe,GAAG,eAAe,GAAG,eAAe,CAAC;AAE5F;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE;IAC7C,KAAK,EAAE,OAAO,CAAC;IACf,GAAG,EAAE,aAAa,GAAG,SAAS,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;CACrB,GAAG,iBAAiB,CAapB;AAED,8CAA8C;AAC9C,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,KAAK,EAAE,OAAO,CAAC;IACf,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB;;;;;;OAMG;IACH,UAAU,EAAE,OAAO,CAAC;CACrB;AA0BD,6DAA6D;AAC7D,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,GAAG,IAAI,CAM3D;AA2JD;;;;GAIG;AACH,wBAAsB,uBAAuB,CAAC,IAAI,EAAE;IAClD,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,GAAG,CAAC;IACT,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,iBAAiB,CAAC;CACzB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAmDlC;AAED,kDAAkD;AAClD,MAAM,WAAW,wBAAwB;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,+EAA+E;IAC/E,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;GAOG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE;IAChD,GAAG,EAAE,GAAG,CAAC;IACT,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,gBAAgB,EAAE,OAAO,EAAE,CAAC;IAC5B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,EAAE,iBAAiB,CAAC;CACzB,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAyCpC"}
+{"version":3,"file":"frontier-arming.d.ts","sourceRoot":"","sources":["../../src/prd/frontier-arming.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EACV,iBAAiB,EACjB,aAAa,EACd,MAAM,wBAAwB,CAAC;AAQhC;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,oBAAoB,QAAiB,CAAC;AAEnD;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAU1C,+EAA+E;AAC/E,MAAM,MAAM,iBAAiB,GAAG,KAAK,GAAG,eAAe,GAAG,eAAe,GAAG,eAAe,CAAC;AAE5F;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE;IAC7C,KAAK,EAAE,OAAO,CAAC;IACf,GAAG,EAAE,aAAa,GAAG,SAAS,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;CACrB,GAAG,iBAAiB,CAapB;AAED,8CAA8C;AAC9C,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,iBAAiB,CAAC;IAC1B,KAAK,EAAE,OAAO,CAAC;IACf,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB;;;;;;OAMG;IACH,UAAU,EAAE,OAAO,CAAC;CACrB;AAwBD,6DAA6D;AAC7D,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,GAAG,IAAI,CAM3D;AA2JD;;;;GAIG;AACH,wBAAsB,uBAAuB,CAAC,IAAI,EAAE;IAClD,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,GAAG,CAAC;IACT,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,iBAAiB,CAAC;CACzB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAmDlC;AAED,kDAAkD;AAClD,MAAM,WAAW,wBAAwB;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,+EAA+E;IAC/E,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;GAOG;AACH,wBAAsB,qBAAqB,CAAC,IAAI,EAAE;IAChD,GAAG,EAAE,GAAG,CAAC;IACT,KAAK,EAAE,OAAO,EAAE,CAAC;IACjB,gBAAgB,EAAE,OAAO,EAAE,CAAC;IAC5B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,EAAE,iBAAiB,CAAC;CACzB,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAyCpC"}

package/dist/prd/frontier-arming.js

@@ -78,13 +78,11 @@ function outcome(action, armRefused = false) {
 const NOT_READ = {
     ready: false,
     reason: 'a scoping run is in flight; readiness not read',
-    readyDeliveryIds: [],
 };
 /** Absent readiness read: the arm is refused (absence never restores arm-first). */
 const NO_READINESS_READ = {
     ready: false,
     reason: 'no arm-readiness read was handed to the controller',
-    readyDeliveryIds: [],
 };
 /** The PRD's goal statement, from its goal node(s). Pure. */
 export function readPrdGoal(nodes) {