@prestack/thread 0.1.21 → 0.1.22

package/dist/integrity/slopnators/sl_unpaired_member.ts

@@ -1,139 +0,0 @@
-import { existsSync, readFileSync, readdirSync } from '../../integrations/disk.ts'
-import { resolve } from 'node:path'
-
-import type { Sourced } from '../constraint.ts'
-import type { Slopnator } from '../slopnator.ts'
-import { foldersGoverned, here, islandsDeclared, rowsIn, type Declared } from './sl_unthreaded.ts'
-import { findTree } from '../../core/tree.ts'
-
-const ROOT = findTree().at
-const TREE = `${findTree().name}/`
-
-interface Seeding {
-  readonly island: string
-  readonly folder: string
-  readonly tree: string
-  readonly member: string
-}
-
-const seeding = (one: Declared): Seeding | undefined => {
-  const folder = foldersGoverned(one.governs)[0]
-  if (folder === undefined || one.tree === undefined || one.member === undefined) return undefined
-  return { island: one.id, folder, tree: one.tree, member: one.member }
-}
-
-const islandsSeeding = (): readonly Seeding[] =>
-  islandsDeclared().flatMap((one) => {
-    const held = seeding(one)
-    return held === undefined ? [] : [held]
-  })
-
-const declares = (island: string): RegExp => new RegExp(`^export const ${island.toUpperCase()}\\b`, 'm')
-
-const exports = (member: string): RegExp => new RegExp(`^export const ${member}\\b`, 'm')
-
-function seededNames(text: string): readonly string[] {
-  const found: string[] = []
-  for (const row of rowsIn(text)) {
-    if (row.list !== undefined || row.id === undefined) continue
-    found.push(`${row.id}.ts`)
-  }
-  return found
-}
-
-function onDisk(folder: string): readonly string[] {
-  const dir = resolve(ROOT, folder)
-  if (!existsSync(dir)) return []
-  try {
-    return readdirSync(dir).filter((name) => name.endsWith('.ts'))
-  } catch {
-    return []
-  }
-}
-
-function declaredNames(one: Seeding): readonly string[] {
-  const path = resolve(ROOT, one.tree)
-  if (!existsSync(path)) return []
-  try {
-    return seededNames(readFileSync(path, 'utf8'))
-  } catch {
-    return []
-  }
-}
-
-const ISLAND: readonly Sourced[] = [
-  {
-    at: 'threads/thread.ts',
-    source:
-      "export const THREAD: Threaded = {\n  declares: [\n    { id: 'operations', at: 'src/islands/operations.ts', governs: ['operations/'] },\n    { id: 'operation', at: 'threads/operations.ts' },\n  ],\n}\n",
-  },
-  { at: 'src/islands/operations.ts', source: 'export const OperationsIslandSchema = {}\n' },
-]
-
-export const slopnator: Slopnator = {
-  holds: (_node, at) => {
-    const path = here(at.filename)
-
-    for (const one of islandsSeeding()) {
-      if (path.startsWith(TREE)) {
-        if (!declares(one.island).test(at.text)) continue
-
-        let wanted: readonly string[]
-        try {
-          wanted = seededNames(at.text)
-        } catch {
-          return 'this file cannot be parsed, so the members it declares were never read and no file was measured against them'
-        }
-
-        const found = onDisk(one.folder)
-        for (const name of wanted) {
-          if (found.includes(name)) continue
-          return `a row here declares ${one.member} \`${name.replace(/\.ts$/, '')}\` and ${one.folder}${name} is not on disk, so the row brings nothing into existence — run \`pnpm member:seed\``
-        }
-
-        return false
-      }
-
-      if (!path.startsWith(one.folder)) continue
-      const name = path.slice(one.folder.length)
-      if (!name.endsWith('.ts') || name.includes('/')) continue
-
-      if (!declaredNames(one).includes(name)) {
-        return `${one.folder} holds ${one.member} \`${name.replace(/\.ts$/, '')}\` and no row in ${one.tree} declares it, so it can act while nothing brought it into existence — declare the row first and let \`pnpm member:seed\` write the file, or delete it`
-      }
-
-      if (!exports(one.member).test(at.text)) {
-        return `${name} is declared and exports no \`${one.member}\`, so the row and the file both exist and the ${one.member} still loads as nothing — write it into the template the seeder left`
-      }
-
-      return false
-    }
-
-    return false
-  },
-  proves: {
-    wrong: [
-      {
-        files: [
-          ...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: [...ISLAND, { at: 'operations/wf_undeclared_probe.ts', source: 'export const operation = { id: 1 }\n' }],
-        at: 'operations/wf_undeclared_probe.ts',
-      },
-    ],
-    right: [
-      {
-        files: [...ISLAND, { at: 'threads/_member_probe.ts', source: 'export const OPERATIONS: readonly Threaded[] = []\n' }],
-        at: 'threads/_member_probe.ts',
-      },
-      {
-        files: [...ISLAND, { at: 'threads/_member_quiet.ts', source: 'export const NOTHING = []\n' }],
-        at: 'threads/_member_quiet.ts',
-      },
-    ],
-  },
-}

package/dist/integrity/slopnators/sl_unpaired_slopnator.ts

@@ -1,71 +0,0 @@
-import { existsSync, readFileSync } from '../../integrations/disk.ts'
-import { join, resolve } from 'node:path'
-
-import { SEEDED, SHIPPED, slopnatorName, type Slopnator } from '../slopnator.ts'
-import { here } from './sl_unthreaded.ts'
-import { findTree } from '../../core/tree.ts'
-
-const ROOT = findTree().at
-const TREE = `${findTree().name}/`
-const ID = /^ {4}id:\s*'([^']+)'/gm
-const DECLARES = /^(?:export )?const (CONSTRAINTS|RULES)\b/m
-
-const idsIn = (text: string): readonly string[] => [...text.matchAll(ID)].map((one) => one[1] ?? '')
-
-export const slopnator: Slopnator = {
-  holds: (_node, at) => {
-    const path = here(at.filename)
-
-    if (path.startsWith(TREE) && DECLARES.test(at.text)) {
-      for (const id of idsIn(at.text)) {
-        const name = `${slopnatorName(id)}.ts`
-        if ([SHIPPED, resolve(ROOT, SEEDED)].some((dir) => existsSync(join(dir, name)))) continue
-        return `"${id}" names "${slopnatorName(id)}", and no such file is in ${SEEDED}/ or shipped with the package — one that cannot run registers, reports nothing, and is indistinguishable from one being obeyed. Seed it`
-      }
-      return false
-    }
-
-    const home = [SEEDED].find((dir) => path.startsWith(`${dir}/`))
-    if (home === undefined) return false
-    const file = path.slice(home.length + 1)
-    if (!file.startsWith('sl_') || !file.endsWith('.ts')) return false
-
-    const declared = [join(SHIPPED, '..', 'constraint.ts'), resolve(ROOT, `${TREE}rules.ts`)]
-      .map((one) => { try { return readFileSync(one, 'utf8') } catch { return '' } })
-      .join('\n')
-    const named = new Set(idsIn(declared).map((id) => slopnatorName(id)))
-    if (named.has(file.replace(/\.ts$/, ''))) return false
-    return `${path} is named by no law, so it governs nothing while looking like enforcement to anybody reading the directory — delete it, or declare the law that needs it. A law renamed makes this a \`git mv\`, not a second file`
-  },
-  proves: {
-    wrong: [
-      "const CONSTRAINTS = [\n  {\n    id: 'nothing-names-this-slopnator',\n  },\n]",
-      {
-        files: [{ at: 'threads/slopnators/sl_no_law_names_this.ts', source: "export const slopnator = { on: [], holds: () => false }\n" }],
-        at: 'threads/slopnators/sl_no_law_names_this.ts',
-      },
-    ],
-    right: [
-      {
-        files: [
-          { at: 'threads/_probe_paired.ts', source: "const CONSTRAINTS = [\n  {\n    id: 'no-comment',\n  },\n]\n" },
-          { at: 'threads/slopnators/sl_no_comment.ts', source: 'export const slopnator = { on: [], holds: () => false }\n' },
-        ],
-        at: 'threads/_probe_paired.ts',
-      },
-      {
-        files: [
-          { at: 'threads/_probe_paired.ts', source: "const CONSTRAINTS = [\n  {\n    id: 'no-comment',\n  },\n  {\n    id: 'unthreaded',\n  },\n]\n" },
-          { at: 'threads/slopnators/sl_no_comment.ts', source: 'export const slopnator = { on: [], holds: () => false }\n' },
-          { at: 'threads/slopnators/sl_unthreaded.ts', source: 'export const slopnator = { on: [], holds: () => false }\n' },
-        ],
-        at: 'threads/_probe_paired.ts',
-      },
-      'export const PLAIN = 1',
-      {
-        files: [{ at: 'threads/slopnators/not_a_walk.ts', source: 'export const HELPER = 1\n' }],
-        at: 'threads/slopnators/not_a_walk.ts',
-      },
-    ],
-  },
-}

