@isaacriehm/cairn 0.1.0

package/dist/reviewer/types.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Reviewer subagent (Layer C) — Phase 10.
+ *
+ * Per PRIMER §10 + INTEGRATION_PLAN §5 Phase 10:
+ *   - Same model as implementer (no model split). Context isolation does
+ *     the work, not weight diversity (L15).
+ *   - Fresh `claude` subprocess; reads ONLY the tightened spec, diff
+ *     content, decisions ledger, in-scope assertions, and Phase 9 soft
+ *     findings. Does NOT see implementer's reasoning or tool-use trace.
+ *   - Anti-completionist prompt; default verdict = fail.
+ *   - Structured output via `--json-schema`.
+ */
+import type { ClaudeTier } from "../claude/index.js";
+import type { DecisionFrontmatter } from "../ground/schemas.js";
+import type { DiffEntry, SensorFinding } from "../sensors/index.js";
+export type ReviewVerdict = "pass" | "fail";
+export type ReviewGapCategory = "deferred_but_claimed_done" | "missing_acceptance_criterion" | "scope_leak" | "query_scope_omission" | "decision_contradiction" | "unhandled_error" | "fake_thoroughness" | "documentation_drift" | "security_concern" | "other";
+export interface ReviewGap {
+    category: ReviewGapCategory;
+    description: string;
+    /** Repo-relative path of the file the gap is anchored on, when applicable. */
+    path?: string;
+    /** Symbol or function name the gap references. */
+    symbol?: string;
+    /** "hard" gates the run; "soft" reports for operator/UAT visibility. */
+    severity: "hard" | "soft";
+}
+export interface ReviewerOutput {
+    verdict: ReviewVerdict;
+    gaps: ReviewGap[];
+    /** Reviewer's confidence in its own verdict. */
+    confidence_signal: "high" | "medium" | "low";
+    /** One-paragraph natural-language summary of the review. */
+    summary: string;
+}
+export interface ReviewerInput {
+    /**
+     * The tightened spec body the implementer received. This is the only
+     * statement of intent the reviewer sees. Do NOT include the original
+     * untightened task body or any operator chatter.
+     */
+    tightened_spec: string;
+    /** Acceptance criteria the implementer was given. */
+    acceptance_criteria: string[];
+    /** Files changed in this run with their post-change content. */
+    diff: DiffEntry[];
+    /** Accepted decisions whose scope_globs overlap the diff. */
+    decisions_in_scope: DecisionFrontmatter[];
+    /** Soft findings from Phase 9 sensors (advisory; not gating). */
+    soft_findings: SensorFinding[];
+    /**
+     * True iff diff touches any high_stakes_globs. Triggers the explicit
+     * query-scope completeness check in the prompt (Codex audit Q1).
+     */
+    is_high_stakes: boolean;
+    /** Tier to use — match implementer per L15. */
+    tier: ClaudeTier;
+    /** Per-call timeout. Default 300_000 ms. */
+    timeout_ms?: number;
+}
+export interface ReviewerResult {
+    output: ReviewerOutput;
+    tier: ClaudeTier;
+    /**
+     * Aggregate decision: false when verdict=fail OR any hard gap exists.
+     * Soft gaps + verdict=pass = ok. Orchestrator gates on this.
+     */
+    ok: boolean;
+    duration_ms: number;
+    usage?: {
+        input_tokens?: number;
+        output_tokens?: number;
+    };
+}

package/dist/reviewer/types.js

