@prestack/thread 0.0.2 → 0.1.0

package/dist/integrity/slopnator.d.ts

@@ -1,4 +1,4 @@
-import { type Constraint } from './constraint.ts';
+import { type Constraint, type Proof } from './constraint.ts';
 export declare const NOT_WRITTEN: unique symbol;
 export declare const SHIPPED: string;
 export declare const SEEDED: string;
@@ -48,14 +48,6 @@ export type Visiting = Reading & {
 export declare const reads: (one: Slopnator) => one is Reading;
 export declare const visits: (one: Slopnator) => one is Visiting;
 export declare const sweeps: (one: Slopnator) => one is Reading;
-export interface Sourced {
-    readonly at: string;
-    readonly source: string;
-}
-export type Proof = string | {
-    readonly files: readonly Sourced[];
-    readonly at: string;
-};
 export interface Byproduct {
     readonly path: string;
     readonly content: string;
@@ -69,11 +61,6 @@ export declare class UnloadableSlopnatorError extends Error {
 export declare class UnreadableRulesError extends Error {
     constructor(at: string, because: string);
 }
-export declare class BrokenSealError extends Error {
-    constructor(at: string, why: string);
-}
-export declare function unsealed(home?: string): readonly string[];
-export declare function verify(): void;
 export declare function load(root: string, all: readonly Constraint[]): Promise<ReadonlyMap<string, Slopnator>>;
 export declare function proofsOf(rule: Constraint, slopnators: ReadonlyMap<string, Slopnator>): {
     readonly wrong: readonly Proof[];

package/dist/integrity/slopnator.js

@@ -7,18 +7,15 @@ var __rewriteRelativeImportExtension = (this && this.__rewriteRelativeImportExte
     return path;
 };
 import { spawnSync } from 'node:child_process';
-import { createHash } from 'node:crypto';
-import { existsSync, mkdirSync, readFileSync, readdirSync, writeFileSync } from 'node:fs';
-import { dirname, join, sep } from 'node:path';
+import { existsSync, readFileSync, readdirSync, writeFileSync } from "../core/files.js";
+import { dirname, join } from 'node:path';
 import { fileURLToPath, pathToFileURL } from 'node:url';
 import { invoked } from "../core/invoked.js";
 import { listBounds, quoted, withSeed } from "../core/rows.js";
 import { CONSTRAINTS } from "./constraint.js";
-import { SEALED } from "./sealed.js";
 import { findTree, inTree } from "../core/tree.js";
 export const NOT_WRITTEN = Symbol.for('thread.slopnator.not_written');
 const HOME = dirname(fileURLToPath(import.meta.url));
-const BUILT = dirname(dirname(HOME));
 export const SHIPPED = `${HOME}/slopnators`;
 export const SEEDED = `${findTree().name}/slopnators`;
 function homes(root) {
@@ -103,40 +100,7 @@ export class UnreadableRulesError extends Error {
         this.name = 'UnreadableRulesError';
     }
 }
-export class BrokenSealError extends Error {
-    constructor(at, why) {
-        super(`${at} ${why} — this package is not the one that was published, so nothing it refuses or allows can be trusted. ` +
-            'Reinstall it (`pnpm install --frozen-lockfile` re-verifies the published bytes), or if you meant to change it, run `thread seal` and publish that.');
-        this.name = 'BrokenSealError';
-    }
-}
-const INSTALLED = HOME.includes(`${sep}node_modules${sep}`);
-export function unsealed(home = HOME) {
-    const broken = [];
-    for (const [at, hash] of Object.entries(SEALED)) {
-        let held;
-        try {
-            held = readFileSync(join(home, at));
-        }
-        catch {
-            broken.push(`${at} is missing`);
-            continue;
-        }
-        if (createHash('sha256').update(held).digest('hex') !== hash)
-            broken.push(`${at} differs from the seal`);
-    }
-    return broken;
-}
-export function verify() {
-    if (!INSTALLED)
-        return;
-    const broken = unsealed(BUILT);
-    const first = broken[0];
-    if (first !== undefined)
-        throw new BrokenSealError(first.split(' ')[0] ?? '', first.split(' ').slice(1).join(' '));
-}
 export async function load(root, all) {
-    verify();
     const found = new Map();
     for (const rule of all) {
         const name = slopnatorName(rule.id);
@@ -161,7 +125,12 @@ export async function load(root, all) {
     return found;
 }
 export function proofsOf(rule, slopnators) {
-    const slopnated = slopnators.get(slopnatorName(rule.id))?.proves;
+    const slopnator = slopnators.get(slopnatorName(rule.id));
+    const slopnated = slopnator?.proves;
+    const own = (slopnated?.wrong.length ?? 0) + (slopnated?.right.length ?? 0);
+    if (slopnator !== undefined && !reads(slopnator) && own > 0) {
+        return { wrong: slopnated?.wrong ?? [], right: slopnated?.right ?? [] };
+    }
     return { wrong: [rule.wrong, ...(slopnated?.wrong ?? [])], right: [rule.right, ...(slopnated?.right ?? [])] };
 }
 export function scaffold() {
@@ -176,7 +145,6 @@ export const slopnator: Slopnator = {
 }
 export function write(root, byproduct) {
     const path = join(root, byproduct.path);
-    mkdirSync(dirname(path), { recursive: true });
     writeFileSync(path, byproduct.content, 'utf8');
 }
 export function onDisk(root) {

package/dist/integrity/slopnator.ts

@@ -1,23 +1,19 @@
 import { spawnSync } from 'node:child_process'
-import { createHash } from 'node:crypto'
-import { existsSync, mkdirSync, readFileSync, readdirSync, writeFileSync } from 'node:fs'
-import { dirname, join, sep } from 'node:path'
+import { existsSync, readFileSync, readdirSync, writeFileSync } from '../core/files.ts'
+import { dirname, join } from 'node:path'
 import { fileURLToPath, pathToFileURL } from 'node:url'
 
 import { invoked } from '../core/invoked.ts'
 
 import { listBounds, quoted, withSeed } from '../core/rows.ts'
 
-import { CONSTRAINTS, type Constraint } from './constraint.ts'
-import { SEALED } from './sealed.ts'
+import { CONSTRAINTS, type Constraint, type Proof, type Sourced } from './constraint.ts'
 import { findTree, inTree } from '../core/tree.ts'
 
 export const NOT_WRITTEN = Symbol.for('thread.slopnator.not_written')
 
 const HOME = dirname(fileURLToPath(import.meta.url))
 
-const BUILT = dirname(dirname(HOME))
-
 export const SHIPPED = `${HOME}/slopnators`
 
 export const SEEDED = `${findTree().name}/slopnators`
@@ -98,13 +94,6 @@ export const visits = (one: Slopnator): one is Visiting => 'holds' in one && one
 
 export const sweeps = (one: Slopnator): one is Reading => 'holds' in one && one.on === undefined
 
-export interface Sourced {
-  readonly at: string
-  readonly source: string
-}
-
-export type Proof = string | { readonly files: readonly Sourced[]; readonly at: string }
-
 export interface Byproduct {
   readonly path: string
   readonly content: string
@@ -170,42 +159,7 @@ export class UnreadableRulesError extends Error {
   }
 }
 
-export class BrokenSealError extends Error {
-  constructor(at: string, why: string) {
-    super(
-      `${at} ${why} — this package is not the one that was published, so nothing it refuses or allows can be trusted. ` +
-        'Reinstall it (`pnpm install --frozen-lockfile` re-verifies the published bytes), or if you meant to change it, run `thread seal` and publish that.',
-    )
-    this.name = 'BrokenSealError'
-  }
-}
-
-const INSTALLED = HOME.includes(`${sep}node_modules${sep}`)
-
-export function unsealed(home: string = HOME): readonly string[] {
-  const broken: string[] = []
-  for (const [at, hash] of Object.entries(SEALED)) {
-    let held: Buffer
-    try {
-      held = readFileSync(join(home, at))
-    } catch {
-      broken.push(`${at} is missing`)
-      continue
-    }
-    if (createHash('sha256').update(held).digest('hex') !== hash) broken.push(`${at} differs from the seal`)
-  }
-  return broken
-}
-
-export function verify(): void {
-  if (!INSTALLED) return
-  const broken = unsealed(BUILT)
-  const first = broken[0]
-  if (first !== undefined) throw new BrokenSealError(first.split(' ')[0] ?? '', first.split(' ').slice(1).join(' '))
-}
-
 export async function load(root: string, all: readonly Constraint[]): Promise<ReadonlyMap<string, Slopnator>> {
-  verify()
   const found = new Map<string, Slopnator>()
   for (const rule of all) {
     const name = slopnatorName(rule.id)
@@ -234,7 +188,12 @@ export function proofsOf(
   rule: Constraint,
   slopnators: ReadonlyMap<string, Slopnator>,
 ): { readonly wrong: readonly Proof[]; readonly right: readonly Proof[] } {
-  const slopnated = slopnators.get(slopnatorName(rule.id))?.proves
+  const slopnator = slopnators.get(slopnatorName(rule.id))
+  const slopnated = slopnator?.proves
+  const own = (slopnated?.wrong.length ?? 0) + (slopnated?.right.length ?? 0)
+  if (slopnator !== undefined && !reads(slopnator) && own > 0) {
+    return { wrong: slopnated?.wrong ?? [], right: slopnated?.right ?? [] }
+  }
   return { wrong: [rule.wrong, ...(slopnated?.wrong ?? [])], right: [rule.right, ...(slopnated?.right ?? [])] }
 }
 
@@ -251,7 +210,6 @@ export const slopnator: Slopnator = {
 
 export function write(root: string, byproduct: Byproduct): void {
   const path = join(root, byproduct.path)
-  mkdirSync(dirname(path), { recursive: true })
   writeFileSync(path, byproduct.content, 'utf8')
 }
 

package/dist/integrity/slopnators/sl_broken_lineage.js

@@ -23,8 +23,10 @@ export const slopnator = {
         right: [
             {
                 files: [
-                    { at: 'threads/_names_it.ts', source: "export const OWNER: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_mid.ts',\n    },\n  ],\n}\n" },
-                    { at: 'scripts/_probe_mid.ts', source: "export const MID: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_end.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_mid.ts',\n    },\n  ],\n}\n" },
+                    { at: 'scripts/_probe_mid.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const MID: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_end.ts',\n    },\n  ],\n}\n" },
                     { at: 'scripts/_probe_end.ts', source: 'export const END = 1\n' },
                 ],
                 at: 'scripts/_probe_mid.ts',

package/dist/integrity/slopnators/sl_broken_lineage.ts

@@ -24,8 +24,10 @@ export const slopnator: Slopnator = {
     right: [
       {
         files: [
-          { at: 'threads/_names_it.ts', source: "export const OWNER: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_mid.ts',\n    },\n  ],\n}\n" },
-          { at: 'scripts/_probe_mid.ts', source: "export const MID: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_end.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_mid.ts',\n    },\n  ],\n}\n" },
+          { at: 'scripts/_probe_mid.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const MID: Threaded = {\n  declares: [\n    {\n      at: 'scripts/_probe_end.ts',\n    },\n  ],\n}\n" },
           { at: 'scripts/_probe_end.ts', source: 'export const END = 1\n' },
         ],
         at: 'scripts/_probe_mid.ts',

package/dist/integrity/slopnators/sl_declared_elsewhere.js

@@ -20,9 +20,30 @@ export const slopnator = {
     },
     proves: {
         wrong: [
-            "export default defineEvents({ specVersion: 1, events: [] })",
-            "export default definePermissions({ specVersion: 1, entities: [] })",
-            "export default defineMap({ specVersion: 1, screens: [] })",
+            {
+                files: [
+                    { at: 'threads/thread.ts', source: "export const THREAD: Threaded = {\n  declares: [\n    { id: 'events', at: 'src/islands/events.ts', governs: ['app/_declare/events.ts'] },\n  ],\n}\n" },
+                    { at: 'src/islands/events.ts', source: 'export const EventsIslandSchema = {}\nexport function defineEvents() {}\n' },
+                    { at: 'probe.tsx', source: 'export default defineEvents({ specVersion: 1, events: [] })\n' },
+                ],
+                at: 'probe.tsx',
+            },
+            {
+                files: [
+                    { at: 'threads/thread.ts', source: "export const THREAD: Threaded = {\n  declares: [\n    { id: 'permissions', at: 'src/islands/permissions.ts', governs: ['app/_declare/permissions.ts'] },\n  ],\n}\n" },
+                    { at: 'src/islands/permissions.ts', source: 'export const PermissionsIslandSchema = {}\nexport function definePermissions() {}\n' },
+                    { at: 'probe.tsx', source: 'export default definePermissions({ specVersion: 1, entities: [] })\n' },
+                ],
+                at: 'probe.tsx',
+            },
+            {
+                files: [
+                    { at: 'threads/thread.ts', source: "export const THREAD: Threaded = {\n  declares: [\n    { id: 'navigation', at: 'src/islands/navigation.ts', governs: ['app/_declare/map.ts'] },\n  ],\n}\n" },
+                    { at: 'src/islands/navigation.ts', source: 'export const NavigationIslandSchema = {}\nexport function defineMap() {}\n' },
+                    { at: 'probe.tsx', source: 'export default defineMap({ specVersion: 1, screens: [] })\n' },
+                ],
+                at: 'probe.tsx',
+            },
         ],
         right: [
             "import events from 'app/_declare/events'",

package/dist/integrity/slopnators/sl_declared_elsewhere.ts

@@ -26,9 +26,30 @@ export const slopnator: Slopnator = {
   },
   proves: {
     wrong: [
-      "export default defineEvents({ specVersion: 1, events: [] })",
-      "export default definePermissions({ specVersion: 1, entities: [] })",
-      "export default defineMap({ specVersion: 1, screens: [] })",
+      {
+        files: [
+          { at: 'threads/thread.ts', source: "export const THREAD: Threaded = {\n  declares: [\n    { id: 'events', at: 'src/islands/events.ts', governs: ['app/_declare/events.ts'] },\n  ],\n}\n" },
+          { at: 'src/islands/events.ts', source: 'export const EventsIslandSchema = {}\nexport function defineEvents() {}\n' },
+          { at: 'probe.tsx', source: 'export default defineEvents({ specVersion: 1, events: [] })\n' },
+        ],
+        at: 'probe.tsx',
+      },
+      {
+        files: [
+          { at: 'threads/thread.ts', source: "export const THREAD: Threaded = {\n  declares: [\n    { id: 'permissions', at: 'src/islands/permissions.ts', governs: ['app/_declare/permissions.ts'] },\n  ],\n}\n" },
+          { at: 'src/islands/permissions.ts', source: 'export const PermissionsIslandSchema = {}\nexport function definePermissions() {}\n' },
+          { at: 'probe.tsx', source: 'export default definePermissions({ specVersion: 1, entities: [] })\n' },
+        ],
+        at: 'probe.tsx',
+      },
+      {
+        files: [
+          { at: 'threads/thread.ts', source: "export const THREAD: Threaded = {\n  declares: [\n    { id: 'navigation', at: 'src/islands/navigation.ts', governs: ['app/_declare/map.ts'] },\n  ],\n}\n" },
+          { at: 'src/islands/navigation.ts', source: 'export const NavigationIslandSchema = {}\nexport function defineMap() {}\n' },
+          { at: 'probe.tsx', source: 'export default defineMap({ specVersion: 1, screens: [] })\n' },
+        ],
+        at: 'probe.tsx',
+      },
     ],
     right: [
       "import events from 'app/_declare/events'",

package/dist/integrity/slopnators/sl_derived_drift.js

@@ -1,4 +1,4 @@
-import { readFileSync } from 'node:fs';
+import { readFileSync } from "../../core/files.js";
 import { resolve } from 'node:path';
 import { atsIn } from "./sl_unthreaded.js";
 import { reached } from "../../core/descend.js";
@@ -68,13 +68,17 @@ export const slopnator = {
         wrong: [
             {
                 files: [
-                    { at: 'threads/_drift_probe.ts', source: "export const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/_generated/gate.mjs',\n      by: 'pnpm gate:generate',\n      runs: 'pnpm no-such-check',\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/_drift_probe.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_drift_probe.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/_generated/gate.mjs',\n      by: 'pnpm gate:generate',\n    },\n  ],\n}\n" },
                 ],
                 at: 'threads/_drift_probe.ts',
             },
             {
                 files: [
-                    { at: 'threads/_drift_probe.ts', source: "export const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/finding.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/_drift_probe.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_drift_probe.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/finding.ts',\n    },\n  ],\n}\n" },
                 ],
                 at: 'threads/_drift_probe.ts',
             },
@@ -82,7 +86,9 @@ export const slopnator = {
         right: [
             {
                 files: [
-                    { at: 'threads/_drift_probe.ts', source: "export const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/_generated/gate.mjs',\n      by: 'pnpm gate:generate',\n      runs: 'pnpm gate:check',\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/_drift_probe.ts',\n    },\n  ],\n}\n" },
+                    { at: 'threads/_drift_probe.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/_generated/gate.mjs',\n      by: 'pnpm gate:generate',\n      runs: 'pnpm gate:check',\n    },\n  ],\n}\n" },
                 ],
                 at: 'threads/_drift_probe.ts',
             },

package/dist/integrity/slopnators/sl_derived_drift.ts

@@ -1,4 +1,4 @@
-import { readFileSync } from 'node:fs'
+import { readFileSync } from '../../core/files.ts'
 import { resolve } from 'node:path'
 
 import type { Slopnator } from '../slopnator.ts'
@@ -75,13 +75,17 @@ export const slopnator: Slopnator = {
     wrong: [
       {
         files: [
-          { at: 'threads/_drift_probe.ts', source: "export const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/_generated/gate.mjs',\n      by: 'pnpm gate:generate',\n      runs: 'pnpm no-such-check',\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/_drift_probe.ts',\n    },\n  ],\n}\n" },
+          { at: 'threads/_drift_probe.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/_generated/gate.mjs',\n      by: 'pnpm gate:generate',\n    },\n  ],\n}\n" },
         ],
         at: 'threads/_drift_probe.ts',
       },
       {
         files: [
-          { at: 'threads/_drift_probe.ts', source: "export const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/finding.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/_drift_probe.ts',\n    },\n  ],\n}\n" },
+            { at: 'threads/_drift_probe.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/finding.ts',\n    },\n  ],\n}\n" },
         ],
         at: 'threads/_drift_probe.ts',
       },
@@ -89,7 +93,9 @@ export const slopnator: Slopnator = {
     right: [
       {
         files: [
-          { at: 'threads/_drift_probe.ts', source: "export const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/_generated/gate.mjs',\n      by: 'pnpm gate:generate',\n      runs: 'pnpm gate:check',\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/_drift_probe.ts',\n    },\n  ],\n}\n" },
+            { at: 'threads/_drift_probe.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  derives: [\n    {\n      at: 'scripts/_generated/gate.mjs',\n      by: 'pnpm gate:generate',\n      runs: 'pnpm gate:check',\n    },\n  ],\n}\n" },
         ],
         at: 'threads/_drift_probe.ts',
       },

package/dist/integrity/slopnators/sl_inert_island.js

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync } from 'node:fs';
+import { existsSync, readFileSync } from "../../core/files.js";
 import { resolve } from 'node:path';
 import { declaresIsland, here, rowsIn } from "./sl_unthreaded.js";
 import { findTree } from "../../core/tree.js";
@@ -44,19 +44,15 @@ export const slopnator = {
         wrong: [
             {
                 files: [
-                    {
-                        at: 'threads/_inert_probe.ts',
-                        source: "export const M: Islanding = {\n  declares: [\n    { id: 'entities', at: 'packages/core/spec/src/islands/entities.ts' },\n  ],\n}\n",
-                    },
+                    { at: 'threads/_inert_probe.ts', source: "export const M: Threaded = {\n  declares: [\n    { id: 'entities', at: 'src/islands/entities.ts' },\n  ],\n}\n" },
+                    { at: 'src/islands/entities.ts', source: 'export const EntitiesIslandSchema = {}\n' },
                 ],
                 at: 'threads/_inert_probe.ts',
             },
             {
                 files: [
-                    {
-                        at: 'threads/_inert_probe.ts',
-                        source: "export const M: Islanding = {\n  declares: [\n    { id: 'events', at: 'packages/core/spec/src/islands/events.ts', governs: [] },\n  ],\n}\n",
-                    },
+                    { at: 'threads/_inert_probe.ts', source: "export const M: Threaded = {\n  declares: [\n    { id: 'events', at: 'src/islands/events.ts', governs: [] },\n  ],\n}\n" },
+                    { at: 'src/islands/events.ts', source: 'export const EventsIslandSchema = {}\n' },
                 ],
                 at: 'threads/_inert_probe.ts',
             },
@@ -64,10 +60,8 @@ export const slopnator = {
         right: [
             {
                 files: [
-                    {
-                        at: 'threads/_inert_probe.ts',
-                        source: "export const M: Islanding = {\n  declares: [\n    { id: 'events', at: 'packages/core/spec/src/islands/events.ts', governs: ['app/_declare/events.ts'] },\n  ],\n}\n",
-                    },
+                    { at: 'threads/_inert_probe.ts', source: "export const M: Threaded = {\n  declares: [\n    { id: 'events', at: 'src/islands/events.ts', governs: ['app/_declare/events.ts'] },\n  ],\n}\n" },
+                    { at: 'src/islands/events.ts', source: 'export const EventsIslandSchema = {}\n' },
                 ],
                 at: 'threads/_inert_probe.ts',
             },

package/dist/integrity/slopnators/sl_inert_island.ts

@@ -1,4 +1,4 @@
-import { existsSync, readFileSync } from 'node:fs'
+import { existsSync, readFileSync } from '../../core/files.ts'
 import { resolve } from 'node:path'
 
 import type { Slopnator } from '../slopnator.ts'
@@ -47,21 +47,15 @@ export const slopnator: Slopnator = {
     wrong: [
       {
         files: [
-          {
-            at: 'threads/_inert_probe.ts',
-            source:
-              "export const M: Islanding = {\n  declares: [\n    { id: 'entities', at: 'packages/core/spec/src/islands/entities.ts' },\n  ],\n}\n",
-          },
+          { at: 'threads/_inert_probe.ts', source: "export const M: Threaded = {\n  declares: [\n    { id: 'entities', at: 'src/islands/entities.ts' },\n  ],\n}\n" },
+          { at: 'src/islands/entities.ts', source: 'export const EntitiesIslandSchema = {}\n' },
         ],
         at: 'threads/_inert_probe.ts',
       },
       {
         files: [
-          {
-            at: 'threads/_inert_probe.ts',
-            source:
-              "export const M: Islanding = {\n  declares: [\n    { id: 'events', at: 'packages/core/spec/src/islands/events.ts', governs: [] },\n  ],\n}\n",
-          },
+          { at: 'threads/_inert_probe.ts', source: "export const M: Threaded = {\n  declares: [\n    { id: 'events', at: 'src/islands/events.ts', governs: [] },\n  ],\n}\n" },
+          { at: 'src/islands/events.ts', source: 'export const EventsIslandSchema = {}\n' },
         ],
         at: 'threads/_inert_probe.ts',
       },
@@ -69,11 +63,8 @@ export const slopnator: Slopnator = {
     right: [
       {
         files: [
-          {
-            at: 'threads/_inert_probe.ts',
-            source:
-              "export const M: Islanding = {\n  declares: [\n    { id: 'events', at: 'packages/core/spec/src/islands/events.ts', governs: ['app/_declare/events.ts'] },\n  ],\n}\n",
-          },
+          { at: 'threads/_inert_probe.ts', source: "export const M: Threaded = {\n  declares: [\n    { id: 'events', at: 'src/islands/events.ts', governs: ['app/_declare/events.ts'] },\n  ],\n}\n" },
+          { at: 'src/islands/events.ts', source: 'export const EventsIslandSchema = {}\n' },
         ],
         at: 'threads/_inert_probe.ts',
       },

package/dist/integrity/slopnators/sl_inert_slopnator.js

@@ -41,35 +41,35 @@ export const slopnator = {
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+                        at: 'thread/integrity/slopnators/sl_probe_inert.ts',
                         source: 'export const slopnator = {\n  on: [],\n  holds: () => NOT_WRITTEN,\n  proves: { wrong: [], right: [] },\n}\n',
                     },
                 ],
-                at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+                at: 'thread/integrity/slopnators/sl_probe_inert.ts',
             },
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+                        at: 'thread/integrity/slopnators/sl_probe_inert.ts',
                         source: "export const slopnator = {\n  holds: (_node, at) => at.text.includes('nope') && 'found',\n  proves: { wrong: [], right: ['const held = 1'] },\n}\n",
                     },
                 ],
-                at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+                at: 'thread/integrity/slopnators/sl_probe_inert.ts',
             },
         ],
         right: [
             {
                 files: [
                     {
-                        at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+                        at: 'thread/integrity/slopnators/sl_probe_inert.ts',
                         source: "export const slopnator = {\n  holds: (_node, at) => at.text.includes('nope') && 'found',\n  proves: { wrong: ['nope'], right: ['const held = 1'] },\n}\n",
                     },
                 ],
-                at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+                at: 'thread/integrity/slopnators/sl_probe_inert.ts',
             },
             {
-                files: [{ at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts', source: 'export const held = 1\n' }],
-                at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+                files: [{ at: 'thread/integrity/slopnators/sl_probe_inert.ts', source: 'export const held = 1\n' }],
+                at: 'thread/integrity/slopnators/sl_probe_inert.ts',
             },
         ],
     },

package/dist/integrity/slopnators/sl_inert_slopnator.ts

@@ -58,35 +58,35 @@ export const slopnator: Slopnator = {
       {
         files: [
           {
-            at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+            at: 'thread/integrity/slopnators/sl_probe_inert.ts',
             source: 'export const slopnator = {\n  on: [],\n  holds: () => NOT_WRITTEN,\n  proves: { wrong: [], right: [] },\n}\n',
           },
         ],
-        at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+        at: 'thread/integrity/slopnators/sl_probe_inert.ts',
       },
       {
         files: [
           {
-            at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+            at: 'thread/integrity/slopnators/sl_probe_inert.ts',
             source: "export const slopnator = {\n  holds: (_node, at) => at.text.includes('nope') && 'found',\n  proves: { wrong: [], right: ['const held = 1'] },\n}\n",
           },
         ],
-        at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+        at: 'thread/integrity/slopnators/sl_probe_inert.ts',
       },
     ],
     right: [
       {
         files: [
           {
-            at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+            at: 'thread/integrity/slopnators/sl_probe_inert.ts',
             source: "export const slopnator = {\n  holds: (_node, at) => at.text.includes('nope') && 'found',\n  proves: { wrong: ['nope'], right: ['const held = 1'] },\n}\n",
           },
         ],
-        at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+        at: 'thread/integrity/slopnators/sl_probe_inert.ts',
       },
       {
-        files: [{ at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts', source: 'export const held = 1\n' }],
-        at: 'packages/core/src/integrity/slopnators/sl_probe_inert.ts',
+        files: [{ at: 'thread/integrity/slopnators/sl_probe_inert.ts', source: 'export const held = 1\n' }],
+        at: 'thread/integrity/slopnators/sl_probe_inert.ts',
       },
     ],
   },