@abide/abide 0.123.2 → 0.124.0

package/src/compiler/TypeSession.ts

@@ -1,1819 +1,152 @@
-import { type Dirent, readdirSync, realpathSync, statSync } from 'node:fs' // Bun exposes no sync directory listing or realpath of its own
-import { basename, dirname, join, resolve } from 'node:path' // Bun exposes no path helpers of its own
+import type { CompletionInfo } from 'typescript/unstable/async'
 
-import {
-    getTouchingPropertyName,
-    type Node,
-    NodeFlags,
-    SyntaxKind,
-} from 'typescript/unstable/ast'
-import {
-    API,
-    type Checker,
-    type CompletionEntry,
-    type CompletionInfo,
-    CompletionItemKind,
-    NodeBuilderFlags,
-    type Project,
-    SignatureKind,
-    type Snapshot,
-    type Symbol as CheckedSymbol,
-    SymbolFlags,
-    type Type,
-} from 'typescript/unstable/async'
-
-import { placeOf } from '#server/placement.ts'
-import { parseRoutePattern } from '#shared/routePattern.ts'
-
-import { aliasedSymbol } from './aliasedSymbol.ts'
-import { AMBIENT_SOURCES, ambientReadsIn } from './ambientReadsIn.ts'
-import type { AppLayout, AppRoute, PlacedSource } from './appLayout.ts'
-import { argsDefaultsIn } from './argsDefaultsIn.ts'
-import {
-    checkedShadow,
-    COMPONENT_MODULE,
-    COMPONENT_STAND_IN,
-    moduleConfigShadow,
-} from './checkedShadow.ts'
+import type { AppLayout } from './appLayout.ts'
+import { appLints } from './appLints.ts'
 import { type CheckerAnswer, UNCHECKED } from './CheckerAnswer.ts'
-import type { Finding } from './Finding.ts'
-import { isIgnored } from './isIgnored.ts'
-import { diagnosisAt, lineOf } from './lineOf.ts'
-import { CHECKED_VALUES } from './Lowering.ts'
-import type { AbideFile } from './parseAbide.ts'
-import { projectShadow, type Span } from './projectShadow.ts'
-import { type Abide, abideIn, isReactiveType } from './reactiveTypes.ts'
-import { readsIn, type ShadowSpans } from './readsIn.ts'
-import type { ParsedSource, ReadSource } from './readSources.ts'
+import { type DiagnosedSource, diagnoseSources } from './diagnoseSources.ts'
+import type { Diagnosis } from './Diagnostics.ts'
 import {
-    CHECKED_SUFFIX,
-    mapForward,
-    SHADOW_SUFFIX,
-    ShadowMap,
-} from './ShadowMap.ts'
-import { SOURCE_SUFFIX } from './splitImports.ts'
-import { type TemplateContext, templateContext } from './templateContext.ts'
-import { templateWarnings } from './templateWarnings.ts'
-
-// Where 31.3 gets its answer. A `.abide` file is projected into a SHADOW `.ts` held in a virtual
-// filesystem and never written to disk, and TypeScript's own checker is asked what each declared
-// name's type is. That is the whole reason the checker is here rather than a local inference over
-// annotations: the corpus writes `let rows = reactive([...])` with no annotation anywhere, so the
-// answer comes from the initializer's INFERRED type or it does not come at all.
+    completionAt,
+    type Inspection,
+    type LoweredFile,
+    type References,
+} from './LoweredFile.ts'
+import type { AbideFile } from './parseAbide.ts'
+import { reactiveReads } from './reactiveReads.ts'
+import type { ParsedSource } from './readSources.ts'
+import { ShadowHost } from './ShadowHost.ts'
+
+// Where 31.3 gets its answer: TypeScript's own checker, asked about an app's `.abide` files through
+// the shadows a `ShadowHost` holds for it. That is the whole reason the checker is here rather than
+// a local inference over annotations: the corpus writes `let rows = reactive([...])` with no
+// annotation anywhere, so the answer comes from the initializer's INFERRED type or it does not come
+// at all.
 //