@@ -0,0 +1,14 @@
+/**
+ * Reviewer subagent (Layer C) — Phase 10.
+ *
+ * Per PRIMER §10 + INTEGRATION_PLAN §5 Phase 10:
+ *   - Same model as implementer (no model split). Context isolation does
+ *     the work, not weight diversity (L15).
+ *   - Fresh `claude` subprocess; reads ONLY the tightened spec, diff
+ *     content, decisions ledger, in-scope assertions, and Phase 9 soft
+ *     findings. Does NOT see implementer's reasoning or tool-use trace.
+ *   - Anti-completionist prompt; default verdict = fail.
+ *   - Structured output via `--json-schema`.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/reviewer/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/reviewer/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG"}

package/dist/sensors/attestation.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Layer B — attestation cross-check.
+ *
+ * The agent emits a fenced YAML block at the end of its final response.
+ * This module:
+ *   1. Extracts the YAML block from the agent's final text.
+ *   2. Parses it into a structured `Attestation`.
+ *   3. Cross-checks every claim against the actual diff. Mismatch = lie.
+ *
+ * Per PRIMER §10 Layer B. Lying must be harder than telling truth.
+ */
+import type { Attestation, DiffEntry, SensorResult, StubCatalog } from "./types.js";
+/**
+ * Extract the YAML block from a final assistant message. The template
+ * instructs the agent to emit a fenced block whose first line is the literal
+ * key `attestation:`. We accept either:
+ *
+ *   ```yaml
+ *   attestation:
+ *     ...
+ *   ```
+ *
+ * or a bare top-level YAML doc starting with `attestation:`.
+ */
+export declare function extractAttestation(text: string): Attestation | undefined;
+/**
+ * Cross-check the attestation against the diff. Returns the sensor result.
+ *
+ * Hard fails:
+ *   - attestation absent or unparseable
+ *   - files_touched mismatches actual changed paths (set-equality)
+ *   - todos_introduced != count of TODO/FIXME/XXX/HACK markers added
+ *   - stubs_introduced != count of hard-severity stub-pattern hits
+ *   - any delivered item declared `behavior: full` whose path/text contains
+ *     a stub-pattern hit (lying about completeness)
+ */
+export declare function runAttestationCrossCheck(args: {
+    attestation: Attestation | undefined;
+    diff: DiffEntry[];
+    stubCatalog: StubCatalog;
+    /** Globs of files always allowed in diff but not required to be in
+     *  files_touched (e.g. `.harness/runs/active/**`). */
+    ignoreGlobs?: string[];
+}): SensorResult;

package/dist/sensors/attestation.js

