refactor(sqlite): fold signatures.ts into the dialect entry; EXCLUSIONS as plain names

signatures.ts had shrunk to a JSON loader, the EXCLUSIONS list, and
type re-export shims — no logic of its own. The loader and EXCLUSIONS
move into emit.ts (the dialect entry now owns ALL its data: facts,
exclusions, type table, chrome); the verifier imports SIGNATURES/
EXCLUSIONS from there and its types from the shared facts module.

EXCLUSIONS drops the {name, reason} shape — nothing consumed reason as
data (the verifier only reads names), so reasons live as comments over
a plain string list.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Author: ryanrasti

src/types/sqlite/docs/index.ts

@@ -10,19 +10,17 @@
 // the subject argument's documented domain; every function is also a
 // free function; names = camelCase(sql) / operator symbol + alias).
 // There is no per-function policy layer: the only remaining judgment
-// lives in ../signatures.ts's EXCLUSIONS list and the emit rules
+// lives in ../emit.ts's EXCLUSIONS list and the emit rules
 // themselves. This keeps the 1:1 claim strict — an extraction file is
 // checkable against its page alone — and makes extraction fidelity
 // load-bearing: the receiver argument's documented domain is what
 // decides which typed views surface a method.
 //
 // The structural schema is shared with postgres (emission/facts.ts);
 // this file adds the sqlite-only refinements and the extraction
