@isaacriehm/cairn-core 0.2.0 → 0.3.0

package/dist/decision-capture/capture.js

@@ -1,186 +0,0 @@
-/**
- * runDecisionCapture — orchestrates the full flow:
- *
- *   raw_text → extract → write draft → adapter dialog 🟢/🟡/🔴
- *                                  ├── 🟢 commit  → acceptDraft → ledger
- *                                  ├── 🟡 edit    → leave draft + return correction text
- *                                  └── 🔴 reject  → rejectDraft → no record
- *
- * The dialog is supplied by the caller (typically a FrontendAdapter's
- * requestDialog) so this entry point works equally well in tests with the
- * stub adapter, in CLI with a TTY prompt, and in Discord with the real
- * adapter.
- */
-import { logger } from "../logger.js";
-import { runDecisionExtractor } from "./extractor.js";
-import { allocateDecisionId } from "./id.js";
-import { acceptDraft, rejectDraft, writeDecisionDraft, } from "./writer.js";
-import { runDecisionRefinement, } from "./refinement.js";
-const log = logger("decision-capture");
-const CHOICE_COMMIT = "a";
-const CHOICE_EDIT = "b";
-const CHOICE_REJECT = "c";
-export async function runDecisionCapture(args) {
-    const startedAt = Date.now();
-    const tier = args.tier ?? "haiku";
-    const receivedAt = args.receivedAt ?? new Date().toISOString();
-    const extract = args.extractorOverride ?? runDecisionExtractor;
-    const extractorResult = await extract({
-        raw_text: args.rawText,
-        author_id: args.authorId,
-        received_at: receivedAt,
-        source: args.source,
-        tier,
-    });
-    if (extractorResult.output.not_a_decision) {
-        log.info({ source: args.source, author: args.authorId }, "decision-extractor flagged not_a_decision — short-circuiting");
-        return {
-            short_circuited: true,
-            duration_ms: Date.now() - startedAt,
-        };
-    }
-    const id = allocateDecisionId(args.repoRoot);
-    const draft = writeDecisionDraft({
-        repoRoot: args.repoRoot,
-        id,
-        output: extractorResult.output,
-        rawText: args.rawText,
-        authorId: args.authorId,
-        receivedAt,
-        source: args.source,
-    });
-    log.info({ id, draft_path: draft.draft_path, confidence: extractorResult.output.confidence_signal }, "draft written; awaiting confirm");
-    const decision = await promptConfirm({
-        adapter: args.adapter,
-        draft,
-        ...(args.channelId !== undefined ? { channelId: args.channelId } : {}),
-        timeoutMs: args.confirmTimeoutMs ?? 60_000,
-    });
-    if (decision.decision === "commit") {
-        const accepted = acceptDraft({ repoRoot: args.repoRoot, draft });
-        log.info({ id, accepted_path: accepted.acceptedPath, ledger_size: accepted.ledgerSize }, "draft accepted; ledger regenerated");
-        let refinement;
-        const hasCandidates = extractorResult.output.candidate_assertions.length > 0;
-        if (!args.bypassRefinement && hasCandidates) {
-            try {
-                refinement = await runDecisionRefinement({
-                    repoRoot: args.repoRoot,
-                    decisionId: id,
-                    adapter: args.adapter,
-                    ...(args.channelId !== undefined ? { channelId: args.channelId } : {}),
-                    tier: args.refinementTier ?? tier,
-                    ...(args.refinementDialogTimeoutMs !== undefined
-                        ? { dialogTimeoutMs: args.refinementDialogTimeoutMs }
-                        : {}),
-                    ...(args.refinementProposerOverride !== undefined
-                        ? { proposerOverride: args.refinementProposerOverride }
-                        : {}),
-                });
-                log.info({
-                    id,
-                    operator_choice: refinement.operator_choice,
-                    lifted: refinement.lifted_count,
-                    demoted: refinement.demoted_count,
-                    kept_candidate: refinement.skipped_count,
-                }, "refinement complete");
-            }
-            catch (err) {
-                // Refinement failure must NEVER roll back the accept. Log and move
-                // on; candidates stay loose under candidate_assertions: for the
-                // operator's next refine pass.
-                log.error({ err: String(err), id }, "refinement threw — accept stands; candidates remain loose");
-            }
-        }
-        return {
-            short_circuited: false,
-            draft,
-            confirm: {
-                decision: "commit",
-                accepted_path: accepted.acceptedPath,
-                ledger_size: accepted.ledgerSize,
-                draft,
-                confidence: extractorResult.output.confidence_signal,
-            },
-            ...(refinement !== undefined ? { refinement } : {}),
-            duration_ms: Date.now() - startedAt,
-        };
-    }
-    if (decision.decision === "edit") {
-        log.info({ id, correction: decision.correction?.slice(0, 120) }, "draft edit requested");
-        return {
-            short_circuited: false,
-            draft,
-            confirm: {
-                decision: "edit",
-                draft,
-                ...(decision.correction !== undefined ? { correction: decision.correction } : {}),
-                confidence: extractorResult.output.confidence_signal,
-            },
-            duration_ms: Date.now() - startedAt,
-        };
-    }
-    // reject
-    rejectDraft({ repoRoot: args.repoRoot, draft });
-    log.info({ id }, "draft rejected; file removed");
-    return {
-        short_circuited: false,
-        draft,
-        confirm: {
-            decision: "reject",
-            draft,
-            confidence: extractorResult.output.confidence_signal,
-        },
-        duration_ms: Date.now() - startedAt,
-    };
-}
-async function promptConfirm(args) {
-    const summary = args.draft.output.summary.split(/\r?\n/).slice(0, 3).join(" ").trim();
-    const scope = args.draft.output.scope_globs.length > 0
-        ? args.draft.output.scope_globs.join(", ")
-        : "(no scope captured)";
-    const supersedes = args.draft.output.supersedes
-        ? `Supersedes ${args.draft.output.supersedes}. `
-        : "";
-    const assertions = args.draft.output.candidate_assertions.length;
-    const prompt = [
-        `Confirm ${args.draft.id}? "${args.draft.output.subject}"`,
-        summary,
-        `Scope: ${scope}`,
-        `${supersedes}Candidate assertions: ${assertions}`,
-    ].join("\n");
-    const dialogSpec = {
-        bundleId: args.draft.id,
-        prompt,
-        choices: [
-            { id: CHOICE_COMMIT, label: "🟢 commit" },
-            { id: CHOICE_EDIT, label: "🟡 edit" },
-            { id: CHOICE_REJECT, label: "🔴 not a decision" },
-            { id: "e_other", label: "E) Other" },
-        ],
-        timeoutMs: args.timeoutMs,
-    };
-    if (args.channelId !== undefined)
-        dialogSpec.channelId = args.channelId;
-    const response = await args.adapter.requestDialog(dialogSpec);
-    if (response.timedOut) {
-        // Timeout = treat as edit-with-no-correction so the draft survives in
-        // _inbox/ and the operator can come back to it. This avoids losing the
-        // capture on a transient inattentiveness.
-        return { decision: "edit" };
-    }
-    if (response.choiceId === CHOICE_COMMIT) {
-        return { decision: "commit" };
-    }
-    if (response.choiceId === CHOICE_REJECT) {
-        return { decision: "reject" };
-    }
-    if (response.choiceId === CHOICE_EDIT || response.choiceId === "e_other") {
-        return {
-            decision: "edit",
-            ...(response.freeText !== undefined ? { correction: response.freeText } : {}),
-        };
-    }
-    // Unknown id — fall back to edit (preserve the draft).
-    return { decision: "edit" };
-}
-//# sourceMappingURL=capture.js.map

