@afokapu/atdd-bun 0.10.80 → 0.10.81

package/detectors/bun_interlocking_coverage/checks/interlocking_production_runner.mjs

@@ -29,6 +29,7 @@ import {
   mk,
   writeReport,
 } from "../_shared/interlocking.mjs";
+import { assertedJourneyExecution } from "../../../lib/journey-chain.mjs";
 
 const RULE = "tester.bun.interlocking-production-runner-used";
 const roots = parseJsonEnv("ATDD_SCAN_ROOTS", []);
@@ -72,7 +73,9 @@ for (const scanRoot of roots) {
         }
       }
 
-      const semantic = hasProductionExecutionProof(text, file, croot) ||
+      // A journey test drives the runners through the production JourneyRunner: its asserted result counts
+      // when the journey-mediated chain is proven on the AST (lib/journey-chain.mjs), as for the Station Master.
+      const semantic = hasProductionExecutionProof(text, file, croot) || assertedJourneyExecution(raw, file, croot) ||
         records.some((rec) => rec.actions.some((action) => stationMasterExecutionProof(text, action))) ||
         (drivesStationMaster(text) && records.some((rec) => rec.actions.some((action) =>
           stationModuleExecutionProof(text, station.text, action, station.file, croot),

package/integrity.json

@@ -1,5 +1,5 @@
 {
-  "version": "0.10.80",
+  "version": "0.10.81",
   "files": {
     "HOOK_AUDIT.md": "5329d840db37671b1918f688ead26865473b87db73dbc75f7c8b2a8bbe8d6d43",
     "PLANNER_PORT.md": "fb5935bac8b7ac18994de21e43ace3a5ef8cd55f85b0e3349fca261280054f11",
@@ -388,7 +388,7 @@
     "detectors/bun_interlocking_coverage/_shared/interlocking.mjs": "8a90490daaaa6eecf4c971fb569da38156b45969d48755dbcf355175dde0b079",
     "detectors/bun_interlocking_coverage/atdd.implementation.yaml": "f160517a8138ba3ca05e3d130e6fbfb796e643376f25743fdef4fc210196525b",
     "detectors/bun_interlocking_coverage/checks/_map.json": "0a218ea319cc6258af7bd721c2154cb9561fe67e80d80ef32d08fc77bc9403c3",
-    "detectors/bun_interlocking_coverage/checks/interlocking_production_runner.mjs": "d16329bae24d94b41498003fa0a9636e31363d983022c9938fdc1e574fdfd8af",
+    "detectors/bun_interlocking_coverage/checks/interlocking_production_runner.mjs": "97224d46f0c4c3259f15e41f90bb7f9f5a4e651d4facd41f1e037cac919be500",
     "detectors/bun_interlocking_coverage/checks/interlocking_route_coverage.mjs": "a2cff94a6bf9e11fe8e370332551742f9c7db317dcd57a88d08dc6c74f868f49",
     "detectors/bun_interlocking_coverage/checks/interlocking_smoke_coverage.mjs": "28e016e1a4cd394291640679876b16c7d6a725530c7fbfa4bd1da8a354ecff86",
     "detectors/bun_interlocking_coverage/checks/interlocking_trace_binds.mjs": "1cc3a11d50a075f3211a6d9cbf27aafcbf7e77b6a855ab040f765ec89dfe0eef",
@@ -1034,7 +1034,7 @@
     "lib/frontend.mjs": "d6d9b29c3d7f2d162cda03bb34b20a3224a82887b6be3db7cab375510913c9a3",
     "lib/imports.mjs": "3db4979269488fa26f6e7aefded6ece9c646be6587a10e249821a5a208109962",
     "lib/interlocking.mjs": "d0803d080ac7d7477c51be70112df1e85213d339fd3c6b71f75f26145fa8accd",
-    "lib/journey-chain.mjs": "aaa0e6acdd73f1a8cfeea9a523a86c6d3133c020c37f97e7ec61db00f957ec6a",
+    "lib/journey-chain.mjs": "bdafc9cc3da4ade644aebacc6e1015e29285b764465588d764b7c581bade9025",
     "lib/scan.mjs": "02b0fa864cab24157a8f27b50a87a2bb66a875f90cf6632c753c4627d61456ef",
     "planner-nodes/ENFORCEMENT_SCOPE.yaml": "d8ec7039c219857f3d77af5d4d84612b533b69c1a5fcef935fbf46470adafed4",
     "planner-nodes/nodes/planner.acceptance.abstract-fields-required.convention.yaml": "bd565693f0ae861f0561ad2f7a91a8c55f9a209c3acd59c5750cfcffd96a85d8",

package/lib/journey-chain.mjs

@@ -647,6 +647,81 @@ export function provenJourneyAction(stationText, stationFile, croot, name) {
     everyModule(modules, "JourneyRunner", journeyExecutes(croot));
 }
 
+// The tester assertion vocabulary (shared tester layer `assertsExpression`), positive and under `.not`.
+const MATCHERS = new Set(["toBe", "toBeDefined", "toEqual", "toStrictEqual", "toContain", "toContainEqual", "toMatchObject", "toMatch", "toBeTruthy"]);
+const NEGATED_MATCHERS = new Set([...MATCHERS].filter((name) => name !== "toBeTruthy"));
+
+// The journey declaration at `path` (relative to the consumer root, where its tests run) declares
+// `action` among its entrypoint actions.
+function declaresAction(croot, path, action) {
+  const file = resolve(croot, path);
+  if (!file.startsWith(resolve(croot) + sep) || !existsSync(file) || !statSync(file).isFile() || !globalThis.Bun?.YAML) return false;
+  try {
+    const actions = Bun.YAML.parse(readFileSync(file, "utf8"))?.entrypoint?.actions;
+    return Array.isArray(actions) && actions.includes(action);
+  } catch {
+    return false;
+  }
+}
+
+// A test module asserts a production JourneyRunner execution result, proven like provenJourneyAction:
+//   - a live `const` bound to `await <receiver>.execute("<action>", ...)`, the receiver being
+//     `new JourneyRunner("<journey declaration>")` or a const bound to one;
+//   - JourneyRunner binds to a local production import, and the declaration it is constructed from
+//     exists under the consumer root and declares that action;
+//   - the JourneyRunner module reaches InterlockingRunner -> TrainRunner (journeyExecutes);
+//   - a live `expect(<result or a member chain of it>).<matcher>(...)` whose argument binds to that
+//     const by checker symbol, not by spelling.
+// The override contract covers the test module and every local module it reaches.
+export function assertedJourneyExecution(testText, testFile, croot) {
+  if (!testText || !testFile || !croot) return false;
+  const ctx = analyze(testFile, testText);
+  if (tampered(ctx) || [...localImportClosure(testFile, croot)].some((module) => tampered(analyze(module)))) return false;
+  const results = new Set();
+  walk(ctx.source, (node) => {
+    if (!ts.isVariableDeclaration(node) || !ts.isIdentifier(node.name) || !node.initializer ||
+      !(ts.isVariableDeclarationList(node.parent) && node.parent.flags & ts.NodeFlags.Const)) return;
+    const awaited = ts.isAwaitExpression(node.initializer) ? unwrap(node.initializer) : null;
+    const action = awaited && ts.isCallExpression(awaited) && awaited.arguments[0];
+    if (!action || !ts.isStringLiteralLike(action) || dead(node, ctx.source) || insideCatch(node, ctx.source)) return;
+    const fromDeclaration = (construction) => {
+      const path = construction.arguments?.[0];
+      return Boolean(path && ts.isStringLiteralLike(path) && declaresAction(croot, path.text, action.text));
+    };
+    const modules = new Set();
+    if (executesImported(ctx, "JourneyRunner", croot, modules, fromDeclaration)(awaited) &&
+      everyModule(modules, "JourneyRunner", journeyExecutes(croot))) results.add(symbolOf(ctx, node.name));
+  });
+  if (!results.size) return false;
+  const boundToResult = (node) => {
+    node = unwrap(node);
+    while (node && ts.isPropertyAccessExpression(node)) node = unwrap(node.expression);
+    return Boolean(node) && ts.isIdentifier(node) && results.has(symbolOf(ctx, node));
+  };
+  const isExpect = (node) => {
+    if (!ts.isIdentifier(node) || node.text !== "expect") return false;
+    const declaration = declarationOf(ctx, node);
+    if (!declaration) return true;
+    const statement = ts.isImportSpecifier(declaration) ? declaration.parent.parent.parent : null;
+    return Boolean(statement && ts.isStringLiteral(statement.moduleSpecifier) && statement.moduleSpecifier.text === "bun:test" &&
+      (declaration.propertyName ?? declaration.name).text === "expect");
+  };
+  let asserted = false;
+  walk(ctx.source, (node) => {
+    if (asserted) return false;
+    if (!ts.isCallExpression(node) || !isExpect(node.expression) || !boundToResult(node.arguments[0]) || dead(node, ctx.source)) return;
+    let access = node.parent, matchers = MATCHERS;
+    if (!ts.isPropertyAccessExpression(access) || access.expression !== node) return;
+    if (access.name.text === "not") {
+      access = access.parent;
+      matchers = NEGATED_MATCHERS;
+    }
+    asserted = ts.isPropertyAccessExpression(access) && matchers.has(access.name.text) &&
+      ts.isCallExpression(access.parent) && access.parent.expression === access;
+  });
+  return asserted;
+}
+
 // Names of every exported Station Master action proven by provenJourneyAction.
 export function provenJourneyActions(stationText, stationFile, croot) {
   if (!stationText || !stationFile || !croot) return [];

package/package.json

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