@afokapu/atdd-bun 0.10.67 → 0.10.69

package/lib/journey-chain.mjs

@@ -430,12 +430,40 @@ function liveReturns(fn) {
 // arms of a conditional, as a member/spread of it, an object property or array element, an
 // `Object.freeze` argument, or a `const` bound to it. Logical, comma, arithmetic, unary (`void`, `!`)
 // and calls to anything else replace or may skip the value, so they never carry it.
+// A runner result may be declared before a try and assigned exactly once in the
+// try body. The catch must itself exit (throw or return); otherwise a swallowed error would
+// let the later return observe an unassigned value. Do not generalize this to ordinary
+// `let` assignments: conditional or multiply-written values are not a proof chain.
+function caughtSingleAssignment(ctx, identifier) {
+  const declaration = declarationOf(ctx, identifier);
+  if (!declaration || !ts.isVariableDeclaration(declaration) || declaration.initializer ||
+    !ts.isVariableDeclarationList(declaration.parent) || !(declaration.parent.flags & ts.NodeFlags.Let)) return null;
+  let fn = declaration.parent;
+  while (fn && !ts.isFunctionLike(fn)) fn = fn.parent;
+  if (!fn || !fn.body) return null;
+  const writes = [];
+  walk(fn.body, (node) => {
+    if (!ts.isBinaryExpression(node) || node.operatorToken.kind !== ts.SyntaxKind.EqualsToken ||
+      !ts.isIdentifier(unwrap(node.left)) || symbolOf(ctx, unwrap(node.left)) !== symbolOf(ctx, identifier) || dead(node, fn.body)) return;
+    let inCaughtTry = false;
+    for (let parent = node.parent; parent && parent !== fn.body; parent = parent.parent) {
+      if (ts.isTryStatement(parent) && parent.tryBlock && node.pos >= parent.tryBlock.pos && node.end <= parent.tryBlock.end && parent.catchClause &&
+        parent.catchClause.block.statements.some(statement => ts.isThrowStatement(statement) || ts.isReturnStatement(statement))) {
+        inCaughtTry = true;
+        break;
+      }
+    }
+    if (inCaughtTry) writes.push(node.right);
+  }, false);
+  return writes.length === 1 ? writes[0] : null;
+}
+
 function carries(ctx, expression, matches, seen = new Set()) {
   const node = unwrap(expression);
   if (!node) return false;
   if (matches(node)) return true;
   if (ts.isIdentifier(node)) {
-    const initializer = constInitializer(ctx, node);
+    const initializer = constInitializer(ctx, node) ?? caughtSingleAssignment(ctx, node);
     // `seen` guards cycles along this path only; sibling branches may resolve the same const.
     if (!initializer || seen.has(initializer)) return false;
     seen.add(initializer);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@afokapu/atdd-bun",
-  "version": "0.10.67",
+  "version": "0.10.69",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/afokapu/atdd-bun.git"