package/dist/decision-capture/capture.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"capture.js","sourceRoot":"","sources":["../../src/decision-capture/capture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAGtC,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAC7C,OAAO,EACL,WAAW,EACX,WAAW,EACX,kBAAkB,GACnB,MAAM,aAAa,CAAC;AACrB,OAAO,EAEL,qBAAqB,GACtB,MAAM,iBAAiB,CAAC;AAOzB,MAAM,GAAG,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAyCvC,MAAM,aAAa,GAAG,GAAG,CAAC;AAC1B,MAAM,WAAW,GAAG,GAAG,CAAC;AACxB,MAAM,aAAa,GAAG,GAAG,CAAC;AAE1B,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,IAA4B;IAE5B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,IAAI,oBAAoB,CAAC;IAE/D,MAAM,eAAe,GAAG,MAAM,OAAO,CAAC;QACpC,QAAQ,EAAE,IAAI,CAAC,OAAO;QACtB,SAAS,EAAE,IAAI,CAAC,QAAQ;QACxB,WAAW,EAAE,UAAU;QACvB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,IAAI;KACL,CAAC,CAAC;IAEH,IAAI,eAAe,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QAC1C,GAAG,CAAC,IAAI,CACN,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,EAC9C,8DAA8D,CAC/D,CAAC;QACF,OAAO;YACL,eAAe,EAAE,IAAI;YACrB,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACpC,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,GAAG,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,kBAAkB,CAAC;QAC/B,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,EAAE;QACF,MAAM,EAAE,eAAe,CAAC,MAAM;QAC9B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,UAAU;QACV,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAC,CAAC;IAEH,GAAG,CAAC,IAAI,CACN,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,iBAAiB,EAAE,EAC1F,iCAAiC,CAClC,CAAC;IAEF,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC;QACnC,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,KAAK;QACL,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,SAAS,EAAE,IAAI,CAAC,gBAAgB,IAAI,MAAM;KAC3C,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACjE,GAAG,CAAC,IAAI,CACN,EAAE,EAAE,EAAE,aAAa,EAAE,QAAQ,CAAC,YAAY,EAAE,WAAW,EAAE,QAAQ,CAAC,UAAU,EAAE,EAC9E,oCAAoC,CACrC,CAAC;QAEF,IAAI,UAA2D,CAAC;QAChE,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7E,IAAI,CAAC,IAAI,CAAC,gBAAgB,IAAI,aAAa,EAAE,CAAC;YAC5C,IAAI,CAAC;gBACH,UAAU,GAAG,MAAM,qBAAqB,CAAC;oBACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtE,IAAI,EAAE,IAAI,CAAC,cAAc,IAAI,IAAI;oBACjC,GAAG,CAAC,IAAI,CAAC,yBAAyB,KAAK,SAAS;wBAC9C,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,yBAAyB,EAAE;wBACrD,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,IAAI,CAAC,0BAA0B,KAAK,SAAS;wBAC/C,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,CAAC,0BAA0B,EAAE;wBACvD,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC,CAAC;gBACH,GAAG,CAAC,IAAI,CACN;oBACE,EAAE;oBACF,eAAe,EAAE,UAAU,CAAC,eAAe;oBAC3C,MAAM,EAAE,UAAU,CAAC,YAAY;oBAC/B,OAAO,EAAE,UAAU,CAAC,aAAa;oBACjC,cAAc,EAAE,UAAU,CAAC,aAAa;iBACzC,EACD,qBAAqB,CACtB,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,mEAAmE;gBACnE,gEAAgE;gBAChE,+BAA+B;gBAC/B,GAAG,CAAC,KAAK,CACP,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EACxB,2DAA2D,CAC5D,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO;YACL,eAAe,EAAE,KAAK;YACtB,KAAK;YACL,OAAO,EAAE;gBACP,QAAQ,EAAE,QAAQ;gBAClB,aAAa,EAAE,QAAQ,CAAC,YAAY;gBACpC,WAAW,EAAE,QAAQ,CAAC,UAAU;gBAChC,KAAK;gBACL,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,iBAAiB;aACrD;YACD,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACpC,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;QACzF,OAAO;YACL,eAAe,EAAE,KAAK;YACtB,KAAK;YACL,OAAO,EAAE;gBACP,QAAQ,EAAE,MAAM;gBAChB,KAAK;gBACL,GAAG,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjF,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,iBAAiB;aACrD;YACD,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACpC,CAAC;IACJ,CAAC;IAED,SAAS;IACT,WAAW,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAChD,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,8BAA8B,CAAC,CAAC;IACjD,OAAO;QACL,eAAe,EAAE,KAAK;QACtB,KAAK;QACL,OAAO,EAAE;YACP,QAAQ,EAAE,QAAQ;YAClB,KAAK;YACL,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,iBAAiB;SACrD;QACD,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;KACpC,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,IAK5B;IACC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACtF,MAAM,KAAK,GACT,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1C,CAAC,CAAC,qBAAqB,CAAC;IAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU;QAC7C,CAAC,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,IAAI;QAChD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC;IAEjE,MAAM,MAAM,GAAG;QACb,WAAW,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,GAAG;QAC1D,OAAO;QACP,UAAU,KAAK,EAAE;QACjB,GAAG,UAAU,yBAAyB,UAAU,EAAE;KACnD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,UAAU,GAAe;QAC7B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE;QACvB,MAAM;QACN,OAAO,EAAE;YACP,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE;YACzC,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE;YACrC,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,mBAAmB,EAAE;YACjD,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE;SACrC;QACD,SAAS,EAAE,IAAI,CAAC,SAAS;KAC1B,CAAC;IACF,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;QAAE,UAAU,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACxE,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IAE9D,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACtB,sEAAsE;QACtE,uEAAuE;QACvE,0CAA0C;QAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;QACxC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAChC,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;QACxC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAChC,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,WAAW,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzE,OAAO;YACL,QAAQ,EAAE,MAAM;YAChB,GAAG,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9E,CAAC;IACJ,CAAC;IACD,uDAAuD;IACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC"}

