code-auditor-mcp 3.4.14 → 3.4.16

package/dist/services/auditJobService.js

@@ -1,36 +1,77 @@
 /**
- * In-memory audit job queue. Jobs are lost on process restart.
+ * DB-backed audit job model.
+ *
+ * A job is a view over a `findings_ledger_runs` row: `jobId` IS `run_id`, and
+ * lifecycle state (`queued → running → completed/failed`, progress, error,
+ * resultId) lives on the run row. There is no second job model and no
+ * in-memory Map — this delegates to `ledger.ts`, so synchronous and detached
+ * audits share one write path.
+ *
+ * The database handle is passed in explicitly (matching `ledger.ts`); callers
+ * resolve the per-project DB via `CodeIndexDB.getInstance(undefined, projectRoot)`.
  */
-const jobs = new Map();
-function randomId() {
-    return `job_${Date.now()}_${Math.random().toString(36).slice(2, 11)}`;
-}
-export function createAuditJob(resolvedPath) {
-    const jobId = randomId();
-    const rec = {
-        jobId,
-        status: 'queued',
-        path: resolvedPath,
-        createdAt: new Date().toISOString(),
+import path from 'node:path';
+import { readFileSync } from 'node:fs';
+import { fileURLToPath } from 'node:url';
+import { createLedgerRun, detectRunInput, getLedgerRun, patchLedgerRun, } from '../ledger.js';
+// Package version — read once at module load (mirrors auditRunner.ts).
+const __svcDirname = path.dirname(fileURLToPath(import.meta.url));
+const _pkg = JSON.parse(readFileSync(path.join(__svcDirname, '..', '..', 'package.json'), 'utf-8'));
+const TOOL_VERSION = String(_pkg.version || '0.0.0');
+function toAuditJobRecord(detail) {
+    let progress;
+    if (detail.progressJson) {
+        try {
+            progress = JSON.parse(detail.progressJson);
+        }
+        catch {
+            progress = undefined;
+        }
+    }
+    return {
+        jobId: detail.runId,
+        status: detail.status,
+        path: detail.projectRoot ?? detail.target ?? '',
+        createdAt: detail.timestamp,
+        ...(detail.startedAt ? { startedAt: detail.startedAt } : {}),
+        ...(detail.finishedAt ? { finishedAt: detail.finishedAt } : {}),
+        ...(detail.resultId ? { resultId: detail.resultId } : {}),
+        ...(detail.error ? { error: detail.error } : {}),
+        ...(progress ? { progress } : {}),
     };
-    jobs.set(jobId, rec);
-    return rec;
 }
-export function getAuditJob(jobId) {
-    return jobs.get(jobId);
+export function createAuditJob(db, projectRoot, meta = {}) {
+    const runInput = detectRunInput(meta.command ?? 'audit.start', meta.surface ?? 'mcp', meta.scope ?? 'all', projectRoot, TOOL_VERSION);
+    const runId = createLedgerRun(db, runInput, { status: 'queued', projectRoot });
+    // getLedgerRun cannot miss a row we just created; the non-null assertion is safe.
+    return toAuditJobRecord(getLedgerRun(db, runId));
+}
+export function getAuditJob(db, jobId) {
+    const detail = getLedgerRun(db, jobId);
+    return detail ? toAuditJobRecord(detail) : undefined;
 }
-export function patchAuditJob(jobId, patch) {
-    const cur = jobs.get(jobId);
-    if (!cur)
+export function patchAuditJob(db, jobId, patch) {
+    if (!getLedgerRun(db, jobId))
         return undefined;
-    const next = { ...cur, ...patch };
-    jobs.set(jobId, next);
-    return next;
+    const ledgerPatch = {};
+    if (patch.status !== undefined)
+        ledgerPatch.status = patch.status;
+    if (patch.startedAt !== undefined)
+        ledgerPatch.startedAt = patch.startedAt ?? null;
+    if (patch.finishedAt !== undefined)
+        ledgerPatch.finishedAt = patch.finishedAt ?? null;
+    if (patch.error !== undefined)
+        ledgerPatch.error = patch.error ?? null;
+    if (patch.resultId !== undefined)
+        ledgerPatch.resultId = patch.resultId ?? null;
+    if (patch.progress !== undefined)
+        ledgerPatch.progressJson = JSON.stringify(patch.progress);
+    patchLedgerRun(db, jobId, ledgerPatch);
+    return getAuditJob(db, jobId);
 }
-export function setAuditJobProgress(jobId, progress) {
-    const cur = jobs.get(jobId);
-    if (!cur)
+export function setAuditJobProgress(db, jobId, progress) {
+    if (!getLedgerRun(db, jobId))
         return;
-    jobs.set(jobId, { ...cur, progress });
+    patchLedgerRun(db, jobId, { progressJson: JSON.stringify(progress) });
 }
 //# sourceMappingURL=auditJobService.js.map

package/dist/services/auditJobService.js.map

@@ -1 +1 @@
-{"version":3,"file":"auditJobService.js","sourceRoot":"","sources":["../../src/services/auditJobService.ts"],"names":[],"mappings":"AAAA;;GAEG;AAyBH,MAAM,IAAI,GAAG,IAAI,GAAG,EAA0B,CAAC;AAE/C,SAAS,QAAQ;IACf,OAAO,OAAO,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,YAAoB;IACjD,MAAM,KAAK,GAAG,QAAQ,EAAE,CAAC;IACzB,MAAM,GAAG,GAAmB;QAC1B,KAAK;QACL,MAAM,EAAE,QAAQ;QAChB,IAAI,EAAE,YAAY;QAClB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACrB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAa;IACvC,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,KAA8B;IACzE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,MAAM,IAAI,GAAG,EAAE,GAAG,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;IAClC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACtB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,QAA0B;IAC3E,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,CAAC,GAAG;QAAE,OAAO;IACjB,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;AACxC,CAAC"}
+{"version":3,"file":"auditJobService.js","sourceRoot":"","sources":["../../src/services/auditJobService.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EACL,eAAe,EACf,cAAc,EACd,YAAY,EACZ,cAAc,GACf,MAAM,cAAc,CAAC;AAsCtB,uEAAuE;AACvE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAClE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;AACpG,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,CAAC;AAErD,SAAS,gBAAgB,CAAC,MAAuB;IAC/C,IAAI,QAAsC,CAAC;IAC3C,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACxB,IAAI,CAAC;YACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAqB,CAAC;QACjE,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,GAAG,SAAS,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,MAAM,CAAC,MAAwB;QACvC,IAAI,EAAE,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE;QAC/C,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,EAAqB,EACrB,WAAmB,EACnB,IAAI,GAAuB,EAAE;IAE7B,MAAM,QAAQ,GAAG,cAAc,CAC7B,IAAI,CAAC,OAAO,IAAI,aAAa,EAC7B,IAAI,CAAC,OAAO,IAAI,KAAK,EACrB,IAAI,CAAC,KAAK,IAAI,KAAK,EACnB,WAAW,EACX,YAAY,CACb,CAAC;IACF,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;IAC/E,kFAAkF;IAClF,OAAO,gBAAgB,CAAC,YAAY,CAAC,EAAE,EAAE,KAAK,CAAE,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,EAAqB,EAAE,KAAa;IAC9D,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,EAAqB,EACrB,KAAa,EACb,KAA8B;IAE9B,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE/C,MAAM,WAAW,GAAmB,EAAE,CAAC;IACvC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,WAAW,CAAC,MAAM,GAAG,KAAK,CAAC,MAAyB,CAAC;IACrF,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;QAAE,WAAW,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC;IACnF,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS;QAAE,WAAW,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC;IACtF,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,WAAW,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC;IACvE,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,WAAW,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC;IAChF,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,WAAW,CAAC,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAE5F,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACvC,OAAO,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,EAAqB,EAAE,KAAa,EAAE,QAA0B;IAClG,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC;QAAE,OAAO;IACrC,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AACxE,CAAC"}

package/dist/services/fileAccounting.d.ts

@@ -0,0 +1,83 @@
+/**
+ * File accounting accumulator (Spec 44).
+ *
+ * Makes file handling *total*: every file the discovery walk touches lands in
+ * exactly one terminal state — `analyzed` (reached >= 1 stage-2 visitor),
+ * `partially analyzed` (dropped at stage 2 as `no adapter` / `no visitor
+ * matched` yet still consumed/read by a later layer — the style indexer or a
+ * stage-3 `readSource`), or `dropped` (with one of eight named reasons) — and
+ * the accounting must balance
+ * (`analyzed + partiallyAnalyzed + dropped === touched`), asserted at the end
+ * of the run.
+ *
+ * The accumulator is owned by the run and threaded discovery -> stage 1 ->
+ * stage 2. Files inside infrastructure directories (node_modules, .git, …) are
+ * NOT in the universe — they are recorded as an aggregate `infraPruned` line,
+ * never per-file. Reason 8 (`unsupported dialect`) is a sub-layer: style-level
+ * unread sources that do NOT affect the file-level balance, reported under the
+ * reason in metadata but excluded from `dropped`.
+ */
+import type { FileDropReason, FileAccountingSummary, FileAccountingFileEntry } from '../types.js';
+/** Detail attached to a drop (everything except the filePath, which is the key). */
+export type FileDropDetail = Omit<FileAccountingFileEntry, 'filePath'>;
+/**
+ * Thrown when the accounting does not balance: a file was touched but never
+ * classified (a silent-drop leak), or classified more than once. Surfaced by
+ * `assertBalanced()` at the end of the run and converted to a non-zero exit.
+ */
+export declare class AccountingBalanceError extends Error {
+    readonly name = "AccountingBalanceError";
+    constructor(message: string);
+}
+export declare class FileAccounting {
+    private readonly entries;
+    private readonly infraPrunedMap;
+    private readonly unsupportedDialects;
+    private readonly conflicts;
+    /** Mark a candidate file as part of the touched universe. */
+    recordTouched(filePath: string): void;
+    /** Mark a file as analyzed (its tuple reached >= 1 stage-2 visitor). */
+    recordAnalyzed(filePath: string): void;
+    /** Mark a file as dropped with exactly one of the eight reasons. */
+    recordDropped(reason: FileDropReason, filePath: string, detail?: FileDropDetail): void;
+    /**
+     * Sanctioned transition used only for the size-threshold path: an oversized
+     * `.sql` orphan reaches the schema-sql visitor (and is therefore first
+     * recorded `analyzed`) before being skipped. Reclassify it as dropped.
+     */
+    reclassifyAnalyzedToDropped(reason: FileDropReason, filePath: string, detail?: FileDropDetail): void;
+    /**
+     * Reclassify a file dropped at stage 2 as "partially analyzed": it reached
+     * zero stage-2 visitors (hence `no adapter` / `no visitor matched`) yet was
+     * still *consumed* (read) by a later layer — the style indexer readFileSyncs
+     * every discovered file, stage-3 reducers pull source via `readSource`. The
+     * trigger is consumption, not output: a clean file the indexer read is just as
+     * "partially analyzed" as one that happened to produce findings. The original
+     * reason is retained — it still explains why the file wasn't *fully* analyzed.
+     *
+     * Only `no adapter` and `no visitor matched` are reclassifiable: the other
+     * drop reasons mean the file never reached (directory pruned, extension not
+     * known, parse failed) or was deliberately removed from (size threshold, path
+     * profile excluded) every analysis layer, so a read from one of them would be
+     * a genuine accounting bug, not a partial analysis. No-ops otherwise, so the
+     * pipeline can call it blindly over every consumed file path.
+     */
+    reclassifyDroppedToPartiallyAnalyzed(filePath: string): void;
+    /** Record an infrastructure directory prune (aggregate, not per-file). */
+    recordInfraPruned(directory: string, rule: string): void;
+    /**
+     * Reason 8 sub-layer: a style-level unread source (Spec 42 R2). Recorded in
+     * the summary under `unsupported dialect` but does NOT touch the file-level
+     * `analyzed + dropped === touched` balance.
+     */
+    recordUnsupportedDialect(filePath: string, reason?: string): void;
+    /**
+     * Verify the balance. Throws `AccountingBalanceError` if any file was touched
+     * but never classified (a leak) or classified more than once. Called at the
+     * end of the run before metadata assembly.
+     */
+    assertBalanced(): void;
+    /** Produce the summary (touched/analyzed/partiallyAnalyzed/dropped counts + per-reason lists). */
+    summary(): FileAccountingSummary;
+}
+//# sourceMappingURL=fileAccounting.d.ts.map

package/dist/services/fileAccounting.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fileAccounting.d.ts","sourceRoot":"","sources":["../../src/services/fileAccounting.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAElG,oFAAoF;AACpF,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,uBAAuB,EAAE,UAAU,CAAC,CAAC;AAUvE;;;;GAIG;AACH,qBAAa,sBAAuB,SAAQ,KAAK;IAC/C,SAAkB,IAAI,4BAA4B;IAClD,YAAY,OAAO,EAAE,MAAM,EAE1B;CACF;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA4B;IACpD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA+E;IAC9G,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAoD;IACxF,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAgB;IAE1C,6DAA6D;IAC7D,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAIpC;IAED,wEAAwE;IACxE,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAYrC;IAED,oEAAoE;IACpE,aAAa,CAAC,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,cAAc,GAAG,IAAI,CAmBrF;IAED;;;;OAIG;IACH,2BAA2B,CAAC,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,cAAc,GAAG,IAAI,CASnG;IAED;;;;;;;;;;;;;;;OAeG;IACH,oCAAoC,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAK3D;IAED,0EAA0E;IAC1E,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAKvD;IAED;;;;OAIG;IACH,wBAAwB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAEhE;IAED;;;;OAIG;IACH,cAAc,IAAI,IAAI,CAqBrB;IAED,kGAAkG;IAClG,OAAO,IAAI,qBAAqB,CAmD/B;CACF"}

package/dist/services/fileAccounting.js

@@ -0,0 +1,215 @@
+/**
+ * File accounting accumulator (Spec 44).
+ *
+ * Makes file handling *total*: every file the discovery walk touches lands in
+ * exactly one terminal state — `analyzed` (reached >= 1 stage-2 visitor),
+ * `partially analyzed` (dropped at stage 2 as `no adapter` / `no visitor
+ * matched` yet still consumed/read by a later layer — the style indexer or a
+ * stage-3 `readSource`), or `dropped` (with one of eight named reasons) — and
+ * the accounting must balance
+ * (`analyzed + partiallyAnalyzed + dropped === touched`), asserted at the end
+ * of the run.
+ *
+ * The accumulator is owned by the run and threaded discovery -> stage 1 ->
+ * stage 2. Files inside infrastructure directories (node_modules, .git, …) are
+ * NOT in the universe — they are recorded as an aggregate `infraPruned` line,
+ * never per-file. Reason 8 (`unsupported dialect`) is a sub-layer: style-level
+ * unread sources that do NOT affect the file-level balance, reported under the
+ * reason in metadata but excluded from `dropped`.
+ */
+/**
+ * Thrown when the accounting does not balance: a file was touched but never
+ * classified (a silent-drop leak), or classified more than once. Surfaced by
+ * `assertBalanced()` at the end of the run and converted to a non-zero exit.
+ */
+export class AccountingBalanceError extends Error {
+    name = 'AccountingBalanceError';
+    constructor(message) {
+        super(message);
+    }
+}
+export class FileAccounting {
+    entries = new Map();
+    infraPrunedMap = new Map();
+    unsupportedDialects = [];
+    conflicts = [];
+    /** Mark a candidate file as part of the touched universe. */
+    recordTouched(filePath) {
+        if (!this.entries.has(filePath)) {
+            this.entries.set(filePath, { state: 'touched' });
+        }
+    }
+    /** Mark a file as analyzed (its tuple reached >= 1 stage-2 visitor). */
+    recordAnalyzed(filePath) {
+        const entry = this.entries.get(filePath);
+        if (!entry) {
+            this.entries.set(filePath, { state: 'analyzed' });
+            return;
+        }
+        if (entry.state === 'analyzed')
+            return; // idempotent — a file can reach several visitors
+        if (entry.state === 'dropped') {
+            this.conflicts.push(`${filePath}: analyzed after dropped(${entry.reason})`);
+            return;
+        }
+        entry.state = 'analyzed';
+    }
+    /** Mark a file as dropped with exactly one of the eight reasons. */
+    recordDropped(reason, filePath, detail) {
+        const entry = this.entries.get(filePath);
+        if (!entry) {
+            this.entries.set(filePath, { state: 'dropped', reason, detail });
+            return;
+        }
+        if (entry.state === 'dropped') {
+            if (entry.reason !== reason) {
+                this.conflicts.push(`${filePath}: dropped(${reason}) after dropped(${entry.reason})`);
+            }
+            return;
+        }
+        if (entry.state === 'analyzed') {
+            this.conflicts.push(`${filePath}: dropped(${reason}) after analyzed`);
+            return;
+        }
+        entry.state = 'dropped';
+        entry.reason = reason;
+        entry.detail = detail;
+    }
+    /**
+     * Sanctioned transition used only for the size-threshold path: an oversized
+     * `.sql` orphan reaches the schema-sql visitor (and is therefore first
+     * recorded `analyzed`) before being skipped. Reclassify it as dropped.
+     */
+    reclassifyAnalyzedToDropped(reason, filePath, detail) {
+        const entry = this.entries.get(filePath);
+        if (!entry || entry.state !== 'analyzed') {
+            this.conflicts.push(`${filePath}: reclassify(${reason}) when state=${entry?.state ?? 'absent'}`);
+            return;
+        }
+        entry.state = 'dropped';
+        entry.reason = reason;
+        entry.detail = detail;
+    }
+    /**
+     * Reclassify a file dropped at stage 2 as "partially analyzed": it reached
+     * zero stage-2 visitors (hence `no adapter` / `no visitor matched`) yet was
+     * still *consumed* (read) by a later layer — the style indexer readFileSyncs
+     * every discovered file, stage-3 reducers pull source via `readSource`. The
+     * trigger is consumption, not output: a clean file the indexer read is just as
+     * "partially analyzed" as one that happened to produce findings. The original
+     * reason is retained — it still explains why the file wasn't *fully* analyzed.
+     *
+     * Only `no adapter` and `no visitor matched` are reclassifiable: the other
+     * drop reasons mean the file never reached (directory pruned, extension not
+     * known, parse failed) or was deliberately removed from (size threshold, path
+     * profile excluded) every analysis layer, so a read from one of them would be
+     * a genuine accounting bug, not a partial analysis. No-ops otherwise, so the
+     * pipeline can call it blindly over every consumed file path.
+     */
+    reclassifyDroppedToPartiallyAnalyzed(filePath) {
+        const entry = this.entries.get(filePath);
+        if (!entry || entry.state !== 'dropped')
+            return;
+        if (entry.reason !== 'no adapter' && entry.reason !== 'no visitor matched')
+            return;
+        entry.state = 'partially analyzed';
+    }
+    /** Record an infrastructure directory prune (aggregate, not per-file). */
+    recordInfraPruned(directory, rule) {
+        const key = `${directory}::${rule}`;
+        const existing = this.infraPrunedMap.get(key);
+        if (existing)
+            existing.directories++;
+        else
+            this.infraPrunedMap.set(key, { directory, rule, directories: 1 });
+    }
+    /**
+     * Reason 8 sub-layer: a style-level unread source (Spec 42 R2). Recorded in
+     * the summary under `unsupported dialect` but does NOT touch the file-level
+     * `analyzed + dropped === touched` balance.
+     */
+    recordUnsupportedDialect(filePath, reason) {
+        this.unsupportedDialects.push({ filePath, reason });
+    }
+    /**
+     * Verify the balance. Throws `AccountingBalanceError` if any file was touched
+     * but never classified (a leak) or classified more than once. Called at the
+     * end of the run before metadata assembly.
+     */
+    assertBalanced() {
+        const leaked = [];
+        for (const [filePath, entry] of this.entries) {
+            if (entry.state === 'touched')
+                leaked.push(filePath);
+        }
+        if (leaked.length === 0 && this.conflicts.length === 0)
+            return;
+        const lines = [];
+        if (leaked.length > 0) {
+            lines.push(`${leaked.length} file(s) touched but never classified (silent-drop leak):`);
+            leaked.sort();
+            for (const f of leaked.slice(0, 20))
+                lines.push(`  - ${f}`);
+            if (leaked.length > 20)
+                lines.push(`  … and ${leaked.length - 20} more`);
+        }
+        if (this.conflicts.length > 0) {
+            lines.push(`${this.conflicts.length} file(s) classified more than once:`);
+            for (const c of this.conflicts.slice(0, 20))
+                lines.push(`  - ${c}`);
+            if (this.conflicts.length > 20)
+                lines.push(`  … and ${this.conflicts.length - 20} more`);
+        }
+        throw new AccountingBalanceError(lines.join('\n'));
+    }
+    /** Produce the summary (touched/analyzed/partiallyAnalyzed/dropped counts + per-reason lists). */
+    summary() {
+        let analyzed = 0;
+        let partiallyAnalyzed = 0;
+        let dropped = 0;
+        const reasons = new Map();
+        for (const [filePath, entry] of this.entries) {
+            if (entry.state === 'analyzed') {
+                analyzed++;
+            }
+            else if ((entry.state === 'dropped' || entry.state === 'partially analyzed') &&
+                entry.reason) {
+                if (entry.state === 'partially analyzed')
+                    partiallyAnalyzed++;
+                else
+                    dropped++;
+                let list = reasons.get(entry.reason);
+                if (!list) {
+                    list = [];
+                    reasons.set(entry.reason, list);
+                }
+                const detail = entry.detail ?? {};
+                list.push({
+                    filePath,
+                    ...detail,
+                    ...(entry.state === 'partially analyzed' ? { partial: true } : {}),
+                });
+            }
+        }
+        const reasonsOut = {};
+        for (const [reason, list] of reasons) {
+            list.sort((a, b) => a.filePath.localeCompare(b.filePath));
+            reasonsOut[reason] = { count: list.length, files: list };
+        }
+        if (this.unsupportedDialects.length > 0) {
+            const list = this.unsupportedDialects
+                .map(({ filePath, reason }) => ({ filePath, ...(reason !== undefined ? { reason } : {}) }))
+                .sort((a, b) => a.filePath.localeCompare(b.filePath));
+            reasonsOut['unsupported dialect'] = { count: list.length, files: list };
+        }
+        return {
+            touched: this.entries.size,
+            analyzed,
+            partiallyAnalyzed,
+            dropped,
+            infraPruned: [...this.infraPrunedMap.values()].sort((a, b) => b.directories - a.directories || a.directory.localeCompare(b.directory)),
+            reasons: reasonsOut,
+        };
+    }
+}
+//# sourceMappingURL=fileAccounting.js.map

package/dist/services/fileAccounting.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fileAccounting.js","sourceRoot":"","sources":["../../src/services/fileAccounting.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAeH;;;;GAIG;AACH,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAC7B,IAAI,GAAG,wBAAwB,CAAC;IAClD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;IACjB,CAAC;CACF;AAED,MAAM,OAAO,cAAc;IACR,OAAO,GAAG,IAAI,GAAG,EAAiB,CAAC;IACnC,cAAc,GAAG,IAAI,GAAG,EAAoE,CAAC;IAC7F,mBAAmB,GAAiD,EAAE,CAAC;IACvE,SAAS,GAAa,EAAE,CAAC;IAE1C,6DAA6D;IAC7D,aAAa,CAAC,QAAgB;QAC5B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,cAAc,CAAC,QAAgB;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;YAClD,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU;YAAE,OAAO,CAAC,iDAAiD;QACzF,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,4BAA4B,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;YAC5E,OAAO;QACT,CAAC;QACD,KAAK,CAAC,KAAK,GAAG,UAAU,CAAC;IAC3B,CAAC;IAED,oEAAoE;IACpE,aAAa,CAAC,MAAsB,EAAE,QAAgB,EAAE,MAAuB;QAC7E,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;YACjE,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC5B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,aAAa,MAAM,mBAAmB,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;YACxF,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,aAAa,MAAM,kBAAkB,CAAC,CAAC;YACtE,OAAO;QACT,CAAC;QACD,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC;QACxB,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;QACtB,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;IACxB,CAAC;IAED;;;;OAIG;IACH,2BAA2B,CAAC,MAAsB,EAAE,QAAgB,EAAE,MAAuB;QAC3F,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YACzC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,gBAAgB,MAAM,gBAAgB,KAAK,EAAE,KAAK,IAAI,QAAQ,EAAE,CAAC,CAAC;YACjG,OAAO;QACT,CAAC;QACD,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC;QACxB,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;QACtB,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;IACxB,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACH,oCAAoC,CAAC,QAAgB;QACnD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO;QAChD,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,IAAI,KAAK,CAAC,MAAM,KAAK,oBAAoB;YAAE,OAAO;QACnF,KAAK,CAAC,KAAK,GAAG,oBAAoB,CAAC;IACrC,CAAC;IAED,0EAA0E;IAC1E,iBAAiB,CAAC,SAAiB,EAAE,IAAY;QAC/C,MAAM,GAAG,GAAG,GAAG,SAAS,KAAK,IAAI,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,QAAQ;YAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;;YAChC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IAED;;;;OAIG;IACH,wBAAwB,CAAC,QAAgB,EAAE,MAAe;QACxD,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACtD,CAAC;IAED;;;;OAIG;IACH,cAAc;QACZ,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvD,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,2DAA2D,CAAC,CAAC;YACxF,MAAM,CAAC,IAAI,EAAE,CAAC;YACd,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC5D,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,GAAG,EAAE,OAAO,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,qCAAqC,CAAC,CAAC;YAC1E,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACpE,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,EAAE,OAAO,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,IAAI,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,kGAAkG;IAClG,OAAO;QACL,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,iBAAiB,GAAG,CAAC,CAAC;QAC1B,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6C,CAAC;QAErE,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBAC/B,QAAQ,EAAE,CAAC;YACb,CAAC;iBAAM,IACL,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,oBAAoB,CAAC;gBACnE,KAAK,CAAC,MAAM,EACZ,CAAC;gBACD,IAAI,KAAK,CAAC,KAAK,KAAK,oBAAoB;oBAAE,iBAAiB,EAAE,CAAC;;oBACzD,OAAO,EAAE,CAAC;gBACf,IAAI,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBACrC,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,IAAI,GAAG,EAAE,CAAC;oBACV,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBAClC,CAAC;gBACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC;oBACR,QAAQ;oBACR,GAAG,MAAM;oBACT,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,oBAAoB,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACnE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAqC,EAAE,CAAC;QACxD,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC1D,UAAU,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC3D,CAAC;QACD,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,mBAAmB;iBAClC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;iBAC1F,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxD,UAAU,CAAC,qBAAqB,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC1E,CAAC;QAED,OAAO;YACL,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI;YAC1B,QAAQ;YACR,iBAAiB;YACjB,OAAO;YACP,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACjD,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAClF;YACD,OAAO,EAAE,UAAU;SACpB,CAAC;IACJ,CAAC;CACF"}

package/dist/styles/styleExtractor.d.ts

@@ -11,7 +11,7 @@
  * Single entry point: extractDeclarations(filePath, adapter, sourceCode, ast?)
  */
 import type { AST, LanguageAdapter } from '../languages/types.js';
-import type { NormalizedDeclaration, StyleMechanism, StyleToken } from './types.js';
+import type { NormalizedDeclaration, StyleMechanism, StyleToken, UnreadStyleSource } from './types.js';
 import type { TailwindThemeTokens } from './tailwindConfigLoader.js';
 /**
  * Extract all style declarations from a file.
@@ -25,7 +25,7 @@ import type { TailwindThemeTokens } from './tailwindConfigLoader.js';
  * @param ast - Optional pre-parsed AST (avoids re-parsing)
  * @param tailwindTokens - Optional pre-loaded Tailwind tokens (avoids re-loading per file)
  */
-export declare function extractDeclarations(filePath: string, adapter: LanguageAdapter, sourceCode: string, ast?: AST, tailwindTokens?: TailwindThemeTokens): NormalizedDeclaration[];
+export declare function extractDeclarations(filePath: string, adapter: LanguageAdapter, sourceCode: string, ast?: AST, tailwindTokens?: TailwindThemeTokens, unreadSources?: UnreadStyleSource[]): NormalizedDeclaration[];
 /**
  * Extract CSS custom property definitions from all CSS/SCSS files
  * and produce design tokens.

package/dist/styles/styleExtractor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"styleExtractor.d.ts","sourceRoot":"","sources":["../../src/styles/styleExtractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,eAAe,EAAW,MAAM,uBAAuB,CAAC;AAC3E,OAAO,KAAK,EAAE,qBAAqB,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAIpF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAMrE;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,eAAe,EACxB,UAAU,EAAE,MAAM,EAClB,GAAG,CAAC,EAAE,GAAG,EACT,cAAc,CAAC,EAAE,mBAAmB,GACnC,qBAAqB,EAAE,CAsBzB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAwBd;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,QAAQ,CAAC,EAAE,mBAAmB,GAC7B,mBAAmB,CAGrB;AA0ND,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,cAAc,EACzB,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,GAAG,IAAI,EAC7B,YAAY,EAAE,qBAAqB,EAAE,EACrC,QAAQ,EAAE,MAAM,GACf,IAAI,CAuFN"}
+{"version":3,"file":"styleExtractor.d.ts","sourceRoot":"","sources":["../../src/styles/styleExtractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,GAAG,EAAE,eAAe,EAAW,MAAM,uBAAuB,CAAC;AAC3E,OAAO,KAAK,EAAE,qBAAqB,EAAE,cAAc,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAIvG,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAOrE;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,eAAe,EACxB,UAAU,EAAE,MAAM,EAClB,GAAG,CAAC,EAAE,GAAG,EACT,cAAc,CAAC,EAAE,mBAAmB,EACpC,aAAa,CAAC,EAAE,iBAAiB,EAAE,GAClC,qBAAqB,EAAE,CAuCzB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAwBd;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,QAAQ,CAAC,EAAE,mBAAmB,GAC7B,mBAAmB,CAGrB;AA2ND,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,cAAc,EACzB,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,GAAG,IAAI,EAC7B,YAAY,EAAE,qBAAqB,EAAE,EACrC,QAAQ,EAAE,MAAM,GACf,IAAI,CAuFN"}

package/dist/styles/styleExtractor.js

@@ -13,6 +13,7 @@
 import { normalizeValue, expandShorthand } from './normalizer.js';
 import { expandUtility } from './tailwindExpander.js';
 import { loadTailwindConfig } from './tailwindConfigLoader.js';
+import { STYLE_MARKUP_EXTENSIONS, KNOWN_SOURCE_EXTENSIONS } from '../utils/fileDiscovery.js';
 // ---------------------------------------------------------------------------
 // Public API
 // ---------------------------------------------------------------------------
@@ -28,8 +29,16 @@ import { loadTailwindConfig } from './tailwindConfigLoader.js';
  * @param ast - Optional pre-parsed AST (avoids re-parsing)
  * @param tailwindTokens - Optional pre-loaded Tailwind tokens (avoids re-loading per file)
  */
-export function extractDeclarations(filePath, adapter, sourceCode, ast, tailwindTokens) {
+export function extractDeclarations(filePath, adapter, sourceCode, ast, tailwindTokens, unreadSources) {
     const ext = filePath.includes('.') ? filePath.slice(filePath.lastIndexOf('.')) : '';
+    // Markup/component files — extract class attributes + embedded <style> blocks.
+    // Membership is derived from the shared STYLE_MARKUP_EXTENSIONS (single source
+    // of truth) so a newly supported dialect is handled here automatically rather
+    // than silently dropped from a hand-maintained `case` list (the `.astro`
+    // silent-drop bug, Spec 42 R2).
+    if (STYLE_MARKUP_EXTENSIONS.includes(ext)) {
+        return extractFromHTML(filePath, sourceCode, tailwindTokens, unreadSources);
+    }
     switch (ext) {
         // .css files are handled by the AST pipeline (cssAstExtractor.ts +
         // createStylesCssVisitor in pipelineAdapters.ts). SCSS stays on the
@@ -40,13 +49,21 @@ export function extractDeclarations(filePath, adapter, sourceCode, ast, tailwind
         case '.jsx':
         case '.ts':
         case '.js':
+        case '.mts':
+        case '.cts':
+        case '.mjs':
+        case '.cjs':
             return extractFromTypeScript(filePath, adapter, sourceCode, ast, tailwindTokens);
-        case '.html':
-        case '.vue':
-        case '.svelte':
-            // HTML/Vue/Svelte: extract class attributes only (limited support)
-            return extractFromHTML(filePath, sourceCode, tailwindTokens);
         default:
+            // Not a style-bearing extension. Known source (`.css`/`.scss` — handled by
+            // the AST pipeline — plus JSON/Go/SQL/TOML/Prisma owned by other analyzers)
+            // is skipped silently; any *other* extension is unhandled — record it so
+            // undefined-class surfaces the gap (whole-run notApplicable) instead of
+            // silently dropping the file type. This is the loud backstop for the next
+            // dialect that isn't added to the known set.
+            if (unreadSources && ext && !KNOWN_SOURCE_EXTENSIONS.includes(ext)) {
+                unreadSources.push({ filePath, reason: `unsupported source extension: ${ext}` });
+            }
             return [];
     }
 }
@@ -100,7 +117,7 @@ function extractRuleSetsFromSCSS(filePath, sourceCode) {
  * parsing for declaration extraction. The tree-sitter adapter handles structural
  * analysis when needed.
  */
-function extractRuleSets(css, filePath, declarations) {
+function extractRuleSets(css, filePath, declarations, mechanism = 'scss') {
     // Track current context (selector, at-rule)
     const lines = css.split('\n');
     // Regex approach: find rule blocks with their selectors
@@ -182,7 +199,7 @@ function extractRuleSets(css, filePath, declarations) {
         }
         // Extract declarations inside this block
         const block = css.slice(braceOpen + 1, braceClose);
-        extractDeclarationsFromBlock(block, filePath, 'scss', selector, atRuleStack.length > 0 ? atRuleStack.join(', ') : null, declarations, css.slice(0, braceOpen).split('\n').length);
+        extractDeclarationsFromBlock(block, filePath, mechanism, selector, atRuleStack.length > 0 ? atRuleStack.join(', ') : null, declarations, css.slice(0, braceOpen).split('\n').length);
         i = braceClose + 1;
     }
 }
@@ -524,8 +541,13 @@ function parseStyleObjectExpression(expr) {
 // CSS-in-JS (styled-components / emotion)
 // ---------------------------------------------------------------------------
 function extractFromCSSinJS(node, sourceCode, filePath, declarations) {
-    // Tagged template expression: styled.div`...` or css`...`
-    if (node.type !== 'tagged_template_expression')
+    // Tagged templates (styled.div`...` / css`...`) parse as a `call_expression`
+    // whose argument is a `template_string` — the WASM grammar emits no
+    // `tagged_template_expression` node. Guard on the template argument so a
+    // plain function call never reaches the tag-match below.
+    if (node.type !== 'call_expression')
+        return false;
+    if (!findChildByType(node, 'template_string'))
         return false;
     const nodeText = sourceCode.slice(node.range[0], node.range[1]);
     const line = getLine(sourceCode, node.range[0]);
@@ -558,8 +580,12 @@ function extractFromCSSinJS(node, sourceCode, filePath, declarations) {
 // ---------------------------------------------------------------------------
 // Sub-extractor: HTML (limited)
 // ---------------------------------------------------------------------------
-function extractFromHTML(filePath, sourceCode, tailwindTokens) {
+function extractFromHTML(filePath, sourceCode, tailwindTokens, unreadSources) {
     const declarations = [];
+    // Embedded <style> blocks (Astro/Vue/Svelte) — extract the CSS text and feed
+    // it to the same rule-set parser the .scss path uses (Spec 42 R1). Blocks with
+    // an unsupported dialect (sass/less/stylus/…) are recorded as unread (R2).
+    extractStyleBlocks(filePath, sourceCode, declarations, unreadSources);
     // Simple class attribute extraction from HTML
     const classRegex = /class(Name)?\s*=\s*"([^"]*)"/g;
     let match;
@@ -620,6 +646,52 @@ function extractFromHTML(filePath, sourceCode, tailwindTokens) {
     }
     return declarations;
 }
+/**
+ * Extract `<style>…</style>` blocks from a markup source (Astro/Vue/Svelte).
+ *
+ * Each block's CSS text is fed to `extractRuleSets`, the same parser the
+ * `.scss` path uses, so selectors (including `:global(.foo)`), at-rules, and
+ * declarations are extracted identically. The dialect is chosen from the
+ * `lang`/`type` attribute:
+ *   - `css` (or absent) → `css`
+ *   - `scss` → `scss` (nesting handled by the existing SCSS path)
+ *   - anything else (`sass`, `less`, `styl`, `postcss`, …) → recorded as an
+ *     unread source so `undefined-class` never asserts a class defined only here.
+ */
+function extractStyleBlocks(filePath, sourceCode, declarations, unreadSources) {
+    const styleRegex = /<style\b([^>]*)>([\s\S]*?)<\/style\s*>/gi;
+    let match;
+    while ((match = styleRegex.exec(sourceCode)) !== null) {
+        const attrs = match[1];
+        const body = match[2];
+        // Index of the first character of the block body (right after the opening
+        // `>`), used to map body line numbers back to the source file.
+        const bodyStart = match.index + match[0].indexOf('>') + 1;
+        const langAttr = attrs.match(/\blang\s*=\s*["']?([a-zA-Z0-9-]+)/);
+        const typeAttr = attrs.match(/\btype\s*=\s*["']?([a-zA-Z0-9-]+)/);
+        const lang = (langAttr?.[1] ?? typeAttr?.[1] ?? '').toLowerCase();
+        let mechanism;
+        if (lang === '' || lang === 'css') {
+            mechanism = 'css';
+        }
+        else if (lang === 'scss') {
+            mechanism = 'scss';
+        }
+        else {
+            unreadSources?.push({
+                filePath,
+                reason: `unsupported style dialect: ${lang}`,
+            });
+            continue;
+        }
+        // Pad with newlines so that `extractRuleSets`' line arithmetic (which counts
+        // newlines up to each `{`) maps onto source-file line numbers. Newlines are
+        // whitespace, so selector extraction and at-rule parsing are unaffected.
+        const bodyLine0 = sourceCode.slice(0, bodyStart).split('\n').length;
+        const padded = '\n'.repeat(bodyLine0 - 1) + body;
+        extractRuleSets(padded, filePath, declarations, mechanism);
+    }
+}
 // ---------------------------------------------------------------------------
 // AST Helpers
 // ---------------------------------------------------------------------------