@intentius/chant 0.124.23 → 0.124.25

package/dist/op/step-output-ref.js

@@ -23,15 +23,20 @@
  * Scope, kept deliberately tight (see the issue's "Open questions"):
  *  - same-Op only — no cross-Op plumbing (that needs a durable place to put
  *    the value, which #1290 explicitly defers).
- *  - main `phases` only — a step inside `onFailure` or nested inside an
- *    `EffectStep` can neither produce nor consume a step-output reference.
- *    `onFailure` compensation runs only when something upstream already
- *    failed, so a main-phase step's captured result isn't reliably
- *    available there; an effect step's nested steps run only when the
- *    receipt comparison mismatches, so a value it produces isn't reliably
- *    available to anything outside it either. Both are conditional
- *    execution paths, which is exactly the class of thing #1290 keeps out
- *    of an Op's inert-data model.
+ *  - producers are the top-level activity steps of the main `phases`. A step
+ *    in `onFailure` or nested inside an `EffectStep` produces nothing another
+ *    step may reference: an effect's nested steps run only when the receipt
+ *    comparison mismatches, so a value one of them returns isn't reliably
+ *    there for anything else (#3948 decision A7, "for now").
+ *  - consumers are those producers, plus (#3948) every activity step in
+ *    `onFailure` and every activity step nested inside an effect. An
+ *    `onFailure` step may reference any main-phase producer. Compensation
+ *    runs after a failure, so its producer may never have completed; the
+ *    executor then skips the compensation step and records why (decision
+ *    A6), rather than calling it with an `undefined` in place of the value.
+ *    A step nested inside an effect may reference a producer that runs
+ *    before the effect, and the executor folds the resolved values into the
+ *    effect's expectation, so a changed value re-fires the effect.
  *  - producer must run to completion before the consumer starts: an earlier
  *    phase, or an earlier step within the same non-parallel phase. Two
  *    steps in the same parallel phase run concurrently (`Promise.all`) with
@@ -179,20 +184,58 @@ function locateStepOutputRefPath(value, target, path = []) {
     }
     return undefined;
 }
-/** Top-level `ActivityStep`s of `phases`, in authored (phase, then step) order — gates, effects, and steps nested inside an effect are not producers or consumers (see the module doc's scope note). */
+/** Top-level `ActivityStep`s of `phases`, in authored (phase, then step) order: the producers (see the module doc's scope note). */
 function locateActivitySteps(phases) {
     const locations = [];
     phases.forEach((phase, phaseIndex) => {
-        let stepIndex = 0;
-        for (const step of phase.steps) {
+        phase.steps.forEach((step, stepIndex) => {
             if (step.kind !== "activity")
-                continue;
-            locations.push({ phaseIndex, stepIndex, parallel: phase.parallel === true, step });
-            stepIndex++;
-        }
+                return;
+            locations.push({ phaseIndex, stepIndex, parallel: phase.parallel === true, step, phaseName: phase.name });
+        });
     });
     return locations;
 }
+/**
+ * Every activity step that may hold a reference (#3948): the producers, each
+ * step nested inside an effect of a main phase, and every activity step of
+ * `onFailure`, effect-nested ones included. An `onFailure` step is placed after
+ * every main phase, so any main-phase producer precedes it.
+ */
+function locateConsumers(config) {
+    const consumers = [];
+    const visit = (phases, offset) => {
+        phases.forEach((phase, i) => {
+            const at = { phaseIndex: offset + i, parallel: phase.parallel === true, phaseName: phase.name };
+            phase.steps.forEach((step, stepIndex) => {
+                if (step.kind === "activity")
+                    consumers.push({ ...at, stepIndex, step });
+                if (step.kind === "effect") {
+                    for (const nested of step.steps)
+                        if (nested.kind === "activity")
+                            consumers.push({ ...at, stepIndex, step: nested });
+                }
+            });
+        });
+    };
+    visit(config.phases, 0);
+    visit(config.onFailure ?? [], config.phases.length);
+    return consumers;
+}
+/** Ids of the activity steps nested inside an effect, in any phase. Nothing may reference them (#3948 decision A7). */
+function effectNestedIds(config) {
+    const ids = new Set();
+    for (const phase of [...config.phases, ...(config.onFailure ?? [])]) {
+        for (const step of phase.steps) {
+            if (step.kind !== "effect")
+                continue;
+            for (const nested of step.steps)
+                if (nested.kind === "activity" && nested.id)
+                    ids.add(nested.id);
+        }
+    }
+    return ids;
+}
 /** True when `producer` is guaranteed to have completed before `consumer` starts. */
 function producerPrecedes(producer, consumer) {
     if (producer.phaseIndex !== consumer.phaseIndex)
@@ -201,9 +244,6 @@ function producerPrecedes(producer, consumer) {
         return false; // same parallel phase — Promise.all, no ordering guarantee
     return producer.stepIndex < consumer.stepIndex;
 }
-function effectNestedActivitySteps(phase) {
-    return phase.steps.flatMap((s) => (s.kind === "effect" ? s.steps.filter((n) => n.kind === "activity") : []));
-}
 /** `byId`/`duplicateIds` over an Op's top-level main-phase activity steps — shared by {@link validateStepOutputRefScope} and {@link validateStepOutputRefs}. */
 function indexById(locations) {
     const byId = new Map();
@@ -230,41 +270,24 @@ function indexById(locations) {
  * a public export a caller can invoke directly, bypassing that lint pass —
  * this is its own defense-in-depth.
  *
- * Flags:
- *  - a reference authored inside `onFailure`, or inside an `EffectStep`'s
- *    nested steps — out of scope by design (see the module doc); flagged
- *    explicitly here rather than left to fall through as "unknown producer",
+ * Consumers are the main-phase activity steps, the steps nested inside an
+ * effect, and every `onFailure` activity step (#3948). Flags:
+ *  - a reference to a step nested inside an effect step, from anywhere
+ *    (#3948 decision A7) — flagged explicitly here rather than left to fall
+ *    through as "unknown producer",
  *  - a reference to an unregistered step id (no step in scope declares it),
  *  - a duplicate step id (ambiguous producer),
  *  - a reference to a step that does not precede the referencing step
  *    (a later phase, a later step in the same phase, itself, or a step in
- *    the same parallel phase).
+ *    the same parallel phase). A step nested inside an effect takes the
+ *    effect's position, so it may reference only a step that runs before
+ *    the effect. An `onFailure` step comes after every main phase.
  */
 export function validateStepOutputRefScope(config) {
     const issues = [];
-    const flagOutOfScope = (steps, phaseName, reason) => {
-        for (const step of steps) {
-            for (const ref of collectStepOutputRefs(step.args)) {
-                issues.push({
-                    opName: config.name,
-                    phase: phaseName,
-                    fn: step.fn,
-                    message: `references step "${ref.step}"'s output, but ${reason}`,
-                });
-            }
-        }
-    };
-    for (const phase of config.onFailure ?? []) {
-        const steps = phase.steps.filter((s) => s.kind === "activity").concat(effectNestedActivitySteps(phase));
-        flagOutOfScope(steps, phase.name, "step-output references are not supported in onFailure compensation phases");
-    }
-    for (const phase of config.phases) {
-        flagOutOfScope(effectNestedActivitySteps(phase), phase.name, "step-output references are not supported for a step nested inside an effect step");
-    }
-    const locations = locateActivitySteps(config.phases);
-    const { byId, duplicateIds } = indexById(locations);
-    const phaseNameOf = (loc) => config.phases[loc.phaseIndex].name;
-    for (const consumer of locations) {
+    const { byId, duplicateIds } = indexById(locateActivitySteps(config.phases));
+    const nestedIds = effectNestedIds(config);
+    for (const consumer of locateConsumers(config)) {
         const refs = collectStepOutputRefs(consumer.step.args);
         for (const ref of refs) {
             // The run's work lease (#2748) is published under a reserved id once it
@@ -274,7 +297,7 @@ export function validateStepOutputRefScope(config) {
             if (duplicateIds.has(ref.step)) {
                 issues.push({
                     opName: config.name,
-                    phase: phaseNameOf(consumer),
+                    phase: consumer.phaseName,
                     fn: consumer.step.fn,
                     message: `references step id "${ref.step}", but that id is used by more than one step in this Op — ids must be unique`,
                 });
@@ -284,9 +307,11 @@ export function validateStepOutputRefScope(config) {
             if (!producer) {
                 issues.push({
                     opName: config.name,
-                    phase: phaseNameOf(consumer),
+                    phase: consumer.phaseName,
                     fn: consumer.step.fn,
-                    message: `references unknown step id "${ref.step}" — no step in this Op's main phases declares that id`,
+                    message: nestedIds.has(ref.step)
+                        ? `references step "${ref.step}", which is nested inside an effect step — a step inside an effect runs only when the effect fires, so no other step can reference its output`
+                        : `references unknown step id "${ref.step}" — no step in this Op's main phases declares that id`,
                 });
                 continue;
             }
@@ -298,7 +323,7 @@ export function validateStepOutputRefScope(config) {
                         : `step "${ref.step}" does not run before this step`;
                 issues.push({
                     opName: config.name,
-                    phase: phaseNameOf(consumer),
+                    phase: consumer.phaseName,
                     fn: consumer.step.fn,
                     message: `references ${reason} — a step can only reference an earlier step's output`,
                 });
@@ -308,10 +333,10 @@ export function validateStepOutputRefScope(config) {
     return issues;
 }
 /**
- * Validate every step-output reference in an Op's main phases against a
- * contract map and the Op's own step ordering. Scope: `config.phases` only
- * (never `onFailure`, never a step nested inside an `EffectStep` — see the
- * module doc). Layers contract-based checks on top of {@link
+ * Validate every step-output reference in an Op against a contract map and
+ * the Op's own step ordering, over the consumers {@link
+ * validateStepOutputRefScope} covers (see the module doc). Layers
+ * contract-based checks on top of {@link
  * validateStepOutputRefScope}'s scope/ordering checks.
  *
  * Flags everything {@link validateStepOutputRefScope} does, plus:
@@ -323,10 +348,8 @@ export function validateStepOutputRefScope(config) {
  */
 export function validateStepOutputRefs(config, contracts) {
     const issues = validateStepOutputRefScope(config);
-    const locations = locateActivitySteps(config.phases);
-    const { byId, duplicateIds } = indexById(locations);
-    const phaseNameOf = (loc) => config.phases[loc.phaseIndex].name;
-    for (const consumer of locations) {
+    const { byId, duplicateIds } = indexById(locateActivitySteps(config.phases));
+    for (const consumer of locateConsumers(config)) {
         const refs = collectStepOutputRefs(consumer.step.args);
         for (const ref of refs) {
             // Already flagged by validateStepOutputRefScope — nothing to validate
@@ -340,7 +363,7 @@ export function validateStepOutputRefs(config, contracts) {
             if (!producerContract) {
                 issues.push({
                     opName: config.name,
-                    phase: phaseNameOf(consumer),
+                    phase: consumer.phaseName,
                     fn: consumer.step.fn,
                     message: `references step "${ref.step}"'s output, but "${producer.step.fn}" has no registered activity contract to validate the reference against`,
                 });
@@ -349,7 +372,7 @@ export function validateStepOutputRefs(config, contracts) {
             if (!producerContract.returns) {
                 issues.push({
                     opName: config.name,
-                    phase: phaseNameOf(consumer),
+                    phase: consumer.phaseName,
                     fn: consumer.step.fn,
                     message: `references step "${ref.step}"'s output, but "${producer.step.fn}"'s contract declares no return schema`,
                 });
@@ -358,7 +381,7 @@ export function validateStepOutputRefs(config, contracts) {
             if (ref.path && !pathExistsInSchema(producerContract.returns, ref.path)) {
                 issues.push({
                     opName: config.name,
-                    phase: phaseNameOf(consumer),
+                    phase: consumer.phaseName,
                     fn: consumer.step.fn,
                     message: `references step "${ref.step}"'s output path "${ref.path}", which does not exist on "${producer.step.fn}"'s declared return type`,
                 });
@@ -384,7 +407,7 @@ export function validateStepOutputRefs(config, contracts) {
                     if (consumerKind && producerKind && consumerKind !== producerKind) {
                         issues.push({
                             opName: config.name,
-                            phase: phaseNameOf(consumer),
+                            phase: consumer.phaseName,
                             fn: consumer.step.fn,
                             message: `references step "${ref.step}"'s output path "${ref.path}" (${producerKind}), but arg "${argPath.join(".")}" on "${consumer.step.fn}" declares ${consumerKind} — type mismatch`,
                         });

package/dist/point-decision.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"point-decision.d.ts","sourceRoot":"","sources":["../src/point-decision.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAMH,OAAO,KAAK,EAAE,aAAa,EAAE,oBAAoB,EAAoB,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAExH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAgF,KAAK,SAAS,EAAE,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACzK,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAyB,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEnF,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,iBAAiB,EACjB,WAAW,EACX,gBAAgB,EAChB,KAAK,SAAS,EACd,KAAK,cAAc,EACnB,KAAK,cAAc,GACpB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,aAAa,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC7I,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAErG;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,cAAc,EAAE,MAAM,GAAG,eAAe,GAAG,kBAAkB,CAAC,CAAC;AAEtG,mEAAmE;AACnE,MAAM,WAAW,iBAAiB;IAChC,0DAA0D;IAC1D,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,WAAW,GAAG,UAAU,GAAG,UAAU,CAAC;IAC7C,sDAAsD;IACtD,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IAChC,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,gDAAgD;IAChD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,uCAAuC;AACvC,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,KAAK,EAAE,cAAc,CAAC;IACtB,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAC;IAChB,kHAAkH;IAClH,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,GAAG,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;CAC5D;AAED,6DAA6D;AAC7D,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,SAAS,CAAC;IACjB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,8GAA8G;IAC9G,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,MAAM,CAAC,EAAE,cAAc,GAAG,KAAK,CAAC;IAChC;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC;;;OAGG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,sDAAsD;AACtD,MAAM,MAAM,cAAc,GACtB;IACE,SAAS,EAAE,IAAI,CAAC;IAChB,kHAAkH;IAClH,UAAU,EAAE,oBAAoB,CAAC;IACjC,MAAM,EAAE,aAAa,CAAC;IACtB,gDAAgD;IAChD,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,GACD;IACE,SAAS,EAAE,KAAK,CAAC;IACjB,0EAA0E;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,aAAa,CAAC;CACvB,GACD;IACE,SAAS,EAAE,KAAK,CAAC;IACjB,0CAA0C;IAC1C,OAAO,EAAE,YAAY,CAAC;IACtB,sCAAsC;IACtC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC;AAON,qHAAqH;AACrH,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,cAAc,CAAC,CAgExI;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,WAAW,GAAG,UAAU,GAAG,UAAU,CAAC;IAC7C,sDAAsD;IACtD,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IAChC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yDAAyD;IACzD,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,uEAAuE;AACvE,MAAM,MAAM,gBAAgB,GACxB;IACE,SAAS,EAAE,IAAI,CAAC;IAChB,wEAAwE;IACxE,MAAM,EAAE,aAAa,CAAC;IACtB,gFAAgF;IAChF,UAAU,EAAE,MAAM,CAAC;IACnB,+FAA+F;IAC/F,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B,GACD;IACE,SAAS,EAAE,KAAK,CAAC;IACjB,iLAAiL;IACjL,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,aAAa,CAAC;IACpD,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEN;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,kBAAkB,GAAG,SAAS,GAAG,gBAAgB,CAmB1I;AAED,kDAAkD;AAClD,MAAM,WAAW,0BAA0B;IACzC,yHAAyH;IACzH,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,uEAAuE;IACvE,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAqBD;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,0BAA0B,GAAG,cAAc,CAqCpF;AAED;;;;;;GAMG;AACH,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,0BAA0B,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAMpH"}
+{"version":3,"file":"point-decision.d.ts","sourceRoot":"","sources":["../src/point-decision.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAMH,OAAO,KAAK,EAAE,aAAa,EAAE,oBAAoB,EAAoB,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAExH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAgF,KAAK,SAAS,EAAE,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACzK,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAyB,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGnF,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,iBAAiB,EACjB,WAAW,EACX,gBAAgB,EAChB,KAAK,SAAS,EACd,KAAK,cAAc,EACnB,KAAK,cAAc,GACpB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,aAAa,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC7I,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAErG;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,cAAc,EAAE,MAAM,GAAG,eAAe,GAAG,kBAAkB,CAAC,CAAC;AAEtG,mEAAmE;AACnE,MAAM,WAAW,iBAAiB;IAChC,0DAA0D;IAC1D,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,4CAA4C;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,WAAW,GAAG,UAAU,GAAG,UAAU,CAAC;IAC7C,sDAAsD;IACtD,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IAChC,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,gDAAgD;IAChD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,uCAAuC;AACvC,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,KAAK,EAAE,cAAc,CAAC;IACtB,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAC;IAChB,kHAAkH;IAClH,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,GAAG,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;CAC5D;AAED,6DAA6D;AAC7D,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,SAAS,CAAC;IACjB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,8GAA8G;IAC9G,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,MAAM,CAAC,EAAE,cAAc,GAAG,KAAK,CAAC;IAChC;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC;;;OAGG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,sDAAsD;AACtD,MAAM,MAAM,cAAc,GACtB;IACE,SAAS,EAAE,IAAI,CAAC;IAChB,kHAAkH;IAClH,UAAU,EAAE,oBAAoB,CAAC;IACjC,MAAM,EAAE,aAAa,CAAC;IACtB,gDAAgD;IAChD,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,GACD;IACE,SAAS,EAAE,KAAK,CAAC;IACjB,0EAA0E;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,aAAa,CAAC;CACvB,GACD;IACE,SAAS,EAAE,KAAK,CAAC;IACjB,0CAA0C;IAC1C,OAAO,EAAE,YAAY,CAAC;IACtB,sCAAsC;IACtC,OAAO,EAAE,iBAAiB,CAAC;IAC3B,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC;AAON,qHAAqH;AACrH,wBAAsB,iBAAiB,CAAC,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,cAAc,CAAC,CAkExI;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,WAAW,GAAG,UAAU,GAAG,UAAU,CAAC;IAC7C,sDAAsD;IACtD,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IAChC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yDAAyD;IACzD,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,uEAAuE;AACvE,MAAM,MAAM,gBAAgB,GACxB;IACE,SAAS,EAAE,IAAI,CAAC;IAChB,wEAAwE;IACxE,MAAM,EAAE,aAAa,CAAC;IACtB,gFAAgF;IAChF,UAAU,EAAE,MAAM,CAAC;IACnB,+FAA+F;IAC/F,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B,GACD;IACE,SAAS,EAAE,KAAK,CAAC;IACjB,iLAAiL;IACjL,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,aAAa,CAAC;IACpD,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEN;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,kBAAkB,GAAG,SAAS,GAAG,gBAAgB,CAmB1I;AAED,kDAAkD;AAClD,MAAM,WAAW,0BAA0B;IACzC,yHAAyH;IACzH,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,uEAAuE;IACvE,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAqBD;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,0BAA0B,GAAG,cAAc,CAqCpF;AAED;;;;;;GAMG;AACH,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,0BAA0B,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAMpH"}

package/dist/point-decision.js

@@ -33,6 +33,7 @@ import { samePlanDigest } from "./lifecycle/plan-digest.js";
 import { parseDuration } from "./op/duration.js";
 import { DEFAULT_GATE_POINT_PASS, defaultGatePointStore, gatePointInputs, gateSubject } from "./op/gate-point.js";
 import { resolveGateRunLocator } from "./op/gate-run-locator.js";
+import { refuseGateWithoutRecording } from "./lifecycle/no-record.js";
 export { DEFAULT_GATE_POINT_PASS, GATE_POINT_INPUTS, defaultGatePointStore, gatePointInputs, gatePointOf, gatePointProblems, gateSubject, parseGateSubject, } from "./op/gate-point.js";
 export { isGateRunLocator, resolveGateRunLocator } from "./op/gate-run-locator.js";
 /** Who a resolution written for an answer is by: the people who answered, or the decider that did. */
@@ -41,6 +42,8 @@ function resolvedByOf(q) {
 }
 /** Decide a gate that asks a point: ask it, then record the pending fact or the resolution that cites the answer. */
 export async function evaluatePointGate(port, asker, input) {
+    // #3955: refused before the point is asked, which would itself write to the ledger.
+    refuseGateWithoutRecording(input.op, input.gate);
     const now = input.now ?? new Date().toISOString();
     const facts = { component: input.op, name: input.gate, env: input.env ?? null, planDigest: input.planDigest ?? null };
     const q = await asker.ask({ point: input.point.name, inputs: input.inputs ?? {}, facts, subject: gateSubject(input.op, input.gate, input.env), ...(input.point.store ? { store: input.point.store } : {}) });