-// prompt. signatures.ts loads + zod-validates every JSON at module load (fs,
-// not import-attributes — parser-neutral across node strip-types,
-// swc, tsgo, tsdown) and joins facts with policy into SIGNATURES.
-// The property verifier (signatures.verify.test.ts) remains the
-// correctness oracle for every claim in these files.
+// prompt. ../emit.ts loads + zod-validates every JSON at module load
+// into SIGNATURES. The property verifier (signatures.verify.test.ts)
+// remains the correctness oracle for every claim in these files.
 
 import z from "zod";
 import {

src/types/sqlite/emit.ts

@@ -1,15 +1,28 @@
 // SQLite dialect codegen entry — facts + type table + class chrome in,
 // generated .ts files out via the unified emitter (../emission/emit.ts).
 // All emission knowledge lives there; this file contributes DATA: the
-// committed facts (via signatures.ts), the sqlite type table, and the
+// committed per-doc-page facts (docs/<page>.json — schema and
+// extraction prompt in docs/index.ts), the sqlite type table, and the
 // per-class chrome (imports/statics/heritage).
 //
+// The emitted surface is derived from the facts by global rules —
+//   - method receivers = each overload's FIRST argument's domain
+//     ("any" ⇒ universal); args are in exact SQL call order;
+//   - names are camelCase(sql) for functions, symbol + PG-style
+//     alias for operators.
+// The only remaining judgment is EXCLUSIONS below. Every claim is
+// mechanically checked by signatures.verify.test.ts against the real
+// engine; its completeness gate ensures every pragma_function_list
+// entry is either defined in the facts or excluded here.
+//
 // Run: node --experimental-strip-types src/types/sqlite/emit.ts
 //      [--out-dir <dir>]   (codegen:check)
 
+import * as fs from "node:fs";
 import * as path from "node:path";
 import { pathToFileURL } from "node:url";
-import { SIGNATURES } from "./signatures.ts";
+import { DocPageSchema } from "./docs/index.ts";
+import { type EmitFn } from "../emission/facts.ts";
 import {
   writeGeneratedTree,
   chromeImportLines,
@@ -22,7 +35,60 @@ import {
 } from "../emission/emit.ts";
 
 const HEADER =
-  "// Auto-generated by src/types/sqlite/emit.ts from signatures.ts — do not edit.\n";
+  "// Auto-generated by src/types/sqlite/emit.ts from docs/*.json — do not edit.\n";
+
+// --- facts: one JSON per vendored doc page --------------------------------
+// Loaded with fs (not import attributes — parser-neutral across node
+// strip-types / swc / tsgo / tsdown) and zod-validated at import time:
+// a malformed JSON fails loudly here, before any emission.
+
+const PAGES = [
+  "lang_corefunc",
+  "lang_mathfunc",
+  "lang_datefunc",
+  "lang_aggfunc",
+  "percentile",
+  "json1",
+  "lang_expr",
+] as const;
+
+export const SIGNATURES: EmitFn[] = PAGES.flatMap((page) => {
+  const raw = fs.readFileSync(path.join(import.meta.dirname, "docs", `${page}.json`), "utf8");
+  return DocPageSchema.parse(JSON.parse(raw)).functions;
+});
+
+// Functions typegres refuses to surface — the completeness gate's
+// whitelist: every pragma_function_list entry must be either defined
+// in the facts or listed here.
+export const EXCLUSIONS: string[] = [
+  // Window functions — typegres has no OVER-clause modeling yet (PG
+  // doesn't either). Revisit with window support in the query builder.
+  "row_number", "rank", "dense_rank", "percent_rank", "cume_dist", "ntile",
+  "lag", "lead", "first_value", "last_value", "nth_value",
+  // FTS / rtree / geopoly — only meaningful on virtual tables, which
+  // typegres doesn't model.
+  "bm25", "fts3_tokenizer", "fts5", "fts5_get_locale", "fts5_insttoken",
+  "fts5_locale", "fts5_source_id", "highlight", "matchinfo", "offsets",
+  "optimize", "snippet",
+  "rtreecheck", "rtreedepth", "rtreenode",
+  "geopoly_area", "geopoly_bbox", "geopoly_blob", "geopoly_ccw",
+  "geopoly_contains_point", "geopoly_debug", "geopoly_group_bbox",
+  "geopoly_json", "geopoly_overlap", "geopoly_regular", "geopoly_svg",
+  "geopoly_within", "geopoly_xform",
+  "match", // MATCH operator function — only meaningful on FTS virtual tables
+  // Planner hints — no-ops for typing purposes; noise on the API.
+  "likelihood", "likely", "unlikely",
+  // Introspection / footguns.
+  "load_extension", // loads native code — must not be reachable from a query builder
+  "sqlite_compileoption_get", // build introspection
+  "sqlite_compileoption_used", // build introspection
+  "sqlite_offset", // low-level file-offset introspection
+  "sqlite_log", // error-log side effect, returns nothing useful
+  "subtype", // internal function-subtype plumbing
+  // CURRENT_* keywords aren't callable syntax — the datetime functions
+  // cover them (date('now'), time('now'), datetime('now')).
+  "current_date", "current_time", "current_timestamp",
+];
 
 // The sqlite type table. No `generic`/`element` entries (sqlite has
 // no containers or pseudotypes), so the emitter's T-threading

src/types/sqlite/generated/any.ts

@@ -1,4 +1,4 @@
-// Auto-generated by src/types/sqlite/emit.ts from signatures.ts — do not edit.
+// Auto-generated by src/types/sqlite/emit.ts from docs/*.json — do not edit.
 // The generated half of the SQLite root class (hand-written core —
 // dialect metadata, isNull/isNotNull/in — extends this in
 // ../overrides/any.ts). Carries ONLY the universal methods (subject

src/types/sqlite/generated/blob.ts

@@ -1,4 +1,4 @@
-// Auto-generated by src/types/sqlite/emit.ts from signatures.ts — do not edit.
+// Auto-generated by src/types/sqlite/emit.ts from docs/*.json — do not edit.
 // Blob<N> — the blob storage-class view: the __view brand
 // (near-identical subclasses are otherwise structurally
 // interchangeable, defeating nominal checks), [meta]/typname chrome,

src/types/sqlite/generated/bool.ts

@@ -1,4 +1,4 @@
-// Auto-generated by src/types/sqlite/emit.ts from signatures.ts — do not edit.
+// Auto-generated by src/types/sqlite/emit.ts from docs/*.json — do not edit.
 // Bool<N> — the bool storage-class view: the __view brand
 // (near-identical subclasses are otherwise structurally
 // interchangeable, defeating nominal checks), [meta]/typname chrome,

src/types/sqlite/generated/integer.ts

@@ -1,4 +1,4 @@
-// Auto-generated by src/types/sqlite/emit.ts from signatures.ts — do not edit.
+// Auto-generated by src/types/sqlite/emit.ts from docs/*.json — do not edit.
 // Integer<N> — the integer storage-class view: the __view brand
 // (near-identical subclasses are otherwise structurally
 // interchangeable, defeating nominal checks), [meta]/typname chrome,

src/types/sqlite/generated/real.ts

@@ -1,4 +1,4 @@
-// Auto-generated by src/types/sqlite/emit.ts from signatures.ts — do not edit.
+// Auto-generated by src/types/sqlite/emit.ts from docs/*.json — do not edit.
 // Real<N> — the real storage-class view: the __view brand
 // (near-identical subclasses are otherwise structurally
 // interchangeable, defeating nominal checks), [meta]/typname chrome,

src/types/sqlite/generated/text.ts

@@ -1,4 +1,4 @@
-// Auto-generated by src/types/sqlite/emit.ts from signatures.ts — do not edit.
+// Auto-generated by src/types/sqlite/emit.ts from docs/*.json — do not edit.
 // Text<N> — the text storage-class view: the __view brand
 // (near-identical subclasses are otherwise structurally
 // interchangeable, defeating nominal checks), [meta]/typname chrome,

src/types/sqlite/signatures.ts

@@ -1,4 +1,5 @@
-// Property verifier for signatures.ts — checks every claimed
+// Property verifier for the sqlite facts (docs/*.json, loaded by
+// emit.ts as SIGNATURES) — checks every claimed
 // signature against the real SQLite engine (better-sqlite3, the same
 // build the driver uses). See plan.md.
 //
@@ -16,7 +17,9 @@ import { describe, test, expect, beforeAll, afterAll } from "vitest";
 import Database from "better-sqlite3";
 import * as fs from "node:fs";
 import * as path from "node:path";
-import { SIGNATURES, EXCLUSIONS, type FnDef, type Overload, type ArgDef, type SqlT, type Hint } from "./signatures";
+import { SIGNATURES, EXCLUSIONS } from "./emit.ts";
+import type { EmitFn as FnDef, EmitOverload as Overload, EmitArg as ArgDef } from "../emission/facts.ts";
+import type { SqlT, Hint } from "./docs/index.ts";
 
 let db: Database.Database;
 beforeAll(() => { db = new Database(":memory:"); });
@@ -120,7 +123,7 @@ describe("completeness gate", () => {
       (db.prepare("SELECT DISTINCT name FROM pragma_function_list").all() as { name: string }[]).map((r) => r.name),
     );
     const defined = new Set(SIGNATURES.map((f) => f.sql));
-    const excluded = new Set(EXCLUSIONS.map((e) => e.name));
+    const excluded = new Set(EXCLUSIONS);
 
     const unaccounted = [...pragmaNames].filter((n) => !defined.has(n) && !excluded.has(n));
     expect(unaccounted, `pragma functions neither defined nor excluded`).toEqual([]);