@descryy/core 0.4.0 → 0.5.1

package/dist/validation/migrations.js

@@ -1,80 +1,22 @@
-/**
- * The format half of §15.3's rollback-readiness check — migrations read from the
- * repository as text.
- *
- * Same argument as `sources.ts`: DDL is a **format, not a language**, so reading
- * it names nothing the Canonical IR boundary forbids. Same limit, too — this half
- * sees only what is written as DDL, and DEC-122 measured exactly how little that
- * is: **zero `.sql` files inside a migration directory across fifteen reference
- * repositories**, against 3,301 migrations written as program code. The code half
- * arrives through `attrs.migrationOps` and is an adapter's to produce.
- *
- * ## The scope fence, which is what makes this Class A
- *
- * Appendix B.3 settles rollback readiness as Class A against two sources that
- * called it B, and the resolution turns entirely on what is claimed:
- *
- * > **"this migration contains a destructive operation"** — a fact, and a
- * > deterministic pattern match establishes it.
- * >
- * > **"this migration is unsafe to roll back"** — an inference, requiring the
- * > consumer-impact analysis §15.3 explicitly separates this check from.
- *
- * Every sentence produced here is written to stay behind that fence. The finding
- * names the operation, the object and the line; it does not characterise risk.
- *
- * ## What counts as destructive, and the things deliberately left out
- *
- * Only operations that **destroy data**. `DROP INDEX`, `DROP CONSTRAINT`,
- * `DROP VIEW`, `DROP TRIGGER` and `DROP FUNCTION` are all recoverable by
- * re-running the definition and none of them loses a row, so including them
- * would triple the finding count with statements nobody needs to see. A rename
- * is carried separately: the data survives, so it is not the same claim as a
- * drop, but every reader of the old name breaks.
- *
- * ## Section detection is tool-blind on purpose
- *
- * Directional migrations mark their halves with a comment directive. Matching a
- * specific tool's spelling would put that tool's name in engine code — rule 1,
- * the violation the boundary lint already caught once in this directory. So the
- * **shape** is matched instead: a comment carrying a directive word followed by
- * an up/down keyword, in either the `+name Up` form or a bare `-- Up`. Any tool
- * using that shape works; none of them is named.
- */
+/** §15.3's rollback-readiness check, format half — DDL is a format, not a
+ *  language, so it stays below the IR boundary. DEC-122: zero `.sql` files
+ *  across 15 repos vs 3,301 migrations as code (adapter's territory).
+ *  Class A (Appx B.3): reports only "this drops data", never the inference
+ *  "unsafe to roll back". Section markers matched by shape, not tool name. */
 import { readFileSync, readdirSync, statSync } from "node:fs";
 import { join, relative, sep } from "node:path";
 import { skipDirectory } from "./sources.js";
 const DEFAULT_MAX_DEPTH = 8;
 const DEFAULT_MAX_FILES = 20_000;
-/**
- * A directory holding migrations.
- *
- * Path-based rather than content-based, and named after what the directory *is*
- * rather than after any tool that creates it. A `.sql` file in a `schema/`
- * directory is a definition, not a change, and reading it as one would report
- * every `CREATE`-then-`DROP` setup script in the repository.
- */
-/**
- * Exported for `migration-integrity.ts`'s directory tie-break: a generic
- * migration-directory *shape*, not a language or framework name, so reusing
- * it there names no more than this file already does.
- */
+/** A directory holding migrations — path-based, not content-based, so a
+ *  `.sql` file in `schema/` (a definition, not a change) isn't misread.
+ *  Exported for `migration-integrity.ts`'s tie-break: a generic shape, no tool/framework name. */
 export const MIGRATION_DIRECTORY = /(^|\/)(migrations?|migrate|versions|changelogs?)(\/|$)/i;
 /** A directive comment carrying a direction, in either common shape. */
 const SECTION_MARKER = /^\s*--\s*(?:\+\w+\s+)?(up|down)\b/i;
