@isaacriehm/cairn-core 0.1.10 → 0.3.0

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"}

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

@@ -1,52 +0,0 @@
-/**
- * JSON Schema enforced by `claude --json-schema` for the assertion-refiner
- * proposer output.
- *
- * For each input candidate the proposer returns one `RefinementProposal`.
- * The shape here is intentionally loose on `strict_assertion` — the
- * production `DecisionAssertion` zod (see `src/ground/schemas.ts`) is the
- * source of truth and re-validates at apply time. Forcing the discriminated
- * union into JSON Schema and the proposer's prompt would burn tokens
- * without buying additional safety, since malformed shapes auto-demote.
- *
- * The proposer's per-kind contract is encoded in the system prompt
- * (`refinement-prompt.ts`), not here.
- */
-export declare const REFINEMENT_PROPOSER_OUTPUT_SCHEMA: {
-    readonly type: "object";
-    readonly additionalProperties: false;
-    readonly properties: {
-        readonly proposals: {
-            readonly type: "array";
-            readonly items: {
-                readonly type: "object";
-                readonly additionalProperties: false;
-                readonly properties: {
-                    readonly candidate_id: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                    readonly candidate_kind: {
-                        readonly enum: readonly ["schema_must_contain", "text_must_match", "text_must_not_match", "index_must_exist", "ast_pattern", "file_must_not_be_modified", "query_must_filter_by", "route_must_have_guard", "event_must_emit", "service_method_must_call", "human_review_hint"];
-                    };
-                    readonly status: {
-                        readonly enum: readonly ["lift", "demote", "skip"];
-                    };
-                    readonly confidence_signal: {
-                        readonly enum: readonly ["high", "medium", "low"];
-                    };
-                    readonly strict_assertion: {
-                        readonly type: "object";
-                        readonly additionalProperties: true;
-                    };
-                    readonly rationale: {
-                        readonly type: "string";
-                        readonly minLength: 1;
-                    };
-                };
-                readonly required: readonly ["candidate_id", "candidate_kind", "status", "confidence_signal", "rationale"];
-            };
-        };
-    };
-    readonly required: readonly ["proposals"];
-};

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

@@ -1,61 +0,0 @@
-/**
- * JSON Schema enforced by `claude --json-schema` for the assertion-refiner
- * proposer output.
- *
- * For each input candidate the proposer returns one `RefinementProposal`.
- * The shape here is intentionally loose on `strict_assertion` — the
- * production `DecisionAssertion` zod (see `src/ground/schemas.ts`) is the
- * source of truth and re-validates at apply time. Forcing the discriminated
- * union into JSON Schema and the proposer's prompt would burn tokens
- * without buying additional safety, since malformed shapes auto-demote.
- *
- * The proposer's per-kind contract is encoded in the system prompt
- * (`refinement-prompt.ts`), not here.
- */
-export const REFINEMENT_PROPOSER_OUTPUT_SCHEMA = {
-    type: "object",
-    additionalProperties: false,
-    properties: {
-        proposals: {
-            type: "array",
-            items: {
-                type: "object",
-                additionalProperties: false,
-                properties: {
-                    candidate_id: { type: "string", minLength: 1 },
-                    candidate_kind: {
-                        enum: [
-                            "schema_must_contain",
-                            "text_must_match",
-                            "text_must_not_match",
-                            "index_must_exist",
-                            "ast_pattern",
-                            "file_must_not_be_modified",
-                            "query_must_filter_by",
-                            "route_must_have_guard",
-                            "event_must_emit",
-                            "service_method_must_call",
-                            "human_review_hint",
-                        ],
-                    },
-                    status: { enum: ["lift", "demote", "skip"] },
-                    confidence_signal: { enum: ["high", "medium", "low"] },
-                    strict_assertion: {
-                        type: "object",
-                        additionalProperties: true,
-                    },
-                    rationale: { type: "string", minLength: 1 },
-                },
-                required: [
-                    "candidate_id",
-                    "candidate_kind",
-                    "status",
-                    "confidence_signal",
-                    "rationale",
-                ],
-            },
-        },
-    },
-    required: ["proposals"],
-};
-//# sourceMappingURL=refinement-schema.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"refinement-schema.js","sourceRoot":"","sources":["../../src/decision-capture/refinement-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG;IAC/C,IAAI,EAAE,QAAQ;IACd,oBAAoB,EAAE,KAAK;IAC3B,UAAU,EAAE;QACV,SAAS,EAAE;YACT,IAAI,EAAE,OAAO;YACb,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,oBAAoB,EAAE,KAAK;gBAC3B,UAAU,EAAE;oBACV,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;oBAC9C,cAAc,EAAE;wBACd,IAAI,EAAE;4BACJ,qBAAqB;4BACrB,iBAAiB;4BACjB,qBAAqB;4BACrB,kBAAkB;4BAClB,aAAa;4BACb,2BAA2B;4BAC3B,sBAAsB;4BACtB,uBAAuB;4BACvB,iBAAiB;4BACjB,0BAA0B;4BAC1B,mBAAmB;yBACpB;qBACF;oBACD,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE;oBAC5C,iBAAiB,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE;oBACtD,gBAAgB,EAAE;wBAChB,IAAI,EAAE,QAAQ;wBACd,oBAAoB,EAAE,IAAI;qBAC3B;oBACD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;iBAC5C;gBACD,QAAQ,EAAE;oBACR,cAAc;oBACd,gBAAgB;oBAChB,QAAQ;oBACR,mBAAmB;oBACnB,WAAW;iBACZ;aACF;SACF;KACF;IACD,QAAQ,EAAE,CAAC,WAAW,CAAC;CACf,CAAC"}

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

