@prestack/thread 0.1.3 → 0.1.4

package/dist/core/chain.js

@@ -1,10 +1,10 @@
-import { spawnSync } from 'node:child_process';
+import { starts } from '../integrations/cli.js';
 import { join } from 'node:path';
 import { execPath } from 'node:process';
 import { fileURLToPath } from 'node:url';
-import { existsSync, readFileSync, readdirSync } from "./files.js";
-import { valuesIn } from "./rows.js";
-import { findTree } from "./tree.js";
+import { existsSync, readFileSync, readdirSync } from '../integrations/disk.js';
+import { valuesIn } from './rows.js';
+import { findTree } from './tree.js';
 const STATING = 'derivation.ts';
 export async function generators(tree = findTree()) {
     if (!existsSync(tree.dir))
@@ -39,12 +39,8 @@ export const REFUSED_BY = 'round: refused';
 export function batched(at, commands, within) {
     if (commands.length === 0)
         return [];
-    const out = spawnSync(execPath, [...LOADER, RUNNER, ...new Set(commands)], {
-        cwd: at,
-        encoding: 'utf8',
-        ...(within === undefined ? {} : { timeout: within, killSignal: 'SIGKILL' }),
-    });
-    const lines = `${out.stdout ?? ''}${out.stderr ?? ''}`.split('\n');
+    const out = starts(execPath, [...LOADER, RUNNER, ...new Set(commands)], { at, shows: 'errors', within });
+    const lines = out.out.split('\n');
     const found = new Map();
     let held = [];
     for (const line of lines) {
@@ -58,12 +54,12 @@ export function batched(at, commands, within) {
         held = [];
     }
     const orphaned = held.join('\n').trim();
-    const died = out.error !== undefined
-        ? ` The runner itself failed to start or was stopped: ${out.error.message}.`
-        : out.signal !== null && out.signal !== undefined
-            ? ` The runner was killed by ${out.signal}, so everything after the command it was running is unreported rather than refused.`
-            : found.size === 0 && out.status !== 0
-                ? ` The runner exited ${String(out.status)} having reported nothing, so it died before the first command finished.`
+    const died = out.why !== ''
+        ? ` The runner itself failed to start or was stopped: ${out.why}.`
+        : out.killed !== null
+            ? ` The runner was killed by ${out.killed} after ${String(within ?? 0)} ms. The last "settle: running" line above names the command it was inside, and everything after that one is unreported rather than refused.`
+            : found.size === 0 && !out.ok
+                ? ` The runner exited ${String(out.code)} having reported nothing, so it died before the first command finished.`
                 : '';
     let firstUnreached = true;
     return commands.map((one) => {
@@ -93,7 +89,7 @@ export function settling(at, all, skip = []) {
     let before;
     while (round < ROUNDS) {
         round += 1;
-        const asking = round === 1 ? mine.map((one) => word(one.runs)) : batch(at, mine.map((one) => word(one.runs))).refused;
+        const asking = batch(at, mine.map((one) => word(one.runs))).refused;
         const unhappy = mine.filter((one) => asking.includes(word(one.runs)));
         if (unhappy.length === 0)
             return { ran, unsettled: [], rounds: round };

package/dist/core/chain.ts

@@ -1,10 +1,10 @@
-import { spawnSync } from 'node:child_process'
+import { starts } from '../integrations/cli.ts'
 import { join } from 'node:path'
 import { execPath } from 'node:process'
 import { fileURLToPath } from 'node:url'
 
 import type { Row } from './descend.ts'
-import { existsSync, readFileSync, readdirSync } from './files.ts'
+import { existsSync, readFileSync, readdirSync } from '../integrations/disk.ts'
 import { valuesIn } from './rows.ts'
 import { findTree, type Tree } from './tree.ts'
 
@@ -58,12 +58,8 @@ export function batched(
 ): readonly { readonly command: string; readonly ok: boolean; readonly said: string }[] {
   if (commands.length === 0) return []
 
-  const out = spawnSync(execPath, [...LOADER, RUNNER, ...new Set(commands)], {
-    cwd: at,
-    encoding: 'utf8',
-    ...(within === undefined ? {} : { timeout: within, killSignal: 'SIGKILL' as const }),
-  })
-  const lines = `${out.stdout ?? ''}${out.stderr ?? ''}`.split('\n')
+  const out = starts(execPath, [...LOADER, RUNNER, ...new Set(commands)], { at, shows: 'errors', within })
+  const lines = out.out.split('\n')
 
   const found = new Map<string, { readonly command: string; readonly ok: boolean; readonly said: string }>()
   let held: string[] = []
@@ -80,12 +76,12 @@ export function batched(
 
   const orphaned = held.join('\n').trim()
   const died =
-    out.error !== undefined
-      ? ` The runner itself failed to start or was stopped: ${out.error.message}.`
-      : out.signal !== null && out.signal !== undefined
-        ? ` The runner was killed by ${out.signal}, so everything after the command it was running is unreported rather than refused.`
-        : found.size === 0 && out.status !== 0
-          ? ` The runner exited ${String(out.status)} having reported nothing, so it died before the first command finished.`
+    out.why !== ''
+      ? ` The runner itself failed to start or was stopped: ${out.why}.`
+      : out.killed !== null
+        ? ` The runner was killed by ${out.killed} after ${String(within ?? 0)} ms. The last "settle: running" line above names the command it was inside, and everything after that one is unreported rather than refused.`
+        : found.size === 0 && !out.ok
+          ? ` The runner exited ${String(out.code)} having reported nothing, so it died before the first command finished.`
           : ''
   let firstUnreached = true
   return commands.map((one) => {
@@ -127,7 +123,7 @@ export function settling(
   while (round < ROUNDS) {
     round += 1
 
-    const asking = round === 1 ? mine.map((one) => word(one.runs)) : batch(at, mine.map((one) => word(one.runs))).refused
+    const asking = batch(at, mine.map((one) => word(one.runs))).refused
     const unhappy = mine.filter((one) => asking.includes(word(one.runs)))
     if (unhappy.length === 0) return { ran, unsettled: [], rounds: round }
 

package/dist/core/condition.d.ts

@@ -1,8 +1,8 @@
 import { type Actor } from './actor.ts';
-export declare const COMPARE_OPS: readonly ["eq", "neq", "lt", "lte", "gt", "gte", "in", "has"];
+export declare const COMPARE_OPS: readonly ['eq', 'neq', 'lt', 'lte', 'gt', 'gte', 'in', 'has'];
 export type CompareOp = (typeof COMPARE_OPS)[number];
-export declare const AGGREGATIONS: readonly ["count", "sum", "min", "max", "avg"];
-export declare const ACTOR_FACTS: readonly ["id", "roles", "entitlements", ...("run" | "address" | "device" | "replay")[]];
+export declare const AGGREGATIONS: readonly ['count', 'sum', 'min', 'max', 'avg'];
+export declare const ACTOR_FACTS: readonly ["id", "roles", "entitlements", ...("address" | "device" | "moment" | "replay" | "run")[]];
 export declare const AGO: RegExp;
 export type Operand = {
     readonly value: string | number | boolean | null;
@@ -41,7 +41,7 @@ export declare function walkOperands(condition: Condition, take: (one: Operand)
 export declare function mentionsActor(condition: Condition): boolean;
 export declare function agoSeconds(ago: string): number | undefined;
 export declare function satisfies(condition: Condition, actor: Actor): boolean;
-export declare const CONDITION_ANSWERS: readonly ["is", "than", "field", "value", "actor", "ago", "of", "how", "over", "op", "when", "joins"];
+export declare const CONDITION_ANSWERS: readonly ['is', 'than', 'field', 'value', 'actor', 'ago', 'of', 'how', 'over', 'op', 'when', 'joins'];
 export declare function conditioned(ask: (key: string, question: string) => Promise<string>, say: (line: string) => void, subject: {
     readonly id: string;
     readonly fields: readonly string[];

package/dist/core/condition.js

@@ -1,4 +1,4 @@
-import { ENVIRONMENT } from "./actor.js";
+import { ENVIRONMENT } from './actor.js';
 export const COMPARE_OPS = ['eq', 'neq', 'lt', 'lte', 'gt', 'gte', 'in', 'has'];
 export const AGGREGATIONS = ['count', 'sum', 'min', 'max', 'avg'];
 export const ACTOR_FACTS = ['id', 'roles', 'entitlements', ...ENVIRONMENT.map(([fact]) => fact)];
@@ -182,7 +182,7 @@ export async function conditioned(ask, say, subject, all) {
     const first = held[0];
     return held.length === 1 ? first : joiner === 'all' ? { all: held } : { any: held };
 }
-import { quoted } from "./rows.js";
+import { quoted } from './rows.js';
 export function said(one) {
     if (typeof one === 'string')
         return quoted(one);

package/dist/core/descend.d.ts

@@ -4,7 +4,7 @@ export declare const ROOT: string;
 export declare const TREE: string;
 export declare const THREAD_AT: string;
 export declare function unkept(at: string): boolean;
-export declare const LISTS: readonly ["declares", "derives", "seeds"];
+export declare const LISTS: readonly ['declares', 'derives', 'seeds'];
 export declare const ROW_LISTS: readonly ["declares", "derives", "seeds", "holds"];
 export interface Row {
     readonly at?: string;
@@ -59,6 +59,7 @@ export declare function shapeFields(named: string, inside?: string): readonly {
     readonly map: boolean;
     readonly worded: boolean;
     readonly guide: string;
+    readonly record: readonly string[];
 }[];
 export interface Field {
     readonly name: string;
@@ -68,9 +69,10 @@ export interface Field {
     readonly boolean: boolean;
     readonly worded: boolean;
     readonly guide: string;
+    readonly record: readonly string[];
 }
 export declare function listShape(at: string, list: string): string | undefined;
-export declare function listFields(at: string, list: string): readonly Field[];
+export declare function listFields(at: string, list: string, within?: number): readonly Field[];
 export declare function rowShape(at: string, list: string): string | undefined;
 interface Held {
     readonly name: string;

package/dist/core/descend.js

@@ -1,10 +1,10 @@
-import { spawnSync } from 'node:child_process';
-import { attached, existsSync, kind, readdirSync, readFileSync, realpathSync, statSync, writeFileSync } from "./files.js";
+import { starts } from '../integrations/cli.js';
+import { attached, beyond, existsSync, here as answering, kind, readdirSync, readFileSync, realpathSync, statSync, writeFileSync } from '../integrations/disk.js';
 import { dirname, join, relative, resolve } from 'node:path';
 import ts from 'typescript';
-import { ignored } from "./init.js";
-import { NAMED, ORGANISATION } from "./scope.js";
-import { findTree } from "./tree.js";
+import { ignored } from './init.js';
+import { NAMED, ORGANISATION } from './scope.js';
+import { findTree } from './tree.js';
 const BUILT = new Set(ignored()
     .split('\n')
     .map((one) => one.trim())
@@ -32,7 +32,7 @@ function ownIgnores() {
     if (readIgnores)
         return ignores;
     readIgnores = true;
-    if (!attached() && spawnSync('git', ['rev-parse', '--is-inside-work-tree'], { cwd: ROOT, stdio: 'ignore' }).status === 0) {
+    if (!attached() && starts('git', ['rev-parse', '--is-inside-work-tree'], { at: ROOT }).ok) {
         return ignores;
     }
     try {
@@ -55,7 +55,7 @@ export function unkept(at) {
         return held;
     const own = ownIgnores();
     const found = own === undefined
-        ? spawnSync('git', ['check-ignore', '-q', '--', at], { cwd: ROOT, stdio: 'ignore' }).status === 0
+        ? starts('git', ['check-ignore', '-q', '--', at], { at: ROOT }).ok
         : own.some((one) => at === one || at.startsWith(`${one}/`) || at.split('/').includes(one));
     asked.set(at, found);
     return found;
@@ -198,7 +198,7 @@ function listing(at, take, skip, only, deep) {
 function parsing(from) {
     return {
         useCaseSensitiveFileNames: true,
-        fileExists: (at) => existsSync(at),
+        fileExists: (at) => !beyond(at) && existsSync(at),
         readFile: (at) => {
             try {
                 return readFileSync(at);
@@ -237,23 +237,34 @@ export function configured() {
     }
     return { options: { ...FALLBACK, ...INVARIANT }, from: '' };
 }
+const libraries = new Map();
+const DEPENDENCIES = '/node_' + 'modules/';
 export function hosting(options) {
     const host = ts.createCompilerHost(options, true);
     const lib = host.getDefaultLibLocation?.();
+    const settings = JSON.stringify(options);
     const toolchain = (at) => lib !== undefined && (at === lib || at.startsWith(`${lib}/`));
+    const seen = (at) => (beyond(at) ? 'none' : kind(at));
     return {
         ...host,
-        fileExists: (at) => (toolchain(at) ? host.fileExists(at) : kind(at) === 'file'),
-        directoryExists: (at) => (toolchain(at) ? (host.directoryExists?.(at) ?? false) : kind(at) === 'folder'),
-        readFile: (at) => (toolchain(at) ? host.readFile(at) : kind(at) === 'file' ? readFileSync(at) : undefined),
+        fileExists: (at) => (toolchain(at) ? host.fileExists(at) : seen(at) === 'file'),
+        directoryExists: (at) => (toolchain(at) ? (host.directoryExists?.(at) ?? false) : seen(at) === 'folder'),
+        readFile: (at) => (toolchain(at) ? host.readFile(at) : seen(at) === 'file' ? readFileSync(at) : undefined),
         getSourceFile: (at, version) => {
-            if (toolchain(at))
-                return host.getSourceFile(at, version);
-            if (kind(at) !== 'file')
-                return undefined;
-            return ts.createSourceFile(at, readFileSync(at), version, true);
+            const lasting = toolchain(at) ? true : at.includes(DEPENDENCIES);
+            const key = settings + at + JSON.stringify(version);
+            if (lasting && libraries.has(key))
+                return libraries.get(key);
+            const made = toolchain(at)
+                ? host.getSourceFile(at, version)
+                : seen(at) === 'file'
+                    ? ts.createSourceFile(at, readFileSync(at), version, true)
+                    : undefined;
+            if (lasting)
+                libraries.set(key, made);
+            return made;
         },
-        getDirectories: (at) => kind(at) === 'folder' ? readdirSync(at, { withFileTypes: true }).filter((one) => one.isDirectory()).map((one) => one.name) : [],
+        getDirectories: (at) => seen(at) === 'folder' ? readdirSync(at, { withFileTypes: true }).filter((one) => one.isDirectory()).map((one) => one.name) : [],
         realpath: (at) => (toolchain(at) ? (host.realpath?.(at) ?? at) : realpathSync(at)),
         writeFile: (at, said) => {
             writeFileSync(at, said);
@@ -328,8 +339,13 @@ export function read(at) {
     source.set(at, text);
     return text;
 }
+const shapes = new WeakMap();
 export function shapesNamed() {
-    const { program, checker } = compiled();
+    const held = compiled();
+    const known = shapes.get(held);
+    if (known !== undefined)
+        return known;
+    const { program, checker } = held;
     const shape = threadedType(checker, program);
     const found = new Map();
     if (shape === undefined)
@@ -368,6 +384,7 @@ export function shapesNamed() {
             found.set(named, [...where, at]);
         }
     }
+    shapes.set(held, found);
     return found;
 }
 export function threading() {
@@ -408,13 +425,14 @@ export function shapeFields(named, inside) {
                     map: mapped(kind),
                     worded: (kind.isUnion() ? kind.types : [kind]).some((each) => (each.flags & ts.TypeFlags.StringLike) !== 0),
                     guide: ts.displayPartsToString(one.getDocumentationComment(checker)).trim(),
+                    record: recordOf(checker, kind),
                 };
             });
         }
     }
     return [];
 }
-function elementAt(at, list) {
+function elementAt(at, list, within) {
     const { program, checker } = compiled();
     const file = program.getSourceFile(resolve(ROOT, at));
     if (file === undefined)
@@ -424,6 +442,8 @@ function elementAt(at, list) {
     const consider = (node) => {
         if (held !== undefined)
             return;
+        if (within !== undefined && node.getStart() !== within)
+            return;
         const wanted = checker.getContextualType(node) ?? checker.getTypeAtLocation(node);
         const kinds = (wanted.isUnionOrIntersection() ? wanted.types : [wanted])
             .filter((one) => checker.getIndexTypeOfType(one, ts.IndexKind.Number) !== undefined)
@@ -455,8 +475,8 @@ export function listShape(at, list) {
     const held = elementAt(at, list);
     return held === undefined ? undefined : compiled().checker.typeToString(held.type);
 }
-export function listFields(at, list) {
-    const held = elementAt(at, list);
+export function listFields(at, list, within) {
+    const held = elementAt(at, list, within);
     if (held === undefined)
         return [];
     const { checker } = compiled();
@@ -480,12 +500,29 @@ export function listFields(at, list) {
             boolean: flagged(kind),
             worded: worded(kind),
             guide: ts.displayPartsToString(one.getDocumentationComment(checker)).trim(),
+            record: recordOf(checker, kind),
         };
     });
 }
 function elementOf(checker, type) {
     return checker.getIndexTypeOfType(type, ts.IndexKind.Number) ?? type;
 }
+function recordOf(checker, type) {
+    for (const each of type.isUnion() ? type.types : [type]) {
+        if ((each.flags & ts.TypeFlags.StringLike) !== 0 || checker.getIndexTypeOfType(each, ts.IndexKind.Number) === undefined)
+            continue;
+        const element = elementOf(checker, each);
+        if ((element.flags & ts.TypeFlags.Object) === 0)
+            return [];
+        const fields = checker.getPropertiesOfType(element);
+        const worded = fields.every((one) => {
+            const kind = checker.getNonNullableType(checker.getTypeOfSymbol(one));
+            return (kind.isUnion() ? kind.types : [kind]).every((part) => (part.flags & ts.TypeFlags.StringLike) !== 0);
+        });
+        return worded ? fields.map((one) => one.getName()) : [];
+    }
+    return [];
+}
 export function rowShape(at, list) {
     const { program, checker } = compiled();
     const file = program.getSourceFile(resolve(ROOT, at));
@@ -666,7 +703,38 @@ let passed;
 export function reached() {
     return [THREAD_AT, ...descend().threaded.keys()];
 }
+let world = answering();
+const worlds = new WeakMap();
+function kept() {
+    const was = { passed, built, scanned, commands, ignores, readIgnores, source: new Map(source), asked: new Map(asked) };
+    return () => {
+        passed = was.passed;
+        built = was.built;
+        scanned = was.scanned;
+        commands = was.commands;
+        ignores = was.ignores;
+        readIgnores = was.readIgnores;
+        source.clear();
+        for (const [at, text] of was.source)
+            source.set(at, text);
+        asked.clear();
+        for (const [at, ignore] of was.asked)
+            asked.set(at, ignore);
+    };
+}
 export function forget() {
+    const now = answering();
+    if (now === world)
+        libraries.clear();
+    else {
+        worlds.set(world, kept());
+        world = now;
+        const back = worlds.get(now);
+        if (back !== undefined) {
+            back();
+            return;
+        }
+    }
     passed = undefined;
     built = undefined;
     scanned = undefined;

package/dist/core/descend.ts

@@ -1,5 +1,5 @@
-import { spawnSync } from 'node:child_process'
-import { attached, existsSync, kind, readdirSync, readFileSync, realpathSync, statSync, writeFileSync } from './files.ts'
+import { starts } from '../integrations/cli.ts'
+import { attached, beyond, existsSync, here as answering, kind, readdirSync, readFileSync, realpathSync, statSync, writeFileSync, type Kind } from '../integrations/disk.ts'
 import { dirname, join, relative, resolve } from 'node:path'
 
 import ts from 'typescript'
@@ -41,7 +41,7 @@ let readIgnores = false
 function ownIgnores(): readonly string[] | undefined {
   if (readIgnores) return ignores
   readIgnores = true
-  if (!attached() && spawnSync('git', ['rev-parse', '--is-inside-work-tree'], { cwd: ROOT, stdio: 'ignore' }).status === 0) {
+  if (!attached() && starts('git', ['rev-parse', '--is-inside-work-tree'], { at: ROOT }).ok) {
     return ignores
   }
   try {
@@ -65,7 +65,7 @@ export function unkept(at: string): boolean {
   const own = ownIgnores()
   const found =
     own === undefined
-      ? spawnSync('git', ['check-ignore', '-q', '--', at], { cwd: ROOT, stdio: 'ignore' }).status === 0
+      ? starts('git', ['check-ignore', '-q', '--', at], { at: ROOT }).ok
       : own.some((one) => at === one || at.startsWith(`${one}/`) || at.split('/').includes(one))
   asked.set(at, found)
   return found
@@ -252,7 +252,7 @@ function listing(at: string, take: readonly string[], skip: readonly string[], o
 function parsing(from: string): ts.ParseConfigHost {
   return {
     useCaseSensitiveFileNames: true,
-    fileExists: (at) => existsSync(at),
+    fileExists: (at) => !beyond(at) && existsSync(at),
     readFile: (at) => {
       try {
         return readFileSync(at)
@@ -301,22 +301,35 @@ export function configured(): { readonly options: ts.CompilerOptions; readonly f
   return { options: { ...FALLBACK, ...INVARIANT }, from: '' }
 }
 
+const libraries = new Map<string, ReturnType<ts.CompilerHost['getSourceFile']>>()
+
+const DEPENDENCIES = '/node_' + 'modules/'
+
 export function hosting(options: ts.CompilerOptions): ts.CompilerHost {
   const host = ts.createCompilerHost(options, true)
   const lib = host.getDefaultLibLocation?.()
+  const settings = JSON.stringify(options)
   const toolchain = (at: string): boolean => lib !== undefined && (at === lib || at.startsWith(`${lib}/`))
+  const seen = (at: string): Kind => (beyond(at) ? 'none' : kind(at))
   return {
     ...host,
-    fileExists: (at) => (toolchain(at) ? host.fileExists(at) : kind(at) === 'file'),
-    directoryExists: (at) => (toolchain(at) ? (host.directoryExists?.(at) ?? false) : kind(at) === 'folder'),
-    readFile: (at) => (toolchain(at) ? host.readFile(at) : kind(at) === 'file' ? readFileSync(at) : undefined),
+    fileExists: (at) => (toolchain(at) ? host.fileExists(at) : seen(at) === 'file'),
+    directoryExists: (at) => (toolchain(at) ? (host.directoryExists?.(at) ?? false) : seen(at) === 'folder'),
+    readFile: (at) => (toolchain(at) ? host.readFile(at) : seen(at) === 'file' ? readFileSync(at) : undefined),
     getSourceFile: (at, version) => {
-      if (toolchain(at)) return host.getSourceFile(at, version)
-      if (kind(at) !== 'file') return undefined
-      return ts.createSourceFile(at, readFileSync(at), version, true)
+      const lasting = toolchain(at) ? true : at.includes(DEPENDENCIES)
+      const key = settings + at + JSON.stringify(version)
+      if (lasting && libraries.has(key)) return libraries.get(key)
+      const made = toolchain(at)
+        ? host.getSourceFile(at, version)
+        : seen(at) === 'file'
+          ? ts.createSourceFile(at, readFileSync(at), version, true)
+          : undefined
+      if (lasting) libraries.set(key, made)
+      return made
     },
     getDirectories: (at) =>
-      kind(at) === 'folder' ? readdirSync(at, { withFileTypes: true }).filter((one) => one.isDirectory()).map((one) => one.name) : [],
+      seen(at) === 'folder' ? readdirSync(at, { withFileTypes: true }).filter((one) => one.isDirectory()).map((one) => one.name) : [],
     realpath: (at) => (toolchain(at) ? (host.realpath?.(at) ?? at) : realpathSync(at)),
     writeFile: (at, said) => {
       writeFileSync(at, said)
@@ -389,8 +402,13 @@ export function read(at: string): string | undefined {
   return text
 }
 
+const shapes = new WeakMap<object, ReadonlyMap<string, readonly string[]>>()
+
 export function shapesNamed(): ReadonlyMap<string, readonly string[]> {
-  const { program, checker } = compiled()
+  const held = compiled()
+  const known = shapes.get(held)
+  if (known !== undefined) return known
+  const { program, checker } = held
   const shape = threadedType(checker, program)
   const found = new Map<string, string[]>()
   if (shape === undefined) return found
@@ -419,6 +437,7 @@ export function shapesNamed(): ReadonlyMap<string, readonly string[]> {
       found.set(named, [...where, at])
     }
   }
+  shapes.set(held, found)
   return found
 }
 
@@ -429,7 +448,7 @@ export function threading(): ReadonlySet<string> {
 export function shapeFields(
   named: string,
   inside?: string,
-): readonly { readonly name: string; readonly required: boolean; readonly list: boolean; readonly map: boolean; readonly worded: boolean; readonly guide: string }[] {
+): readonly { readonly name: string; readonly required: boolean; readonly list: boolean; readonly map: boolean; readonly worded: boolean; readonly guide: string; readonly record: readonly string[] }[] {
   const { program, checker } = compiled()
   for (const at of [...sources(), ...shipped()]) {
     if (!SOURCE.test(at)) continue
@@ -466,6 +485,7 @@ export function shapeFields(
           map: mapped(kind),
           worded: (kind.isUnion() ? kind.types : [kind]).some((each) => (each.flags & ts.TypeFlags.StringLike) !== 0),
           guide: ts.displayPartsToString(one.getDocumentationComment(checker)).trim(),
+          record: recordOf(checker, kind),
         }
       })
     }
@@ -481,9 +501,10 @@ export interface Field {
   readonly boolean: boolean
   readonly worded: boolean
   readonly guide: string
+  readonly record: readonly string[]
 }
 
-function elementAt(at: string, list: string): { readonly type: ts.Type; readonly node: ts.Node } | undefined {
+function elementAt(at: string, list: string, within?: number): { readonly type: ts.Type; readonly node: ts.Node } | undefined {
   const { program, checker } = compiled()
   const file = program.getSourceFile(resolve(ROOT, at))
   if (file === undefined) return undefined
@@ -493,6 +514,7 @@ function elementAt(at: string, list: string): { readonly type: ts.Type; readonly
 
   const consider = (node: ts.ArrayLiteralExpression): void => {
     if (held !== undefined) return
+    if (within !== undefined && node.getStart() !== within) return
     const wanted = checker.getContextualType(node) ?? checker.getTypeAtLocation(node)
     const kinds = (wanted.isUnionOrIntersection() ? wanted.types : [wanted])
       .filter((one) => checker.getIndexTypeOfType(one, ts.IndexKind.Number) !== undefined)
@@ -525,8 +547,8 @@ export function listShape(at: string, list: string): string | undefined {
   return held === undefined ? undefined : compiled().checker.typeToString(held.type)
 }
 
-export function listFields(at: string, list: string): readonly Field[] {
-  const held = elementAt(at, list)
+export function listFields(at: string, list: string, within?: number): readonly Field[] {
+  const held = elementAt(at, list, within)
   if (held === undefined) return []
   const { checker } = compiled()
   const bare = (kind: ts.Type): readonly ts.Type[] =>
@@ -557,6 +579,7 @@ export function listFields(at: string, list: string): readonly Field[] {
       boolean: flagged(kind),
       worded: worded(kind),
       guide: ts.displayPartsToString(one.getDocumentationComment(checker)).trim(),
+      record: recordOf(checker, kind),
     }
   })
 }
@@ -565,6 +588,21 @@ function elementOf(checker: ts.TypeChecker, type: ts.Type): ts.Type {
   return checker.getIndexTypeOfType(type, ts.IndexKind.Number) ?? type
 }
 
+function recordOf(checker: ts.TypeChecker, type: ts.Type): readonly string[] {
+  for (const each of type.isUnion() ? type.types : [type]) {
+    if ((each.flags & ts.TypeFlags.StringLike) !== 0 || checker.getIndexTypeOfType(each, ts.IndexKind.Number) === undefined) continue
+    const element = elementOf(checker, each)
+    if ((element.flags & ts.TypeFlags.Object) === 0) return []
+    const fields = checker.getPropertiesOfType(element)
+    const worded = fields.every((one) => {
+      const kind = checker.getNonNullableType(checker.getTypeOfSymbol(one))
+      return (kind.isUnion() ? kind.types : [kind]).every((part) => (part.flags & ts.TypeFlags.StringLike) !== 0)
+    })
+    return worded ? fields.map((one) => one.getName()) : []
+  }
+  return []
+}
+
 export function rowShape(at: string, list: string): string | undefined {
   const { program, checker } = compiled()
   const file = program.getSourceFile(resolve(ROOT, at))
@@ -751,7 +789,38 @@ export function reached(): readonly string[] {
   return [THREAD_AT, ...descend().threaded.keys()]
 }
 
+let world: object = answering()
+
+const worlds = new WeakMap<object, () => void>()
+
+function kept(): () => void {
+  const was = { passed, built, scanned, commands, ignores, readIgnores, source: new Map(source), asked: new Map(asked) }
+  return () => {
+    passed = was.passed
+    built = was.built
+    scanned = was.scanned
+    commands = was.commands
+    ignores = was.ignores
+    readIgnores = was.readIgnores
+    source.clear()
+    for (const [at, text] of was.source) source.set(at, text)
+    asked.clear()
+    for (const [at, ignore] of was.asked) asked.set(at, ignore)
+  }
+}
+
 export function forget(): void {
+  const now = answering()
+  if (now === world) libraries.clear()
+  else {
+    worlds.set(world, kept())
+    world = now
+    const back = worlds.get(now)
+    if (back !== undefined) {
+      back()
+      return
+    }
+  }
   passed = undefined
   built = undefined
   scanned = undefined