@suss/adapter-python 0.11.0 → 0.13.0

package/README.md

@@ -6,7 +6,7 @@ The Python language adapter for suss. It parses source with tree-sitter (WASM),
 
 `@suss/adapter-python` is the Python language adapter. It meets the Layer 1 contract in [`docs/internal/facts-and-rules.md`](../../../docs/internal/facts-and-rules.md): discover units, emit summaries in the shared IR, emit facts. It parses a file with `web-tree-sitter` and a vendored Python grammar (`grammar/tree-sitter-python.wasm`, so there is no native build step), builds module, class and function scopes over the tree (imports, assignments, `global`/`nonlocal`), works out which file in the repo an import points at, and finds routes on decorated functions and class methods whose decorator resolves to a module the pack was configured with. When a pack says the library mounts routers (FastAPI's `APIRouter` plus `include_router`), the adapter builds a route's path out of the two literal prefixes, one mount hop deep. When it cannot build the path, the route keeps its name, gets no path, and gets a gap explaining why. Each unit it finds becomes a `RawCodeStructure` object, which it hands to `assembleSummary` in `@suss/extractor`, the same assembly code the TypeScript adapter uses.
 
-v0 (this slice) does nothing with the path engine. A route either has no transitions at all, or one transition that describes the response the code declares (a FastAPI `response_model` / `status_code`, or a return annotation). It never breaks a route into branches. See [`docs/internal/proposals/language-adapters.md`](../../../docs/internal/proposals/language-adapters.md) for what a later slice adds.
+v0 (this slice) does nothing with the path engine. A route either has no transitions at all, or one transition that describes the response the code declares (a FastAPI `response_model` / `status_code`, or a return annotation). It never breaks a route into branches. See [`design/proposals/language-adapters.md`](../../../design/proposals/language-adapters.md) for what a later slice adds.
 
 ## Where it fits in suss
 
@@ -81,6 +81,20 @@ FastAPI has no column here: its app has no prefix of its own, and the pack decla
 | `""`, `None`, `False`, `0` | the blueprint's prefix + the rest | unstated |
 | a name or a call | whatever it evaluates to | unreadable |
 
+### A call that spreads a dictionary
+
+`Api(**build_authorizations())` and `include_router(router, **options)`
+spread a value the call does not write out. The reader skips the spread
+and reads the keywords that are written, so the routes underneath keep
+their paths.
+
+That leaves one thing it cannot see. If the dictionary sets the prefix
+keyword itself, the composed path is wrong, and nothing in the output
+says so. Reading the prefix as unknown instead would be correct and would
+cost every route under every call that spreads a config dictionary, which
+is most of them. Propagating the uncertainty rather than choosing between
+the two is the work that would settle this.
+
 **At the registration** (`app.register_blueprint(bp, ...)`), which the reader consults only to abstain:
 
 | Written | flask-restx serves | The reader says |

package/dist/index.cjs

@@ -622,6 +622,9 @@ function readCallArguments(argumentList) {
       }
       continue;
     }
+    if (child.type === "dictionary_splat" || child.type === "list_splat") {
+      continue;
+    }
     args.push(readArg(child));
   }
   return { args, keywordArgs };
@@ -19248,7 +19251,8 @@ function recordMountStatement(stmt, position, scan) {
     scan.composition,
     position.site
   );
-  for (const target of mountedConstructions(args[0], position, scan)) {
+  const mounted = args[0] ?? (scan.composition.routerKeyword === void 0 ? void 0 : keywordArgs[scan.composition.routerKeyword]);
+  for (const target of mountedConstructions(mounted, position, scan)) {
     recordMount(scan.index, target, state);
   }
 }

package/dist/index.d.cts

@@ -304,6 +304,12 @@ interface RouterComposition {
     routerConstructorName: string;
     /** Method that mounts a router onto the app, FastAPI's `include_router`. */
     includeMethodName: string;
+    /**
+     * What the mount method calls its router parameter, FastAPI's `router`.
+     * A call that passes the router by keyword rather than by position is
+     * read through this. Unset reads the first argument only.
+     */
+    routerKeyword?: string;
     /** One keyword serves the constructor and the mount alike. A library that spells them apart needs two fields here. */
     prefixKeyword: string;
     /** Default "prefixes". */

package/dist/index.d.ts

@@ -304,6 +304,12 @@ interface RouterComposition {
     routerConstructorName: string;
     /** Method that mounts a router onto the app, FastAPI's `include_router`. */
     includeMethodName: string;
+    /**
+     * What the mount method calls its router parameter, FastAPI's `router`.
+     * A call that passes the router by keyword rather than by position is
+     * read through this. Unset reads the first argument only.
+     */
+    routerKeyword?: string;
     /** One keyword serves the constructor and the mount alike. A library that spells them apart needs two fields here. */
     prefixKeyword: string;
     /** Default "prefixes". */

package/dist/index.js

@@ -568,6 +568,9 @@ function readCallArguments(argumentList) {
       }
       continue;
     }
+    if (child.type === "dictionary_splat" || child.type === "list_splat") {
+      continue;
+    }
     args.push(readArg(child));
   }
   return { args, keywordArgs };
@@ -19204,7 +19207,8 @@ function recordMountStatement(stmt, position, scan) {
     scan.composition,
     position.site
   );
-  for (const target of mountedConstructions(args[0], position, scan)) {
+  const mounted = args[0] ?? (scan.composition.routerKeyword === void 0 ? void 0 : keywordArgs[scan.composition.routerKeyword]);
+  for (const target of mountedConstructions(mounted, position, scan)) {
     recordMount(scan.index, target, state);
   }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/adapter-python",
-  "version": "0.11.0",
+  "version": "0.13.0",
   "type": "module",
   "description": "Python language adapter for suss — parses source with tree-sitter (WASM), resolves names with a lexical binder, and emits raw extractions for the suss pipeline.",
   "keywords": [
@@ -47,10 +47,10 @@
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@suss/behavioral-ir": "0.11.0",
-    "@suss/datalog": "0.11.0",
-    "@suss/extractor": "0.11.0",
-    "@suss/sql": "0.11.0",
+    "@suss/behavioral-ir": "0.13.0",
+    "@suss/datalog": "0.13.0",
+    "@suss/extractor": "0.13.0",
+    "@suss/sql": "0.13.0",
     "web-tree-sitter": "^0.26.11"
   },
   "devDependencies": {