package/dist/decision-capture/extractor.d.ts

@@ -1,20 +0,0 @@
-/**
- * Decision-extractor runner.
- *
- * Single Tier-1 (Haiku) call by default per workflow.md
- * `decision_extractor: 1`. Output is gated by `--json-schema`. The wrapper
- * validates shape via a runtime guard and returns the typed payload.
- *
- * The runner does NOT touch the filesystem. It returns the extractor's
- * structured output; the writer + confirm flow handle persistence.
- */
-import type { DecisionExtractorInput, DecisionExtractorOutput } from "./types.js";
-export interface ExtractorResult {
-    output: DecisionExtractorOutput;
-    duration_ms: number;
-    usage?: {
-        input_tokens?: number;
-        output_tokens?: number;
-    };
-}
-export declare function runDecisionExtractor(input: DecisionExtractorInput): Promise<ExtractorResult>;

package/dist/decision-capture/extractor.js

@@ -1,103 +0,0 @@
-/**
- * Decision-extractor runner.
- *
- * Single Tier-1 (Haiku) call by default per workflow.md
- * `decision_extractor: 1`. Output is gated by `--json-schema`. The wrapper
- * validates shape via a runtime guard and returns the typed payload.
- *
- * The runner does NOT touch the filesystem. It returns the extractor's
- * structured output; the writer + confirm flow handle persistence.
- */
-import { runClaude } from "../claude/index.js";
-import { logger } from "../logger.js";
-import { DECISION_EXTRACTOR_SYSTEM_PROMPT, buildDecisionExtractorUserPrompt, } from "./prompt.js";
-import { DECISION_EXTRACTOR_OUTPUT_SCHEMA } from "./schema.js";
-const log = logger("decision-capture.extractor");
-export async function runDecisionExtractor(input) {
-    const userPrompt = buildDecisionExtractorUserPrompt(input);
-    log.info({
-        tier: input.tier,
-        raw_text_len: input.raw_text.length,
-        accepted_decisions: input.accepted_decisions?.length ?? 0,
-    }, "decision-extractor dispatch");
-    const result = await runClaude({
-        tier: input.tier,
-        prompt: userPrompt,
-        system: DECISION_EXTRACTOR_SYSTEM_PROMPT,
-        jsonSchema: DECISION_EXTRACTOR_OUTPUT_SCHEMA,
-        timeoutMs: input.timeout_ms ?? 120_000,
-    });
-    if (!isOutput(result.parsed)) {
-        throw new Error(`decision-extractor returned malformed output. preview: ${result.text.slice(0, 200)}`);
-    }
-    const output = result.parsed;
-    log.info({
-        not_a_decision: output.not_a_decision,
-        subject_preview: output.subject.slice(0, 80),
-        assertions: output.candidate_assertions.length,
-        confidence: output.confidence_signal,
-        duration_ms: result.durationMs,
-    }, "decision-extractor complete");
-    return {
-        output,
-        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["subject"] !== "string")
-        return false;
-    if (typeof v["summary"] !== "string")
-        return false;
-    if (!Array.isArray(v["scope_globs"]))
-        return false;
-    for (const g of v["scope_globs"]) {
-        if (typeof g !== "string")
-            return false;
-    }
-    const supersedes = v["supersedes"];
-    if (supersedes !== undefined &&
-        supersedes !== null &&
-        typeof supersedes !== "string") {
-        return false;
-    }
-    if (!Array.isArray(v["candidate_assertions"]))
-        return false;
-    for (const a of v["candidate_assertions"]) {
-        if (!isCandidateAssertion(a))
-            return false;
-    }
-    if (v["confidence_signal"] !== "high" &&
-        v["confidence_signal"] !== "medium" &&
-        v["confidence_signal"] !== "low") {
-        return false;
-    }
-    if (typeof v["not_a_decision"] !== "boolean")
-        return false;
-    return true;
-}
-function isCandidateAssertion(value) {
-    if (typeof value !== "object" || value === null)
-        return false;
-    const v = value;
-    if (typeof v["kind"] !== "string")
-        return false;
-    if (typeof v["description"] !== "string")
-        return false;
-    return true;
-}
-//# sourceMappingURL=extractor.js.map

