@prestack/thread 0.0.2 → 0.1.0

package/dist/integrity/slopnators/sl_unpaired_member.ts

@@ -1,6 +1,7 @@
-import { existsSync, readFileSync, readdirSync } from 'node:fs'
+import { existsSync, readFileSync, readdirSync } from '../../core/files.ts'
 import { resolve } from 'node:path'
 
+import type { Sourced } from '../constraint.ts'
 import type { Slopnator } from '../slopnator.ts'
 import { foldersGoverned, here, islandsDeclared, rowsIn, type Declared } from './sl_unthreaded.ts'
 import { findTree } from '../../core/tree.ts'
@@ -60,6 +61,15 @@ function declaredNames(one: Seeding): readonly string[] {
   }
 }
 
+const ISLAND: readonly Sourced[] = [
+  {
+    at: 'threads/thread.ts',
+    source:
+      "export const THREAD: Threaded = {\n  declares: [\n    { id: 'operations', at: 'src/islands/operations.ts', governs: ['operations/'] },\n    { id: 'operation', at: 'threads/operations.ts' },\n  ],\n}\n",
+  },
+  { at: 'src/islands/operations.ts', source: 'export const OperationsIslandSchema = {}\n' },
+]
+
 export const slopnator: Slopnator = {
   holds: (_node, at) => {
     const path = here(at.filename)
@@ -105,25 +115,23 @@ export const slopnator: Slopnator = {
     wrong: [
       {
         files: [
-          {
-            at: 'threads/_member_probe.ts',
-            source: "export const OPERATIONS: readonly Member[] = [\n  {\n    id: 'wf_unseeded_probe',\n    at: 'threads/operations.ts',\n  },\n]\n",
-          },
+          ...ISLAND,
+          { at: 'threads/_member_probe.ts', source: "export const OPERATIONS: readonly Threaded[] = [\n  {\n    id: 'wf_unseeded_probe',\n  },\n]\n" },
         ],
         at: 'threads/_member_probe.ts',
       },
       {
-        files: [{ at: 'operations/wf_undeclared_probe.ts', source: 'export const operation = { id: 1 }\n' }],
+        files: [...ISLAND, { at: 'operations/wf_undeclared_probe.ts', source: 'export const operation = { id: 1 }\n' }],
         at: 'operations/wf_undeclared_probe.ts',
       },
     ],
     right: [
       {
-        files: [{ at: 'threads/_member_probe.ts', source: 'export const OPERATIONS: readonly Member[] = []\n' }],
+        files: [...ISLAND, { at: 'threads/_member_probe.ts', source: 'export const OPERATIONS: readonly Threaded[] = []\n' }],
         at: 'threads/_member_probe.ts',
       },
       {
-        files: [{ at: 'threads/_member_quiet.ts', source: 'export const NOTHING = []\n' }],
+        files: [...ISLAND, { at: 'threads/_member_quiet.ts', source: 'export const NOTHING = []\n' }],
         at: 'threads/_member_quiet.ts',
       },
     ],

package/dist/integrity/slopnators/sl_unpaired_slopnator.js

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync } from 'node:fs';
+import { existsSync, readFileSync } from "../../core/files.js";
 import { join, resolve } from 'node:path';
 import { SEEDED, SHIPPED, slopnatorName } from "../slopnator.js";
 import { here } from "./sl_unthreaded.js";
@@ -48,8 +48,21 @@ export const slopnator = {
             },
         ],
         right: [
-            "const CONSTRAINTS = [\n  {\n    id: 'no-comment',\n  },\n]",
-            "const CONSTRAINTS = [\n  {\n    id: 'no-comment',\n  },\n  {\n    id: 'unthreaded',\n  },\n]",
+            {
+                files: [
+                    { at: 'threads/_probe_paired.ts', source: "const CONSTRAINTS = [\n  {\n    id: 'no-comment',\n  },\n]\n" },
+                    { at: 'threads/slopnators/sl_no_comment.ts', source: 'export const slopnator = { on: [], holds: () => false }\n' },
+                ],
+                at: 'threads/_probe_paired.ts',
+            },
+            {
+                files: [
+                    { at: 'threads/_probe_paired.ts', source: "const CONSTRAINTS = [\n  {\n    id: 'no-comment',\n  },\n  {\n    id: 'unthreaded',\n  },\n]\n" },
+                    { at: 'threads/slopnators/sl_no_comment.ts', source: 'export const slopnator = { on: [], holds: () => false }\n' },
+                    { at: 'threads/slopnators/sl_unthreaded.ts', source: 'export const slopnator = { on: [], holds: () => false }\n' },
+                ],
+                at: 'threads/_probe_paired.ts',
+            },
             'export const PLAIN = 1',
             {
                 files: [{ at: 'threads/slopnators/not_a_walk.ts', source: 'export const HELPER = 1\n' }],

package/dist/integrity/slopnators/sl_unpaired_slopnator.ts

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync } from 'node:fs'
+import { existsSync, readFileSync } from '../../core/files.ts'
 import { join, resolve } from 'node:path'
 
 import { SEEDED, SHIPPED, slopnatorName, type Slopnator } from '../slopnator.ts'
@@ -46,8 +46,21 @@ export const slopnator: Slopnator = {
       },
     ],
     right: [
-      "const CONSTRAINTS = [\n  {\n    id: 'no-comment',\n  },\n]",
-      "const CONSTRAINTS = [\n  {\n    id: 'no-comment',\n  },\n  {\n    id: 'unthreaded',\n  },\n]",
+      {
+        files: [
+          { at: 'threads/_probe_paired.ts', source: "const CONSTRAINTS = [\n  {\n    id: 'no-comment',\n  },\n]\n" },
+          { at: 'threads/slopnators/sl_no_comment.ts', source: 'export const slopnator = { on: [], holds: () => false }\n' },
+        ],
+        at: 'threads/_probe_paired.ts',
+      },
+      {
+        files: [
+          { at: 'threads/_probe_paired.ts', source: "const CONSTRAINTS = [\n  {\n    id: 'no-comment',\n  },\n  {\n    id: 'unthreaded',\n  },\n]\n" },
+          { at: 'threads/slopnators/sl_no_comment.ts', source: 'export const slopnator = { on: [], holds: () => false }\n' },
+          { at: 'threads/slopnators/sl_unthreaded.ts', source: 'export const slopnator = { on: [], holds: () => false }\n' },
+        ],
+        at: 'threads/_probe_paired.ts',
+      },
       'export const PLAIN = 1',
       {
         files: [{ at: 'threads/slopnators/not_a_walk.ts', source: 'export const HELPER = 1\n' }],

package/dist/integrity/slopnators/sl_unthreaded.d.ts

@@ -39,6 +39,7 @@ export interface Declared {
     readonly tree?: string;
     readonly member?: string;
 }
+export declare const canonical: (at: string) => string;
 export declare function islandsDeclared(): readonly Declared[];
 export declare const declaresIsland: (text: string) => string | undefined;
 export declare function meaningsIn(text: string): readonly Meaning[];

package/dist/integrity/slopnators/sl_unthreaded.js

@@ -1,12 +1,12 @@
 import { parser } from 'typescript-eslint';
-import { descend, forget as forgetDescent, read, reached as fromThread, threading } from "../../core/descend.js";
+import { LISTS as LINEAGE, descend, forget as forgetDescent, read, reached as fromThread, threading } from "../../core/descend.js";
 import { findTree } from "../../core/tree.js";
 const TREE_AT = findTree();
 const ROOT = `${TREE_AT.at.split('\\').join('/')}/`;
 const TREE = TREE_AT.name;
 const THREAD_AT = `${TREE_AT.name}/thread.ts`;
 const FOLLOWABLE = /\.(ts|tsx|mts|cts|mjs|cjs|js)$/;
-const LISTS = new Set(['declares', 'derives', 'seeds']);
+const LISTS = new Set(LINEAGE);
 let threaders;
 let tree;
 const parsed = new Map();
@@ -164,6 +164,7 @@ export function governs(all, path) {
         return rest !== undefined && tail.every((part) => rest.includes(part));
     });
 }
+export const canonical = (at) => at.replace(/^threads\//, `${TREE}/`);
 export function islandsDeclared() {
     const found = [];
     const seen = new Set();
@@ -177,17 +178,20 @@ export function islandsDeclared() {
         all.push(...reaching(held));
     }
     for (const row of all) {
-        if (row.id === undefined || row.at === undefined || seen.has(row.at))
+        if (row.id === undefined || row.at === undefined)
             continue;
-        const source = read(row.at);
+        const at = canonical(row.at);
+        if (seen.has(at))
+            continue;
+        const source = read(at);
         if (source === undefined || !SCHEMA.test(source))
             continue;
-        seen.add(row.at);
+        seen.add(at);
         const tree = `${TREE}/${row.id}.ts`;
-        const named = all.find((one) => one.at === tree)?.id;
+        const named = all.find((one) => one.at !== undefined && canonical(one.at) === tree)?.id;
         found.push({
             id: row.id,
-            at: row.at,
+            at,
             describes: row.describes ?? '',
             governs: row.governs ?? [],
             define: DEFINE.exec(source)?.[1],
@@ -334,15 +338,19 @@ export const slopnator = {
             "export const HELD: Threaded = {\n  declares: [\n    {\n      at: 'threads/probe.tsx',\n    },\n  ],\n}",
             {
                 files: [
-                    { at: 'threads/_names_it.ts', source: "export const OWNER: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_child.ts',\n    },\n  ],\n}\n" },
+                    { at: 'thread/core/thread.ts', source: "export interface Threaded {\n  readonly id?: string\n  readonly at?: string\n  readonly describes?: string\n  readonly declares?: readonly Threaded[]\n  readonly derives?: readonly Threaded[]\n  readonly seeds?: readonly Threaded[]\n}\n" },
+                    { at: 'threads/thread.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const THREAD: Threaded = {\n  declares: [\n    {\n      at: 'threads/_names_it.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_names_it.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const OWNER: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_child.ts',\n    },\n  ],\n}\n" },
                     { at: 'scripts/_probe_child.ts', source: 'export const CHILD = 1\n' },
                 ],
                 at: 'scripts/_probe_child.ts',
             },
             {
                 files: [
-                    { at: 'threads/_names_it.ts', source: "export const OWNER: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_parent.ts',\n    },\n  ],\n}\n" },
-                    { at: 'scripts/_probe_parent.ts', source: "export const MID: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_leaf.ts',\n    },\n  ],\n}\n" },
+                    { at: 'thread/core/thread.ts', source: "export interface Threaded {\n  readonly id?: string\n  readonly at?: string\n  readonly describes?: string\n  readonly declares?: readonly Threaded[]\n  readonly derives?: readonly Threaded[]\n  readonly seeds?: readonly Threaded[]\n}\n" },
+                    { at: 'threads/thread.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const THREAD: Threaded = {\n  declares: [\n    {\n      at: 'threads/_names_it.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_names_it.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const OWNER: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_parent.ts',\n    },\n  ],\n}\n" },
+                    { at: 'scripts/_probe_parent.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const MID: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_leaf.ts',\n    },\n  ],\n}\n" },
                     { at: 'scripts/_probe_leaf.ts', source: 'export const LEAF = 1\n' },
                 ],
                 at: 'scripts/_probe_leaf.ts',

package/dist/integrity/slopnators/sl_unthreaded.ts

@@ -1,11 +1,11 @@
-import { readFileSync } from 'node:fs'
+import { readFileSync } from '../../core/files.ts'
 import { resolve } from 'node:path'
 
 import { parser } from 'typescript-eslint'
 
 import type { Slopnator } from '../slopnator.ts'
 
-import { descend, forget as forgetDescent, read, reached as fromThread, threading } from '../../core/descend.ts'
+import { LISTS as LINEAGE, descend, forget as forgetDescent, read, reached as fromThread, threading } from '../../core/descend.ts'
 import { findTree } from '../../core/tree.ts'
 
 const TREE_AT = findTree()
@@ -13,7 +13,7 @@ const ROOT = `${TREE_AT.at.split('\\').join('/')}/`
 const TREE = TREE_AT.name
 const THREAD_AT = `${TREE_AT.name}/thread.ts`
 const FOLLOWABLE = /\.(ts|tsx|mts|cts|mjs|cjs|js)$/
-const LISTS = new Set(['declares', 'derives', 'seeds'])
+const LISTS: ReadonlySet<string> = new Set(LINEAGE)
 
 let threaders: ReadonlySet<string> | undefined
 let tree: Index | undefined
@@ -221,6 +221,8 @@ export interface Declared {
   readonly member?: string
 }
 
+export const canonical = (at: string): string => at.replace(/^threads\//, `${TREE}/`)
+
 export function islandsDeclared(): readonly Declared[] {
   const found: Declared[] = []
   const seen = new Set<string>()
@@ -234,17 +236,19 @@ export function islandsDeclared(): readonly Declared[] {
   }
 
   for (const row of all) {
-    if (row.id === undefined || row.at === undefined || seen.has(row.at)) continue
-    const source = read(row.at)
+    if (row.id === undefined || row.at === undefined) continue
+    const at = canonical(row.at)
+    if (seen.has(at)) continue
+    const source = read(at)
     if (source === undefined || !SCHEMA.test(source)) continue
-    seen.add(row.at)
+    seen.add(at)
 
     const tree = `${TREE}/${row.id}.ts`
-    const named = all.find((one) => one.at === tree)?.id
+    const named = all.find((one) => one.at !== undefined && canonical(one.at) === tree)?.id
 
     found.push({
       id: row.id,
-      at: row.at,
+      at,
       describes: row.describes ?? '',
       governs: row.governs ?? [],
       define: DEFINE.exec(source)?.[1],
@@ -401,15 +405,19 @@ export const slopnator: Slopnator = {
       "export const HELD: Threaded = {\n  declares: [\n    {\n      at: 'threads/probe.tsx',\n    },\n  ],\n}",
       {
         files: [
-          { at: 'threads/_names_it.ts', source: "export const OWNER: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_child.ts',\n    },\n  ],\n}\n" },
+          { at: 'thread/core/thread.ts', source: "export interface Threaded {\n  readonly id?: string\n  readonly at?: string\n  readonly describes?: string\n  readonly declares?: readonly Threaded[]\n  readonly derives?: readonly Threaded[]\n  readonly seeds?: readonly Threaded[]\n}\n" },
+          { at: 'threads/thread.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const THREAD: Threaded = {\n  declares: [\n    {\n      at: 'threads/_names_it.ts',\n    },\n  ],\n}\n" },
+          { at: 'threads/_names_it.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const OWNER: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_child.ts',\n    },\n  ],\n}\n" },
           { at: 'scripts/_probe_child.ts', source: 'export const CHILD = 1\n' },
         ],
         at: 'scripts/_probe_child.ts',
       },
       {
         files: [
-          { at: 'threads/_names_it.ts', source: "export const OWNER: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_parent.ts',\n    },\n  ],\n}\n" },
-          { at: 'scripts/_probe_parent.ts', source: "export const MID: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_leaf.ts',\n    },\n  ],\n}\n" },
+          { at: 'thread/core/thread.ts', source: "export interface Threaded {\n  readonly id?: string\n  readonly at?: string\n  readonly describes?: string\n  readonly declares?: readonly Threaded[]\n  readonly derives?: readonly Threaded[]\n  readonly seeds?: readonly Threaded[]\n}\n" },
+          { at: 'threads/thread.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const THREAD: Threaded = {\n  declares: [\n    {\n      at: 'threads/_names_it.ts',\n    },\n  ],\n}\n" },
+          { at: 'threads/_names_it.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const OWNER: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_parent.ts',\n    },\n  ],\n}\n" },
+          { at: 'scripts/_probe_parent.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const MID: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_leaf.ts',\n    },\n  ],\n}\n" },
           { at: 'scripts/_probe_leaf.ts', source: 'export const LEAF = 1\n' },
         ],
         at: 'scripts/_probe_leaf.ts',

package/dist/integrity/slopnators/sl_untranslated_key.js

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync, readdirSync } from 'node:fs';
+import { existsSync, readFileSync, readdirSync } from "../../core/files.js";
 import { join } from 'node:path';
 import { named as packageOf } from "../../core/scope.js";
 /*

package/dist/integrity/slopnators/sl_untranslated_key.ts

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

package/dist/integrity/slopnators/sl_unversioned.js

@@ -21,10 +21,24 @@ export const slopnator = {
     },
     proves: {
         wrong: [
-            "export const L: Constraint = {\n  id: 'a-law',\n  at: 'packages/core/integrity/src/constraint.ts',\n  describes: 'A rule that must be enforced.',\n}",
+            {
+                files: [
+                    { at: 'thread/core/thread.ts', source: "export interface Threaded {\n  readonly id?: string\n  readonly at?: string\n  readonly describes?: string\n  readonly declares?: readonly Threaded[]\n  readonly derives?: readonly Threaded[]\n  readonly seeds?: readonly Threaded[]\n}\n" },
+                    { at: 'threads/thread.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const THREAD: Threaded = {\n  declares: [\n    {\n      at: 'threads/_unversioned_probe.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_unversioned_probe.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const L: Threaded = {\n  id: 'a-law',\n  at: 'packages/core/integrity/src/constraint.ts',\n  describes: 'A rule that must be enforced.',\n}\n" },
+                ],
+                at: 'threads/_unversioned_probe.ts',
+            },
         ],
         right: [
-            "export const L: Constraint = {\n  id: 'a-law',\n  at: 'packages/core/integrity/src/constraint.ts',\n  describes: 'A rule that must be enforced.',\n  version: 3,\n}",
+            {
+                files: [
+                    { at: 'thread/core/thread.ts', source: "export interface Threaded {\n  readonly id?: string\n  readonly at?: string\n  readonly describes?: string\n  readonly declares?: readonly Threaded[]\n  readonly derives?: readonly Threaded[]\n  readonly seeds?: readonly Threaded[]\n}\n" },
+                    { at: 'threads/thread.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const THREAD: Threaded = {\n  declares: [\n    {\n      at: 'threads/_unversioned_probe.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_unversioned_probe.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const L: Threaded = {\n  id: 'a-law',\n  at: 'packages/core/integrity/src/constraint.ts',\n  describes: 'A rule that must be enforced.',\n  version: 3,\n}\n" },
+                ],
+                at: 'threads/_unversioned_probe.ts',
+            },
             "export const HELPER = {\n  id: 'a-helper',\n  at: 'threads/meta.ts',\n  describes: 'Nothing conforms to this.',\n}",
         ],
     },

package/dist/integrity/slopnators/sl_unversioned.ts

@@ -26,10 +26,24 @@ export const slopnator: Slopnator = {
   },
   proves: {
     wrong: [
-      "export const L: Constraint = {\n  id: 'a-law',\n  at: 'packages/core/integrity/src/constraint.ts',\n  describes: 'A rule that must be enforced.',\n}",
+      {
+        files: [
+          { at: 'thread/core/thread.ts', source: "export interface Threaded {\n  readonly id?: string\n  readonly at?: string\n  readonly describes?: string\n  readonly declares?: readonly Threaded[]\n  readonly derives?: readonly Threaded[]\n  readonly seeds?: readonly Threaded[]\n}\n" },
+          { at: 'threads/thread.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const THREAD: Threaded = {\n  declares: [\n    {\n      at: 'threads/_unversioned_probe.ts',\n    },\n  ],\n}\n" },
+          { at: 'threads/_unversioned_probe.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const L: Threaded = {\n  id: 'a-law',\n  at: 'packages/core/integrity/src/constraint.ts',\n  describes: 'A rule that must be enforced.',\n}\n" },
+        ],
+        at: 'threads/_unversioned_probe.ts',
+      },
     ],
     right: [
-      "export const L: Constraint = {\n  id: 'a-law',\n  at: 'packages/core/integrity/src/constraint.ts',\n  describes: 'A rule that must be enforced.',\n  version: 3,\n}",
+      {
+        files: [
+          { at: 'thread/core/thread.ts', source: "export interface Threaded {\n  readonly id?: string\n  readonly at?: string\n  readonly describes?: string\n  readonly declares?: readonly Threaded[]\n  readonly derives?: readonly Threaded[]\n  readonly seeds?: readonly Threaded[]\n}\n" },
+          { at: 'threads/thread.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const THREAD: Threaded = {\n  declares: [\n    {\n      at: 'threads/_unversioned_probe.ts',\n    },\n  ],\n}\n" },
+          { at: 'threads/_unversioned_probe.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const L: Threaded = {\n  id: 'a-law',\n  at: 'packages/core/integrity/src/constraint.ts',\n  describes: 'A rule that must be enforced.',\n  version: 3,\n}\n" },
+        ],
+        at: 'threads/_unversioned_probe.ts',
+      },
       "export const HELPER = {\n  id: 'a-helper',\n  at: 'threads/meta.ts',\n  describes: 'Nothing conforms to this.',\n}",
     ],
   },

package/dist/integrity/sweep.js

@@ -1,5 +1,5 @@
 import { execFileSync } from 'node:child_process';
-import { existsSync, readFileSync, readdirSync } from 'node:fs';
+import { attached, existsSync, readFileSync, readdirSync } from "../core/files.js";
 import { join } from 'node:path';
 import { stdout } from 'node:process';
 import { descend } from "../core/descend.js";
@@ -8,6 +8,7 @@ import { exit, invoked } from "../core/invoked.js";
 import { parser } from 'typescript-eslint';
 import { CONSTRAINTS } from "./constraint.js";
 import { NOT_WRITTEN, ROOT, governs, load, reads, rules, slopnatorName, sweeps, visits } from "./slopnator.js";
+import { deriveTrials, runTrials } from "./generators/trial.js";
 const PARSEABLE = /\.(ts|tsx|mts|cts|mjs|cjs|js|jsx)$/;
 function tree(text) {
     const read = (jsx) => parser.parseForESLint(text, {
@@ -89,7 +90,7 @@ export function tracked(root) {
         })
             .split('\n')
             .filter(Boolean);
-        if (listed.length > 0) {
+        if (!attached() && listed.length > 0) {
             return [...new Set(listed)].filter((one) => existsSync(join(root, one)) && mine(one)).sort();
         }
     }
@@ -219,6 +220,15 @@ if (invoked(import.meta.url)) {
     const slopnators = await load(ROOT, governing);
     const named = new Map(governing.map((rule) => [rule.id, rule]));
     const run = sweep(ROOT, governing, slopnators, tracked(ROOT));
+    const { default: plugin } = await import("./lint.js");
+    const proving = runTrials(deriveTrials(governing, slopnators).trials, governing, plugin.rules, parser, slopnators);
+    const unproven = proving.outcomes.filter((one) => !one.passed);
+    const failing = new Map();
+    for (const one of unproven) {
+        const held = failing.get(one.rule) ?? [];
+        held.push(`      ${one.failures.join('; ')}`);
+        failing.set(one.rule, held);
+    }
     const warned = new Set();
     const grouped = new Map();
     const files = new Map();
@@ -244,6 +254,10 @@ if (invoked(import.meta.url)) {
                 ...(rule?.severity === 'warning' ? { severity: 'warning' } : {}),
             };
         }),
+        ...[...failing.entries()].map(([id, why]) => ({
+            detail: `${id} — ${String(why.length)} of its own trial(s) did not pass:\n${[...new Set(why)].sort().join('\n')}`,
+            instead: 'make the rule refuse the `wrong` it declares and accept the `right`, or correct the pair — a rule that has never fired on its own example is a rule nobody has seen work',
+        })),
         ...run.unrun.map((rule) => ({
             detail: `${rule} DID NOT RUN — no slopnator is on disk for it, so this sweep measured nothing for that rule and a green result here says nothing about it`,
             instead: 'write the walk the rule names, or delete the rule and its row together — half a rule reads as a whole one from every direction',
@@ -251,7 +265,7 @@ if (invoked(import.meta.url)) {
     ];
     runChecker('sweep', findings, `each naming one rule and the files it refuses — ${String(run.findings.length)} refusal(s) across ${String(refused.size)} file(s), ` +
         `over ${String(run.rules)} rule(s) run across ${String(run.swept)} of ${String(run.tracked)} file(s) in this tree, ` +
-        `${String(run.linted.length)} of them reading a syntax tree` +
+        `${String(run.linted.length)} of them reading a syntax tree, and ${String(proving.passed)} of ${String(proving.outcomes.length)} rule trial(s) passed, ${String(proving.measured)} measured` +
         `${run.unrun.length === 0 ? '' : `, ${String(run.unrun.length)} that DID NOT RUN AT ALL`}` +
         `${run.unmet.length === 0 ? '' : `, and ${String(run.unmet.length)} that governed no file here and so measured nothing: ${run.unmet.join(', ')}`}`);
     const forbidding = findings.length - run.findings.filter((one) => named.get(one.rule)?.severity === 'warning').length;

package/dist/integrity/sweep.ts

@@ -1,5 +1,5 @@
 import { execFileSync } from 'node:child_process'
-import { existsSync, readFileSync, readdirSync } from 'node:fs'
+import { attached, existsSync, readFileSync, readdirSync } from '../core/files.ts'
 import { join } from 'node:path'
 import { stdout } from 'node:process'
 import { pathToFileURL } from 'node:url'
@@ -13,6 +13,7 @@ import { parser } from 'typescript-eslint'
 import { CONSTRAINTS, type Constraint } from './constraint.ts'
 import { NOT_WRITTEN, ROOT, governs, load, reads, rules, slopnatorName, sweeps, visits, type Reading, type Slopnator, type Spoken, type Visiting } from './slopnator.ts'
 import { ruleMessage } from './lint.ts'
+import { deriveTrials, runTrials } from './generators/trial.ts'
 
 const PARSEABLE = /\.(ts|tsx|mts|cts|mjs|cjs|js|jsx)$/
 
@@ -108,7 +109,7 @@ export function tracked(root: string): readonly string[] {
     })
       .split('\n')
       .filter(Boolean)
-    if (listed.length > 0) {
+    if (!attached() && listed.length > 0) {
       return [...new Set(listed)].filter((one) => existsSync(join(root, one)) && mine(one)).sort()
     }
   } catch {
@@ -258,6 +259,17 @@ if (invoked(import.meta.url)) {
   const named = new Map(governing.map((rule) => [rule.id, rule]))
   const run = sweep(ROOT, governing, slopnators, tracked(ROOT))
 
+  const { default: plugin } = await import('./lint.ts')
+  const proving = runTrials(deriveTrials(governing, slopnators).trials, governing, plugin.rules, parser, slopnators)
+  const unproven = proving.outcomes.filter((one) => !one.passed)
+
+  const failing = new Map<string, string[]>()
+  for (const one of unproven) {
+    const held = failing.get(one.rule) ?? []
+    held.push(`      ${one.failures.join('; ')}`)
+    failing.set(one.rule, held)
+  }
+
   const warned = new Set<string>()
   const grouped = new Map<string, string[]>()
   const files = new Map<string, Set<string>>()
@@ -283,6 +295,11 @@ if (invoked(import.meta.url)) {
         ...(rule?.severity === 'warning' ? { severity: 'warning' as const } : {}),
       }
     }),
+    ...[...failing.entries()].map(([id, why]): Finding => ({
+      detail: `${id} — ${String(why.length)} of its own trial(s) did not pass:\n${[...new Set(why)].sort().join('\n')}`,
+      instead:
+        'make the rule refuse the `wrong` it declares and accept the `right`, or correct the pair — a rule that has never fired on its own example is a rule nobody has seen work',
+    })),
     ...run.unrun.map((rule): Finding => ({
       detail: `${rule} DID NOT RUN — no slopnator is on disk for it, so this sweep measured nothing for that rule and a green result here says nothing about it`,
       instead: 'write the walk the rule names, or delete the rule and its row together — half a rule reads as a whole one from every direction',
@@ -294,7 +311,7 @@ if (invoked(import.meta.url)) {
     findings,
     `each naming one rule and the files it refuses — ${String(run.findings.length)} refusal(s) across ${String(refused.size)} file(s), ` +
       `over ${String(run.rules)} rule(s) run across ${String(run.swept)} of ${String(run.tracked)} file(s) in this tree, ` +
-      `${String(run.linted.length)} of them reading a syntax tree` +
+      `${String(run.linted.length)} of them reading a syntax tree, and ${String(proving.passed)} of ${String(proving.outcomes.length)} rule trial(s) passed, ${String(proving.measured)} measured` +
       `${run.unrun.length === 0 ? '' : `, ${String(run.unrun.length)} that DID NOT RUN AT ALL`}` +
       `${run.unmet.length === 0 ? '' : `, and ${String(run.unmet.length)} that governed no file here and so measured nothing: ${run.unmet.join(', ')}`}`,
   )

package/dist/knowledge/attach.js

@@ -279,12 +279,6 @@ const SHIPPED = [
         id: 'docs-generator',
         source: "  {\n    id: 'docs-generator',\n    at: 'node_modules/@prestack/thread/dist/knowledge/generators/docsgen.js',\n    describes: 'The writer of the page stating what this app declares — it descends the tree once and writes every node, everything each one declares and derives, and the command that writes each of those, with the sentence the row itself states. It moved here from the package that had operations in it, where it could only ever have documented operations: a package stating what another package declares would be one package authoring another\\'s. Where an operation has been run, the count of recorded runs is taken from the trials file by path if that file is there, so what proves an operation survives without anything here depending on the package that produces it.',\n    version: 1,\n    by: 'thread docs',\n    runs: 'thread docs --check',\n  },",
     },
-    {
-        into: 'derivation.ts',
-        list: 'GENERATORS',
-        id: 'skills-generator',
-        source: "  {\n    id: 'skills-generator',\n    at: 'node_modules/@prestack/thread/dist/knowledge/generators/skills.js',\n    describes: 'The writer of one skill per `create` this tree has — it runs each maker bare, keeps what that command prints about itself, and writes one file per noun into `thread/knowledge`. What a skill teaches is what the command states, so the two cannot disagree, and a skill naming a `create` the tree no longer declares is removed rather than left teaching a command that refuses.',\n    version: 1,\n    by: 'thread skills',\n    runs: 'thread skills --check',\n  },",
-    },
 ];
 export const ATTACH = {
     attaches: SEEDED.attaches,

package/dist/knowledge/attach.ts

@@ -289,12 +289,6 @@ const SHIPPED: readonly { readonly into: string; readonly list: string; readonly
     id: 'docs-generator',
     source: "  {\n    id: 'docs-generator',\n    at: 'node_modules/@prestack/thread/dist/knowledge/generators/docsgen.js',\n    describes: 'The writer of the page stating what this app declares — it descends the tree once and writes every node, everything each one declares and derives, and the command that writes each of those, with the sentence the row itself states. It moved here from the package that had operations in it, where it could only ever have documented operations: a package stating what another package declares would be one package authoring another\\'s. Where an operation has been run, the count of recorded runs is taken from the trials file by path if that file is there, so what proves an operation survives without anything here depending on the package that produces it.',\n    version: 1,\n    by: 'thread docs',\n    runs: 'thread docs --check',\n  },",
   },
-  {
-    into: 'derivation.ts',
-    list: 'GENERATORS',
-    id: 'skills-generator',
-    source: "  {\n    id: 'skills-generator',\n    at: 'node_modules/@prestack/thread/dist/knowledge/generators/skills.js',\n    describes: 'The writer of one skill per `create` this tree has — it runs each maker bare, keeps what that command prints about itself, and writes one file per noun into `thread/knowledge`. What a skill teaches is what the command states, so the two cannot disagree, and a skill naming a `create` the tree no longer declares is removed rather than left teaching a command that refuses.',\n    version: 1,\n    by: 'thread skills',\n    runs: 'thread skills --check',\n  },",
-  },
 ]
 export const ATTACH: Attaching = {
   attaches: SEEDED.attaches,

package/dist/knowledge/generators/docsgen.js

@@ -1,9 +1,10 @@
-import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
-import { dirname, resolve } from 'node:path';
+import { existsSync, readFileSync, writeFileSync } from "../../core/files.js";
+import { resolve } from 'node:path';
 import { argv, stderr, stdout } from 'node:process';
 import { exit } from "../../core/invoked.js";
 import { ROOT, descend } from "../../core/descend.js";
 import { forbids, runChecker } from "../../core/finding.js";
+import { agentInstructions } from "../../integrity/lint.js";
 const AT = 'docs.md';
 const CHECKING = argv.includes('--check');
 const SHOWING = argv.includes('--show');
@@ -74,6 +75,7 @@ const commands = [...pass.derived.values(), ...[...under.values()].flat().map((o
     .filter((one) => text(one.by)?.startsWith('thread ') === true)
     .reduce((found, one) => found.set(text(one.by), one), new Map());
 const sections = [...under.keys()].sort();
+const refused = agentInstructions();
 const page = [
     '<!-- GENERATED by `thread docs` from what this app declares — do not edit by hand.',
     '     Every sentence here is the `describes` on a row. To change one, change the row. -->',
@@ -92,6 +94,14 @@ const page = [
             .sort(([one], [two]) => (one < two ? -1 : 1))
             .map(([word, one]) => `- \`${word}\` — ${said(one)}`)),
     '',
+    '## What the build refuses',
+    '',
+    'Every rule below stops a build outright. Each line pairs the code it rejects with the code it requires instead.',
+    '',
+    ...(refused.length === 0
+        ? ['_nothing here refuses anything yet._']
+        : refused.map((rule) => `- ${rule}`)),
+    '',
     ...sections.flatMap((node) => {
         const own = pass.stated.get(node) ?? pass.derived.get(node);
         const kept = under.get(node) ?? [];
@@ -140,6 +150,5 @@ if (CHECKING) {
     runChecker('docs', findings, `${AT} states every row this app declares, ${String(pass.rows)} of them`);
     exit(findings.length === 0 ? 0 : 1);
 }
-mkdirSync(dirname(PATH), { recursive: true });
 writeFileSync(PATH, page, 'utf8');
 stdout.write(`docs: wrote ${AT} — ${String(sections.length)} node(s), ${String(commands.size)} command(s), ${String(words.length)} word(s).\n`);

package/dist/knowledge/generators/docsgen.ts

@@ -1,10 +1,11 @@
-import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs'
+import { existsSync, readFileSync, writeFileSync } from '../../core/files.ts'
 import { dirname, resolve } from 'node:path'
 import { argv, stderr, stdout } from 'node:process'
 
 import { exit } from '../../core/invoked.ts'
 import { ROOT, descend, type Pass, type Row } from '../../core/descend.ts'
 import { forbids, runChecker, type Finding } from '../../core/finding.ts'
+import { agentInstructions } from '../../integrity/lint.ts'
 
 const AT = 'docs.md'
 
@@ -101,6 +102,8 @@ const commands = [...pass.derived.values(), ...[...under.values()].flat().map((o
 
 const sections = [...under.keys()].sort()
 
+const refused = agentInstructions()
+
 const page = [
   '<!-- GENERATED by `thread docs` from what this app declares — do not edit by hand.',
   '     Every sentence here is the `describes` on a row. To change one, change the row. -->',
@@ -119,6 +122,14 @@ const page = [
         .sort(([one], [two]) => (one < two ? -1 : 1))
         .map(([word, one]) => `- \`${word}\` — ${said(one)}`)),
   '',
+  '## What the build refuses',
+  '',
+  'Every rule below stops a build outright. Each line pairs the code it rejects with the code it requires instead.',
+  '',
+  ...(refused.length === 0
+    ? ['_nothing here refuses anything yet._']
+    : refused.map((rule) => `- ${rule}`)),
+  '',
   ...sections.flatMap((node) => {
     const own = pass.stated.get(node) ?? pass.derived.get(node)
     const kept = under.get(node) ?? []
@@ -169,6 +180,5 @@ if (CHECKING) {
   exit(findings.length === 0 ? 0 : 1)
 }
 
-mkdirSync(dirname(PATH), { recursive: true })
 writeFileSync(PATH, page, 'utf8')
 stdout.write(`docs: wrote ${AT} — ${String(sections.length)} node(s), ${String(commands.size)} command(s), ${String(words.length)} word(s).\n`)

package/dist/knowledge/generators/glossary.js

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync, writeFileSync } from 'node:fs';
+import { existsSync, readFileSync, writeFileSync } from "../../core/files.js";
 import { dirname, relative, resolve } from 'node:path';
 import { argv, stderr, stdout } from 'node:process';
 import { fileURLToPath } from 'node:url';

package/dist/knowledge/generators/glossary.ts

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync, writeFileSync } from 'node:fs'
+import { existsSync, readFileSync, writeFileSync } from '../../core/files.ts'
 import { dirname, relative, resolve } from 'node:path'
 import { argv, stderr, stdout } from 'node:process'
 import { fileURLToPath } from 'node:url'