@spendgraph/workflows 0.2.0

package/dist/noesis/execute/order.d.ts

@@ -0,0 +1,11 @@
+import type { SubQuestion } from "../producers/decompose/index.js";
+import type { Waves } from "./types.js";
+/**
+ * The plan, grouped into what may run together.
+ *
+ * `read_only` siblings share a wave and `synthesis` takes one alone, which is
+ * the distinction the stage went to the trouble of typing. A dependency on an
+ * id nothing created can never be satisfied, so it lands in `unresolved`
+ * alongside a cycle rather than being run in the wrong order.
+ */
+export declare function order(plan: SubQuestion[]): Waves;

package/dist/noesis/execute/order.js

@@ -0,0 +1,28 @@
+/**
+ * The plan, grouped into what may run together.
+ *
+ * `read_only` siblings share a wave and `synthesis` takes one alone, which is
+ * the distinction the stage went to the trouble of typing. A dependency on an
+ * id nothing created can never be satisfied, so it lands in `unresolved`
+ * alongside a cycle rather than being run in the wrong order.
+ */
+export function order(plan) {
+    const known = new Set(plan.map((sub) => sub.id));
+    const done = new Set();
+    const waves = [];
+    let left = [...plan];
+    while (left.length) {
+        const ready = left.filter((sub) => sub.depends_on.every((id) => known.has(id) && done.has(id)));
+        if (!ready.length)
+            break;
+        const together = ready.filter((sub) => sub.kind === "read_only");
+        if (together.length)
+            waves.push(together);
+        for (const alone of ready.filter((sub) => sub.kind !== "read_only"))
+            waves.push([alone]);
+        for (const sub of ready)
+            done.add(sub.id);
+        left = left.filter((sub) => !done.has(sub.id));
+    }
+    return { waves, unresolved: left.map((sub) => sub.id) };
+}

package/dist/noesis/execute/types.d.ts

@@ -0,0 +1,37 @@
+import type { Emit } from "../events.js";
+import type { SubQuestion, SubQuestionTool } from "../producers/decompose/index.js";
+/** Which tool answers a sub-question, and the argument its question fills. */
+export interface Wiring {
+    name: string;
+    arg: string;
+}
+export interface ExecuteOptions {
+    /** Merged over the defaults. A deployment names its own tools here. */
+    tools?: Partial<Record<SubQuestionTool, Wiring>>;
+    /** Where the dispatcher says which wave is running and what each call did. */
+    emit?: Emit;
+}
+/** What one sub-question came back with. */
+export interface SubAnswer {
+    id: string;
+    question: string;
+    tool: SubQuestionTool;
+    status: "answered" | "skipped" | "failed";
+    /** The tool's output, parsed where it was JSON. Absent unless answered. */
+    result?: unknown;
+    /** Why it was skipped, or how it failed. */
+    reason?: string;
+    latencyMs: number;
+}
+export interface Execution {
+    answers: SubAnswer[];
+    /** Ids that could never run: a cycle, or a dependency nothing created. */
+    unresolved: string[];
+    /** Time spent inside tools. Not wall clock — a wave runs together. */
+    toolMs: number;
+}
+/** Sub-questions grouped into what may run together, in the order they run. */
+export interface Waves {
+    waves: SubQuestion[][];
+    unresolved: string[];
+}

package/dist/noesis/execute/types.js

@@ -0,0 +1 @@
+export {};

package/dist/noesis/gates/closure-checklist/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { CLOSURE_SCHEMA, CLOSURE_SLUG } from "./prompt.js";
+export type { ClosureChecklist, ClosureChecklistInput, ClosureChecklistOptions, ClosureChecklistResult, ClosureGate, } from "./types.js";

package/dist/noesis/gates/closure-checklist/index.js

@@ -0,0 +1,2 @@
+export { invoke } from "./invoke.js";
+export { CLOSURE_SCHEMA, CLOSURE_SLUG } from "./prompt.js";

package/dist/noesis/gates/closure-checklist/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { ClosureChecklistInput, ClosureChecklistOptions, ClosureChecklistResult } from "./types.js";
+/** Stage 6A. The last questions before an answer is allowed to close. */
+export declare function invoke(client: PromptClient, llm: Llm, input: ClosureChecklistInput, opts?: ClosureChecklistOptions): Promise<ClosureChecklistResult>;

