@descryy/adapter-python 0.2.0 → 0.3.0

package/dist/module.d.ts

@@ -1,46 +1,33 @@
 /**
  * Python module paths and import resolution — the whole of R1.
  *
- * ## Where the last adapter lost three quarters of its graph
+ * DEC-059: the TypeScript adapter ignored the repository's path
+ * configuration, failing every aliased import and cross-directory edge with
+ * it. Python's equivalents (`src/` layouts, `PYTHONPATH`, namespace
+ * packages, `pyproject.toml`'s package table) are the same defect in a
+ * different spelling, so layout is read from the repository, not assumed,
+ * and what can't be read is disclosed.
  *
- * DEC-059: the TypeScript adapter ignored the repository's own path
- * configuration, so every aliased import failed and every cross-directory edge
- * with it. Python's equivalents are `src/` layouts, `PYTHONPATH`, namespace
- * packages and `pyproject.toml`'s package table — **the same defect in a
- * different spelling** — so the layout is read from the repository here rather
- * than assumed, and what could not be read is disclosed.
- *
- * ## The two hard cases, both in the corpus
- *
- * `from . import validate_order` — level 1, **no module name**. The dots are the
- * whole address, and they are not recoverable from the specifier text: this is
- * why the Python side reports `ImportFrom.level` rather than a string. It
- * resolves to the containing package's `__init__.py`, which is the re-export hop
- * golden pattern 03 turns on.
- *
- * `from .money import format_money` — level 1 with a module. Resolves to a
- * sibling file, and the imported name is a *symbol* in it rather than a module.
- * Deciding which of the two a name is cannot be done from the import alone —
- * `from .pkg import mod` and `from .mod import fn` are identical in shape — so
- * both candidates are returned and the caller picks by what exists.
+ * Two hard cases, both in the corpus: `from . import validate_order` (level
+ * 1, no module name — the dots are the whole address, resolving to the
+ * containing package's `__init__.py`, golden pattern 03's re-export hop) and
+ * `from .money import format_money` (level 1 with a module, where the name
+ * could be a submodule or a symbol — `.pkg import mod` and `.mod import fn`
+ * are identical in shape, so both candidates are returned and the caller
+ * picks by what exists).
  */
 /** `src/order_service.py` -> `["src", "order_service"]`; `src/__init__.py` -> `["src"]`. */
 export declare function modulePathOf(repoRelativeFile: string): readonly string[];
 /**
- * The display name of a module node.
- *
- * A package takes its directory's name — the corpus binds the `barrel` role to
- * the symbol `src` at `src/__init__.py`, so `__init__` would fail to bind and
- * the failure would read as a missing node rather than as a naming choice.
+ * The display name of a module node. A package takes its directory's name —
+ * the corpus binds the `barrel` role to `src` at `src/__init__.py`, so
+ * `__init__` would fail to bind and read as a missing node.
  */
 export declare function moduleNameOf(repoRelativeFile: string): string;
 /**
- * The project's distribution name, read rather than guessed.
- *
- * `pyproject.toml` first, then `setup.cfg`. Parsed with a narrow regex on
- * purpose: a TOML dependency would buy correctness on a field nothing else in
- * this adapter reads, and the fallback is disclosed through
- * `capabilities().nodeIdentityFallback` either way.
+ * The project's distribution name, read rather than guessed —
+ * `pyproject.toml` then `setup.cfg`, parsed with a narrow regex since a full
+ * TOML dependency would buy correctness on a field nothing else here reads.
  */
 export declare function projectName(absoluteRoot: string): {
     name: string;
@@ -67,21 +54,15 @@ export interface ResolveOptions {
     /** Repo-relative files this run analysed. Nothing outside it can be a target. */
     readonly known: ReadonlySet<string>;
     /**
-     * Directories that are import roots, repo-relative, longest first.
-     *
-     * A `src/` layout means `from myapp.models import X` resolves under `src/`,
-     * not under the repository root. Discovered rather than assumed — see
-     * `importRoots`.
+     * Import root directories, repo-relative, longest first — a `src/` layout
+     * means `from myapp.models import X` resolves under `src/`. Discovered, not assumed; see `importRoots`.
      */
     readonly roots: readonly string[];
 }
 /**
  * Resolve one import to a file, and to a symbol inside it when it names one.
- *
- * Returns `file: undefined` for anything outside the analysed set — the standard
- * library, an installed package, a namespace package this run did not read.
- * That is a scope boundary rather than a failure, and DEC-050 keeps the two
- * apart in the ledger.
+ * `file: undefined` for anything outside the analysed set (stdlib, an
+ * installed package) — a scope boundary, not a failure; DEC-050 keeps the two apart in the ledger.
  */
 export declare function resolveImport(record: ImportRecord, fromFile: string, options: ResolveOptions): ImportTarget;
 /**

package/dist/module.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"module.d.ts","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAKH,4FAA4F;AAC5F,wBAAgB,YAAY,CAAC,gBAAgB,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAQxE;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,gBAAgB,EAAE,MAAM,GAAG,MAAM,CAG7D;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,YAAY,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAwBpF;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,4EAA4E;AAC5E,MAAM,WAAW,YAAY;IAC3B,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,6EAA6E;IAC7E,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC;AAeD,MAAM,WAAW,cAAc;IAC7B,iFAAiF;IACjF,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,cAAc,GACtB,YAAY,CA0Dd;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAwCvE"}
+{"version":3,"file":"module.d.ts","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAKH,4FAA4F;AAC5F,wBAAgB,YAAY,CAAC,gBAAgB,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAOxE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,gBAAgB,EAAE,MAAM,GAAG,MAAM,CAG7D;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,YAAY,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAuBpF;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,4EAA4E;AAC5E,MAAM,WAAW,YAAY;IAC3B,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,6EAA6E;IAC7E,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC;AAYD,MAAM,WAAW,cAAc;IAC7B,iFAAiF;IACjF,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,cAAc,GACtB,YAAY,CA0Dd;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAwCvE"}

package/dist/module.js

@@ -1,28 +1,20 @@
 /**
  * Python module paths and import resolution — the whole of R1.
  *
- * ## Where the last adapter lost three quarters of its graph
+ * DEC-059: the TypeScript adapter ignored the repository's path
+ * configuration, failing every aliased import and cross-directory edge with
+ * it. Python's equivalents (`src/` layouts, `PYTHONPATH`, namespace
+ * packages, `pyproject.toml`'s package table) are the same defect in a
+ * different spelling, so layout is read from the repository, not assumed,
+ * and what can't be read is disclosed.
  *
- * DEC-059: the TypeScript adapter ignored the repository's own path
- * configuration, so every aliased import failed and every cross-directory edge
- * with it. Python's equivalents are `src/` layouts, `PYTHONPATH`, namespace
- * packages and `pyproject.toml`'s package table — **the same defect in a
- * different spelling** — so the layout is read from the repository here rather
- * than assumed, and what could not be read is disclosed.
- *
- * ## The two hard cases, both in the corpus
- *
- * `from . import validate_order` — level 1, **no module name**. The dots are the
- * whole address, and they are not recoverable from the specifier text: this is
- * why the Python side reports `ImportFrom.level` rather than a string. It
- * resolves to the containing package's `__init__.py`, which is the re-export hop
- * golden pattern 03 turns on.
- *
- * `from .money import format_money` — level 1 with a module. Resolves to a
- * sibling file, and the imported name is a *symbol* in it rather than a module.
- * Deciding which of the two a name is cannot be done from the import alone —
- * `from .pkg import mod` and `from .mod import fn` are identical in shape — so
- * both candidates are returned and the caller picks by what exists.
+ * Two hard cases, both in the corpus: `from . import validate_order` (level
+ * 1, no module name — the dots are the whole address, resolving to the
+ * containing package's `__init__.py`, golden pattern 03's re-export hop) and
+ * `from .money import format_money` (level 1 with a module, where the name
+ * could be a submodule or a symbol — `.pkg import mod` and `.mod import fn`
+ * are identical in shape, so both candidates are returned and the caller
+ * picks by what exists).
  */
 import { existsSync, readFileSync } from "node:fs";
 import { join } from "node:path";
@@ -30,31 +22,25 @@ import { join } from "node:path";
 export function modulePathOf(repoRelativeFile) {
     const withoutExtension = repoRelativeFile.replace(/\.pyi?$/, "");
     const parts = withoutExtension.split("/").filter((p) => p !== "" && p !== ".");
-    // A package *is* its directory. `src/__init__.py` and the directory `src` are
-    // one module, and emitting two nodes for them would split every import into
-    // the package across two targets.
+    // A package is its directory: `src/__init__.py` and directory `src` are
+    // one module, or every import into the package would split across two targets.
     if (parts[parts.length - 1] === "__init__")
         parts.pop();
     return parts;
 }
 /**
- * The display name of a module node.
- *
- * A package takes its directory's name — the corpus binds the `barrel` role to
- * the symbol `src` at `src/__init__.py`, so `__init__` would fail to bind and
- * the failure would read as a missing node rather than as a naming choice.
+ * The display name of a module node. A package takes its directory's name —
+ * the corpus binds the `barrel` role to `src` at `src/__init__.py`, so
+ * `__init__` would fail to bind and read as a missing node.
  */
 export function moduleNameOf(repoRelativeFile) {
     const path = modulePathOf(repoRelativeFile);
     return path[path.length - 1] ?? "";
 }
 /**
- * The project's distribution name, read rather than guessed.
- *
- * `pyproject.toml` first, then `setup.cfg`. Parsed with a narrow regex on
- * purpose: a TOML dependency would buy correctness on a field nothing else in
- * this adapter reads, and the fallback is disclosed through
- * `capabilities().nodeIdentityFallback` either way.
+ * The project's distribution name, read rather than guessed —
+ * `pyproject.toml` then `setup.cfg`, parsed with a narrow regex since a full
+ * TOML dependency would buy correctness on a field nothing else here reads.
  */
 export function projectName(absoluteRoot) {
     const pyproject = join(absoluteRoot, "pyproject.toml");
@@ -75,18 +61,14 @@ export function projectName(absoluteRoot) {
     }
     return {
         name: ".",
-        // The same shape of admission DEC-024 required of the TypeScript adapter:
-        // without a declared name, node identity rests on the module path alone.
+        // Same admission DEC-024 required of the TypeScript adapter.
         evidence: "no pyproject.toml or setup.cfg declares a project name, so node identity falls back to " +
             "the module path alone (DEC-024, DEC-054)",
     };
 }
 /**
- * Candidate files for a dotted module path, in Python's own order.
- *
- * A package's `__init__.py` is checked before a same-named module, because that
- * is what the interpreter does and a graph that disagrees with the interpreter
- * is wrong regardless of which is nicer.
+ * Candidate files for a dotted module path, in Python's own order — a
+ * package's `__init__.py` before a same-named module, matching the interpreter.
  */
 function candidates(parts) {
     if (parts.length === 0)
@@ -96,11 +78,8 @@ function candidates(parts) {
 }
 /**
  * Resolve one import to a file, and to a symbol inside it when it names one.
- *
- * Returns `file: undefined` for anything outside the analysed set — the standard
- * library, an installed package, a namespace package this run did not read.
- * That is a scope boundary rather than a failure, and DEC-050 keeps the two
- * apart in the ledger.
+ * `file: undefined` for anything outside the analysed set (stdlib, an
+ * installed package) — a scope boundary, not a failure; DEC-050 keeps the two apart in the ledger.
  */
 export function resolveImport(record, fromFile, options) {
     const miss = { file: undefined, symbol: undefined, viaPackageInit: false };

package/dist/module.js.map

@@ -1 +1 @@
-{"version":3,"file":"module.js","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,4FAA4F;AAC5F,MAAM,UAAU,YAAY,CAAC,gBAAwB;IACnD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IAC/E,8EAA8E;IAC9E,4EAA4E;IAC5E,kCAAkC;IAClC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,UAAU;QAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACxD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,gBAAwB;IACnD,MAAM,IAAI,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,YAAoB;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;IACvD,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,oDAAoD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,MAAM,QAAQ,GAAG,yDAAyD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,2BAA2B,KAAK,EAAE,EAAE,CAAC;IAChG,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACjD,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3E,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,sBAAsB,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;QACtF,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,GAAG;QACT,0EAA0E;QAC1E,yEAAyE;QACzE,QAAQ,EACN,yFAAyF;YACzF,0CAA0C;KAC7C,CAAC;AACJ,CAAC;AAqBD;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,KAAwB;IAC1C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,OAAO,CAAC,GAAG,IAAI,cAAc,EAAE,GAAG,IAAI,KAAK,EAAE,GAAG,IAAI,MAAM,CAAC,CAAC;AAC9D,CAAC;AAeD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAoB,EACpB,QAAgB,EAChB,OAAuB;IAEvB,MAAM,IAAI,GAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IAEzF,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACrB,4EAA4E;QAC5E,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACpC,yEAAyE;QACzE,yEAAyE;QACzE,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QACnD,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAEvD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAErF,wEAAwE;QACxE,yEAAyE;QACzE,kEAAkE;QAClE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;YACtE,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACtC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,MAAM,CAAC,IAAI,IAAI,SAAS;YAChC,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,0EAA0E;IAC1E,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1E,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CACrB,CAAC;YACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;YACtE,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,MAAM,CAAC,IAAI,IAAI,SAAS;gBAChC,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC;aAC/C,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,WAAW,CAAC,KAAwB;IAClD,4EAA4E;IAC5E,EAAE;IACF,4EAA4E;IAC5E,oEAAoE;IACpE,6EAA6E;IAC7E,8EAA8E;IAC9E,6EAA6E;IAC7E,qEAAqE;IACrE,kCAAkC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,+EAA+E;IAC/E,oEAAoE;IACpE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAElD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACd,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,4EAA4E;QAC5E,oEAAoE;QACpE,wCAAwC;QACxC,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7B,OAAO,KAAK,GAAG,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YAClF,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC"}
+{"version":3,"file":"module.js","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,4FAA4F;AAC5F,MAAM,UAAU,YAAY,CAAC,gBAAwB;IACnD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IAC/E,wEAAwE;IACxE,+EAA+E;IAC/E,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,UAAU;QAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACxD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,gBAAwB;IACnD,MAAM,IAAI,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,YAAoB;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAC;IACvD,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,oDAAoD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,MAAM,QAAQ,GAAG,yDAAyD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,2BAA2B,KAAK,EAAE,EAAE,CAAC;IAChG,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACjD,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3E,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,sBAAsB,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;QACtF,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,GAAG;QACT,6DAA6D;QAC7D,QAAQ,EACN,yFAAyF;YACzF,0CAA0C;KAC7C,CAAC;AACJ,CAAC;AAqBD;;;GAGG;AACH,SAAS,UAAU,CAAC,KAAwB;IAC1C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,OAAO,CAAC,GAAG,IAAI,cAAc,EAAE,GAAG,IAAI,KAAK,EAAE,GAAG,IAAI,MAAM,CAAC,CAAC;AAC9D,CAAC;AAYD;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAoB,EACpB,QAAgB,EAChB,OAAuB;IAEvB,MAAM,IAAI,GAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IAEzF,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACrB,4EAA4E;QAC5E,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACpC,yEAAyE;QACzE,yEAAyE;QACzE,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QACnD,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAEvD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAErF,wEAAwE;QACxE,yEAAyE;QACzE,kEAAkE;QAClE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;YACtE,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACtC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE,MAAM,CAAC,IAAI,IAAI,SAAS;YAChC,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC;SAC/C,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,0EAA0E;IAC1E,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1E,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CACrB,CAAC;YACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;YACtE,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,MAAM,CAAC,IAAI,IAAI,SAAS;gBAChC,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC;aAC/C,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,WAAW,CAAC,KAAwB;IAClD,4EAA4E;IAC5E,EAAE;IACF,4EAA4E;IAC5E,oEAAoE;IACpE,6EAA6E;IAC7E,8EAA8E;IAC9E,6EAA6E;IAC7E,qEAAqE;IACrE,kCAAkC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,+EAA+E;IAC/E,oEAAoE;IACpE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAElD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACd,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,4EAA4E;QAC5E,oEAAoE;QACpE,wCAAwC;QACxC,IAAI,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7B,OAAO,KAAK,GAAG,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YAClF,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,eAAe,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC"}

package/dist/orm.d.ts

@@ -1,25 +1,21 @@
 /**
  * The ORM framework extractor for Python — SQLAlchemy and Django.
  *
- * **A `MODEL` is a framework claim, and this file is where the claim is earned.**
- * Golden pattern 07 states the constraint that produced it: in the conformance
- * corpus `Order` and `CreateOrderRequest` are structurally identical, so any
- * classification a *language* adapter made between them would be a name
- * heuristic — the one thing pattern 12 exists to punish. The evidence that
- * separates them is a persistence mapping: a declarative base, a table binding,
- * a column declaration. All three are written in the source, and this file reads
- * them rather than inferring them.
+ * A `MODEL` is a framework claim, earned here: golden pattern 07's
+ * conformance corpus has `Order` and `CreateOrderRequest` structurally
+ * identical, so classifying between them by name would be exactly what
+ * pattern 12 punishes. The evidence is a persistence mapping — declarative
+ * base, table binding, column declaration — all written in source and read,
+ * not inferred.
  *
- * Nothing here is a name rule. `isTestSuiteClass` in `extract.ts` deliberately
- * keeps one — a base whose name ends in `TestCase` — because the cost of being
- * wrong is a test attributed to the wrong suite. The cost of being wrong here is
- * a `MODEL` node that no database backs, which corrupts every data-propagation
- * traversal above it, so provenance or a chain to provenance is the only
- * admission. A class named `Model` proves nothing.
+ * Nothing here is a name rule (unlike `isTestSuiteClass` in `extract.ts`,
+ * which keeps one deliberately since misattributing a test costs little). A
+ * wrong `MODEL` corrupts every data-propagation traversal above it, so
+ * provenance or a chain to provenance is the only admission — a class named
+ * `Model` proves nothing.
  *
- * The split with `extract.py` is the same one the rest of this adapter uses: the
- * Python side records syntactic form and names no framework, and every decision
- * about what a form *means* is taken here.
+ * `extract.py` records syntactic form and names no framework; every
+ * "what does this form mean" decision is taken here.
  */
 /** One assignment in a class body, as `extract.py` recorded it. */
 export interface PyAttribute {
@@ -49,50 +45,39 @@ export interface OrmShape {
     readonly table: string | null;
     readonly fields: readonly OrmField[];
     /**
-     * Fields whose nullability is written in a form this reader cannot evaluate.
-     *
-     * Listed rather than guessed, and listed rather than dropped. `nullable=FLAG`
-     * is a stated answer this reader failed to read, and letting the framework
-     * default stand in for it would report the opposite of the source as fact.
+     * Fields whose nullability (e.g. `nullable=FLAG`) can't be evaluated.
+     * Listed, not guessed or dropped — the framework default standing in
+     * would report the opposite of the source as fact.
      */
     readonly undecided: readonly string[];
 }
 /**
- * Modules whose names, if a base class came from one, make the framework certain.
- *
- * Provenance is written in the import statement and needs no resolution, which
- * is why a model is recognisable at R0. Only the cross-file *chain* — a project's
- * own `class BaseModel(Base)` — needs imports resolved.
+ * Modules that make the framework certain if a base class came from one.
+ * Written in the import statement, needing no resolution — a model is
+ * recognisable at R0. Only the cross-file chain (`class BaseModel(Base)`) needs imports resolved.
  */
 export declare const ORM_BASE_MODULES: Readonly<Record<OrmFramework, ReadonlySet<string>>>;
 /**
- * Calls that *produce* a declarative base rather than being one.
- *
- * SQLAlchemy 1.x writes `Base = declarative_base()` at module level, so the base
- * class of a model is a name bound to a call result and not a class declaration
- * at all. Without this rule every 1.x model in existence is invisible.
+ * Calls that produce a declarative base rather than being one. SQLAlchemy
+ * 1.x writes `Base = declarative_base()` at module level, so the base is a
+ * name bound to a call result, not a class declaration — without this rule
+ * every 1.x model is invisible.
  */
 export declare const DECLARATIVE_BASE_FACTORIES: ReadonlySet<string>;
 /**
- * Is this attribute a mapped column, and by which framework's rule?
- *
- * Django's rule is shape-based rather than a name list: every field class in
- * `django.db.models` ends in `Field`, and new ones are added by Django and by
- * every third-party app. A closed list would go stale on each release and would
- * miss `JSONField`, `ArrayField` and every custom field a project writes. The
- * receiver still has to be the imported `models` module, so this is not a name
- * heuristic — the provenance is checked by the caller before this is consulted.
+ * Is this attribute a mapped column, and by which framework's rule? Django's
+ * rule is shape-based, not a name list — every field class in
+ * `django.db.models` ends in `Field`, and a closed list would go stale and
+ * miss `JSONField`/`ArrayField`/custom fields. Provenance is still checked
+ * by the caller first, so this isn't a name heuristic.
  */
 export declare function isColumnCall(attribute: PyAttribute, framework: OrmFramework): boolean;
 /** A base class name that is the framework's own, rather than a project's. */
 export declare function isFrameworkBaseName(name: string, framework: OrmFramework): boolean;
 /**
- * The mapped shape of a class already established to belong to `framework`.
- *
- * Returns `null` where the class declares no column at all. That guard is what
- * keeps a declarative base out of the graph as a model of its own: `class
- * Base(DeclarativeBase): pass` inherits the provenance and maps nothing, and a
- * `MODEL` with no fields is a claim about a table that does not exist.
+ * The mapped shape of a class already established to belong to `framework`,
+ * or `null` when it declares no column — keeps a bare declarative base
+ * (`class Base(DeclarativeBase): pass`) out of the graph as a model of its own.
  */
 export declare function ormShapeOf(input: {
     readonly framework: OrmFramework;

package/dist/orm.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"orm.d.ts","sourceRoot":"","sources":["../src/orm.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,6EAA6E;IAC7E,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,2DAA2D;IAC3D,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,iFAAiF;IACjF,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,QAAQ,CAAC;AAEnD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,+EAA+E;IAC/E,QAAQ,CAAC,YAAY,EAAE,UAAU,GAAG,YAAY,GAAG,mBAAmB,CAAC;CACxE;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,oDAAoD;IACpD,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAQhF,CAAC;AAaF;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,EAAE,WAAW,CAAC,MAAM,CAIzD,CAAC;AA2CH;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,GAAG,OAAO,CAMrF;AAED,8EAA8E;AAC9E,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,GAAG,OAAO,CAElF;AA8DD;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE;IAChC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;CACvC,GAAG,QAAQ,GAAG,IAAI,CA0ClB"}
+{"version":3,"file":"orm.d.ts","sourceRoot":"","sources":["../src/orm.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,6EAA6E;IAC7E,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,2DAA2D;IAC3D,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,iFAAiF;IACjF,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,QAAQ,CAAC;AAEnD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,+EAA+E;IAC/E,QAAQ,CAAC,YAAY,EAAE,UAAU,GAAG,YAAY,GAAG,mBAAmB,CAAC;CACxE;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,oDAAoD;IACpD,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC;;;;OAIG;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAQhF,CAAC;AAWF;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,EAAE,WAAW,CAAC,MAAM,CAIzD,CAAC;AAmCH;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,GAAG,OAAO,CAMrF;AAED,8EAA8E;AAC9E,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,GAAG,OAAO,CAElF;AAuDD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE;IAChC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;CACvC,GAAG,QAAQ,GAAG,IAAI,CAoClB"}

package/dist/orm.js

@@ -1,32 +1,26 @@
 /**
  * The ORM framework extractor for Python — SQLAlchemy and Django.
  *
- * **A `MODEL` is a framework claim, and this file is where the claim is earned.**
- * Golden pattern 07 states the constraint that produced it: in the conformance
- * corpus `Order` and `CreateOrderRequest` are structurally identical, so any
- * classification a *language* adapter made between them would be a name
- * heuristic — the one thing pattern 12 exists to punish. The evidence that
- * separates them is a persistence mapping: a declarative base, a table binding,
- * a column declaration. All three are written in the source, and this file reads
- * them rather than inferring them.
+ * A `MODEL` is a framework claim, earned here: golden pattern 07's
+ * conformance corpus has `Order` and `CreateOrderRequest` structurally
+ * identical, so classifying between them by name would be exactly what
+ * pattern 12 punishes. The evidence is a persistence mapping — declarative
+ * base, table binding, column declaration — all written in source and read,
+ * not inferred.
  *
- * Nothing here is a name rule. `isTestSuiteClass` in `extract.ts` deliberately
- * keeps one — a base whose name ends in `TestCase` — because the cost of being
- * wrong is a test attributed to the wrong suite. The cost of being wrong here is
- * a `MODEL` node that no database backs, which corrupts every data-propagation
- * traversal above it, so provenance or a chain to provenance is the only
- * admission. A class named `Model` proves nothing.
+ * Nothing here is a name rule (unlike `isTestSuiteClass` in `extract.ts`,
+ * which keeps one deliberately since misattributing a test costs little). A
+ * wrong `MODEL` corrupts every data-propagation traversal above it, so
+ * provenance or a chain to provenance is the only admission — a class named
+ * `Model` proves nothing.
  *
- * The split with `extract.py` is the same one the rest of this adapter uses: the
- * Python side records syntactic form and names no framework, and every decision
- * about what a form *means* is taken here.
+ * `extract.py` records syntactic form and names no framework; every
+ * "what does this form mean" decision is taken here.
  */
 /**
- * Modules whose names, if a base class came from one, make the framework certain.
- *
- * Provenance is written in the import statement and needs no resolution, which
- * is why a model is recognisable at R0. Only the cross-file *chain* — a project's
- * own `class BaseModel(Base)` — needs imports resolved.
+ * Modules that make the framework certain if a base class came from one.
+ * Written in the import statement, needing no resolution — a model is
+ * recognisable at R0. Only the cross-file chain (`class BaseModel(Base)`) needs imports resolved.
  */
 export const ORM_BASE_MODULES = {
     sqlalchemy: new Set([
@@ -39,20 +33,17 @@ export const ORM_BASE_MODULES = {
 };
 /** The framework's own base class names. A project's own base reaches these by chain. */
 const ORM_BASE_NAMES = {
-    // `Base` is deliberately absent. It is what almost every SQLAlchemy project
-    // calls its declarative base, and admitting it would be a name rule wearing a
-    // framework's clothes — a project is free to call its base anything, and
-    // something else is free to be called `Base`. The 1.x shape is reached through
-    // `DECLARATIVE_BASE_FACTORIES` instead, which is provenance.
+    // `Base` is deliberately absent — almost every SQLAlchemy project calls its
+    // declarative base that, so admitting it would be a name rule in disguise.
+    // The 1.x shape is reached through `DECLARATIVE_BASE_FACTORIES` instead.
     sqlalchemy: new Set(["DeclarativeBase"]),
     django: new Set(["Model"]),
 };
 /**
- * Calls that *produce* a declarative base rather than being one.
- *
- * SQLAlchemy 1.x writes `Base = declarative_base()` at module level, so the base
- * class of a model is a name bound to a call result and not a class declaration
- * at all. Without this rule every 1.x model in existence is invisible.
+ * Calls that produce a declarative base rather than being one. SQLAlchemy
+ * 1.x writes `Base = declarative_base()` at module level, so the base is a
+ * name bound to a call result, not a class declaration — without this rule
+ * every 1.x model is invisible.
  */
 export const DECLARATIVE_BASE_FACTORIES = new Set([
     "declarative_base",
@@ -62,16 +53,10 @@ export const DECLARATIVE_BASE_FACTORIES = new Set([
 /** Column constructors, per framework. */
 const COLUMN_CALLS = {
     sqlalchemy: new Set(["Column", "mapped_column", "deferred", "synonym_for"]),
-    /**
-     * Django's relational fields, which are the exception to the `…Field` shape
-     * below and were **not** guessed at — they were counted.
-     *
-     * Across django's own tree `ForeignKey` is the second most common field
-     * constructor in existence, 914 uses against `CharField`'s 1,226, and the
-     * shape rule alone missed every one of them because it is the one field class
-     * Django did not suffix. `GenericForeignKey` and `GenericRelation` came out of
-     * the same count at 59 and 46.
-     */
+    // Django's relational fields, counted not guessed: `ForeignKey` is the
+    // second most common field constructor in django's own tree (914 uses vs
+    // `CharField`'s 1,226) and the one class Django didn't suffix `Field`, so
+    // the shape rule alone missed it (`GenericForeignKey`/`GenericRelation`: 59, 46).
     django: new Set([
         "ForeignKey",
         "OneToOneField",
@@ -81,11 +66,9 @@ const COLUMN_CALLS = {
     ]),
 };
 /**
- * Attribute names that are configuration rather than columns.
- *
- * `__tablename__` is the table binding and `__table_args__` its options; neither
- * is a field, and reporting them as fields would put two members in every model
- * that no query can select.
+ * Attribute names that are configuration, not columns — `__tablename__` is
+ * the table binding, `__table_args__` its options; reporting either as a
+ * field would put an unselectable member in every model.
  */
 const NOT_A_FIELD = new Set([
     "__tablename__",
@@ -97,14 +80,11 @@ const NOT_A_FIELD = new Set([
 ]);
 const leafOf = (dotted) => dotted === null ? "" : (dotted.split(".").pop() ?? "");
 /**
- * Is this attribute a mapped column, and by which framework's rule?
- *
- * Django's rule is shape-based rather than a name list: every field class in
- * `django.db.models` ends in `Field`, and new ones are added by Django and by
- * every third-party app. A closed list would go stale on each release and would
- * miss `JSONField`, `ArrayField` and every custom field a project writes. The
- * receiver still has to be the imported `models` module, so this is not a name
- * heuristic — the provenance is checked by the caller before this is consulted.
+ * Is this attribute a mapped column, and by which framework's rule? Django's
+ * rule is shape-based, not a name list — every field class in
+ * `django.db.models` ends in `Field`, and a closed list would go stale and
+ * miss `JSONField`/`ArrayField`/custom fields. Provenance is still checked
+ * by the caller first, so this isn't a name heuristic.
  */
 export function isColumnCall(attribute, framework) {
     if (attribute.callee === null)
@@ -121,13 +101,9 @@ export function isFrameworkBaseName(name, framework) {
     return ORM_BASE_NAMES[framework].has(leafOf(name));
 }
 /**
- * Nullability for one mapped column.
- *
- * Order is the framework's own, not this reader's preference. An explicit
- * keyword is the source's answer and wins outright. A primary key is not
- * nullable — that is SQL, not a convention. SQLAlchemy 2.0 then derives
- * nullability from the `Mapped[...]` annotation, and only when none of those
- * spoke does the framework default apply.
+ * Nullability for one mapped column. Order is the framework's own: explicit
+ * keyword wins, a primary key is never nullable (SQL, not convention), then
+ * SQLAlchemy 2.0's `Mapped[...]` annotation, and only then the framework default.
  */
 function nullabilityOf(attribute, framework) {
     const keyword = framework === "django" ? "null" : "nullable";
@@ -141,21 +117,18 @@ function nullabilityOf(attribute, framework) {
         return { name: attribute.name, nullable: false, nullableFrom: "declared" };
     }
     if (framework === "django") {
-        // Django's documented default, and the only one it has: a field is NOT NULL
-        // unless the model says otherwise.
+        // Django's only documented default: NOT NULL unless the model says otherwise.
         return { name: attribute.name, nullable: false, nullableFrom: "framework-default" };
     }
-    // SQLAlchemy 2.0: `Mapped[str]` is NOT NULL, `Mapped[str | None]` is nullable.
-    // The annotation is the declaration in this style, so it ranks above the
-    // 1.x-era default rather than below it.
+    // SQLAlchemy 2.0: `Mapped[str]` is NOT NULL, `Mapped[str | None]` is
+    // nullable — the annotation IS the declaration here, ranking above the 1.x default.
     const annotation = attribute.annotation;
     if (annotation !== null && /\bMapped\s*\[/.test(annotation)) {
         const inner = annotation.slice(annotation.indexOf("[") + 1, annotation.lastIndexOf("]"));
         const nullable = /\bOptional\s*\[/.test(inner) || /\bNone\b/.test(inner);
         return { name: attribute.name, nullable, nullableFrom: "annotation" };
     }
-    // SQLAlchemy 1.x: a column is nullable unless it says otherwise. The opposite
-    // of Django's default, which is why neither is written once for both.
+    // SQLAlchemy 1.x: nullable unless it says otherwise — the opposite of Django's default.
     return { name: attribute.name, nullable: true, nullableFrom: "framework-default" };
 }
 /** The table a model binds to, where the source names one. */
@@ -169,12 +142,9 @@ function tableOf(attributes, meta, framework) {
     return null;
 }
 /**
- * The mapped shape of a class already established to belong to `framework`.
- *
- * Returns `null` where the class declares no column at all. That guard is what
- * keeps a declarative base out of the graph as a model of its own: `class
- * Base(DeclarativeBase): pass` inherits the provenance and maps nothing, and a
- * `MODEL` with no fields is a claim about a table that does not exist.
+ * The mapped shape of a class already established to belong to `framework`,
+ * or `null` when it declares no column — keeps a bare declarative base
+ * (`class Base(DeclarativeBase): pass`) out of the graph as a model of its own.
  */
 export function ormShapeOf(input) {
     const fields = [];
@@ -190,20 +160,14 @@ export function ormShapeOf(input) {
         else
             fields.push(read);
     }
-    // **The column requirement is SQLAlchemy's alone, and the asymmetry is the
-    // frameworks', not this reader's.**
-    //
-    // SQLAlchemy's declarative base is a class the *project* writes — `class
-    // Base(DeclarativeBase): pass` — so it inherits the provenance that admits a
-    // model and maps nothing. Without this guard the base itself becomes a `MODEL`
-    // describing a table that does not exist.
-    //
-    // Django has no such class in the analysed set: `models.Model` is Django's own
-    // and is never a subclass of itself. Inheriting it IS the declaration, and
-    // `class Foo(models.Model): pass` is a complete model — Django gives it an
-    // implicit primary key. Requiring a column here cost 317 real models on
-    // django's own tree, which is how the asymmetry was found rather than reasoned
-    // about.
+    // The column requirement is SQLAlchemy's alone — the asymmetry is the
+    // frameworks', not this reader's. SQLAlchemy's declarative base is a class
+    // the project writes (`class Base(DeclarativeBase): pass`), inheriting
+    // provenance while mapping nothing; without this guard it becomes a
+    // `MODEL` describing no table. Django has no such class in the analysed
+    // set — `class Foo(models.Model): pass` is a complete model with an
+    // implicit primary key, and requiring a column here cost 317 real models
+    // on django's own tree (found by measurement, not reasoned about).
     const table = tableOf(input.attributes, input.meta, input.framework);
     if (input.framework === "sqlalchemy" &&
         fields.length === 0 &&