@justmpm/firebase-audit 0.4.3 → 0.5.1

package/dist/{chunk-3SEVYYCX.js → chunk-GDO2DLNQ.js}

@@ -1,10 +1,23 @@
+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";
 
 // src/discovery.ts
-import { existsSync, readFileSync } from "fs";
+import { existsSync, readFileSync, statSync } from "fs";
 import { join, relative } from "path";
 function discover(rootDir) {
   const pick = (name) => {
@@ -16,6 +29,16 @@ function discover(rootDir) {
   let databaseId = null;
   let rulesFile = pick("firestore.rules");
   let indexesFile = pick("firestore.indexes.json");
+  let storageFile = pick("storage.rules");
+  let functionsDir = null;
+  const functionsPick = pick("functions");
+  if (functionsPick) {
+    try {
+      functionsDir = statSync(functionsPick).isDirectory() ? functionsPick : null;
+    } catch {
+      functionsDir = null;
+    }
+  }
   const firebaserc = pick(".firebaserc");
   if (firebaserc) {
     try {
@@ -36,6 +59,10 @@ function discover(rootDir) {
         const p = join(rootDir, raw.firestore.indexes);
         if (existsSync(p)) indexesFile = p;
       }
+      if (typeof raw.storage?.rules === "string") {
+        const p = join(rootDir, raw.storage.rules);
+        if (existsSync(p)) storageFile = p;
+      }
     } catch {
     }
   }
@@ -44,6 +71,8 @@ function discover(rootDir) {
     firebaseJson,
     firestoreRulesFile: rulesFile,
     firestoreIndexesFile: indexesFile,
+    storageRulesFile: storageFile,
+    functionsDir,
     auditYamlFile: pick("firebase-audit.yaml"),
     projectId,
     databaseId,
@@ -93,8 +122,10 @@ function emptyModel(rootDir, d) {
       firestore: {
         rulesFile: rel(d.firestoreRulesFile),
         indexesFile: rel(d.firestoreIndexesFile)
-      }
+      },
+      storage: d.storageRulesFile ? { rulesFile: rel(d.storageRulesFile) } : void 0
     },
+    functions: d.functionsDir ? { dir: rel(d.functionsDir) } : void 0,
     authorization: { adapter: null, roles: [], permissions: [] },
     queries: [],
     rules: [],
@@ -109,14 +140,14 @@ async function enrichWithGraph(rootDir, d) {
     const res = await ai.map({ cwd: rootDir, format: "json" });
     const files = Array.isArray(res.files) ? res.files : [];
     const code = files.map((f) => String(f.path).replace(/\\/g, "/")).filter((p) => /\.(ts|tsx|js|jsx|mjs|cjs)$/.test(p)).filter((p) => !p.includes("node_modules/") && !/(^|\/)dist\//.test(p)).slice(0, 500);
-    const { readFileSync: readSync, existsSync: existsSyncFn, statSync } = await import("fs");
+    const { readFileSync: readSync, existsSync: existsSyncFn, statSync: statSync2 } = await import("fs");
     const { join: joinP } = await import("path");
     for (const rel of code) {
       let content = "";
       try {
         const abs = joinP(rootDir, rel);
         if (!existsSyncFn(abs)) continue;
-        if (statSync(abs).size > 100 * 1024) continue;
+        if (statSync2(abs).size > 100 * 1024) continue;
         content = readSync(abs, "utf-8");
       } catch {
         content = "";
@@ -129,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"];
@@ -503,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 {
@@ -555,12 +252,15 @@ async function runChecks(model, rootDir, opts = {}) {
   const permissionCalls = await collectPermissionCalls(rootDir, adapterFn);
   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|isMember|isSignedIn|_member/i.test(n)
+    );
     findings.push(
       make(
         "FBA009",
         "WARNING",
         "UNKNOWN",
-        `Adapter de autoriza\xE7\xE3o "${adapterFn}" n\xE3o observado no c\xF3digo. Sem adapter, permiss\xF5es s\xE3o UNKNOWN.`,
+        tenantHint ? `Adapter "${adapterFn}" n\xE3o observado no c\xF3digo. Encontrei portaria tenant (${tenantHint}) nas Rules, mas sem fun\xE7\xE3o de permiss\xE3o que receba o nome como texto n\xE3o d\xE1 para ligar papel\xD7recurso \u2014 permiss\xF5es seguem UNKNOWN.` : `Adapter "${adapterFn}" n\xE3o observado no c\xF3digo. Sem fun\xE7\xE3o de permiss\xE3o que receba o nome como texto, permiss\xF5es s\xE3o UNKNOWN.`,
         `FBA009:${adapterFn}`,
         { evidence: [ev("adapter-missing", adapterFn, "UNKNOWN")] }
       )
@@ -790,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";
@@ -1041,8 +741,15 @@ var ProjectModelSchema = z.strictObject({
     firestore: z.strictObject({
       rulesFile: z.string().optional(),
       indexesFile: z.string().optional()
-    })
+    }),
+    storage: z.strictObject({
+      rulesFile: z.string().optional()
+    }).optional()
   }),
+  functions: z.strictObject({
+    dir: z.string().optional(),
+    appCheckEnforced: z.number().int().nonnegative().optional()
+  }).optional(),
   authorization: z.strictObject({
     adapter: z.string().nullable(),
     roles: z.array(RoleSchema),
@@ -1136,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]
@@ -1191,7 +898,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",
@@ -1206,11 +913,11 @@ async function scan(rootDir, opts = {}) {
       }
       const validModes = ["ASCENDING", "DESCENDING", "ARRAY_CONTAINS", "VECTOR"];
       const entries = [];
-      let skipped = 0;
+      let skipped2 = 0;
       let scopeSkipped = 0;
       for (const i of raw.indexes ?? []) {
         if (typeof i.collectionGroup !== "string" || i.collectionGroup.length === 0) {
-          skipped += 1;
+          skipped2 += 1;
           continue;
         }
         if (i.queryScope !== void 0 && i.queryScope !== "COLLECTION" && i.queryScope !== "COLLECTION_GROUP") {
@@ -1220,13 +927,13 @@ async function scan(rootDir, opts = {}) {
         const fields = [];
         for (const f of i.fields ?? []) {
           if (typeof f.fieldPath !== "string" || f.fieldPath.length === 0) {
-            skipped += 1;
+            skipped2 += 1;
             continue;
           }
           const rawMode = f.vectorConfig ? "VECTOR" : f.arrayConfig === "CONTAINS" ? "ARRAY_CONTAINS" : typeof f.mode === "string" ? f.mode : f.order;
           const mode = rawMode;
           if (mode !== "ASCENDING" && mode !== "DESCENDING" && mode !== "ARRAY_CONTAINS" && mode !== "VECTOR") {
-            skipped += 1;
+            skipped2 += 1;
             continue;
           }
           fields.push({ fieldPath: f.fieldPath, mode });
@@ -1239,11 +946,11 @@ async function scan(rootDir, opts = {}) {
         const last = entries[entries.length - 1];
         if (last.fields.length === 0) {
           entries.pop();
-          skipped += 1;
+          skipped2 += 1;
         }
       }
       model.indexes = entries;
-      const totalSkipped = skipped + scopeSkipped;
+      const totalSkipped = skipped2 + scopeSkipped;
       if (totalSkipped > 0) {
         findings_pre.push({
           rule: "INDEXES_INVALID",
@@ -1271,7 +978,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) {
@@ -1361,6 +1068,82 @@ async function scan(rootDir, opts = {}) {
   }
   const checksFindings = await runChecks(model, rootDir, { adapterFn: opts.adapterFn ?? model.authorization.adapter ?? void 0 });
   const findings = [...findings_pre, ...checksFindings];
+  const checked = ["firestore.rules", "indexes", "contract", "client-code"];
+  const skipped = [];
+  if (d.storageRulesFile && existsSync3(d.storageRulesFile)) {
+    checked.push("storage.rules");
+    try {
+      const raw = readFileSync3(d.storageRulesFile, "utf-8");
+      const relStorage = model.firebase.storage?.rulesFile ?? "storage.rules";
+      const clean = stripRuleComments(raw);
+      const low = clean.toLowerCase().replace(/\s+/g, "");
+      const hasAllPaths = low.includes("allpaths=**") || /\{[^}]*=\*\*\}/.test(low);
+      for (const m of parseStorageAllows(clean)) {
+        const open = m.condition === void 0 || m.condition.trim().toLowerCase().replace(/\s+/g, "") === "true";
+        if (!open) continue;
+        const ops = expandStorageOps(m.target);
+        const key = conditionKeyForFingerprint(m.condition);
+        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 (${relStorage}, allow ${m.target}). Qualquer cliente pode escrever \u2014 cofre aberto, n\xE3o vitrine.`,
+            fingerprint: `STORAGE_PUBLIC_WRITE:${m.target}:${key}`,
+            file: relStorage,
+            evidence: [{ id: `ev-storage-write-${findings.length}`, kind: "storage-public", summary: `${m.target} 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 (ops.has("read") || ops.has("get") || ops.has("list")) {
+          if (hasAllPaths) {
+            findings.push({
+              rule: "STORAGE_ALL_PATHS_OPEN",
+              severity: "WARNING",
+              confidence: "PROBABLE",
+              message: `Storage com leitura aberta em curinga total (${relStorage}, allow ${m.target}). Vale para tudo \u2014 se a inten\xE7\xE3o era s\xF3 logo, restrinja a /logos/{id}.`,
+              fingerprint: `STORAGE_ALL_PATHS_OPEN:${m.target}:${key}`,
+              file: relStorage,
+              evidence: [{ id: `ev-storage-all-${findings.length}`, kind: "storage-public", summary: `${m.target} if true`, confidence: "PROBABLE" }],
+              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 (${relStorage}, allow ${m.target}). Pode ser vitrine proposital (logos) \u2014 confirme que o write segue restrito.`,
+              fingerprint: `STORAGE_PUBLIC_READ:${m.target}:${key}`,
+              file: relStorage,
+              evidence: [{ id: `ev-storage-read-${findings.length}`, kind: "storage-public", summary: `${m.target} if true`, confidence: "PROBABLE" }]
+            });
+          }
+        }
+      }
+    } catch {
+      skipped.push("storage.rules ileg\xEDvel \u2014 Storage sem cobertura neste scan");
+    }
+  } else {
+    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 };
+    checked.push("functions-appcheck");
+    if (enforced > 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.`,
+        fingerprint: "APPCHECK_ENFORCED",
+        evidence: [{ id: "ev-appcheck", kind: "appcheck", summary: `${enforced} enforced`, confidence: "CONFIRMED" }]
+      });
+    } else {
+      skipped.push("functions sem enforceAppCheck observado \u2014 AppCheck sem cobertura afirmativa");
+    }
+  } else {
+    skipped.push("functions n\xE3o observadas \u2014 AppCheck fora deste scan");
+  }
   const modelCheck = ProjectModelSchema.safeParse(model);
   if (!modelCheck.success) {
     findings.push({
@@ -1399,7 +1182,7 @@ async function scan(rootDir, opts = {}) {
   );
   const totalChecks = IMPLEMENTED_CHECKS.length;
   const passedChecks = IMPLEMENTED_CHECKS.filter((c) => !failedChecks.has(c)).length;
-  const infraSkipped = findings.filter((f) => !implemented.has(f.rule)).length;
+  const infra = findings.filter((f) => !implemented.has(f.rule)).map((f) => ({ rule: f.rule, message: f.message }));
   return {
     model,
     findings,
@@ -1407,15 +1190,93 @@ async function scan(rootDir, opts = {}) {
       errors,
       warnings,
       infos,
-      passed: passedChecks,
-      total: totalChecks,
       passedChecks,
       totalChecks,
-      infraSkipped,
+      infra,
+      checked,
+      skipped,
       coveragePct: null
     }
   };
 }
+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;
+    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;
+      const cur = stack.pop();
+      let entries = [];
+      try {
+        entries = readdirSync(cur, { withFileTypes: true });
+      } catch {
+        continue;
+      }
+      for (const e of entries) {
+        const name = e.name;
+        const abs = joinP(cur, name);
+        let isDir = false;
+        try {
+          isDir = stat(abs).isDirectory();
+        } catch {
+          continue;
+        }
+        if (isDir) {
+          if (name === "node_modules" || name === "dist" || name === "lib") continue;
+          stack.push(abs);
+          continue;
+        }
+        if (!/\.(ts|js|mjs|cjs)$/.test(name)) continue;
+        if (isTestFile(abs)) continue;
+        try {
+          const text = strip(readSync(abs, "utf-8"));
+          const hits = text.match(/enforceAppCheck\s*:\s*true/g);
+          if (hits) count += hits.length;
+        } catch {
+        }
+      }
+    }
+    return count;
+  } catch {
+    return 0;
+  }
+}
+function parseStorageAllows(clean) {
+  const out = [];
+  const re = /allow\s+([^;:]+?)(?::\s*if\s+([^;]+))?;/gi;
+  let m;
+  while ((m = re.exec(clean)) !== null) {
+    out.push({ target: m[1].trim(), condition: m[2]?.trim() });
+  }
+  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 {
   discover,
@@ -1423,26 +1284,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,