@@ -0,0 +1,262 @@
+/**
+ * Layer B — attestation cross-check.
+ *
+ * The agent emits a fenced YAML block at the end of its final response.
+ * This module:
+ *   1. Extracts the YAML block from the agent's final text.
+ *   2. Parses it into a structured `Attestation`.
+ *   3. Cross-checks every claim against the actual diff. Mismatch = lie.
+ *
+ * Per PRIMER §10 Layer B. Lying must be harder than telling truth.
+ */
+import { parse as parseYaml } from "yaml";
+import { matchAnyGlob } from "../ground/glob.js";
+import { detectStubMatches } from "./stub-catalog.js";
+const SENSOR_ID = "attestation-cross-check";
+/**
+ * Extract the YAML block from a final assistant message. The template
+ * instructs the agent to emit a fenced block whose first line is the literal
+ * key `attestation:`. We accept either:
+ *
+ *   ```yaml
+ *   attestation:
+ *     ...
+ *   ```
+ *
+ * or a bare top-level YAML doc starting with `attestation:`.
+ */
+export function extractAttestation(text) {
+    if (typeof text !== "string" || text.length === 0)
+        return undefined;
+    // Prefer fenced ```yaml ... ``` block whose body starts with `attestation:`.
+    const fenced = /```(?:yaml|yml)?\s*\n([\s\S]*?)\n```/g;
+    let match;
+    while ((match = fenced.exec(text)) !== null) {
+        const body = match[1] ?? "";
+        if (/^\s*attestation\s*:/m.test(body)) {
+            const parsed = parseAttestationBody(body);
+            if (parsed)
+                return parsed;
+        }
+    }
+    // Fallback: bare YAML in text starting with `attestation:`.
+    const bareIdx = text.search(/^\s*attestation\s*:/m);
+    if (bareIdx !== -1) {
+        const slice = text.slice(bareIdx);
+        return parseAttestationBody(slice);
+    }
+    return undefined;
+}
+/** Try parsing a YAML body that contains an `attestation:` key. */
+function parseAttestationBody(body) {
+    let doc;
+    try {
+        doc = parseYaml(body);
+    }
+    catch {
+        return undefined;
+    }
+    if (typeof doc !== "object" || doc === null)
+        return undefined;
+    const root = doc;
+    const at = root["attestation"];
+    if (typeof at !== "object" || at === null)
+        return undefined;
+    const a = at;
+    const delivered = Array.isArray(a["delivered"])
+        ? a["delivered"].map((d) => ({
+            symbol: String(d["symbol"] ?? ""),
+            ...(typeof d["path"] === "string" ? { path: d["path"] } : {}),
+            behavior: (() => {
+                const v = d["behavior"];
+                return v === "partial" || v === "scaffolded" ? v : "full";
+            })(),
+            ...(Array.isArray(d["sensors_passed"])
+                ? { sensors_passed: d["sensors_passed"].map(String) }
+                : {}),
+        }))
+        : [];
+    const deferred = Array.isArray(a["deferred"])
+        ? a["deferred"].map((d) => ({
+            symbol: String(d["symbol"] ?? ""),
+            reason: String(d["reason"] ?? ""),
+        }))
+        : [];
+    const known_limitations = Array.isArray(a["known_limitations"])
+        ? a["known_limitations"].map(String)
+        : [];
+    const todos_introduced = typeof a["todos_introduced"] === "number" ? a["todos_introduced"] : 0;
+    const stubs_introduced = typeof a["stubs_introduced"] === "number" ? a["stubs_introduced"] : 0;
+    const files_touched = Array.isArray(a["files_touched"])
+        ? a["files_touched"].map(String)
+        : [];
+    const out = {
+        delivered,
+        deferred,
+        known_limitations,
+        todos_introduced,
+        stubs_introduced,
+        files_touched,
+    };
+    // Optional blocked_by from the same root or under attestation.
+    const block = (root["blocked_by"] ?? a["blocked_by"]);
+    if (typeof block === "object" && block !== null) {
+        const b = block;
+        if (typeof b["reason"] === "string") {
+            out.blocked_by = {
+                reason: b["reason"],
+                ...(typeof b["needed_from_operator"] === "string"
+                    ? { needed_from_operator: b["needed_from_operator"] }
+                    : {}),
+            };
+        }
+    }
+    return out;
+}
+/**
+ * Cross-check the attestation against the diff. Returns the sensor result.
+ *
+ * Hard fails:
+ *   - attestation absent or unparseable
+ *   - files_touched mismatches actual changed paths (set-equality)
+ *   - todos_introduced != count of TODO/FIXME/XXX/HACK markers added
+ *   - stubs_introduced != count of hard-severity stub-pattern hits
+ *   - any delivered item declared `behavior: full` whose path/text contains
+ *     a stub-pattern hit (lying about completeness)
+ */
+export function runAttestationCrossCheck(args) {
+    const startedAt = Date.now();
+    const findings = [];
+    if (!args.attestation) {
+        findings.push({
+            sensor_id: SENSOR_ID,
+            message: "agent emitted no `attestation:` YAML block in final response — Layer B contract requires one",
+            severity: "hard",
+        });
+        return {
+            sensor_id: SENSOR_ID,
+            ok: false,
+            duration_ms: Date.now() - startedAt,
+            findings,
+        };
+    }
+    if (args.attestation.blocked_by) {
+        // Agent declared it can't proceed. Surface as soft so the orchestrator
+        // routes it back to the operator instead of looping.
+        findings.push({
+            sensor_id: SENSOR_ID,
+            message: `agent reported blocked_by: ${args.attestation.blocked_by.reason}`,
+            severity: "soft",
+        });
+    }
+    const diffPaths = new Set(args.diff
+        .filter((d) => d.status !== "deleted")
+        .map((d) => d.path));
+    const ignore = args.ignoreGlobs ?? [];
+    const declared = new Set(args.attestation.files_touched);
+    // Set-equality: every changed file must be declared, and every declared
+    // file must be in the diff (catches "I changed these other files too" lies).
+    for (const path of diffPaths) {
+        if (declared.has(path))
+            continue;
+        if (ignore.length > 0 && matchAnyGlob(path, ignore))
+            continue;
+        findings.push({
+            sensor_id: SENSOR_ID,
+            path,
+            message: `file changed but not in attestation.files_touched: ${path}`,
+            severity: "hard",
+        });
+    }
+    for (const path of declared) {
+        if (diffPaths.has(path))
+            continue;
+        findings.push({
+            sensor_id: SENSOR_ID,
+            path,
+            message: `attestation.files_touched lists a file not actually changed: ${path}`,
+            severity: "hard",
+        });
+    }
+    // Count markers added in the diff.
+    const addedTodoCount = countAddedMarkers(args.diff);
+    if (args.attestation.todos_introduced !== addedTodoCount) {
+        findings.push({
+            sensor_id: SENSOR_ID,
+            message: `attestation.todos_introduced=${args.attestation.todos_introduced} but diff adds ${addedTodoCount} TODO/FIXME/XXX/HACK marker(s)`,
+            severity: "hard",
+        });
+    }
+    // Count hard-stub matches in the diff.
+    const stubHits = detectStubMatches({
+        diff: args.diff,
+        catalog: args.stubCatalog,
+        /** All languages — Layer B doesn't get to filter by profile (the agent's
+         *  number must match the same denominator we'll use). */
+        languages: undefined,
+    });
+    const hardStubCount = stubHits.filter((h) => h.severity === "hard").length;
+    if (args.attestation.stubs_introduced !== hardStubCount) {
+        findings.push({
+            sensor_id: SENSOR_ID,
+            message: `attestation.stubs_introduced=${args.attestation.stubs_introduced} but Layer A finds ${hardStubCount} hard-severity stub pattern(s)`,
+            severity: "hard",
+        });
+    }
+    // behavior:full + stub-pattern coexistence = lie about completeness.
+    for (const d of args.attestation.delivered) {
+        if (d.behavior !== "full")
+            continue;
+        const matches = stubHits.filter((h) => {
+            if (d.path && h.path !== d.path)
+                return false;
+            // If no path, just see whether any matched_text references the symbol.
+            if (!d.path)
+                return (h.matched_text ?? "").includes(d.symbol);
+            return true;
+        });
+        for (const m of matches) {
+            const f = {
+                sensor_id: SENSOR_ID,
+                message: `delivered "${d.symbol}" claimed behavior:full but contains stub pattern \`${m.pattern_id}\``,
+                severity: "hard",
+            };
+            if (m.path !== undefined)
+                f.path = m.path;
+            if (m.line !== undefined)
+                f.line = m.line;
+            if (m.matched_text !== undefined)
+                f.matched_text = m.matched_text;
+            if (m.pattern_id !== undefined)
+                f.pattern_id = m.pattern_id;
+            findings.push(f);
+        }
+    }
+    const ok = findings.every((f) => f.severity !== "hard");
+    return {
+        sensor_id: SENSOR_ID,
+        ok,
+        duration_ms: Date.now() - startedAt,
+        findings,
+    };
+}
+/**
+ * Count TODO/FIXME/XXX/HACK markers introduced in the diff (added lines only).
+ * Modified files: counts markers in content not present at the SHA pin.
+ * Added files: counts every marker.
+ */
+function countAddedMarkers(diff) {
+    const re = /(?:\/\/|#|\/\*|--)\s*(TODO|FIXME|XXX|HACK)\b/g;
+    let total = 0;
+    for (const entry of diff) {
+        if (entry.status === "deleted")
+            continue;
+        const after = entry.afterContent ?? "";
+        const before = entry.beforeContent ?? "";
+        const beforeCount = (before.match(re) ?? []).length;
+        const afterCount = (after.match(re) ?? []).length;
+        total += Math.max(0, afterCount - beforeCount);
+    }
+    return total;
+}
+//# sourceMappingURL=attestation.js.map

package/dist/sensors/attestation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attestation.js","sourceRoot":"","sources":["../../src/sensors/attestation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAQjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEtD,MAAM,SAAS,GAAG,yBAAyB,CAAC;AAE5C;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEpE,6EAA6E;IAC7E,MAAM,MAAM,GAAG,uCAAuC,CAAC;IACvD,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAClC,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,mEAAmE;AACnE,SAAS,oBAAoB,CAAC,IAAY;IACxC,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC9D,MAAM,IAAI,GAAG,GAA8B,CAAC;IAC5C,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC;IAC/B,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5D,MAAM,CAAC,GAAG,EAA6B,CAAC;IAExC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC7C,CAAC,CAAE,CAAC,CAAC,WAAW,CAA+B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxD,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACjC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,QAAQ,EAAE,CAAC,GAAsC,EAAE;gBACjD,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;gBACxB,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC5D,CAAC,CAAC,EAAE;YACJ,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;gBACpC,CAAC,CAAC,EAAE,cAAc,EAAG,CAAC,CAAC,gBAAgB,CAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;gBACnE,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;QACL,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3C,CAAC,CAAE,CAAC,CAAC,UAAU,CAA+B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvD,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACjC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;SAClC,CAAC,CAAC;QACL,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,iBAAiB,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;QAC7D,CAAC,CAAE,CAAC,CAAC,mBAAmB,CAAe,CAAC,GAAG,CAAC,MAAM,CAAC;QACnD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,gBAAgB,GAAG,OAAO,CAAC,CAAC,kBAAkB,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,gBAAgB,GAAG,OAAO,CAAC,CAAC,kBAAkB,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;QACrD,CAAC,CAAE,CAAC,CAAC,eAAe,CAAe,CAAC,GAAG,CAAC,MAAM,CAAC;QAC/C,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,GAAG,GAAgB;QACvB,SAAS;QACT,QAAQ;QACR,iBAAiB;QACjB,gBAAgB;QAChB,gBAAgB;QAChB,aAAa;KACd,CAAC;IAEF,+DAA+D;IAC/D,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAY,CAAC;IACjE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,MAAM,CAAC,GAAG,KAAgC,CAAC;QAC3C,IAAI,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,QAAQ,EAAE,CAAC;YACpC,GAAG,CAAC,UAAU,GAAG;gBACf,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC;gBACnB,GAAG,CAAC,OAAO,CAAC,CAAC,sBAAsB,CAAC,KAAK,QAAQ;oBAC/C,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,sBAAsB,CAAC,EAAE;oBACrD,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAOxC;IACC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC;YACZ,SAAS,EAAE,SAAS;YACpB,OAAO,EACL,8FAA8F;YAChG,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;QACH,OAAO;YACL,SAAS,EAAE,SAAS;YACpB,EAAE,EAAE,KAAK;YACT,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;YACnC,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;QAChC,uEAAuE;QACvE,qDAAqD;QACrD,QAAQ,CAAC,IAAI,CAAC;YACZ,SAAS,EAAE,SAAS;YACpB,OAAO,EAAE,8BAA8B,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,EAAE;YAC3E,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,IAAI,CAAC,IAAI;SACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtB,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;IAEzD,wEAAwE;IACxE,6EAA6E;IAC7E,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACjC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC;YAAE,SAAS;QAC9D,QAAQ,CAAC,IAAI,CAAC;YACZ,SAAS,EAAE,SAAS;YACpB,IAAI;YACJ,OAAO,EAAE,sDAAsD,IAAI,EAAE;YACrE,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAClC,QAAQ,CAAC,IAAI,CAAC;YACZ,SAAS,EAAE,SAAS;YACpB,IAAI;YACJ,OAAO,EAAE,gEAAgE,IAAI,EAAE;YAC/E,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;IACL,CAAC;IAED,mCAAmC;IACnC,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,WAAW,CAAC,gBAAgB,KAAK,cAAc,EAAE,CAAC;QACzD,QAAQ,CAAC,IAAI,CAAC;YACZ,SAAS,EAAE,SAAS;YACpB,OAAO,EAAE,gCAAgC,IAAI,CAAC,WAAW,CAAC,gBAAgB,kBAAkB,cAAc,gCAAgC;YAC1I,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;IACL,CAAC;IAED,uCAAuC;IACvC,MAAM,QAAQ,GAAG,iBAAiB,CAAC;QACjC,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,WAAW;QACzB;iEACyD;QACzD,SAAS,EAAE,SAAS;KACrB,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC3E,IAAI,IAAI,CAAC,WAAW,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC;YACZ,SAAS,EAAE,SAAS;YACpB,OAAO,EAAE,gCAAgC,IAAI,CAAC,WAAW,CAAC,gBAAgB,sBAAsB,aAAa,gCAAgC;YAC7I,QAAQ,EAAE,MAAM;SACjB,CAAC,CAAC;IACL,CAAC;IAED,qEAAqE;IACrE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;QAC3C,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM;YAAE,SAAS;QACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACpC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YAC9C,uEAAuE;YACvE,IAAI,CAAC,CAAC,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC9D,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,CAAC,GAAkB;gBACvB,SAAS,EAAE,SAAS;gBACpB,OAAO,EAAE,cAAc,CAAC,CAAC,MAAM,uDAAuD,CAAC,CAAC,UAAU,IAAI;gBACtG,QAAQ,EAAE,MAAM;aACjB,CAAC;YACF,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;YAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;YAC1C,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;gBAAE,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;YAClE,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;gBAAE,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;YAC5D,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,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;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAiB;IAC1C,MAAM,EAAE,GAAG,+CAA+C,CAAC;IAC3D,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;QACzC,MAAM,WAAW,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACpD,MAAM,UAAU,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAClD,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,WAAW,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/sensors/catalog.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Loaders for the on-disk sensor configuration files.
+ *
+ * `.harness/config/stub-patterns.yaml` — Layer A regex catalog
+ * `.harness/config/sensors.yaml`       — sensor registry (which sensors run,
+ *                                        their layer, fail_severity, glob keys)
+ *
+ * Both files ship as templates in `harness/templates/.harness/config/` and
+ * are copied into the adopted project's `.harness/config/` at init.
+ */
+import type { StubCatalog } from "./types.js";
+/** Parse a stub-patterns.yaml document into the typed catalog shape. */
+export declare function parseStubCatalog(yamlText: string): StubCatalog;
+/**
+ * Load the stub-pattern catalog. Order:
+ *   1. `<repoRoot>/.harness/config/stub-patterns.yaml` (project override)
+ *   2. The package's bundled template file (always present in harness/dist).
+ *
+ * Returns the parsed catalog. Throws only if both candidates are missing or
+ * unparseable — that would indicate a broken harness install.
+ */
+export declare function loadStubCatalog(repoRoot?: string): StubCatalog;
+/** Sensor registry entry from sensors.yaml. */
+export interface SensorRegistryEntry {
+    id: string;
+    layer: string;
+    kind: string;
+    description: string;
+    triggers: string[];
+    glob_keys?: string[];
+    catalog?: string;
+    fail_severity?: "hard" | "soft";
+}
+export interface SensorRegistry {
+    version: number;
+    sensors: SensorRegistryEntry[];
+    required_glob_keys: string[];
+    disabled_per_project: string[];
+}
+/** Load + parse the sensor registry. */
+export declare function loadSensorRegistry(repoRoot?: string): SensorRegistry;

package/dist/sensors/catalog.js

@@ -0,0 +1,123 @@
+/**
+ * Loaders for the on-disk sensor configuration files.
+ *
+ * `.harness/config/stub-patterns.yaml` — Layer A regex catalog
+ * `.harness/config/sensors.yaml`       — sensor registry (which sensors run,
+ *                                        their layer, fail_severity, glob keys)
+ *
+ * Both files ship as templates in `harness/templates/.harness/config/` and
+ * are copied into the adopted project's `.harness/config/` at init.
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { fileURLToPath } from "node:url";
+import { parse as parseYaml } from "yaml";
+const HERE = dirname(fileURLToPath(import.meta.url));
+/**
+ * Path to the catalog file shipped inside the harness package itself. Used
+ * as the fallback when the adopted project hasn't customized the catalog.
+ *
+ * `dist/sensors/catalog.js` runtime path → `templates/.harness/config/...`.
+ */
+const PKG_TEMPLATE_STUB = join(HERE, "..", "..", "templates", ".harness", "config", "stub-patterns.yaml");
+const PKG_TEMPLATE_SENSORS = join(HERE, "..", "..", "templates", ".harness", "config", "sensors.yaml");
+const KNOWN_LANGUAGES = [
+    "typescript",
+    "javascript",
+    "python",
+    "ruby",
+    "go",
+    "rust",
+    "sql",
+];
+function isKnownLanguage(s) {
+    return typeof s === "string" && KNOWN_LANGUAGES.includes(s);
+}
+/** Parse a stub-patterns.yaml document into the typed catalog shape. */
+export function parseStubCatalog(yamlText) {
+    const doc = parseYaml(yamlText);
+    const version = typeof doc["version"] === "number" ? doc["version"] : 1;
+    const rawPatterns = Array.isArray(doc["patterns"]) ? doc["patterns"] : [];
+    const patterns = [];
+    for (const raw of rawPatterns) {
+        if (typeof raw !== "object" || raw === null)
+            continue;
+        const r = raw;
+        const id = typeof r["id"] === "string" ? r["id"] : "";
+        const langs = Array.isArray(r["languages"])
+            ? r["languages"].filter(isKnownLanguage)
+            : [];
+        const description = typeof r["description"] === "string" ? r["description"] : "";
+        const regex = typeof r["regex"] === "string" ? r["regex"] : "";
+        const severity = r["severity"] === "soft" ? "soft" : "hard";
+        if (id === "" || regex === "" || langs.length === 0)
+            continue;
+        patterns.push({ id, languages: langs, description, regex, severity });
+    }
+    return { version, patterns };
+}
+/**
+ * Load the stub-pattern catalog. Order:
+ *   1. `<repoRoot>/.harness/config/stub-patterns.yaml` (project override)
+ *   2. The package's bundled template file (always present in harness/dist).
+ *
+ * Returns the parsed catalog. Throws only if both candidates are missing or
+ * unparseable — that would indicate a broken harness install.
+ */
+export function loadStubCatalog(repoRoot) {
+    const candidates = [];
+    if (repoRoot !== undefined) {
+        candidates.push(join(repoRoot, ".harness", "config", "stub-patterns.yaml"));
+    }
+    candidates.push(PKG_TEMPLATE_STUB);
+    for (const p of candidates) {
+        if (!existsSync(p))
+            continue;
+        return parseStubCatalog(readFileSync(p, "utf8"));
+    }
+    throw new Error(`stub-patterns.yaml not found; checked: ${candidates.join(", ")}`);
+}
+/** Load + parse the sensor registry. */
+export function loadSensorRegistry(repoRoot) {
+    const candidates = [];
+    if (repoRoot !== undefined) {
+        candidates.push(join(repoRoot, ".harness", "config", "sensors.yaml"));
+    }
+    candidates.push(PKG_TEMPLATE_SENSORS);
+    for (const p of candidates) {
+        if (!existsSync(p))
+            continue;
+        const doc = parseYaml(readFileSync(p, "utf8"));
+        const version = typeof doc["version"] === "number" ? doc["version"] : 1;
+        const sensors = [];
+        for (const raw of doc["sensors"] ?? []) {
+            if (typeof raw !== "object" || raw === null)
+                continue;
+            const r = raw;
+            sensors.push({
+                id: String(r["id"] ?? ""),
+                layer: String(r["layer"] ?? ""),
+                kind: String(r["kind"] ?? ""),
+                description: String(r["description"] ?? ""),
+                triggers: Array.isArray(r["triggers"]) ? r["triggers"] : [],
+                ...(Array.isArray(r["glob_keys"]) ? { glob_keys: r["glob_keys"] } : {}),
+                ...(typeof r["catalog"] === "string" ? { catalog: r["catalog"] } : {}),
+                ...(r["fail_severity"] === "hard" || r["fail_severity"] === "soft"
+                    ? { fail_severity: r["fail_severity"] }
+                    : {}),
+            });
+        }
+        return {
+            version,
+            sensors,
+            required_glob_keys: Array.isArray(doc["required_glob_keys"])
+                ? doc["required_glob_keys"]
+                : [],
+            disabled_per_project: Array.isArray(doc["disabled_per_project"])
+                ? doc["disabled_per_project"]
+                : [],
+        };
+    }
+    throw new Error(`sensors.yaml not found; checked: ${candidates.join(", ")}`);
+}
+//# sourceMappingURL=catalog.js.map

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,UAAU,EACV,QAAQ,EACR,oBAAoB,CACrB,CAAC;AACF,MAAM,oBAAoB,GAAG,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,WAAW,EACX,UAAU,EACV,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,UAAU,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC;IAC9E,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,UAAU,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC;IACxE,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;