@isaacriehm/cairn-core 0.1.0

package/dist/sensors/catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../src/sensors/catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAG1C,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD;;;;;GAKG;AACH,MAAM,iBAAiB,GAAG,IAAI,CAC5B,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,oBAAoB,CACrB,CAAC;AACF,MAAM,oBAAoB,GAAG,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,cAAc,CACf,CAAC;AAEF,MAAM,eAAe,GAAqB;IACxC,YAAY;IACZ,YAAY;IACZ,QAAQ;IACR,MAAM;IACN,IAAI;IACJ,MAAM;IACN,KAAK;CACN,CAAC;AAEF,SAAS,eAAe,CAAC,CAAU;IACjC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAK,eAA4B,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAA4B,CAAC;IAC3D,MAAM,OAAO,GAAG,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;YAAE,SAAS;QACtD,MAAM,CAAC,GAAG,GAA8B,CAAC;QACzC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACzC,CAAC,CAAE,CAAC,CAAC,WAAW,CAAe,CAAC,MAAM,CAAC,eAAe,CAAC;YACvD,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,aAAa,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5D,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,QAAiB;IAC/C,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,SAAS;QAC7B,OAAO,gBAAgB,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,IAAI,KAAK,CACb,0CAA0C,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAClE,CAAC;AACJ,CAAC;AAqBD,wCAAwC;AACxC,MAAM,UAAU,kBAAkB,CAAC,QAAiB;IAClD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,UAAU,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,SAAS;QAC7B,MAAM,GAAG,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAA4B,CAAC;QAC1E,MAAM,OAAO,GAAG,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,OAAO,GAA0B,EAAE,CAAC;QAC1C,KAAK,MAAM,GAAG,IAAK,GAAG,CAAC,SAAS,CAAe,IAAI,EAAE,EAAE,CAAC;YACtD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;gBAAE,SAAS;YACtD,MAAM,CAAC,GAAG,GAA8B,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACzB,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;gBAC/B,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC7B,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;gBAC3C,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,UAAU,CAAc,CAAC,CAAC,CAAC,EAAE;gBACzE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnF,GAAG,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtE,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC,eAAe,CAAC,KAAK,MAAM;oBAChE,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE;oBACvC,CAAC,CAAC,EAAE,CAAC;aACR,CAAC,CAAC;QACL,CAAC;QACD,OAAO;YACL,OAAO;YACP,OAAO;YACP,kBAAkB,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;gBAC1D,CAAC,CAAE,GAAG,CAAC,oBAAoB,CAAc;gBACzC,CAAC,CAAC,EAAE;YACN,oBAAoB,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;gBAC9D,CAAC,CAAE,GAAG,CAAC,sBAAsB,CAAc;gBAC3C,CAAC,CAAC,EAAE;SACP,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,KAAK,CACb,oCAAoC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5D,CAAC;AACJ,CAAC"}

package/dist/sensors/decisions.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Decision-assertions sensor.
+ *
+ * For every accepted decision whose `scope_globs` overlap the diff, evaluate
+ * each machine-readable `assertion` against the post-change repository state.
+ * Failure quotes the failing assertion id + decision id + the contradicting
+ * line.
+ *
+ * Per L26+L41 — 11 assertion kinds. AST-level precision is v2; this module
+ * uses regex-based approximations and surfaces soft findings when it cannot
+ * verify with confidence (the reviewer subagent in Phase 10 catches the rest).
+ */
+import { DecisionFrontmatter } from "../ground/schemas.js";
+import type { DiffEntry, SensorResult } from "./types.js";
+/** All decisions accepted at HEAD with parsed frontmatter. */
+export declare function loadAcceptedDecisions(repoRoot: string): DecisionFrontmatter[];
+/** Decisions whose scope_globs overlap the diff. */
+export declare function decisionsInScope(decisions: DecisionFrontmatter[], diff: DiffEntry[]): DecisionFrontmatter[];
+/**
+ * Walk the mirror once and list every tracked file (not gitignored). This is
+ * used by assertion kinds that need to scan beyond the diff (e.g. when the
+ * assertion targets a file the agent didn't change).
+ */
+export declare function listMirrorFiles(mirrorPath: string): string[];
+/** Run the decision-assertions sensor. */
+export declare function runDecisionAssertions(args: {
+    mirrorPath: string;
+    diff: DiffEntry[];
+    decisions: DecisionFrontmatter[];
+}): SensorResult;

package/dist/sensors/decisions.js