package/dist/decision-capture/extractor.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"extractor.js","sourceRoot":"","sources":["../../src/decision-capture/extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EACL,gCAAgC,EAChC,gCAAgC,GACjC,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,gCAAgC,EAAE,MAAM,aAAa,CAAC;AAO/D,MAAM,GAAG,GAAG,MAAM,CAAC,4BAA4B,CAAC,CAAC;AAQjD,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,KAA6B;IAE7B,MAAM,UAAU,GAAG,gCAAgC,CAAC,KAAK,CAAC,CAAC;IAE3D,GAAG,CAAC,IAAI,CACN;QACE,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;QACnC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,MAAM,IAAI,CAAC;KAC1D,EACD,6BAA6B,CAC9B,CAAC;IAEF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC;QAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,gCAAgC;QACxC,UAAU,EAAE,gCAA0C;QACtD,SAAS,EAAE,KAAK,CAAC,UAAU,IAAI,OAAO;KACvC,CAAC,CAAC;IAEH,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,0DAA0D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CACtF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAE7B,GAAG,CAAC,IAAI,CACN;QACE,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAC5C,UAAU,EAAE,MAAM,CAAC,oBAAoB,CAAC,MAAM;QAC9C,UAAU,EAAE,MAAM,CAAC,iBAAiB;QACpC,WAAW,EAAE,MAAM,CAAC,UAAU;KAC/B,EACD,6BAA6B,CAC9B,CAAC;IAEF,OAAO;QACL,MAAM;QACN,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,SAAS,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACnD,IAAI,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAc,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;IAC1C,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC;IACnC,IACE,UAAU,KAAK,SAAS;QACxB,UAAU,KAAK,IAAI;QACnB,OAAO,UAAU,KAAK,QAAQ,EAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAc,EAAE,CAAC;QACvD,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC7C,CAAC;IACD,IACE,CAAC,CAAC,mBAAmB,CAAC,KAAK,MAAM;QACjC,CAAC,CAAC,mBAAmB,CAAC,KAAK,QAAQ;QACnC,CAAC,CAAC,mBAAmB,CAAC,KAAK,KAAK,EAChC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,OAAO,CAAC,CAAC,gBAAgB,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC3D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,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,aAAa,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACvD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/decision-capture/prompt.d.ts

@@ -1,15 +0,0 @@
-/**
- * Decision-extractor prompts.
- *
- * Operator submits a direction (slash arg or free-text classified as
- * `direction`). The extractor distills it into a typed candidate the
- * cairn materializes into a draft decision.
- *
- * Anti-fabrication framing: when the input isn't actually a direction
- * (rambling, off-topic, a question), the extractor sets
- * `not_a_decision=true` and the cairn short-circuits without writing a
- * draft. This keeps the decisions ledger free of noise.
- */
-import type { DecisionExtractorInput } from "./types.js";
-export declare const DECISION_EXTRACTOR_SYSTEM_PROMPT = "You are the **decision-extractor** for an agent cairn. The operator just spoke a direction \u2014 a binding course-change like \"from now on, X\" or \"scrap that, go with Y\" or \"user_id always required on integration tables\". Your job is to capture it as a typed candidate decision so the cairn can present it for confirmation.\n\nYou read three things:\n1. The raw direction text the operator submitted.\n2. Author / source / received-at metadata for the audit record.\n3. (Optional) A short list of currently-accepted decisions so you can spot supersedes relationships.\n\nYou emit a single JSON object matching the supplied schema. Required fields:\n\n- `subject`: imperative one-line title. Example: \"Filter integration_oauth_tokens queries by user_id\".\n- `summary`: 2-4 sentence paragraph expanding the subject. Capture the *what* and the *why* as the operator stated them \u2014 do NOT invent rationale they didn't give.\n- `scope_globs`: repo-relative globs the decision binds. Be specific. `[\"core/src/integrations/**/*.ts\"]` is good; `[\"**/*.ts\"]` is almost always wrong. When you genuinely can't tell, emit `[]` and let the operator narrow at confirm time.\n- `supersedes`: if the input EXPLICITLY revokes a previously-accepted decision (`scrap DEC-0042`, `undo the FK denorm rule`), set the DEC-id. Otherwise null/omit.\n- `candidate_assertions`: 0-3 mechanical-sensor checks that would enforce the decision going forward. Pick the kind from the schema enum that fits. ZERO is a valid answer when the rule is purely conceptual \u2014 better than fabricating an assertion that can't actually be verified.\n- `confidence_signal`: `high` when the direction is unambiguous + scope is obvious; `medium` when one of those is shaky; `low` when both are.\n- `not_a_decision`: set TRUE if the input is rambling, off-topic, a question rather than a directive, or otherwise lacks a binding rule. The cairn will short-circuit without writing a draft. When in doubt, set true \u2014 false-positive drafts pollute the ledger; false-negatives are recoverable via re-submission.\n\nExamples of inputs that should map to `not_a_decision: true`:\n- \"what's the status?\"\n- \"I'm thinking about switching to FK denorm but not sure\"  \u2190 thinking-out-loud, not yet binding\n- \"lol\"\n- \"remind me about Phase 12\"\n\nExamples that should map to `not_a_decision: false`:\n- \"scrap that \u2014 going forward, FK denormalization only\"  \u2190 supersedes implicit\n- \"all integration_oauth_tokens queries must filter by user_id\"  \u2190 clear assertion candidate\n- \"from now on, no new code in core/src/legacy\"  \u2190 scope_globs + file_must_not_be_modified\n\nYour candidate_assertions are *proposals* \u2014 the operator gets one more chance to edit them at the confirm dialog. Don't over-commit; aim for the smallest set of assertions that mechanically captures the binding behavior, not every implication.\n\nOutput ONLY the JSON object. No prose, no code fences, no other content.";
-export declare function buildDecisionExtractorUserPrompt(input: DecisionExtractorInput): string;

package/dist/decision-capture/prompt.js

@@ -1,68 +0,0 @@
-/**
- * Decision-extractor prompts.
- *
- * Operator submits a direction (slash arg or free-text classified as
- * `direction`). The extractor distills it into a typed candidate the
- * cairn materializes into a draft decision.
- *
- * Anti-fabrication framing: when the input isn't actually a direction
- * (rambling, off-topic, a question), the extractor sets
- * `not_a_decision=true` and the cairn short-circuits without writing a
- * draft. This keeps the decisions ledger free of noise.
- */
-const PER_DIRECTION_CHAR_CAP = 6_000;
-export const DECISION_EXTRACTOR_SYSTEM_PROMPT = `You are the **decision-extractor** for an agent cairn. The operator just spoke a direction — a binding course-change like "from now on, X" or "scrap that, go with Y" or "user_id always required on integration tables". Your job is to capture it as a typed candidate decision so the cairn can present it for confirmation.
-
-You read three things:
-1. The raw direction text the operator submitted.
-2. Author / source / received-at metadata for the audit record.
-3. (Optional) A short list of currently-accepted decisions so you can spot supersedes relationships.
-
-You emit a single JSON object matching the supplied schema. Required fields:
-
-- \`subject\`: imperative one-line title. Example: "Filter integration_oauth_tokens queries by user_id".
-- \`summary\`: 2-4 sentence paragraph expanding the subject. Capture the *what* and the *why* as the operator stated them — do NOT invent rationale they didn't give.
-- \`scope_globs\`: repo-relative globs the decision binds. Be specific. \`["core/src/integrations/**/*.ts"]\` is good; \`["**/*.ts"]\` is almost always wrong. When you genuinely can't tell, emit \`[]\` and let the operator narrow at confirm time.
-- \`supersedes\`: if the input EXPLICITLY revokes a previously-accepted decision (\`scrap DEC-0042\`, \`undo the FK denorm rule\`), set the DEC-id. Otherwise null/omit.
-- \`candidate_assertions\`: 0-3 mechanical-sensor checks that would enforce the decision going forward. Pick the kind from the schema enum that fits. ZERO is a valid answer when the rule is purely conceptual — better than fabricating an assertion that can't actually be verified.
-- \`confidence_signal\`: \`high\` when the direction is unambiguous + scope is obvious; \`medium\` when one of those is shaky; \`low\` when both are.
-- \`not_a_decision\`: set TRUE if the input is rambling, off-topic, a question rather than a directive, or otherwise lacks a binding rule. The cairn will short-circuit without writing a draft. When in doubt, set true — false-positive drafts pollute the ledger; false-negatives are recoverable via re-submission.
-
-Examples of inputs that should map to \`not_a_decision: true\`:
-- "what's the status?"
-- "I'm thinking about switching to FK denorm but not sure"  ← thinking-out-loud, not yet binding
-- "lol"
-- "remind me about Phase 12"
-
-Examples that should map to \`not_a_decision: false\`:
-- "scrap that — going forward, FK denormalization only"  ← supersedes implicit
-- "all integration_oauth_tokens queries must filter by user_id"  ← clear assertion candidate
-- "from now on, no new code in core/src/legacy"  ← scope_globs + file_must_not_be_modified
-
-Your candidate_assertions are *proposals* — the operator gets one more chance to edit them at the confirm dialog. Don't over-commit; aim for the smallest set of assertions that mechanically captures the binding behavior, not every implication.
-
-Output ONLY the JSON object. No prose, no code fences, no other content.`;
-export function buildDecisionExtractorUserPrompt(input) {
-    const sections = [];
-    sections.push("## Raw direction text");
-    const text = input.raw_text.trim();
-    sections.push(text.length > PER_DIRECTION_CHAR_CAP
-        ? text.slice(0, PER_DIRECTION_CHAR_CAP) +
-            `\n…[truncated; ${text.length - PER_DIRECTION_CHAR_CAP} chars elided]`
-        : text);
-    sections.push("\n## Metadata");
-    sections.push(`author: ${input.author_id}`);
-    sections.push(`source: ${input.source}`);
-    sections.push(`received_at: ${input.received_at}`);
-    if (input.accepted_decisions && input.accepted_decisions.length > 0) {
-        sections.push("\n## Currently-accepted decisions (most recent first)");
-        for (const d of input.accepted_decisions.slice(0, 10)) {
-            sections.push(`- **${d.id}** — ${d.title}  (${d.scope_summary})`);
-        }
-        sections.push("\nIf the new direction explicitly revokes one of these, set `supersedes` to its id.");
-    }
-    sections.push("\n## Your task");
-    sections.push("Extract the decision per the schema. Emit ONLY the JSON object.");
-    return sections.join("\n");
-}
-//# sourceMappingURL=prompt.js.map

package/dist/decision-capture/prompt.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"prompt.js","sourceRoot":"","sources":["../../src/decision-capture/prompt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,MAAM,sBAAsB,GAAG,KAAK,CAAC;AAErC,MAAM,CAAC,MAAM,gCAAgC,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yEA8ByB,CAAC;AAE1E,MAAM,UAAU,gCAAgC,CAC9C,KAA6B;IAE7B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IACnC,QAAQ,CAAC,IAAI,CACX,IAAI,CAAC,MAAM,GAAG,sBAAsB;QAClC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,sBAAsB,CAAC;YACnC,kBAAkB,IAAI,CAAC,MAAM,GAAG,sBAAsB,gBAAgB;QAC1E,CAAC,CAAC,IAAI,CACT,CAAC;IAEF,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC/B,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;IAC5C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACzC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IAEnD,IAAI,KAAK,CAAC,kBAAkB,IAAI,KAAK,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpE,QAAQ,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;QACvE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACtD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC;QACpE,CAAC;QACD,QAAQ,CAAC,IAAI,CACX,qFAAqF,CACtF,CAAC;IACJ,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAChC,QAAQ,CAAC,IAAI,CACX,iEAAiE,CAClE,CAAC;IAEF,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC"}

package/dist/decision-capture/refinement-prompt.d.ts

@@ -1,25 +0,0 @@
-/**
- * Assertion-refiner prompts.
- *
- * The decision-extractor (Phase 14) emits LOOSE candidate assertions —
- * `{kind, description, parameters?}` with `parameters` schema-loose. The
- * decision file stores them under frontmatter `candidate_assertions:`,
- * NOT under `assertions:` which Layer-D sensors enforce.
- *
- * The refiner's job is to lift each candidate into a STRICT shape that
- * matches one of the eleven `DecisionAssertion` kinds (see
- * `src/ground/schemas.ts`). When a candidate is too vague to form
- * confident strict params, the refiner DEMOTES it to
- * `human_review_hint` (always soft, always passes zod). When the
- * candidate description is sound but the strict params would need
- * operator input the refiner can't infer, it SKIPS — the candidate
- * survives in `candidate_assertions:` for the next refine pass.
- *
- * Anti-fabrication framing: prefer demote / skip over inventing wrong
- * regex / globs / table names. A wrong assertion is a sensor that fires
- * on every PR forever; a `human_review_hint` is at worst noise in the
- * reviewer's pre-amble.
- */
-import type { RefinerInput } from "./types.js";
-export declare const REFINEMENT_PROPOSER_SYSTEM_PROMPT = "You are the **assertion-refiner** for an agent cairn. The operator just confirmed a binding decision; the decision-extractor proposed N loose candidate assertions to enforce it. Your job is to lift each candidate into the STRICT shape used by the cairn's mechanical sensors, OR demote / skip it.\n\n## The eleven assertion kinds\n\nEach kind requires specific fields. The cairn's zod re-validates at apply time; a malformed `strict_assertion` is auto-demoted, so don't fudge \u2014 when you don't have a confident value for a required field, set status=\"demote\" or status=\"skip\" instead.\n\n- **schema_must_contain** \u2014 { table: string, column: string, column_type?: string, nullable?: boolean }\n  Migration / schema rule. Example: \"tokens table must have user_id column NOT NULL\".\n\n- **text_must_match** \u2014 { pattern: string (JS regex source), in_globs: string[] }\n  Some text must appear in matching files. Example: license header in src/**/*.ts.\n\n- **text_must_not_match** \u2014 { pattern: string, in_globs: string[] }\n  Some text must NOT appear. Example: \"no `process.env.` access in src/**/*.ts\".\n\n- **index_must_exist** \u2014 { table: string, columns: string[], where?: string }\n  Database index. Example: \"(provider, user_id) WHERE archived_at IS NULL on tokens\".\n\n- **ast_pattern** \u2014 { language: string (\"ts\"|\"py\"|\"go\"|...), pattern: string (regex fallback), in_globs: string[] }\n  Structural pattern. Example: \"all controllers extend BaseController\".\n\n- **file_must_not_be_modified** \u2014 { path: string }\n  Frozen file. Example: \"core/src/legacy/billing.ts\".\n\n- **query_must_filter_by** \u2014 { orm: string (\"drizzle\"|\"prisma\"|\"sqlalchemy\"|...), in_globs: string[], table: string, columns: string[], operator: \"eq\"|\"in\"|\"between\"|\"is_not_null\", require_combination: \"and\"|\"or\" }\n  ORM-level scope. Example: \"all integration_oauth_tokens queries filter by user_id eq AND provider eq\".\n\n- **route_must_have_guard** \u2014 { in_globs: string[], guard: string, require_on: string[] }\n  HTTP guard. Example: \"all routes in api/*/admin.ts have RequireRole guard, require_on: [GET, POST]\".\n\n- **event_must_emit** \u2014 { in_globs: string[], after_method: string, event_key: string, payload_must_include?: string[] }\n  Event emission. Example: \"after createInvoice() emit invoice.created with [invoice_id, user_id]\".\n\n- **service_method_must_call** \u2014 { in_globs: string[], in_method: string, must_call: string, before_returning?: boolean }\n  Required call inside method. Example: \"in TokenService.refresh(), must call audit.log() before returning\".\n\n- **human_review_hint** \u2014 { description: string }\n  Always-soft fallback. Use this for purely conceptual rules (\"prefer simple solutions\", \"avoid magic numbers in pricing logic\").\n\n## Per-candidate verdict\n\nFor each candidate, emit one proposal:\n\n```\n{\n  candidate_id: <as given>,\n  candidate_kind: <as given>,\n  status: \"lift\" | \"demote\" | \"skip\",\n  confidence_signal: \"high\" | \"medium\" | \"low\",\n  strict_assertion?: { ... }   // present iff status=\"lift\"\n  rationale: \"one sentence explaining the choice\"\n}\n```\n\n### When to LIFT\n\nYou are confident on every required field for the candidate's kind. The description gave you concrete table / file / regex / glob names, and the decision's scope_globs lets you narrow the in_globs reasonably.\n\nIf the candidate kind is **human_review_hint**, ALWAYS lift \u2014 the kind already has a single-field shape. `description` is the candidate's existing description.\n\n### When to DEMOTE\n\nThe candidate description is sound but the strict params would require input you don't have (e.g., \"no env vars\" \u2014 needs the actual regex pattern; \"must filter by user_id\" \u2014 needs the ORM name and table name and you don't know which).\n\nDemote means: rewrite as `human_review_hint` with a description that captures the rule's intent. The operator + reviewer + UAT still see it; sensors don't enforce it. Better than a hallucinated regex that fires on every PR.\n\n### When to SKIP\n\nThe candidate is weakly-specified to the point that even `human_review_hint` would be too vague to be useful (e.g., the operator's description was \"fix the thing\", the kind doesn't match the description, etc.). Skip leaves it under `candidate_assertions:` for a future refine pass.\n\n## Confidence\n\n- `high`: required fields are explicit in the candidate description. No guesses.\n- `medium`: most fields present, one or two reasonable inferences from scope_globs / decision summary.\n- `low`: status=\"lift\" with low confidence is a defect. Use status=\"demote\" or \"skip\" instead.\n\n## Output\n\nEmit ONLY the JSON object: `{ \"proposals\": [...] }`. One proposal per input candidate, in the order given. No prose, no code fences.";
-export declare function buildRefinementProposerUserPrompt(input: RefinerInput): string;

package/dist/decision-capture/refinement-prompt.js

@@ -1,146 +0,0 @@
-/**
- * Assertion-refiner prompts.
- *
- * The decision-extractor (Phase 14) emits LOOSE candidate assertions —
- * `{kind, description, parameters?}` with `parameters` schema-loose. The
- * decision file stores them under frontmatter `candidate_assertions:`,
- * NOT under `assertions:` which Layer-D sensors enforce.
- *
- * The refiner's job is to lift each candidate into a STRICT shape that
- * matches one of the eleven `DecisionAssertion` kinds (see
- * `src/ground/schemas.ts`). When a candidate is too vague to form
- * confident strict params, the refiner DEMOTES it to
- * `human_review_hint` (always soft, always passes zod). When the
- * candidate description is sound but the strict params would need
- * operator input the refiner can't infer, it SKIPS — the candidate
- * survives in `candidate_assertions:` for the next refine pass.
- *
- * Anti-fabrication framing: prefer demote / skip over inventing wrong
- * regex / globs / table names. A wrong assertion is a sensor that fires
- * on every PR forever; a `human_review_hint` is at worst noise in the
- * reviewer's pre-amble.
- */
-const PER_DECISION_CHAR_CAP = 4_000;
-export const REFINEMENT_PROPOSER_SYSTEM_PROMPT = `You are the **assertion-refiner** for an agent cairn. The operator just confirmed a binding decision; the decision-extractor proposed N loose candidate assertions to enforce it. Your job is to lift each candidate into the STRICT shape used by the cairn's mechanical sensors, OR demote / skip it.
-
-## The eleven assertion kinds
-
-Each kind requires specific fields. The cairn's zod re-validates at apply time; a malformed \`strict_assertion\` is auto-demoted, so don't fudge — when you don't have a confident value for a required field, set status="demote" or status="skip" instead.
-
-- **schema_must_contain** — { table: string, column: string, column_type?: string, nullable?: boolean }
-  Migration / schema rule. Example: "tokens table must have user_id column NOT NULL".
-
-- **text_must_match** — { pattern: string (JS regex source), in_globs: string[] }
-  Some text must appear in matching files. Example: license header in src/**/*.ts.
-
-- **text_must_not_match** — { pattern: string, in_globs: string[] }
-  Some text must NOT appear. Example: "no \`process.env.\` access in src/**/*.ts".
-
-- **index_must_exist** — { table: string, columns: string[], where?: string }
-  Database index. Example: "(provider, user_id) WHERE archived_at IS NULL on tokens".
-
-- **ast_pattern** — { language: string ("ts"|"py"|"go"|...), pattern: string (regex fallback), in_globs: string[] }
-  Structural pattern. Example: "all controllers extend BaseController".
-
-- **file_must_not_be_modified** — { path: string }
-  Frozen file. Example: "core/src/legacy/billing.ts".
-
-- **query_must_filter_by** — { orm: string ("drizzle"|"prisma"|"sqlalchemy"|...), in_globs: string[], table: string, columns: string[], operator: "eq"|"in"|"between"|"is_not_null", require_combination: "and"|"or" }
-  ORM-level scope. Example: "all integration_oauth_tokens queries filter by user_id eq AND provider eq".
-
-- **route_must_have_guard** — { in_globs: string[], guard: string, require_on: string[] }
-  HTTP guard. Example: "all routes in api/*/admin.ts have RequireRole guard, require_on: [GET, POST]".
-
-- **event_must_emit** — { in_globs: string[], after_method: string, event_key: string, payload_must_include?: string[] }
-  Event emission. Example: "after createInvoice() emit invoice.created with [invoice_id, user_id]".
-
-- **service_method_must_call** — { in_globs: string[], in_method: string, must_call: string, before_returning?: boolean }
-  Required call inside method. Example: "in TokenService.refresh(), must call audit.log() before returning".
-
-- **human_review_hint** — { description: string }
-  Always-soft fallback. Use this for purely conceptual rules ("prefer simple solutions", "avoid magic numbers in pricing logic").
-
-## Per-candidate verdict
-
-For each candidate, emit one proposal:
-
-\`\`\`
-{
-  candidate_id: <as given>,
-  candidate_kind: <as given>,
-  status: "lift" | "demote" | "skip",
-  confidence_signal: "high" | "medium" | "low",
-  strict_assertion?: { ... }   // present iff status="lift"
-  rationale: "one sentence explaining the choice"
-}
-\`\`\`
-
-### When to LIFT
-
-You are confident on every required field for the candidate's kind. The description gave you concrete table / file / regex / glob names, and the decision's scope_globs lets you narrow the in_globs reasonably.
-
-If the candidate kind is **human_review_hint**, ALWAYS lift — the kind already has a single-field shape. \`description\` is the candidate's existing description.
-
-### When to DEMOTE
-
-The candidate description is sound but the strict params would require input you don't have (e.g., "no env vars" — needs the actual regex pattern; "must filter by user_id" — needs the ORM name and table name and you don't know which).
-
-Demote means: rewrite as \`human_review_hint\` with a description that captures the rule's intent. The operator + reviewer + UAT still see it; sensors don't enforce it. Better than a hallucinated regex that fires on every PR.
-
-### When to SKIP
-
-The candidate is weakly-specified to the point that even \`human_review_hint\` would be too vague to be useful (e.g., the operator's description was "fix the thing", the kind doesn't match the description, etc.). Skip leaves it under \`candidate_assertions:\` for a future refine pass.
-
-## Confidence
-
-- \`high\`: required fields are explicit in the candidate description. No guesses.
-- \`medium\`: most fields present, one or two reasonable inferences from scope_globs / decision summary.
-- \`low\`: status="lift" with low confidence is a defect. Use status="demote" or "skip" instead.
-
-## Output
-
-Emit ONLY the JSON object: \`{ "proposals": [...] }\`. One proposal per input candidate, in the order given. No prose, no code fences.`;
-export function buildRefinementProposerUserPrompt(input) {
-    const sections = [];
-    sections.push(`## Decision context — ${input.decision_id}`);
-    sections.push(`subject: ${input.subject}`);
-    const summary = input.summary.trim();
-    sections.push("");
-    sections.push("summary:");
-    sections.push(summary.length > PER_DECISION_CHAR_CAP
-        ? summary.slice(0, PER_DECISION_CHAR_CAP) +
-            `\n…[truncated; ${summary.length - PER_DECISION_CHAR_CAP} chars elided]`
-        : summary);
-    if (input.scope_globs.length > 0) {
-        sections.push("");
-        sections.push("scope_globs:");
-        for (const g of input.scope_globs)
-            sections.push(`  - ${g}`);
-    }
-    else {
-        sections.push("");
-        sections.push("scope_globs: (none — operator left it unspecified)");
-    }
-    sections.push("");
-    sections.push("## Candidates to refine");
-    for (let i = 0; i < input.candidates.length; i++) {
-        const c = input.candidates[i];
-        if (c === undefined)
-            continue;
-        const id = c.id ?? `${input.decision_id}-A${(i + 1).toString().padStart(2, "0")}`;
-        sections.push("");
-        sections.push(`### ${id}  (kind: ${c.kind})`);
-        sections.push(`description: ${c.description}`);
-        if (c.parameters && Object.keys(c.parameters).length > 0) {
-            sections.push("parameters (loose, from extractor):");
-            sections.push("```json");
-            sections.push(JSON.stringify(c.parameters, null, 2));
-            sections.push("```");
-        }
-    }
-    sections.push("");
-    sections.push("## Your task");
-    sections.push("Emit one proposal per candidate in the order given. Use the candidate_id values shown above. Output ONLY the JSON object.");
-    return sections.join("\n");
-}
-//# sourceMappingURL=refinement-prompt.js.map

package/dist/decision-capture/refinement-prompt.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"refinement-prompt.js","sourceRoot":"","sources":["../../src/decision-capture/refinement-prompt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH,MAAM,qBAAqB,GAAG,KAAK,CAAC;AAEpC,MAAM,CAAC,MAAM,iCAAiC,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;uIA8EsF,CAAC;AAExI,MAAM,UAAU,iCAAiC,CAAC,KAAmB;IACnE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,yBAAyB,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5D,QAAQ,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1B,QAAQ,CAAC,IAAI,CACX,OAAO,CAAC,MAAM,GAAG,qBAAqB;QACpC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,qBAAqB,CAAC;YACrC,kBAAkB,OAAO,CAAC,MAAM,GAAG,qBAAqB,gBAAgB;QAC5E,CAAC,CAAC,OAAO,CACZ,CAAC;IAEF,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,QAAQ,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;IACtE,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,WAAW,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QAClF,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzD,QAAQ,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC9B,QAAQ,CAAC,IAAI,CACX,2HAA2H,CAC5H,CAAC;IAEF,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC"}