package/dist/noesis/gates/closure-checklist/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { CLOSURE_SCHEMA, CLOSURE_SLUG } from "./prompt.js";
+/** Stage 6A. The last questions before an answer is allowed to close. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, CLOSURE_SLUG, CLOSURE_SCHEMA, input, opts);
+}

package/dist/noesis/gates/closure-checklist/prompt.d.ts

@@ -0,0 +1,5 @@
+import type { JsonSchema } from "@spendgraph/llms";
+/** Stage 6A. Pulled by slug, so an edit needs no release here. */
+export declare const CLOSURE_SLUG = "ctr-6a-closure-checklist-292xfc";
+/** What the reply must be, as the prompt itself specifies it. */
+export declare const CLOSURE_SCHEMA: JsonSchema;

package/dist/noesis/gates/closure-checklist/prompt.js

@@ -0,0 +1,32 @@
+/** Stage 6A. Pulled by slug, so an edit needs no release here. */
+export const CLOSURE_SLUG = "ctr-6a-closure-checklist-292xfc";
+/** What the reply must be, as the prompt itself specifies it. */
+export const CLOSURE_SCHEMA = {
+    type: "object",
+    properties: {
+        what_else_could_this_be: { type: "array", items: { type: "string" } },
+        evidence_that_does_not_fit: { type: "array", items: { type: "string" } },
+        not_checked: { type: "array", items: { type: "string" } },
+        hostile_reviewer_attacks: { type: "array", items: { type: "string" } },
+        weakest_link: { type: "string" },
+        most_likely_reason_wrong: { type: "string" },
+        all_sub_questions_answered: { type: "boolean" },
+        unanswered: { type: "array", items: { type: "string" } },
+        gate: { type: "string", enum: ["close", "loop_back", "escalate"] },
+        loop_back_to: { type: ["string", "null"] },
+        reason: { type: "string" },
+    },
+    required: [
+        "what_else_could_this_be",
+        "evidence_that_does_not_fit",
+        "not_checked",
+        "hostile_reviewer_attacks",
+        "weakest_link",
+        "most_likely_reason_wrong",
+        "all_sub_questions_answered",
+        "unanswered",
+        "gate",
+        "loop_back_to",
+        "reason",
+    ],
+};

package/dist/noesis/gates/closure-checklist/types.d.ts

@@ -0,0 +1,20 @@
+import type { Asked } from "../../context.js";
+import type { StageOptions, StageOutcome } from "../../stage.js";
+export type ClosureGate = "close" | "loop_back" | "escalate";
+export interface ClosureChecklist {
+    what_else_could_this_be: string[];
+    evidence_that_does_not_fit: string[];
+    not_checked: string[];
+    hostile_reviewer_attacks: string[];
+    weakest_link: string;
+    most_likely_reason_wrong: string;
+    all_sub_questions_answered: boolean;
+    unanswered: string[];
+    gate: ClosureGate;
+    /** The stage id to redo, or null. */
+    loop_back_to: string | null;
+    reason: string;
+}
+export type ClosureChecklistInput = Asked;
+export type ClosureChecklistOptions = StageOptions;
+export type ClosureChecklistResult = StageOutcome<ClosureChecklist>;

package/dist/noesis/gates/closure-checklist/types.js

@@ -0,0 +1 @@
+export {};

package/dist/noesis/gates/cqot-gate/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { GATE_SCHEMA, GATE_SLUG } from "./prompt.js";
+export type { CqotGate, CqotGateInput, CqotGateOptions, CqotGateResult, Gate, GateQuestion, GateVerdict, } from "./types.js";

package/dist/noesis/gates/cqot-gate/index.js

@@ -0,0 +1,2 @@
+export { invoke } from "./invoke.js";
+export { GATE_SCHEMA, GATE_SLUG } from "./prompt.js";

package/dist/noesis/gates/cqot-gate/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { CqotGateInput, CqotGateOptions, CqotGateResult } from "./types.js";
+/** Stage 3C. Eight questions asked of the plan, and whether it may proceed. */
+export declare function invoke(client: PromptClient, llm: Llm, input: CqotGateInput, opts?: CqotGateOptions): Promise<CqotGateResult>;

package/dist/noesis/gates/cqot-gate/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { GATE_SCHEMA, GATE_SLUG } from "./prompt.js";
+/** Stage 3C. Eight questions asked of the plan, and whether it may proceed. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, GATE_SLUG, GATE_SCHEMA, input, opts);
+}

package/dist/noesis/gates/cqot-gate/prompt.d.ts

@@ -0,0 +1,5 @@
+import type { JsonSchema } from "@spendgraph/llms";
+/** Stage 3C. Pulled by slug, so an edit needs no release here. */
+export declare const GATE_SLUG = "ctr-3c-cqot-gate-7128w7";
+/** What the reply must be, as the prompt itself specifies it. */
+export declare const GATE_SCHEMA: JsonSchema;

