@prestack/thread-ui 0.1.7 → 0.1.9

package/dist/ui/compositions.ts

@@ -333,27 +333,29 @@ const SHEET = 'compiled.ts'
 
 const EMITS = 'thread compositions'
 
+export const SCREENED_BY = 'thread screens'
+
 const SHIPS = `${COMPILED}/ui/`
 
 const idFor = (at: string): string => `compiled-${at.slice(COMPILED.length + 1).replace(/\.[^./]+$/, '').split('/').join('-')}`
 
-function meaning(at: string): string {
+function meaning(at: string, by: string): string {
   if (at.startsWith(SHIPS)) {
     return (
       '`' + at.slice(SHIPS.length) + '` from ' + packageOf('ui') + ', copied into this app so a page runs it with nothing of ' +
-      'the framework installed. `' + EMITS + '` writes it, so an edit made here is refused.'
+      'the framework installed. `' + by + '` writes it, so an edit made here is refused.'
     )
   }
   return (
     '`' + at.slice(COMPILED.length + 1) + '` as React runs it, compiled from the file a person wrote: a variant worn as a ' +
-    'tag has become its class, and a named place the class its arrangement declares. `' + EMITS + '` writes it, so an ' +
+    'tag has become its class, and a named place the class its arrangement declares. `' + by + '` writes it, so an ' +
     'edit made here is refused.'
   )
 }
 
 type Sheeted = { readonly text: string } | { readonly because: string }
 
-function sheeted(tree: Tree, written: readonly string[]): Sheeted {
+function sheeted(tree: Tree, written: readonly string[], screened: ReadonlySet<string>): Sheeted {
   const at = relative(tree.at, inTree(tree, SHEET))
   const ui = inTree(tree, 'ui.ts')
   const held = (existsSync(ui) ? valuesIn(readFileSync(ui)) : {}) as { readonly GENERATORS?: readonly Threaded[] }
@@ -365,18 +367,19 @@ function sheeted(tree: Tree, written: readonly string[]): Sheeted {
         'Run `thread attach ' + packageOf('ui') + '`: that sheet is written by the package, never by hand.',
     }
   }
-  const rows = [...written].sort().map((one) =>
-    [
+  const rows = [...written].sort().map((one) => {
+    const by = screened.has(one) ? SCREENED_BY : EMITS
+    return [
       '    {',
       `      id: ${quoted(idFor(one))},`,
       `      at: ${quoted(one)},`,
-      `      describes: ${quoted(meaning(one))},`,
+      `      describes: ${quoted(meaning(one, by))},`,
       '      version: 1,',
-      `      by: ${quoted(EMITS)},`,
-      `      runs: ${quoted(`${EMITS} --check`)},`,
+      `      by: ${quoted(by)},`,
+      `      runs: ${quoted(`${by} --check`)},`,
       '    },',
-    ].join('\n'),
-  )
+    ].join('\n')
+  })
   return {
     text: [
       `import type { Threaded } from '${SHAPED}'`,
@@ -395,8 +398,8 @@ function sheeted(tree: Tree, written: readonly string[]): Sheeted {
   }
 }
 
-function declaring(tree: Tree, written: readonly string[], checking: boolean): readonly string[] {
-  const made = sheeted(tree, written)
+function declaring(tree: Tree, written: readonly string[], checking: boolean, screened: ReadonlySet<string>): readonly string[] {
+  const made = sheeted(tree, written, screened)
   if ('because' in made) return [made.because]
   const at = inTree(tree, SHEET)
   if (!checking) {
@@ -405,7 +408,7 @@ function declaring(tree: Tree, written: readonly string[], checking: boolean): r
   }
   if (existsSync(at) && readFileSync(at, 'utf8') === made.text) return []
   return [
-    relative(tree.at, at) + ' is not what this command writes from what it emits. A sheet that differs from the files it ' +
+    relative(tree.at, at) + ' is not what this command writes. A sheet that differs from the files it ' +
       'declares is a hand edit wearing a generated name. Run `' + EMITS + '` and commit what it writes.',
   ]
 }
@@ -537,7 +540,7 @@ function run(): number {
     ...emitting(tree.at, entries, checking, kept),
     ...settled(tree.at, rows, checking, EMITS, kept),
   ]
-  found.push(...declaring(tree, [...kept].filter((one) => !screened.has(one)), checking))
+  found.push(...declaring(tree, [...kept], checking, screened))
   const loose = [...found, ...(found.length === 0 ? stale(tree.at, kept, checking) : [])]
   for (const one of loose) stdout.write(`thread: ${one}\n`)
 

package/dist/ui/generators/dev.js

@@ -1,9 +1,9 @@
 import { releases, starts } from '@prestack/thread/integrations/cli';
 import { basename } from 'node:path';
-import { argv, execPath, stdout } from 'node:process';
-import { generators, settling } from '@prestack/thread/core/chain';
+import { argv, stdout } from 'node:process';
+import { batched, generators, settling } from '@prestack/thread/core/chain';
 import { existsSync } from '@prestack/thread/integrations/disk';
-import { CLI, exit, invoked } from '@prestack/thread/core/invoked';
+import { exit, invoked } from '@prestack/thread/core/invoked';
 import { named } from '@prestack/thread/core/scope';
 import { findTree } from '@prestack/thread/core/tree';
 import { programOf } from '@prestack/thread/integrations/target';
@@ -11,7 +11,7 @@ const SERVER = 'next';
 const SHIP = '--ship';
 const ENTRY = 'dev';
 const SHIPPED = 'build';
-const GATE = 'gate';
+const GATE = 'thread gate';
 const say = (line) => {
     stdout.write(line);
 };
@@ -38,10 +38,13 @@ async function run() {
         return 1;
     }
     say('thread: ' + basename(tree.at) + ' settled in ' + String(settled.rounds) + ' round(s); running the gate\n');
-    const gated = starts(execPath, [...CLI, GATE], { at: tree.at, shows: true });
-    if (!gated.ok) {
+    const gated = batched(tree.at, [GATE]);
+    for (const one of gated)
+        if (one.said !== '')
+            say(one.said + '\n');
+    if (!gated.every((one) => one.ok)) {
         say('thread: the gate refused this tree, and nothing is served over a red gate. What it refused is printed above.\n');
-        return gated.code === 0 ? 1 : gated.code;
+        return 1;
     }
     say('thread: the gate passed; running ' + SERVER + ' ' + entry + '\n');
     const extra = argv.slice(2).filter((one) => one !== SHIP);

package/dist/ui/generators/dev.ts

@@ -1,10 +1,10 @@
 import { releases, starts } from '@prestack/thread/integrations/cli'
 import { basename } from 'node:path'
-import { argv, execPath, stdout } from 'node:process'
+import { argv, stdout } from 'node:process'
 
-import { generators, settling } from '@prestack/thread/core/chain'
+import { batched, generators, settling } from '@prestack/thread/core/chain'
 import { existsSync } from '@prestack/thread/integrations/disk'
-import { CLI, exit, invoked } from '@prestack/thread/core/invoked'
+import { exit, invoked } from '@prestack/thread/core/invoked'
 import { named } from '@prestack/thread/core/scope'
 import { findTree } from '@prestack/thread/core/tree'
 import { programOf } from '@prestack/thread/integrations/target'
@@ -17,7 +17,7 @@ const ENTRY = 'dev'
 
 const SHIPPED = 'build'
 
-const GATE = 'gate'
+const GATE = 'thread gate'
 
 const say = (line: string): void => {
   stdout.write(line)
@@ -53,10 +53,11 @@ async function run(): Promise<number> {
   }
 
   say('thread: ' + basename(tree.at) + ' settled in ' + String(settled.rounds) + ' round(s); running the gate\n')
-  const gated = starts(execPath, [...CLI, GATE], { at: tree.at, shows: true })
-  if (!gated.ok) {
+  const gated = batched(tree.at, [GATE])
+  for (const one of gated) if (one.said !== '') say(one.said + '\n')
+  if (!gated.every((one) => one.ok)) {
     say('thread: the gate refused this tree, and nothing is served over a red gate. What it refused is printed above.\n')
-    return gated.code === 0 ? 1 : gated.code
+    return 1
   }
 
   say('thread: the gate passed; running ' + SERVER + ' ' + entry + '\n')

package/dist/ui/generators/react.js

@@ -182,8 +182,7 @@ export function ungated(from) {
     checked = null;
     if (at === '' || !existsSync(at)) {
         checked =
-            'this tree has no passing gate, so nothing in it may compile. Run `thread gate` — or the ' +
-                '`dev`, `build` and `start` scripts, which run it for you. A gate that has never run is not a ' +
+            'this tree has no passing gate, so nothing in it may compile. Run `thread gate`. A gate that has never run is not a ' +
                 'gate that passed, and the file you are compiling was never measured. Compiling ' +
                 `\`${from}\`, it looked for a gate receipt from \`${dirname(resolve(from))}\` and from ` +
                 `\`${resolve(cwd())}\` upwards${at === '' ? ', and neither reached a tree' : `, and found none at ${at}`}`;

package/dist/ui/generators/react.ts

@@ -226,8 +226,7 @@ export function ungated(from: string): string | null {
 
   if (at === '' || !existsSync(at)) {
     checked =
-      'this tree has no passing gate, so nothing in it may compile. Run `thread gate` — or the ' +
-      '`dev`, `build` and `start` scripts, which run it for you. A gate that has never run is not a ' +
+      'this tree has no passing gate, so nothing in it may compile. Run `thread gate`. A gate that has never run is not a ' +
       'gate that passed, and the file you are compiling was never measured. Compiling ' +
       `\`${from}\`, it looked for a gate receipt from \`${dirname(resolve(from))}\` and from ` +
       `\`${resolve(cwd())}\` upwards${at === '' ? ', and neither reached a tree' : `, and found none at ${at}`}`

package/dist/ui/generators/routes.js

@@ -1,12 +1,13 @@
 import { dirname, join, relative } from 'node:path';
 import { argv, stderr, stdout } from 'node:process';
 import ts from 'typescript';
-import { existsSync, readFileSync, realpathSync, writeFileSync } from '@prestack/thread/integrations/disk';
+import { existsSync, readFileSync, readdirSync, realpathSync, rmSync, writeFileSync } from '@prestack/thread/integrations/disk';
 import { exit, invoked } from '@prestack/thread/core/invoked';
-import { valuesIn } from '@prestack/thread/core/rows';
+import { listBounds, nestedBounds, rowsIn, valuesIn, withField, withRow, withoutField, withoutRow } from '@prestack/thread/core/rows';
 import { named as packageOf } from '@prestack/thread/core/scope';
 import { findTree, inTree } from '@prestack/thread/core/tree';
 import { PERMITS_AT } from '@prestack/thread/operations/access';
+import { said } from '@prestack/thread/operations/attach';
 import { ACTOR_AT, COMPILED } from '@prestack/thread/operations/capabilities';
 import { compiledAt, nameOf as compositionOf } from '../compositions.js';
 import { PRESENTATIONS } from '../door.js';
@@ -21,6 +22,11 @@ const MAP = `app/_generated/map.${'ts'}`;
 const PROVIDER = `${COMPILED}/ui/provider.tsx`;
 const GRAMMAR = `${COMPILED}/ui/islands/map.ts`;
 const MOVES = 'navigateTo';
+const PAGE_ROW = 'page';
+const WRITER = 'thread routes';
+const PAGE_SAID = 'The page a browser gets at the address of this screen: `/` when it is the first page this app declares, and its own ' +
+    'name otherwise. `thread routes` writes the page and this row from where the screen sits, and moves or deletes both ' +
+    'when that changes.';
 function served(at) {
     try {
         const held = JSON.parse(readFileSync(join(at, 'package.json'), 'utf8'));
@@ -316,6 +322,40 @@ function page(name, at, route) {
         '',
     ].join('\n');
 }
+const pageShaped = (path) => path === pageAt(`/${path.split('/').slice(1, -1).join('/')}`);
+function unpaged(one) {
+    if (one.where === undefined) {
+        return (`\`${one.id}\` is presented as a ${one.shown}, so it has no page, and its row still derives ${String(one.was)}. ` +
+            `Run \`${WRITER}\`, which takes that row out and deletes the page.`);
+    }
+    return (`\`${one.id}\` answers ${String(one.route)}, so its page is ${one.where}, and its row ` +
+        `${one.was === undefined ? 'derives no page' : `says ${one.was}`}. Run \`${WRITER}\`, which writes that row from ` +
+        'where the screen now sits and puts the page there.');
+}
+function repaged(text, moved) {
+    let next = text;
+    for (const one of moved) {
+        const list = listBounds(next, 'declares');
+        const inside = list === undefined ? undefined : nestedBounds(next, list, one.id, 'derives');
+        if (inside !== undefined)
+            next = withoutRow(next, inside, PAGE_ROW);
+        const rows = listBounds(next, 'declares');
+        if (rows === undefined)
+            return undefined;
+        const within = nestedBounds(next, rows, one.id, 'derives');
+        if (one.where === undefined) {
+            if (within !== undefined && rowsIn(next, within).length === 0)
+                next = withoutField(next, rows, one.id, 'derives');
+            continue;
+        }
+        const row = said({ id: PAGE_ROW, at: one.where, describes: PAGE_SAID, version: 1, by: WRITER, runs: `${WRITER} --check` }, '        ');
+        const put = within === undefined ? withField(next, rows, one.id, 'derives', `[\n${row}\n      ]`) : withRow(next, within, row);
+        if (put === undefined)
+            return undefined;
+        next = put;
+    }
+    return next;
+}
 function gate(typed) {
     const said = typed ? ' as { of?: Record<string, string> }' : '';
     return [
@@ -532,6 +572,7 @@ async function run() {
     const shownOf = (id) => presentedIn(texts.get(id) ?? '');
     const entry = entryAmong(rows, shownOf);
     const made = [];
+    const moved = [];
     const routes = new Map();
     const screens = [];
     const reaches = reachable(at);
@@ -541,7 +582,7 @@ async function run() {
         if (typed !== undefined) {
             stderr.write(`routes: ${row.at} states \`route: '${typed}'\`, and a route is never typed: the first page an app declares ` +
                 'answers `/`, every other page answers its own name, and a sheet has no route. Take `route:` out of the ' +
-                'file — `thread create screen edit` rewrites it without one when it is given the body.\n');
+                `file with \`thread edit ${row.at} --find <text> --replace <text>\`, which changes that one stretch of it.\n`);
             return 1;
         }
         const name = nameOf(row.at);
@@ -576,18 +617,19 @@ async function run() {
             entry: row.id === entry,
             shows: [...shows],
         });
-        if (route === undefined)
+        const where = route === undefined ? undefined : pageAt(route);
+        const was = (row.derives ?? []).find((one) => one.id === PAGE_ROW)?.at;
+        if (was !== where)
+            moved.push({ id: row.id, shown: shownAs, route, was, where });
+        if (route === undefined || where === undefined)
             continue;
-        const where = pageAt(route);
-        const stated = (row.derives ?? []).find((one) => one.id === 'page')?.at;
-        if (stated !== where) {
-            stderr.write(`routes: \`${row.id}\` answers ${route}, so its page is ${where}, and its row ` +
-                `${stated === undefined ? 'derives no page' : `says ${stated}`}. Run \`thread create screen edit\` on it — ` +
-                'the row is rewritten from where the screen now lives.\n');
-            return 1;
-        }
         made.push({ path: where, text: page(name, row.at, route) });
     }
+    if (moved.length > 0 && argv.includes('--check')) {
+        for (const one of moved)
+            stderr.write(`routes: ${unpaged(one)}\n`);
+        return 1;
+    }
     const { links, wrong } = linksOf(at, rows, compositions, routes, wordingFirst(keyProps(at)));
     if (wrong.length > 0) {
         for (const one of wrong)
@@ -611,6 +653,30 @@ async function run() {
     });
     const paged = map.screens.filter((one) => one.path !== undefined).length;
     const counted = `${String(map.screens.length)} screen(s), ${String(paged)} route(s), ${String(map.links.length)} link(s)`;
+    if (moved.length > 0) {
+        const declaredIn = relative(at, screensAt);
+        const rewritten = repaged(readFileSync(screensAt, 'utf8'), moved);
+        if (rewritten === undefined) {
+            stderr.write(`routes: ${declaredIn} could not be given the page row of each screen, so nothing was written. ` +
+                `\`thread read ${declaredIn}\` prints what it states now.\n`);
+            return 1;
+        }
+        writeFileSync(screensAt, rewritten, 'utf8');
+        const answered = new Set(made.map((one) => one.path));
+        const home = dirname(join(at, pageAt('/')));
+        for (const one of moved) {
+            stdout.write(one.where === undefined
+                ? `routes: \`${one.id}\` has no route, so its row no longer derives ${String(one.was)}\n`
+                : `routes: \`${one.id}\` answers ${String(one.route)}, so its row now derives ${one.where}\n`);
+            if (one.was === undefined || answered.has(one.was) || !pageShaped(one.was) || !existsSync(join(at, one.was)))
+                continue;
+            rmSync(join(at, one.was));
+            const folder = dirname(join(at, one.was));
+            if (folder !== home && readdirSync(folder).length === 0)
+                rmSync(folder, { recursive: true, force: true });
+            stdout.write(`routes: deleted ${one.was}, because no screen answers there any more\n`);
+        }
+    }
     const refused = landed(at, made);
     if (refused !== undefined)
         return refused;

package/dist/ui/generators/routes.ts

@@ -3,12 +3,13 @@ import { argv, stderr, stdout } from 'node:process'
 
 import ts from 'typescript'
 
-import { existsSync, readFileSync, realpathSync, writeFileSync } from '@prestack/thread/integrations/disk'
+import { existsSync, readFileSync, readdirSync, realpathSync, rmSync, writeFileSync } from '@prestack/thread/integrations/disk'
 import { exit, invoked } from '@prestack/thread/core/invoked'
-import { valuesIn } from '@prestack/thread/core/rows'
+import { listBounds, nestedBounds, rowsIn, valuesIn, withField, withRow, withoutField, withoutRow } from '@prestack/thread/core/rows'
 import { named as packageOf } from '@prestack/thread/core/scope'
 import { findTree, inTree } from '@prestack/thread/core/tree'
 import { PERMITS_AT } from '@prestack/thread/operations/access'
+import { said } from '@prestack/thread/operations/attach'
 import { ACTOR_AT, COMPILED } from '@prestack/thread/operations/capabilities'
 
 import { compiledAt, nameOf as compositionOf } from '../compositions.ts'
@@ -36,6 +37,15 @@ const GRAMMAR = `${COMPILED}/ui/islands/map.ts`
 
 const MOVES = 'navigateTo'
 
+const PAGE_ROW = 'page'
+
+const WRITER = 'thread routes'
+
+const PAGE_SAID =
+  'The page a browser gets at the address of this screen: `/` when it is the first page this app declares, and its own ' +
+  'name otherwise. `thread routes` writes the page and this row from where the screen sits, and moves or deletes both ' +
+  'when that changes.'
+
 function served(at: string): boolean {
   try {
     const held = JSON.parse(readFileSync(join(at, 'package.json'), 'utf8')) as {
@@ -386,6 +396,51 @@ function page(name: string, at: string, route: string): string {
   ].join('\n')
 }
 
+interface Repaged {
+  readonly id: string
+  readonly shown: string
+  readonly route: string | undefined
+  readonly was: string | undefined
+  readonly where: string | undefined
+}
+
+const pageShaped = (path: string): boolean => path === pageAt(`/${path.split('/').slice(1, -1).join('/')}`)
+
+function unpaged(one: Repaged): string {
+  if (one.where === undefined) {
+    return (
+      `\`${one.id}\` is presented as a ${one.shown}, so it has no page, and its row still derives ${String(one.was)}. ` +
+      `Run \`${WRITER}\`, which takes that row out and deletes the page.`
+    )
+  }
+  return (
+    `\`${one.id}\` answers ${String(one.route)}, so its page is ${one.where}, and its row ` +
+    `${one.was === undefined ? 'derives no page' : `says ${one.was}`}. Run \`${WRITER}\`, which writes that row from ` +
+    'where the screen now sits and puts the page there.'
+  )
+}
+
+function repaged(text: string, moved: readonly Repaged[]): string | undefined {
+  let next = text
+  for (const one of moved) {
+    const list = listBounds(next, 'declares')
+    const inside = list === undefined ? undefined : nestedBounds(next, list, one.id, 'derives')
+    if (inside !== undefined) next = withoutRow(next, inside, PAGE_ROW)
+    const rows = listBounds(next, 'declares')
+    if (rows === undefined) return undefined
+    const within = nestedBounds(next, rows, one.id, 'derives')
+    if (one.where === undefined) {
+      if (within !== undefined && rowsIn(next, within).length === 0) next = withoutField(next, rows, one.id, 'derives')
+      continue
+    }
+    const row = said({ id: PAGE_ROW, at: one.where, describes: PAGE_SAID, version: 1, by: WRITER, runs: `${WRITER} --check` }, '        ')
+    const put = within === undefined ? withField(next, rows, one.id, 'derives', `[\n${row}\n      ]`) : withRow(next, within, row)
+    if (put === undefined) return undefined
+    next = put
+  }
+  return next
+}
+
 function gate(typed: boolean): readonly string[] {
   const said = typed ? ' as { of?: Record<string, string> }' : ''
   return [
@@ -647,6 +702,7 @@ async function run(): Promise<number> {
   const entry = entryAmong(rows, shownOf)
 
   const made: { readonly path: string; readonly text: string }[] = []
+  const moved: Repaged[] = []
   const routes = new Map<string, string | undefined>()
   const screens: MapIsland['screens'][number][] = []
   const reaches = reachable(at)
@@ -658,7 +714,7 @@ async function run(): Promise<number> {
       stderr.write(
         `routes: ${row.at} states \`route: '${typed}'\`, and a route is never typed: the first page an app declares ` +
           'answers `/`, every other page answers its own name, and a sheet has no route. Take `route:` out of the ' +
-          'file — `thread create screen edit` rewrites it without one when it is given the body.\n',
+          `file with \`thread edit ${row.at} --find <text> --replace <text>\`, which changes that one stretch of it.\n`,
       )
       return 1
     }
@@ -700,20 +756,18 @@ async function run(): Promise<number> {
       entry: row.id === entry,
       shows: [...shows],
     })
-    if (route === undefined) continue
-    const where = pageAt(route)
-    const stated = (row.derives ?? []).find((one) => one.id === 'page')?.at
-    if (stated !== where) {
-      stderr.write(
-        `routes: \`${row.id}\` answers ${route}, so its page is ${where}, and its row ` +
-          `${stated === undefined ? 'derives no page' : `says ${stated}`}. Run \`thread create screen edit\` on it — ` +
-          'the row is rewritten from where the screen now lives.\n',
-      )
-      return 1
-    }
+    const where = route === undefined ? undefined : pageAt(route)
+    const was = (row.derives ?? []).find((one) => one.id === PAGE_ROW)?.at
+    if (was !== where) moved.push({ id: row.id, shown: shownAs, route, was, where })
+    if (route === undefined || where === undefined) continue
     made.push({ path: where, text: page(name, row.at, route) })
   }
 
+  if (moved.length > 0 && argv.includes('--check')) {
+    for (const one of moved) stderr.write(`routes: ${unpaged(one)}\n`)
+    return 1
+  }
+
   const { links, wrong } = linksOf(at, rows, compositions, routes, wordingFirst(keyProps(at)))
   if (wrong.length > 0) {
     for (const one of wrong) stderr.write(`routes: ${one}\n`)
@@ -749,6 +803,33 @@ async function run(): Promise<number> {
   const paged = map.screens.filter((one) => one.path !== undefined).length
   const counted = `${String(map.screens.length)} screen(s), ${String(paged)} route(s), ${String(map.links.length)} link(s)`
 
+  if (moved.length > 0) {
+    const declaredIn = relative(at, screensAt)
+    const rewritten = repaged(readFileSync(screensAt, 'utf8'), moved)
+    if (rewritten === undefined) {
+      stderr.write(
+        `routes: ${declaredIn} could not be given the page row of each screen, so nothing was written. ` +
+          `\`thread read ${declaredIn}\` prints what it states now.\n`,
+      )
+      return 1
+    }
+    writeFileSync(screensAt, rewritten, 'utf8')
+    const answered = new Set(made.map((one) => one.path))
+    const home = dirname(join(at, pageAt('/')))
+    for (const one of moved) {
+      stdout.write(
+        one.where === undefined
+          ? `routes: \`${one.id}\` has no route, so its row no longer derives ${String(one.was)}\n`
+          : `routes: \`${one.id}\` answers ${String(one.route)}, so its row now derives ${one.where}\n`,
+      )
+      if (one.was === undefined || answered.has(one.was) || !pageShaped(one.was) || !existsSync(join(at, one.was))) continue
+      rmSync(join(at, one.was))
+      const folder = dirname(join(at, one.was))
+      if (folder !== home && readdirSync(folder).length === 0) rmSync(folder, { recursive: true, force: true })
+      stdout.write(`routes: deleted ${one.was}, because no screen answers there any more\n`)
+    }
+  }
+
   const refused = landed(at, made)
   if (refused !== undefined) return refused
 

package/dist/ui/generators/styles.js

@@ -423,6 +423,7 @@ async function node(root, file, name) {
     }
     return one;
 }
+const STYLESHEET = 'app/_generated/tokens.css';
 const DECLARED = 'app/_generated/declared.ts';
 async function run() {
     const own = argv.includes('--own');
@@ -462,7 +463,7 @@ async function run() {
         '] as const',
         '',
     ].join('\n');
-    const at = join(root, 'app/_generated/tokens.css');
+    const at = join(root, STYLESHEET);
     const made = sheet(tokens, guide, materials, variants, modes, themes, screens, compositions, elements, fonts, icons, animations);
     if (own) {
         stdout.write(`styles: this framework's own declarations build a stylesheet — ${String(guide.picks.length)} values, ` +
@@ -472,25 +473,29 @@ async function run() {
         return 0;
     }
     if (argv.includes('--check')) {
-        let current = '';
-        try {
-            current = readFileSync(at, 'utf8');
-        }
-        catch {
-            current = '';
-        }
-        if (current === made) {
-            stdout.write('styles: app/_generated/tokens.css is the bytes the declarations produce\n');
+        const drifted = [
+            { named: STYLESHEET, text: made },
+            { named: DECLARED, text: wearingSource },
+        ].filter((one) => {
+            try {
+                return readFileSync(join(root, one.named), 'utf8') !== one.text;
+            }
+            catch {
+                return true;
+            }
+        });
+        if (drifted.length === 0) {
+            stdout.write(`styles: ${STYLESHEET} and ${DECLARED} are the bytes the declarations produce\n`);
             return 0;
         }
-        stderr.write('styles: app/_generated/tokens.css is not what the declarations produce. A derived file that ' +
-            'differs from its generator is a hand edit wearing a generated name, and every reader downstream ' +
-            'believes the wrong one. Run `thread styles` and commit what it writes.\n');
+        stderr.write(`styles: ${drifted.map((one) => one.named).join(' and ')} ${drifted.length === 1 ? 'is' : 'are'} not what the declarations produce. ` +
+            'A derived file that differs from its generator is a hand edit wearing a generated name, and every reader ' +
+            'downstream believes the wrong one. Run `thread styles` and commit what it writes.\n');
         return 1;
     }
     writeFileSync(at, made, 'utf8');
     writeFileSync(join(root, DECLARED), wearingSource, 'utf8');
-    stdout.write(`thread: wrote app/_generated/tokens.css — ${String(Object.keys(tokens).length)} tokens, ` +
+    stdout.write(`thread: wrote ${STYLESHEET} and ${DECLARED} — ${String(Object.keys(tokens).length)} tokens, ` +
         `${String(guide.picks.length)} values, ${String(Object.keys(materials).length)} materials, ` +
         `${String(Object.keys(variants).length)} variants, ${String(inside(fonts).length - 1)} font roles, ` +
         `${String(Object.keys(animations).length)} animations, ${String(modes.length)} modes, ` +

package/dist/ui/generators/styles.ts

@@ -563,6 +563,8 @@ async function node(root: string, file: string, name: string): Promise<Node> {
   return one as Node
 }
 
+const STYLESHEET = 'app/_generated/tokens.css'
+
 const DECLARED = 'app/_generated/declared.ts'
 
 async function run(): Promise<number> {
@@ -623,7 +625,7 @@ async function run(): Promise<number> {
     '',
   ].join('\n')
 
-  const at = join(root, 'app/_generated/tokens.css')
+  const at = join(root, STYLESHEET)
   const made = sheet(tokens, guide, materials, variants, modes, themes, screens, compositions, elements, fonts, icons, animations)
 
   if (own) {
@@ -637,20 +639,24 @@ async function run(): Promise<number> {
   }
 
   if (argv.includes('--check')) {
-    let current = ''
-    try {
-      current = readFileSync(at, 'utf8')
-    } catch {
-      current = ''
-    }
-    if (current === made) {
-      stdout.write('styles: app/_generated/tokens.css is the bytes the declarations produce\n')
+    const drifted = [
+      { named: STYLESHEET, text: made },
+      { named: DECLARED, text: wearingSource },
+    ].filter((one) => {
+      try {
+        return readFileSync(join(root, one.named), 'utf8') !== one.text
+      } catch {
+        return true
+      }
+    })
+    if (drifted.length === 0) {
+      stdout.write(`styles: ${STYLESHEET} and ${DECLARED} are the bytes the declarations produce\n`)
       return 0
     }
     stderr.write(
-      'styles: app/_generated/tokens.css is not what the declarations produce. A derived file that ' +
-        'differs from its generator is a hand edit wearing a generated name, and every reader downstream ' +
-        'believes the wrong one. Run `thread styles` and commit what it writes.\n',
+      `styles: ${drifted.map((one) => one.named).join(' and ')} ${drifted.length === 1 ? 'is' : 'are'} not what the declarations produce. ` +
+        'A derived file that differs from its generator is a hand edit wearing a generated name, and every reader ' +
+        'downstream believes the wrong one. Run `thread styles` and commit what it writes.\n',
     )
     return 1
   }
@@ -659,7 +665,7 @@ async function run(): Promise<number> {
   writeFileSync(join(root, DECLARED), wearingSource, 'utf8')
 
   stdout.write(
-    `thread: wrote app/_generated/tokens.css — ${String(Object.keys(tokens).length)} tokens, ` +
+    `thread: wrote ${STYLESHEET} and ${DECLARED} — ${String(Object.keys(tokens).length)} tokens, ` +
       `${String(guide.picks.length)} values, ${String(Object.keys(materials).length)} materials, ` +
       `${String(Object.keys(variants).length)} variants, ${String(inside(fonts).length - 1)} font roles, ` +
       `${String(Object.keys(animations).length)} animations, ${String(modes.length)} modes, ` +

package/dist/ui/screens.js

@@ -4,7 +4,7 @@ import { argv, stdout } from 'node:process';
 import { exit, invoked } from '@prestack/thread/core/invoked';
 import { valuesIn } from '@prestack/thread/core/rows';
 import { findTree, inTree } from '@prestack/thread/core/tree';
-import { HOME, settled, undeclared } from './compositions.js';
+import { HOME, SCREENED_BY, settled, undeclared } from './compositions.js';
 import { PRESENTATIONS } from './door.js';
 const here = 'thread/ui/screens.ts';
 const said = [
@@ -100,7 +100,7 @@ function run() {
             stdout.write(`thread: seeded ${one.path}\n`);
         }
     }
-    const loose = [...undeclared(tree, rows), ...settled(tree.at, rows, checking, 'thread screens', new Set())];
+    const loose = [...undeclared(tree, rows), ...settled(tree.at, rows, checking, SCREENED_BY, new Set())];
     for (const one of loose)
         stdout.write(`thread: ${one}\n`);
     stdout.write(`thread: ${String(rows.length)} screen(s) declared, ${String(made.length)} seeded, ` +