@ihelpee/prumo-plugin-go-gin 0.0.0-stage → 0.8.3

package/dist/rules.d.ts

@@ -0,0 +1,113 @@
+import { definePlugin, type RuleDef } from '@ihelpee/prumo/invariants';
+import { type GoGinOptions } from './ast.js';
+/**
+ * R1.4: `go` ausente no host NÃO é skip silencioso. As regras `error`
+ * retornam vazio (não podem avaliar), e esta regra dedicada emite um achado
+ * `warn` nomeado que o relatório destaca. Um gate que pula mudo reporta mais
+ * saúde do que existe; um gate que bloqueia por ferramenta ausente é gate
+ * que o time desliga. `--fail-on-warn` promove a bloqueio.
+ */
+export declare function goToolchainMissing(opts?: GoGinOptions): RuleDef;
+/** R1.3: arquivo com erro de parse vira achado `go-parse-error` (nunca mudo). */
+export declare function goParseError(): RuleDef;
+/**
+ * Rota de mutação (POST/PUT/PATCH/DELETE) registrada em gin.Engine ou
+ * gin.RouterGroup sem middleware de auth em NENHUMA camada (inline,
+ * Group.Use, Engine.Use). A camada de grupo é a maior fonte de
+ * falso-negativo; a resolução transitiva (R3.2/R3.4) é obrigatória.
+ *
+ * Fronteira honesta: Recovery/Logger/CORS NÃO são auth (R3.5); rota de
+ * leitura (GET/HEAD/OPTIONS) nunca é alvo; `NoAuth()` explícito marca
+ * público intencional (R3.6).
+ */
+export declare function mutationRoutesGuarded(opts?: GoGinOptions): RuleDef;
+/**
+ * O anti-padrão mais perigoso em Go: erro silenciosamente descartado.
+ *
+ * - R3.7 (error): descarte EXPLÍCITO — `_ = err`, `x, _ := f()`. Decisão
+ *   deliberada de ignorar falha → bloqueia.
+ * - R3.8 (warn): chamada cujo último retorno é error aparece como ExprStmt
+ *   puro (`db.Save(o)` sozinho). Sem type info o parser NÃO sabe quais
+ *   funções retornam error, então é HEURÍSTICO: só `knownErrReturning` ou
+ *   função que já aparece com `err` no mesmo arquivo. Por isso `warn`.
+ *
+ * Fronteira honesta: `if err := f(); err != nil` não é achado; `fmt.Println`
+ * (não retorna error) não é achado.
+ */
+export declare function errorHandlingEnforced(_opts?: GoGinOptions): RuleDef;
+/**
+ * R3.8 isolado — chamada que retorna error sem check, como `warn` (heurística
+ * sem type info). Separada de `error-handling-enforced` (que é `error`) para
+ * respeitar a política do core: heurística que bloqueia é heurística que o
+ * time desliga na segunda semana.
+ *
+ * Redução de falso-positivo: só `knownErrReturning` OU função que já aparece
+ * com `err` noutra linha do mesmo arquivo.
+ */
+export declare function errorHandlingUnchecked(opts?: GoGinOptions): RuleDef;
+/**
+ * Handler Gin que faz binding de payload para struct cujos campos não
+ * declaram tags `binding:"..."` de validação.
+ *
+ * R3.9: resolve o tipo da struct por heurística SINTÁTICA (var req T, req :=
+ * T{}, parâmetro func(req *T)). Se o tipo não for resolvível no arquivo,
+ * NÃO reporta (nunca adivinha).
+ * R3.10: qualquer campo de dados (exportado) com hasBinding==false é achado.
+ * R3.11: `binding:"-"` é ignorado (não faz parte do payload validável).
+ * R3.12: body (ShouldBindJSON/Bind/...) é `error`; query/uri é `warn`.
+ */
+export declare function payloadValidationBound(): RuleDef;
+/** R3.12 — binding de query/uri sem tag é `warn` (validação de query é frequentemente opcional). */
+export declare function payloadValidationQuery(opts?: GoGinOptions): RuleDef;
+/**
+ * R2.1/R2.2/R2.3/R2.4 — teste de oráculo que importa pacote interno da
+ * aplicação (resolvido contra o module path) é espelho. Cobre import
+ * absoluto, alias, dot e blank: a burla por alias está bloqueada porque a
+ * resolução é por path, não por nome.
+ */
+export declare function oracleNoSrc(opts?: GoGinOptions): RuleDef;
+/**
+ * R2.5 — regra nativa de Go: um `_test.go` DENTRO da árvore internal/ (ou
+ * layout.src) que declara `package foo` (e não `package foo_test`) acessa
+ * símbolos não-exportados da implementação: é espelho branco por construção,
+ * mesmo sem import. `package foo_test` é black-box e NÃO viola.
+ */
+export declare function oracleWhiteboxTest(opts?: GoGinOptions): RuleDef;
+/**
+ * R2.7 — fronteira reversa: produção (internal/ ou layout.src) importando o
+ * diretório de oráculo é espelho invertido (fixture vazando para produção).
+ */
+export declare function srcNoOracle(opts?: GoGinOptions): RuleDef;
+/**
+ * R2.8 — em topologia de módulo separado, `oracle/go.mod` não pode
+ * require/replace o módulo da aplicação: se contém, a fronteira do
+ * compilador foi desativada de propósito.
+ *
+ * Lido direto do filesystem (o extrator Go não parseia go.mod de submódulo):
+ * é um tripwire textual, não AST — suficiente para o `require`/`replace`.
+ */
+export declare function oracleModuleCouplesApp(): RuleDef;
+/**
+ * R3.13 — `internal/<featureA>/` importando `internal/<featureB>/`
+ * (fronteira de contexto). Heurística `featureOf` adaptada ao layout Go.
+ * `warn` no MVP (layouts Go variam).
+ */
+export declare function noCrossFeatureImport(opts?: GoGinOptions): RuleDef;
+/**
+ * R3.14 — campo monetário tipado como float32/float64. Em Go o anti-padrão
+ * é float64 para dinheiro; int64 (centavos) ou shopspring/decimal é aceitável.
+ * `warn`.
+ */
+export declare function monetaryIsInteger(): RuleDef;
+/**
+ * O Plugin oficial de Go/Gin para o Prumo (spec §4.5).
+ *
+ * Analisa, nunca executa: o extrator Go é stdlib-only e só faz
+ * `parser.ParseFile` — o app analisado nunca dá boot, o parser nunca herda o
+ * drift do que analisa (R1.2). A lei vive 100% neste arquivo Node (§4.2).
+ */
+export declare function goGinPlugin(opts?: GoGinOptions): ReturnType<typeof definePlugin>;
+/** Preset pronto para `invariants: [goGinPreset]` / `.prumo/invariants/rules.ts`. */
+export declare const goGinPreset: RuleDef[];
+export default goGinPlugin;
+//# 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,EAEL,YAAY,EACZ,KAAK,OAAO,EAGb,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAOL,KAAK,YAAY,EAIlB,MAAM,UAAU,CAAC;AA6ElB;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,GAAE,YAAiB,GAAG,OAAO,CAcnE;AASD,iFAAiF;AACjF,wBAAgB,YAAY,IAAI,OAAO,CAWtC;AAyFD;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,GAAE,YAAiB,GAAG,OAAO,CAkCtE;AAMD;;;;;;;;;;;;GAYG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,GAAE,YAAiB,GAAG,OAAO,CAyBvE;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,GAAE,YAAiB,GAAG,OAAO,CA+BvE;AAoBD;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,IAAI,OAAO,CAqChD;AAED,oGAAoG;AACpG,wBAAgB,sBAAsB,CAAC,IAAI,GAAE,YAAiB,GAAG,OAAO,CAoCvE;AA6BD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,GAAE,YAAiB,GAAG,OAAO,CA2B5D;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,GAAE,YAAiB,GAAG,OAAO,CAyBnE;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,GAAE,YAAiB,GAAG,OAAO,CA2B5D;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,IAAI,OAAO,CAgChD;AAwBD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,GAAE,YAAiB,GAAG,OAAO,CA6BrE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,IAAI,OAAO,CAuB3C;AAUD;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,IAAI,GAAE,YAAiB,GAAG,UAAU,CAAC,OAAO,YAAY,CAAC,CAyBpF;AAED,qFAAqF;AACrF,eAAO,MAAM,WAAW,EAAE,OAAO,EAAwB,CAAC;AAE1D,eAAe,WAAW,CAAC"}