package/dist/integrity/slopnators/sl_unprefixed_member.ts

@@ -1,110 +0,0 @@
-import { inCode, listBounds, matched } from '../../core/rows.ts'
-import { PREFIXES } from '../../core/thread.ts'
-
-import type { Slopnator } from '../slopnator.ts'
-import { here, parses, unreadable } from './sl_unthreaded.ts'
-
-const MEMBERS = 'MEMBERS'
-
-const TAKES: Readonly<Record<string, readonly string[]>> = {
-  'operations.ts': Object.values(PREFIXES),
-  'nodes.ts': ['nd_'],
-}
-
-const ID = /\bid:\s*'((?:[^'\\]|\\.)*)'/
-
-function directly(text: string, open: number, close: number): readonly string[] {
-  const code = inCode(text)
-  const found: string[] = []
-  for (let at = open; at < close; at += 1) {
-    if (code[at] !== true || text[at] !== '{') continue
-    const ends = matched(text, code, at, '{', '}')
-    if (ends === -1 || ends > close) break
-    const said = ID.exec(text.slice(at, ends))?.[1]
-    if (said !== undefined) found.push(said)
-    at = ends
-  }
-  return found
-}
-
-export const slopnator: Slopnator = {
-  holds: (_node, at) => {
-    const path = here(at.filename)
-    if (unreadable(path, at.text) !== undefined) return false
-    if (!parses(path)) return false
-
-    const takes = TAKES[path.slice(path.lastIndexOf('/') + 1)]
-    if (takes === undefined) return false
-
-    const text = String(at.text)
-    const where = listBounds(text, MEMBERS)
-    if (where === undefined) return false
-
-    for (const said of directly(text, where.open, where.close)) {
-      if (takes.some((one) => said.startsWith(one))) continue
-      return (
-        `\`${said}\` sits in \`${MEMBERS}\` here, and this list takes ${takes.map((one) => `\`${one}\``).join(', ')}. ` +
-        'A prefix is what says which of the two a row is, and a row wearing the wrong one is declared as ' +
-        'something it is not, seeds a body of the wrong shape, and is read as agreed by everything downstream'
-      )
-    }
-
-    return false
-  },
-  proves: {
-    wrong: [
-      {
-        files: [
-          {
-            at: '_threads/operations.ts',
-            source:
-              "import type { Member, Threaded } from '../../core/thread.ts'\n\nexport const OPERATIONS: Threaded = {\n  id: 'operations',\n  at: '_threads/operations.ts',\n  describes: 'what an app can be asked to do',\n  version: 1,\n}\n\nexport const MEMBERS: readonly Member[] = [\n  {\n    id: 'nd_teleport',\n    at: '_threads/operations.ts',\n    describes: 'a node wearing an operation list',\n    version: 1,\n  },\n]\n",
-          },
-        ],
-        at: '_threads/operations.ts',
-      },
-      {
-        files: [
-          {
-            at: '_threads/nodes.ts',
-            source:
-              "import type { Member, Threaded } from '../../core/thread.ts'\n\nexport const NODES: Threaded = {\n  id: 'nodes',\n  at: '_threads/nodes.ts',\n  describes: 'the spans an operation is built from',\n  version: 1,\n}\n\nexport const MEMBERS: readonly Member[] = [\n  {\n    id: 'wf_send_invoice',\n    at: '_threads/nodes.ts',\n    describes: 'an operation wearing a node list',\n    version: 1,\n  },\n]\n",
-          },
-        ],
-        at: '_threads/nodes.ts',
-      },
-      {
-        files: [
-          {
-            at: '_threads/operations.ts',
-            source:
-              "import type { Member, Threaded } from '../../core/thread.ts'\n\nexport const OPERATIONS: Threaded = {\n  id: 'operations',\n  at: '_threads/operations.ts',\n  describes: 'what an app can be asked to do',\n  version: 1,\n}\n\nexport const MEMBERS: readonly Member[] = [\n  {\n    id: 'sendInvoice',\n    at: '_threads/operations.ts',\n    describes: 'no prefix at all',\n    version: 1,\n  },\n]\n",
-          },
-        ],
-        at: '_threads/operations.ts',
-      },
-    ],
-    right: [
-      {
-        files: [
-          {
-            at: '_threads/operations.ts',
-            source:
-              "import type { Member, Threaded } from '../../core/thread.ts'\n\nexport const OPERATIONS: Threaded = {\n  id: 'operations',\n  at: '_threads/operations.ts',\n  describes: 'what an app can be asked to do',\n  version: 1,\n}\n\nexport const MEMBERS: readonly Member[] = [\n  {\n    id: 'wf_prestack_client',\n    at: '_threads/operations.ts',\n    describes: 'sends what you typed to the agent',\n    version: 1,\n    seeds: [\n      {\n        id: 'wf_prestack_client_body',\n        at: 'operations/wf_prestack_client.ts',\n        describes: 'the operation itself',\n      },\n    ],\n  },\n]\n",
-          },
-        ],
-        at: '_threads/operations.ts',
-      },
-      {
-        files: [
-          {
-            at: '_threads/nodes.ts',
-            source:
-              "import type { Member, Threaded } from '../../core/thread.ts'\n\nexport const NODES: Threaded = {\n  id: 'nodes',\n  at: '_threads/nodes.ts',\n  describes: 'the spans an operation is built from',\n  version: 1,\n}\n\nexport const MEMBERS: readonly Member[] = [\n  {\n    id: 'nd_teleport',\n    at: '_threads/nodes.ts',\n    describes: 'a step this app added',\n    version: 1,\n  },\n]\n",
-          },
-        ],
-        at: '_threads/nodes.ts',
-      },
-    ],
-  },
-}