@@ -0,0 +1,393 @@
+/**
+ * Decision-assertions sensor.
+ *
+ * For every accepted decision whose `scope_globs` overlap the diff, evaluate
+ * each machine-readable `assertion` against the post-change repository state.
+ * Failure quotes the failing assertion id + decision id + the contradicting
+ * line.
+ *
+ * Per L26+L41 — 11 assertion kinds. AST-level precision is v2; this module
+ * uses regex-based approximations and surfaces soft findings when it cannot
+ * verify with confidence (the reviewer subagent in Phase 10 catches the rest).
+ */
+import { execSync } from "node:child_process";
+import { existsSync, readdirSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { matchAnyGlob } from "../ground/glob.js";
+import { parseFrontmatter } from "../ground/frontmatter.js";
+import { decisionsDir } from "../ground/paths.js";
+import { DecisionFrontmatter } from "../ground/schemas.js";
+const SENSOR_ID = "decision-assertions";
+/** All decisions accepted at HEAD with parsed frontmatter. */
+export function loadAcceptedDecisions(repoRoot) {
+    const dir = decisionsDir(repoRoot);
+    if (!existsSync(dir))
+        return [];
+    let dirents;
+    try {
+        dirents = readdirSync(dir, { withFileTypes: true, encoding: "utf8" });
+    }
+    catch {
+        return [];
+    }
+    const out = [];
+    for (const d of dirents) {
+        if (!d.isFile())
+            continue;
+        if (!d.name.endsWith(".md"))
+            continue;
+        if (d.name.startsWith("_"))
+            continue;
+        const abs = join(dir, d.name);
+        const fm = parseFrontmatter(readFileSync(abs, "utf8")).frontmatter;
+        const parsed = DecisionFrontmatter.safeParse(fm);
+        if (!parsed.success)
+            continue;
+        if (parsed.data.status !== "accepted")
+            continue;
+        if (parsed.data.superseded_by)
+            continue;
+        out.push(parsed.data);
+    }
+    return out;
+}
+/** Decisions whose scope_globs overlap the diff. */
+export function decisionsInScope(decisions, diff) {
+    return decisions.filter((d) => {
+        const globs = d.scope_globs ?? [];
+        if (globs.length === 0)
+            return true; // no scope = applies everywhere
+        return diff.some((entry) => matchAnyGlob(entry.path, globs));
+    });
+}
+/** Read every tracked file in the mirror once, lazy. */
+class MirrorFileReader {
+    mirrorPath;
+    cache = new Map();
+    constructor(mirrorPath) {
+        this.mirrorPath = mirrorPath;
+    }
+    read(relPath) {
+        const cached = this.cache.get(relPath);
+        if (cached !== undefined)
+            return cached;
+        try {
+            const text = readFileSync(join(this.mirrorPath, relPath), "utf8");
+            this.cache.set(relPath, text);
+            return text;
+        }
+        catch {
+            this.cache.set(relPath, "");
+            return "";
+        }
+    }
+}
+/**
+ * Walk the mirror once and list every tracked file (not gitignored). This is
+ * used by assertion kinds that need to scan beyond the diff (e.g. when the
+ * assertion targets a file the agent didn't change).
+ */
+export function listMirrorFiles(mirrorPath) {
+    // Use git ls-files synchronously for simplicity. simple-git's async API is
+    // available too; we keep this synchronous so assertion evaluation remains
+    // a tight loop. Plus untracked-but-not-ignored, since the agent's new
+    // files won't be tracked yet at sensor time.
+    try {
+        const tracked = execSync("git ls-files", {
+            cwd: mirrorPath,
+            encoding: "utf8",
+            maxBuffer: 64 * 1024 * 1024,
+        });
+        const untracked = execSync("git ls-files --others --exclude-standard", {
+            cwd: mirrorPath,
+            encoding: "utf8",
+            maxBuffer: 64 * 1024 * 1024,
+        });
+        return [...tracked.split("\n"), ...untracked.split("\n")]
+            .map((s) => s.trim())
+            .filter((s) => s.length > 0);
+    }
+    catch {
+        return [];
+    }
+}
+/** Run the decision-assertions sensor. */
+export function runDecisionAssertions(args) {
+    const startedAt = Date.now();
+    const findings = [];
+    const reader = new MirrorFileReader(args.mirrorPath);
+    const allFiles = listMirrorFiles(args.mirrorPath);
+    for (const decision of args.decisions) {
+        const assertions = decision.assertions ?? [];
+        for (const a of assertions) {
+            const result = evaluateAssertion({
+                mirrorPath: args.mirrorPath,
+                decision,
+                assertion: a,
+                diff: args.diff,
+                reader,
+                allFiles,
+            });
+            if (result === null)
+                continue;
+            findings.push(result);
+        }
+        // human_review_hint at the decision level (not assertion-level).
+        if (decision.human_review_hint) {
+            findings.push({
+                sensor_id: SENSOR_ID,
+                decision_id: decision.id,
+                message: `human-review hint for ${decision.id}: ${decision.human_review_hint}`,
+                severity: "soft",
+            });
+        }
+    }
+    const ok = findings.every((f) => f.severity !== "hard");
+    return {
+        sensor_id: SENSOR_ID,
+        ok,
+        duration_ms: Date.now() - startedAt,
+        findings,
+    };
+}
+function evaluateAssertion(args) {
+    const a = args.assertion;
+    const ctx = { decision_id: args.decision.id, assertion_id: a.id };
+    switch (a.kind) {
+        case "schema_must_contain": {
+            const candidates = args.allFiles.filter((p) => /\.(sql|prisma|ts|py|rb)$/i.test(p));
+            const tableRe = new RegExp(`\\b${escapeReg(a.table)}\\b`);
+            const columnRe = new RegExp(`\\b${escapeReg(a.column)}\\b`);
+            for (const path of candidates) {
+                const text = args.reader.read(path);
+                if (!text || !tableRe.test(text) || !columnRe.test(text))
+                    continue;
+                // Co-locate within ±10 lines.
+                const lines = text.split(/\r?\n/);
+                for (let i = 0; i < lines.length; i++) {
+                    if (!tableRe.test(lines[i] ?? ""))
+                        continue;
+                    const lo = Math.max(0, i - 10);
+                    const hi = Math.min(lines.length - 1, i + 10);
+                    for (let j = lo; j <= hi; j++) {
+                        if (columnRe.test(lines[j] ?? ""))
+                            return null;
+                    }
+                }
+            }
+            return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} requires schema column \`${a.table}.${a.column}\` — not found in mirror`, ctx);
+        }
+        case "text_must_match": {
+            const re = safeRegex(a.pattern);
+            if (!re)
+                return finding("soft", `${ctx.decision_id}/${ctx.assertion_id} pattern unparseable`, ctx);
+            const inScope = args.allFiles.filter((p) => matchAnyGlob(p, a.in_globs));
+            for (const path of inScope) {
+                if (re.test(args.reader.read(path)))
+                    return null;
+            }
+            return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} text_must_match \`${a.pattern}\` — no file under ${a.in_globs.join(", ")} matches`, ctx);
+        }
+        case "text_must_not_match": {
+            const re = safeRegex(a.pattern);
+            if (!re)
+                return finding("soft", `${ctx.decision_id}/${ctx.assertion_id} pattern unparseable`, ctx);
+            const inScope = args.allFiles.filter((p) => matchAnyGlob(p, a.in_globs));
+            for (const path of inScope) {
+                const text = args.reader.read(path);
+                const m = re.exec(text);
+                if (!m)
+                    continue;
+                const line = lineOf(text, m.index);
+                return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} text_must_not_match \`${a.pattern}\` — matched at ${path}:${line}`, { ...ctx, path, line, matched_text: m[0] });
+            }
+            return null;
+        }
+        case "index_must_exist": {
+            const candidates = args.allFiles.filter((p) => /\.(sql|prisma|ts|py|rb)$/i.test(p));
+            const colsPattern = a.columns
+                .map((c) => `(?=.*\\b${escapeReg(c)}\\b)`)
+                .join("");
+            const re = new RegExp(`(?:CREATE\\s+(?:UNIQUE\\s+)?INDEX|index\\s*\\(.*\\bon\\s*:?\\s*['"\`]${escapeReg(a.table)}['"\`])[\\s\\S]{0,400}\\b${escapeReg(a.table)}\\b[\\s\\S]{0,400}${colsPattern}`, "i");
+            for (const path of candidates) {
+                const text = args.reader.read(path);
+                if (re.test(text)) {
+                    if (!a.where)
+                        return null;
+                    // If WHERE clause demanded, verify presence in same file.
+                    if (text.toLowerCase().includes(a.where.toLowerCase()))
+                        return null;
+                    return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} index_must_exist on ${a.table}(${a.columns.join(", ")}) WHERE ${a.where} — partial-index predicate not present in ${path}`, { ...ctx, path });
+                }
+            }
+            return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} index_must_exist on ${a.table}(${a.columns.join(", ")}) — not found in any schema-like file`, ctx);
+        }
+        case "ast_pattern": {
+            // v1 fallback: regex over in_globs, language ignored beyond filtering.
+            const re = safeRegex(a.pattern);
+            if (!re)
+                return finding("soft", `${ctx.decision_id}/${ctx.assertion_id} pattern unparseable`, ctx);
+            const inScope = args.allFiles.filter((p) => matchAnyGlob(p, a.in_globs));
+            for (const path of inScope) {
+                if (re.test(args.reader.read(path)))
+                    return null;
+            }
+            return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} ast_pattern (lang=${a.language}) \`${a.pattern}\` — no match under ${a.in_globs.join(", ")}`, ctx);
+        }
+        case "file_must_not_be_modified": {
+            const hit = args.diff.find((d) => d.path === a.path);
+            if (!hit)
+                return null;
+            return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} file_must_not_be_modified — ${a.path} appears in diff (${hit.status})`, { ...ctx, path: a.path });
+        }
+        case "query_must_filter_by": {
+            // Approximate: search in_globs for table + each column appearing in the
+            // same statement-ish window. For ORM=drizzle: `.where(and(...col1...col2...))`.
+            const inScope = args.allFiles.filter((p) => matchAnyGlob(p, a.in_globs));
+            const tableRef = new RegExp(`\\b${escapeReg(a.table)}\\b`);
+            const combinator = a.require_combination === "and" ? /\band\s*\(/i : /\bor\s*\(/i;
+            let anyHit = false;
+            for (const path of inScope) {
+                const text = args.reader.read(path);
+                if (!tableRef.test(text))
+                    continue;
+                anyHit = true;
+                // Find each `where(` window of 400 chars and check all columns.
+                const whereRe = /\.where\s*\(/g;
+                let m;
+                let allPresent = true;
+                let saw = false;
+                while ((m = whereRe.exec(text)) !== null) {
+                    saw = true;
+                    const win = text.slice(m.index, Math.min(text.length, m.index + 600));
+                    if (a.require_combination !== undefined && !combinator.test(win)) {
+                        allPresent = false;
+                        break;
+                    }
+                    for (const col of a.columns) {
+                        if (!new RegExp(`\\b${escapeReg(col)}\\b`).test(win)) {
+                            allPresent = false;
+                            break;
+                        }
+                    }
+                    if (!allPresent)
+                        break;
+                }
+                if (!saw)
+                    continue;
+                if (allPresent)
+                    return null;
+                const line = lineOf(text, (whereRe.exec(text) ?? { index: 0 }).index);
+                return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} query_must_filter_by(${a.table}, [${a.columns.join(", ")}], ${a.require_combination}) — query in ${path}:${line} omits required column(s)`, { ...ctx, path, line });
+            }
+            if (!anyHit) {
+                return finding("soft", `${ctx.decision_id}/${ctx.assertion_id} query_must_filter_by(${a.table}) — no query referencing this table found in scope; nothing to verify`, ctx);
+            }
+            return null;
+        }
+        case "route_must_have_guard": {
+            const inScope = args.allFiles.filter((p) => matchAnyGlob(p, a.in_globs));
+            for (const path of inScope) {
+                const text = args.reader.read(path);
+                for (const required of a.require_on) {
+                    // Look for the required hook (e.g. method name, decorator) and
+                    // verify guard appears within 5 preceding lines.
+                    const lines = text.split(/\r?\n/);
+                    for (let i = 0; i < lines.length; i++) {
+                        const line = lines[i] ?? "";
+                        if (!line.includes(required))
+                            continue;
+                        const lo = Math.max(0, i - 8);
+                        const window = lines.slice(lo, i + 1).join("\n");
+                        if (window.includes(a.guard))
+                            continue;
+                        return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} route_must_have_guard \`${a.guard}\` — \`${required}\` at ${path}:${i + 1} is not preceded by the guard`, { ...ctx, path, line: i + 1 });
+                    }
+                }
+            }
+            return null;
+        }
+        case "event_must_emit": {
+            const inScope = args.allFiles.filter((p) => matchAnyGlob(p, a.in_globs));
+            let any = false;
+            for (const path of inScope) {
+                const text = args.reader.read(path);
+                const callRe = new RegExp(`\\b${escapeReg(a.after_method)}\\s*\\(`);
+                if (!callRe.test(text))
+                    continue;
+                any = true;
+                const emitRe = new RegExp(`\\.emit\\s*\\(\\s*['"\`]${escapeReg(a.event_key)}['"\`]`);
+                if (!emitRe.test(text)) {
+                    return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} event_must_emit \`${a.event_key}\` after \`${a.after_method}\` — no .emit() found in ${path}`, { ...ctx, path });
+                }
+                if (a.payload_must_include && a.payload_must_include.length > 0) {
+                    for (const field of a.payload_must_include) {
+                        if (!new RegExp(`\\b${escapeReg(field)}\\b`).test(text)) {
+                            return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} event_must_emit payload missing field \`${field}\` in ${path}`, { ...ctx, path });
+                        }
+                    }
+                }
+            }
+            if (!any) {
+                return finding("soft", `${ctx.decision_id}/${ctx.assertion_id} event_must_emit — no call to \`${a.after_method}\` found in scope; nothing to verify`, ctx);
+            }
+            return null;
+        }
+        case "service_method_must_call": {
+            const inScope = args.allFiles.filter((p) => matchAnyGlob(p, a.in_globs));
+            for (const path of inScope) {
+                const text = args.reader.read(path);
+                const methodRe = new RegExp(`\\b${escapeReg(a.in_method)}\\s*\\([^)]*\\)\\s*(?::\\s*[^{]+)?\\{([\\s\\S]*?)\\n\\s*\\}`);
+                const m = methodRe.exec(text);
+                if (!m)
+                    continue;
+                const body = m[1] ?? "";
+                const callRe = new RegExp(`\\b${escapeReg(a.must_call)}\\s*\\(`);
+                if (callRe.test(body))
+                    return null;
+                const line = lineOf(text, m.index);
+                return finding("hard", `${ctx.decision_id}/${ctx.assertion_id} service_method_must_call — method \`${a.in_method}\` at ${path}:${line} does not call \`${a.must_call}\``, { ...ctx, path, line });
+            }
+            return finding("soft", `${ctx.decision_id}/${ctx.assertion_id} service_method_must_call — method \`${a.in_method}\` not found in scope; nothing to verify`, ctx);
+        }
+        case "human_review_hint": {
+            return finding("soft", `${ctx.decision_id}/${ctx.assertion_id} human-review hint: ${a.description}`, ctx);
+        }
+    }
+}
+function finding(severity, message, ctx) {
+    const f = {
+        sensor_id: SENSOR_ID,
+        decision_id: ctx.decision_id,
+        assertion_id: ctx.assertion_id,
+        message,
+        severity,
+    };
+    if (ctx.path !== undefined)
+        f.path = ctx.path;
+    if (ctx.line !== undefined)
+        f.line = ctx.line;
+    if (ctx.matched_text !== undefined)
+        f.matched_text = ctx.matched_text;
+    return f;
+}
+function escapeReg(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+function safeRegex(p) {
+    try {
+        return new RegExp(p, "m");
+    }
+    catch {
+        return null;
+    }
+}
+function lineOf(text, charIndex) {
+    let line = 1;
+    for (let i = 0; i < charIndex && i < text.length; i++) {
+        if (text.charCodeAt(i) === 10)
+            line += 1;
+    }
+    return line;
+}
+//# sourceMappingURL=decisions.js.map

package/dist/sensors/decisions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decisions.js","sourceRoot":"","sources":["../../src/sensors/decisions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAe,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAA0B,MAAM,sBAAsB,CAAC;AAOnF,MAAM,SAAS,GAAG,qBAAqB,CAAC;AAExC,8DAA8D;AAC9D,MAAM,UAAU,qBAAqB,CAAC,QAAgB;IACpD,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACxE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAA0B,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE;YAAE,SAAS;QAC1B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QACtC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,gBAAgB,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC;QACnE,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAC9B,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU;YAAE,SAAS;QAChD,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa;YAAE,SAAS;QACxC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,gBAAgB,CAC9B,SAAgC,EAChC,IAAiB;IAEjB,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5B,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,gCAAgC;QACrE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wDAAwD;AACxD,MAAM,gBAAgB;IAES;IADrB,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,YAA6B,UAAkB;QAAlB,eAAU,GAAV,UAAU,CAAQ;IAAG,CAAC;IACnD,IAAI,CAAC,OAAe;QAClB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;YAClE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAC9B,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC5B,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,UAAkB;IAChD,2EAA2E;IAC3E,0EAA0E;IAC1E,sEAAsE;IACtE,6CAA6C;IAC7C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC,cAAc,EAAE;YACvC,GAAG,EAAE,UAAU;YACf,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,QAAQ,CAAC,0CAA0C,EAAE;YACrE,GAAG,EAAE,UAAU;YACf,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;aACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,qBAAqB,CAAC,IAIrC;IACC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAElD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,iBAAiB,CAAC;gBAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,QAAQ;gBACR,SAAS,EAAE,CAAC;gBACZ,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM;gBACN,QAAQ;aACT,CAAC,CAAC;YACH,IAAI,MAAM,KAAK,IAAI;gBAAE,SAAS;YAC9B,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;QACD,iEAAiE;QACjE,IAAI,QAAQ,CAAC,iBAAiB,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,SAAS;gBACpB,WAAW,EAAE,QAAQ,CAAC,EAAE;gBACxB,OAAO,EAAE,yBAAyB,QAAQ,CAAC,EAAE,KAAK,QAAQ,CAAC,iBAAiB,EAAE;gBAC9E,QAAQ,EAAE,MAAM;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;IACxD,OAAO;QACL,SAAS,EAAE,SAAS;QACpB,EAAE;QACF,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QACnC,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAO1B;IACC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACzB,MAAM,GAAG,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IAElE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,CACpC,CAAC;YACF,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC1D,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5D,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACnE,8BAA8B;gBAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;wBAAE,SAAS;oBAC5C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;oBAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;oBAC9C,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC9B,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;4BAAE,OAAO,IAAI,CAAC;oBACjD,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,6BAA6B,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,0BAA0B,EAChH,GAAG,CACJ,CAAC;QACJ,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAChC,IAAI,CAAC,EAAE;gBAAE,OAAO,OAAO,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,sBAAsB,EAAE,GAAG,CAAC,CAAC;YACnG,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;YACnD,CAAC;YACD,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,sBAAsB,CAAC,CAAC,OAAO,sBAAsB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAC1H,GAAG,CACJ,CAAC;QACJ,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAChC,IAAI,CAAC,EAAE;gBAAE,OAAO,OAAO,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,sBAAsB,EAAE,GAAG,CAAC,CAAC;YACnG,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,CAAC,CAAC;oBAAE,SAAS;gBACjB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBACnC,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,0BAA0B,CAAC,CAAC,OAAO,mBAAmB,IAAI,IAAI,IAAI,EAAE,EAC1G,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAC3C,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,CACpC,CAAC;YACF,MAAM,WAAW,GAAG,CAAC,CAAC,OAAO;iBAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;iBACzC,IAAI,CAAC,EAAE,CAAC,CAAC;YACZ,MAAM,EAAE,GAAG,IAAI,MAAM,CACnB,wEAAwE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,4BAA4B,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,qBAAqB,WAAW,EAAE,EAC1K,GAAG,CACJ,CAAC;YACF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClB,IAAI,CAAC,CAAC,CAAC,KAAK;wBAAE,OAAO,IAAI,CAAC;oBAC1B,0DAA0D;oBAC1D,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;wBAAE,OAAO,IAAI,CAAC;oBACpE,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,wBAAwB,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,KAAK,6CAA6C,IAAI,EAAE,EAClK,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CACjB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,wBAAwB,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,uCAAuC,EACpI,GAAG,CACJ,CAAC;QACJ,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,uEAAuE;YACvE,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAChC,IAAI,CAAC,EAAE;gBAAE,OAAO,OAAO,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,sBAAsB,EAAE,GAAG,CAAC,CAAC;YACnG,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAAE,OAAO,IAAI,CAAC;YACnD,CAAC;YACD,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,sBAAsB,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,OAAO,uBAAuB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACpI,GAAG,CACJ,CAAC;QACJ,CAAC;QAED,KAAK,2BAA2B,CAAC,CAAC,CAAC;YACjC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;YACrD,IAAI,CAAC,GAAG;gBAAE,OAAO,IAAI,CAAC;YACtB,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,gCAAgC,CAAC,CAAC,IAAI,qBAAqB,GAAG,CAAC,MAAM,GAAG,EAC9G,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CACzB,CAAC;QACJ,CAAC;QAED,KAAK,sBAAsB,CAAC,CAAC,CAAC;YAC5B,wEAAwE;YACxE,gFAAgF;YAChF,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3D,MAAM,UAAU,GAAG,CAAC,CAAC,mBAAmB,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC;YAClF,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACnC,MAAM,GAAG,IAAI,CAAC;gBACd,gEAAgE;gBAChE,MAAM,OAAO,GAAG,eAAe,CAAC;gBAChC,IAAI,CAAyB,CAAC;gBAC9B,IAAI,UAAU,GAAG,IAAI,CAAC;gBACtB,IAAI,GAAG,GAAG,KAAK,CAAC;gBAChB,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;oBACzC,GAAG,GAAG,IAAI,CAAC;oBACX,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC;oBACtE,IAAI,CAAC,CAAC,mBAAmB,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;wBACjE,UAAU,GAAG,KAAK,CAAC;wBACnB,MAAM;oBACR,CAAC;oBACD,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;wBAC5B,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;4BACrD,UAAU,GAAG,KAAK,CAAC;4BACnB,MAAM;wBACR,CAAC;oBACH,CAAC;oBACD,IAAI,CAAC,UAAU;wBAAE,MAAM;gBACzB,CAAC;gBACD,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,IAAI,UAAU;oBAAE,OAAO,IAAI,CAAC;gBAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBACtE,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,yBAAyB,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,mBAAmB,gBAAgB,IAAI,IAAI,IAAI,2BAA2B,EAClL,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CACvB,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,yBAAyB,CAAC,CAAC,KAAK,uEAAuE,EAC7I,GAAG,CACJ,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,uBAAuB,CAAC,CAAC,CAAC;YAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,KAAK,MAAM,QAAQ,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;oBACpC,+DAA+D;oBAC/D,iDAAiD;oBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;wBAC5B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;4BAAE,SAAS;wBACvC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;wBAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBACjD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;4BAAE,SAAS;wBACvC,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,4BAA4B,CAAC,CAAC,KAAK,UAAU,QAAQ,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,+BAA+B,EAChJ,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAC9B,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,IAAI,GAAG,GAAG,KAAK,CAAC;YAChB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;gBACpE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACjC,GAAG,GAAG,IAAI,CAAC;gBACX,MAAM,MAAM,GAAG,IAAI,MAAM,CACvB,2BAA2B,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAC1D,CAAC;gBACF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvB,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,sBAAsB,CAAC,CAAC,SAAS,cAAc,CAAC,CAAC,YAAY,4BAA4B,IAAI,EAAE,EACrI,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CACjB,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,CAAC,oBAAoB,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAChE,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,oBAAoB,EAAE,CAAC;wBAC3C,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;4BACxD,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,4CAA4C,KAAK,SAAS,IAAI,EAAE,EACtG,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CACjB,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,mCAAmC,CAAC,CAAC,YAAY,sCAAsC,EAC7H,GAAG,CACJ,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,0BAA0B,CAAC,CAAC,CAAC;YAChC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM,QAAQ,GAAG,IAAI,MAAM,CACzB,MAAM,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,6DAA6D,CAC1F,CAAC;gBACF,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,CAAC,CAAC;oBAAE,SAAS;gBACjB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACxB,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;gBACjE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACnC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBACnC,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,wCAAwC,CAAC,CAAC,SAAS,SAAS,IAAI,IAAI,IAAI,oBAAoB,CAAC,CAAC,SAAS,IAAI,EACjJ,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CACvB,CAAC;YACJ,CAAC;YACD,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,wCAAwC,CAAC,CAAC,SAAS,0CAA0C,EACnI,GAAG,CACJ,CAAC;QACJ,CAAC;QAED,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,OAAO,OAAO,CACZ,MAAM,EACN,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,uBAAuB,CAAC,CAAC,WAAW,EAAE,EAC5E,GAAG,CACJ,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CACd,QAAyB,EACzB,OAAe,EACf,GAMC;IAED,MAAM,CAAC,GAAkB;QACvB,SAAS,EAAE,SAAS;QACpB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,YAAY,EAAE,GAAG,CAAC,YAAY;QAC9B,OAAO;QACP,QAAQ;KACT,CAAC;IACF,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IAC9C,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IAC9C,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;QAAE,CAAC,CAAC,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;IACtE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,IAAI,CAAC;QACH,OAAO,IAAI,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,IAAY,EAAE,SAAiB;IAC7C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtD,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE;YAAE,IAAI,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/sensors/diff.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Diff acquisition — read agent's working-tree changes against the SHA pin.
+ *
+ * The agent mutates files in the mirror but never commits. So `git diff
+ * <sha_pin>` gives tracked-file changes; `git ls-files --others
+ * --exclude-standard` gives newly-created files. Both contribute to the
+ * sensor input.
+ */
+import type { DiffEntry } from "./types.js";
+/**
+ * Compute the diff between the SHA pin and the current working tree (incl.
+ * untracked files). The agent does not commit, so working tree is the source.
+ *
+ * For renames, simple-git surfaces both an `R` entry. We treat it as the new
+ * path, with `fromPath` carrying the original.
+ */
+export declare function getDiff(args: {
+    mirrorPath: string;
+    shaPin: string;
+}): Promise<DiffEntry[]>;
+/** True iff any changed file's path matches any of the supplied globs. */
+export declare function diffHasGlobMatch(diff: DiffEntry[], globs: readonly string[], matcher: (path: string, glob: string) => boolean): boolean;
+/**
+ * Filter a diff to entries whose path matches any of the supplied globs.
+ * Useful for layered sensors that scope to e.g. route_handler_globs.
+ */
+export declare function filterDiffByGlobs(diff: DiffEntry[], globs: readonly string[], matcher: (path: string, glob: string) => boolean): DiffEntry[];

package/dist/sensors/diff.js

@@ -0,0 +1,148 @@
+/**
+ * Diff acquisition — read agent's working-tree changes against the SHA pin.
+ *
+ * The agent mutates files in the mirror but never commits. So `git diff
+ * <sha_pin>` gives tracked-file changes; `git ls-files --others
+ * --exclude-standard` gives newly-created files. Both contribute to the
+ * sensor input.
+ */
+import { readFile } from "node:fs/promises";
+import { join } from "node:path";
+import { simpleGit } from "simple-git";
+function parseNameStatus(out) {
+    const result = [];
+    for (const raw of out.split("\n")) {
+        const line = raw.trim();
+        if (line.length === 0)
+            continue;
+        // Format: A\tpath, M\tpath, D\tpath, R<score>\tfrom\tto
+        const parts = line.split(/\t/);
+        const head = parts[0] ?? "";
+        if (head.startsWith("A"))
+            result.push({ status: "A", path: parts[1] ?? "" });
+        else if (head.startsWith("M"))
+            result.push({ status: "M", path: parts[1] ?? "" });
+        else if (head.startsWith("D"))
+            result.push({ status: "D", path: parts[1] ?? "" });
+        else if (head.startsWith("R")) {
+            result.push({
+                status: "R",
+                path: parts[2] ?? "",
+                fromPath: parts[1] ?? "",
+            });
+        }
+    }
+    return result;
+}
+/** Best-effort read; returns undefined when the file is absent. */
+async function readMaybe(path) {
+    try {
+        return await readFile(path, "utf8");
+    }
+    catch (err) {
+        if (err.code === "ENOENT")
+            return undefined;
+        throw err;
+    }
+}
+/** `git show <sha>:<path>` returning undefined if path didn't exist at sha. */
+async function showAtSha(git, sha, path) {
+    try {
+        return await git.show([`${sha}:${path}`]);
+    }
+    catch {
+        return undefined;
+    }
+}
+/**
+ * Compute the diff between the SHA pin and the current working tree (incl.
+ * untracked files). The agent does not commit, so working tree is the source.
+ *
+ * For renames, simple-git surfaces both an `R` entry. We treat it as the new
+ * path, with `fromPath` carrying the original.
+ */
+export async function getDiff(args) {
+    const git = simpleGit({ baseDir: args.mirrorPath });
+    // Tracked changes: diff against shaPin, name-status only first.
+    const tracked = await git.raw([
+        "diff",
+        "--name-status",
+        "--find-renames",
+        args.shaPin,
+    ]);
+    const trackedRows = parseNameStatus(tracked);
+    // Untracked: anything new not in `git diff` against the SHA but present now.
+    const untrackedRaw = await git.raw([
+        "ls-files",
+        "--others",
+        "--exclude-standard",
+    ]);
+    const untracked = untrackedRaw
+        .split("\n")
+        .map((s) => s.trim())
+        .filter((s) => s.length > 0);
+    // De-dupe untracked vs the diff name-status (a file added since shaPin shows
+    // up in BOTH `git diff --name-status` (as A) and ls-files (as untracked)
+    // until staged — so we treat ls-files as authoritative for new files).
+    const trackedNonAdded = trackedRows.filter((r) => r.status !== "A");
+    const trackedAddedPaths = new Set(trackedRows.filter((r) => r.status === "A").map((r) => r.path));
+    const out = [];
+    for (const row of trackedNonAdded) {
+        const abs = join(args.mirrorPath, row.path);
+        if (row.status === "D") {
+            const before = await showAtSha(git, args.shaPin, row.path);
+            const entry = { path: row.path, status: "deleted" };
+            if (before !== undefined)
+                entry.beforeContent = before;
+            out.push(entry);
+        }
+        else if (row.status === "M") {
+            const before = await showAtSha(git, args.shaPin, row.path);
+            const after = await readMaybe(abs);
+            const entry = { path: row.path, status: "modified" };
+            if (before !== undefined)
+                entry.beforeContent = before;
+            if (after !== undefined)
+                entry.afterContent = after;
+            out.push(entry);
+        }
+        else if (row.status === "R") {
+            const fromPath = row.fromPath ?? "";
+            const before = await showAtSha(git, args.shaPin, fromPath);
+            const after = await readMaybe(abs);
+            const entry = {
+                path: row.path,
+                status: "renamed",
+                fromPath,
+            };
+            if (before !== undefined)
+                entry.beforeContent = before;
+            if (after !== undefined)
+                entry.afterContent = after;
+            out.push(entry);
+        }
+    }
+    // New files: union of `git diff` "A" entries and ls-files untracked.
+    const newPaths = new Set([...trackedAddedPaths, ...untracked]);
+    for (const path of newPaths) {
+        const after = await readMaybe(join(args.mirrorPath, path));
+        const entry = { path, status: "added" };
+        if (after !== undefined)
+            entry.afterContent = after;
+        out.push(entry);
+    }
+    out.sort((a, b) => a.path.localeCompare(b.path));
+    return out;
+}
+/** True iff any changed file's path matches any of the supplied globs. */
+export function diffHasGlobMatch(diff, globs, matcher) {
+    return diff.some((d) => globs.some((g) => matcher(d.path, g)));
+}
+/**
+ * Filter a diff to entries whose path matches any of the supplied globs.
+ * Useful for layered sensors that scope to e.g. route_handler_globs.
+ */
+export function filterDiffByGlobs(diff, globs, matcher) {
+    return diff.filter((d) => globs.some((g) => matcher(d.path, g)));
+}
+//# sourceMappingURL=diff.js.map

package/dist/sensors/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/sensors/diff.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAkB,MAAM,YAAY,CAAC;AAUvD,SAAS,eAAe,CAAC,GAAW;IAClC,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChC,wDAAwD;QACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;aACxE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;aAC7E,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;aAC7E,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,MAAM,EAAE,GAAG;gBACX,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;gBACpB,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,mEAAmE;AACnE,KAAK,UAAU,SAAS,CAAC,IAAY;IACnC,IAAI,CAAC;QACH,OAAO,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAK,GAA6B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACvE,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,KAAK,UAAU,SAAS,CAAC,GAAc,EAAE,GAAW,EAAE,IAAY;IAChE,IAAI,CAAC;QACH,OAAO,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,IAG7B;IACC,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAEpD,gEAAgE;IAChE,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC;QAC5B,MAAM;QACN,eAAe;QACf,gBAAgB;QAChB,IAAI,CAAC,MAAM;KACZ,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAE7C,6EAA6E;IAC7E,MAAM,YAAY,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC;QACjC,UAAU;QACV,UAAU;QACV,oBAAoB;KACrB,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,YAAY;SAC3B,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAC5B,MAAM,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAEvC,6EAA6E;IAC7E,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC;IACpE,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/D,CAAC;IAEF,MAAM,GAAG,GAAgB,EAAE,CAAC;IAE5B,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAc,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;YAC/D,IAAI,MAAM,KAAK,SAAS;gBAAE,KAAK,CAAC,aAAa,GAAG,MAAM,CAAC;YACvD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,CAAC;aAAM,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC,CAAC;YACnC,MAAM,KAAK,GAAc,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;YAChE,IAAI,MAAM,KAAK,SAAS;gBAAE,KAAK,CAAC,aAAa,GAAG,MAAM,CAAC;YACvD,IAAI,KAAK,KAAK,SAAS;gBAAE,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC;YACpD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,CAAC;aAAM,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC,CAAC;YACnC,MAAM,KAAK,GAAc;gBACvB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,SAAS;gBACjB,QAAQ;aACT,CAAC;YACF,IAAI,MAAM,KAAK,SAAS;gBAAE,KAAK,CAAC,aAAa,GAAG,MAAM,CAAC;YACvD,IAAI,KAAK,KAAK,SAAS;gBAAE,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC;YACpD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,iBAAiB,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IACvE,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAc,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACnD,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,YAAY,GAAG,KAAK,CAAC;QACpD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IAED,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACjD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAC9B,IAAiB,EACjB,KAAwB,EACxB,OAAgD;IAEhD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAiB,EACjB,KAAwB,EACxB,OAAgD;IAEhD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC"}