@prestack/thread 0.0.3 → 0.1.0

package/dist/integrity/slopnators/sl_missing_row.js

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync, readdirSync, statSync } from 'node:fs';
+import { existsSync, readFileSync, readdirSync, statSync } from "../../core/files.js";
 import { join } from 'node:path';
 import { ORGANISATION, ours } from "../../core/scope.js";
 import { findTree } from "../../core/tree.js";
@@ -9,7 +9,6 @@ import { findTree } from "../../core/tree.js";
  * plain Node could not resolve it, `load()` swallowed the failure, and all eight read from every
  * caller exactly like laws finding nothing. Nothing here imports anything but node builtins.
  */
-const ROOT = findTree().at;
 /** A node: a const annotated `Threaded`. */
 const NODE = /export\s+const\s+[A-Za-z_$][\w$]*\s*:\s*Threaded\b/;
 /**
@@ -95,8 +94,8 @@ function filesIn(dir) {
     }
 }
 /** Every installed thread package that ships nodes of its own. */
-function installed() {
-    const at = join(ROOT, 'node_modules', ORGANISATION);
+function installed(root) {
+    const at = join(root, 'node_modules', ORGANISATION);
     const found = [];
     for (const one of safely(at)) {
         const name = `${ORGANISATION}/${one}`;
@@ -125,8 +124,8 @@ function read(path) {
     }
 }
 export const slopnator = {
-    checks: () => {
-        const tree = findTree();
+    checks: (root) => {
+        const tree = findTree(root);
         /* Every id the tree holds, across every node in it. */
         const held = new Set();
         for (const path of filesIn(tree.dir))
@@ -146,7 +145,7 @@ export const slopnator = {
                 wired.add(one[1] ?? '');
         }
         const found = [];
-        for (const pkg of installed()) {
+        for (const pkg of installed(root)) {
             if (!wired.has(pkg.name))
                 continue;
             for (const path of filesIn(pkg.src)) {
@@ -166,13 +165,19 @@ export const slopnator = {
     proves: {
         wrong: [
             {
-                files: [{ at: '_threads/_probe_missing.ts', source: "import type { Threaded } from '../../core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [],\n}\n" }],
+                files: [
+                    { at: '_threads/_probe_missing.ts', source: "import type { Threaded } from '../../core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      at: 'node_modules/@prestack/thread-probe/dist/foo.ts',\n    },\n  ],\n}\n" },
+                    { at: 'node_modules/@prestack/thread-probe/dist/foo.ts', source: "export const PKG: Threaded = {\n  declares: [\n    {\n      id: 'missing-thing',\n    },\n  ],\n}\n" },
+                ],
                 at: '_threads/_probe_missing.ts',
             },
         ],
         right: [
             {
-                files: [{ at: '_threads/_probe_missing.ts', source: "import type { Threaded } from '../../core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      id: 'colour',\n    },\n  ],\n}\n" }],
+                files: [
+                    { at: '_threads/_probe_missing.ts', source: "import type { Threaded } from '../../core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      id: 'colour',\n    },\n    {\n      id: 'missing-thing',\n    },\n    {\n      at: 'node_modules/@prestack/thread-probe/dist/foo.ts',\n    },\n  ],\n}\n" },
+                    { at: 'node_modules/@prestack/thread-probe/dist/foo.ts', source: "export const PKG: Threaded = {\n  declares: [\n    {\n      id: 'missing-thing',\n    },\n  ],\n}\n" },
+                ],
                 at: '_threads/_probe_missing.ts',
             },
         ],

package/dist/integrity/slopnators/sl_missing_row.ts

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync, readdirSync, statSync } from 'node:fs'
+import { existsSync, readFileSync, readdirSync, statSync } from '../../core/files.ts'
 import { join } from 'node:path'
 
 import type { Slopnator } from '../slopnator.ts'
@@ -13,8 +13,6 @@ import { findTree } from '../../core/tree.ts'
  * caller exactly like laws finding nothing. Nothing here imports anything but node builtins.
  */
 
-const ROOT = findTree().at
-
 /** A node: a const annotated `Threaded`. */
 const NODE = /export\s+const\s+[A-Za-z_$][\w$]*\s*:\s*Threaded\b/
 
@@ -99,8 +97,8 @@ function filesIn(dir: string): readonly string[] {
 }
 
 /** Every installed thread package that ships nodes of its own. */
-function installed(): readonly { readonly name: string; readonly src: string }[] {
-  const at = join(ROOT, 'node_modules', ORGANISATION)
+function installed(root: string): readonly { readonly name: string; readonly src: string }[] {
+  const at = join(root, 'node_modules', ORGANISATION)
   const found: { name: string; src: string }[] = []
   for (const one of safely(at)) {
     const name = `${ORGANISATION}/${one}`
@@ -128,8 +126,8 @@ function read(path: string): string {
 }
 
 export const slopnator: Slopnator = {
-  checks: () => {
-    const tree = findTree()
+  checks: (root) => {
+    const tree = findTree(root)
 
     /* Every id the tree holds, across every node in it. */
     const held = new Set<string>()
@@ -149,7 +147,7 @@ export const slopnator: Slopnator = {
     }
 
     const found: string[] = []
-    for (const pkg of installed()) {
+    for (const pkg of installed(root)) {
       if (!wired.has(pkg.name)) continue
       for (const path of filesIn(pkg.src)) {
         const shipped = shippedIn(read(path))
@@ -168,13 +166,19 @@ export const slopnator: Slopnator = {
   proves: {
     wrong: [
       {
-        files: [{ at: '_threads/_probe_missing.ts', source: "import type { Threaded } from '../../core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [],\n}\n" }],
+        files: [
+          { at: '_threads/_probe_missing.ts', source: "import type { Threaded } from '../../core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      at: 'node_modules/@prestack/thread-probe/dist/foo.ts',\n    },\n  ],\n}\n" },
+          { at: 'node_modules/@prestack/thread-probe/dist/foo.ts', source: "export const PKG: Threaded = {\n  declares: [\n    {\n      id: 'missing-thing',\n    },\n  ],\n}\n" },
+        ],
         at: '_threads/_probe_missing.ts',
       },
     ],
     right: [
       {
-        files: [{ at: '_threads/_probe_missing.ts', source: "import type { Threaded } from '../../core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      id: 'colour',\n    },\n  ],\n}\n" }],
+        files: [
+          { at: '_threads/_probe_missing.ts', source: "import type { Threaded } from '../../core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      id: 'colour',\n    },\n    {\n      id: 'missing-thing',\n    },\n    {\n      at: 'node_modules/@prestack/thread-probe/dist/foo.ts',\n    },\n  ],\n}\n" },
+          { at: 'node_modules/@prestack/thread-probe/dist/foo.ts', source: "export const PKG: Threaded = {\n  declares: [\n    {\n      id: 'missing-thing',\n    },\n  ],\n}\n" },
+        ],
         at: '_threads/_probe_missing.ts',
       },
     ],

package/dist/integrity/slopnators/sl_no_child_process.js

@@ -21,40 +21,40 @@ export const slopnator = {
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+                        at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
                         source: "import { spawnSync } from 'node:child_process'\nexport const slopnator = { holds: () => false, proves: { wrong: ['a'], right: ['b'] } }\n",
                     },
                 ],
-                at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+                at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
             },
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+                        at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
                         source: "const held = await import('child_process')\nexport const slopnator = { holds: () => false, proves: { wrong: ['a'], right: ['b'] } }\n",
                     },
                 ],
-                at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+                at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
             },
         ],
         right: [
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+                        at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
                         source: "import { readFileSync } from 'node:fs'\nexport const slopnator = { holds: () => false, proves: { wrong: ['a'], right: ['b'] } }\n",
                     },
                 ],
-                at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+                at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
             },
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+                        at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
                         source: "export const slopnator = { holds: () => false, proves: { wrong: ['a'], right: ['b'] } }\n",
                     },
                 ],
-                at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+                at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
             },
         ],
     },

package/dist/integrity/slopnators/sl_no_child_process.ts

@@ -34,40 +34,40 @@ export const slopnator: Slopnator = {
       {
         files: [
           {
-            at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+            at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
             source: "import { spawnSync } from 'node:child_process'\nexport const slopnator = { holds: () => false, proves: { wrong: ['a'], right: ['b'] } }\n",
           },
         ],
-        at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+        at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
       },
       {
         files: [
           {
-            at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+            at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
             source: "const held = await import('child_process')\nexport const slopnator = { holds: () => false, proves: { wrong: ['a'], right: ['b'] } }\n",
           },
         ],
-        at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+        at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
       },
     ],
     right: [
       {
         files: [
           {
-            at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+            at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
             source: "import { readFileSync } from 'node:fs'\nexport const slopnator = { holds: () => false, proves: { wrong: ['a'], right: ['b'] } }\n",
           },
         ],
-        at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+        at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
       },
       {
         files: [
           {
-            at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+            at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
             source: "export const slopnator = { holds: () => false, proves: { wrong: ['a'], right: ['b'] } }\n",
           },
         ],
-        at: 'packages/core/src/integrity/slopnators/sl_probe_spawn.ts',
+        at: 'thread/integrity/slopnators/sl_probe_spawn.ts',
       },
     ],
   },

package/dist/integrity/slopnators/sl_no_import_cycle.js

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync } from 'node:fs';
+import { existsSync, readFileSync } from "../../core/files.js";
 import { dirname, resolve } from 'node:path';
 import { findTree } from "../../core/tree.js";
 const ROOT = findTree().at;

package/dist/integrity/slopnators/sl_no_import_cycle.ts

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync } from 'node:fs'
+import { existsSync, readFileSync } from '../../core/files.ts'
 import { dirname, resolve } from 'node:path'
 
 import type { Slopnator } from '../slopnator.ts'

package/dist/integrity/slopnators/sl_no_such_command.js

@@ -1,4 +1,4 @@
-import { readFileSync } from 'node:fs';
+import { readFileSync } from "../../core/files.js";
 import { resolve } from 'node:path';
 import { findTree } from "../../core/tree.js";
 const ROOT = findTree().at;
@@ -21,6 +21,9 @@ function scripts() {
         return new Set();
     }
 }
+const HAS = [
+    { at: 'package.json', source: '{\n  "scripts": {\n    "typecheck": "tsc",\n    "gate:generate": "node gate.mjs"\n  }\n}\n' },
+];
 export const slopnator = {
     on: ['Property'],
     holds: (node) => {
@@ -42,12 +45,24 @@ export const slopnator = {
     },
     proves: {
         wrong: [
-            "const M = {\n  runs: 'pnpm nope:check',\n}",
-            "const M = {\n  by: 'pnpm also-not-a-script',\n}",
+            {
+                files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  runs: 'pnpm nope:check',\n}\n" }],
+                at: 'threads/_probe_command.ts',
+            },
+            {
+                files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  by: 'pnpm also-not-a-script',\n}\n" }],
+                at: 'threads/_probe_command.ts',
+            },
         ],
         right: [
-            "const M = {\n  runs: 'pnpm typecheck',\n}",
-            "const M = {\n  by: 'pnpm gate:generate',\n}",
+            {
+                files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  runs: 'pnpm typecheck',\n}\n" }],
+                at: 'threads/_probe_command.ts',
+            },
+            {
+                files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  by: 'pnpm gate:generate',\n}\n" }],
+                at: 'threads/_probe_command.ts',
+            },
             "const M = {\n  runs: 'node scripts/_generated/gate.mjs',\n}",
             "const M = {\n  describes: 'A sentence mentioning pnpm nope:check without naming it as a command.',\n}",
         ],

package/dist/integrity/slopnators/sl_no_such_command.ts

@@ -1,6 +1,7 @@
-import { readFileSync } from 'node:fs'
+import { readFileSync } from '../../core/files.ts'
 import { resolve } from 'node:path'
 
+import type { Sourced } from '../constraint.ts'
 import type { Slopnator } from '../slopnator.ts'
 import { findTree } from '../../core/tree.ts'
 
@@ -30,6 +31,10 @@ function scripts(): ReadonlySet<string> {
   }
 }
 
+const HAS: readonly Sourced[] = [
+  { at: 'package.json', source: '{\n  "scripts": {\n    "typecheck": "tsc",\n    "gate:generate": "node gate.mjs"\n  }\n}\n' },
+]
+
 export const slopnator: Slopnator = {
   on: ['Property'],
   holds: (node) => {
@@ -51,12 +56,24 @@ export const slopnator: Slopnator = {
   },
   proves: {
     wrong: [
-      "const M = {\n  runs: 'pnpm nope:check',\n}",
-      "const M = {\n  by: 'pnpm also-not-a-script',\n}",
+      {
+        files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  runs: 'pnpm nope:check',\n}\n" }],
+        at: 'threads/_probe_command.ts',
+      },
+      {
+        files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  by: 'pnpm also-not-a-script',\n}\n" }],
+        at: 'threads/_probe_command.ts',
+      },
     ],
     right: [
-      "const M = {\n  runs: 'pnpm typecheck',\n}",
-      "const M = {\n  by: 'pnpm gate:generate',\n}",
+      {
+        files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  runs: 'pnpm typecheck',\n}\n" }],
+        at: 'threads/_probe_command.ts',
+      },
+      {
+        files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  by: 'pnpm gate:generate',\n}\n" }],
+        at: 'threads/_probe_command.ts',
+      },
       "const M = {\n  runs: 'node scripts/_generated/gate.mjs',\n}",
       "const M = {\n  describes: 'A sentence mentioning pnpm nope:check without naming it as a command.',\n}",
     ],