-/**
- * Split DDL on `;`, ignoring separators inside strings, quoted identifiers and
- * comments.
- *
- * A plain split would cut a statement in half at the first semicolon inside a
- * default value, which is a real thing to find in a migration.
- *
- * **This duplicates the splitter in `adapter-sql`, deliberately and with the
- * cost recorded** (DEC-122). `@descryy/core` cannot depend on an adapter —
- * adapters depend on core — so the alternative to a second copy is inverting the
- * boundary the repository split exists to hold. If a third caller appears, the
- * right home is `@descryy/ir`.
- */
+/** Splits DDL on `;`, skipping separators inside strings/identifiers/comments.
+ *  Duplicates `adapter-sql`'s splitter (core can't depend on an adapter,
+ *  DEC-122) — a third caller should move this to `@descryy/ir`. */
 export function statements(sql) {
     const found = [];
     let buffer = "";
@@ -141,23 +83,14 @@ export function statements(sql) {
 function unquote(identifier) {
     return identifier.replace(/^["`[]+|["`\]]+$/g, "").toLowerCase();
 }
-/**
- * Classify one statement.
- *
- * Returns `null` for everything unrecognised, which is the overwhelming
- * majority and is correct: an unclassified statement is not a silent pass, it is
- * counted by the caller and disclosed.
- */
+/** Classifies one statement; `null` for unrecognised (the majority) is
+ *  correct — the caller counts and discloses it, not a silent pass. */
 export function classifyStatement(text, line, section) {
     const flat = text.replace(/\s+/g, " ").trim();
     const guarded = /\bIF\s+EXISTS\b/i.test(flat);
-    // ALTER TABLE … DROP COLUMN — checked before the bare DROP forms, because
-    // "ALTER TABLE x DROP COLUMN y" also contains the substring "DROP".
-    //
-    // The negative lookahead is not decoration. `ALTER TABLE t DROP CONSTRAINT c`
-    // has the same shape with the keyword omitted, and without the guard the
-    // constraint name is read as a column name — a data-loss claim about a
-    // statement that loses no data. Found by a test, which is where it belongs.
+    // ALTER TABLE … DROP COLUMN checked before bare DROP (substring match).
+    // Negative lookahead matters: `DROP CONSTRAINT c` without it reads as a
+    // column drop — a false data-loss claim. Caught by a test.
     const dropColumn = /^ALTER\s+TABLE\s+(?:IF\s+EXISTS\s+)?([\w."`[\]]+)\s+DROP\s+(?:COLUMN\s+)?(?:IF\s+EXISTS\s+)?(?!CONSTRAINT\b|INDEX\b|CHECK\b|PRIMARY\b|FOREIGN\b|UNIQUE\b|DEFAULT\b|NOT\b|PARTITION\b)([\w."`[\]]+)/i.exec(flat);
     if (dropColumn !== null) {
         return {
@@ -277,6 +210,9 @@ export function scanMigrations(root, options = {}) {
                 directory = statSync(full).isDirectory();
             }
             catch {
+                // Same as an unreadable dir, on one entry (broken symlink, perm error,
+                // race). Disclosed via `unreadable` (rule 7), not dropped silently.
+                unreadable.push(rel(root, full));
                 continue;
             }
             if (directory) {

package/dist/validation/migrations.js.map

@@ -1 +1 @@
-{"version":3,"file":"migrations.js","sourceRoot":"","sources":["../../src/validation/migrations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAEhD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAoE7C,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAC5B,MAAM,iBAAiB,GAAG,MAAM,CAAC;AAEjC;;;;;;;GAOG;AACH;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,yDAAyD,CAAC;AAE7F,wEAAwE;AACxE,MAAM,cAAc,GAAG,oCAAoC,CAAC;AAO5D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,IAAI,OAAO,GAA4B,IAAI,CAAC;IAE5C,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/E,MAAM,GAAG,EAAE,CAAC;QACZ,SAAS,GAAG,IAAI,CAAC;IACnB,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,IAAI;YAAE,IAAI,IAAI,CAAC,CAAC;QAE7B,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,GAAG,IAAI,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;YACxB,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjC,OAAO,GAAG,IAAI,CAAC;gBACf,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,IAAI,IAAI,CAAC;YACf,IAAI,IAAI,KAAK,KAAK;gBAAE,KAAK,GAAG,IAAI,CAAC;YACjC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,OAAO,GAAG,OAAO,CAAC;YAClB,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjD,KAAK,GAAG,IAAI,CAAC;YACb,MAAM,IAAI,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,KAAK,EAAE,CAAC;YACR,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC/C,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,MAAM,IAAI,IAAI,CAAC;IACjB,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,UAAkB;IACjC,OAAO,UAAU,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACnE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,IAAY,EACZ,OAAyB;IAEzB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE9C,0EAA0E;IAC1E,oEAAoE;IACpE,EAAE;IACF,8EAA8E;IAC9E,yEAAyE;IACzE,uEAAuE;IACvE,4EAA4E;IAC5E,MAAM,UAAU,GACd,qMAAqM,CAAC,IAAI,CACxM,IAAI,CACL,CAAC;IACJ,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,EAAE;YAC/D,IAAI;YACJ,OAAO;YACP,OAAO;SACR,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GACV,4FAA4F,CAAC,IAAI,CAC/F,IAAI,CACL,CAAC;IACJ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,MAAM,EACJ,MAAM,KAAK,SAAS;gBAClB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;gBACrB,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE;YACjD,IAAI;YACJ,OAAO;YACP,OAAO;SACR,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACxF,CAAC;IAED,MAAM,UAAU,GAAG,oDAAoD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC1F,CAAC;IAED,MAAM,QAAQ,GAAG,qDAAqD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClF,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACrF,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oFAAoF;AACpF,SAAS,OAAO,CAAC,IAAY;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,sEAAsE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChG,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,4DAA4D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAElC,6EAA6E;IAC7E,wEAAwE;IACxE,MAAM,UAAU,GAAkD,EAAE,CAAC;IACrE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnD,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC9B,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,CAAC,GAAG,CAAC;YACX,OAAO,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;SACrE,CAAC,CAAC;IACL,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAE1C,MAAM,SAAS,GAAG,CAAC,IAAY,EAAoB,EAAE;QACnD,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,IAAI,OAAO,GAAqB,SAAS,CAAC;QAC1C,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;YAClC,IAAI,QAAQ,CAAC,IAAI,GAAG,IAAI;gBAAE,MAAM;YAChC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;QAC7B,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAqC,EAAE,CAAC;IAErD,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;YACrD,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACxF,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AACvC,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,UAAgC,EAAE;IAC7E,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,iBAAiB,CAAC;IACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,iBAAiB,CAAC;IACvD,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC;IAExD,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,QAAQ,GAAG,CAAC,CAAC;IAEjB,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,KAAa,EAAQ,EAAE;QAChD,IAAI,SAAS,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO;QAC1C,IAAI,OAA0B,CAAC;QAC/B,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACP,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YAChC,OAAO;QACT,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,SAAS;gBAAE,OAAO;YACtB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC9B,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,IAAI,CAAC;gBACH,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAC3C,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACd,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,gBAAgB,CAAC;oBAAE,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACnE,SAAS;YACX,CAAC;YACD,IAAI,EAAE,IAAI,GAAG,QAAQ,EAAE,CAAC;gBACtB,SAAS,GAAG,IAAI,CAAC;gBACjB,OAAO;YACT,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,SAAS;YACrC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAE9C,IAAI,IAAY,CAAC;YACjB,IAAI,CAAC;gBACH,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACpC,CAAC;YAAC,MAAM,CAAC;gBACP,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,QAAQ,IAAI,CAAC,CAAC;gBACd,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACd,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnD,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,GAAG,CAAC,IAAY,EAAE,IAAY;IACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACjD,CAAC"}
+{"version":3,"file":"migrations.js","sourceRoot":"","sources":["../../src/validation/migrations.ts"],"names":[],"mappings":"AAAA;;;;8EAI8E;AAE9E,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAEhD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAoD7C,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAC5B,MAAM,iBAAiB,GAAG,MAAM,CAAC;AAEjC;;kGAEkG;AAClG,MAAM,CAAC,MAAM,mBAAmB,GAAG,yDAAyD,CAAC;AAE7F,wEAAwE;AACxE,MAAM,cAAc,GAAG,oCAAoC,CAAC;AAO5D;;mEAEmE;AACnE,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,IAAI,OAAO,GAA4B,IAAI,CAAC;IAE5C,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/E,MAAM,GAAG,EAAE,CAAC;QACZ,SAAS,GAAG,IAAI,CAAC;IACnB,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,IAAI;YAAE,IAAI,IAAI,CAAC,CAAC;QAE7B,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,GAAG,IAAI,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;YACxB,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjC,OAAO,GAAG,IAAI,CAAC;gBACf,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,IAAI,IAAI,CAAC;YACf,IAAI,IAAI,KAAK,KAAK;gBAAE,KAAK,GAAG,IAAI,CAAC;YACjC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,OAAO,GAAG,OAAO,CAAC;YAClB,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjD,KAAK,GAAG,IAAI,CAAC;YACb,MAAM,IAAI,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,KAAK,EAAE,CAAC;YACR,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC/C,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,MAAM,IAAI,IAAI,CAAC;IACjB,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,UAAkB;IACjC,OAAO,UAAU,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;AACnE,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,IAAY,EACZ,OAAyB;IAEzB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE9C,wEAAwE;IACxE,wEAAwE;IACxE,2DAA2D;IAC3D,MAAM,UAAU,GACd,qMAAqM,CAAC,IAAI,CACxM,IAAI,CACL,CAAC;IACJ,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,EAAE;YAC/D,IAAI;YACJ,OAAO;YACP,OAAO;SACR,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GACV,4FAA4F,CAAC,IAAI,CAC/F,IAAI,CACL,CAAC;IACJ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,MAAM,EACJ,MAAM,KAAK,SAAS;gBAClB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;gBACrB,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE;YACjD,IAAI;YACJ,OAAO;YACP,OAAO;SACR,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACxF,CAAC;IAED,MAAM,UAAU,GAAG,oDAAoD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC1F,CAAC;IAED,MAAM,QAAQ,GAAG,qDAAqD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClF,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACrF,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oFAAoF;AACpF,SAAS,OAAO,CAAC,IAAY;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,sEAAsE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChG,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,4DAA4D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAElC,6EAA6E;IAC7E,wEAAwE;IACxE,MAAM,UAAU,GAAkD,EAAE,CAAC;IACrE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnD,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC9B,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,CAAC,GAAG,CAAC;YACX,OAAO,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;SACrE,CAAC,CAAC;IACL,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAE1C,MAAM,SAAS,GAAG,CAAC,IAAY,EAAoB,EAAE;QACnD,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,IAAI,OAAO,GAAqB,SAAS,CAAC;QAC1C,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;YAClC,IAAI,QAAQ,CAAC,IAAI,GAAG,IAAI;gBAAE,MAAM;YAChC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;QAC7B,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAqC,EAAE,CAAC;IAErD,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;YACrD,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACxF,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AACvC,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,UAAgC,EAAE;IAC7E,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,iBAAiB,CAAC;IACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,iBAAiB,CAAC;IACvD,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC;IAExD,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,QAAQ,GAAG,CAAC,CAAC;IAEjB,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,KAAa,EAAQ,EAAE;QAChD,IAAI,SAAS,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO;QAC1C,IAAI,OAA0B,CAAC;QAC/B,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACP,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YAChC,OAAO;QACT,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,SAAS;gBAAE,OAAO;YACtB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC9B,IAAI,SAAS,GAAG,KAAK,CAAC;YACtB,IAAI,CAAC;gBACH,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAC3C,CAAC;YAAC,MAAM,CAAC;gBACP,uEAAuE;gBACvE,oEAAoE;gBACpE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;gBACjC,SAAS;YACX,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACd,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,gBAAgB,CAAC;oBAAE,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACnE,SAAS;YACX,CAAC;YACD,IAAI,EAAE,IAAI,GAAG,QAAQ,EAAE,CAAC;gBACtB,SAAS,GAAG,IAAI,CAAC;gBACjB,OAAO;YACT,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,SAAS;YACrC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAE9C,IAAI,IAAY,CAAC;YACjB,IAAI,CAAC;gBACH,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACpC,CAAC;YAAC,MAAM,CAAC;gBACP,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,QAAQ,IAAI,CAAC,CAAC;gBACd,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACd,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnD,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,GAAG,CAAC,IAAY,EAAE,IAAY;IACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACjD,CAAC"}

package/dist/validation/nodes.d.ts

@@ -10,7 +10,9 @@ import type { AdjacencyProvider } from "../query/provider.ts";
  * The node types that stand for a whole file.
  *
  * **Every shipped adapter emits `MODULE` for a file and not one of them emits
- * `FILE`** — verified across all nine, not assumed. The checks in this directory
+ * `FILE`** — verified across all ten language adapters, not assumed. The count
+ * was written as nine and a tenth shipped; the fact it carries did not change,
+ * which is exactly why the wrong number survived. The checks in this directory
  * were written against `FILE` alone, their tests minted `FILE` nodes, their
  * benches minted `FILE` nodes, and all three gates passed while the graph half of
  * every check was unable to fire on any real repository. The number stayed right

package/dist/validation/nodes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/validation/nodes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAE9D;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,sBAAsB,6BAA8B,CAAC;AAElE,+DAA+D;AAC/D,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,iBAAiB,EAC3B,KAAK,CAAC,EAAE,MAAM,GACb;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAgBpE"}
+{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/validation/nodes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAE9D;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,sBAAsB,6BAA8B,CAAC;AAElE,+DAA+D;AAC/D,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,iBAAiB,EAC3B,KAAK,CAAC,EAAE,MAAM,GACb;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAgBpE"}

package/dist/validation/nodes.js

@@ -8,7 +8,9 @@
  * The node types that stand for a whole file.
  *
  * **Every shipped adapter emits `MODULE` for a file and not one of them emits
- * `FILE`** — verified across all nine, not assumed. The checks in this directory
+ * `FILE`** — verified across all ten language adapters, not assumed. The count
+ * was written as nine and a tenth shipped; the fact it carries did not change,
+ * which is exactly why the wrong number survived. The checks in this directory
  * were written against `FILE` alone, their tests minted `FILE` nodes, their
  * benches minted `FILE` nodes, and all three gates passed while the graph half of
  * every check was unable to fire on any real repository. The number stayed right

package/dist/validation/nodes.js.map

@@ -1 +1 @@
-{"version":3,"file":"nodes.js","sourceRoot":"","sources":["../../src/validation/nodes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAU,CAAC;AAElE,+DAA+D;AAC/D,MAAM,UAAU,eAAe,CAC7B,QAA2B,EAC3B,KAAc;IAEd,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,sBAAsB,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjG,SAAS,GAAG,SAAS,IAAI,GAAG,CAAC,SAAS,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC7B,yEAAyE;YACzE,qCAAqC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"nodes.js","sourceRoot":"","sources":["../../src/validation/nodes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAU,CAAC;AAElE,+DAA+D;AAC/D,MAAM,UAAU,eAAe,CAC7B,QAA2B,EAC3B,KAAc;IAEd,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,sBAAsB,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjG,SAAS,GAAG,SAAS,IAAI,GAAG,CAAC,SAAS,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC7B,yEAAyE;YACzE,qCAAqC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC"}

package/dist/validation/orm-registration.d.ts

@@ -0,0 +1,106 @@
+/** ORM model registration — the UAT phase-4 audit's "Bug B": a SQLAlchemy-style model
+ *  class inherits the declarative base but is defined in a module no `__init__.py` in
+ *  its own package imports. A package's `__init__.py` conventionally re-imports every
+ *  model module specifically so `Base.metadata` — the registry `alembic
+ *  --autogenerate` reads — actually includes them; miss the import and the model is
+ *  invisible to that registry. Alembic then sees a table the database has but the
+ *  declared models don't, and `--autogenerate` writes a migration that **drops** it.
+ *
+ *  Both edges this reuses are already produced elsewhere in the pipeline, never
+ *  reinvented here: `INHERITS` (a class descending from a base) and `IMPORTS`
+ *  (whether a package's `__init__.py` reaches the defining module).
+ *
+ *  ## Recognising "inherits the ORM declarative base" without naming a framework
+ *
+ *  Core carries no notion of "SQLAlchemy" or "Django" above the IR boundary (rule 1),
+ *  and a name check on the base class ("is it called `Base`?") is exactly the kind of
+ *  heuristic rule 2 forbids. The one signal already on the graph that says "this
+ *  class's inheritance chain reaches an ORM declarative base" is the extractor's own
+ *  `MODEL` classification: per the golden corpus (`fixtures/golden/patterns.json`,
+ *  patterns 06/07) and `capabilities.ts`'s `ORM_EXTRACTOR` doc comment, `MODEL` is
+ *  minted *because* the extractor found "a persistence annotation, a declarative
+ *  base, a table binding" — never a name match. So this check's recognition rule is:
+ *  **a `MODEL` node with at least one outgoing `INHERITS` edge** is, by construction
+ *  of the extractor that classified it, a class inheriting the ORM declarative base.
+ *
+ *  An abstract intermediate class that maps no column of its own is not itself
+ *  promoted to `MODEL` — see the `Base`/`Order` example in
+ *  `fixtures/languages/python/src/models.py`, where the comment on `Base` reads
+ *  "maps no column, so it is not itself a model." So an abstract base is never a seed
+ *  here, which is exactly the "don't flag an abstract intermediate the same way as a
+ *  concrete leaf model" distinction — it falls out of reusing the existing `MODEL`
+ *  classification rather than needing separate chain-walking logic.
+ *
+ *  ## Reachability: "own package's `__init__.py`, walking up, transitively"
+ *
+ *  `IMPORTS` is file-level (vocabulary.ts), so both endpoints are `MODULE`/`FILE`
+ *  nodes (`fileScopedNodes`). For a model defined in `a/b/model.py`, the candidate
+ *  aggregators are `a/b/__init__.py`, `a/__init__.py`, `__init__.py` — every ancestor
+ *  package's own `__init__.py`, not only the immediate one: a nested package can be
+ *  reached solely through a parent's `__init__` re-export. Reachability is `bfs`
+ *  (`../query/traverse.ts`, the same transitive-reachability primitive
+ *  `impactOf`/`testsCovering` already use), seeded at whichever of those candidate
+ *  paths actually have a MODULE/FILE node in this graph, walking `IMPORTS` outward
+ *  with no depth cap (only the node budget). An `__init__.py` that imports a
+ *  `models_registry.py` that in turn imports the model module is therefore reached —
+ *  exactly the false-positive shape the design review called out: this traversal is
+ *  not restricted to direct imports.
+ *
+ *  ## Why this is a lead, never a defect
+ *
+ *  `Base.metadata` can be populated by an explicit scan/glob instead of manual
+ *  imports (this check cannot see that from the graph), a model can be an
+ *  intentionally unmigrated abstract/mixin base, or deliberately excluded from
+ *  migrations for now. Promoting straight to `defect` needs a measured precision
+ *  this check has not been run against yet — the same discipline this codebase
+ *  already holds itself to elsewhere (a heuristic measured at 25% precision against
+ *  a 90% bar was not shipped as a defect). So every finding here carries
+ *  `claim: "lead"` and says so in its own text, never promoted silently. */
+import type { ResolutionLevel } from "@descryy/ir";
+import type { ContractClaim } from "../contracts/orphans.ts";
+import type { AdjacencyProvider, QueryResult } from "../query/provider.ts";
+export type OrmRegistrationFindingKind = "MODEL_NOT_REACHED_BY_INIT";
+export interface OrmRegistrationFinding {
+    readonly kind: OrmRegistrationFindingKind;
+    /** Always "lead" today — see the header's "Why this is a lead, never a defect". */
+    readonly claim: ContractClaim;
+    readonly model: string;
+    readonly modelId: string;
+    readonly file: string;
+    readonly line: number;
+    /** The sentence a developer reads, including the reasoning for `claim: "lead"`. */
+    readonly detail: string;
+    readonly resolution: ResolutionLevel;
+}
+export interface OrmRegistrationReport {
+    readonly findings: readonly OrmRegistrationFinding[];
+    /** The count before `maxFindings` capped it — P27's disclosed remainder: a structured field, not only a prose note. */
+    readonly findingsTotal: number;
+    readonly examined: {
+        /** MODEL nodes with at least one outgoing INHERITS edge — this check's population. */
+        readonly candidates: number;
+    };
+    /** True when at least one candidate was examined. */
+    readonly ran: boolean;
+    readonly withheld: {
+        /** A candidate whose package tree carries no `__init__.py` node anywhere in this
+         *  graph — nothing to check reachability against, so refused rather than guessed. */
+        readonly noInitInPackage: number;
+    };
+}
+export interface OrmRegistrationOptions {
+    /** Restrict candidates to these repo-relative files. Reachability is still resolved
+     *  against the whole graph — a reaching `__init__.py` commonly sits outside the diff. */
+    readonly files?: readonly string[];
+    readonly maxFindings?: number;
+    /** Cap on MODEL/file-scoped nodes enumerated. Truncation is reported. */
+    readonly limit?: number;
+    /** Node budget per candidate's reachability traversal. */
+    readonly budget?: number;
+}
+/** Every `__init__.py` path that could aggregate `file`'s module: its own package's,
+ *  and every ancestor package's, own package first. Pure path arithmetic — whether any
+ *  of these actually exist as a node in the graph is decided by the caller. */
+export declare function ancestorInitPaths(file: string): readonly string[];
+export declare function checkOrmModelRegistration(provider: AdjacencyProvider, options?: OrmRegistrationOptions): QueryResult<OrmRegistrationReport>;
+//# sourceMappingURL=orm-registration.d.ts.map

package/dist/validation/orm-registration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"orm-registration.d.ts","sourceRoot":"","sources":["../../src/validation/orm-registration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4EAyD4E;AAE5E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,KAAK,EAAE,iBAAiB,EAAc,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAIvF,MAAM,MAAM,0BAA0B,GAAG,2BAA2B,CAAC;AAErE,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAC1C,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mFAAmF;IACnF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACrD,uHAAuH;IACvH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE;QACjB,sFAAsF;QACtF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC7B,CAAC;IACF,qDAAqD;IACrD,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE;QACjB;6FACqF;QACrF,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;KAClC,CAAC;CACH;AAED,MAAM,WAAW,sBAAsB;IACrC;6FACyF;IACzF,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,yEAAyE;IACzE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAKD;;+EAE+E;AAC/E,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CASjE;AAED,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,iBAAiB,EAC3B,OAAO,GAAE,sBAA2B,GACnC,WAAW,CAAC,qBAAqB,CAAC,CAuIpC"}

package/dist/validation/orm-registration.js

@@ -0,0 +1,191 @@
+/** ORM model registration — the UAT phase-4 audit's "Bug B": a SQLAlchemy-style model
+ *  class inherits the declarative base but is defined in a module no `__init__.py` in
+ *  its own package imports. A package's `__init__.py` conventionally re-imports every
+ *  model module specifically so `Base.metadata` — the registry `alembic
+ *  --autogenerate` reads — actually includes them; miss the import and the model is
+ *  invisible to that registry. Alembic then sees a table the database has but the
+ *  declared models don't, and `--autogenerate` writes a migration that **drops** it.
+ *
+ *  Both edges this reuses are already produced elsewhere in the pipeline, never
+ *  reinvented here: `INHERITS` (a class descending from a base) and `IMPORTS`
+ *  (whether a package's `__init__.py` reaches the defining module).
+ *
+ *  ## Recognising "inherits the ORM declarative base" without naming a framework
+ *
+ *  Core carries no notion of "SQLAlchemy" or "Django" above the IR boundary (rule 1),
+ *  and a name check on the base class ("is it called `Base`?") is exactly the kind of
+ *  heuristic rule 2 forbids. The one signal already on the graph that says "this
+ *  class's inheritance chain reaches an ORM declarative base" is the extractor's own
+ *  `MODEL` classification: per the golden corpus (`fixtures/golden/patterns.json`,
+ *  patterns 06/07) and `capabilities.ts`'s `ORM_EXTRACTOR` doc comment, `MODEL` is
+ *  minted *because* the extractor found "a persistence annotation, a declarative
+ *  base, a table binding" — never a name match. So this check's recognition rule is:
+ *  **a `MODEL` node with at least one outgoing `INHERITS` edge** is, by construction
+ *  of the extractor that classified it, a class inheriting the ORM declarative base.
+ *
+ *  An abstract intermediate class that maps no column of its own is not itself
+ *  promoted to `MODEL` — see the `Base`/`Order` example in
+ *  `fixtures/languages/python/src/models.py`, where the comment on `Base` reads
+ *  "maps no column, so it is not itself a model." So an abstract base is never a seed
+ *  here, which is exactly the "don't flag an abstract intermediate the same way as a
+ *  concrete leaf model" distinction — it falls out of reusing the existing `MODEL`
+ *  classification rather than needing separate chain-walking logic.
+ *
+ *  ## Reachability: "own package's `__init__.py`, walking up, transitively"
+ *
+ *  `IMPORTS` is file-level (vocabulary.ts), so both endpoints are `MODULE`/`FILE`
+ *  nodes (`fileScopedNodes`). For a model defined in `a/b/model.py`, the candidate
+ *  aggregators are `a/b/__init__.py`, `a/__init__.py`, `__init__.py` — every ancestor
+ *  package's own `__init__.py`, not only the immediate one: a nested package can be
+ *  reached solely through a parent's `__init__` re-export. Reachability is `bfs`
+ *  (`../query/traverse.ts`, the same transitive-reachability primitive
+ *  `impactOf`/`testsCovering` already use), seeded at whichever of those candidate
+ *  paths actually have a MODULE/FILE node in this graph, walking `IMPORTS` outward
+ *  with no depth cap (only the node budget). An `__init__.py` that imports a
+ *  `models_registry.py` that in turn imports the model module is therefore reached —
+ *  exactly the false-positive shape the design review called out: this traversal is
+ *  not restricted to direct imports.
+ *
+ *  ## Why this is a lead, never a defect
+ *
+ *  `Base.metadata` can be populated by an explicit scan/glob instead of manual
+ *  imports (this check cannot see that from the graph), a model can be an
+ *  intentionally unmigrated abstract/mixin base, or deliberately excluded from
+ *  migrations for now. Promoting straight to `defect` needs a measured precision
+ *  this check has not been run against yet — the same discipline this codebase
+ *  already holds itself to elsewhere (a heuristic measured at 25% precision against
+ *  a 90% bar was not shipped as a defect). So every finding here carries
+ *  `claim: "lead"` and says so in its own text, never promoted silently. */
+import { bfs } from "../query/traverse.js";
+import { fileScopedNodes } from "./nodes.js";
+const DEFAULT_MAX_FINDINGS = 25;
+const DEFAULT_TRAVERSAL_BUDGET = 500;
+/** Every `__init__.py` path that could aggregate `file`'s module: its own package's,
+ *  and every ancestor package's, own package first. Pure path arithmetic — whether any
+ *  of these actually exist as a node in the graph is decided by the caller. */
+export function ancestorInitPaths(file) {
+    const parts = file.split("/");
+    parts.pop(); // drop the file's own name
+    const paths = [];
+    for (let i = parts.length; i >= 0; i -= 1) {
+        const dir = parts.slice(0, i).join("/");
+        paths.push(dir === "" ? "__init__.py" : `${dir}/__init__.py`);
+    }
+    return paths;
+}
+export function checkOrmModelRegistration(provider, options = {}) {
+    const maxFindings = options.maxFindings ?? DEFAULT_MAX_FINDINGS;
+    const budget = options.budget ?? DEFAULT_TRAVERSAL_BUDGET;
+    const scoped = options.files === undefined ? null : new Set(options.files);
+    const notes = [];
+    const moduleFiles = fileScopedNodes(provider, options.limit);
+    const moduleIdByPath = new Map();
+    for (const node of moduleFiles.nodes) {
+        if (node.file !== null)
+            moduleIdByPath.set(node.file, node.id);
+    }
+    const modelSet = provider.nodesOfType("MODEL", options.limit);
+    const findings = [];
+    let candidates = 0;
+    let noInitInPackage = 0;
+    let anyTraversalTruncated = false;
+    for (const model of modelSet.nodes) {
+        if (model.file === null)
+            continue; // fileless — no package to reason about.
+        if (scoped !== null && !scoped.has(model.file))
+            continue;
+        // Recognition: a MODEL with no INHERITS edge was classified from a persistence
+        // annotation or table binding alone, not an inheritance chain — see the header.
+        const inherits = provider.outgoing(model.id, { types: ["INHERITS"] });
+        if (inherits.length === 0)
+            continue;
+        candidates += 1;
+        const ownModuleId = moduleIdByPath.get(model.file);
+        if (ownModuleId === undefined)
+            continue; // no MODULE/FILE node for its own file — IMPORTS is unreasoned-about here.
+        const initSeeds = ancestorInitPaths(model.file)
+            .map((path) => moduleIdByPath.get(path))
+            .filter((id) => id !== undefined);
+        if (initSeeds.length === 0) {
+            noInitInPackage += 1;
+            continue;
+        }
+        const outcome = bfs(provider, initSeeds, { types: ["IMPORTS"], direction: "out", budget });
+        if (outcome.truncated)
+            anyTraversalTruncated = true;
+        const reached = new Set(outcome.reached.map((r) => r.id));
+        if (reached.has(ownModuleId))
+            continue; // reached, directly or transitively — clean.
+        const base = provider.node(inherits[0].to);
+        const baseName = base?.name ?? "its declarative base";
+        const where = model.range === null ? model.file : `${model.file}:${model.range.startLine}`;
+        findings.push({
+            kind: "MODEL_NOT_REACHED_BY_INIT",
+            claim: "lead",
+            model: model.name,
+            modelId: model.id,
+            file: model.file,
+            line: model.range?.startLine ?? 0,
+            detail: `${model.name} (${where}) inherits ${baseName}, the ORM declarative base, but no ` +
+                "__init__.py in its own package — or an ancestor package's — imports the module that " +
+                "defines it, directly or transitively. If this model needs to be picked up by " +
+                "migrations, it may be silently invisible to them: the same shape as a model that never " +
+                "reaches Base.metadata and has its table dropped by the next autogenerate run. This is a " +
+                "lead, not a defect: a model registered through an explicit scan/glob rather than by " +
+                "import, or one deliberately excluded (an abstract/mixin base, or a model not yet wired " +
+                "into migrations), is expected to trigger this without being a bug.",
+            resolution: Math.min(model.resolution, inherits[0].resolution, outcome.resolutionFloor),
+        });
+    }
+    findings.sort((a, b) => a.file.localeCompare(b.file) || a.model.localeCompare(b.model));
+    const kept = findings.slice(0, maxFindings);
+    const ran = candidates > 0;
+    if (!ran) {
+        notes.push("No MODEL node in the graph carries an outgoing INHERITS edge, so nothing was checked for " +
+            "package-import reachability. This check treats a MODEL node with at least one INHERITS " +
+            "edge as a class inheriting an ORM declarative base; either no such class exists in this " +
+            "graph, or no adapter emitted both the MODEL classification and the INHERITS edge on this " +
+            "run. This is not a result of every model being correctly wired to its package's __init__.");
+    }
+    if (noInitInPackage > 0) {
+        notes.push(`${noInitInPackage} candidate(s) sit in a package with no __init__.py node anywhere in its ` +
+            "ancestor chain in this graph, so reachability from a package aggregator could not be " +
+            "evaluated at all and nothing was reported for them. Absence of a finding here is not " +
+            "evidence that they are wired in.");
+    }
+    if (scoped !== null) {
+        notes.push(`Candidates were restricted to ${scoped.size} scoped file(s), by the file the model class ` +
+            "is defined in. Reachability is still resolved against the whole graph, because the " +
+            "reaching __init__.py commonly sits outside the diff.");
+    }
+    if (kept.length < findings.length) {
+        notes.push(`${findings.length - kept.length} further finding(s) were withheld: a report is capped at ` +
+            `${maxFindings} so a short list stays worth reading. They were found, not missed.`);
+    }
+    if (anyTraversalTruncated) {
+        notes.push("At least one reachability traversal hit its node budget before finishing. A model reported " +
+            "here as unreached may in fact be reached by a path this run did not get to walk.");
+    }
+    if (modelSet.truncated || moduleFiles.truncated) {
+        notes.push("More MODEL or file-scoped nodes exist in the graph than were enumerated, so this check " +
+            "covers a prefix of the repository rather than all of it.");
+    }
+    let resolutionFloor = 4;
+    for (const finding of kept)
+        if (finding.resolution < resolutionFloor)
+            resolutionFloor = finding.resolution;
+    const stamp = { ...provider.baseStamp(), resolutionFloor };
+    return {
+        data: {
+            findings: kept,
+            findingsTotal: findings.length,
+            examined: { candidates },
+            ran,
+            withheld: { noInitInPackage },
+        },
+        stamp,
+        truncated: modelSet.truncated || moduleFiles.truncated || anyTraversalTruncated || kept.length < findings.length,
+        notes,
+    };
+}
+//# sourceMappingURL=orm-registration.js.map

package/dist/validation/orm-registration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orm-registration.js","sourceRoot":"","sources":["../../src/validation/orm-registration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4EAyD4E;AAM5E,OAAO,EAAE,GAAG,EAAE,MAAM,sBAAsB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AA6C7C,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAChC,MAAM,wBAAwB,GAAG,GAAG,CAAC;AAErC;;+EAE+E;AAC/E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,2BAA2B;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,GAAG,cAAc,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,QAA2B,EAC3B,UAAkC,EAAE;IAEpC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,oBAAoB,CAAC;IAChE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,wBAAwB,CAAC;IAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,WAAW,GAAG,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAE9D,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAElC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS,CAAC,yCAAyC;QAC5E,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QAEzD,+EAA+E;QAC/E,gFAAgF;QAChF,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACtE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,UAAU,IAAI,CAAC,CAAC;QAEhB,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,WAAW,KAAK,SAAS;YAAE,SAAS,CAAC,2EAA2E;QAEpH,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC;aAC5C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aACvC,MAAM,CAAC,CAAC,EAAE,EAAgB,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;QAElD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,eAAe,IAAI,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3F,IAAI,OAAO,CAAC,SAAS;YAAE,qBAAqB,GAAG,IAAI,CAAC;QACpD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,SAAS,CAAC,6CAA6C;QAErF,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAI,EAAE,IAAI,IAAI,sBAAsB,CAAC;QACtD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAE3F,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,2BAA2B;YACjC,KAAK,EAAE,MAAM;YACb,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC;YACjC,MAAM,EACJ,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,cAAc,QAAQ,qCAAqC;gBAClF,sFAAsF;gBACtF,+EAA+E;gBAC/E,yFAAyF;gBACzF,0FAA0F;gBAC1F,sFAAsF;gBACtF,yFAAyF;gBACzF,oEAAoE;YACtE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,UAAU,EAAE,OAAO,CAAC,eAAe,CAAoB;SAC5G,CAAC,CAAC;IACL,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAE5C,MAAM,GAAG,GAAG,UAAU,GAAG,CAAC,CAAC;IAE3B,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,KAAK,CAAC,IAAI,CACR,2FAA2F;YACzF,yFAAyF;YACzF,0FAA0F;YAC1F,2FAA2F;YAC3F,2FAA2F,CAC9F,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,GAAG,eAAe,0EAA0E;YAC1F,uFAAuF;YACvF,uFAAuF;YACvF,kCAAkC,CACrC,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CACR,iCAAiC,MAAM,CAAC,IAAI,+CAA+C;YACzF,qFAAqF;YACrF,sDAAsD,CACzD,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,GAAG,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,2DAA2D;YACzF,GAAG,WAAW,oEAAoE,CACrF,CAAC;IACJ,CAAC;IACD,IAAI,qBAAqB,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,6FAA6F;YAC3F,kFAAkF,CACrF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;QAChD,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,0DAA0D,CAC7D,CAAC;IACJ,CAAC;IAED,IAAI,eAAe,GAAoB,CAAC,CAAC;IACzC,KAAK,MAAM,OAAO,IAAI,IAAI;QAAE,IAAI,OAAO,CAAC,UAAU,GAAG,eAAe;YAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC;IAE3G,MAAM,KAAK,GAAe,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC;IACvE,OAAO;QACL,IAAI,EAAE;YACJ,QAAQ,EAAE,IAAI;YACd,aAAa,EAAE,QAAQ,CAAC,MAAM;YAC9B,QAAQ,EAAE,EAAE,UAAU,EAAE;YACxB,GAAG;YACH,QAAQ,EAAE,EAAE,eAAe,EAAE;SAC9B;QACD,KAAK;QACL,SAAS,EACP,QAAQ,CAAC,SAAS,IAAI,WAAW,CAAC,SAAS,IAAI,qBAAqB,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;QACvG,KAAK;KACN,CAAC;AACJ,CAAC"}

package/dist/validation/rollback.d.ts

@@ -1,56 +1,6 @@
-/**
- * §15.3's rollback-readiness check — *"pattern-match migrations against a known
- * list of destructive operations"*.
- *
- * Class A at R0, and **deliberately the easy half of consumer impact**: a
- * destructive operation is a pattern in a migration, not an inference about who
- * reads the column. The scope fence that makes that classification safe is stated
- * in `migrations.ts` and every sentence below stays behind it.
- *
- * ## The trap, measured before this was written
- *
- * The env check's trap was a variable read and never declared. This one is
- * larger, and DEC-122 counted it:
- *
- * | repository | migrations | with a reverse section |
- * | --- | --- | --- |
- * | `outline` | 300 | **300** |
- * | `dispatch` | 162 | **162** |
- * | `directus` | 112 | 110 |
- *
- * **Effectively every migration in these projects declares a reverse, and a
- * destructive operation in the reverse is supposed to be there** — it undoes the
- * forward migration. A check that matched destructive operations without knowing
- * which half it was reading would report `outline`'s 202 destructive files, and
- * most of those matches are a drop that undoes a create three lines above.
- *
- * So `section` is to this check what `required` was to the env check: the field
- * without which the whole thing is wrong on nearly every file it sees. And
- * `unknown` is not a synonym for `forward`. Two of the reference repositories
- * declare no direction at all — they hand the framework a reversal callback — and
- * their operations are **counted and disclosed, never reported**. That refusal
- * alone withholds 192 files' worth of matches, and it is the honest treatment:
- * an operation whose half cannot be determined is not evidence of a forward
- * destructive change.
- *
- * ## Two further refusals, both from the only real DDL in the corpus
- *
- * - **`DROP … IF EXISTS` paired with a `CREATE` of the same object** is an
- *   idempotent setup script, not a data-losing change. Both destructive lines in
- *   the one genuine `.sql` file found across fifteen repositories are exactly
- *   this shape.
- * - **Dropping an object created in the same migration** is not a finding. The
- *   object did not exist before the file ran.
- *
- * ## Where the input comes from
- *
- * Two sources, and DEC-122 measured that the one the architecture implies is the
- * smaller: **0 `.sql` files inside a migration directory** across the reference
- * corpus, against **3,301** migrations written as program code. The format half
- * runs today and needs no adapter; the code half arrives as `attrs.migrationOps`
- * and is an adapter's to produce. When neither is present the check says so and
- * does not report a clean result.
- */
+/** §15.3 rollback-readiness — Class A at R0, deliberately the easy half (fence in migrations.ts).
+ *  `section` is load-bearing like `required` was for env: reverse-section drops are correct code
+ *  (near-100% of migrations, DEC-122), and `unknown` section is withheld, never assumed forward. */
 import type { ResolutionLevel } from "@descryy/ir";
 import type { AdjacencyProvider, QueryResult } from "../query/provider.ts";
 import type { DestructiveKind, MigrationOp, MigrationScan } from "./migrations.ts";
@@ -60,12 +10,8 @@ export interface RollbackFinding {
     readonly target: string;
     readonly file: string;
     readonly line: number;
-    /**
-     * The sentence a developer reads.
-     *
-     * Stays behind the §15.3 fence: it states that the operation is present, never
-     * that the migration is unsafe to roll back.
-     */
+    /** The sentence a developer reads. Stays behind the §15.3 fence — states the operation is
+     *  present, never that the migration is unsafe to roll back. */
     readonly detail: string;
     readonly resolution: ResolutionLevel;
 }
@@ -81,12 +27,8 @@ export interface RollbackReport {
         /** Destructive operations seen, before any refusal. */
         readonly operations: number;
     };
-    /**
-     * Every operation the check declined to report, by reason.
-     *
-     * The counts are the point: they are the size of what this check chose not to
-     * say, and each has a different cause a reader can act on.
-     */
+    /** Every operation declined, by reason. The counts are the point — the size of what this check
+     *  chose not to say, each with a cause a reader can act on. */
     readonly withheld: {
         /** In a reverse section — undoing a forward migration. */
         readonly reverse: number;
@@ -108,14 +50,9 @@ export interface RollbackOptions {
     readonly files?: readonly string[];
     readonly limit?: number;
 }
-/**
- * Pull `attrs.migrationOps` off a file node, refusing anything malformed.
- *
- * A row with no `section`, or an unrecognised one, is **dropped rather than
- * treated as forward**. Defaulting it would manufacture exactly the claim the
- * reverse-section fence exists to withhold, on a corpus where the reverse
- * section is present in effectively every file.
- */
+/** Pulls `attrs.migrationOps` off a file node, refusing anything malformed. A row with no
+ *  `section` (or an unrecognised one) is dropped, never defaulted to forward — that would
+ *  manufacture exactly the claim the reverse-section fence exists to withhold. */
 export declare function readMigrationOps(attrs: Readonly<Record<string, unknown>>): {
     readonly ops: readonly MigrationOp[];
     readonly malformed: number;