package/dist/noesis/gates/cqot-gate/prompt.js

@@ -0,0 +1,27 @@
+/** Stage 3C. Pulled by slug, so an edit needs no release here. */
+export const GATE_SLUG = "ctr-3c-cqot-gate-7128w7";
+/** What the reply must be, as the prompt itself specifies it. */
+export const GATE_SCHEMA = {
+    type: "object",
+    properties: {
+        questions: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    n: { type: "number" },
+                    verdict: { type: "string", enum: ["pass", "fail"] },
+                    reason: { type: "string" },
+                    step_at_fault: { type: ["string", "null"] },
+                },
+                required: ["n", "verdict", "reason", "step_at_fault"],
+            },
+            minItems: 8,
+            maxItems: 8,
+        },
+        passed_count: { type: "number" },
+        gate: { type: "string", enum: ["pass", "revise"] },
+        blocking: { type: "array", items: { type: "number" } },
+    },
+    required: ["questions", "passed_count", "gate", "blocking"],
+};

package/dist/noesis/gates/cqot-gate/types.d.ts

@@ -0,0 +1,23 @@
+import type { Asked } from "../../context.js";
+import type { StageOptions, StageOutcome } from "../../stage.js";
+export type GateVerdict = "pass" | "fail";
+/** `pass` at seven of eight or better, otherwise `revise`. */
+export type Gate = "pass" | "revise";
+export interface GateQuestion {
+    n: number;
+    verdict: GateVerdict;
+    reason: string;
+    /** The step at fault, or null on a pass. */
+    step_at_fault: string | null;
+}
+export interface CqotGate {
+    /** All eight, `n` from 1 to 8, in order. */
+    questions: GateQuestion[];
+    passed_count: number;
+    gate: Gate;
+    /** The `n` values that must be fixed before re-submission. */
+    blocking: number[];
+}
+export type CqotGateInput = Asked;
+export type CqotGateOptions = StageOptions;
+export type CqotGateResult = StageOutcome<CqotGate>;

package/dist/noesis/gates/cqot-gate/types.js

@@ -0,0 +1 @@
+export {};

package/dist/noesis/gates/premortem/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { PREMORTEM_SCHEMA, PREMORTEM_SLUG } from "./prompt.js";
+export type { Damage, FailureCause, Inversion, Likelihood, Premortem, PremortemInput, PremortemOptions, PremortemResult, PremortemVerdict, } from "./types.js";

package/dist/noesis/gates/premortem/index.js

@@ -0,0 +1,2 @@
+export { invoke } from "./invoke.js";
+export { PREMORTEM_SCHEMA, PREMORTEM_SLUG } from "./prompt.js";

package/dist/noesis/gates/premortem/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { PremortemInput, PremortemOptions, PremortemResult } from "./types.js";
+/** Stage 3B. The plan assumed dead, and what killed it. */
+export declare function invoke(client: PromptClient, llm: Llm, input: PremortemInput, opts?: PremortemOptions): Promise<PremortemResult>;

package/dist/noesis/gates/premortem/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { PREMORTEM_SCHEMA, PREMORTEM_SLUG } from "./prompt.js";
+/** Stage 3B. The plan assumed dead, and what killed it. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, PREMORTEM_SLUG, PREMORTEM_SCHEMA, input, opts);
+}

package/dist/noesis/gates/premortem/prompt.d.ts

@@ -0,0 +1,5 @@
+import type { JsonSchema } from "@spendgraph/llms";
+/** Stage 3B. Pulled by slug, so an edit needs no release here. */
+export declare const PREMORTEM_SLUG = "ctr-3b-premortem-0w34wx";
+/** What the reply must be, as the prompt itself specifies it. */
+export declare const PREMORTEM_SCHEMA: JsonSchema;

package/dist/noesis/gates/premortem/prompt.js

