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

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,101 @@
-# 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.
+Invariantes Python/FastAPI para o [Prumo](../../packages/prumo): guards de auth em rotas de mutação, validação Pydantic v2 em DTOs de request e isolamento de oráculo pytest — inclusive contra burla por `importlib`.
+
+**A lei fica no core Node.** Este pacote é um plugin npm (spec §4.2 — nunca um pacote PyPI): ele embute um único script Python stdlib (`python/ast_extractor.py`) que apenas serializa AST em JSON canônico v1 via subprocesso isolado. O parser decide zero; "é violação?" é 100% do motor. O app do consumidor nunca dá boot e nada do código analisado é importado/executado.
+
+## Instalação
+
+```bash
+pnpm add -D @ihelpee/prumo-plugin-python-fastapi
+```
+
+Requer `python3 >= 3.9` no PATH do host do gate (não do deploy). Sem Python, os invariantes Python viram no-op com motivo explícito no report — nunca silencioso.
+
+## Uso
+
+```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()],
+});
+```
+
+> Registre em `invariants:` — o campo `plugins:` da doc antiga é inerte (spec §4.4).
+
+Ou via arquivo de regras (onde vivem os waivers):
+
+```ts
+// .prumo/invariants/rules.ts
+import { pythonFastapiPreset } from '@ihelpee/prumo-plugin-python-fastapi';
+export default pythonFastapiPreset;
+```
+
+## Opções (`pythonFastapi(options?)`)
+
+| Opção | Default | Efeito |
+|---|---|---|
+| `srcDirs` | `['app']` | Diretórios de produção (módulos Python) |
+| `oracleDirs` | `['tests/oracle']` | Diretórios onde importar `app.*` é espelho |
+| `testRoots` | `['tests']` | Fronteira reversa R2.7 (produção não importa fixture) |
+| `packageRoot` | `'app'` | Pacote raiz para resolver imports relativos |
+| `entrypoints` | `['app.main']` | Composition roots permitidos ao oráculo (black-box por ASGI) |
+| `authSymbols` | `get_current_user`, `current_user`, `get_current_active_user`, `require_auth`, `auth_required` | Símbolos reconhecidos como guard em `Depends(...)` |
+| `publicSymbols` | `[]` | Convenção de rota intencionalmente pública (FastAPI não tem `@Public` nativo) |
+
+## Invariantes
+
+| Regra | Sev | Pega | Não pega |
+|---|---|---|---|
+| `mutation-routes-guarded` | error | `POST/PUT/PATCH/DELETE` sem `Depends` de auth no handler, sem `dependencies=` no decorator e sem `APIRouter(dependencies=)`/`include_router(dependencies=)` (inclusive cross-file) | rotas de leitura; rotas marcadas via `publicSymbols` |
+| `dto-has-validation` | error | model Pydantic usado como **body** com campo sem `Field(...)`/`Annotated`/`con*`/`EmailStr`/validator | `response_model` (saída não valida input); `Optional` sem default (opcional legítimo) |
+| `route-has-response-model` | warn | mutação sem `response_model` (risco de vazar ORM/dict cru) | rotas de leitura |
+| `no-cross-feature-import` | warn | `app/<A>/` importando `app/<B>/` (absoluto, relativo e dinâmico) | entrypoint/composition root; módulos compartilhados (`common`, `core`, `auth`, …) |
+| `monetary-is-integer` | warn | campo monetário (`price`, `amount`, …) tipado `float` | `Decimal`, inteiro em centavos |
+| `oracle-no-src` | error | `tests/oracle/**` importando unidade de `app/` — **inclusive** `importlib.import_module`/`__import__` (anti-burla R2.4) | import do entrypoint (`app.main`): oráculo black-box sobe o app pelo composition root |
+| `src-no-oracle` | error | `app/**` importando `tests/**` (fixture vazando para produção) | — |
+| `python-parse-error` | error | `SyntaxError` por arquivo; timeout do parser; `python3` ausente (via `erroredRules`, gate não crasha) | — |
+
+## Exemplo — o buraco invisível do FastAPI
+
+```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
+```
+
+## Contrato de AST (JSON canônico v1)
+
+`python/ast_extractor.py --files <...>` emite `{"version": 1, "files": [...]}` com `imports`, `dynamic_imports`, `routes`, `models`, `routers`, `include_routers`, `pydantic_v1` por arquivo (spec §1.4). Formato congelado e versionado; `SyntaxError` vira `{"path", "error": "syntax"}` com exit 0.
+
+## Licença
+
+Apache-2.0

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":"AAAA,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;AAmWD;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,OAAO,GAAE,mBAAwB,GAAG,WAAW,CA4B5E;AAED,8FAA8F;AAC9F,eAAO,MAAM,mBAAmB,EAAE,OAAO,EAA0B,CAAC"}