-// The API is the ASYNC one on purpose. `typescript/unstable/sync` reads `child.stdout._handle.fd`
-// and bun exposes no fd on a child pipe, so the sync channel cannot connect. The async channel is
-// a stream and needs nothing.
-
-/** Whether a script can bind a name at all — a file that cannot is never handed to the checker. */
-const DECLARES = /\b(?:const|let|var|import)\b/
+// ONE OBJECT FOR WHAT A BUILD, A CHECK AND AN EDITOR ASK, each question answered by the module that
+// owns it — the reads (`reactiveReads`), the lints (`appLints`), the diagnosis (`diagnoseSources`)
+// and an editor's questions of a file's lowering (`LoweredFile`) — over the one host.
 
 /** A TypeScript checker session over an app, asked about its `.abide` files through shadows. */
 export class TypeSession {
-    private api: API
-    /** The `tsconfig` the session was opened on, which a file outside its project is refused by. */
-    readonly tsconfig: string
-    /**
-     * Per checker key, the text the checker reads for a file this session wrote, and the path it
-     * was registered under.
-     *
-     * KEYED AS THE CHECKER KEYS ITS OWN CACHE (`keyOf`), not by the string a caller handed in. On a
-     * case-insensitive disk the checker folds `Page.abide.shadow.ts` and `page.abide.shadow.ts` to
-     * one file, so a map telling them apart reported the second spelling `created` for a file the
-     * checker already held — it read nothing, and answered the second text's reads at the first
-     * text's offsets.
-     */
-    private shadows = new Map<string, { path: string; text: string }>()
-    /** The checker's own key for a path: resolved, and case-folded where its host folds case. */
-    private keyOf: (path: string) => string
-    /**
-     * Per `.abide` path as the checker keys it (`keyOf`), what `diagnose` last lowered it to —
-     * kept for `inspect` alone.
-     *
-     * THE ONE THING CARRIED FROM ONE CALL TO ANOTHER, because an editor's hover is a request of
-     * its own that arrives after the check that lowered the file, and has to map its offset
-     * through the lowering the checker's program holds rather than one made again. Everything a
-     * check's own caller needs of the lowering, `diagnose` hands back.
-     */
-    private loweredForInspect = new Map<
-        string,
-        { text: string; map: ShadowMap }
-    >()
-
-    private constructor(
-        api: API,
-        tsconfig: string,
-        keyOf: (path: string) => string,
-    ) {
-        this.api = api
-        this.tsconfig = tsconfig
-        this.opened = `${dirname(tsconfig)}/${SESSION_CONFIG}`
-        this.keyOf = keyOf
-    }
-
-    /**
-     * The project this session opens: the app's tsconfig, with every shadow in `outside` a root.
-     *
-     * 34.25 — A DEPENDENCY'S `.abide` IS TYPED AS THE APP'S OWN, and its tsconfig's `include` never
-     * reaches `node_modules` or a linked package's directory. The session opens a config of its own —
-     * served from here, never written — that extends the app's, names those shadows as files, which
-     * TypeScript adds to what the base config includes (a linked package's shadow, asked for through
-     * the link, is reached no other way), and allows the declaration a package's `exports` is asked
-     * for by (`standIn`).
-     */
-    private readonly opened: string
-
-    /** The shadows of the files outside the app's own, as `opened` names them. */
-    private outside = new Set<string>()
-
-    private sessionConfig(): string {
-        const config: {
-            extends: string
-            compilerOptions: Record<string, unknown>
-            files?: string[]
-        } = {
-            extends: `./${basename(this.tsconfig)}`,
-            // A package's `exports` names `./x.abide` exactly, so the checker asks for its
-            // declaration as `./x.d.abide.ts` (`standIn`) — and takes the answer only with this.
-            compilerOptions: { allowArbitraryExtensions: true },
-        }
-        // An empty `files` is a config error, and the base's `include` alone is the app.
-        if (this.outside.size > 0) config.files = [...this.outside]
-        return JSON.stringify(config)
-    }
-
-    /**
-     * Checked-module paths a stand-in answered for, without the `.abide` being lowered.
-     *
-     * 38.39 — A `.abide` THIS SESSION HAS NOT LOWERED IS STILL A MODULE ANOTHER CAN IMPORT. What its
-     * checked module exports does not depend on what the component holds (`COMPONENT_MODULE`), so an
-     * editor checking one page resolves the components it imports without lowering each of them.
-     * Remembered, so the lowering that replaces a stand-in is reported as a change to it.
-     */
-    private stoodIn = new Set<string>()
-
-    /** The app's root, real — set by `openChecker`. */
-    root = ''
+    /** The checker, the files it reads out of this session, and the snapshots it holds of them. */
+    readonly host: ShadowHost
 
-    /**
-     * `path` below the app's root, where it lies under it.
-     *
-     * 23.14 — what a page's route is read off: the directories below the root are it, and the
-     * machine's directories above the root are not.
-     */
-    belowRoot(path: string): string {
-        return path.startsWith(`${this.root}/`)
-            ? path.slice(this.root.length + 1)
-            : path
+    private constructor(host: ShadowHost) {
+        this.host = host
     }
 
     /**
-     * The shadow registered at `name`, or at the same file through its directory's real path.
-     *
-     * 34.25 — A LINKED PACKAGE IS ASKED FOR THROUGH ITS LINK: the checker resolves `kit/x.abide` to
-     * `node_modules/kit/x.d.abide.ts` and the re-export there to the shadow beside it, while the
-     * shadow is registered where bun resolved the file — the package's real directory.
+     * Opens a session on the project `tsconfig` configures, for the app at `root` — real, and empty
+     * for a session asked about no app's routes.
      */
-    private shadowAt(name: string): { path: string; text: string } | undefined {
-        const found = this.shadows.get(this.keyOf(name))
-        // Only a shadow is registered through a link, so any other name is spared the realpath.
-        if (
-            found !== undefined ||
-            !name.includes('/node_modules/') ||
-            !(name.endsWith(SHADOW_SUFFIX) || name.endsWith(CHECKED_SUFFIX))
-        )
-            return found
-        let real: string
-        try {
-            real = realpathSync(dirname(name))
-        } catch {
-            return undefined
-        }
-        return this.shadows.get(this.keyOf(`${real}/${basename(name)}`))
-    }
-
-    private standIn(name: string): string | undefined {
-        // 34.21 — a file imported as text is its text, which the projection names apart.
-        if (name.endsWith(`${SOURCE_SUFFIX}.d.ts`))
-            return isFile(name.slice(0, -`${SOURCE_SUFFIX}.d.ts`.length))
-                ? 'declare const text: string\nexport default text\n'
-                : undefined
-        // 34.17 — WHAT A `.abide` EXPORTS, to anything importing it: the component its checked
-        // module declares, and nothing else. The checker resolves `./x.abide` by trying
-        // `./x.abide.d.ts`; the bindings the projection re-exports for the build (16.70) are not
-        // the importer's to read.
-        //
-        // 34.25 — AND THROUGH A PACKAGE'S `exports`, which the checker follows to the exact file and
-        // so asks for the arbitrary extension's declaration, `./x.d.abide.ts`, instead.
-        const abide = name.endsWith(DECLARATION_SUFFIX)
-            ? name.slice(0, -'.d.ts'.length)
-            : name.endsWith(EXPORTED_DECLARATION_SUFFIX)
-              ? `${name.slice(0, -EXPORTED_DECLARATION_SUFFIX.length)}.abide`
-              : undefined
-        if (abide !== undefined) {
-            if (!isFile(abide)) return undefined
-            const own = `./${basename(abide)}`
-            return `export { default } from '${own}${CHECKED_SUFFIX.slice(0, -'.ts'.length)}'
-`
-        }
-        // A projection not registered — a file with nothing to read, or one this session has not
-        // projected yet — exports nothing, so the declaration above always resolves.
-        if (name.endsWith(`.abide${SHADOW_SUFFIX}`))
-            return isFile(name.slice(0, -SHADOW_SUFFIX.length))
-                ? 'export {}\n'
-                : undefined
-        if (!name.endsWith(`.abide${CHECKED_SUFFIX}`)) return undefined
-        if (!isFile(name.slice(0, -CHECKED_SUFFIX.length))) return undefined
-        this.stoodIn.add(this.keyOf(name))
-        return COMPONENT_MODULE
-    }
-
-    /** Opens a session on the project `tsconfig` configures. */
-    static async open(tsconfig: string): Promise<TypeSession> {
-        const api = new API({
-            cwd: dirname(tsconfig),
-            fs: {
-                readFile: (name) =>
-                    name === session.opened
-                        ? session.sessionConfig()
-                        : (session.shadowAt(name)?.text ??
-                          session.standIn(name)),
-                fileExists: (name) =>
-                    name === session.opened ||
-                    session.shadowAt(name) !== undefined ||
-                    session.standIn(name) !== undefined
-                        ? true
-                        : undefined,
-                getAccessibleEntries: (directory) =>
-                    session.entriesIn(directory),
-            },
-        })
-        // Whether the host folds case is the checker process's answer to `initialize`, and the API
-        // keeps it only inside the private `toPath` its own `getSourceFile` keys by — so that is
-        // what is read, rather than a second guess at the disk that could disagree with it.
-        const internals = api as unknown as {
-            ensureInitialized(): Promise<void>
-            toPath?: (path: string) => string
-        }
-        await internals.ensureInitialized()
-        const toPath = internals.toPath
-        if (typeof toPath !== 'function')
-            throw new Error(
-                'abide: the TypeScript API no longer keeps `toPath` where the type session reads it, so a path cannot be keyed as the checker keys it.',
-            )
-        const session = new TypeSession(api, tsconfig, toPath)
-        return session
+    static async open(tsconfig: string, root = ''): Promise<TypeSession> {
+        return new TypeSession(await ShadowHost.open(tsconfig, root))
     }
 
-    /**
-     * The project as of the last snapshot, so a question asked after `readsFor` shares its snapshot
-     * rather than taking a second one.
-     */
-    private latest: Project | undefined = undefined
-    private latestSnapshot: Snapshot | undefined = undefined
-
-    /**
-     * Snapshots a later one replaced, released once no call is in flight (`hold`).
-     *
-     * THE CHECKER PROCESS KEEPS EVERY SNAPSHOT UNTIL IT IS RELEASED — `updateSnapshot` releases
-     * nothing — and each holds a whole program and checker. Dropped unreleased, a kept session grew
-     * without bound: an `abide lsp` checker reached 59 GB in two hours of watcher-driven snapshots.
-     * Released the moment it is replaced, a question still being answered over it throws, so the
-     * release waits for the last call out.
-     */
-    private retired: Snapshot[] = []
-    private inFlight = 0
-
-    /**
-     * Marks a call in flight until the returned value is disposed (`using`); the last one out
-     * releases what was retired meanwhile. A caller holding a `Project` across calls (`projectWith`)
-     * holds the session for as long.
-     */
-    hold(): Disposable {
-        this.inFlight += 1
-        return {
-            [Symbol.dispose]: () => {
-                this.inFlight -= 1
-                if (this.inFlight === 0) this.releaseRetired()
-            },
-        }
+    /** The `tsconfig` the session was opened on, which a file outside its project is refused by. */
+    get tsconfig(): string {
+        return this.host.tsconfig
     }
 
-    private retire(snapshot: Snapshot): void {
-        this.retired.push(snapshot)
-        if (this.inFlight === 0) this.releaseRetired()
+    /** The app's root, real. */
+    get root(): string {
+        return this.host.root
     }
 
-    private releaseRetired(): void {
-        for (const snapshot of this.retired) {
-            // A process that has stopped answering rejects the release, and dies with what it held.
-            const release = snapshot.dispose().catch(() => {})
-            this.releasing.add(release)
-            void release.finally(() => this.releasing.delete(release))
-        }
-        this.retired = []
+    /** How many snapshots this session has taken (`ShadowHost.snapshots`). */
+    get snapshots(): number {
+        return this.host.snapshots
     }
 
-    /** Releases sent and not yet answered, which `close` lets finish before ending the connection. */
-    private releasing = new Set<Promise<void>>()
-
-    /**
-     * Paths edited or deleted on disk since the last snapshot, or `everything`.
-     *
-     * WHAT THE AUTHOR CHANGED ON DISK since the last snapshot, for a session kept across compiles
-     * (`abide dev`). The checker caches every file it has read and is told only about the shadows
-     * this class writes, so an edit to a module a page imports answered with the type it had when
-     * the session opened: a name made reactive in a `.ts` stayed static, and a handler exported
-     * since was not there. `everything` is the edit nobody could name, and drops the whole cache.
-     */
-    private edits = { present: [] as string[], deleted: [] as string[] }
-    private everything = false
-
-    /**
-     * How many snapshots this session has taken.
-     *
-     * SNAPSHOTS TAKEN, and it is a counter rather than a timing because that is the only form of
-     * this claim that survives a loaded machine. One per build is the contract; one per FILE is
-     * the shape that made the checker 99.8% of compile time, and it reports the same answers.
-     */
-    snapshots = 0
-
-    /**
-     * A directory's listing as the checker sees it, with this session's shadows added.
-     *
-     * The shadow has to appear in its directory's listing or it is not a root of the project and
-     * the checker never reads it.
-     */
-    private entriesIn(
-        directory: string,
-    ): { files: string[]; directories: string[] } | undefined {
-        // TWO PATHS TO ONE DIRECTORY ARE ONE DIRECTORY. A raw string compare said otherwise on a
-        // doubled separator, a trailing slash or a relative path, and the shadow then appeared in
-        // nobody's listing — so the checker never read it and the refusal below blamed the app's
-        // tsconfig for a path this class had mangled.
-        const here = this.keyOf(directory)
-        this.listed.add(here)
-        const mine: string[] = []
-        // The key is the checker's where it is registered, so only the incoming directory needs
-        // keying — one `toPath` a call rather than one a shadow.
-        for (const [key, shadow] of this.shadows)
-            if (dirname(key) === here) mine.push(basename(shadow.path))
-        if (mine.length === 0) return undefined
-
-        const files: string[] = []
-        const directories: string[] = []
-        // A DIRECTORY THAT IS NOT THERE IS A LISTING OF THE SHADOWS ALONE, not a throw. The
-        // checker calls this over the api and a throw crosses back as a remote error, which
-        // PANICS the checker process — so a directory deleted between the glob and the ask took
-        // the whole command down with it. `abide dev` is where that happens as a matter of
-        // course: a generator that rewrites a tree of pages deletes every one of them first, and
-        // the watcher fires while it is doing it.
-        let entries: Dirent[]
-        try {
-            entries = readdirSync(directory, { withFileTypes: true })
-        } catch (thrown) {
-            if ((thrown as { code?: unknown }).code !== 'ENOENT') throw thrown
-            return { files: mine, directories: [] }
-        }
-        // THE LISTING ALREADY KNOWS. A `statSync` per entry was N syscalls for an answer
-        // `readdirSync` hands back with the name, and it THREW on a dangling symlink — an Emacs
-        // `.#page.abide` lock beside a page took the whole build down with it.
-        for (const entry of entries) {
-            // A symlink is the one entry the listing cannot answer for, and a dangling one has no
-            // answer at all — which is a file as far as this is concerned.
-            if (entry.isSymbolicLink()) {
-                let followed = false
-                try {
-                    followed = statSync(
-                        join(directory, entry.name),
-                    ).isDirectory()
-                } catch {
-                    // Dangling: a file, as `followed` already says.
-                }
-                if (followed) directories.push(entry.name)
-                else files.push(entry.name)
-                continue
-            }
-            if (entry.isDirectory()) directories.push(entry.name)
-            else files.push(entry.name)
-        }
-        for (const name of mine) if (!files.includes(name)) files.push(name)
-        return { files, directories }
+    /** `path` below the app's root, where it lies under it (23.14). */
+    belowRoot(path: string): string {
+        return this.host.belowRoot(path)
     }
 
-    /**
-     * Records the paths a watcher saw move, for the next snapshot to invalidate.
-     *
-     * THE PATHS A WATCHER SAW MOVE, or `undefined` where it saw a move and could not say where.
-     * A file that is there is reported CREATED AND CHANGED: `changed` alone leaves a new file out
-     * of the project's root set (a `.d.ts` nothing imports is never read), and `created` alone
-     * leaves an edited file's cached text in place. A directory is dropped wholesale, because the
-     * checker is not told what was under it.
-     */
+    /** Records the paths a watcher saw move, for the next snapshot to invalidate. */
     edited(paths: string[] | undefined): void {
-        if (paths === undefined) {
-            this.everything = true
-            return
-        }
-        for (const path of paths) {
-            let directory: boolean
-            try {
-                directory = statSync(path).isDirectory()
-            } catch {
-                this.edits.deleted.push(path)
-                // A `.abide` that is gone takes its shadows with it, or the checker keeps a page
-                // nobody has as a root of the project for the rest of the session — and a page
-                // importing it goes on reading the props its checked module declared.
-                const gone = this.keyOf(path)
-                for (const [key, shadow] of this.shadows)
-                    if (
-                        ShadowMap.isShadowOf(key, gone) ||
-                        key.startsWith(`${gone}/`)
-                    ) {
-                        this.shadows.delete(key)
-                        this.edits.deleted.push(shadow.path)
-                    }
-                continue
-            }
-            // A FILE IN A DIRECTORY THE CHECKER HAS NEVER LISTED is a directory move the watcher
-            // reported as the file alone — a save that creates `late/` and the page in it
-            // at once — and the listing it already holds of the parent does not have it.
-            if (directory || !this.listed.has(this.keyOf(dirname(path))))
-                this.everything = true
-            else this.edits.present.push(path)
-        }
-    }
-
-    /** Every directory the checker has asked this session to list (`entriesIn`). */
-    private listed = new Set<string>()
-
-    /**
-     * ONE SNAPSHOT TAKES EVERY EDIT WITH IT: the shadows written for it and whatever moved on disk.
-     */
-    private async snapshot(
-        created: string[],
-        changed: string[],
-    ): Promise<Project | undefined> {
-        const edits = this.edits
-        const everything = this.everything
-        this.edits = { present: [], deleted: [] }
-        this.everything = false
-        this.snapshots += 1
-        // AN EDIT NOBODY COULD NAME DROPS THE CACHE, and the files created with it are still named
-        // after it: a dropped cache re-reads what the project already listed, and a shadow written
-        // for a page in a directory it never listed is not among them.
-        if (everything)
-            this.retire(
-                await this.api.updateSnapshot({
-                    openProjects: [this.opened],
-                    fileChanges: { invalidateAll: true },
-                }),
-            )
-        const snapshot = await this.api.updateSnapshot({
-            openProjects: [this.opened],
-            fileChanges: {
-                created: [...created, ...edits.present],
-                changed: [...changed, ...edits.present],
-                deleted: edits.deleted,
-            },
-        })
-        if (this.latestSnapshot !== undefined) this.retire(this.latestSnapshot)
-        this.latestSnapshot = snapshot
-        this.latest = snapshot.getProjects()[0]
-        return this.latest
-    }
-
-    /** Whether the last snapshot still answers: there is one, and nothing has moved since. */
-    private get current(): boolean {
-        return (
-            this.latest !== undefined &&
-            !this.everything &&
-            this.edits.present.length === 0 &&
-            this.edits.deleted.length === 0
-        )
-    }
-
-    private async currentProject(
-        created: string[] = [],
-        changed: string[] = [],
-    ): Promise<Project | undefined> {
-        return created.length === 0 && changed.length === 0 && this.current
-            ? this.latest
-            : await this.snapshot(created, changed)
-    }
-
-    /**
-     * 34.25, 23.19 — where `source` is a dependency's file, makes `path` — it, or what it lowers to
-     * — a root of the opened config, telling `changed` the config moved where it was not one
-     * already. The app's own is a root already: telling the config it moved reloads the project.
-     */
-    private openOutside(source: string, path: string, changed: string[]): void {
-        if (placeOf(this.belowRoot(source)) !== 'dependency') return
-        if (this.outside.has(path)) return
-        this.outside.add(path)
-        if (!changed.includes(this.opened)) changed.push(this.opened)
-    }
-
-    /**
-     * The project, with each of `modules` outside the app's own a root of it.
-     *
-     * THE SNAPSHOT IS THE SESSION'S, AND A QUESTION IS ANY MODULE'S: what a handler declares
-     * (`declaredExports`) is asked of the same snapshot the reads were, taken only where something
-     * moved since.
-     *
-     * 23.19 — a handler file a mount places is a package's, which the app's `include` does not reach:
-     * what it exports is asked all the same (16.73), as a mounted `.abide`'s shadow is.
-     */
-    async projectWith(
-        modules: readonly string[],
-    ): Promise<Project | undefined> {
-        using _held = this.hold()
-        const changed: string[] = []
-        for (const path of modules) {
-            const canonical = this.canonical(path)
-            this.openOutside(canonical, canonical, changed)
-        }
-        const project = await this.currentProject([], changed)
-        if (project === undefined) return project
-        // A KEPT SESSION HEARS OF A FILE ONLY AS A WATCHER REPORTS IT, and one saved into a
-        // directory made since the last snapshot is reported as the directory: it is no root yet,
-        // and is told to the next snapshot as created.
-        const found = await Promise.all(
-            modules.map((path) => project.program.getSourceFile(path)),
-        )
-        const missing: string[] = []
-        for (let at = 0; at < modules.length; at += 1)
-            if (found[at] === undefined) missing.push(modules[at] as string)
-        return missing.length === 0
-            ? project
-            : await this.currentProject(missing, [...missing])
-    }
-
-    /**
-     * THE APP'S OWN FILES the checker holds as roots: under `within`, and neither a dependency nor a
-     * declaration file. Resolved against the tsconfig's directory; a caller asking `shadows` keys it.
-     */
-    private rootsUnder(project: Project, within: string): string[] {
-        const root = `${this.canonical(within)}/`
-        const roots: string[] = []
-        for (const path of project.rootFiles) {
-            const canonical = this.canonical(path)
-            if (
-                canonical.startsWith(root) &&
-                !path.includes('/node_modules/') &&
-                !path.endsWith('.d.ts')
-            )
-                roots.push(canonical)
-        }
-        return roots
-    }
-
-    /**
-     * A relative path from the checker is relative to the API's own cwd, which is the tsconfig's
-     * directory rather than the process's.
-     */
-    private canonical(path: string): string {
-        return resolve(dirname(this.tsconfig), path)
-    }
-
-    /**
-     * Where the checker holds a `.abide`'s projection, once `readsFor` has registered it.
-     *
-     * 16.70 — what a `<script server>` binds is read off it as a `.ts` module's exports are.
-     */
-    projectionOf(abidePath: string): string {
-        return `${this.canonical(abidePath)}${SHADOW_SUFFIX}`
-    }
-
-    /**
-     * A file the checker reads out of `shadows`, reported to the next snapshot only when it is new,
-     * its text moved, or a stand-in answered for it until now.
-     */
-    private register(
-        path: string,
-        text: string,
-        created: string[],
-        changed: string[],
-    ): void {
-        const key = this.keyOf(path)
-        const previous = this.shadows.get(key)
-        const stoodIn = this.stoodIn.delete(key)
-        if (previous === undefined) created.push(path)
-        if (stoodIn || (previous !== undefined && previous.text !== text))
-            changed.push(path)
-        this.shadows.set(key, { path, text })
+        this.host.edited(paths)
     }
 
     /**
      * The classified reactive reads in one `.abide` file.
      *
-     * THE READS IN `file`: every occurrence of a name bound to a `Reactive` (31.3), classified, in
-     * its projection (`projectShadow`). Everything else is left exactly as written. ONE FILE; a
-     * build wants `readsFor`.
+     * ONE FILE; a build wants `readsFor`.
      */
     async reads(abidePath: string, file: AbideFile): Promise<CheckerAnswer> {
         const answered = await this.readsFor([{ path: abidePath, file }])
         return answered.answers[0] ?? UNCHECKED
     }
 
-    /**
-     * Reads and compiler warnings for every file, in one checker snapshot.
-     *
-     * EVERY FILE IN ONE SNAPSHOT, which is the whole of the compiler's build time. Measured at
-     * 19.7 ms a file taking a snapshot each against 0.8 ms a file sharing one — 25x, because
-     * adding a file to the project's root set is what costs, not asking about it. What each file's
-     * shadow is asked is `readsIn`'s.
-     *
-     * WHAT IT HAS TO SAY THAT IS NOT A TYPE ERROR comes back beside the reads: the compiler's own
-     * warnings (14.14 to 14.17, 32.14), each on the `.abide` line where the source's text
-     * was handed in.
-     */
-    async readsFor(
+    /** Reads and compiler warnings for every file, in one checker snapshot (`reactiveReads`). */
+    readsFor(
         sources: readonly (Pick<ParsedSource, 'path' | 'file'> & {
             text?: string
         })[],
     ): Promise<{ answers: CheckerAnswer[]; warnings: Diagnosis[] }> {
-        using _held = this.hold()
-        const answered = await this.classify(sources)
-        for (let at = 0; at < sources.length; at += 1) {
-            const source = sources[at] as (typeof sources)[number]
-            if (source.text !== undefined)
-                answered.warnings.push(
-                    ...templateWarnings(
-                        source.path,
-                        source.text,
-                        source.file,
-                        answered.answers[at] ?? UNCHECKED,
-                    ),
-                )
-        }
-        answered.warnings.sort(byPlace)
-        return answered
-    }
-
-    private async classify(
-        sources: readonly (Pick<ParsedSource, 'path' | 'file'> & {
-            text?: string
-        })[],
-    ): Promise<{ answers: CheckerAnswer[]; warnings: Diagnosis[] }> {
-        const warnings: Diagnosis[] = []
-        // Per source, its shadow and what is asked of it, or `undefined` where nothing is declared.
-        const queries: ({ map: ShadowMap; spans: ShadowSpans } | undefined)[] =
-            []
-        const created: string[] = []
-        const changed: string[] = []
-
-        // EVERY SOURCE PROJECTS BEFORE ANY SHADOW IS REGISTERED. A projection refuses (a top-level
-        // `await`), and a shadow registered ahead of the refusal was in `shadows` with the lists
-        // that would have reported it dropped — so the retry found nothing moved, and the checker
-        // answered from the old shadow at the new one's offsets, or never had the file at all.
-        const projected = sources.map((source) => ({
-            source,
-            projection: projectShadow(source.file),
-        }))
-        for (const { source, projection } of projected) {
-            // 34.2 — A `<script module>` DECLARES NAMES TOO, and the `<script>` under it is inside
-            // that scope on both sides. The projection holds both from offset 0.
-            const scripts = projection.text.slice(0, projection.scripts.end)
-            // A TEMPLATE POSITION IS A QUESTION TOO (14.2): a file that declares nothing but
-            // writes `{format(total)}` has a position only the checker can prove static. And a
-            // `<script server>` always is (16.70): what it binds is read off this shadow, re-exported
-            // under `PRIVATE_EXPORT`.
-            if (
-                !DECLARES.test(scripts) &&
-                projection.slots.size === 0 &&
-                source.file.servers.length === 0
-            ) {
-                queries.push(undefined)
-                continue
-            }
-            // CANONICAL AT THE KEY, not at the comparison. A doubled separator or a relative
-            // path is the same file and a raw string is not the same string — registered as it
-            // arrived, the shadow appeared in nobody's directory listing AND named a file the
-            // checker could not open, and the refusal below blamed the app's tsconfig for it.
-            const map = new ShadowMap(
-                this.canonical(source.path),
-                projection.origins,
-            )
-            // A shadow STAYS registered for the life of the session and the snapshot is told it
-            // changed. Deleting and re-adding under the same path does not invalidate the
-            // source-file cache, and the checker then answers about the PREVIOUS file at these
-            // offsets — right-looking types for the wrong names, with nothing to say so.
-            // AN UNCHANGED SHADOW IS NOT REPORTED, which is what a kept session saves on a save:
-            // the one page that moved is re-read rather than all of them.
-            this.register(map.shadowPath, projection.text, created, changed)
-            this.openOutside(source.path, map.shadowPath, changed)
-            queries.push({
-                map,
-                spans: {
-                    scriptsEnd: projection.scripts.end,
-                    modules: projection.modules,
-                    servers: projection.servers,
-                    scripts: projection.scripts,
-                    positions: projection.positions,
-                    items: new Set(projection.items.values()),
-                },
-            })
-        }
-
-        const answers = sources.map(() => UNCHECKED)
-        if (queries.every((query) => query === undefined))
-            return { answers, warnings }
-
-        let project = await this.currentProject(created, changed)
-        if (project === undefined) return { answers, warnings }
-        // Per source, its compiler warnings, the bindings the projection could not type
-        // (`bindingsOfReads`), and those the lowered program proved a `Reactive`.
-        const warned: Diagnosis[][] = sources.map(() => [])
-        const suspects: number[][] = sources.map(() => [])
-        const held: Set<number>[] = sources.map(() => new Set())
-        const answer = async (
-            asked: Project,
-            abide: Abide,
-            at: number,
-        ): Promise<void> => {
-            const query = queries[at]
-            if (query === undefined) return
-            const source = sources[at] as (typeof sources)[number]
-            const sourceFile = await asked.program.getSourceFile(
-                query.map.shadowPath,
-            )
-            // The shadow has to be INSIDE the opened project or the checker never reads it.
-            // Refusing loudly rather than answering nothing: no reads is a file whose every
-            // name lowers as written, which renders `[object Object]` where a value was due —
-            // a wrong page, with nothing about it saying so.
-            if (sourceFile === undefined)
-                throw new Error(
-                    `abide: ${source.path} is not inside the project ${this.tsconfig}, so no name in it can be typed (RULEBOOK 31.3). Give the app a tsconfig whose include reaches it.`,
-                )
-            const read = await readsIn(
-                asked.checker,
-                abide,
-                sourceFile,
-                query.map.shadowPath,
-                query.spans,
-                source.file,
-                held[at] as Set<number>,
-            )
-            answers[at] = read.answer
-            suspects[at] = read.suspects
-            const placed: Diagnosis[] = []
-            for (const warning of read.warnings) {
-                const offset = query.map.toSource(
-                    query.map.shadowPath,
-                    warning.at,
-                )
-                if (
-                    source.text === undefined ||
-                    !isIgnored(source.text, offset, warning.message)
-                )
-                    placed.push(
-                        diagnosisAt(
-                            source.path,
-                            source.text,
-                            offset,
-                            'warning',
-                            warning.message,
-                        ),
-                    )
-            }
-            warned[at] = placed
-        }
-        const every = queries.map((_, at) => at)
-        const first = project
-        const firstAbide = await abideIn(first)
-        await Promise.all(every.map((at) => answer(first, firstAbide, at)))
-        // 31.1 — A BINDING THE PROJECTION TYPED FROM A `Reactive` IS ASKED OF THE PROGRAM IT RUNS
-        // AS: each file holding one is lowered with what it has answered so far, and a binding that
-        // is a `Reactive` there is one in the projection too. A binding typed from one that just
-        // turned out to be a `Reactive` is asked again, until a round turns none. Nothing is asked,
-        // and no second snapshot taken, where no file holds one (`bindingsOfReads`).
-        for (;;) {
-            const asking = every.filter(
-                (at) => (suspects[at] as number[]).length > 0,
-            )
-            if (asking.length === 0) break
-            const loweredCreated: string[] = []
-            const loweredChanged: string[] = []
-            const lowered = asking.map((at) => {
-                const source = sources[at] as (typeof sources)[number]
-                const query = queries[at] as { map: ShadowMap }
-                const shadow = checkedShadow(
-                    source.file,
-                    answers[at] as CheckerAnswer,
-                )
-                this.register(
-                    query.map.checkedPath,
-                    shadow.text,
-                    loweredCreated,
-                    loweredChanged,
-                )
-                this.openOutside(
-                    source.path,
-                    query.map.checkedPath,
-                    loweredChanged,
-                )
-                return {
-                    at,
-                    path: query.map.checkedPath,
-                    origins: shadow.origins,
-                }
-            })
-            project = await this.currentProject(loweredCreated, loweredChanged)
-            if (project === undefined) return { answers, warnings }
-            const asked = project
-            const abide = await abideIn(asked)
-            const turned = new Set<number>()
-            await Promise.all(
-                lowered.map(async ({ at, path, origins }) => {
-                    const sourceFile = await asked.program.getSourceFile(path)
-                    if (sourceFile === undefined) return
-                    for (const start of suspects[at] as number[]) {
-                        const position = mapForward(origins, start)
-                        if (position === undefined) continue
-                        const symbol = await asked.checker.getSymbolAtLocation(
-                            getTouchingPropertyName(sourceFile, position),
-                        )
-                        const type =
-                            symbol === undefined
-                                ? undefined
-                                : await asked.checker.getTypeOfSymbol(symbol)
-                        if (
-                            type !== undefined &&
-                            (await isReactiveType(
-                                asked.checker,
-                                abide,
-                                type,
-                                false,
-                            ))
-                        ) {
-                            ;(held[at] as Set<number>).add(start)
-                            turned.add(at)
-                        }
-                    }
-                }),
-            )
-            if (turned.size === 0) break
-            await Promise.all([...turned].map((at) => answer(asked, abide, at)))
-            for (const at of asking) if (!turned.has(at)) suspects[at] = []
-        }
-        for (const placed of warned) warnings.push(...placed)
-        return { answers, warnings }
+        return reactiveReads(this.host, sources)
     }
 
-    /**
-     * What the build refuses and warns on in the app's `.ts` files and its `.abide` `sources`.
-     *
-     * 11.37 — `ambient`: every read of a request's ambient inside a `global` value's body, as errors.
-     * 11.30 — `unkeyed`: every `args` defaulting a member its body's parameter does not, as warnings.
-     * Both over every `.ts` under `within` and each of `sources` as the shadow `readsFor` registered
-     * for it, because a keyed value is declared in a `.ts` as often as in a `.abide` — one walk of
-     * the files for the two, each finding on its own line of the file an author wrote.
-     */
-    async lints(
+    /** What the build refuses and warns on in the app's `.ts` and `.abide` files (`appLints`). */
+    lints(
         within: string,
         sources: readonly Omit<ParsedSource, 'quiet'>[],
+        scripts = true,
     ): Promise<{ ambient: Diagnosis[]; unkeyed: Diagnosis[] }> {
-        using _held = this.hold()
-        const ambient: Diagnosis[] = []
-        const unkeyed: Diagnosis[] = []
-        const project = await this.currentProject()
-        if (project === undefined) return { ambient, unkeyed }
-        const checker = project.checker
-        const ambientPaths = new Map<string, string>()
-        const declared = await Promise.all(
-            AMBIENT_SOURCES.map((source) =>
-                project.program.getSourceFile(source),
-            ),
-        )
-        for (let at = 0; at < AMBIENT_SOURCES.length; at += 1) {
-            const found = declared[at]?.path
-            if (found !== undefined)
-                ambientPaths.set(AMBIENT_SOURCES[at] as string, found)
-        }
-        const authored = new Map<
-            string,
-            { source: (typeof sources)[number]; map: ShadowMap }
-        >()
-        for (const source of sources) {
-            const map = new ShadowMap(
-                this.canonical(source.path),
-                projectShadow(source.file).origins,
-            )
-            authored.set(this.keyOf(map.shadowPath), { source, map })
-        }
-        // A file of this session's own is one of `sources`' shadows or not walked at all: a
-        // checked module is the lowering's, and placed nowhere an author wrote.
-        const files: string[] = []
-        for (const path of this.rootsUnder(project, within)) {
-            const key = this.keyOf(path)
-            if (authored.has(key) || !this.shadows.has(key)) files.push(path)
-        }
-        await Promise.all(
-            files.map(async (path) => {
-                const sourceFile = await project.program.getSourceFile(path)
-                if (sourceFile === undefined) return
-                const [reads, defaults] = await Promise.all([
-                    ambientPaths.size === 0
-                        ? []
-                        : ambientReadsIn(checker, sourceFile, ambientPaths),
-                    argsDefaultsIn(checker, sourceFile),
-                ])
-                if (reads.length === 0 && defaults.length === 0) return
-                const shadow = authored.get(this.keyOf(path))
-                const source = shadow?.source
-                const text =
-                    source === undefined
-                        ? await Bun.file(path).text()
-                        : source.text
-                const place = (at: number): number =>
-                    shadow === undefined ? at : shadow.map.toSource(path, at)
-                for (const read of reads)
-                    ambient.push(
-                        diagnosisAt(
-                            source?.path ?? path,
-                            text,
-                            place(read.at),
-                            'error',
-                            `abide: a \`global\` value's body reads \`${read.ambient}\`, which belongs to the request it was built in — every later request would be answered with this one's. Take it out of the body, or drop \`global\`. RULEBOOK 11.37.`,
-                        ),
-                    )
-                for (const finding of defaults)
-                    unkeyed.push(
-                        diagnosisAt(
-                            source?.path ?? path,
-                            text,
-                            place(finding.at),
-                            'warning',
-                            finding.message,
-                        ),
-                    )
-            }),
-        )
-        ambient.sort(byPlace)
-        unkeyed.sort(byPlace)
-        return { ambient, unkeyed }
+        return appLints(this.host, within, sources, scripts)
     }
 
     /**
-     * The checker's diagnostics for each `.abide` source and the app's `.ts` roots.
-     *
-     * 38.3 — WHAT THE CHECKER SAYS ABOUT EACH FILE AS IT RUNS, placed on the `.abide` line. Each
-     * source is checked as its lowered program (`checkedShadow`), which is registered for the life
-     * of the session beside its shadow for the reason a shadow is; and every `.ts` root of the
-     * project under the app's root is checked as it stands, where `scripts` asks for them — an editor
-     * asking about one page does not want the whole app. `sources` carry their text, which is what
-     * a position is a line of. A `quiet` source is lowered and not reported on: a component an
-     * editor's page imports, which is there for the props the page is held to (33.4).
-     *
-     * `app` is the app the sources are checked in (`appLayout`): its route table, which `url`'s
-     * literal is held to (30.26), and its handler files, which type `Config` (27.13). A source placed
-     * as a page or a layout carries its `kind` and `route`, which its `route.params` is typed by (23.9).
-     *
-     * `refused` is the path of every source whose checked lowering refused, which `diagnoses` has
-     * reported at its line — `abide check` emits the rest of the app without them.
+     * The checker's diagnostics for each `.abide` source and the app's `.ts` roots, and each
+     * source's lowering (`diagnoseSources`).
      */
-    async diagnose(
-        sources: (Omit<ReadSource, 'quiet'> &
-            Partial<Pick<PlacedSource, 'kind' | 'route'>> & {
-                quiet?: boolean
-            })[],
+    diagnose(
+        sources: readonly DiagnosedSource[],
         app: Pick<AppLayout, 'root' | 'addresses' | 'handlers' | 'routes'>,
         scripts = true,
-    ): Promise<{ diagnoses: Diagnosis[]; refused: Set<string> }> {
-        using _held = this.hold()
-        const within = app.root
-        const created: string[] = []
-        const changed: string[] = []
-        const checked: {
-            source: (typeof sources)[number]
-            map: ShadowMap
-            refusals: readonly Finding[]
-        }[] = []
-        for (const source of sources) {
-            const shadow = checkedShadow(
-                source.file,
-                source.answer,
-                (source.kind === 'page' || source.kind === 'layout') &&
-                    source.route !== undefined
-                    ? { route: source.route, kind: source.kind }
-                    : undefined,
-            )
-            const map = new ShadowMap(
-                this.canonical(source.path),
-                projectShadow(source.file).origins,
-                shadow.origins,
-            )
-            this.register(map.checkedPath, shadow.text, created, changed)
-            // 23.19 — a package's page an editor opens is reported on, so its checked module is a
-            // root of the project as its shadow is (`classify`).
-            if (!source.quiet)
-                this.openOutside(source.path, map.checkedPath, changed)
-            checked.push({ source, map, refusals: shadow.refusals })
-        }
-        // 34.6 — WHAT THE BUNDLER RESOLVES AND THE CHECKER CANNOT: a stylesheet imported for its
-        // effect, and (34.21) markdown imported as text into a `.ts`, which bun's own types leave
-        // out where they declare `.txt`. Declared in a file of its own at the app's root, which is
-        // a script, because a pattern module can only be declared outside a module.
-        this.register(
-            `${this.canonical(within)}/${AMBIENT}`,
-            AMBIENT_DECLARATIONS,
-            created,
-            changed,
-        )
-        // 27.13 — what a handler file defaults, beside it.
-        for (const handler of app.handlers) {
-            const at = `${this.canonical(handler.path)}${CONFIG_SUFFIX}`
-            const shadow = handler.hooks.includes('onConfig')
-                ? moduleConfigShadow(handler.text)
-                : undefined
-            // One that stops filing keeps its place and declares nothing, so the next snapshot is
-            // told it moved.
-            if (shadow !== undefined || this.shadows.has(this.keyOf(at)))
-                this.register(at, shadow ?? 'export {}\n', created, changed)
-        }
-        // 30.26 — THE APP'S ROUTE TABLE, which `url`'s literal is held to: every page the build
-        // routes, declared into abide's own `Routes`. A module rather than a script, since only a
-        // module augments one.
-        this.register(
-            `${this.canonical(within)}/${ROUTES_DECLARATION}`,
-            routesDeclaration(app.addresses, app.routes),
-            created,
-            changed,
-        )
-        const refusing = new Set<string>()
-        for (const { source, refusals } of checked)
-            if (refusals.length > 0) refusing.add(source.path)
-        const project = await this.currentProject(created, changed)
-        if (project === undefined) return { diagnoses: [], refused: refusing }
-        const program = project.program
-        // `path` is the file the author wrote, which for a checked module is not the file asked.
-        const report = async (
-            asked: string,
-            path: string,
-            place: (position: number) => { line: number; column: number },
-        ): Promise<Diagnosis[]> => {
-            const [syntactic, semantic] = await Promise.all([
-                program.getSyntacticDiagnostics(asked),
-                program.getSemanticDiagnostics(asked),
-            ])
-            const said: Diagnosis[] = []
-            for (const diagnostic of [...syntactic, ...semantic])
-                said.push({
-                    path,
-                    ...place(diagnostic.pos),
-                    code: diagnostic.code,
-                    category: CATEGORIES[diagnostic.category] ?? 'error',
-                    // A checked module's own names are the lowering's, and read as the author's.
-                    message: flatten(diagnostic).replaceAll(
-                        `${CHECKED_VALUES}.`,
-                        '',
-                    ),
-                })
-            return said
-        }
-        const reports: Promise<Diagnosis[]>[] = []
-        const refused: Diagnosis[] = []
-        for (const { source, map, refusals } of checked) {
-            this.loweredForInspect.set(this.keyOf(map.abidePath), {
-                text: source.text,
-                map,
-            })
-            if (source.quiet) continue
-            // A refusal is at a projection offset (`Lowering.refusals`).
-            for (const refusal of refusals)
-                refused.push(
-                    diagnosisAt(
-                        source.path,
-                        source.text,
-                        map.toSource(map.shadowPath, refusal.at),
-                        'error',
-                        refusal.message,
-                    ),
-                )
-            reports.push(
-                report(map.checkedPath, source.path, (position) =>
-                    lineOf(
-                        source.text,
-                        map.toSource(map.checkedPath, position),
-                    ),
-                ),
-            )
-        }
-        const standing = scripts ? this.rootsUnder(project, within) : []
-        for (const path of standing)
-            if (!this.shadows.has(this.keyOf(path)))
-                reports.push(
-                    Bun.file(path)
-                        .text()
-                        .then((text) =>
-                            report(path, path, (position) =>
-                                lineOf(text, position),
-                            ),
-                        ),
-                )
-        const reported = [...refused, ...(await Promise.all(reports)).flat()]
-        reported.sort(byPlace)
-        // A component's props type is checked twice — in its `props` call and in what a tag is held
-        // to (`checkedShadow`) — and both copies place a finding in it at the one place written.
-        const found: Diagnosis[] = []
-        const placed = new Set<string>()
-        for (const diagnosis of reported) {
-            const key = `${diagnosis.path}:${diagnosis.line}:${diagnosis.column}:${diagnosis.code}:${diagnosis.message}`
-            if (placed.has(key)) continue
-            placed.add(key)
-            found.push(diagnosis)
-        }
-        return { diagnoses: found, refused: refusing }
+    ): Promise<{
+        diagnoses: Diagnosis[]
+        refused: Set<string>
+        lowered: LoweredFile[]
+    }> {
+        return diagnoseSources(this.host, sources, app, scripts)
     }
 
-    /**
-     * Where the author's `offset` in a `.abide` stands in what the checker reads, and the program
-     * `diagnose` last lowered it to — or `undefined` where `text` is not what was lowered.
-     */
-    private askedAt(
-        path: string,
-        text: string,
-        offset: number,
-    ):
-        | { project: Project; asked: { path: string; position: number } }
-        | undefined {
-        const lowered = this.loweredForInspect.get(this.keyOf(path))
-        const project = this.latest
-        if (
-            lowered === undefined ||
-            lowered.text !== text ||
-            project === undefined
-        )
-            return undefined
-        const asked = lowered.map.fromSource(offset)
-        if (asked === undefined || !this.shadows.has(this.keyOf(asked.path)))
-            return undefined
-        return { project, asked }
+    /** The lowering a diagnosis last registered for the `.abide` at `path`, whatever its text. */
+    lowered(path: string): LoweredFile | undefined {
+        return this.host.lowered(path)
     }
 
-    /**
-     * The members that may be written at `offset` in a `.abide`, or `undefined` where none can be.
-     *
-     * 38.98 — ASKED WHERE A HOVER IS (`askedAt`), so `config().` offers the fields 27.13 declared and
-     * a name read by name offers its value's members (31.1). MEMBERS ALONE in a script or an
-     * expression: at an identifier the API rejects ("completion list needs auto imports"), which
-     * the language server answers as nothing offered. Markup is answered apart (38.117).
-     */
-    async complete(
+    /** The members or markup that may be written at `offset` in a `.abide` (`completionAt`). */
+    complete(
         path: string,
         text: string,
         offset: number,
         triggerCharacter?: string,
     ): Promise<CompletionInfo | undefined> {
-        using _held = this.hold()
-        const template = templateContext(text, offset)
-        if (template !== undefined)
-            return await this.completeTemplate(path, template)
-        const at = this.askedAt(path, text, offset)
-        if (at === undefined) return undefined
-        return await at.project.checker.getCompletionsAtPosition(
-            at.asked.path,
-            at.asked.position,
-            { triggerCharacter },
-        )
+        return completionAt(this.lowered(path), text, offset, triggerCharacter)
     }
 
-    /**
-     * 38.117 — what markup offers: a block keyword, a component in scope, or a component's props.
-     *
-     * A PROP IS ASKED OF THE LAST LOWERING, by the component's name: the tag being typed is text the
-     * parser refuses, and the import the name resolves through is the same in the lowering before it.
-     */
-    private async completeTemplate(
-        path: string,
-        template: TemplateContext,
-    ): Promise<CompletionInfo> {
-        const entries: CompletionEntry[] = []
-        if (template.kind !== 'attribute') {
-            const kind =
-                template.kind === 'block'
-                    ? CompletionItemKind.Keyword
-                    : CompletionItemKind.Class
-            for (const name of template.offered) entries.push({ name, kind })
-            return { isIncomplete: false, entries }
-        }
-        const lowered = this.loweredForInspect.get(this.keyOf(path))
-        const project = this.latest
-        if (lowered === undefined || project === undefined)
-            return { isIncomplete: false, entries }
-        const checker = project.checker
-        const found = await checker.resolveName(
-            template.tag,
-            SymbolFlags.Value,
-            { document: lowered.map.shadowPath, position: 0 },
-        )
-        const record =
-            found === undefined
-                ? undefined
-                : await propsRecordOf(
-                      checker,
-                      await aliasedSymbol(checker, found),
-                  )
-        if (record === undefined) return { isIncomplete: false, entries }
-        const unwritten = (await checker.getPropertiesOfType(record)).filter(
-            (prop) => !template.written.includes(prop.name),
-        )
-        for (const entry of await Promise.all(
-            unwritten.map(async (prop) => {
-                const type = await checker.getTypeOfSymbol(prop)
-                return {
-                    name: prop.name,
-                    kind: CompletionItemKind.Property,
-                    detail:
-                        type === undefined
-                            ? undefined
-                            : await checker.typeToString(
-                                  type,
-                                  undefined,
-                                  NodeBuilderFlags.NoTruncation,
-                              ),
-                }
-            }),
-        ))
-            entries.push(entry)
-        return { isIncomplete: false, entries }
-    }
-
-    /**
-     * The hover signature, documentation and definitions of the name at `offset` in a `.abide`.
-     *
-     * 38.39 — WHAT THE NAME AT `offset` IN A `.abide` IS, asked of the program `diagnose` last lowered
-     * it to: its type and documentation for a hover, and where it is declared for a jump. The
-     * checked module is asked where the position was copied into it, which is what a member hangs
-     * off — `regions.join` is `Array`'s — and the projection where the lowering rewrote it, so a
-     * name read by name is the `Reactive` it was declared as.
-     *
-     * `text` IS WHAT THE EDITOR SHOWS, and an offset into it maps through a lowering of the same
-     * text or not at all: a file the parser refuses keeps its last lowering, whose offsets have
-     * moved under every edit since.
-     */
+    /** The name at `offset` in a `.abide` as its last lowering holds it (`LoweredFile.inspect`). */
     async inspect(
         path: string,
         text: string,
         offset: number,
     ): Promise<Inspection | undefined> {
-        using _held = this.hold()
-        const at = this.askedAt(path, text, offset)
-        if (at === undefined) return undefined
-        const { project, asked } = at
-        const checker = project.checker
-        const found = await checker.getSymbolAtPosition(
-            asked.path,
-            asked.position,
-        )
-        if (found === undefined) return undefined
-        const symbol = await aliasedSymbol(checker, found)
-        const declarations: Node[] = []
-        for (const handle of symbol.declarations) {
-            const node = await handle.resolve(project)
-            if (node !== undefined) declarations.push(node)
-        }
-        // A `.abide` import resolves to its checked module's stand-in, which is the component.
-        const component =
-            symbol.name === COMPONENT_STAND_IN &&
-            declarations[0]?.getSourceFile().fileName.endsWith(CHECKED_SUFFIX)
-        const [signature, documentation] = component
-            ? [
-                  `(component) ${found.name}(props: ${await propsTypeOf(checker, symbol)})`,
-                  '',
-              ]
-            : await Promise.all([
-                  describe(project, symbol, declarations[0]),
-                  symbol.getDocumentationComment(checker),
-              ])
-        const definitions: Place[] = []
-        for (const node of declarations) {
-            const named = (node as { name?: Node }).name ?? node
-            const file = node.getSourceFile()
-            definitions.push(
-                this.spanInSource(
-                    file.fileName,
-                    file.text,
-                    named.getStart(file),
-                    named.end,
-                ),
-            )
-        }
-        return {
-            signature: signature.replaceAll(`${CHECKED_VALUES}.`, ''),
-            documentation,
-            definitions,
-        }
+        return this.lowered(path)?.inspect(text, offset)
     }
 
-    /**
-     * Every place the name at `offset` in a `.abide` is written, across the files the checker holds,
-     * or `undefined` where nothing is named there.
-     *
-     * 38.116 — ASKED OF EVERY PLACE THE CHECKER READS THE OFFSET AT (`ShadowMap.placesFrom`), because
-     * the checked module rewrites a name read by name into another symbol's read: the projection is
-     * where a reactive's markup uses are the declaration's references. A place is kept only where
-     * both layers copied it from the author's text and that text is the name, so scaffolding a
-     * lowering wrote is never a place to rename.
-     *
-     * AND ASKED AGAIN WHERE A REFERENCE IS TEXT THE CHECKED MODULE COPIES TWICE. A component's props
-     * type is a second copy of its `props` call (`checkedShadow`), and a tag's keys are typed by
-     * that copy: the checker answers them as another symbol's references, so a reference landing
-     * on one copy is asked at every place the author's text is read.
-     */
+    /** Every place the name at `offset` in a `.abide` is written (`LoweredFile.references`). */
     async references(
         path: string,
         text: string,
         offset: number,
     ): Promise<References | undefined> {
-        using _held = this.hold()
-        const lowered = this.loweredForInspect.get(this.keyOf(path))
-        const project = this.latest
-        if (
-            lowered === undefined ||
-            lowered.text !== text ||
-            project === undefined
-        )
-            return undefined
-        const asked = lowered.map.placesFrom(offset)
-        if (asked.length === 0) return undefined
-        const askedAt = new Set<string>()
-        for (const place of asked)
-            askedAt.add(`${place.path}:${place.position}`)
-        let name: Place | undefined
-        let spelled = ''
-        let renamable = true
-        const seen = new Set<string>()
-        const occurrences: Occurrence[] = []
-        for (let index = 0; index < asked.length; index += 1) {
-            const { path: file, position } = asked[index] as {
-                path: string
-                position: number
-            }
-            const sourceFile = await project.program.getSourceFile(file)
-            if (sourceFile === undefined) continue
-            const node = getTouchingPropertyName(sourceFile, position)
-            if (node.kind !== SyntaxKind.Identifier) continue
-            const written = node.getText(sourceFile)
-            if (name === undefined) {
-                const copied = this.copiedSpan(node, written)
-                name = copied === undefined ? undefined : placeOfSpan(copied)
-                spelled = written
-            }
-            const entries = await project.checker.getReferencedSymbolsForNode(
-                node,
-                position,
-            )
-            for (const entry of entries) {
-                const definition = await entry.definition.resolve(project)
-                if (definition === undefined) continue
-                const declaredIn = definition.getSourceFile().fileName
-                if (!this.authored(declaredIn)) renamable = false
-                const declared = (definition as { name?: Node }).name
-                const references = await Promise.all(
-                    entry.references.map((handle) => handle.resolve(project)),
-                )
-                for (const reference of references) {
-                    if (reference === undefined) continue
-                    const copied = this.copiedSpan(reference, written)
-                    if (copied === undefined) continue
-                    const declaration =
-                        declared !== undefined &&
-                        declared.pos === reference.pos &&
-                        declaredIn === reference.getSourceFile().fileName
-                    // Text the checker reads at more than one place is asked at every one.
-                    const copies = copied.map?.placesFrom(copied.start) ?? []
-                    if (copies.length > 2)
-                        for (const place of copies) {
-                            const at = `${place.path}:${place.position}`
-                            if (askedAt.has(at)) continue
-                            askedAt.add(at)
-                            asked.push(place)
-                        }
-                    const placed = placeOfSpan(copied)
-                    const key = `${placed.path}:${placed.start.line}:${placed.start.column}`
-                    if (seen.has(key)) continue
-                    seen.add(key)
-                    const holder = reference.parent
-                    const declaresHolder =
-                        definition.pos === holder.pos &&
-                        declaredIn === reference.getSourceFile().fileName
-                    const shorthand =
-                        holder.kind ===
-                            SyntaxKind.ShorthandPropertyAssignment ||
-                        (holder.kind === SyntaxKind.BindingElement &&
-                            (holder as { propertyName?: Node }).propertyName ===
-                                undefined)
-                    occurrences.push({
-                        ...placed,
-                        declaration,
-                        // A shorthand names a property and a binding at once, and renaming one
-                        // writes the other out beside it: the binding element declares the local
-                        // and the shorthand assignment the property.
-                        shorthand: !shorthand
-                            ? undefined
-                            : declaresHolder ===
-                                (holder.kind === SyntaxKind.BindingElement)
-                              ? 'local'
-                              : 'property',
-                    })
-                }
-            }
-        }
-        if (name === undefined) return undefined
-        return { name, written: spelled, renamable, occurrences }
-    }
-
-    /**
-     * Whether a file the checker read is one an author wrote and can edit: neither a library's
-     * declaration, nor a dependency's, nor scaffolding this session serves that stands for no `.abide`.
-     */
-    private authored(fileName: string): boolean {
-        if (fileName.endsWith('.d.ts') || fileName.includes('/node_modules/'))
-            return false
-        return (
-            ShadowMap.fileFor(this.canonical(fileName)) !== undefined ||
-            !this.shadows.has(this.keyOf(fileName))
-        )
-    }
-
-    /**
-     * Where a node the checker read stands in the file the author wrote, with that file's map where
-     * it is a `.abide`, or `undefined` where the author did not write `name` there: in scaffolding,
-     * or in a file this session serves.
-     */
-    private copiedSpan(node: Node, name: string): CopiedSpan | undefined {
-        const file = node.getSourceFile()
-        let start = node.getStart(file)
-        let end = node.end
-        // A string literal names a property by its text, inside the quotes.
-        if (node.kind === SyntaxKind.StringLiteral) {
-            start += 1
-            end -= 1
-        }
-        const canonical = this.canonical(file.fileName)
-        const abidePath = ShadowMap.fileFor(canonical)
-        if (abidePath === undefined) {
-            if (!this.authored(file.fileName)) return undefined
-            if (file.text.slice(start, end) !== name) return undefined
-            return {
-                path: file.fileName,
-                text: file.text,
-                start,
-                end,
-                map: undefined,
-            }
-        }
-        const lowered = this.loweredForInspect.get(this.keyOf(abidePath))
-        const span = lowered?.map.copiedToSource(canonical, start, end)
-        if (
-            lowered === undefined ||
-            span === undefined ||
-            lowered.text.slice(span.start, span.end) !== name
-        )
-            return undefined
-        return {
-            path: abidePath,
-            text: lowered.text,
-            start: span.start,
-            end: span.end,
-            map: lowered.map,
-        }
+        return this.lowered(path)?.references(text, offset)
     }
 
-    /**
-     * A span the checker read, placed in the file the author wrote.
-     *
-     * A span of a file the checker read, as the file the author wrote: a lowered `.abide` mapped
-     * back through both of its maps, and one this session has not lowered — or a span of the
-     * scaffolding a lowering adds, which the author never wrote — placed at its top.
-     */
-    private spanInSource(
-        fileName: string,
-        text: string,
-        start: number,
-        end: number,
-    ): Place {
-        const canonical = this.canonical(fileName)
-        const abidePath = ShadowMap.fileFor(canonical)
-        if (abidePath === undefined)
-            return {
-                path: fileName,
-                start: lineOf(text, start),
-                end: lineOf(text, end),
-            }
-        const lowered = this.loweredForInspect.get(this.keyOf(abidePath))
-        const placed = lowered?.map.spanToSource(canonical, start, end)
-        if (lowered === undefined || placed === undefined) {
-            const top = { line: 1, column: 1 }
-            return { path: abidePath, start: top, end: top }
-        }
-        return {
-            path: abidePath,
-            start: lineOf(lowered.text, placed.start),
-            end: lineOf(lowered.text, placed.end),
-        }
-    }
-
-    /**
-     * Closes the checker, and ends its process.
-     *
-     * KILLED, NOT LEFT TO END ITSELF. The API's own close only ends the process's stdin, and a
-     * `tsgo` that does not read the end of it lives on with this process's stderr in hand — one
-     * outlived its build by eight hours, and anything reading that build's stderr to its end
-     * (`abide build 2>&1 | tee`, a test's pipe) waits as long. The API holds the process on a
-     * private field and forgets it as it closes, so it is taken first; `typeSession.test.ts` gates
-     * that the field is still where this reads it.
-     *
-     * THE CLIENT IS CLOSED, NOT THE API: the API's close first asks the process to drop each
-     * snapshot, and one that has stopped answering never settles it. The client's asks nothing —
-     * it ends the connection, which rejects what was in flight — and the snapshots die with the
-     * process.
-     */
-    async close(): Promise<void> {
-        const client = (
-            this.api as unknown as {
-                client: {
-                    process?: { kill(): boolean }
-                    close(): Promise<void>
-                }
-            }
-        ).client
-        const child = client.process
-        // A release still being written when the connection ends is a write after end, thrown
-        // where nothing catches it. Bounded, for the same process that has stopped answering.
-        if (this.releasing.size > 0)
-            await Promise.race([
-                Promise.allSettled(this.releasing),
-                Bun.sleep(RELEASE_GRACE_MS),
-            ])
-        await client.close()
-        child?.kill()
-    }
-}
-
-const AMBIENT = 'abide-check.d.ts'
-
-// How long `close` waits on releases in flight before ending the connection under them.
-const RELEASE_GRACE_MS = 1000
-
-// What the checker asks for when it resolves an import of `x.abide` (`standIn`).
-const DECLARATION_SUFFIX = '.abide.d.ts'
-// Beside the app's tsconfig, so `extends` and every path in it resolve as they would from there.
-const SESSION_CONFIG = 'tsconfig.abide-session.json'
-const EXPORTED_DECLARATION_SUFFIX = '.d.abide.ts'
-
-function isFile(path: string): boolean {
-    try {
-        return statSync(path).isFile()
-    } catch {
-        return false
+    /** Closes the checker, and ends its process. */
+    close(): Promise<void> {
+        return this.host.close()
     }
 }
-const ROUTES_DECLARATION = 'abide-routes.d.ts'
-const URL_SOURCE = Bun.fileURLToPath(new URL('../shared/url', import.meta.url))
-
-/**
- * 30.26 — each of `addresses` as a key of abide's `Routes`, and 23.9, 30.3 — a page route's params
- * narrowed where its matcher is an alternation of literals, which is the one matcher a type can say.
- */
-function routesDeclaration(
-    addresses: readonly string[],
-    routes: readonly AppRoute[],
-): string {
-    const narrowed = new Map<string, string>()
-    for (const route of routes) {
-        let members = ''
-        for (const segment of parseRoutePattern(route.pattern)) {
-            if (segment.kind !== 'required' && segment.kind !== 'optional')
-                continue
-            const literals = literalsOf(
-                segment.matcher === undefined
-                    ? undefined
-                    : route.matchers[segment.matcher],
-            )
-            if (literals === undefined) continue
-            members += ` ${JSON.stringify(segment.name)}${segment.kind === 'optional' ? '?' : ''}: ${literals};`
-        }
-        if (members !== '') narrowed.set(route.pattern, `{${members} }`)
-    }
-    let keys = ''
-    for (const route of addresses)
-        keys += `        ${JSON.stringify(route)}: ${narrowed.get(route) ?? 'true'}\n`
-    return `export {}\ndeclare module ${JSON.stringify(URL_SOURCE)} {\n    interface Routes {\n${keys}    }\n}\n`
-}
-
-/** The union of the literals an anchored matcher source alternates between, or `undefined`. */
-function literalsOf(source: string | undefined): string | undefined {
-    const body = source?.match(/^\^\(\?!\\\.\\\.\?\$\)\(\?:(.*)\)\$$/)?.[1]
-    if (body === undefined || !/^[\w~-]+(?:\|[\w~-]+)*$/.test(body))
-        return undefined
-    return body
-        .split('|')
-        .map((literal) => JSON.stringify(literal))
-        .join(' | ')
-}
-const AMBIENT_DECLARATIONS = `declare module '*.css' {}
-declare module '*.md' {
-    const text: string
-    export default text
-}
-`
-
-/**
- * One thing the checker said, placed in the file the author wrote.
- *
- * 38.3 — line and column from 1.
- */
-export type Diagnosis = {
-    path: string
-    line: number
-    column: number
-    code: number
-    category: 'error' | 'warning' | 'suggestion' | 'message'
-    message: string
-}
-
-/**
- * Where something is in a file the author wrote, line and column from 1.
- *
- * 38.39.
- */
-export type Place = {
-    path: string
-    start: { line: number; column: number }
-    end: { line: number; column: number }
-}
-
-/**
- * The name under a cursor: how it is declared, what its doc comment says, and where.
- *
- * 38.39.
- */
-export type Inspection = {
-    signature: string
-    documentation: string
-    definitions: Place[]
-}
-
-/**
- * The name under a cursor and every place it is written.
- *
- * 38.116 — `name` is where the cursor's own name stands; `renamable` is false where any symbol it
- * names is declared somewhere an author does not write.
- */
-export type References = {
-    name: Place
-    /** The name as it is written. */
-    written: string
-    renamable: boolean
-    occurrences: Occurrence[]
-}
-
-/**
- * One place a name is written: whether it is where the name is declared, and where it is a
- * shorthand, which side of it a rename renames — the `local` binding or the `property`.
- */
-export type Occurrence = Place & {
-    declaration: boolean
-    shorthand: 'local' | 'property' | undefined
-}
-
-/** A span of a file the author wrote, and the map of the `.abide` it is in, where it is in one. */
-type CopiedSpan = Span & {
-    path: string
-    text: string
-    map: ShadowMap | undefined
-}
-
-/** A `CopiedSpan` as lines and columns. */
-function placeOfSpan(span: CopiedSpan): Place {
-    return {
-        path: span.path,
-        start: lineOf(span.text, span.start),
-        end: lineOf(span.text, span.end),
-    }
-}
-
-/**
- * The props type a component's tag is held to, printed.
- *
- * 33.4 — the record its stand-in is called with.
- */
-async function propsTypeOf(
-    checker: Checker,
-    component: CheckedSymbol,
-): Promise<string> {
-    const record = await propsRecordOf(checker, component)
-    return record === undefined
-        ? 'any'
-        : checker.typeToString(record, undefined, NodeBuilderFlags.NoTruncation)
-}
-
-/** The record a component is called with — the props its tag is held to (33.4). */
-async function propsRecordOf(
-    checker: Checker,
-    component: CheckedSymbol,
-): Promise<Type | undefined> {
-    const type = await checker.getTypeOfSymbol(component)
-    const call =
-        type === undefined
-            ? undefined
-            : (await checker.getSignaturesOfType(type, SignatureKind.Call))[0]
-    return call === undefined ? undefined : checker.getParameterType(call, 0)
-}
-
-/**
- * How a hover spells a symbol, as tsserver does: the keyword it was declared with, its name, and its
- * type — a function's first signature, with how many more it has.
- */
-async function describe(
-    project: Project,
-    symbol: CheckedSymbol,
-    declaration: Node | undefined,
-): Promise<string> {
-    const checker = project.checker
-    const flags = symbol.flags
-    const name = symbol.name
-    if (flags & SymbolFlags.Interface) return `interface ${name}`
-    if (flags & SymbolFlags.Class) return `class ${name}`
-    if (flags & SymbolFlags.TypeAlias)
-        return `type ${name} = ${await checker.typeToString(
-            await checker.getDeclaredTypeOfSymbol(symbol),
-            undefined,
-            NodeBuilderFlags.NoTruncation,
-        )}`
-    const type = await checker.getTypeOfSymbol(symbol)
-    if (type === undefined) return name
-    if (flags & (SymbolFlags.Function | SymbolFlags.Method)) {
-        const signatures = await checker.getSignaturesOfType(
-            type,
-            SignatureKind.Call,
-        )
-        const first = signatures[0]
-        const declared =
-            first === undefined
-                ? undefined
-                : await checker.signatureToSignatureDeclaration(
-                      first,
-                      SyntaxKind.MethodSignature,
-                      undefined,
-                      NodeBuilderFlags.NoTruncation,
-                  )
-        if (declared !== undefined) {
-            const printed = (await project.emitter.printNode(declared))
-                .trim()
-                .replace(/;$/, '')
-            const more = signatures.length - 1
-            return `${flags & SymbolFlags.Function ? 'function' : '(method)'} ${name}${printed}${
-                more > 0 ? ` (+${more} overload${more === 1 ? '' : 's'})` : ''
-            }`
-        }
-    }
-    const spelled = await checker.typeToString(
-        type,
-        undefined,
-        NodeBuilderFlags.NoTruncation,
-    )
-    let keyword = '(property)'
-    if (flags & SymbolFlags.Function) keyword = 'function'
-    else if (flags & SymbolFlags.Method) keyword = '(method)'
-    else if (declaration?.kind === SyntaxKind.Parameter) keyword = '(parameter)'
-    else if (flags & SymbolFlags.Variable) {
-        const list = declaration?.parent.flags ?? 0
-        keyword =
-            list & NodeFlags.Const
-                ? 'const'
-                : list & NodeFlags.Let
-                  ? 'let'
-                  : 'var'
-    }
-    return `${keyword} ${name}: ${spelled}`
-}
-
-function byPlace(one: Diagnosis, two: Diagnosis): number {
-    return (
-        one.path.localeCompare(two.path) ||
-        one.line - two.line ||
-        one.column - two.column
-    )
-}
-
-/** Indexed by the API's `DiagnosticCategory`. */
-const CATEGORIES = ['warning', 'error', 'suggestion', 'message'] as const
-
-function flatten(diagnostic: {
-    text: string
-    messageChain?:
-        readonly { text: string; messageChain?: unknown }[] | undefined
-}): string {
-    let message = diagnostic.text
-    const chain = diagnostic.messageChain ?? []
-    for (const link of chain)
-        message += `\n  ${flatten(link as Parameters<typeof flatten>[0]).replaceAll('\n', '\n  ')}`
-    return message
-}
-
-/** What a module that is no `.abide` is checked beside as, for the `Config` it files (27.13). */
-const CONFIG_SUFFIX = '.config-shadow.ts'