@@ -0,0 +1,37 @@
+/** Stage 3B. Pulled by slug, so an edit needs no release here. */
+export const PREMORTEM_SLUG = "ctr-3b-premortem-0w34wx";
+/** What the reply must be, as the prompt itself specifies it. */
+export const PREMORTEM_SCHEMA = {
+    type: "object",
+    properties: {
+        failure_causes: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    cause: { type: "string" },
+                    mechanism: { type: "string" },
+                    likelihood: { type: "string", enum: ["low", "medium", "high"] },
+                    damage: { type: "string", enum: ["low", "medium", "high"] },
+                    detect_by: { type: "string" },
+                    patch: { type: "string" },
+                },
+                required: ["cause", "mechanism", "likelihood", "damage", "detect_by", "patch"],
+            },
+        },
+        inversion: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    guaranteed_failure: { type: "string" },
+                    plan_does_this: { type: "boolean" },
+                },
+                required: ["guaranteed_failure", "plan_does_this"],
+            },
+        },
+        fatal: { type: "boolean" },
+        verdict: { type: "string", enum: ["proceed", "patch_and_proceed", "replan"] },
+    },
+    required: ["failure_causes", "inversion", "fatal", "verdict"],
+};

package/dist/noesis/gates/premortem/types.d.ts

@@ -0,0 +1,28 @@
+import type { Asked } from "../../context.js";
+import type { StageOptions, StageOutcome } from "../../stage.js";
+export type Likelihood = "low" | "medium" | "high";
+export type Damage = "low" | "medium" | "high";
+/** What to do with the plan. */
+export type PremortemVerdict = "proceed" | "patch_and_proceed" | "replan";
+export interface FailureCause {
+    cause: string;
+    mechanism: string;
+    likelihood: Likelihood;
+    damage: Damage;
+    detect_by: string;
+    patch: string;
+}
+/** A guaranteed way to fail, and whether the plan already does it. */
+export interface Inversion {
+    guaranteed_failure: string;
+    plan_does_this: boolean;
+}
+export interface Premortem {
+    failure_causes: FailureCause[];
+    inversion: Inversion[];
+    fatal: boolean;
+    verdict: PremortemVerdict;
+}
+export type PremortemInput = Asked;
+export type PremortemOptions = StageOptions;
+export type PremortemResult = StageOutcome<Premortem>;

package/dist/noesis/gates/premortem/types.js

@@ -0,0 +1 @@
+export {};

package/dist/noesis/gates/red-team/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { RED_TEAM_SCHEMA, RED_TEAM_SLUG } from "./prompt.js";
+export type { Objection, RedTeam, RedTeamInput, RedTeamOptions, RedTeamResult, RedTeamVerdict, Severity, } from "./types.js";

package/dist/noesis/gates/red-team/index.js

@@ -0,0 +1,2 @@
+export { invoke } from "./invoke.js";
+export { RED_TEAM_SCHEMA, RED_TEAM_SLUG } from "./prompt.js";

package/dist/noesis/gates/red-team/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { RedTeamInput, RedTeamOptions, RedTeamResult } from "./types.js";
+/** Stage 6B. The answer attacked, and whether it survived. */
+export declare function invoke(client: PromptClient, llm: Llm, input: RedTeamInput, opts?: RedTeamOptions): Promise<RedTeamResult>;

package/dist/noesis/gates/red-team/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { RED_TEAM_SCHEMA, RED_TEAM_SLUG } from "./prompt.js";
+/** Stage 6B. The answer attacked, and whether it survived. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, RED_TEAM_SLUG, RED_TEAM_SCHEMA, input, opts);
+}

package/dist/noesis/gates/red-team/prompt.d.ts

@@ -0,0 +1,5 @@
+import type { JsonSchema } from "@spendgraph/llms";
+/** Stage 6B. Pulled by slug, so an edit needs no release here. */
+export declare const RED_TEAM_SLUG = "ctr-6b-red-team-f084c0";
+/** What the reply must be, as the prompt itself specifies it. */
+export declare const RED_TEAM_SCHEMA: JsonSchema;

package/dist/noesis/gates/red-team/prompt.js

@@ -0,0 +1,25 @@
+/** Stage 6B. Pulled by slug, so an edit needs no release here. */
+export const RED_TEAM_SLUG = "ctr-6b-red-team-f084c0";
+/** What the reply must be, as the prompt itself specifies it. */
+export const RED_TEAM_SCHEMA = {
+    type: "object",
+    properties: {
+        objections: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    claim_attacked: { type: "string" },
+                    objection: { type: "string" },
+                    severity: { type: "string", enum: ["fatal", "serious", "minor"] },
+                    settled_by: { type: "string" },
+                },
+                required: ["claim_attacked", "objection", "severity", "settled_by"],
+            },
+        },
+        fatal_found: { type: "boolean" },
+        verdict: { type: "string", enum: ["survives", "revise", "reject"] },
+        would_break_it: { type: "string" },
+    },
+    required: ["objections", "fatal_found", "verdict", "would_break_it"],
+};

