@prestack/thread 0.1.7 → 0.1.8

package/dist/integrations/cli.ts

@@ -8,7 +8,7 @@ import { fileURLToPath } from 'node:url'
 import { CHANNEL, FOLDER, across, attached, createFileSync, existsSync, here, readFileSync, readdirSync, realpathSync, renameSync, rmSync, statSync, writeFileSync } from '../integrations/disk.ts'
 import { VAULT_DIR } from '../integrations/vault.ts'
 
-import { CALL_PREFIX, LOCKFILES, PACKAGER, REACH, managerOf, programOf, unlisted, type Answer, type Call, type How, type Order, type Ran, type Recorded, type Running, type Target } from '../integrations/target.ts'
+import { CALL_PREFIX, LOCKFILES, ORDERS, PACKAGER, REACH, managerOf, programOf, unlisted, type Answer, type Call, type How, type Order, type Ran, type Recorded, type Running, type Target } from '../integrations/target.ts'
 import { CLI } from '../core/invoked.ts'
 import { valuesIn } from '../core/rows.ts'
 import { THING } from '../core/scope.ts'
@@ -267,6 +267,8 @@ interface Serving {
   parked: Ran[]
   replaying: Recorded[]
   handed: number
+  readonly known: Map<string, Answer>
+  asking?: Order
   last?: Ran
   stop?: () => void
   watch?: ReturnType<typeof setInterval>
@@ -282,6 +284,12 @@ const lost = (of: string): Ran => ({ there: true, ok: false, code: -1, out: '',
 
 const told = (one: Order): string => JSON.stringify([one.order, one.at, one.said ?? null, one.mode ?? null, one.words ?? null])
 
+const READS: ReadonlySet<string> = new Set(Object.entries(ORDERS).filter(([order, answer]) => order === answer).map(([order]) => order))
+
+function kept(one: Serving, asked: Order, held: Answer): void {
+  if (READS.has(asked.order) && held.answered !== 'refused') one.known.set(told(asked), held)
+}
+
 const plainly = (one: Order): string => one.order + ' ' + (one.at === '' ? '.' : one.at)
 
 const outside = (root: string, at: string): boolean => {
@@ -328,10 +336,17 @@ function watching(one: Serving): void {
         continue
       }
       const asked: Order = { ...order, at: relative(one.root, order.at) }
+      const known = one.known.get(told(asked))
+      if (known !== undefined) {
+        reply(one.dir, short, known)
+        continue
+      }
+      if (!READS.has(asked.order)) one.known.clear()
       const due = one.replaying.shift()
       if (due !== undefined) {
         if (told(due.order) === told(asked)) {
           reply(one.dir, short, due.answered)
+          kept(one, asked, due.answered)
           continue
         }
         one.replaying = []
@@ -343,6 +358,7 @@ function watching(one: Serving): void {
         continue
       }
       one.pending = short
+      one.asking = asked
       hand(one, still(one, [asked]))
     }
   }, TICK)
@@ -373,7 +389,7 @@ function begun(word: string, args: readonly string[], root: string, hears?: stri
   const of = called ?? randomBytes(6).toString('hex')
   const dir = join(tmpdir(), SERVED, randomBytes(6).toString('hex'))
   writeFileSync(join(dir, 'channel'), '', 'utf8')
-  const one: Serving = { of, dir, root, out: '', err: '', why: '', pending: '', waiting: [], parked: [], replaying: [...recording], handed: recording.length }
+  const one: Serving = { of, dir, root, out: '', err: '', why: '', pending: '', waiting: [], parked: [], replaying: [...recording], handed: recording.length, known: new Map() }
   const child = spawn(execPath, [...CLI, word, ...args], {
     cwd: OWN,
     shell: false,
@@ -422,6 +438,7 @@ async function served(word: string, args: readonly string[], within?: number, ho
     const given = (how?.answered ?? [])[0]
     if (one.pending !== '' && given !== undefined) {
       reply(one.dir, one.pending, given)
+      if (one.asking !== undefined) kept(one, one.asking, given)
       one.pending = ''
     }
     return counted(one, await next(one, within))

package/dist/integrations/disk.js

@@ -132,9 +132,9 @@ function overFiles(dir) {
             reals.set(at, found);
             return found;
         },
-        fetch: (at) => {
+        fetch: (at, words) => {
             try {
-                return String(took({ order: 'fetch', at }).said);
+                return String(took(words === undefined ? { order: 'fetch', at } : { order: 'fetch', at, words }).said);
             }
             finally {
                 unknown();
@@ -308,7 +308,8 @@ export const HERE = {
             held = disk.statSync(at, { throwIfNoEntry: false });
         }
         catch (thrown) {
-            if (thrown.code === 'ERR_ACCESS_DENIED')
+            const code = thrown.code;
+            if (code === 'ERR_ACCESS_DENIED' || code === 'ENAMETOOLONG')
                 return 'none';
             throw thrown;
         }

package/dist/integrations/disk.ts

@@ -146,9 +146,9 @@ function overFiles(dir: string): Attached {
       reals.set(at, found)
       return found
     },
-    fetch: (at) => {
+    fetch: (at, words) => {
       try {
-        return String(took({ order: 'fetch', at }).said)
+        return String(took(words === undefined ? { order: 'fetch', at } : { order: 'fetch', at, words }).said)
       } finally {
         unknown()
       }
@@ -349,7 +349,8 @@ export const HERE: Attached = {
     try {
       held = disk.statSync(at, { throwIfNoEntry: false })
     } catch (thrown) {
-      if ((thrown as NodeJS.ErrnoException).code === 'ERR_ACCESS_DENIED') return 'none'
+      const code = (thrown as NodeJS.ErrnoException).code
+      if (code === 'ERR_ACCESS_DENIED' || code === 'ENAMETOOLONG') return 'none'
       throw thrown
     }
     if (held === undefined) return 'none'

package/dist/integrations/generators/vault.ts

@@ -2,7 +2,6 @@ import { existsSync, readFileSync, writeFileSync } from '../disk.ts'
 import { valuesIn } from '../../core/rows.ts'
 import { dirname, join, relative } from 'node:path'
 import { argv, stderr, stdout } from 'node:process'
-import { fileURLToPath } from 'node:url'
 
 import ts from 'typescript'
 

package/dist/integrations/target.d.ts

@@ -48,7 +48,7 @@ export interface Answering {
     readonly real: (at: string) => string;
 }
 export interface Attached extends Answering {
-    readonly fetch: (at: string) => string;
+    readonly fetch: (at: string, words?: readonly string[]) => string;
     readonly run: (at: string, words: readonly string[]) => Ran;
 }
 export declare const ORDERS: {

package/dist/integrations/target.ts

@@ -127,7 +127,7 @@ export interface Answering {
 
 export interface Attached extends Answering {
 
-  readonly fetch: (at: string) => string
+  readonly fetch: (at: string, words?: readonly string[]) => string
 
   readonly run: (at: string, words: readonly string[]) => Ran
 }

package/dist/integrity/generators/gate.ts

@@ -1,8 +1,7 @@
 import { starts } from '../../integrations/cli.ts'
 import { createHash } from 'node:crypto'
-import { dirname, join } from 'node:path'
+import { join } from 'node:path'
 import { argv, execPath, stderr, stdout } from 'node:process'
-import { fileURLToPath } from 'node:url'
 import { descend } from '../../core/descend.ts'
 import { attached, existsSync, here, readdirSync, readFileSync, rmSync, writeFileSync } from '../../integrations/disk.ts'
 import { LOADER, exit } from '../../core/invoked.ts'

package/dist/integrity/generators/publish.ts

@@ -3,7 +3,6 @@ import { existsSync, readFileSync } from '../../integrations/disk.ts'
 import { valuesIn } from '../../core/rows.ts'
 import { join } from 'node:path'
 import { argv, env, execPath, stderr, stdout } from 'node:process'
-import { pathToFileURL } from 'node:url'
 import { CLI, exit } from '../../core/invoked.ts'
 import { THING as TYPED, named } from '../../core/scope.ts'
 import { findTree, inTree } from '../../core/tree.ts'

package/dist/integrity/lint.js

@@ -4,12 +4,6 @@ import tseslint from 'typescript-eslint';
 import { THING } from '../core/scope.js';
 import { CONSTRAINTS, shown } from './constraint.js';
 import { NOT_WRITTEN, governs, subject, reads, visits, load, ROOT, rules as appRules, slopnatorName, } from './slopnator.js';
-const PROBE = {
-    filename: 'probe.ts',
-    text: '',
-    ancestors: () => [],
-    comments: () => [],
-};
 export function ruleMessage(rule) {
     const cites = (rule.cites ?? []).map((cite) => `${cite.on} — ${cite.said}`).join(' · ');
     return cites === '' ? `${rule.bans} — ${rule.because}. Instead: ${rule.instead}.` : `${rule.bans} — ${rule.because}. Instead: ${rule.instead}. (${cites})`;

package/dist/integrity/lint.ts

@@ -1,5 +1,4 @@
 import { starts } from '../integrations/cli.ts'
-import { fileURLToPath } from 'node:url'
 
 import { Linter, type Rule } from 'eslint'
 import tseslint from 'typescript-eslint'
@@ -20,15 +19,6 @@ import {
   type SlopnatorContext,
 } from './slopnator.ts'
 
-
-
-const PROBE: SlopnatorContext = {
-  filename: 'probe.ts',
-  text: '',
-  ancestors: () => [],
-  comments: () => [],
-}
-
 export function ruleMessage(rule: Constraint): string {
   const cites = (rule.cites ?? []).map((cite) => `${cite.on} — ${cite.said}`).join(' · ')
   return cites === '' ? `${rule.bans} — ${rule.because}. Instead: ${rule.instead}.` : `${rule.bans} — ${rule.because}. Instead: ${rule.instead}. (${cites})`

package/dist/integrity/slopnator.ts

@@ -8,7 +8,7 @@ import { invoked } from '../core/invoked.ts'
 
 import { listBounds, quoted, withSeed } from '../core/rows.ts'
 
-import { CONSTRAINTS, type Constraint, type Proof, type Sourced } from './constraint.ts'
+import { CONSTRAINTS, type Constraint, type Proof } from './constraint.ts'
 import { findTree, inTree } from '../core/tree.ts'
 
 export const NOT_WRITTEN = Symbol.for('thread.slopnator.not_written')

package/dist/integrity/slopnators/sl_derived_drift.js

@@ -2,8 +2,6 @@ import { readFileSync } from '../../integrations/disk.js';
 import { resolve } from 'node:path';
 import { atsIn } from './sl_unthreaded.js';
 import { reached } from '../../core/descend.js';
-import { findTree } from '../../core/tree.js';
-const ROOT = `${findTree().at}/`;
 export function derivations(root) {
     const found = [];
     for (const at of reached()) {

package/dist/integrity/slopnators/sl_derived_drift.ts

@@ -4,9 +4,6 @@ import { resolve } from 'node:path'
 import type { Slopnator } from '../slopnator.ts'
 import { atsIn } from './sl_unthreaded.ts'
 import { reached } from '../../core/descend.ts'
-import { findTree } from '../../core/tree.ts'
-
-const ROOT = `${findTree().at}/`
 
 export interface Derivation {
   readonly at: string

package/dist/integrity/slopnators/sl_unthreaded.js

@@ -7,7 +7,6 @@ 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(LINEAGE);
-let threaders;
 let tree;
 const parsed = new Map();
 const broke = new Map();
@@ -233,7 +232,6 @@ export function index() {
 export function forget() {
     parsed.clear();
     broke.clear();
-    threaders = undefined;
     tree = undefined;
     forgetDescent();
 }

package/dist/integrity/slopnators/sl_unthreaded.ts

@@ -1,6 +1,3 @@
-import { readFileSync } from '../../integrations/disk.ts'
-import { resolve } from 'node:path'
-
 import { parser } from 'typescript-eslint'
 
 import type { Slopnator } from '../slopnator.ts'
@@ -15,7 +12,6 @@ const THREAD_AT = `${TREE_AT.name}/thread.ts`
 const FOLLOWABLE = /\.(ts|tsx|mts|cts|mjs|cjs|js)$/
 const LISTS: ReadonlySet<string> = new Set(LINEAGE)
 
-let threaders: ReadonlySet<string> | undefined
 let tree: Index | undefined
 const parsed = new Map<string, readonly Reach[]>()
 const broke = new Map<string, string>()
@@ -295,7 +291,6 @@ export function index(): Index {
 export function forget(): void {
   parsed.clear()
   broke.clear()
-  threaders = undefined
   tree = undefined
   forgetDescent()
 }

package/dist/integrity/sweep.ts

@@ -2,7 +2,6 @@ import { starts } from '../integrations/cli.ts'
 import { attached, existsSync, readFileSync, readdirSync } from '../integrations/disk.ts'
 import { join } from 'node:path'
 import { argv, stdout } from 'node:process'
-import { pathToFileURL } from 'node:url'
 
 import { runChecker, type Finding } from '../core/finding.ts'
 import { exit, invoked } from '../core/invoked.ts'
@@ -11,7 +10,6 @@ import { parser } from 'typescript-eslint'
 
 import { CONSTRAINTS, type Constraint, type Proof } from './constraint.ts'
 import { NOT_WRITTEN, ROOT, derivedHere, governs, load, proofsOf, reads, rules, slopnatorName, subject, sweeps, visits, type Reading, type Slopnator, type Spoken, type Visiting } from './slopnator.ts'
-import { ruleMessage } from './lint.ts'
 import { crossed, deriveTrials, runTrials } from './generators/trial.ts'
 
 const PARSEABLE = /\.(ts|tsx|mts|cts|mjs|cjs|js|jsx)$/

package/dist/knowledge/generators/docsgen.ts

@@ -1,5 +1,5 @@
 import { existsSync, readFileSync, writeFileSync } from '../../integrations/disk.ts'
-import { dirname, resolve } from 'node:path'
+import { resolve } from 'node:path'
 import { argv, stderr, stdout } from 'node:process'
 
 import { exit } from '../../core/invoked.ts'

package/dist/operations/generators/capability.js

@@ -535,6 +535,7 @@ export function reaching(targets, calls, stores, vaulted, carried) {
         const file = (one.declares ?? [])[0]?.at;
         return file === undefined ? [] : [{ from: beside(REACHING_AT, file), as: 'c' + String(at), of: one.id }];
     });
+    const used = new Set();
     const opened = targets
         .map((one) => {
         const reach = reachOf(one.id);
@@ -545,32 +546,43 @@ export function reaching(targets, calls, stores, vaulted, carried) {
             const each = calls
                 .filter((call) => call.of === one.id && one.takes.includes(call.id))
                 .map((call) => quoted(call.id.replace(/^cl_/, '')) + ': ' + held.as + '[' + quoted(call.path) + ']');
+            if (each.length > 0)
+                used.add(held.as);
             return '  ' + one.id + ': { ' + each.join(', ') + ' },';
         }
         if (reach === 'disk') {
             const through = one.requires.find((each) => reachOf(each) !== undefined);
-            return through === undefined ? '  ' + one.id + ': HERE,' : '';
+            if (through !== undefined)
+                return '';
+            used.add('HERE');
+            return '  ' + one.id + ': HERE,';
         }
         if (reach === 'cli') {
             const each = calls
                 .filter((call) => call.of === one.id && one.takes.includes(call.id))
                 .map((call) => quoted(call.id.replace(/^cl_/, '')) + ': ' + quoted(call.path));
+            used.add('running');
             return '  ' + one.id + ': running(' + quoted(one.id.replace(/^cli_/, '')) + ', { ' + each.join(', ') + ' }, process.cwd()),';
         }
-        if (reach === 'https')
+        if (reach === 'https') {
+            used.add('sendingHttp');
             return '  ' + one.id + ': sendingHttp(),';
+        }
         const held = named.find((each) => each.of === one.id);
-        return held === undefined ? '' : '  ' + one.id + ': ' + held.as + ',';
+        if (held === undefined)
+            return '';
+        used.add(held.as);
+        return '  ' + one.id + ': ' + held.as + ',';
     })
         .filter((each) => each !== '');
     return [
-        'import { HERE } from ' + quoted(runtime(REACHING_AT, '../../integrations/disk.ts')),
-        'import { running } from ' + quoted(runtime(REACHING_AT, '../../integrations/cli.ts')),
-        'import { sendingHttp } from ' + quoted(runtime(REACHING_AT, '../../integrations/https.ts')),
+        ...(used.has('HERE') ? ['import { HERE } from ' + quoted(runtime(REACHING_AT, '../../integrations/disk.ts'))] : []),
+        ...(used.has('running') ? ['import { running } from ' + quoted(runtime(REACHING_AT, '../../integrations/cli.ts'))] : []),
+        ...(used.has('sendingHttp') ? ['import { sendingHttp } from ' + quoted(runtime(REACHING_AT, '../../integrations/https.ts'))] : []),
         'import type { Counting } from ' +
             quoted(carried ? packageOf('operations') + '/operations/operations' : runtime(REACHING_AT, '../operations.ts')),
-        ...named.map((each) => 'import { store as ' + each.as + ' } from ' + quoted(each.from)),
-        ...adapted.map((each) => 'import { calls as ' + each.as + ' } from ' + quoted(each.from)),
+        ...named.filter((each) => used.has(each.as)).map((each) => 'import { store as ' + each.as + ' } from ' + quoted(each.from)),
+        ...adapted.filter((each) => used.has(each.as)).map((each) => 'import { calls as ' + each.as + ' } from ' + quoted(each.from)),
         ...(vaulted ? ['import { vault } from ' + quoted(beside(REACHING_AT, VAULT_AT))] : []),
         '',
         'declare module ' +
@@ -807,7 +819,6 @@ if (invoked(import.meta.url)) {
     }
     const checking = argv.includes('--check');
     let adrift = 0;
-    const keeping = existsSync(resolve(ROOT, ENTITIES_AT));
     if (found.length === 0 && refusals.length === 0) {
         console.log('capabilities: this app declares no operation, so nothing is reachable through one yet.');
         exit(adrift > 0 ? 1 : 0);

package/dist/operations/generators/capability.ts

@@ -11,7 +11,7 @@ import { named as packageOf } from '../../core/scope.ts'
 import { PREFIXES } from '../../core/thread.ts'
 
 import { secrecyOf, type Secret } from '../../integrations/secret.ts'
-import { reachOf, servesBrowser, standsHere, targetOf, type Call, type Target, type Webhook } from '../../integrations/target.ts'
+import { reachOf, servesBrowser, targetOf, type Call, type Target, type Webhook } from '../../integrations/target.ts'
 
 import {
   CAPABILITIES_AT,
@@ -33,7 +33,6 @@ import {
   type Surface,
 } from '../capabilities.ts'
 import { ANONYMOUS, ENVIRONMENT } from '../../core/actor.ts'
-import { PERMITS_AT } from '../access.ts'
 import { DISPATCH_AT } from '../dispatch.ts'
 import { STREAMED, TOLD } from '../../integrations/https.ts'
 import { holdsRow, listBounds, marked, nestedBounds, rowsIn, valuesIn, withField, withRow, withTopField, withoutRow } from '../../core/rows.ts'
@@ -642,6 +641,7 @@ export function reaching(
       return file === undefined ? [] : [{ from: beside(REACHING_AT, file), as: 'c' + String(at), of: one.id }]
     })
 
+  const used = new Set<string>()
   const opened = targets
     .map((one) => {
       const reach = reachOf(one.id)
@@ -651,32 +651,41 @@ export function reaching(
         const each = calls
           .filter((call) => call.of === one.id && one.takes.includes(call.id))
           .map((call) => quoted(call.id.replace(/^cl_/, '')) + ': ' + held.as + '[' + quoted(call.path) + ']')
+        if (each.length > 0) used.add(held.as)
         return '  ' + one.id + ': { ' + each.join(', ') + ' },'
       }
       if (reach === 'disk') {
         const through = one.requires.find((each) => reachOf(each) !== undefined)
-        return through === undefined ? '  ' + one.id + ': HERE,' : ''
+        if (through !== undefined) return ''
+        used.add('HERE')
+        return '  ' + one.id + ': HERE,'
       }
       if (reach === 'cli') {
         const each = calls
           .filter((call) => call.of === one.id && one.takes.includes(call.id))
           .map((call) => quoted(call.id.replace(/^cl_/, '')) + ': ' + quoted(call.path))
+        used.add('running')
         return '  ' + one.id + ': running(' + quoted(one.id.replace(/^cli_/, '')) + ', { ' + each.join(', ') + ' }, process.cwd()),'
       }
-      if (reach === 'https') return '  ' + one.id + ': sendingHttp(),'
+      if (reach === 'https') {
+        used.add('sendingHttp')
+        return '  ' + one.id + ': sendingHttp(),'
+      }
       const held = named.find((each) => each.of === one.id)
-      return held === undefined ? '' : '  ' + one.id + ': ' + held.as + ','
+      if (held === undefined) return ''
+      used.add(held.as)
+      return '  ' + one.id + ': ' + held.as + ','
     })
     .filter((each) => each !== '')
 
   return [
-    'import { HERE } from ' + quoted(runtime(REACHING_AT, '../../integrations/disk.ts')),
-    'import { running } from ' + quoted(runtime(REACHING_AT, '../../integrations/cli.ts')),
-    'import { sendingHttp } from ' + quoted(runtime(REACHING_AT, '../../integrations/https.ts')),
+    ...(used.has('HERE') ? ['import { HERE } from ' + quoted(runtime(REACHING_AT, '../../integrations/disk.ts'))] : []),
+    ...(used.has('running') ? ['import { running } from ' + quoted(runtime(REACHING_AT, '../../integrations/cli.ts'))] : []),
+    ...(used.has('sendingHttp') ? ['import { sendingHttp } from ' + quoted(runtime(REACHING_AT, '../../integrations/https.ts'))] : []),
     'import type { Counting } from ' +
       quoted(carried ? packageOf('operations') + '/operations/operations' : runtime(REACHING_AT, '../operations.ts')),
-    ...named.map((each) => 'import { store as ' + each.as + ' } from ' + quoted(each.from)),
-    ...adapted.map((each) => 'import { calls as ' + each.as + ' } from ' + quoted(each.from)),
+    ...named.filter((each) => used.has(each.as)).map((each) => 'import { store as ' + each.as + ' } from ' + quoted(each.from)),
+    ...adapted.filter((each) => used.has(each.as)).map((each) => 'import { calls as ' + each.as + ' } from ' + quoted(each.from)),
     ...(vaulted ? ['import { vault } from ' + quoted(beside(REACHING_AT, VAULT_AT))] : []),
     '',
     'declare module ' +
@@ -951,8 +960,6 @@ if (invoked(import.meta.url)) {
   const checking = argv.includes('--check')
   let adrift = 0
 
-  const keeping = existsSync(resolve(ROOT, ENTITIES_AT))
-
   if (found.length === 0 && refusals.length === 0) {
     console.log('capabilities: this app declares no operation, so nothing is reachable through one yet.')
     exit(adrift > 0 ? 1 : 0)