@prestack/thread 0.1.21 → 0.1.23

package/dist/integrity/slopnators/sl_no_such_command.ts

@@ -1,81 +0,0 @@
-import { readFileSync } from '../../integrations/disk.ts'
-import { resolve } from 'node:path'
-
-import type { Sourced } from '../constraint.ts'
-import type { Slopnator } from '../slopnator.ts'
-import { findTree } from '../../core/tree.ts'
-
-const ROOT = findTree().at
-
-type Node = {
-  type?: string
-  key?: { type?: string; name?: string; value?: unknown }
-  value?: { type?: string; value?: unknown }
-  computed?: boolean
-}
-
-const keyOf = (property: Node): string | undefined => {
-  if (property.computed === true) return undefined
-  const key = property.key
-  if (key?.type === 'Identifier') return key.name
-  if (key?.type === 'Literal' && typeof key.value === 'string') return key.value
-  return undefined
-}
-
-function scripts(): ReadonlySet<string> {
-  try {
-    const held = JSON.parse(readFileSync(resolve(ROOT, 'package.json'), 'utf8')) as { scripts?: Record<string, string> }
-    return new Set(Object.keys(held.scripts ?? {}))
-  } catch {
-    return new Set()
-  }
-}
-
-const HAS: readonly Sourced[] = [
-  { at: 'package.json', source: '{\n  "scripts": {\n    "typecheck": "tsc",\n    "gate:generate": "node gate.mjs"\n  }\n}\n' },
-]
-
-export const slopnator: Slopnator = {
-  on: ['Property'],
-  holds: (node) => {
-    const property = node as Node
-    const key = keyOf(property)
-    if (key !== 'runs' && key !== 'by') return false
-
-    const held = property.value
-    if (held?.type !== 'Literal' || typeof held.value !== 'string') return false
-
-    const spoken = held.value.trim()
-    if (!spoken.startsWith('pnpm ')) return false
-
-    const named = spoken.replace(/^pnpm (run )?/, '').split(/\s+/)[0] ?? ''
-    const known = scripts()
-    if (known.size === 0 || known.has(named)) return false
-
-    return `\`${key}: ${spoken}\` names the script \`${named}\`, and package.json has no such script`
-  },
-  proves: {
-    wrong: [
-      {
-        files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  runs: 'pnpm nope:check',\n}\n" }],
-        at: 'threads/_probe_command.ts',
-      },
-      {
-        files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  by: 'pnpm also-not-a-script',\n}\n" }],
-        at: 'threads/_probe_command.ts',
-      },
-    ],
-    right: [
-      {
-        files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  runs: 'pnpm typecheck',\n}\n" }],
-        at: 'threads/_probe_command.ts',
-      },
-      {
-        files: [...HAS, { at: 'threads/_probe_command.ts', source: "const M = {\n  by: 'pnpm gate:generate',\n}\n" }],
-        at: 'threads/_probe_command.ts',
-      },
-      "const M = {\n  runs: 'node scripts/_generated/gate.mjs',\n}",
-      "const M = {\n  describes: 'A sentence mentioning pnpm nope:check without naming it as a command.',\n}",
-    ],
-  },
-}

package/dist/integrity/slopnators/sl_only_takes_a_literal.ts

