@prestack/thread 0.0.3 → 0.1.0

package/dist/integrity/slopnators/sl_stale_path.ts

@@ -1,4 +1,4 @@
-import { existsSync, readdirSync, statSync } from 'node:fs'
+import { existsSync, readdirSync, statSync } from '../../core/files.ts'
 import { resolve } from 'node:path'
 
 import type { Slopnator } from '../slopnator.ts'
@@ -6,6 +6,8 @@ import { descend } from '../../core/descend.ts'
 import { findTree } from '../../core/tree.ts'
 
 const ROOT = findTree().at
+const TREE = findTree().name
+const canonical = (at: string): string => (at.startsWith('threads/') ? `${TREE}/${at.slice('threads/'.length)}` : at)
 const NAMES_A_FILE = /\.[a-z]{1,5}$/
 
 /*
@@ -51,43 +53,120 @@ const ours = (): ReadonlySet<string> => {
   }
 }
 
+interface Keyed {
+  readonly type?: string
+  readonly key?: { readonly name?: string; readonly value?: unknown }
+  readonly value?: { readonly type?: string }
+  readonly properties?: readonly Keyed[]
+}
+
+const named = (one: Keyed): string | undefined => one.key?.name ?? (typeof one.key?.value === 'string' ? one.key.value : undefined)
+
+function proving(ancestors: readonly unknown[]): boolean {
+  for (let at = ancestors.length - 1; at >= 0; at -= 1) {
+    const held = ancestors[at] as Keyed
+    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: Slopnator = {
   on: ['Literal'],
-  holds: (node) => {
+  holds: (node, held) => {
+    if (proving(held.ancestors())) return false
     const value = (node as { value?: unknown }).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] ?? '')) return false
+    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)) return false
-    if (existsSync(resolve(ROOT, value))) return false
-    if (derived.has(value)) return false
+    if (!NAMES_A_FILE.test(path)) return false
+    if (existsSync(resolve(ROOT, path))) return false
+    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'",
     ],
   },

package/dist/integrity/slopnators/sl_twice_meant.js

@@ -18,8 +18,31 @@ export const slopnator = {
     },
     proves: {
         wrong: [
-            "const M: Threaded = {\n  declares: [\n    {\n      id: 'one',\n      describes: 'The first thing.',\n    },\n    {\n      id: 'one',\n      describes: 'A different thing entirely.',\n    },\n  ],\n}",
-            "const M: Threaded = {\n  declares: [\n    {\n      id: 'two',\n      describes: 'The stated meaning.',\n    },\n    {\n      id: 'two',\n    },\n  ],\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/_probe_meant.ts',\n    },\n  ],\n}\n",
+                    },
+                    {
+                        at: 'threads/_probe_meant.ts',
+                        source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      id: 'one',\n      describes: 'The first thing.',\n    },\n    {\n      id: 'one',\n      describes: 'A different thing entirely.',\n    },\n  ],\n}\n",
+                    },
+                ],
+                at: 'threads/_probe_meant.ts',
+            },
+            {
+                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/_probe_meant_two.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_probe_meant_two.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      id: 'two',\n      describes: 'The stated meaning.',\n    },\n    {\n      id: 'two',\n    },\n  ],\n}\n" },
+                ],
+                at: 'threads/_probe_meant_two.ts',
+            },
         ],
         right: [
             "const M: Threaded = {\n  declares: [\n    {\n      id: 'one',\n      describes: 'The first thing.',\n    },\n    {\n      id: 'one',\n      describes: 'The first thing.',\n    },\n  ],\n}",

package/dist/integrity/slopnators/sl_twice_meant.ts

@@ -19,8 +19,34 @@ export const slopnator: Slopnator = {
   },
   proves: {
     wrong: [
-      "const M: Threaded = {\n  declares: [\n    {\n      id: 'one',\n      describes: 'The first thing.',\n    },\n    {\n      id: 'one',\n      describes: 'A different thing entirely.',\n    },\n  ],\n}",
-      "const M: Threaded = {\n  declares: [\n    {\n      id: 'two',\n      describes: 'The stated meaning.',\n    },\n    {\n      id: 'two',\n    },\n  ],\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/_probe_meant.ts',\n    },\n  ],\n}\n",
+          },
+          {
+            at: 'threads/_probe_meant.ts',
+            source:
+              "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      id: 'one',\n      describes: 'The first thing.',\n    },\n    {\n      id: 'one',\n      describes: 'A different thing entirely.',\n    },\n  ],\n}\n",
+          },
+        ],
+        at: 'threads/_probe_meant.ts',
+      },
+          {
+      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/_probe_meant_two.ts',\n    },\n  ],\n}\n" },
+        { at: 'threads/_probe_meant_two.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      id: 'two',\n      describes: 'The stated meaning.',\n    },\n    {\n      id: 'two',\n    },\n  ],\n}\n" },
+      ],
+      at: 'threads/_probe_meant_two.ts',
+    },
     ],
     right: [
       "const M: Threaded = {\n  declares: [\n    {\n      id: 'one',\n      describes: 'The first thing.',\n    },\n    {\n      id: 'one',\n      describes: 'The first thing.',\n    },\n  ],\n}",

package/dist/integrity/slopnators/sl_twice_parented.js

@@ -1,6 +1,6 @@
-import { atsIn, here, index, parses, unreadable } from "./sl_unthreaded.js";
+import { atsIn, canonical, here, index, parses, unreadable } from "./sl_unthreaded.js";
 const ONLY_DECLARES = new Set(['declares']);
-const declaredIn = (text) => atsIn(text, ONLY_DECLARES);
+const declaredIn = (text) => atsIn(text, ONLY_DECLARES).map(canonical);
 export const slopnator = {
     holds: (_node, at) => {
         const path = here(at.filename);
@@ -19,9 +19,30 @@ export const slopnator = {
     },
     proves: {
         wrong: [
-            "const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/one.ts',\n    },\n    {\n      at: 'threads/one.ts',\n    },\n  ],\n}",
-            "const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/two.ts',\n    },\n    {\n      at: 'threads/three.ts',\n    },\n    {\n      at: 'threads/two.ts',\n    },\n  ],\n}",
-            "const ROW = {\n  at: 'threads/one.ts',\n}\nconst M: Threaded = {\n  declares: [ROW, ROW],\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/_probe_parented.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_probe_parented.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/one.ts',\n    },\n    {\n      at: 'threads/one.ts',\n    },\n  ],\n}\n" },
+                ],
+                at: 'threads/_probe_parented.ts',
+            },
+            {
+                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/_probe_parented_2.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_probe_parented_2.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/two.ts',\n    },\n    {\n      at: 'threads/three.ts',\n    },\n    {\n      at: 'threads/two.ts',\n    },\n  ],\n}\n" },
+                ],
+                at: 'threads/_probe_parented_2.ts',
+            },
+            {
+                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/_probe_parented_hoisted.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_probe_parented_hoisted.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nconst ROW = {\n  at: 'threads/one.ts',\n}\nconst M: Threaded = {\n  declares: [ROW, ROW],\n}\n" },
+                ],
+                at: 'threads/_probe_parented_hoisted.ts',
+            },
         ],
         right: [
             "const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/one.ts',\n    },\n    {\n      at: 'threads/two.ts',\n    },\n  ],\n}",

package/dist/integrity/slopnators/sl_twice_parented.ts

@@ -1,9 +1,9 @@
 import type { Slopnator } from '../slopnator.ts'
-import { atsIn, here, index, parses, unreadable } from './sl_unthreaded.ts'
+import { atsIn, canonical, here, index, parses, unreadable } from './sl_unthreaded.ts'
 
 const ONLY_DECLARES = new Set(['declares'])
 
-const declaredIn = (text: string): readonly string[] => atsIn(text, ONLY_DECLARES)
+const declaredIn = (text: string): readonly string[] => atsIn(text, ONLY_DECLARES).map(canonical)
 
 export const slopnator: Slopnator = {
   holds: (_node, at) => {
@@ -22,9 +22,30 @@ export const slopnator: Slopnator = {
   },
   proves: {
     wrong: [
-      "const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/one.ts',\n    },\n    {\n      at: 'threads/one.ts',\n    },\n  ],\n}",
-      "const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/two.ts',\n    },\n    {\n      at: 'threads/three.ts',\n    },\n    {\n      at: 'threads/two.ts',\n    },\n  ],\n}",
-      "const ROW = {\n  at: 'threads/one.ts',\n}\nconst M: Threaded = {\n  declares: [ROW, ROW],\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/_probe_parented.ts',\n    },\n  ],\n}\n" },
+        { at: 'threads/_probe_parented.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/one.ts',\n    },\n    {\n      at: 'threads/one.ts',\n    },\n  ],\n}\n" },
+      ],
+      at: 'threads/_probe_parented.ts',
+    },
+          {
+      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/_probe_parented_2.ts',\n    },\n  ],\n}\n" },
+        { at: 'threads/_probe_parented_2.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/two.ts',\n    },\n    {\n      at: 'threads/three.ts',\n    },\n    {\n      at: 'threads/two.ts',\n    },\n  ],\n}\n" },
+      ],
+      at: 'threads/_probe_parented_2.ts',
+    },
+      {
+      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/_probe_parented_hoisted.ts',\n    },\n  ],\n}\n" },
+        { at: 'threads/_probe_parented_hoisted.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nconst ROW = {\n  at: 'threads/one.ts',\n}\nconst M: Threaded = {\n  declares: [ROW, ROW],\n}\n" },
+      ],
+      at: 'threads/_probe_parented_hoisted.ts',
+    },
     ],
     right: [
       "const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/one.ts',\n    },\n    {\n      at: 'threads/two.ts',\n    },\n  ],\n}",

package/dist/integrity/slopnators/sl_undeclared_node.js

@@ -49,8 +49,24 @@ export const slopnator = {
             "import { node as invented } from 'nodes/nd_nowhere.ts'",
         ],
         right: [
-            "import { node as read } from '../nodes/nd_read.ts'",
-            "import { node as action } from '../nodes/nd_action.ts'\nimport { node as read } from '../nodes/nd_read.ts'",
+            {
+                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/_probe_nodes.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_probe_nodes.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const NODES: Threaded = {\n  id: 'nodes',\n  declares: [\n    {\n      id: 'read',\n      at: 'nodes/nd_read.ts',\n    },\n    {\n      id: 'action',\n      at: 'nodes/nd_action.ts',\n    },\n  ],\n}\n" },
+                    { at: 'operations/_probe_read.ts', source: "import { node as read } from '../nodes/nd_read.ts'" },
+                ],
+                at: 'operations/_probe_read.ts',
+            },
+            {
+                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/_probe_nodes.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_probe_nodes.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const NODES: Threaded = {\n  id: 'nodes',\n  declares: [\n    {\n      id: 'read',\n      at: 'nodes/nd_read.ts',\n    },\n    {\n      id: 'action',\n      at: 'nodes/nd_action.ts',\n    },\n  ],\n}\n" },
+                    { at: 'operations/_probe_multi.ts', source: "import { node as action } from '../nodes/nd_action.ts'\nimport { node as read } from '../nodes/nd_read.ts'" },
+                ],
+                at: 'operations/_probe_multi.ts',
+            },
             "import { z } from 'zod'",
             "import type { Operation } from '../../operations/operations.ts'",
             "import type { Held } from '../../operations/nodes.ts'",

package/dist/integrity/slopnators/sl_undeclared_node.ts

@@ -59,8 +59,24 @@ export const slopnator: Slopnator = {
       "import { node as invented } from 'nodes/nd_nowhere.ts'",
     ],
     right: [
-      "import { node as read } from '../nodes/nd_read.ts'",
-      "import { node as action } from '../nodes/nd_action.ts'\nimport { node as read } from '../nodes/nd_read.ts'",
+      {
+        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/_probe_nodes.ts',\n    },\n  ],\n}\n" },
+          { at: 'threads/_probe_nodes.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const NODES: Threaded = {\n  id: 'nodes',\n  declares: [\n    {\n      id: 'read',\n      at: 'nodes/nd_read.ts',\n    },\n    {\n      id: 'action',\n      at: 'nodes/nd_action.ts',\n    },\n  ],\n}\n" },
+          { at: 'operations/_probe_read.ts', source: "import { node as read } from '../nodes/nd_read.ts'" },
+        ],
+        at: 'operations/_probe_read.ts',
+      },
+      {
+        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/_probe_nodes.ts',\n    },\n  ],\n}\n" },
+          { at: 'threads/_probe_nodes.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const NODES: Threaded = {\n  id: 'nodes',\n  declares: [\n    {\n      id: 'read',\n      at: 'nodes/nd_read.ts',\n    },\n    {\n      id: 'action',\n      at: 'nodes/nd_action.ts',\n    },\n  ],\n}\n" },
+          { at: 'operations/_probe_multi.ts', source: "import { node as action } from '../nodes/nd_action.ts'\nimport { node as read } from '../nodes/nd_read.ts'" },
+        ],
+        at: 'operations/_probe_multi.ts',
+      },
       "import { z } from 'zod'",
       "import type { Operation } from '../../operations/operations.ts'",
       "import type { Held } from '../../operations/nodes.ts'",

package/dist/integrity/slopnators/sl_undeclared_operation.js

@@ -106,9 +106,11 @@ export const slopnator = {
         right: [
             {
                 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/_probe_operations.ts',\n    },\n  ],\n}\n" },
                     {
                         at: 'threads/_probe_operations.ts',
-                        source: "export const OPERATIONS: Threaded = {\n  id: 'operations',\n  declares: [\n    {\n      id: 'wf_send_invoice',\n      at: 'operations/wf_send_invoice.ts',\n    },\n  ],\n}\n",
+                        source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const OPERATIONS: Threaded = {\n  id: 'operations',\n  declares: [\n    {\n      id: 'wf_send_invoice',\n      at: 'operations/wf_send_invoice.ts',\n    },\n  ],\n}\n",
                     },
                     { at: 'app/_probe_known.tsx', source: "export const HELD = dispatch('wf_send_invoice')\n" },
                 ],

package/dist/integrity/slopnators/sl_undeclared_operation.ts

@@ -132,10 +132,12 @@ export const slopnator: Slopnator = {
     right: [
       {
         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/_probe_operations.ts',\n    },\n  ],\n}\n" },
           {
             at: 'threads/_probe_operations.ts',
             source:
-              "export const OPERATIONS: Threaded = {\n  id: 'operations',\n  declares: [\n    {\n      id: 'wf_send_invoice',\n      at: 'operations/wf_send_invoice.ts',\n    },\n  ],\n}\n",
+              "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const OPERATIONS: Threaded = {\n  id: 'operations',\n  declares: [\n    {\n      id: 'wf_send_invoice',\n      at: 'operations/wf_send_invoice.ts',\n    },\n  ],\n}\n",
           },
           { at: 'app/_probe_known.tsx', source: "export const HELD = dispatch('wf_send_invoice')\n" },
         ],

package/dist/integrity/slopnators/sl_undeclared_variant.js

@@ -81,9 +81,11 @@ export const slopnator = {
         wrong: [
             {
                 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/_probe_worn.ts',\n    },\n  ],\n}\n" },
                     {
                         at: 'threads/_probe_worn.ts',
-                        source: "export const ELEMENTS: Threaded = {\n  id: 'element',\n  declares: [\n    {\n      id: 'button',\n      at: 'app/_probe_button.tsx',\n    },\n  ],\n}\n\nexport const VARIANTS: Threaded = {\n  id: 'variant',\n  declares: [\n    {\n      id: 'button-primary',\n      at: 'app/_probe_variant.ts',\n      wears: ['Button'],\n    },\n  ],\n}\n",
+                        source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const ELEMENTS: Threaded = {\n  id: 'element',\n  declares: [\n    {\n      id: 'button',\n      at: 'app/_probe_button.tsx',\n    },\n  ],\n}\n\nexport const VARIANTS: Threaded = {\n  id: 'variant',\n  declares: [\n    {\n      id: 'button-primary',\n      at: 'app/_probe_variant.ts',\n      wears: ['Button'],\n    },\n  ],\n}\n",
                     },
                     { at: 'app/_probe_undeclared.tsx', source: 'export const HELD = <Button.primary />\n' },
                 ],
@@ -91,9 +93,11 @@ export const slopnator = {
             },
             {
                 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/_probe_worn.ts',\n    },\n  ],\n}\n" },
                     {
                         at: 'threads/_probe_worn.ts',
-                        source: "export const ELEMENTS: Threaded = {\n  id: 'element',\n  declares: [\n    {\n      id: 'button',\n      at: 'app/_probe_button.tsx',\n    },\n    {\n      id: 'badge',\n      at: 'app/_probe_badge.tsx',\n    },\n  ],\n}\n\nexport const VARIANTS: Threaded = {\n  id: 'variant',\n  declares: [\n    {\n      id: 'chip',\n      at: 'app/_probe_chip.ts',\n      wears: ['Badge'],\n    },\n  ],\n}\n",
+                        source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const ELEMENTS: Threaded = {\n  id: 'element',\n  declares: [\n    {\n      id: 'button',\n      at: 'app/_probe_button.tsx',\n    },\n    {\n      id: 'badge',\n      at: 'app/_probe_badge.tsx',\n    },\n  ],\n}\n\nexport const VARIANTS: Threaded = {\n  id: 'variant',\n  declares: [\n    {\n      id: 'chip',\n      at: 'app/_probe_chip.ts',\n      wears: ['Badge'],\n    },\n  ],\n}\n",
                     },
                     { at: 'app/_probe_mispaired.tsx', source: 'export const HELD = <Button.chip />\n' },
                 ],

package/dist/integrity/slopnators/sl_undeclared_variant.ts

@@ -109,10 +109,12 @@ export const slopnator: Slopnator = {
     wrong: [
       {
         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/_probe_worn.ts',\n    },\n  ],\n}\n" },
           {
             at: 'threads/_probe_worn.ts',
             source:
-              "export const ELEMENTS: Threaded = {\n  id: 'element',\n  declares: [\n    {\n      id: 'button',\n      at: 'app/_probe_button.tsx',\n    },\n  ],\n}\n\nexport const VARIANTS: Threaded = {\n  id: 'variant',\n  declares: [\n    {\n      id: 'button-primary',\n      at: 'app/_probe_variant.ts',\n      wears: ['Button'],\n    },\n  ],\n}\n",
+              "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const ELEMENTS: Threaded = {\n  id: 'element',\n  declares: [\n    {\n      id: 'button',\n      at: 'app/_probe_button.tsx',\n    },\n  ],\n}\n\nexport const VARIANTS: Threaded = {\n  id: 'variant',\n  declares: [\n    {\n      id: 'button-primary',\n      at: 'app/_probe_variant.ts',\n      wears: ['Button'],\n    },\n  ],\n}\n",
           },
           { at: 'app/_probe_undeclared.tsx', source: 'export const HELD = <Button.primary />\n' },
         ],
@@ -120,10 +122,12 @@ export const slopnator: Slopnator = {
       },
       {
         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/_probe_worn.ts',\n    },\n  ],\n}\n" },
           {
             at: 'threads/_probe_worn.ts',
             source:
-              "export const ELEMENTS: Threaded = {\n  id: 'element',\n  declares: [\n    {\n      id: 'button',\n      at: 'app/_probe_button.tsx',\n    },\n    {\n      id: 'badge',\n      at: 'app/_probe_badge.tsx',\n    },\n  ],\n}\n\nexport const VARIANTS: Threaded = {\n  id: 'variant',\n  declares: [\n    {\n      id: 'chip',\n      at: 'app/_probe_chip.ts',\n      wears: ['Badge'],\n    },\n  ],\n}\n",
+              "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const ELEMENTS: Threaded = {\n  id: 'element',\n  declares: [\n    {\n      id: 'button',\n      at: 'app/_probe_button.tsx',\n    },\n    {\n      id: 'badge',\n      at: 'app/_probe_badge.tsx',\n    },\n  ],\n}\n\nexport const VARIANTS: Threaded = {\n  id: 'variant',\n  declares: [\n    {\n      id: 'chip',\n      at: 'app/_probe_chip.ts',\n      wears: ['Badge'],\n    },\n  ],\n}\n",
           },
           { at: 'app/_probe_mispaired.tsx', source: 'export const HELD = <Button.chip />\n' },
         ],

package/dist/integrity/slopnators/sl_ungoverned_island.js

@@ -37,10 +37,9 @@ export const slopnator = {
         right: [
             {
                 files: [
-                    {
-                        at: 'threads/_governed_probe.ts',
-                        source: "export const L: Constraint = {\n  id: 'a-law',\n  governs: 'entities',\n}\n",
-                    },
+                    { at: 'threads/thread.ts', source: "export const THREAD: Threaded = {\n  declares: [\n    { id: 'entities', at: 'src/islands/entities.ts', governs: ['app/_declare/entities.ts'] },\n  ],\n}\n" },
+                    { at: 'src/islands/entities.ts', source: 'export const EntitiesIslandSchema = {}\nexport function defineEntities() {}\n' },
+                    { at: 'threads/_governed_probe.ts', source: "export const L: Constraint = {\n  id: 'a-law',\n  governs: 'entities',\n}\n" },
                 ],
                 at: 'threads/_governed_probe.ts',
             },

package/dist/integrity/slopnators/sl_ungoverned_island.ts

@@ -40,10 +40,9 @@ export const slopnator: Slopnator = {
     right: [
       {
         files: [
-          {
-            at: 'threads/_governed_probe.ts',
-            source: "export const L: Constraint = {\n  id: 'a-law',\n  governs: 'entities',\n}\n",
-          },
+          { at: 'threads/thread.ts', source: "export const THREAD: Threaded = {\n  declares: [\n    { id: 'entities', at: 'src/islands/entities.ts', governs: ['app/_declare/entities.ts'] },\n  ],\n}\n" },
+          { at: 'src/islands/entities.ts', source: 'export const EntitiesIslandSchema = {}\nexport function defineEntities() {}\n' },
+          { at: 'threads/_governed_probe.ts', source: "export const L: Constraint = {\n  id: 'a-law',\n  governs: 'entities',\n}\n" },
         ],
         at: 'threads/_governed_probe.ts',
       },

package/dist/integrity/slopnators/sl_unkept_rows.js

@@ -1,4 +1,4 @@
-import { existsSync, readdirSync, readFileSync } from 'node:fs';
+import { existsSync, readdirSync, readFileSync } from "../../core/files.js";
 import { resolve } from 'node:path';
 const STORES = 'src/stores';
 /* What hands an operation its seams, seeded once and then the app's own. */

package/dist/integrity/slopnators/sl_unkept_rows.ts

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

package/dist/integrity/slopnators/sl_unpaired_member.js

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync, readdirSync } from 'node:fs';
+import { existsSync, readFileSync, readdirSync } from "../../core/files.js";
 import { resolve } from 'node:path';
 import { foldersGoverned, here, islandsDeclared, rowsIn } from "./sl_unthreaded.js";
 import { findTree } from "../../core/tree.js";
@@ -47,6 +47,13 @@ function declaredNames(one) {
         return [];
     }
 }
+const ISLAND = [
+    {
+        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 = {
     holds: (_node, at) => {
         const path = here(at.filename);
@@ -88,25 +95,23 @@ export const 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',
             },
         ],