@isaacriehm/cairn 0.1.0 → 0.1.3

package/dist/index.d.ts

@@ -5,4 +5,3 @@
  * from "@isaacriehm/cairn"`. See docs/PLUGIN_ARCHITECTURE.md.
  */
 export * from "@isaacriehm/cairn-core";
-export * from "@isaacriehm/cairn-frontend-stub";

package/dist/index.js

@@ -5,5 +5,4 @@
  * from "@isaacriehm/cairn"`. See docs/PLUGIN_ARCHITECTURE.md.
  */
 export * from "@isaacriehm/cairn-core";
-export * from "@isaacriehm/cairn-frontend-stub";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,cAAc,wBAAwB,CAAC;AACvC,cAAc,iCAAiC,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,cAAc,wBAAwB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@isaacriehm/cairn",
-  "version": "0.1.0",
+  "version": "0.1.3",
   "description": "Cairn — state + context-loading layer for AI coding agents.",
   "author": "Isaac Riehm",
   "license": "MIT",
@@ -34,14 +34,14 @@
   "dependencies": {
     "simple-git": "^3.36.0",
     "yaml": "^2.8.4",
-    "@isaacriehm/cairn-core": "0.1.0",
-    "@isaacriehm/cairn-frontend-stub": "0.1.0"
+    "@isaacriehm/cairn-core": "0.1.3"
   },
   "devDependencies": {
     "@modelcontextprotocol/sdk": "^1.29.0",
     "@types/node": "^25.6.0",
     "tsx": "^4.21.0",
-    "typescript": "^6.0.3"
+    "typescript": "^6.0.3",
+    "@isaacriehm/cairn-frontend-stub": "0.1.3"
   },
   "scripts": {
     "build": "tsc -b",

package/dist/backprop/id.d.ts

@@ -1,14 +0,0 @@
-/**
- * Invariant id allocator. Per L13.2:
- *   - Monotonic, never reused.
- *   - Format: V<NNNN>, zero-padded to four digits.
- *   - Even superseded invariants keep their id; allocation only ever
- *     advances forward.
- */
-/**
- * Scan `<repoRoot>/.harness/ground/invariants/V*.md` and return the next
- * free id formatted as `V<NNNN>`. The scan is liberal — any V-prefixed
- * markdown counts toward the high-water mark, including ones marked
- * superseded.
- */
-export declare function allocateInvariantId(repoRoot: string): string;

package/dist/backprop/id.js

@@ -1,40 +0,0 @@
-/**
- * Invariant id allocator. Per L13.2:
- *   - Monotonic, never reused.
- *   - Format: V<NNNN>, zero-padded to four digits.
- *   - Even superseded invariants keep their id; allocation only ever
- *     advances forward.
- */
-import { existsSync, readdirSync } from "node:fs";
-import { invariantsDir } from "../ground/paths.js";
-const FILENAME_RE = /^V(\d{4,})\.md$/;
-/**
- * Scan `<repoRoot>/.harness/ground/invariants/V*.md` and return the next
- * free id formatted as `V<NNNN>`. The scan is liberal — any V-prefixed
- * markdown counts toward the high-water mark, including ones marked
- * superseded.
- */
-export function allocateInvariantId(repoRoot) {
-    const dir = invariantsDir(repoRoot);
-    let max = 0;
-    if (existsSync(dir)) {
-        let entries;
-        try {
-            entries = readdirSync(dir, { encoding: "utf8" });
-        }
-        catch {
-            entries = [];
-        }
-        for (const name of entries) {
-            const match = name.match(FILENAME_RE);
-            if (!match)
-                continue;
-            const n = Number.parseInt(match[1] ?? "0", 10);
-            if (Number.isFinite(n) && n > max)
-                max = n;
-        }
-    }
-    const next = max + 1;
-    return `V${next.toString().padStart(4, "0")}`;
-}
-//# sourceMappingURL=id.js.map

package/dist/backprop/id.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"id.js","sourceRoot":"","sources":["../../src/backprop/id.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,MAAM,WAAW,GAAG,iBAAiB,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACnD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC;IACrB,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AAChD,CAAC"}

package/dist/backprop/index.d.ts

@@ -1,23 +0,0 @@
-/**
- * Phase 13 — backprop protocol.
- *
- * After a code-class run lands its fix, the backprop subagent reads the
- * tightened spec + diff + failure that motivated the fix, distills a
- * permanent §V invariant, and emits a sensor (or named E2E case) that
- * catches a regression of that invariant on every future run.
- *
- * Public surface:
- *   - runBackprop(args)              → writes invariant + sensor, returns result
- *   - allocateInvariantId(repoRoot)  → next monotonic V-id
- *   - writeInvariantArtifacts(args)  → mechanical writer (used by runBackprop)
- *   - BACKPROP_OUTPUT_SCHEMA, BACKPROP_SYSTEM_PROMPT — for consumers that
- *     want to call `runClaude` directly (smoke convenience).
- */
-export type { BackpropInput, BackpropOutput, BackpropResult, EnforcementKind, } from "./types.js";
-export { allocateInvariantId } from "./id.js";
-export { BACKPROP_SYSTEM_PROMPT, buildBackpropUserPrompt, } from "./prompt.js";
-export { BACKPROP_OUTPUT_SCHEMA } from "./schema.js";
-export { runBackprop } from "./runner.js";
-export type { RunBackpropArgs } from "./runner.js";
-export { writeInvariantArtifacts, } from "./writer.js";
-export type { WriteInvariantArgs, WriteInvariantResult, } from "./writer.js";

package/dist/backprop/index.js

@@ -1,21 +0,0 @@
-/**
- * Phase 13 — backprop protocol.
- *
- * After a code-class run lands its fix, the backprop subagent reads the
- * tightened spec + diff + failure that motivated the fix, distills a
- * permanent §V invariant, and emits a sensor (or named E2E case) that
- * catches a regression of that invariant on every future run.
- *
- * Public surface:
- *   - runBackprop(args)              → writes invariant + sensor, returns result
- *   - allocateInvariantId(repoRoot)  → next monotonic V-id
- *   - writeInvariantArtifacts(args)  → mechanical writer (used by runBackprop)
- *   - BACKPROP_OUTPUT_SCHEMA, BACKPROP_SYSTEM_PROMPT — for consumers that
- *     want to call `runClaude` directly (smoke convenience).
- */
-export { allocateInvariantId } from "./id.js";
-export { BACKPROP_SYSTEM_PROMPT, buildBackpropUserPrompt, } from "./prompt.js";
-export { BACKPROP_OUTPUT_SCHEMA } from "./schema.js";
-export { runBackprop } from "./runner.js";
-export { writeInvariantArtifacts, } from "./writer.js";
-//# sourceMappingURL=index.js.map

package/dist/backprop/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/backprop/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AASH,OAAO,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EACL,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EACL,uBAAuB,GACxB,MAAM,aAAa,CAAC"}

package/dist/backprop/prompt.d.ts

@@ -1,16 +0,0 @@
-/**
- * Backprop subagent prompts.
- *
- * The agent reads the tightened spec, the failure that motivated this fix,
- * and the diff that resolved it. It produces a single typed object —
- * `BackpropOutput` — that the harness uses to write the invariant file +
- * generate the sensor.
- *
- * The agent does NOT touch the filesystem; the schema and prompt
- * deliberately do not surface tools. Per L13.1: "Naming convention:
- * sensor scripts and E2E cases cite the invariant ID — the harness
- * mints the id, so the agent only supplies the slug."
- */
-import type { BackpropInput } from "./types.js";
-export declare const BACKPROP_SYSTEM_PROMPT = "You are the **backprop subagent** for an agent harness. A fix has just landed; your job is to capture the underlying invariant so the same class of bug becomes mechanically detectable forever.\n\nYou read three things and you emit one structured object.\n\nYou read:\n1. The tightened spec the implementer worked from.\n2. The failure that motivated this fix (a sensor finding, reviewer gap, UAT rejection note, or operator bug report).\n3. The diff that resolved it.\n\nYou emit a single JSON object matching the supplied schema. Required fields:\n- `slug`: short kebab-case identifier (\u226430 chars). Use the invariant's *what*, not the bug. `no-jsonb-userid-filter` is good; `fix-bug-from-yesterday` is bad.\n- `title`: imperative one-liner describing the invariant. Example: \"All user-scoped queries MUST filter by `user_id` in addition to provider keys\".\n- `body_markdown`: 2\u20136 paragraphs explaining (a) the rule, (b) why it exists / what bug it prevents, (c) how to satisfy it on future code, (d) known exceptions if any.\n- `introduced_for_bug`: the original failure summary, distilled to one paragraph.\n- `enforcement`: ONE mechanism that catches a regression of this invariant.\n\nTwo enforcement kinds:\n\n**`regex_sensor`** \u2014 for invariants that are mechanically detectable by a single regex pattern over source files. Most invariants are this kind. Required sub-fields:\n- `regex`: a JS-flavored regex pattern (string, no leading/trailing slashes). It MUST match the BAD pattern (i.e., a hit means the invariant is violated). Use `(?!...)` or `(?=...)` lookarounds when needed.\n- `target_globs`: list of repo-relative globs the sensor scans. Example: `[\"src/**/*.ts\", \"core/src/**/*.ts\"]`. Default to the directory the fix touched if uncertain.\n- `language`: one of typescript, javascript, python, ruby, go, rust, sql. Filters which files the regex runs against.\n- `failure_message`: imperative one-liner the sensor prints when it hits. Should tell the next agent what to do.\n\n**`named_e2e`** \u2014 for invariants that only show up at runtime (e.g., cross-tenant scoping, multi-step user flows). Required sub-fields:\n- `e2e_path`: relative path the harness will create. Use the form `e2e/V<N>_<slug>.spec.ts`. The harness substitutes V<N>; you supply the rest.\n\nDO NOT:\n- Suggest a `regex_sensor` whose pattern would have false positives. A noisy sensor is worse than no sensor.\n- Capture an invariant that's a tautology (\"don't write bugs\"). The invariant must be a *specific structural rule* that, if obeyed, makes a class of bug impossible.\n- Output any free text outside the JSON envelope.\n\nIf the diff is genuinely too small or generic to extract a useful invariant \u2014 for example, a typo fix or a trivial copy update \u2014 emit a regex_sensor with a wildly-permissive pattern that will never hit AND a body_markdown that says \"no enforceable invariant; fix was cosmetic\". The id allocator still mints a V-id; it's better to record \"no invariant here\" than to fabricate one.";
-export declare function buildBackpropUserPrompt(input: BackpropInput): string;

package/dist/backprop/prompt.js

@@ -1,101 +0,0 @@
-/**
- * Backprop subagent prompts.
- *
- * The agent reads the tightened spec, the failure that motivated this fix,
- * and the diff that resolved it. It produces a single typed object —
- * `BackpropOutput` — that the harness uses to write the invariant file +
- * generate the sensor.
- *
- * The agent does NOT touch the filesystem; the schema and prompt
- * deliberately do not surface tools. Per L13.1: "Naming convention:
- * sensor scripts and E2E cases cite the invariant ID — the harness
- * mints the id, so the agent only supplies the slug."
- */
-/**
- * Maximum characters per file emitted in the prompt. Larger files
- * are truncated with an explicit elision marker.
- */
-const PER_FILE_CHAR_CAP = 16_000;
-export const BACKPROP_SYSTEM_PROMPT = `You are the **backprop subagent** for an agent harness. A fix has just landed; your job is to capture the underlying invariant so the same class of bug becomes mechanically detectable forever.
-
-You read three things and you emit one structured object.
-
-You read:
-1. The tightened spec the implementer worked from.
-2. The failure that motivated this fix (a sensor finding, reviewer gap, UAT rejection note, or operator bug report).
-3. The diff that resolved it.
-
-You emit a single JSON object matching the supplied schema. Required fields:
-- \`slug\`: short kebab-case identifier (≤30 chars). Use the invariant's *what*, not the bug. \`no-jsonb-userid-filter\` is good; \`fix-bug-from-yesterday\` is bad.
-- \`title\`: imperative one-liner describing the invariant. Example: "All user-scoped queries MUST filter by \`user_id\` in addition to provider keys".
-- \`body_markdown\`: 2–6 paragraphs explaining (a) the rule, (b) why it exists / what bug it prevents, (c) how to satisfy it on future code, (d) known exceptions if any.
-- \`introduced_for_bug\`: the original failure summary, distilled to one paragraph.
-- \`enforcement\`: ONE mechanism that catches a regression of this invariant.
-
-Two enforcement kinds:
-
-**\`regex_sensor\`** — for invariants that are mechanically detectable by a single regex pattern over source files. Most invariants are this kind. Required sub-fields:
-- \`regex\`: a JS-flavored regex pattern (string, no leading/trailing slashes). It MUST match the BAD pattern (i.e., a hit means the invariant is violated). Use \`(?!...)\` or \`(?=...)\` lookarounds when needed.
-- \`target_globs\`: list of repo-relative globs the sensor scans. Example: \`["src/**/*.ts", "core/src/**/*.ts"]\`. Default to the directory the fix touched if uncertain.
-- \`language\`: one of typescript, javascript, python, ruby, go, rust, sql. Filters which files the regex runs against.
-- \`failure_message\`: imperative one-liner the sensor prints when it hits. Should tell the next agent what to do.
-
-**\`named_e2e\`** — for invariants that only show up at runtime (e.g., cross-tenant scoping, multi-step user flows). Required sub-fields:
-- \`e2e_path\`: relative path the harness will create. Use the form \`e2e/V<N>_<slug>.spec.ts\`. The harness substitutes V<N>; you supply the rest.
-
-DO NOT:
-- Suggest a \`regex_sensor\` whose pattern would have false positives. A noisy sensor is worse than no sensor.
-- Capture an invariant that's a tautology ("don't write bugs"). The invariant must be a *specific structural rule* that, if obeyed, makes a class of bug impossible.
-- Output any free text outside the JSON envelope.
-
-If the diff is genuinely too small or generic to extract a useful invariant — for example, a typo fix or a trivial copy update — emit a regex_sensor with a wildly-permissive pattern that will never hit AND a body_markdown that says "no enforceable invariant; fix was cosmetic". The id allocator still mints a V-id; it's better to record "no invariant here" than to fabricate one.`;
-export function buildBackpropUserPrompt(input) {
-    const sections = [];
-    sections.push("## Run");
-    sections.push(`run_id: ${input.run_id}`);
-    if (input.in_scope_decision_ids.length > 0) {
-        sections.push(`decisions in scope: ${input.in_scope_decision_ids.join(", ")}`);
-    }
-    sections.push("\n## Tightened spec");
-    sections.push(input.tightened_spec.trim());
-    if (input.acceptance_criteria.length > 0) {
-        sections.push("\n## Acceptance criteria");
-        for (const ac of input.acceptance_criteria) {
-            sections.push(`- ${ac}`);
-        }
-    }
-    sections.push("\n## Failure that motivated this fix");
-    sections.push(input.failure_summary.trim());
-    sections.push("\n## Diff that landed");
-    sections.push(formatDiff(input.diff));
-    sections.push("\n## Your task");
-    sections.push("Extract the invariant. Emit the structured object per the schema. " +
-        "The harness will mint the invariant id, write the file, and generate the sensor.");
-    return sections.join("\n");
-}
-function formatDiff(diff) {
-    if (diff.length === 0)
-        return "(empty diff)";
-    const out = [];
-    for (const entry of diff) {
-        out.push(`### ${entry.path}  [${entry.status}]`);
-        if (entry.status === "deleted") {
-            out.push("(file deleted)");
-            continue;
-        }
-        const after = entry.afterContent ?? "";
-        if (after.length === 0) {
-            out.push("(empty after content)");
-            continue;
-        }
-        if (after.length > PER_FILE_CHAR_CAP) {
-            out.push(after.slice(0, PER_FILE_CHAR_CAP));
-            out.push(`\n…[truncated; ${after.length - PER_FILE_CHAR_CAP} chars elided]`);
-        }
-        else {
-            out.push(after);
-        }
-    }
-    return out.join("\n\n");
-}
-//# sourceMappingURL=prompt.js.map

package/dist/backprop/prompt.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"prompt.js","sourceRoot":"","sources":["../../src/backprop/prompt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH;;;GAGG;AACH,MAAM,iBAAiB,GAAG,MAAM,CAAC;AAEjC,MAAM,CAAC,MAAM,sBAAsB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4XAgCsV,CAAC;AAE7X,MAAM,UAAU,uBAAuB,CAAC,KAAoB;IAC1D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACrC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC;IAE3C,IAAI,KAAK,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QAC1C,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACtD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;IAE5C,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACvC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAChC,QAAQ,CAAC,IAAI,CACX,oEAAoE;QAClE,kFAAkF,CACrF,CAAC;IAEF,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,UAAU,CAAC,IAA0B;IAC5C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IAC7C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACjD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,iBAAiB,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,MAAM,GAAG,iBAAiB,gBAAgB,CAAC,CAAC;QAC/E,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC1B,CAAC"}

package/dist/backprop/runner.d.ts

@@ -1,18 +0,0 @@
-/**
- * Backprop subagent runner — Phase 13.
- *
- * Single Tier-N call (Sonnet by default per workflow.md `backprop_author: 2`)
- * via the `claude` subprocess. Output is gated by `--json-schema`. The
- * harness consumes the structured payload, allocates a monotonic V-id,
- * and writes both the invariant file + the enforcement artifact.
- *
- * The runner does NOT commit. The orchestrator commits after the writer
- * succeeds, so a failed write doesn't leave a half-written invariant in
- * the mirror.
- */
-import type { BackpropInput, BackpropResult } from "./types.js";
-export interface RunBackpropArgs extends BackpropInput {
-    /** Mirror path the artifacts are written into. */
-    mirrorPath: string;
-}
-export declare function runBackprop(args: RunBackpropArgs): Promise<BackpropResult>;

package/dist/backprop/runner.js

@@ -1,95 +0,0 @@
-/**
- * Backprop subagent runner — Phase 13.
- *
- * Single Tier-N call (Sonnet by default per workflow.md `backprop_author: 2`)
- * via the `claude` subprocess. Output is gated by `--json-schema`. The
- * harness consumes the structured payload, allocates a monotonic V-id,
- * and writes both the invariant file + the enforcement artifact.
- *
- * The runner does NOT commit. The orchestrator commits after the writer
- * succeeds, so a failed write doesn't leave a half-written invariant in
- * the mirror.
- */
-import { runClaude } from "../claude/index.js";
-import { logger } from "../logger.js";
-import { allocateInvariantId } from "./id.js";
-import { buildBackpropUserPrompt, BACKPROP_SYSTEM_PROMPT } from "./prompt.js";
-import { BACKPROP_OUTPUT_SCHEMA } from "./schema.js";
-import { writeInvariantArtifacts } from "./writer.js";
-const log = logger("backprop");
-export async function runBackprop(args) {
-    const userPrompt = buildBackpropUserPrompt(args);
-    log.info({
-        tier: args.tier,
-        diff_files: args.diff.length,
-        run_id: args.run_id,
-        decisions: args.in_scope_decision_ids.length,
-    }, "backprop dispatch");
-    const result = await runClaude({
-        tier: args.tier,
-        prompt: userPrompt,
-        system: BACKPROP_SYSTEM_PROMPT,
-        jsonSchema: BACKPROP_OUTPUT_SCHEMA,
-        timeoutMs: args.timeout_ms ?? 300_000,
-    });
-    if (!isOutput(result.parsed)) {
-        throw new Error(`backprop returned malformed output. preview: ${result.text.slice(0, 200)}`);
-    }
-    const output = result.parsed;
-    const invariantId = allocateInvariantId(args.mirrorPath);
-    const writeResult = writeInvariantArtifacts({
-        repoRoot: args.mirrorPath,
-        invariantId,
-        output,
-        runId: args.run_id,
-    });
-    log.info({
-        invariant_id: invariantId,
-        slug: output.slug,
-        enforcement: output.enforcement.kind,
-        invariant_path: writeResult.invariant_path,
-        sensor_path: writeResult.sensor_path,
-        duration_ms: result.durationMs,
-    }, "backprop complete");
-    return {
-        id: invariantId,
-        invariant_path: writeResult.invariant_path,
-        sensor_path: writeResult.sensor_path,
-        output,
-        tier: args.tier,
-        duration_ms: result.durationMs,
-        ...(result.usage !== undefined
-            ? {
-                usage: {
-                    ...(result.usage["input_tokens"] !== undefined
-                        ? { input_tokens: result.usage["input_tokens"] }
-                        : {}),
-                    ...(result.usage["output_tokens"] !== undefined
-                        ? { output_tokens: result.usage["output_tokens"] }
-                        : {}),
-                },
-            }
-            : {}),
-    };
-}
-function isOutput(value) {
-    if (typeof value !== "object" || value === null)
-        return false;
-    const v = value;
-    if (typeof v["slug"] !== "string")
-        return false;
-    if (typeof v["title"] !== "string")
-        return false;
-    if (typeof v["body_markdown"] !== "string")
-        return false;
-    if (typeof v["introduced_for_bug"] !== "string")
-        return false;
-    const enforcement = v["enforcement"];
-    if (typeof enforcement !== "object" || enforcement === null)
-        return false;
-    const e = enforcement;
-    if (e["kind"] !== "regex_sensor" && e["kind"] !== "named_e2e")
-        return false;
-    return true;
-}
-//# sourceMappingURL=runner.js.map

package/dist/backprop/runner.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/backprop/runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,mBAAmB,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAGtD,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;AAO/B,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAqB;IACrD,MAAM,UAAU,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAEjD,GAAG,CAAC,IAAI,CACN;QACE,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM;QAC5B,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,IAAI,CAAC,qBAAqB,CAAC,MAAM;KAC7C,EACD,mBAAmB,CACpB,CAAC;IAEF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC;QAC7B,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,sBAAsB;QAC9B,UAAU,EAAE,sBAAgC;QAC5C,SAAS,EAAE,IAAI,CAAC,UAAU,IAAI,OAAO;KACtC,CAAC,CAAC;IAEH,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,gDAAgD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAC5E,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzD,MAAM,WAAW,GAAG,uBAAuB,CAAC;QAC1C,QAAQ,EAAE,IAAI,CAAC,UAAU;QACzB,WAAW;QACX,MAAM;QACN,KAAK,EAAE,IAAI,CAAC,MAAM;KACnB,CAAC,CAAC;IAEH,GAAG,CAAC,IAAI,CACN;QACE,YAAY,EAAE,WAAW;QACzB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI;QACpC,cAAc,EAAE,WAAW,CAAC,cAAc;QAC1C,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,WAAW,EAAE,MAAM,CAAC,UAAU;KAC/B,EACD,mBAAmB,CACpB,CAAC;IAEF,OAAO;QACL,EAAE,EAAE,WAAW;QACf,cAAc,EAAE,WAAW,CAAC,cAAc;QAC1C,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,MAAM;QACN,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,WAAW,EAAE,MAAM,CAAC,UAAU;QAC9B,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;YAC5B,CAAC,CAAC;gBACE,KAAK,EAAE;oBACL,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,SAAS;wBAC5C,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE;wBAChD,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,SAAS;wBAC7C,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE;wBAClD,CAAC,CAAC,EAAE,CAAC;iBACR;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAChD,IAAI,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACjD,IAAI,OAAO,CAAC,CAAC,eAAe,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzD,IAAI,OAAO,CAAC,CAAC,oBAAoB,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,WAAW,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IACrC,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC1E,MAAM,CAAC,GAAG,WAAsC,CAAC;IACjD,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAC5E,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/backprop/schema.d.ts

@@ -1,61 +0,0 @@
-/**
- * JSON Schema enforced by `claude --json-schema` for the backprop output.
- * Mirrors `BackpropOutput` exactly. Keep in sync with types.ts.
- */
-export declare const BACKPROP_OUTPUT_SCHEMA: {
-    readonly type: "object";
-    readonly additionalProperties: false;
-    readonly properties: {
-        readonly slug: {
-            readonly type: "string";
-            readonly pattern: "^[a-z0-9][a-z0-9-]{0,29}$";
-        };
-        readonly title: {
-            readonly type: "string";
-            readonly minLength: 1;
-        };
-        readonly body_markdown: {
-            readonly type: "string";
-            readonly minLength: 1;
-        };
-        readonly source_decision_ids: {
-            readonly type: "array";
-            readonly items: {
-                readonly type: "string";
-            };
-        };
-        readonly introduced_for_bug: {
-            readonly type: "string";
-            readonly minLength: 1;
-        };
-        readonly enforcement: {
-            readonly type: "object";
-            readonly additionalProperties: false;
-            readonly properties: {
-                readonly kind: {
-                    readonly enum: readonly ["regex_sensor", "named_e2e"];
-                };
-                readonly regex: {
-                    readonly type: "string";
-                };
-                readonly target_globs: {
-                    readonly type: "array";
-                    readonly items: {
-                        readonly type: "string";
-                    };
-                };
-                readonly language: {
-                    readonly enum: readonly ["typescript", "javascript", "python", "ruby", "go", "rust", "sql"];
-                };
-                readonly failure_message: {
-                    readonly type: "string";
-                };
-                readonly e2e_path: {
-                    readonly type: "string";
-                };
-            };
-            readonly required: readonly ["kind"];
-        };
-    };
-    readonly required: readonly ["slug", "title", "body_markdown", "introduced_for_bug", "enforcement"];
-};

package/dist/backprop/schema.js

@@ -1,55 +0,0 @@
-/**
- * JSON Schema enforced by `claude --json-schema` for the backprop output.
- * Mirrors `BackpropOutput` exactly. Keep in sync with types.ts.
- */
-export const BACKPROP_OUTPUT_SCHEMA = {
-    type: "object",
-    additionalProperties: false,
-    properties: {
-        slug: {
-            type: "string",
-            pattern: "^[a-z0-9][a-z0-9-]{0,29}$",
-        },
-        title: { type: "string", minLength: 1 },
-        body_markdown: { type: "string", minLength: 1 },
-        source_decision_ids: {
-            type: "array",
-            items: { type: "string" },
-        },
-        introduced_for_bug: { type: "string", minLength: 1 },
-        enforcement: {
-            type: "object",
-            additionalProperties: false,
-            properties: {
-                kind: { enum: ["regex_sensor", "named_e2e"] },
-                regex: { type: "string" },
-                target_globs: {
-                    type: "array",
-                    items: { type: "string" },
-                },
-                language: {
-                    enum: [
-                        "typescript",
-                        "javascript",
-                        "python",
-                        "ruby",
-                        "go",
-                        "rust",
-                        "sql",
-                    ],
-                },
-                failure_message: { type: "string" },
-                e2e_path: { type: "string" },
-            },
-            required: ["kind"],
-        },
-    },
-    required: [
-        "slug",
-        "title",
-        "body_markdown",
-        "introduced_for_bug",
-        "enforcement",
-    ],
-};
-//# sourceMappingURL=schema.js.map

package/dist/backprop/schema.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/backprop/schema.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,IAAI,EAAE,QAAQ;IACd,oBAAoB,EAAE,KAAK;IAC3B,UAAU,EAAE;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,2BAA2B;SACrC;QACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;QACvC,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;QAC/C,mBAAmB,EAAE;YACnB,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC1B;QACD,kBAAkB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;QACpD,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,oBAAoB,EAAE,KAAK;YAC3B,UAAU,EAAE;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,cAAc,EAAE,WAAW,CAAC,EAAE;gBAC7C,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzB,YAAY,EAAE;oBACZ,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC1B;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE;wBACJ,YAAY;wBACZ,YAAY;wBACZ,QAAQ;wBACR,MAAM;wBACN,IAAI;wBACJ,MAAM;wBACN,KAAK;qBACN;iBACF;gBACD,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACnC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC7B;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;KACF;IACD,QAAQ,EAAE;QACR,MAAM;QACN,OAAO;QACP,eAAe;QACf,oBAAoB;QACpB,aAAa;KACd;CACO,CAAC"}

package/dist/backprop/types.d.ts

@@ -1,101 +0,0 @@
-/**
- * Backprop subagent (Phase 13).
- *
- * Per PRIMER §13 + INTEGRATION_PLAN §5 Phase 13: every code-class fix
- * produces a permanent §V invariant + a sensor (or named E2E case) that
- * enforces it going forward. Backprop runs as a second commit phase AFTER
- * sensors/reviewer/UAT all pass.
- *
- * Design constraints:
- *   - Tier 2 (Sonnet) by default per templates/.harness/config/workflow.md
- *     `backprop_author: 2`. Override via BackpropInput.tier.
- *   - Structured output via `--json-schema` — backprop returns a typed
- *     payload; the harness writes the invariant file + generates the
- *     sensor script mechanically. The agent does NOT touch the filesystem.
- *   - Invariant ids are monotonic, never reused (L13.2). The id allocator
- *     scans existing `.harness/ground/invariants/V*.md` and returns the
- *     next free integer.
- *   - Sensor script template is a regex sniff over the diff. The agent
- *     supplies the regex + a one-line failure message; the harness emits
- *     the boilerplate around it. Future: a Tier-2-authored bespoke sensor
- *     when the regex form is insufficient.
- */
-import type { ClaudeTier } from "../claude/index.js";
-import type { DiffEntry } from "../sensors/index.js";
-/** Surface that enforces the invariant. */
-export type EnforcementKind = "regex_sensor" | "named_e2e";
-/**
- * The structured object the backprop subagent emits. Constrained by
- * `BACKPROP_OUTPUT_SCHEMA` to keep the surface narrow and machine-checkable.
- */
-export interface BackpropOutput {
-    /**
-     * Short kebab-case slug used in the invariant filename + sensor filename.
-     * Example: "no-jsonb-userid-filter". 30 char max.
-     */
-    slug: string;
-    /** One-line invariant title. Imperative voice. */
-    title: string;
-    /** Markdown body of the invariant — what + why + how to enforce. */
-    body_markdown: string;
-    /** Names of decisions the invariant derives from, if any. */
-    source_decision_ids?: string[];
-    /** Original failure that motivated the fix (one paragraph). */
-    introduced_for_bug: string;
-    /** Mechanism that enforces the invariant going forward. */
-    enforcement: {
-        kind: EnforcementKind;
-        /** When kind=regex_sensor: a JS-flavored regex pattern (string). */
-        regex?: string;
-        /** When kind=regex_sensor: which file globs to scan. Default `**\/*.ts`. */
-        target_globs?: string[];
-        /** When kind=regex_sensor: language hint for filtering. */
-        language?: "typescript" | "javascript" | "python" | "ruby" | "go" | "rust" | "sql";
-        /** When kind=regex_sensor: the failure message the sensor prints on a hit. */
-        failure_message?: string;
-        /** When kind=named_e2e: relative path of the generated test stub. */
-        e2e_path?: string;
-    };
-}
-export interface BackpropInput {
-    /** The tightened spec body the implementer was given. */
-    tightened_spec: string;
-    /** Acceptance criteria the run satisfied. */
-    acceptance_criteria: string[];
-    /** Files touched by the fix run, with post-change content. */
-    diff: DiffEntry[];
-    /**
-     * The failure that motivated this fix — the prior sensor finding,
-     * reviewer hard gap, UAT rejection note, or human-supplied bug report.
-     */
-    failure_summary: string;
-    /** Run id for cross-reference. Becomes `source_run` in the invariant frontmatter. */
-    run_id: string;
-    /** Decision ids whose scope this fix touches (for source_decision linkage). */
-    in_scope_decision_ids: string[];
-    /** Tier — default 2 (Sonnet) per workflow.md. */
-    tier: ClaudeTier;
-    /** Per-call timeout. Default 300_000 ms. */
-    timeout_ms?: number;
-}
-/**
- * Result handed back to the orchestrator. The harness has already written
- * the invariant + sensor files into the mirror at this point; the caller
- * decides whether to commit.
- */
-export interface BackpropResult {
-    /** Allocated invariant id. */
-    id: string;
-    /** Path of the written invariant file (repo-relative). */
-    invariant_path: string;
-    /** Path of the written sensor / E2E (repo-relative). */
-    sensor_path: string;
-    /** Original agent output for telemetry. */
-    output: BackpropOutput;
-    tier: ClaudeTier;
-    duration_ms: number;
-    usage?: {
-        input_tokens?: number;
-        output_tokens?: number;
-    };
-}