@justmpm/firebase-audit 0.5.0 → 0.5.2

package/dist/{chunk-TQZTE2NR.js → chunk-UKEKA2NQ.js}

@@ -1,5 +1,18 @@
+import {
+  conditionKeyForFingerprint,
+  extractRules,
+  findPublicAllowsContent,
+  inlineHelpersInCondition,
+  normalizeTarget,
+  opsFrom,
+  parseRuleFunctionsDetailed,
+  resolveHelperConditionDetailed,
+  stripOuterParens,
+  stripRuleComments
+} from "./chunk-7EWTBIKJ.js";
+
 // src/scan.ts
-import { readFileSync as readFileSync4, existsSync as existsSync3 } from "fs";
+import { readFileSync as readFileSync3, existsSync as existsSync3 } from "fs";
 import { join as join3 } from "path";
 import { parse as parseYaml } from "yaml";
 
@@ -147,342 +160,8 @@ async function enrichWithGraph(rootDir, d) {
   }
 }
 
-// src/rules.ts
-import { readFileSync as readFileSync2 } from "fs";
-import { createHash } from "crypto";
-var MATCH_RE = /match\s+(\/[^{\s]*(?:\{[^}]*\}[^{\s]*)*)\s*\{/g;
-var ALLOW_RE = /allow\s+([^;:]+)(?::\s*if\s+([^;]+))?;/g;
-function stripRuleComments(content) {
-  let out = "";
-  let i = 0;
-  let quote = null;
-  while (i < content.length) {
-    const c = content[i];
-    const next = content[i + 1] ?? "";
-    if (quote) {
-      out += c;
-      if (c === quote && content[i - 1] !== "\\") quote = null;
-      i += 1;
-      continue;
-    }
-    if (c === '"' || c === "'" || c === "`") {
-      quote = c;
-      out += c;
-      i += 1;
-      continue;
-    }
-    if (c === "/" && next === "/") {
-      while (i < content.length && content[i] !== "\n") i += 1;
-      continue;
-    }
-    if (c === "/" && next === "*") {
-      i += 2;
-      while (i < content.length && !(content[i] === "*" && content[i + 1] === "/")) {
-        if (content[i] === "\n") out += "\n";
-        i += 1;
-      }
-      i += 2;
-      continue;
-    }
-    out += c;
-    i += 1;
-  }
-  return out;
-}
-function opsFrom(target) {
-  const t = target.trim().toLowerCase();
-  if (t === "read") return { ops: ["read", "get", "list"], known: true };
-  if (t === "write") return { ops: ["write", "create", "update", "delete"], known: true };
-  const parts = t.split(",").map((s) => s.trim()).filter(Boolean);
-  const valid = ["read", "get", "list", "create", "update", "delete", "write"];
-  const out = [];
-  let known = false;
-  for (const p of parts) {
-    if (valid.includes(p)) {
-      known = true;
-      out.push(p);
-      if (p === "write") {
-        for (const extra of ["create", "update", "delete"]) {
-          if (!out.includes(extra)) out.push(extra);
-        }
-      }
-      if (p === "read") {
-        for (const extra of ["get", "list"]) {
-          if (!out.includes(extra)) out.push(extra);
-        }
-      }
-    }
-  }
-  return { ops: out, known: out.length > 0 && known };
-}
-function findBlockEnd(content, openBraceIndex) {
-  let depth = 0;
-  let quote = null;
-  for (let i = openBraceIndex; i < content.length; i++) {
-    const c = content[i];
-    if (quote) {
-      if (c === quote && content[i - 1] !== "\\") quote = null;
-      continue;
-    }
-    if (c === '"' || c === "'" || c === "`") {
-      quote = c;
-      continue;
-    }
-    if (c === "{") depth += 1;
-    else if (c === "}") {
-      depth -= 1;
-      if (depth === 0) return i + 1;
-    }
-  }
-  return content.length;
-}
-function normalizeTarget(target) {
-  return target.toLowerCase().split(",").map((s) => s.trim()).filter(Boolean).sort().join(",");
-}
-function parseMatchBlocks(content) {
-  const blocks = [];
-  const matchRe = new RegExp(MATCH_RE.source, "g");
-  let m;
-  while ((m = matchRe.exec(content)) !== null) {
-    const before = content.slice(0, m.index);
-    const line = before.split("\n").length;
-    const openBrace = m.index + m[0].length - 1;
-    blocks.push({ path: m[1], line, blockStart: m.index, blockEnd: findBlockEnd(content, openBrace) });
-  }
-  return blocks;
-}
-function buildFullPath(containingAsc) {
-  const parts = [];
-  for (const b of containingAsc) {
-    const p = b.path.trim();
-    if (/^\/databases\/\{[^}]+\}\/documents\/?$/.test(p)) continue;
-    const stripped = p.replace(/^\/+|\/+$/g, "");
-    if (stripped.length === 0) continue;
-    const docIdx = stripped.indexOf("/documents/");
-    if (stripped.startsWith("databases/") && docIdx !== -1) {
-      const rest = stripped.slice(docIdx + "/documents/".length);
-      if (rest.length > 0) parts.push(rest);
-      continue;
-    }
-    parts.push(stripped);
-  }
-  if (parts.length === 0) return "/(unknown)";
-  return "/" + parts.join("/");
-}
-function parseRuleFunctions(content) {
-  const out = /* @__PURE__ */ new Map();
-  for (const [name, fn] of parseRuleFunctionsDetailed(content)) {
-    out.set(name, fn.body);
-  }
-  return out;
-}
-function parseRuleFunctionsDetailed(content) {
-  const out = /* @__PURE__ */ new Map();
-  const re = /function\s+([A-Za-z_][A-Za-z0-9_]*)\s*\(([^)]*)\)\s*\{/g;
-  let m;
-  while ((m = re.exec(content)) !== null) {
-    const openBrace = m.index + m[0].length - 1;
-    const end = findBlockEnd(content, openBrace);
-    const body = content.slice(openBrace + 1, end - 1);
-    const params = m[2].trim() === "" ? [] : m[2].split(",").map((s) => s.trim()).filter((s) => /^[A-Za-z_][A-Za-z0-9_]*$/.test(s));
-    out.set(m[1], { params, body });
-  }
-  return out;
-}
-function inlineHelperArgs(body, params, args) {
-  let out = body;
-  for (let i = 0; i < params.length; i++) {
-    const p = params[i];
-    const a = (args[i] ?? "").trim();
-    if (!p || !a) continue;
-    out = out.replace(new RegExp(`\\b${p}\\b`, "g"), () => a);
-  }
-  return out;
-}
-function inlineHelpersInCondition(condition, detailed) {
-  let out = condition;
-  for (const [name, fn] of detailed) {
-    const re = new RegExp(`\\b${name}\\s*\\(([^()]*)\\)`, "g");
-    out = out.replace(re, (_m, argsStr) => {
-      const args = argsStr.length === 0 ? [] : String(argsStr).split(",").map((s) => s.trim());
-      const inlined = inlineHelperArgs(fn.body, fn.params, args);
-      return `(${inlined})`;
-    });
-  }
-  return out;
-}
-function resolveHelperCondition(condition, functions) {
-  const t = condition.trim().replace(/;$/, "").trim();
-  const call = /^([A-Za-z_][A-Za-z0-9_]*)\s*\((.*)\)$/.exec(t);
-  if (!call) return condition;
-  const body = functions.get(call[1]);
-  if (body === void 0) return condition;
-  return body;
-}
-function resolveHelperConditionDetailed(condition, detailed) {
-  const t = condition.trim().replace(/;$/, "").trim();
-  const call = /^([A-Za-z_][A-Za-z0-9_]*)\s*\((.*)\)$/.exec(t);
-  if (!call) return condition;
-  const fn = detailed.get(call[1]);
-  if (!fn) return condition;
-  const args = call[2].length === 0 ? [] : call[2].split(",").map((s) => s.trim());
-  return inlineHelperArgs(fn.body, fn.params, args);
-}
-function extractRules(rulesFile, relFile) {
-  const rawContent = readFileSync2(rulesFile, "utf-8");
-  return extractRulesContent(rawContent, relFile);
-}
-function extractRulesContent(rawContent, relFile) {
-  const content = stripRuleComments(rawContent);
-  const rules = [];
-  const functions = parseRuleFunctions(content);
-  const detailed = parseRuleFunctionsDetailed(content);
-  const matchBlocks = parseMatchBlocks(content);
-  const allowRe = new RegExp(ALLOW_RE.source, "g");
-  let a;
-  let idx = 0;
-  while ((a = allowRe.exec(content)) !== null) {
-    const before = content.slice(0, a.index);
-    const line = before.split("\n").length;
-    const target = a[1];
-    const rawCondition = (a[2] ?? "").trim();
-    const unconditional = a[2] === void 0;
-    const containing = matchBlocks.filter((b) => b.blockStart <= a.index && a.index < b.blockEnd).sort((x, y) => x.blockStart - y.blockStart);
-    const fullPath = containing.length > 0 ? buildFullPath(containing) : "/(unknown)";
-    const resolved = unconditional ? "" : resolveHelperCondition(rawCondition, functions);
-    const resolvedDetailed = unconditional ? "" : resolveHelperConditionDetailed(rawCondition, detailed);
-    const inlinedBody = unconditional ? "" : inlineHelpersInCondition(rawCondition, detailed);
-    const effectiveBody = resolvedDetailed !== rawCondition ? resolvedDetailed : resolved !== rawCondition ? resolved : inlinedBody;
-    const condition = rawCondition;
-    const authReferences = [];
-    const authSource = `${rawCondition} ${resolved} ${effectiveBody} ${inlinedBody}`;
-    if (authSource.includes("request.auth")) authReferences.push("request.auth");
-    if (authSource.includes("request.auth.uid")) authReferences.push("request.auth.uid");
-    const big = `${rawCondition} ${resolved} ${effectiveBody} ${inlinedBody}`;
-    const claimReferences = [
-      ...big.matchAll(/request\.auth\.token\.([A-Za-z0-9_]+)/g),
-      ...big.matchAll(/request\.auth\.token\.get\(\s*['"]([A-Za-z0-9_]+)['"]/g),
-      ...big.matchAll(/request\.auth\.token\[\s*['"]([A-Za-z0-9_]+)['"]\s*\]/g)
-    ].map((x) => x[1]);
-    const resourceReferences = [...big.matchAll(/resource\.data\.([A-Za-z0-9_]+)/g)].map(
-      (x) => x[1]
-    );
-    const requestResourceReferences = [
-      ...big.matchAll(/request\.resource\.data\.([A-Za-z0-9_]+)/g)
-    ].map((x) => x[1]);
-    const { ops, known } = opsFrom(target);
-    const isHelperCall = !unconditional && rawCondition !== resolved;
-    const hasAuth = authSource.includes("request.auth");
-    rules.push({
-      id: `rule-${idx++}`,
-      path: fullPath,
-      operations: ops,
-      conditionPresent: !unconditional && condition.length > 0,
-      condition: unconditional ? void 0 : condition,
-      authReferences,
-      claimReferences,
-      resourceReferences,
-      requestResourceReferences,
-      confidence: !known || isHelperCall && !hasAuth ? "UNKNOWN" : "CONFIRMED",
-      location: { file: relFile, start: { line, column: 0 } }
-    });
-  }
-  return rules;
-}
-function stripOuterParens(s) {
-  let norm = s.trim();
-  for (; ; ) {
-    if (!(norm.startsWith("(") && norm.endsWith(")"))) return norm;
-    let depth = 0;
-    let wrapsAll = true;
-    for (let i = 0; i < norm.length; i++) {
-      if (norm[i] === "(") depth += 1;
-      else if (norm[i] === ")") {
-        depth -= 1;
-        if (depth === 0 && i !== norm.length - 1) {
-          wrapsAll = false;
-          break;
-        }
-      }
-    }
-    if (!wrapsAll || depth !== 0) return norm;
-    norm = norm.slice(1, -1).trim();
-  }
-}
-function isPublicCondition(condition) {
-  if (condition === void 0) return { isPublic: true, confidence: "CONFIRMED" };
-  const norm = stripOuterParens(condition);
-  const low = norm.toLowerCase().replace(/\s+/g, "");
-  if (low === "false") return { isPublic: false, confidence: "CONFIRMED" };
-  if (/^!\(.*request\.auth(===|==)null/.test(low)) {
-    return { isPublic: false, confidence: "CONFIRMED" };
-  }
-  if (/^!\(.*request\.auth(!==|!=)null/.test(low)) {
-    return { isPublic: true, confidence: "CONFIRMED" };
-  }
-  if (low.includes("!(request.auth==null)") || low.includes("!(request.auth===null)") || low === "!request.auth==null" || low === "!request.auth===null") {
-    return { isPublic: false, confidence: "CONFIRMED" };
-  }
-  if (low === "true") return { isPublic: true, confidence: "CONFIRMED" };
-  if (/(^|\|\|)true($|\|\|)/.test(low)) return { isPublic: true, confidence: "PROBABLE" };
-  if (low.includes("request.auth==null") || low.includes("request.auth===null")) {
-    return { isPublic: true, confidence: "CONFIRMED" };
-  }
-  if (!low.includes("request.auth")) {
-    return { isPublic: true, confidence: "PROBABLE" };
-  }
-  return { isPublic: false, confidence: "CONFIRMED" };
-}
-function hashShort(text) {
-  return createHash("sha256").update(text, "utf-8").digest("hex").slice(0, 8);
-}
-function conditionKeyForFingerprint(condition) {
-  if (condition === void 0) return "uncond";
-  const norm = stripOuterParens(condition).toLowerCase().replace(/\s+/g, "");
-  if (norm === "") return "uncond";
-  return hashShort(norm);
-}
-function findPublicAllows(rulesFile) {
-  const rawContent = readFileSync2(rulesFile, "utf-8");
-  return findPublicAllowsContent(rawContent);
-}
-function helperBodyToCondition(body) {
-  const m = /\breturn\b\s*([^;]+);?/.exec(body);
-  if (m) return m[1].trim();
-  return body;
-}
-function findPublicAllowsContent(rawContent) {
-  const content = stripRuleComments(rawContent);
-  const functions = parseRuleFunctions(content);
-  const detailed = parseRuleFunctionsDetailed(content);
-  const out = [];
-  const parsed = parseMatchBlocks(content);
-  const re = new RegExp(ALLOW_RE.source, "g");
-  let mm;
-  while ((mm = re.exec(content)) !== null) {
-    const line = content.slice(0, mm.index).split("\n").length;
-    const target = mm[1].trim();
-    const single = mm[2] === void 0 ? void 0 : resolveHelperCondition(mm[2], functions);
-    const singleD = mm[2] === void 0 ? void 0 : resolveHelperConditionDetailed(mm[2], detailed);
-    const inlined = mm[2] === void 0 ? void 0 : inlineHelpersInCondition(mm[2], detailed);
-    const effective = singleD !== void 0 && singleD !== mm[2] ? singleD : single !== void 0 && single !== mm[2] ? single : inlined !== void 0 && inlined !== mm[2] ? inlined : mm[2];
-    if (mm[2] !== void 0 && effective !== mm[2] && !String(effective).includes("request.auth")) {
-      const bodyCheck = isPublicCondition(helperBodyToCondition(String(effective)));
-      if (!bodyCheck.isPublic) {
-        continue;
-      }
-    }
-    const check = isPublicCondition(effective);
-    if (!check.isPublic) continue;
-    const ascBlocks = parsed.filter((b) => b.blockStart <= mm.index && mm.index < b.blockEnd).sort((x, y) => x.blockStart - y.blockStart);
-    const path = ascBlocks.length > 0 ? buildFullPath(ascBlocks) : "/(unknown)";
-    out.push({ line, target, path, confidence: check.confidence, conditionKey: conditionKeyForFingerprint(mm[2]) });
-  }
-  return out;
-}
-
 // src/checks.ts
-import { readFileSync as readFileSync3, existsSync as existsSync2 } from "fs";
+import { readFileSync as readFileSync2, existsSync as existsSync2 } from "fs";
 import { join as join2 } from "path";
 import { executeFind } from "@justmpm/supergrep";
 var IMPLEMENTED_CHECKS = ["FBA001", "FBA002", "FBA003", "FBA004", "FBA009", "FBA010", "FBA011", "FBA012", "FBA013"];
@@ -521,7 +200,7 @@ async function runChecks(model, rootDir, opts = {}) {
   let helperDetailed = /* @__PURE__ */ new Map();
   if (absRules && existsSync2(absRules)) {
     try {
-      const rawAll = readFileSync3(absRules, "utf-8");
+      const rawAll = readFileSync2(absRules, "utf-8");
       pubs = findPublicAllowsContent(rawAll);
       helperDetailed = parseRuleFunctionsDetailed(rawAll);
     } catch {
@@ -574,7 +253,7 @@ async function runChecks(model, rootDir, opts = {}) {
   const declared = new Set(model.authorization.permissions.map((p) => p.name));
   if (permissionCalls.literals.length === 0 && permissionCalls.dynamic.length === 0) {
     const tenantHint = [...helperDetailed.keys()].find(
-      (n) => /tenant|member|signedin/i.test(n)
+      (n) => /tenant|isMember|isSignedIn|_member/i.test(n)
     );
     findings.push(
       make(
@@ -811,7 +490,7 @@ async function runChecks(model, rootDir, opts = {}) {
   for (const hit of adminHits) {
     let origin = "UNKNOWN";
     try {
-      const content = readFileSync3(join2(rootDir, hit.file), "utf-8");
+      const content = readFileSync2(join2(rootDir, hit.file), "utf-8");
       origin = classifyOrigin(hit.file, content);
     } catch {
       origin = "UNKNOWN";
@@ -1164,7 +843,7 @@ async function scan(rootDir, opts = {}) {
   const findings_pre = [];
   try {
     if (d.firebaseJson && existsSync3(d.firebaseJson)) {
-      const raw = JSON.parse(readFileSync4(d.firebaseJson, "utf-8"));
+      const raw = JSON.parse(readFileSync3(d.firebaseJson, "utf-8"));
       for (const [kind, rel] of [
         ["rules", raw.firestore?.rules],
         ["indexes", raw.firestore?.indexes]
@@ -1187,6 +866,16 @@ async function scan(rootDir, opts = {}) {
       }
     }
   } catch {
+    findings_pre.push({
+      rule: "FIREBASE_JSON_INVALID",
+      severity: "WARNING",
+      confidence: "CONFIRMED",
+      message: "firebase.json inv\xE1lido \u2014 seguindo com defaults (firestore.rules, firestore.indexes.json). Corrija o JSON.",
+      fingerprint: "FIREBASE_JSON_INVALID",
+      evidence: [
+        { id: "ev-firebase-json", kind: "config-parse", summary: "JSON inv\xE1lido", confidence: "CONFIRMED" }
+      ]
+    });
   }
   if (!d.firestoreRulesFile || !existsSync3(d.firestoreRulesFile)) {
     findings_pre.push({
@@ -1219,7 +908,7 @@ async function scan(rootDir, opts = {}) {
   }
   if (d.firestoreIndexesFile && existsSync3(d.firestoreIndexesFile)) {
     try {
-      const raw = JSON.parse(readFileSync4(d.firestoreIndexesFile, "utf-8"));
+      const raw = JSON.parse(readFileSync3(d.firestoreIndexesFile, "utf-8"));
       if (Array.isArray(raw.fieldOverrides) && raw.fieldOverrides.length > 0) {
         findings_pre.push({
           rule: "FIELD_OVERRIDES_PRESENT",
@@ -1299,7 +988,7 @@ async function scan(rootDir, opts = {}) {
   }
   if (d.auditYamlFile && existsSync3(d.auditYamlFile)) {
     try {
-      const text = readFileSync4(d.auditYamlFile, "utf-8");
+      const text = readFileSync3(d.auditYamlFile, "utf-8");
       const parsed = parseYaml(text);
       const validated = AuditYamlSchema.safeParse(parsed);
       if (validated.success) {
@@ -1394,44 +1083,58 @@ async function scan(rootDir, opts = {}) {
   if (d.storageRulesFile && existsSync3(d.storageRulesFile)) {
     checked.push("storage.rules");
     try {
-      const raw = readFileSync4(d.storageRulesFile, "utf-8");
+      const raw = readFileSync3(d.storageRulesFile, "utf-8");
       const relStorage = model.firebase.storage?.rulesFile ?? "storage.rules";
-      const low = raw.toLowerCase().replace(/\s+/g, "");
-      const hasAllPaths = raw.includes("allPaths=**") || raw.includes("allPaths = **");
-      const writeOpen = /allowwrite:[^;]*iftrue/.test(low);
-      const getOpen = /allowget:[^;]*iftrue/.test(low);
-      if (writeOpen) {
-        findings.push({
-          rule: "STORAGE_PUBLIC_WRITE",
-          severity: "ERROR",
-          confidence: "CONFIRMED",
-          message: `Storage com escrita aberta (${relStorage}). Qualquer cliente pode escrever \u2014 cofre aberto, n\xE3o vitrine.`,
-          fingerprint: "STORAGE_PUBLIC_WRITE",
-          file: relStorage,
-          evidence: [{ id: "ev-storage-write", kind: "storage-public", summary: "write if true", confidence: "CONFIRMED" }],
-          fix: "Exigir request.auth (e dono/tenant) no write. Deixe get aberto s\xF3 em pasta de vitrine como logos/."
-        });
-      } else if (hasAllPaths && getOpen) {
-        findings.push({
-          rule: "STORAGE_ALL_PATHS_OPEN",
-          severity: "WARNING",
-          confidence: "PROBABLE",
-          message: `Storage com get aberto em /{allPaths=**} (${relStorage}). Vale para tudo \u2014 se a inten\xE7\xE3o era s\xF3 logo, restrinja a /logos/{id}.`,
-          fingerprint: "STORAGE_ALL_PATHS_OPEN",
-          file: relStorage,
-          evidence: [{ id: "ev-storage-all", kind: "storage-public", summary: "allPaths get true", confidence: "PROBABLE" }],
-          fix: "Troque /{allPaths=**} por pastas expl\xEDcitas (ex: /logos/{logoId}) com get: if true e write restrito."
-        });
-      } else if (getOpen) {
-        findings.push({
-          rule: "STORAGE_PUBLIC_READ",
-          severity: "INFO",
-          confidence: "PROBABLE",
-          message: `Storage com leitura aberta (${relStorage}). Pode ser vitrine proposital (logos) \u2014 confirme que o write segue restrito.`,
-          fingerprint: "STORAGE_PUBLIC_READ",
-          file: relStorage,
-          evidence: [{ id: "ev-storage-read", kind: "storage-public", summary: "get if true", confidence: "PROBABLE" }]
-        });
+      const clean = stripRuleComments(raw);
+      let evCounter = 0;
+      const evId = (prefix) => {
+        evCounter += 1;
+        return `ev-storage-${prefix}-${evCounter}`;
+      };
+      for (const m of parseStorageAllows(clean)) {
+        if (!isOpenStorageCondition(m.condition)) continue;
+        const ops = expandStorageOps(m.target);
+        const key = conditionKeyForFingerprint(m.condition);
+        const wildcard = /\{[^}]*=\*\*\}/.test(m.matchPath) || m.matchPath.toLowerCase().includes("allpaths");
+        const where = `${relStorage}:${m.line} (${m.matchPath}, allow ${m.target})`;
+        if (ops.has("write") || ops.has("create") || ops.has("update") || ops.has("delete")) {
+          findings.push({
+            rule: "STORAGE_PUBLIC_WRITE",
+            severity: "ERROR",
+            confidence: "CONFIRMED",
+            message: `Storage com escrita aberta (${where}). Qualquer cliente pode escrever \u2014 cofre aberto, n\xE3o vitrine.`,
+            fingerprint: `STORAGE_PUBLIC_WRITE:${m.matchPath}:${m.target}:${key}`,
+            file: relStorage,
+            line: m.line,
+            evidence: [{ id: evId("write"), kind: "storage-public", summary: `${m.matchPath} allow ${m.target}`, confidence: "CONFIRMED", location: { file: relStorage, start: { line: m.line, column: 0 } } }],
+            fix: "Exigir request.auth (e dono/tenant) no write. Deixe get aberto s\xF3 em pasta de vitrine como logos/."
+          });
+        } else if (ops.has("read") || ops.has("get") || ops.has("list")) {
+          if (wildcard) {
+            findings.push({
+              rule: "STORAGE_ALL_PATHS_OPEN",
+              severity: "WARNING",
+              confidence: "PROBABLE",
+              message: `Storage com leitura aberta em curinga total (${where}). Vale para tudo \u2014 se a inten\xE7\xE3o era s\xF3 logo, restrinja a /logos/{id}.`,
+              fingerprint: `STORAGE_ALL_PATHS_OPEN:${m.matchPath}:${m.target}:${key}`,
+              file: relStorage,
+              line: m.line,
+              evidence: [{ id: evId("all"), kind: "storage-public", summary: `${m.matchPath} allow ${m.target}`, confidence: "PROBABLE", location: { file: relStorage, start: { line: m.line, column: 0 } } }],
+              fix: "Troque o curinga total por pastas expl\xEDcitas (ex: /logos/{logoId}) com get: if true e write restrito."
+            });
+          } else {
+            findings.push({
+              rule: "STORAGE_PUBLIC_READ",
+              severity: "INFO",
+              confidence: "PROBABLE",
+              message: `Storage com leitura aberta (${where}). Pode ser vitrine proposital (logos) \u2014 confirme que o write segue restrito.`,
+              fingerprint: `STORAGE_PUBLIC_READ:${m.matchPath}:${m.target}:${key}`,
+              file: relStorage,
+              line: m.line,
+              evidence: [{ id: evId("read"), kind: "storage-public", summary: `${m.matchPath} allow ${m.target}`, confidence: "PROBABLE", location: { file: relStorage, start: { line: m.line, column: 0 } } }]
+            });
+          }
+        }
       }
     } catch {
       skipped.push("storage.rules ileg\xEDvel \u2014 Storage sem cobertura neste scan");
@@ -1440,24 +1143,38 @@ async function scan(rootDir, opts = {}) {
     skipped.push("storage.rules n\xE3o observado \u2014 Storage fora deste scan");
   }
   if (d.functionsDir) {
-    const enforced = await countAppCheckEnforced(rootDir);
-    model.functions = { dir: model.functions?.dir, appCheckEnforced: enforced };
+    const appcheck = await countAppCheckEnforced(rootDir);
+    model.functions = { dir: model.functions?.dir, appCheckEnforced: appcheck.occurrences };
     checked.push("functions-appcheck");
-    if (enforced > 0) {
+    if (appcheck.manual > 0) {
+      findings.push({
+        rule: "APPCHECK_MANUAL",
+        severity: "INFO",
+        confidence: "PROBABLE",
+        message: `Verifica\xE7\xE3o manual de AppCheck observada (${appcheck.manual} ocorr\xEAncia(s) de verifyToken). Cubra rota a rota no onRequest \u2014 o scan n\xE3o audita cada rota.`,
+        fingerprint: "APPCHECK_MANUAL",
+        evidence: [{ id: "ev-appcheck-manual", kind: "appcheck", summary: `${appcheck.manual} verifyToken`, confidence: "PROBABLE" }]
+      });
+    }
+    if (appcheck.occurrences > 0) {
       findings.push({
         rule: "APPCHECK_ENFORCED",
         severity: "INFO",
         confidence: "CONFIRMED",
-        message: `AppCheck ativo em ${enforced} function(s). Carimbo do app oficial \u2014 n\xE3o prova quem \xE9 o usu\xE1rio nem o tenant. Autoriza\xE7\xE3o segue nas Rules/guardas.`,
+        message: `enforceAppCheck observado (${appcheck.occurrences} ocorr\xEAncia(s) em ${appcheck.files} arquivo(s)). Carimbo do app oficial \u2014 n\xE3o prova quem \xE9 o usu\xE1rio nem o tenant. Autoriza\xE7\xE3o segue nas Rules/guardas.`,
         fingerprint: "APPCHECK_ENFORCED",
-        evidence: [{ id: "ev-appcheck", kind: "appcheck", summary: `${enforced} enforced`, confidence: "CONFIRMED" }]
+        evidence: [{ id: "ev-appcheck", kind: "appcheck", summary: `${appcheck.occurrences} ocorr\xEAncias`, confidence: "CONFIRMED" }]
       });
-    } else {
-      skipped.push("functions sem enforceAppCheck observado \u2014 AppCheck sem cobertura afirmativa");
+    } else if (appcheck.manual === 0) {
+      skipped.push("functions sem enforceAppCheck nem verifyToken observado \u2014 AppCheck sem cobertura afirmativa (onRequest exige verifica\xE7\xE3o manual por rota)");
+    }
+    if (appcheck.limitHit) {
+      skipped.push("functions: teto de varredura atingido \u2014 AppCheck parcial neste scan");
     }
   } else {
     skipped.push("functions n\xE3o observadas \u2014 AppCheck fora deste scan");
   }
+  skipped.push("isolamento por tenant (ownerId/tenantId) n\xE3o verificado \u2014 fora dos checks implementados, nunca verde silencioso");
   const modelCheck = ProjectModelSchema.safeParse(model);
   if (!modelCheck.success) {
     findings.push({
@@ -1517,12 +1234,21 @@ async function countAppCheckEnforced(rootDir) {
   try {
     const { readdirSync, readFileSync: readSync, statSync: stat } = await import("fs");
     const { join: joinP } = await import("path");
+    const { stripRuleComments: strip } = await import("./rules-GTGZWN5U.js");
     const roots = [joinP(rootDir, "functions")];
-    let count = 0;
+    let occurrences = 0;
+    const files = /* @__PURE__ */ new Set();
+    let manual = 0;
+    let limitHit = false;
     const stack = [...roots];
     let guard = 0;
+    const isTestFile = (p) => {
+      const n = p.replace(/\\/g, "/");
+      return /\.test\.[tj]sx?$/.test(n) || /\.spec\.[tj]sx?$/.test(n) || /(^|\/)__tests__\//.test(n);
+    };
     while (stack.length > 0 && guard < 200) {
       guard += 1;
+      if (guard >= 200 && stack.length > 0) limitHit = true;
       const cur = stack.pop();
       let entries = [];
       try {
@@ -1545,17 +1271,96 @@ async function countAppCheckEnforced(rootDir) {
           continue;
         }
         if (!/\.(ts|js|mjs|cjs)$/.test(name)) continue;
+        if (isTestFile(abs)) continue;
         try {
-          const text = readSync(abs, "utf-8");
-          if (/enforceAppCheck\s*:\s*true/.test(text)) count += 1;
+          const text = strip(readSync(abs, "utf-8"));
+          const hits = text.match(/enforceAppCheck\s*:\s*true/g);
+          if (hits) {
+            occurrences += hits.length;
+            files.add(abs);
+          }
+          const manualHits = text.match(/verifyToken\s*\(/g);
+          if (manualHits) manual += manualHits.length;
         } catch {
         }
       }
     }
-    return count;
+    return { occurrences, files: files.size, manual, limitHit };
   } catch {
-    return 0;
+    return { occurrences: 0, files: 0, manual: 0, limitHit: false };
+  }
+}
+function isOpenStorageCondition(condition) {
+  if (condition === void 0) return true;
+  const norm = stripOuterParens(condition).toLowerCase().replace(/\s+/g, "");
+  if (norm === "" || norm === "true") return true;
+  if (/(^|\|\|)true($|\|\|)/.test(norm)) return true;
+  if (norm.includes("request.auth==null") || norm.includes("request.auth===null")) return true;
+  return false;
+}
+function parseStorageAllows(clean) {
+  const out = [];
+  const matches = [];
+  const matchRe = /match\s+/g;
+  let mm;
+  while ((mm = matchRe.exec(clean)) !== null) {
+    const lineStart = clean.lastIndexOf("\n", mm.index) + 1;
+    const lineEnd = clean.indexOf("\n", mm.index);
+    const line = clean.slice(lineStart, lineEnd === -1 ? void 0 : lineEnd);
+    const brace = line.lastIndexOf("{");
+    if (brace === -1) continue;
+    const path = line.slice(mm.index - lineStart + 5, brace).trim() || "/(unknown)";
+    const openBrace = lineStart + brace;
+    let depth = 0;
+    let quote = null;
+    let end = clean.length;
+    for (let i = openBrace; i < clean.length; i++) {
+      const c = clean[i];
+      if (quote) {
+        if (c === quote && clean[i - 1] !== "\\") quote = null;
+        continue;
+      }
+      if (c === '"' || c === "'" || c === "`") {
+        quote = c;
+        continue;
+      }
+      if (c === "{") depth += 1;
+      else if (c === "}") {
+        depth -= 1;
+        if (depth === 0) {
+          end = i + 1;
+          break;
+        }
+      }
+    }
+    matches.push({ path, start: mm.index, end });
+  }
+  const re = /allow\s+([^;:]+?)(?::\s*if\s+([^;]+))?;/gi;
+  let m;
+  while ((m = re.exec(clean)) !== null) {
+    const containing = matches.filter((b) => b.start <= m.index && m.index < b.end).sort((a, b) => b.start - a.start);
+    const line = clean.slice(0, m.index).split("\n").length;
+    out.push({ target: m[1].trim(), condition: m[2]?.trim(), matchPath: containing[0]?.path ?? "/(unknown)", line });
+  }
+  return out;
+}
+function expandStorageOps(target) {
+  const out = /* @__PURE__ */ new Set();
+  for (const part of target.toLowerCase().split(",").map((s) => s.trim()).filter(Boolean)) {
+    if (part === "read") {
+      out.add("read");
+      out.add("get");
+      out.add("list");
+    } else if (part === "write") {
+      out.add("write");
+      out.add("create");
+      out.add("update");
+      out.add("delete");
+    } else {
+      out.add(part);
+    }
   }
+  return out;
 }
 
 export {
@@ -1564,26 +1369,6 @@ export {
   classifyOrigin,
   emptyModel,
   enrichWithGraph,
-  stripRuleComments,
-  opsFrom,
-  normalizeTarget,
-  parseMatchBlocks,
-  buildFullPath,
-  parseRuleFunctions,
-  parseRuleFunctionsDetailed,
-  inlineHelperArgs,
-  inlineHelpersInCondition,
-  resolveHelperCondition,
-  resolveHelperConditionDetailed,
-  extractRules,
-  extractRulesContent,
-  stripOuterParens,
-  isPublicCondition,
-  hashShort,
-  conditionKeyForFingerprint,
-  findPublicAllows,
-  helperBodyToCondition,
-  findPublicAllowsContent,
   IMPLEMENTED_CHECKS,
   runChecks,
   SeveritySchema,