package/dist/noesis/gates/red-team/types.d.ts

@@ -0,0 +1,21 @@
+import type { Asked } from "../../context.js";
+import type { StageOptions, StageOutcome } from "../../stage.js";
+export type Severity = "fatal" | "serious" | "minor";
+/** `survives` with nothing serious standing, `revise` with serious ones, `reject` with a fatal one. */
+export type RedTeamVerdict = "survives" | "revise" | "reject";
+export interface Objection {
+    claim_attacked: string;
+    objection: string;
+    severity: Severity;
+    settled_by: string;
+}
+export interface RedTeam {
+    objections: Objection[];
+    fatal_found: boolean;
+    verdict: RedTeamVerdict;
+    /** The evidence that would overturn the conclusion. Required even when nothing was found. */
+    would_break_it: string;
+}
+export type RedTeamInput = Asked;
+export type RedTeamOptions = StageOptions;
+export type RedTeamResult = StageOutcome<RedTeam>;

package/dist/noesis/gates/red-team/types.js

@@ -0,0 +1 @@
+export {};

package/dist/noesis/gates/standards-review/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { STANDARDS_SCHEMA, STANDARDS_SLUG } from "./prompt.js";
+export type { Criterion, CriterionVerdict, ReviewOutcome, StandardsReview, StandardsReviewInput, StandardsReviewOptions, StandardsReviewResult, } from "./types.js";

package/dist/noesis/gates/standards-review/index.js

@@ -0,0 +1,2 @@
+export { invoke } from "./invoke.js";
+export { STANDARDS_SCHEMA, STANDARDS_SLUG } from "./prompt.js";

package/dist/noesis/gates/standards-review/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { StandardsReviewInput, StandardsReviewOptions, StandardsReviewResult } from "./types.js";
+/** Stage 5C. The answer against eight standards, each passed or failed on the evidence. */
+export declare function invoke(client: PromptClient, llm: Llm, input: StandardsReviewInput, opts?: StandardsReviewOptions): Promise<StandardsReviewResult>;

package/dist/noesis/gates/standards-review/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { STANDARDS_SCHEMA, STANDARDS_SLUG } from "./prompt.js";
+/** Stage 5C. The answer against eight standards, each passed or failed on the evidence. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, STANDARDS_SLUG, STANDARDS_SCHEMA, input, opts);
+}

package/dist/noesis/gates/standards-review/prompt.d.ts

@@ -0,0 +1,5 @@
+import type { JsonSchema } from "@spendgraph/llms";
+/** Stage 5C. Pulled by slug, so an edit needs no release here. */
+export declare const STANDARDS_SLUG = "ctr-5c-standards-review-17c6w4";
+/** What the reply must be, as the prompt itself specifies it. */
+export declare const STANDARDS_SCHEMA: JsonSchema;

package/dist/noesis/gates/standards-review/prompt.js

@@ -0,0 +1,26 @@
+/** Stage 5C. Pulled by slug, so an edit needs no release here. */
+export const STANDARDS_SLUG = "ctr-5c-standards-review-17c6w4";
+/** What the reply must be, as the prompt itself specifies it. */
+export const STANDARDS_SCHEMA = {
+    type: "object",
+    properties: {
+        criteria: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    name: { type: "string" },
+                    verdict: { type: "string", enum: ["pass", "fail"] },
+                    critique: { type: "string" },
+                    locus: { type: ["string", "null"] },
+                },
+                required: ["name", "verdict", "critique", "locus"],
+            },
+            minItems: 8,
+            maxItems: 8,
+        },
+        failed: { type: "array", items: { type: "string" } },
+        overall: { type: "string", enum: ["accept", "revise", "reject"] },
+    },
+    required: ["criteria", "failed", "overall"],
+};

package/dist/noesis/gates/standards-review/types.d.ts

@@ -0,0 +1,20 @@
+import type { Asked } from "../../context.js";
+import type { StageOptions, StageOutcome } from "../../stage.js";
+export type CriterionVerdict = "pass" | "fail";
+export type ReviewOutcome = "accept" | "revise" | "reject";
+export interface Criterion {
+    name: string;
+    verdict: CriterionVerdict;
+    critique: string;
+    /** The quoted span at fault, or null on a pass. */
+    locus: string | null;
+}
+export interface StandardsReview {
+    /** All eight, in the order the prompt lists them. */
+    criteria: Criterion[];
+    failed: string[];
+    overall: ReviewOutcome;
+}
+export type StandardsReviewInput = Asked;
+export type StandardsReviewOptions = StageOptions;
+export type StandardsReviewResult = StageOutcome<StandardsReview>;