package/dist/integrity/slopnators/sl_only_takes_a_literal.js

@@ -19,40 +19,40 @@ export const slopnator = {
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrations/generators/probe.ts',
+                        at: 'thread/integrations/generators/probe.ts',
                         source: "only(piped, ['name', 'describes'], 'a thing')\n",
                     },
                 ],
-                at: 'packages/core/src/integrations/generators/probe.ts',
+                at: 'thread/integrations/generators/probe.ts',
             },
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrations/generators/probe.ts',
+                        at: 'thread/integrations/generators/probe.ts',
                         source: "only(one, ['stop', 'sets'], 'a stop')\n",
                     },
                 ],
-                at: 'packages/core/src/integrations/generators/probe.ts',
+                at: 'thread/integrations/generators/probe.ts',
             },
         ],
         right: [
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrations/generators/probe.ts',
+                        at: 'thread/integrations/generators/probe.ts',
                         source: "const TAKES = ASKS.map((one) => one.key)\nonly(piped, TAKES, 'a thing')\n",
                     },
                 ],
-                at: 'packages/core/src/integrations/generators/probe.ts',
+                at: 'thread/integrations/generators/probe.ts',
             },
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrations/generators/probe.ts',
+                        at: 'thread/integrations/generators/probe.ts',
                         source: "only(all, [...allowed, ...worded], 'a thing')\n",
                     },
                 ],