@@ -1,60 +0,0 @@
-/**
- * Phase 14.x — assertion refinement.
- *
- * Lifts the loose `candidate_assertions:` set on an accepted decision into
- * the strict `assertions:` shape that Layer-D sensors enforce.
- *
- * Flow:
- *   read accepted decision file
- *   → proposeStrictAssertions  (Tier-1 LLM)
- *   → re-validate each lift via DecisionAssertion zod (auto-demote on fail)
- *   → adapter.requestDialog: a) approve_all  b) approve_high_only
- *                            c) demote_all   d) skip
- *   → liftCandidatesToAssertions writes the file
- *   → ledger regenerates so the new strict assertions become live
- *
- * The proposer runs READ-ONLY. The writer + dialog drive everything that
- * touches the filesystem. A proposer failure (timeout, malformed JSON,
- * subprocess crash) does NOT roll back the prior accept — it returns
- * `proposer_failed: true` and leaves candidates under their loose
- * `candidate_assertions:` field for the next refine pass.
- */
-import type { FrontendAdapter } from "../frontend-types.js";
-import type { ClaudeTier } from "../claude/index.js";
-import type { RefinementResult, RefinerInput, RefinerOutput } from "./types.js";
-export interface ProposerResult {
-    output: RefinerOutput;
-    duration_ms: number;
-    usage?: {
-        input_tokens?: number;
-        output_tokens?: number;
-    };
-}
-/**
- * Single Tier-1 (Haiku default) LLM call producing one proposal per
- * input candidate. The output is gated by the JSON Schema on the CLI
- * side and re-validated structurally here.
- */
-export declare function proposeStrictAssertions(input: RefinerInput): Promise<ProposerResult>;
-export interface RunDecisionRefinementArgs {
-    /** Repo root for the mirror checkout. */
-    repoRoot: string;
-    /** DEC-id of the accepted decision whose candidates we're refining. */
-    decisionId: string;
-    /** Adapter that owns the confirm dialog. */
-    adapter: FrontendAdapter;
-    /** Channel for the dialog (Discord thread / DM). */
-    channelId?: string;
-    /** Tier for the proposer call. Default = haiku. */
-    tier?: ClaudeTier;
-    /** Per-call timeout for the proposer. */
-    proposerTimeoutMs?: number;
-    /** Dialog timeout. Default 60_000 ms. */
-    dialogTimeoutMs?: number;
-    /**
-     * Smokes inject a stub here so they can verify dialog branching without
-     * burning claude quota. Defaults to `proposeStrictAssertions`.
-     */
-    proposerOverride?: typeof proposeStrictAssertions;
-}
-export declare function runDecisionRefinement(args: RunDecisionRefinementArgs): Promise<RefinementResult>;