package/dist/noesis/gates/standards-review/types.js

@@ -0,0 +1 @@
+export {};

package/dist/noesis/gates/think-checkpoint/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { CHECKPOINT_SCHEMA, CHECKPOINT_SLUG } from "./prompt.js";
+export type { Divergence, NextAction, ThinkCheckpoint, ThinkCheckpointInput, ThinkCheckpointOptions, ThinkCheckpointResult, } from "./types.js";

package/dist/noesis/gates/think-checkpoint/index.js

@@ -0,0 +1,2 @@
+export { invoke } from "./invoke.js";
+export { CHECKPOINT_SCHEMA, CHECKPOINT_SLUG } from "./prompt.js";

package/dist/noesis/gates/think-checkpoint/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { ThinkCheckpointInput, ThinkCheckpointOptions, ThinkCheckpointResult } from "./types.js";
+/** Stage 4A. What was predicted against what happened, and whether to carry on. */
+export declare function invoke(client: PromptClient, llm: Llm, input: ThinkCheckpointInput, opts?: ThinkCheckpointOptions): Promise<ThinkCheckpointResult>;

package/dist/noesis/gates/think-checkpoint/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { CHECKPOINT_SCHEMA, CHECKPOINT_SLUG } from "./prompt.js";
+/** Stage 4A. What was predicted against what happened, and whether to carry on. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, CHECKPOINT_SLUG, CHECKPOINT_SCHEMA, input, opts);
+}

package/dist/noesis/gates/think-checkpoint/prompt.d.ts

@@ -0,0 +1,5 @@
+import type { JsonSchema } from "@spendgraph/llms";
+/** Stage 4A. Pulled by slug, so an edit needs no release here. */
+export declare const CHECKPOINT_SLUG = "ctr-4a-think-checkpoint-8d5302";
+/** What the reply must be, as the prompt itself specifies it. */
+export declare const CHECKPOINT_SCHEMA: JsonSchema;

package/dist/noesis/gates/think-checkpoint/prompt.js

@@ -0,0 +1,28 @@
+/** Stage 4A. Pulled by slug, so an edit needs no release here. */
+export const CHECKPOINT_SLUG = "ctr-4a-think-checkpoint-8d5302";
+/** What the reply must be, as the prompt itself specifies it. */
+export const CHECKPOINT_SCHEMA = {
+    type: "object",
+    properties: {
+        predicted: { type: "string" },
+        actual: { type: "string" },
+        divergence: { type: "string", enum: ["none", "minor", "beyond_tolerance"] },
+        contradicted_assumption: { type: ["string", "null"] },
+        next_action: { type: "string", enum: ["continue", "replan", "escalate"] },
+        replan_from_step: { type: ["number", "null"] },
+        confidence_now: { type: "number", minimum: 0, maximum: 1 },
+        surprises: { type: "array", items: { type: "string" } },
+        why: { type: "string" },
+    },
+    required: [
+        "predicted",
+        "actual",
+        "divergence",
+        "contradicted_assumption",
+        "next_action",
+        "replan_from_step",
+        "confidence_now",
+        "surprises",
+        "why",
+    ],
+};

package/dist/noesis/gates/think-checkpoint/types.d.ts

@@ -0,0 +1,21 @@
+import type { Asked } from "../../context.js";
+import type { StageOptions, StageOutcome } from "../../stage.js";
+export type Divergence = "none" | "minor" | "beyond_tolerance";
+export type NextAction = "continue" | "replan" | "escalate";
+export interface ThinkCheckpoint {
+    predicted: string;
+    actual: string;
+    divergence: Divergence;
+    /** The assumption the result contradicted, or null. */
+    contradicted_assumption: string | null;
+    next_action: NextAction;
+    /** Where re-planning starts, or null when it is not replanning. */
+    replan_from_step: number | null;
+    /** Calibrated, two decimals. */
+    confidence_now: number;
+    surprises: string[];
+    why: string;
+}
+export type ThinkCheckpointInput = Asked;
+export type ThinkCheckpointOptions = StageOptions;
+export type ThinkCheckpointResult = StageOutcome<ThinkCheckpoint>;

package/dist/noesis/gates/think-checkpoint/types.js

@@ -0,0 +1 @@
+export {};