-                at: 'packages/core/src/integrations/generators/probe.ts',
+                at: 'thread/integrations/generators/probe.ts',
             },
         ],
     },

package/dist/integrity/slopnators/sl_only_takes_a_literal.ts

@@ -23,40 +23,40 @@ export const slopnator: Slopnator = {
       {
         files: [
           {
-            at: 'packages/core/src/integrations/generators/probe.ts',
+            at: 'thread/integrations/generators/probe.ts',
             source: "only(piped, ['name', 'describes'], 'a thing')\n",
           },
         ],
-        at: 'packages/core/src/integrations/generators/probe.ts',
+        at: 'thread/integrations/generators/probe.ts',
       },
       {
         files: [
           {
-            at: 'packages/core/src/integrations/generators/probe.ts',
+            at: 'thread/integrations/generators/probe.ts',
             source: "only(one, ['stop', 'sets'], 'a stop')\n",
           },
         ],
-        at: 'packages/core/src/integrations/generators/probe.ts',
+        at: 'thread/integrations/generators/probe.ts',
       },
     ],
     right: [
       {
         files: [
           {
-            at: 'packages/core/src/integrations/generators/probe.ts',
+            at: 'thread/integrations/generators/probe.ts',
             source: "const TAKES = ASKS.map((one) => one.key)\nonly(piped, TAKES, 'a thing')\n",
           },
         ],
-        at: 'packages/core/src/integrations/generators/probe.ts',
+        at: 'thread/integrations/generators/probe.ts',
       },
       {
         files: [
           {
-            at: 'packages/core/src/integrations/generators/probe.ts',
+            at: 'thread/integrations/generators/probe.ts',
             source: "only(all, [...allowed, ...worded], 'a thing')\n",
           },
         ],
-        at: 'packages/core/src/integrations/generators/probe.ts',
+        at: 'thread/integrations/generators/probe.ts',
       },
     ],
   },

