@ihelpee/prumo-plugin-python-fastapi 0.0.0-stage → 0.9.0

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -1,3 +1,109 @@
-# Temporary Holding Version
+# @ihelpee/prumo-plugin-python-fastapi
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+Python/FastAPI invariants for [Prumo](../../packages/prumo): auth guards on mutation routes, Pydantic v2 validation on request DTOs, and pytest oracle isolation — including against `importlib` bypass.
+
+**The law lives in the Node core.** This package is an npm plugin (spec §4.2 — never a PyPI package): it embeds a single stdlib-only Python script (`python/ast_extractor.py`) that merely serializes the AST into canonical JSON v1 via an isolated subprocess. The parser decides nothing; "is this a violation?" is 100% the engine's job. The consumer app is never booted and none of the analyzed code is imported or executed.
+
+## Installation
+
+```bash
+pnpm add -D @ihelpee/prumo-plugin-python-fastapi
+```
+
+Requires `python3 >= 3.9` on the gate host's PATH (not the deployment target). Without Python, the Python invariants become a no-op with an explicit reason in the report — never silent.
+
+## Usage
+
+```ts
+// prumo.config.ts
+import { defineConfig } from '@ihelpee/prumo';
+import { pythonFastapi } from '@ihelpee/prumo-plugin-python-fastapi';
+
+export default defineConfig({
+  layout: {
+    src: ['app'],
+    oracle: ['tests/oracle'],
+    contract: ['.prumo/contract'],
+    invariants: ['.prumo/invariants'],
+    intent: ['.prumo/intent'],
+    waivers: ['.prumo/waivers'],
+  },
+  testFilePatterns: ['tests/**/*.py'],
+  invariants: [pythonFastapi()],
+});
+```
+
+> Register under `invariants:` — the `plugins:` field from the old docs is inert (spec §4.4).
+
+Or via a rules file (where the waivers live):
+
+```ts
+// .prumo/invariants/rules.ts
+import { pythonFastapiPreset } from '@ihelpee/prumo-plugin-python-fastapi';
+export default pythonFastapiPreset;
+```
+
+## Options (`pythonFastapi(options?)`)
+
+| Option | Default | Effect |
+|---|---|---|
+| `srcDirs` | `['app']` | Production directories (Python modules) |
+| `oracleDirs` | `['tests/oracle']` | Directories where importing `app.*` is a mirror |
+| `testRoots` | `['tests']` | Reverse boundary R2.7 (production must not import fixtures) |
+| `packageRoot` | `'app'` | Root package used to resolve relative imports |
+| `entrypoints` | `['app.main']` | Composition roots the oracle may use (black-box via ASGI) |
+| `authSymbols` | `get_current_user`, `current_user`, `get_current_active_user`, `require_auth`, `auth_required` | Symbols recognized as an auth guard in `Depends(...)` |
+| `publicSymbols` | `[]` | Convention for intentionally public routes (FastAPI has no native `@Public`) |
+
+## Invariants
+
+| Rule | Sev | Catches | Does not catch |
+|---|---|---|---|
+| `mutation-routes-guarded` | error | `POST/PUT/PATCH/DELETE` without an auth `Depends` on the handler, without `dependencies=` on the decorator, and without `APIRouter(dependencies=)`/`include_router(dependencies=)` (including cross-file) | read routes; routes marked via `publicSymbols` |
+| `dto-has-validation` | error | a Pydantic model used as **body** with a field lacking `Field(...)`/`Annotated`/`con*`/`EmailStr`/validator | `response_model` (output does not validate input); `Optional` without default (legitimate optional); `pydantic.v1` files (handled by the sibling rule below) |
+| `dto-has-validation-pydantic-v1` | warn | same predicate as `dto-has-validation` for files containing `import pydantic.v1` (R3.6: v1 is deprecated — downgraded to warn) | models in v2 files; fields with `@validator`/`Field(regex=...)` v1 (recognized constraint) |
+| `route-has-response-model` | warn | mutation without `response_model` (risk of leaking raw ORM/dict) | read routes |
+| `no-cross-feature-import` | warn | `app/<A>/` importing `app/<B>/` (absolute, relative, and dynamic) | entrypoint/composition root; shared modules (`common`, `core`, `auth`, …) |
+| `monetary-is-integer` | warn | monetary field (`price`, `amount`, …) typed as `float` | `Decimal`, integer in cents |
+| `oracle-no-src` | error | `tests/oracle/**` importing a unit from `app/` — **including** `importlib.import_module`/`__import__` (anti-bypass R2.4) | importing the entrypoint (`app.main`): a black-box oracle boots the app through the composition root |
+| `src-no-oracle` | error | `app/**` importing `tests/**` (fixtures leaking into production) | — |
+| `python-parse-error` | error | `SyntaxError` per file; parser timeout; missing `python3` (via `erroredRules`, the gate does not crash) | — |
+
+## Example — FastAPI's invisible hole
+
+```python
+# app/orders/router.py — a rota FUNCIONA sem token; o teste com AsyncClient
+# sem auth passa se o handler não usar `user`. O agente nunca vê o buraco.
+@router.post("/orders")
+async def create_order(payload: CreateOrderIn):   # ← finding: sem Depends de auth
+    ...
+
+# Protegido nas três camadas aceitas:
+@router.post("/orders", dependencies=[Depends(get_current_user)])   # decorator
+async def a(...): ...
+
+router = APIRouter(dependencies=[Depends(get_current_user)])        # router
+app.include_router(billing_router, dependencies=[Depends(get_current_user)])  # montagem (cross-file)
+```
+
+```python
+# DTO sem constraint: aceita user_id=-999 e o teste que só checa 200 é o espelho perfeito.
+class CreateOrderIn(BaseModel):
+    user_id: int                                        # ← finding
+    email: Annotated[str, Field(max_length=255)]        # ok
+```
+
+## AST contract (canonical JSON v1)
+
+`python/ast_extractor.py --files <...>` emits `{"version": 1, "files": [...]}` with per-file `imports`, `dynamic_imports`, `routes`, `models`, `routers`, `include_routers`, `pydantic_v1` (spec §1.4). The format is frozen and versioned; `SyntaxError` becomes `{"path", "error": "syntax"}` with exit 0.
+
+---
+
+## License & Brand
+
+Copyright © 2026 **IHELPEE TECNOLOGIA LTDA** (<https://ihelpee.com>). All rights reserved.
+Created and authored by [Alex Gotardi](https://github.com/alexgotardi).
+
+Licensed under the [Apache License, Version 2.0](https://github.com/ihelpee/prumo/blob/main/LICENSE) (the "License"); you may not use this file except in compliance with the License. A copy is available at <http://www.apache.org/licenses/LICENSE-2.0>.
+
+The **"Prumo"** name and logo are trademarks of IHELPEE TECNOLOGIA LTDA and are **not** licensed under the Apache 2.0 license.

package/dist/ast.d.ts

@@ -0,0 +1,84 @@
+/**
+ * AST Extractor Python — ponte Node → subprocesso stdlib.
+ *
+ * Spec `docs/especificacao-prumo-python.md` §1: o motor Node NÃO parseia
+ * Python; um subprocesso isolado (`python3 python/ast_extractor.py`) faz
+ * `ast.parse` e emite o JSON canônico v1. O subprocesso é o isolador: recebe
+ * caminhos, nunca importa o código do usuário, o app nunca dá boot. A lei
+ * ("é violação?") fica 100% no core Node — o Python é só parser.
+ */
+export declare const EXTRACTOR_VERSION = 1;
+/** R1.5 — parse patológico não trava o gate. */
+export declare const DEFAULT_TIMEOUT_MS = 15000;
+export interface PyImport {
+    module: string;
+    names: string[];
+    relative: boolean;
+    line: number;
+}
+export interface PyDynamicImport {
+    expr: string;
+    module: string;
+    line: number;
+}
+export interface PyRoute {
+    method: string;
+    path: string;
+    handler: string;
+    decorators: string[];
+    router_var: string;
+    router_dependencies: string[];
+    param_depends: string[];
+    body_model: string | null;
+    response_model: string | null;
+    line: number;
+}
+export interface PyField {
+    name: string;
+    annotation: string;
+    has_constraint: boolean;
+    has_validator: boolean;
+}
+export interface PyModel {
+    name: string;
+    bases: string[];
+    line: number;
+    fields: PyField[];
+}
+export interface PyRouterDef {
+    var: string;
+    dependencies: string[];
+}
+export interface PyIncludeRouter {
+    target: string;
+    dependencies: string[];
+}
+export interface PyFile {
+    path: string;
+    error?: 'syntax' | 'unreadable';
+    imports?: PyImport[];
+    dynamic_imports?: PyDynamicImport[];
+    routes?: PyRoute[];
+    models?: PyModel[];
+    routers?: PyRouterDef[];
+    include_routers?: PyIncludeRouter[];
+    pydantic_v1?: boolean;
+}
+export interface PythonModel {
+    version: number;
+    files: PyFile[];
+    /** R1.4 — python3 ausente: rules retornam vazio, gate não crasha. */
+    pythonAvailable: boolean;
+    /** R1.5 — subprocesso morto por timeout. */
+    timedOut: boolean;
+    /** Diagnóstico legível quando pythonAvailable === false. */
+    reason?: string;
+}
+export declare const EMPTY_MODEL: PythonModel;
+/**
+ * Coleta os `.py` do projeto (determinístico, ordenado — walk do core) e
+ * roda o extrator em lotes. `python3` ausente → modelo vazio com motivo
+ * explícito (R1.4); timeout → `timedOut: true` (R1.5).
+ */
+export declare function extractPythonModel(root: string, timeoutMs?: number): Promise<PythonModel>;
+//# sourceMappingURL=ast.d.ts.map

package/dist/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAIA;;;;;;;;GAQG;AAEH,eAAO,MAAM,iBAAiB,IAAI,CAAC;AAEnC,gDAAgD;AAChD,eAAO,MAAM,kBAAkB,QAAS,CAAC;AAKzC,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,OAAO,CAAC;IACxB,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,QAAQ,GAAG,YAAY,CAAC;IAChC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC;IACrB,eAAe,CAAC,EAAE,eAAe,EAAE,CAAC;IACpC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;IACnB,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;IACnB,OAAO,CAAC,EAAE,WAAW,EAAE,CAAC;IACxB,eAAe,CAAC,EAAE,eAAe,EAAE,CAAC;IACpC,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,qEAAqE;IACrE,eAAe,EAAE,OAAO,CAAC;IACzB,4CAA4C;IAC5C,QAAQ,EAAE,OAAO,CAAC;IAClB,4DAA4D;IAC5D,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,eAAO,MAAM,WAAW,EAAE,WAKzB,CAAC;AAsCF;;;;GAIG;AACH,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,SAAqB,GAAG,OAAO,CAAC,WAAW,CAAC,CAiC3G"}

package/dist/ast.js

@@ -0,0 +1,90 @@
+import { spawnSync } from 'node:child_process';
+import { fileURLToPath } from 'node:url';
+import { walk } from '@ihelpee/prumo/core';
+/**
+ * AST Extractor Python — ponte Node → subprocesso stdlib.
+ *
+ * Spec `docs/especificacao-prumo-python.md` §1: o motor Node NÃO parseia
+ * Python; um subprocesso isolado (`python3 python/ast_extractor.py`) faz
+ * `ast.parse` e emite o JSON canônico v1. O subprocesso é o isolador: recebe
+ * caminhos, nunca importa o código do usuário, o app nunca dá boot. A lei
+ * ("é violação?") fica 100% no core Node — o Python é só parser.
+ */
+export const EXTRACTOR_VERSION = 1;
+/** R1.5 — parse patológico não trava o gate. */
+export const DEFAULT_TIMEOUT_MS = 15_000;
+/** Limite conservador de argv por lote (Windows ~32k; 200 arquivos é folgado). */
+const BATCH_SIZE = 200;
+export const EMPTY_MODEL = {
+    version: EXTRACTOR_VERSION,
+    files: [],
+    pythonAvailable: false,
+    timedOut: false,
+};
+function extractorScript() {
+    // dist/ast.js e src/ast.ts estão ambos a um nível do package; python/ é
+    // irmão de src/ e entra no `files` do package.json (requisito de release).
+    return fileURLToPath(new URL('../python/ast_extractor.py', import.meta.url));
+}
+function runBatch(root, files, timeoutMs) {
+    const script = extractorScript();
+    const res = spawnSync('python3', [script, '--files', ...files], {
+        cwd: root,
+        timeout: timeoutMs,
+        encoding: 'utf8',
+        maxBuffer: 64 * 1024 * 1024,
+    });
+    if (res.error) {
+        const code = res.error.code;
+        return { ok: false, timedOut: false, missing: code === 'ENOENT', result: null, stderr: String(res.error.message ?? res.error) };
+    }
+    if (res.signal === 'SIGTERM' || res.killed) {
+        return { ok: false, timedOut: true, missing: false, result: null, stderr: '' };
+    }
+    if (res.status !== 0) {
+        return { ok: false, timedOut: false, missing: false, result: null, stderr: (res.stderr ?? '').trim() };
+    }
+    try {
+        return { ok: true, timedOut: false, missing: false, result: JSON.parse(res.stdout), stderr: '' };
+    }
+    catch (err) {
+        return { ok: false, timedOut: false, missing: false, result: null, stderr: `stdout não é JSON: ${String(err)}` };
+    }
+}
+/**
+ * Coleta os `.py` do projeto (determinístico, ordenado — walk do core) e
+ * roda o extrator em lotes. `python3` ausente → modelo vazio com motivo
+ * explícito (R1.4); timeout → `timedOut: true` (R1.5).
+ */
+export async function extractPythonModel(root, timeoutMs = DEFAULT_TIMEOUT_MS) {
+    const pyFiles = await walk(root, '.', { extensions: ['.py'] });
+    if (pyFiles.length === 0) {
+        return { ...EMPTY_MODEL, pythonAvailable: true };
+    }
+    const files = [];
+    let timedOut = false;
+    for (let i = 0; i < pyFiles.length; i += BATCH_SIZE) {
+        const batch = pyFiles.slice(i, i + BATCH_SIZE);
+        const run = runBatch(root, batch, timeoutMs);
+        if (run.missing) {
+            return {
+                ...EMPTY_MODEL,
+                pythonAvailable: false,
+                reason: 'python3 não encontrado no PATH — invariantes Python viram no-op (instale Python >= 3.9)',
+            };
+        }
+        if (run.timedOut) {
+            timedOut = true;
+            continue;
+        }
+        if (!run.ok || !run.result) {
+            return {
+                ...EMPTY_MODEL,
+                pythonAvailable: false,
+                reason: `ast_extractor.py falhou: ${run.stderr || 'erro desconhecido'}`,
+            };
+        }
+        files.push(...(run.result.files ?? []));
+    }
+    return { version: EXTRACTOR_VERSION, files, pythonAvailable: true, timedOut };
+}

package/dist/index.d.ts

@@ -0,0 +1,4 @@
+export * from './ast.js';
+export * from './rules.js';
+export { pythonFastapi as default } from './rules.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,aAAa,IAAI,OAAO,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,3 @@
+export * from './ast.js';
+export * from './rules.js';
+export { pythonFastapi as default } from './rules.js';

package/dist/rules.d.ts

@@ -0,0 +1,30 @@
+import { type PrumoPlugin, type RuleDef } from '@ihelpee/prumo/invariants';
+export interface PythonPluginOptions {
+    /** Diretórios de produção (módulos Python). Default: ['app']. */
+    srcDirs?: string[];
+    /** Diretórios de oráculo (espelhos proibidos). Default: ['tests/oracle']. */
+    oracleDirs?: string[];
+    /** Prefixo de teste p/ fronteira reversa R2.7. Default: ['tests']. */
+    testRoots?: string[];
+    /** Pacote raiz p/ imports relativos (R2.3). Default: 'app'. */
+    packageRoot?: string;
+    /** Entrypoints públicos permitidos ao oráculo (composition root, §2 nota). Default: ['app.main']. */
+    entrypoints?: string[];
+    /** R3.1 — símbolos de auth reconhecidos em Depends(...). */
+    authSymbols?: string[];
+    /** R3.4 — convenção de rota intencionalmente pública. Default: []. */
+    publicSymbols?: string[];
+}
+/**
+ * O Plugin oficial Python/FastAPI para o Prumo (spec §4.2: plugin npm,
+ * NUNCA pacote PyPI — a lei mora no core Node; o `.py` embutido é parser).
+ *
+ * Uso (spec §4.4 — `invariants:`, não o campo inerte `plugins:`):
+ *
+ *   import { pythonFastapi } from '@ihelpee/prumo-plugin-python-fastapi';
+ *   export default defineConfig({ invariants: [ pythonFastapi() ], ... });
+ */
+export declare function pythonFastapi(options?: PythonPluginOptions): PrumoPlugin;
+/** Preset com defaults FastAPI canônicos (`app/`, `tests/oracle/`, entrypoint `app.main`). */
+export declare const pythonFastapiPreset: RuleDef[];
+//# sourceMappingURL=rules.d.ts.map

package/dist/rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../src/rules.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,OAAO,EAGb,MAAM,2BAA2B,CAAC;AAanC,MAAM,WAAW,mBAAmB;IAClC,iEAAiE;IACjE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,6EAA6E;IAC7E,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,sEAAsE;IACtE,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,qGAAqG;IACrG,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,4DAA4D;IAC5D,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,sEAAsE;IACtE,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAwXD;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,OAAO,GAAE,mBAAwB,GAAG,WAAW,CA6B5E;AAED,8FAA8F;AAC9F,eAAO,MAAM,mBAAmB,EAAE,OAAO,EAA0B,CAAC"}