@@ -1,63 +0,0 @@
-import type { Slopnator } from '../slopnator.ts'
-
-interface Node {
-  readonly type?: string
-  readonly callee?: { readonly type?: string; readonly name?: string }
-  readonly arguments?: readonly { readonly type?: string; readonly elements?: readonly { readonly type?: string }[] }[]
-}
-
-export const slopnator: Slopnator = {
-  on: ['CallExpression'],
-  holds: (node) => {
-    const held = node as Node
-    if (held.callee?.type !== 'Identifier' || held.callee.name !== 'only') return false
-    if (held.arguments?.length !== 3) return false
-    const keys = held.arguments[1]
-    if (keys?.type !== 'ArrayExpression') return false
-    const typed = (keys.elements ?? []).filter((one) => one?.type !== 'SpreadElement')
-    if (typed.length === 0) return false
-    return `it hands \`only\` ${String(typed.length)} key(s) written here, and the receipt prints its questions from somewhere else`
-  },
-  proves: {
-    wrong: [
-      {
-        files: [
-          {
-            at: 'thread/integrations/generators/probe.ts',
-            source: "only(piped, ['name', 'describes'], 'a thing')\n",
-          },
-        ],
-        at: 'thread/integrations/generators/probe.ts',
-      },
-      {
-        files: [
-          {
-            at: 'thread/integrations/generators/probe.ts',
-            source: "only(one, ['stop', 'sets'], 'a stop')\n",
-          },
-        ],
-        at: 'thread/integrations/generators/probe.ts',
-      },
-    ],
-    right: [
-      {
-        files: [
-          {
-            at: 'thread/integrations/generators/probe.ts',
-            source: "const TAKES = ASKS.map((one) => one.key)\nonly(piped, TAKES, 'a thing')\n",
-          },
-        ],
-        at: 'thread/integrations/generators/probe.ts',
-      },
-      {
-        files: [
-          {
-            at: 'thread/integrations/generators/probe.ts',
-            source: "only(all, [...allowed, ...worded], 'a thing')\n",
-          },
-        ],
-        at: 'thread/integrations/generators/probe.ts',
-      },
-    ],
-  },
-}

package/dist/integrity/slopnators/sl_outside_an_operation.ts

@@ -1,25 +0,0 @@
-import type { Slopnator } from '../slopnator.ts'
-
-import { HANDED_TO, judging } from './sl_undeclared_crossing.ts'
-
-const SAYS =
-  'Each of these uses what this app hands an operation, and an operation is the only thing handed one.'
-
-export const slopnator: Slopnator = {
-  holds: (_node, at) => judging(at, HANDED_TO, SAYS),
-  proves: {
-    wrong: [
-      {
-        files: [
-          { at: 'thread/operations/operations.ts', source: 'export interface Store {\n  insert(row: unknown): Promise<void>\n}\n\nexport type Opened<R extends string = never> = { readonly [K in R]: Store }\n' },
-          { at: 'threads/_probe_reach.ts', source: "import type { Store } from '../thread/operations/operations.ts'\n\nexport const seeded = async (kept: Store): Promise<void> => {\n  await kept['insert']({})\n}\n" },
-        ],
-        at: 'threads/_probe_reach.ts',
-      },
-    ],
-    right: [
-      'export const began = Date.now()',
-      "import { join } from 'node:path'\n\nexport const at = join('a', 'b')",
-    ],
-  },
-}

package/dist/integrity/slopnators/sl_screen_holds_only_declared.ts

@@ -1,70 +0,0 @@
-import type { Slopnator } from '../slopnator.ts'
-
-import { descend, read, reached } from '../../core/descend.ts'
-import { rowsIn } from './sl_unthreaded.ts'
-
-const WRAPS = 'screen'
-
-const HANDS = 'dispatch'
-
-const ELEMENT = 'element'
-
-const COMPOSITION = 'composition'
-
-const nameOf = (id: string): string =>
-  id.split('-').map((part) => part.charAt(0).toUpperCase() + part.slice(1)).join('')
-
-function declared(): ReadonlySet<string> {
-  const found = new Set<string>()
-
-  descend()
-
-  for (const at of reached()) {
-    const text = read(at)
-    if (text === undefined) continue
-
-    let waiting: string[] = []
-    for (const one of rowsIn(text)) {
-      if (one.id === undefined) continue
-      if (one.list === 'declares') {
-        waiting.push(one.id)
-        continue
-      }
-      if (one.list !== undefined) continue
-      if (one.id === ELEMENT || one.id === COMPOSITION) for (const id of waiting) found.add(nameOf(id))
-      waiting = []
-    }
-  }
-
-  return found
-}
-
-export const slopnator: Slopnator = {
-  on: ['CallExpression'],
-  holds: (node) => {
-    const held = node as { readonly callee?: { readonly type?: string; readonly name?: string } }
-    const called = held.callee?.type === 'Identifier' ? held.callee.name : undefined
-    if (called === undefined) return false
-    if (called === WRAPS || called === HANDS) return false
-    if (declared().has(called)) return false
-
-    return (
-      called + ' is called here, and a screen is made of declared elements and compositions and may hand an operation to ' +
-      HANDS + '. Nothing else has a place in one, so this is work that belongs in an operation'
-    )
-  },
-  proves: {
-    wrong: ["export const Orders = screen('orders', {}, () => loadOrders())"],
-    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: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const OPERATIONS: Threaded = {\n  id: 'operations',\n  declares: [\n    {\n      id: 'wf_list_orders',\n      describes: 'lists the orders',\n      derives: [\n        {\n          id: 'wf_list_orders_body',\n          at: 'operations/wf_list_orders.ts',\n          by: 'thread compile',\n        },\n      ],\n    },\n  ],\n}\n" },
-          { at: 'screens/probe.tsx', source: "import { dispatch } from '../operations/_dispatch.ts'\n\nimport { operation } from '../operations/wf_list_orders.ts'\n\nexport const Orders = screen('orders', {}, () => dispatch(operation, input, actor, opened))\n" },
-        ],
-        at: 'screens/probe.tsx',
-      },
-    ],
-  },
-}