package/dist/integrity/slopnators/sl_stale_path.js

@@ -1,8 +1,10 @@
-import { existsSync, readdirSync, statSync } from 'node:fs';
+import { existsSync, readdirSync, statSync } from "../../core/files.js";
 import { resolve } from 'node:path';
 import { descend } from "../../core/descend.js";
 import { findTree } from "../../core/tree.js";
 const ROOT = findTree().at;
+const TREE = findTree().name;
+const canonical = (at) => (at.startsWith('threads/') ? `${TREE}/${at.slice('threads/'.length)}` : at);
 const NAMES_A_FILE = /\.[a-z]{1,5}$/;
 /*
  * A FILE A GENERATOR WRITES IS ABSENT UNTIL THE GENERATOR HAS RUN, AND THAT IS NOT A STALE PATH.
@@ -46,46 +48,117 @@ const ours = () => {
         return new Set();
     }
 };
+const named = (one) => one.key?.name ?? (typeof one.key?.value === 'string' ? one.key.value : undefined);
+function proving(ancestors) {
+    for (let at = ancestors.length - 1; at >= 0; at -= 1) {
+        const held = ancestors[at];
+        if (held.type !== 'ObjectExpression')
+            continue;
+        const properties = held.properties ?? [];
+        const files = properties.some((one) => named(one) === 'files' && one.value?.type === 'ArrayExpression');
+        const where = properties.some((one) => named(one) === 'at' && one.value?.type === 'Literal');
+        if (files && where)
+            return true;
+    }
+    return false;
+}
 export const slopnator = {
     on: ['Literal'],
-    holds: (node) => {
+    holds: (node, held) => {
+        if (proving(held.ancestors()))
+            return false;
         const value = node.value;
         if (typeof value !== 'string' || !value.includes('/'))
             return false;
+        const path = canonical(value);
         const tops = ours();
-        if (tops.size === 0 || !tops.has(value.split('/')[0] ?? ''))
+        if (tops.size === 0 || !tops.has(path.split('/')[0] ?? ''))
             return false;
-        const brace = value.indexOf('{');
+        const brace = path.indexOf('{');
         if (brace !== -1) {
-            const cut = value.lastIndexOf('/', brace);
-            const dir = cut === -1 ? '.' : value.slice(0, cut);
+            const cut = path.lastIndexOf('/', brace);
+            const dir = cut === -1 ? '.' : path.slice(0, cut);
             if (statSync(resolve(ROOT, dir), { throwIfNoEntry: false })?.isDirectory() === true)
                 return false;
             return `\`${value}\` writes into \`${dir}\`, which is not a directory on disk`;
         }
-        if (!NAMES_A_FILE.test(value))
+        if (!NAMES_A_FILE.test(path))
             return false;
-        if (existsSync(resolve(ROOT, value)))
+        if (existsSync(resolve(ROOT, path)))
             return false;
-        if (derived.has(value))
+        if (derived.has(path))
             return false;
         return `\`${value}\` is not on disk`;
     },
     proves: {
         wrong: [
-            "const at = 'threads/nope.ts'",
-            "const at = 'scripts/gone.ts'",
-            "const at = 'docs/nowhere/{page}.md'",
-            "const at = 'migrations/gone.sql'",
-            "const at = 'plans/gone.md'",
+            {
+                files: [
+                    { at: 'threads/_probe_there.ts', source: 'export const THERE = 1\n' },
+                    { at: 'probe.tsx', source: "const at = 'threads/nope.ts'\n" },
+                ],
+                at: 'probe.tsx',
+            },
+            {
+                files: [
+                    { at: 'scripts/_probe_there.ts', source: 'export const THERE = 1\n' },
+                    { at: 'probe.tsx', source: "const at = 'scripts/gone.ts'\n" },
+                ],
+                at: 'probe.tsx',
+            },
+            {
+                files: [
+                    { at: 'docs/_probe_there.md', source: 'there\n' },
+                    { at: 'probe.tsx', source: "const at = 'docs/nowhere/{page}.md'\n" },
+                ],
+                at: 'probe.tsx',
+            },
+            {
+                files: [
+                    { at: 'migrations/_probe_there.sql', source: 'select 1;\n' },
+                    { at: 'probe.tsx', source: "const at = 'migrations/gone.sql'\n" },
+                ],
+                at: 'probe.tsx',
+            },
+            {
+                files: [
+                    { at: 'plans/_probe_there.md', source: 'there\n' },
+                    { at: 'probe.tsx', source: "const at = 'plans/gone.md'\n" },
+                ],
+                at: 'probe.tsx',
+            },
         ],
         right: [
-            "const at = 'packages/core/integrity/src/constraint.ts'",
-            "const at = 'packages/core/integrity/src/lint.ts'",
-            "const at = 'docs/reference/{page}.md'",
+            {
+                files: [
+                    { at: 'packages/core/integrity/src/constraint.ts', source: 'export const CONSTRAINTS = []\n' },
+                    { at: 'probe.tsx', source: "const at = 'packages/core/integrity/src/constraint.ts'\n" },
+                ],
+                at: 'probe.tsx',
+            },
+            {
+                files: [
+                    { at: 'packages/core/integrity/src/lint.ts', source: 'export const plugin = {}\n' },
+                    { at: 'probe.tsx', source: "const at = 'packages/core/integrity/src/lint.ts'\n" },
+                ],
+                at: 'probe.tsx',
+            },
+            {
+                files: [
+                    { at: 'docs/reference/_probe_there.md', source: 'there\n' },
+                    { at: 'probe.tsx', source: "const at = 'docs/reference/{page}.md'\n" },
+                ],
+                at: 'probe.tsx',
+            },
             "const at = 'threads/'",
             "const said = 'a sentence about packages/core/integrity/src/constraint.ts and nothing else'",
-            "const at = 'app/layout.tsx'",
+            {
+                files: [
+                    { at: 'app/_probe_there.tsx', source: 'export const THERE = 1\n' },
+                    { at: 'probe.tsx', source: "const at = 'app/layout.tsx'\n" },
+                ],
+                at: 'probe.tsx',
+            },
             "const at = 'node_modules/thread/package.json'",
         ],
     },