package/dist/integrity/slopnators/sl_secret_literal.ts

@@ -1,68 +0,0 @@
-import type { Slopnator } from '../slopnator.ts'
-
-const ANNOUNCED: readonly { readonly what: string; readonly pattern: RegExp }[] = [
-  { what: 'a Stripe secret key', pattern: /\bsk_(?:live|test)_[A-Za-z0-9]{16,}/ },
-  { what: 'a Stripe restricted key', pattern: /\brk_(?:live|test)_[A-Za-z0-9]{16,}/ },
-  { what: 'a GitHub token', pattern: /\b(?:ghp|gho|ghu|ghs|ghr)_[A-Za-z0-9]{30,}/ },
-  { what: 'a GitHub personal access token', pattern: /\bgithub_pat_[A-Za-z0-9_]{30,}/ },
-  { what: 'an AWS access key id', pattern: /\b(?:AKIA|ASIA)[A-Z0-9]{16}\b/ },
-  { what: 'a Slack token', pattern: /\bxox[abposr]-[A-Za-z0-9-]{10,}/ },
-  { what: 'an OpenAI key', pattern: /\bsk-[A-Za-z0-9_-]{32,}/ },
-  { what: 'an Anthropic key', pattern: /\bsk-ant-[A-Za-z0-9_-]{20,}/ },
-  { what: 'a Google API key', pattern: /\bAIza[A-Za-z0-9_-]{35}\b/ },
-  { what: 'a JSON web token', pattern: /\beyJ[A-Za-z0-9_-]{10,}\.[A-Za-z0-9_-]{10,}\.[A-Za-z0-9_-]{10,}/ },
-  { what: 'a private key', pattern: /-----BEGIN (?:RSA |EC |OPENSSH |PGP )?PRIVATE KEY-----/ },
-  { what: 'a password inside a connection string', pattern: /\b[a-z][a-z0-9+.-]*:\/\/[^\s:/@]+:[^\s:/@]{6,}@/ },
-]
-
-const NAMED = /\b(?:secret|password|passwd|api_?key|apikey|access_?token|auth_?token|private_?key|client_?secret|credential)s?\b\s*[:=]\s*(['"`])([^'"`\n]{16,})\1/gi
-
-const MIXED = /^(?=.*[a-z])(?=.*[A-Z0-9])[A-Za-z0-9_+/=.-]{16,}$/
-
-const NOT = [
-  /^(?:sec|pub)_[a-z0-9_]+$/,
-  /^\$\{/,
-  /^(?:x{3,}|X{3,}|\.{3,}|<[^>]+>|change[-_]?me|your[-_]|example|placeholder|redacted|todo|test|dummy|sample|fake|dGhpcyBpcyBub3QgYSBzZWNyZXQ)/i,
-]
-
-const CODE = /\.(?:ts|tsx|mts|cts|js|jsx|mjs|cjs|json|env|ya?ml|toml|sql|md|sh)$/
-
-export const slopnator: Slopnator = {
-  holds: (_node, at) => {
-    if (!CODE.test(at.filename)) return false
-
-    if (/(?:^|\/)\.thread\/vault\.sealed\.json$/.test(at.filename)) return false
-
-    const text = String(at.text)
-
-    for (const one of ANNOUNCED) {
-      if (!one.pattern.test(text)) continue
-      return (
-        `this holds ${one.what}, written into the file. It is in every copy of this repository, in its history for ` +
-        'ever, and in whatever bundle reaches it'
-      )
-    }
-
-    for (const found of text.matchAll(NAMED)) {
-      const value = found[2] ?? ''
-      if (NOT.some((each) => each.test(value))) continue
-      if (!MIXED.test(value)) continue
-      return (
-        `this writes a ${(found[0].split(/[:=]/)[0] ?? '').trim()} down as a literal ${String(value.length)} characters ` +
-        'long. A credential in a file is in every copy of this repository and in its history for ever'
-      )
-    }
-
-    return false
-  },
-  proves: {
-    wrong: [
-      "const config = { password: 'Hunter2Hunter2Hunter2' }\n",
-      "export const db = 'postgres://app:s3cr3tpassword@db.example.com:5432/main'\n",
-    ],
-    right: [
-      "export const stripe = { apiKey: 'sec_stripe_key' }\n",
-      "export const node = nd_action(async (opened) => await opened.ht_stripe.charge({ json: { amount: 100 } }))\n",
-    ],
-  },
-}

package/dist/integrity/slopnators/sl_stale_path.ts

@@ -1,178 +0,0 @@
-import { existsSync, readdirSync, statSync } from '../../integrations/disk.ts'
-import { resolve } from 'node:path'
-
-import type { Slopnator } from '../slopnator.ts'
-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}$/
-
-const known = new WeakMap<object, ReadonlySet<string>>()
-
-const derived = (): ReadonlySet<string> => {
-  const found = new Set<string>()
-  try {
-    const pass = descend()
-    const cached = known.get(pass)
-    if (cached !== undefined) return cached
-    for (const [at, held] of pass.threaded) {
-      if (held.some((one) => one.row.by !== undefined)) found.add(at)
-    }
-    for (const one of pass.derived.values()) if (one.at !== undefined) found.add(one.at)
-    known.set(pass, found)
-  } catch {
-  }
-  return found
-}
-
-const ours = (): ReadonlySet<string> => {
-  try {
-    return new Set(
-      readdirSync(ROOT).filter(
-        (one) => one !== 'node_modules' && statSync(resolve(ROOT, one), { throwIfNoEntry: false })?.isDirectory() === true,
-      ),
-    )
-  } catch {
-    return new Set()
-  }
-}
-
-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)
-
-const sourced = (properties: readonly Keyed[]): boolean => properties.some((one) => named(one) === 'source')
-
-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 (where && (files || sourced(properties))) return true
-  }
-  return false
-}
-
-export const slopnator: Slopnator = {
-  on: ['Literal'],
-  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(path.split('/')[0] ?? '')) return false
-
-    const varies = path.search(/[{*]/)
-    if (varies !== -1) {
-      const cut = path.lastIndexOf('/', varies)
-      const dir = cut === -1 ? '.' : path.slice(0, cut)
-      if (statSync(resolve(ROOT, dir), { throwIfNoEntry: false })?.isDirectory() === true) return false
-      return `\`${value}\` ${path[varies] === '*' ? 'names what is in' : 'writes into'} \`${dir}\`, which is not a directory on disk`
-    }
-
-    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: [
-      {
-        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: 'docs/_probe_there.md', source: 'there\n' },
-          { at: 'probe.tsx', source: "const at = 'docs/nowhere/*.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: [
-      {
-        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',
-      },
-      {
-        files: [
-          { at: 'docs/reference/_probe_there.md', source: 'there\n' },
-          { at: 'probe.tsx', source: "const at = 'docs/reference/*.md'\n" },
-        ],
-        at: 'probe.tsx',
-      },
-      "const at = 'threads/'",
-      "const said = 'a sentence about packages/core/integrity/src/constraint.ts and nothing else'",
-      {
-        files: [
-          { at: 'thread/core/thread.ts', source: 'export interface Threaded {\n  readonly id?: string\n  readonly at?: string\n  readonly describes?: string\n  readonly by?: string\n  readonly runs?: 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  derives: [\n    {\n      id: 'layout',\n      at: 'app/layout.tsx',\n      by: 'thread routes',\n      runs: 'thread routes --check',\n    },\n  ],\n}\n" },
-          { 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.ts

@@ -1,57 +0,0 @@
-import type { Slopnator } from '../slopnator.ts'
-import { here, index, meaningsIn, parses, unreadable } from './sl_unthreaded.ts'
-
-export const slopnator: Slopnator = {
-  holds: (_node, at) => {
-    const path = here(at.filename)
-    if (unreadable(path, at.text) !== undefined) return false
-    const mine = parses(path) ? meaningsIn(at.text) : []
-    if (mine.length === 0) return false
-
-    const meanings = index().meanings
-
-    for (const one of mine) {
-      const held = meanings.get(one.id)
-      if (held === undefined || held.size < 2) continue
-      return `\`${one.id}\` is coined with ${String(held.size)} different \`describes\`, and the glossary holds one meaning per word`
-    }
-    return false
-  },
-  proves: {
-    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_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}",
-      "const M: Threaded = {\n  declares: [\n    {\n      id: 'one',\n      describes: 'The first thing.',\n    },\n    {\n      id: 'two',\n      describes: 'A different thing entirely.',\n    },\n  ],\n}",
-      'const M = { declares: [] }',
-    ],
-  },
-}

package/dist/integrity/slopnators/sl_twice_parented.ts

@@ -1,82 +0,0 @@
-import type { Slopnator } from '../slopnator.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).map(canonical)
-
-export const slopnator: Slopnator = {
-  holds: (_node, at) => {
-    const path = here(at.filename)
-    if (unreadable(path, at.text) !== undefined) return false
-    const mine = parses(path) ? declaredIn(at.text) : []
-    if (mine.length === 0) return false
-
-    const threaded = index().declared
-
-    for (const claimed of mine) {
-      const times = threaded.get(claimed) ?? 0
-      if (times > 1) return `${claimed} is declared ${String(times)} times, and \`declares\` is exactly one parent ever`
-    }
-    return false
-  },
-  proves: {
-    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_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: [
-      {
-        files: [
-          { at: 'thread/core/thread.ts', source: "export interface Threaded {\n  readonly id?: string\n  readonly at?: string\n  readonly describes?: string\n  readonly by?: string\n  readonly runs?: 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_derived.ts',\n    },\n  ],\n}\n" },
-          { at: 'threads/_probe_derived.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  derives: [\n    {\n      at: 'threads/glossary.ts',\n      by: 'thread glossary',\n      runs: 'thread glossary --check',\n    },\n    {\n      at: 'threads/glossary.ts',\n      by: 'thread glossary',\n      runs: 'thread glossary --check',\n    },\n  ],\n}\n" },
-          { at: 'threads/glossary.ts', source: 'export const GLOSSARY = 1\n' },
-        ],
-        at: 'threads/_probe_derived.ts',
-      },
-      'const M = { declares: [] }',
-      {
-        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_hoisted.ts',\n    },\n  ],\n}\n" },
-          { at: 'threads/_probe_hoisted.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nconst ROW = {\n  at: 'threads/core.ts',\n}\nexport const M: Threaded = {\n  declares: [ROW],\n}\n" },
-          { at: 'threads/core.ts', source: 'export const CORE = 1\n' },
-        ],
-        at: 'threads/_probe_hoisted.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_nested.ts',\n    },\n  ],\n}\n" },
-          { at: 'threads/_probe_nested.ts', source: "import type { Threaded } from '../thread/core/thread.ts'\n\nexport const M: Threaded = {\n  declares: [\n    {\n      at: 'threads/core.ts',\n      declares: [\n        {\n          at: 'threads/data.ts',\n        },\n      ],\n    },\n  ],\n}\n" },
-          { at: 'threads/core.ts', source: 'export const CORE = 1\n' },
-          { at: 'threads/data.ts', source: 'export const DATA = 1\n' },
-        ],
-        at: 'threads/_probe_nested.ts',
-      },
-    ],
-  },
-}