@spendgraph/workflows 0.2.0

package/dist/noesis/index.d.ts

@@ -0,0 +1,51 @@
+export { stageCited, unattributed } from "./attribution.js";
+export type { Asked } from "./context.js";
+export { asked } from "./context.js";
+export type { Draft, Finding, Missing } from "./draft/index.js";
+export { assemble, render as renderDraft } from "./draft/index.js";
+export type { Emit, EventBase, NoesisEvent, NoesisEventInput } from "./events.js";
+export { emitter } from "./events.js";
+export type { ExecuteOptions, Execution, SubAnswer, Waves, Wiring, } from "./execute/index.js";
+export { DEFAULT_TOOLS, execute, order } from "./execute/index.js";
+export type { ClosureChecklist, ClosureChecklistInput, ClosureChecklistOptions, ClosureChecklistResult, ClosureGate, } from "./gates/closure-checklist/index.js";
+export { invoke as closureChecklist } from "./gates/closure-checklist/index.js";
+export type { CqotGate, CqotGateInput, CqotGateOptions, CqotGateResult, Gate, GateQuestion, GateVerdict, } from "./gates/cqot-gate/index.js";
+export { invoke as cqotGate } from "./gates/cqot-gate/index.js";
+export type { Damage, FailureCause, Inversion, Likelihood, Premortem, PremortemInput, PremortemOptions, PremortemResult, PremortemVerdict, } from "./gates/premortem/index.js";
+export { invoke as premortem } from "./gates/premortem/index.js";
+export type { Objection, RedTeam, RedTeamInput, RedTeamOptions, RedTeamResult, RedTeamVerdict, Severity, } from "./gates/red-team/index.js";
+export { invoke as redTeam } from "./gates/red-team/index.js";
+export type { Criterion, CriterionVerdict, ReviewOutcome, StandardsReview, StandardsReviewInput, StandardsReviewOptions, StandardsReviewResult, } from "./gates/standards-review/index.js";
+export { invoke as standardsReview } from "./gates/standards-review/index.js";
+export type { Divergence, NextAction, ThinkCheckpoint, ThinkCheckpointInput, ThinkCheckpointOptions, ThinkCheckpointResult, } from "./gates/think-checkpoint/index.js";
+export { invoke as thinkCheckpoint } from "./gates/think-checkpoint/index.js";
+export type { CheckedBy, CoveAnswers, CoveAnswersInput, CoveAnswersOptions, CoveAnswersResult, VerificationAnswer, } from "./producers/cove-answers/index.js";
+export { invoke as coveAnswers } from "./producers/cove-answers/index.js";
+export type { ClaimType, CoveQuestions, CoveQuestionsInput, CoveQuestionsOptions, CoveQuestionsResult, VerificationQuestion, } from "./producers/cove-questions/index.js";
+export { invoke as coveQuestions } from "./producers/cove-questions/index.js";
+export type { DecomposeInput, DecomposeOptions, DecomposeResult, Decomposition, SubQuestion, SubQuestionKind, SubQuestionTool, } from "./producers/decompose/index.js";
+export { invoke as decompose } from "./producers/decompose/index.js";
+export type { DiscriminatingTest, DiscriminatingTestInput, DiscriminatingTestOptions, DiscriminatingTestResult, ExpectedResult, Hypothesis, RejectedTest, } from "./producers/discriminating-test/index.js";
+export { invoke as discriminatingTest } from "./producers/discriminating-test/index.js";
+export type { PlanCandidate, PlanCandidates, PlanCandidatesInput, PlanCandidatesOptions, PlanCandidatesResult, PlanStep, SwitchTrigger, } from "./producers/plan-candidates/index.js";
+export { invoke as planCandidates } from "./producers/plan-candidates/index.js";
+export type { BriefInput, BriefOptions, BriefResult, KeyConcept, QuestionBrief, Viewpoint, } from "./producers/qn-brief/index.js";
+export { invoke as brief } from "./producers/qn-brief/index.js";
+export type { AnswerOptions, AnswerResult, AnswerTier, Artifacts, Ground, Qualifier, Rebuttal, ToulminAnswer, ToulminOptions, ToulminResult, } from "./producers/toulmin/index.js";
+export { answer, invoke as toulmin, NoAnswerError, render, ToulminReplyError, } from "./producers/toulmin/index.js";
+export type { Reflection, ReflectionInput, ReflectionOptions, ReflectionResult, } from "./repair/reflection/index.js";
+export { invoke as reflection } from "./repair/reflection/index.js";
+export { routeFor } from "./route.js";
+export type { Difficulty, Stakes, TriageEstimates, TriageInput, TriageOptions, TriageResult, } from "./router/triage/index.js";
+export { invoke as triage, TriageReplyError } from "./router/triage/index.js";
+export type { Entry, Escalation, Ledger, NoesisStream, Recorded, StageId, StageUsage, } from "./run/index.js";
+export { NoToolsError, newLedger, RouteFailedError, RouteNotBuiltError, run, runStream, STAGE_NAMES, STAGES, } from "./run/index.js";
+export { dropPoint, parseStage, resumeAt } from "./run/redo.js";
+export { STAGE_OF_SLUG } from "./slugs.js";
+export type { StageOptions, StageOutcome } from "./stage.js";
+export { runStage, StageReplyError } from "./stage.js";
+export type { Ask, AskedOfYou, NoesisOptions, NoesisResult, RetrieveOptions, Route, Routing, RunUsage, Status, VerifyOptions, } from "./types.js";
+export type { PartialUsage, Usage } from "./usage.js";
+export { addUsage, billableTokens, NO_USAGE, spend, usageOf } from "./usage.js";
+export type { Checked, Verification } from "./verify/index.js";
+export { blind, compare, render as renderChecks, SETTLED_WITHOUT_TOOLS, } from "./verify/index.js";

package/dist/noesis/index.js

@@ -0,0 +1,27 @@
+export { stageCited, unattributed } from "./attribution.js";
+export { asked } from "./context.js";
+export { assemble, render as renderDraft } from "./draft/index.js";
+export { emitter } from "./events.js";
+export { DEFAULT_TOOLS, execute, order } from "./execute/index.js";
+export { invoke as closureChecklist } from "./gates/closure-checklist/index.js";
+export { invoke as cqotGate } from "./gates/cqot-gate/index.js";
+export { invoke as premortem } from "./gates/premortem/index.js";
+export { invoke as redTeam } from "./gates/red-team/index.js";
+export { invoke as standardsReview } from "./gates/standards-review/index.js";
+export { invoke as thinkCheckpoint } from "./gates/think-checkpoint/index.js";
+export { invoke as coveAnswers } from "./producers/cove-answers/index.js";
+export { invoke as coveQuestions } from "./producers/cove-questions/index.js";
+export { invoke as decompose } from "./producers/decompose/index.js";
+export { invoke as discriminatingTest } from "./producers/discriminating-test/index.js";
+export { invoke as planCandidates } from "./producers/plan-candidates/index.js";
+export { invoke as brief } from "./producers/qn-brief/index.js";
+export { answer, invoke as toulmin, NoAnswerError, render, ToulminReplyError, } from "./producers/toulmin/index.js";
+export { invoke as reflection } from "./repair/reflection/index.js";
+export { routeFor } from "./route.js";
+export { invoke as triage, TriageReplyError } from "./router/triage/index.js";
+export { NoToolsError, newLedger, RouteFailedError, RouteNotBuiltError, run, runStream, STAGE_NAMES, STAGES, } from "./run/index.js";
+export { dropPoint, parseStage, resumeAt } from "./run/redo.js";
+export { STAGE_OF_SLUG } from "./slugs.js";
+export { runStage, StageReplyError } from "./stage.js";
+export { addUsage, billableTokens, NO_USAGE, spend, usageOf } from "./usage.js";
+export { blind, compare, render as renderChecks, SETTLED_WITHOUT_TOOLS, } from "./verify/index.js";

package/dist/noesis/producers/cove-answers/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { COVE_ANSWERS_SCHEMA, COVE_ANSWERS_SLUG } from "./prompt.js";
+export type { CheckedBy, CoveAnswers, CoveAnswersInput, CoveAnswersOptions, CoveAnswersResult, VerificationAnswer, } from "./types.js";

package/dist/noesis/producers/cove-answers/index.js

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

package/dist/noesis/producers/cove-answers/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { CoveAnswersInput, CoveAnswersOptions, CoveAnswersResult } from "./types.js";
+/** Stage 5B. Each verification question answered blind, without sight of the answer under test. */
+export declare function invoke(client: PromptClient, llm: Llm, input: CoveAnswersInput, opts?: CoveAnswersOptions): Promise<CoveAnswersResult>;

package/dist/noesis/producers/cove-answers/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { COVE_ANSWERS_SCHEMA, COVE_ANSWERS_SLUG } from "./prompt.js";
+/** Stage 5B. Each verification question answered blind, without sight of the answer under test. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, COVE_ANSWERS_SLUG, COVE_ANSWERS_SCHEMA, input, opts);
+}

package/dist/noesis/producers/cove-answers/prompt.d.ts

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

package/dist/noesis/producers/cove-answers/prompt.js

@@ -0,0 +1,27 @@
+/** Stage 5B. Pulled by slug, so an edit needs no release here. */
+export const COVE_ANSWERS_SLUG = "ctr-5b-cove-blind-answer-1w1479";
+/** What the reply must be, as the prompt itself specifies it. */
+export const COVE_ANSWERS_SCHEMA = {
+    type: "object",
+    properties: {
+        answers: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    id: { type: "string" },
+                    answer: { type: "string" },
+                    confidence: { type: "number", minimum: 0, maximum: 1 },
+                    unknown: { type: "boolean" },
+                    as_of: { type: ["string", "null"] },
+                    checked_by: {
+                        type: "string",
+                        enum: ["knowledge", "deeprecall", "web_search"],
+                    },
+                },
+                required: ["id", "answer", "confidence", "unknown", "as_of", "checked_by"],
+            },
+        },
+    },
+    required: ["answers"],
+};

package/dist/noesis/producers/cove-answers/types.d.ts

@@ -0,0 +1,32 @@
+import type { Asked } from "../../context.js";
+import type { StageOptions, StageOutcome } from "../../stage.js";
+/**
+ * How a blind check was settled.
+ *
+ * Spelled `deeprecall` rather than `deep_recall` so it is identical to the
+ * `SubQuestionTool` of the same name: the two enums describe the same thing
+ * from either end of a lookup, and a translation table between them is one more
+ * thing that can drift.
+ *
+ * `knowledge` means the model's own parametric memory and nothing else. A value
+ * here is a claim about provenance, and `compare()` will not take the stage's
+ * word for it — see `SETTLED_WITHOUT_TOOLS`.
+ */
+export type CheckedBy = "knowledge" | "deeprecall" | "web_search";
+export interface VerificationAnswer {
+    /** Matches the question id it answers. */
+    id: string;
+    /** Empty when `unknown` is true. */
+    answer: string;
+    confidence: number;
+    unknown: boolean;
+    /** Null when the fact is time-invariant. */
+    as_of: string | null;
+    checked_by: CheckedBy;
+}
+export interface CoveAnswers {
+    answers: VerificationAnswer[];
+}
+export type CoveAnswersInput = Asked;
+export type CoveAnswersOptions = StageOptions;
+export type CoveAnswersResult = StageOutcome<CoveAnswers>;

package/dist/noesis/producers/cove-answers/types.js

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

package/dist/noesis/producers/cove-questions/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { COVE_QUESTIONS_SCHEMA, COVE_QUESTIONS_SLUG } from "./prompt.js";
+export type { ClaimType, CoveQuestions, CoveQuestionsInput, CoveQuestionsOptions, CoveQuestionsResult, VerificationQuestion, } from "./types.js";

package/dist/noesis/producers/cove-questions/index.js

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

package/dist/noesis/producers/cove-questions/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { CoveQuestionsInput, CoveQuestionsOptions, CoveQuestionsResult } from "./types.js";
+/** Stage 5A. The verification questions the answer's own claims invite. */
+export declare function invoke(client: PromptClient, llm: Llm, input: CoveQuestionsInput, opts?: CoveQuestionsOptions): Promise<CoveQuestionsResult>;

package/dist/noesis/producers/cove-questions/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { COVE_QUESTIONS_SCHEMA, COVE_QUESTIONS_SLUG } from "./prompt.js";
+/** Stage 5A. The verification questions the answer's own claims invite. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, COVE_QUESTIONS_SLUG, COVE_QUESTIONS_SCHEMA, input, opts);
+}

package/dist/noesis/producers/cove-questions/prompt.d.ts

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

package/dist/noesis/producers/cove-questions/prompt.js

@@ -0,0 +1,26 @@
+/** Stage 5A. Pulled by slug, so an edit needs no release here. */
+export const COVE_QUESTIONS_SLUG = "ctr-5a-cove-questions-d9633d";
+/** What the reply must be, as the prompt itself specifies it. */
+export const COVE_QUESTIONS_SCHEMA = {
+    type: "object",
+    properties: {
+        questions: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    id: { type: "string" },
+                    question: { type: "string" },
+                    claim_it_tests: { type: "string" },
+                    claim_type: {
+                        type: "string",
+                        enum: ["entity", "number", "date", "causal", "superlative", "other"],
+                    },
+                },
+                required: ["id", "question", "claim_it_tests", "claim_type"],
+            },
+        },
+        unverifiable_claims: { type: "array", items: { type: "string" } },
+    },
+    required: ["questions", "unverifiable_claims"],
+};

package/dist/noesis/producers/cove-questions/types.d.ts

@@ -0,0 +1,17 @@
+import type { Asked } from "../../context.js";
+import type { StageOptions, StageOutcome } from "../../stage.js";
+export type ClaimType = "entity" | "number" | "date" | "causal" | "superlative" | "other";
+export interface VerificationQuestion {
+    id: string;
+    question: string;
+    claim_it_tests: string;
+    claim_type: ClaimType;
+}
+export interface CoveQuestions {
+    questions: VerificationQuestion[];
+    /** Load-bearing claims no independent question could settle. Naming them is itself a finding. */
+    unverifiable_claims: string[];
+}
+export type CoveQuestionsInput = Asked;
+export type CoveQuestionsOptions = StageOptions;
+export type CoveQuestionsResult = StageOutcome<CoveQuestions>;

package/dist/noesis/producers/cove-questions/types.js

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

package/dist/noesis/producers/decompose/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { DECOMPOSE_SCHEMA, DECOMPOSE_SLUG, TOOL_HINT } from "./prompt.js";
+export type { DecomposeInput, DecomposeOptions, DecomposeResult, Decomposition, SubQuestion, SubQuestionKind, SubQuestionTool, } from "./types.js";

package/dist/noesis/producers/decompose/index.js

@@ -0,0 +1,2 @@
+export { invoke } from "./invoke.js";
+export { DECOMPOSE_SCHEMA, DECOMPOSE_SLUG, TOOL_HINT } from "./prompt.js";

package/dist/noesis/producers/decompose/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { DecomposeInput, DecomposeOptions, DecomposeResult } from "./types.js";
+/** Stage 2. Splits the question into ordered sub-questions, and answers none. */
+export declare function invoke(client: PromptClient, llm: Llm, input: DecomposeInput, opts?: DecomposeOptions): Promise<DecomposeResult>;

package/dist/noesis/producers/decompose/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { DECOMPOSE_SCHEMA, DECOMPOSE_SLUG } from "./prompt.js";
+/** Stage 2. Splits the question into ordered sub-questions, and answers none. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, DECOMPOSE_SLUG, DECOMPOSE_SCHEMA, input, opts);
+}

package/dist/noesis/producers/decompose/prompt.d.ts

@@ -0,0 +1,22 @@
+import type { JsonSchema } from "@spendgraph/llms";
+/** The stored decomposition prompt. Pulled by slug, so an edit needs no release here. */
+export declare const DECOMPOSE_SLUG = "ctr-2-decompose-b559f2";
+/**
+ * What the reply must be, as the prompt itself specifies it.
+ *
+ * `maxItems` is 7 because the prompt caps it there, and the cap is the point:
+ * unbounded splitting — task lists breeding task lists — is the failure this
+ * stage exists to avoid.
+ */
+/**
+ * What each hint means, sent with the schema.
+ *
+ * Seven bare identifiers left the choice to be guessed from the name, and two of
+ * them are wired to nothing by default — a sub-question hinting `code_exec` or
+ * `get_documents` comes back skipped, so a guess between `deeprecall` and
+ * `get_documents` silently costs an answer. Saying which is which is the whole
+ * of the fix. `tests/tool-hints.test.ts` holds this text to what
+ * `DEFAULT_TOOLS` actually wires.
+ */
+export declare const TOOL_HINT: string;
+export declare const DECOMPOSE_SCHEMA: JsonSchema;

package/dist/noesis/producers/decompose/prompt.js

@@ -0,0 +1,68 @@
+/** The stored decomposition prompt. Pulled by slug, so an edit needs no release here. */
+export const DECOMPOSE_SLUG = "ctr-2-decompose-b559f2";
+/**
+ * What the reply must be, as the prompt itself specifies it.
+ *
+ * `maxItems` is 7 because the prompt caps it there, and the cap is the point:
+ * unbounded splitting — task lists breeding task lists — is the failure this
+ * stage exists to avoid.
+ */
+/**
+ * What each hint means, sent with the schema.
+ *
+ * Seven bare identifiers left the choice to be guessed from the name, and two of
+ * them are wired to nothing by default — a sub-question hinting `code_exec` or
+ * `get_documents` comes back skipped, so a guess between `deeprecall` and
+ * `get_documents` silently costs an answer. Saying which is which is the whole
+ * of the fix. `tests/tool-hints.test.ts` holds this text to what
+ * `DEFAULT_TOOLS` actually wires.
+ */
+export const TOOL_HINT = [
+    "Which tool the executor should reach for. Name the cheapest one that can answer, and prefer none over a call that is not needed.",
+    "- none: answerable from the question and the brief alone. Nothing is called.",
+    "- calculator: arithmetic over numbers already in hand.",
+    "- deeprecall: the knowledge base. Use this for anything about stored or internal material.",
+    "- web_search: facts from the open web, and anything that may have changed recently.",
+    "- fetch_url: retrieve one page whose address is already known.",
+    "- code_exec: not wired by default. A sub-question naming it comes back unanswered, so do not name it unless the caller has said it is available.",
+    "- get_documents: not wired by default, and the same warning applies. For stored material, name deeprecall instead.",
+].join("\n");
+export const DECOMPOSE_SCHEMA = {
+    type: "object",
+    properties: {
+        sub_questions: {
+            type: "array",
+            minItems: 1,
+            maxItems: 7,
+            items: {
+                type: "object",
+                properties: {
+                    id: { type: "string" },
+                    question: { type: "string" },
+                    depends_on: { type: "array", items: { type: "string" } },
+                    verify_by: { type: "string" },
+                    done_when: { type: "string" },
+                    kind: { type: "string", enum: ["read_only", "synthesis"] },
+                    tool: {
+                        type: "string",
+                        description: TOOL_HINT,
+                        enum: [
+                            "none",
+                            "calculator",
+                            "code_exec",
+                            "deeprecall",
+                            "get_documents",
+                            "web_search",
+                            "fetch_url",
+                        ],
+                    },
+                },
+                required: ["id", "question", "depends_on", "verify_by", "done_when", "kind", "tool"],
+            },
+        },
+        composition: { type: "string" },
+        split_further_if: { type: "string" },
+        count: { type: "number" },
+    },
+    required: ["sub_questions", "composition", "split_further_if", "count"],
+};

package/dist/noesis/producers/decompose/types.d.ts

@@ -0,0 +1,41 @@
+import type { Asked } from "../../context.js";
+import type { StageOptions, StageOutcome } from "../../stage.js";
+/** Whether a sub-question may run beside its siblings, or has to hold the pen. */
+export type SubQuestionKind = "read_only" | "synthesis";
+/**
+ * The tool the executor would reach for, cheapest first.
+ *
+ * A routing hint recorded here so the execution stage does not work it out
+ * again. Nothing in this stage calls anything.
+ */
+export type SubQuestionTool = "none" | "calculator" | "code_exec" | "deeprecall" | "get_documents" | "web_search" | "fetch_url";
+export interface SubQuestion {
+    id: string;
+    question: string;
+    /** Ids that must be answered first. Empty when nothing blocks it. */
+    depends_on: string[];
+    /**
+     * How you would know the answer is right.
+     *
+     * Carried rather than acted on, like `done_when`: nothing in the package
+     * checks a sub-answer against it. Recorded so a stage reading the ledger — or
+     * a person reading the run — can see what the split thought would settle it.
+     */
+    verify_by: string;
+    /** The observable condition that ends it. */
+    done_when: string;
+    kind: SubQuestionKind;
+    tool: SubQuestionTool;
+}
+export interface Decomposition {
+    /** At most seven, depth one. One is a valid answer. */
+    sub_questions: SubQuestion[];
+    /** How the sub-answers combine into an answer to the original question. */
+    composition: string;
+    /** The observed failure that would justify splitting further. Never speculative. */
+    split_further_if: string;
+    count: number;
+}
+export type DecomposeInput = Asked;
+export type DecomposeOptions = StageOptions;
+export type DecomposeResult = StageOutcome<Decomposition>;

package/dist/noesis/producers/decompose/types.js

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

package/dist/noesis/producers/discriminating-test/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { TEST_SCHEMA, TEST_SLUG } from "./prompt.js";
+export type { DiscriminatingTest, DiscriminatingTestInput, DiscriminatingTestOptions, DiscriminatingTestResult, ExpectedResult, Hypothesis, RejectedTest, } from "./types.js";

package/dist/noesis/producers/discriminating-test/index.js

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

package/dist/noesis/producers/discriminating-test/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { DiscriminatingTestInput, DiscriminatingTestOptions, DiscriminatingTestResult } from "./types.js";
+/** Stage 4B. The one test whose result tells the live hypotheses apart. */
+export declare function invoke(client: PromptClient, llm: Llm, input: DiscriminatingTestInput, opts?: DiscriminatingTestOptions): Promise<DiscriminatingTestResult>;

package/dist/noesis/producers/discriminating-test/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { TEST_SCHEMA, TEST_SLUG } from "./prompt.js";
+/** Stage 4B. The one test whose result tells the live hypotheses apart. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, TEST_SLUG, TEST_SCHEMA, input, opts);
+}

package/dist/noesis/producers/discriminating-test/prompt.d.ts

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

package/dist/noesis/producers/discriminating-test/prompt.js

@@ -0,0 +1,67 @@
+/** Stage 4B. Pulled by slug, so an edit needs no release here. */
+export const TEST_SLUG = "ctr-4b-discriminating-test-w92055";
+/** What the reply must be, as the prompt itself specifies it. */
+export const TEST_SCHEMA = {
+    type: "object",
+    properties: {
+        hypotheses: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    id: { type: "string" },
+                    statement: { type: "string" },
+                    prior: { type: "number", minimum: 0, maximum: 1 },
+                    is_leading: { type: "boolean" },
+                },
+                required: ["id", "statement", "prior", "is_leading"],
+            },
+        },
+        chosen_test: { type: "string" },
+        tool: {
+            type: "string",
+            enum: [
+                "none",
+                "calculator",
+                "code_exec",
+                "deeprecall",
+                "get_documents",
+                "web_search",
+                "fetch_url",
+            ],
+        },
+        expected_result_by_hypothesis: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    hypothesis_id: { type: "string" },
+                    expected: { type: "string" },
+                },
+                required: ["hypothesis_id", "expected"],
+            },
+        },
+        discriminating: { type: "boolean" },
+        kill_condition: { type: "string" },
+        rejected_tests: {
+            type: "array",
+            items: {
+                type: "object",
+                properties: {
+                    test: { type: "string" },
+                    why_rejected: { type: "string" },
+                },
+                required: ["test", "why_rejected"],
+            },
+        },
+    },
+    required: [
+        "hypotheses",
+        "chosen_test",
+        "tool",
+        "expected_result_by_hypothesis",
+        "discriminating",
+        "kill_condition",
+        "rejected_tests",
+    ],
+};

package/dist/noesis/producers/discriminating-test/types.d.ts

@@ -0,0 +1,32 @@
+import type { Asked } from "../../context.js";
+import type { StageOptions, StageOutcome } from "../../stage.js";
+import type { SubQuestionTool } from "../decompose/index.js";
+export interface Hypothesis {
+    id: string;
+    statement: string;
+    /** 0.00 to 1.00, two decimals. */
+    prior: number;
+    is_leading: boolean;
+}
+export interface ExpectedResult {
+    hypothesis_id: string;
+    expected: string;
+}
+export interface RejectedTest {
+    test: string;
+    why_rejected: string;
+}
+export interface DiscriminatingTest {
+    hypotheses: Hypothesis[];
+    chosen_test: string;
+    /** What the executor would run it with. A routing hint; this stage runs nothing. */
+    tool: SubQuestionTool;
+    expected_result_by_hypothesis: ExpectedResult[];
+    /** False only when no discriminating test exists. */
+    discriminating: boolean;
+    kill_condition: string;
+    rejected_tests: RejectedTest[];
+}
+export type DiscriminatingTestInput = Asked;
+export type DiscriminatingTestOptions = StageOptions;
+export type DiscriminatingTestResult = StageOutcome<DiscriminatingTest>;

package/dist/noesis/producers/discriminating-test/types.js

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

package/dist/noesis/producers/plan-candidates/index.d.ts

@@ -0,0 +1,3 @@
+export { invoke } from "./invoke.js";
+export { PLAN_SCHEMA, PLAN_SLUG } from "./prompt.js";
+export type { PlanCandidate, PlanCandidates, PlanCandidatesInput, PlanCandidatesOptions, PlanCandidatesResult, PlanStep, SwitchTrigger, } from "./types.js";

package/dist/noesis/producers/plan-candidates/index.js

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

package/dist/noesis/producers/plan-candidates/invoke.d.ts

@@ -0,0 +1,5 @@
+import type { Llm } from "@spendgraph/llms";
+import type { PromptClient } from "@spendgraph/prompt";
+import type { PlanCandidatesInput, PlanCandidatesOptions, PlanCandidatesResult } from "./types.js";
+/** Stage 3A. Three approaches, the one chosen, and the steps that follow from it. */
+export declare function invoke(client: PromptClient, llm: Llm, input: PlanCandidatesInput, opts?: PlanCandidatesOptions): Promise<PlanCandidatesResult>;

package/dist/noesis/producers/plan-candidates/invoke.js

@@ -0,0 +1,6 @@
+import { runStage } from "../../stage.js";
+import { PLAN_SCHEMA, PLAN_SLUG } from "./prompt.js";
+/** Stage 3A. Three approaches, the one chosen, and the steps that follow from it. */
+export function invoke(client, llm, input, opts = {}) {
+    return runStage(client, llm, PLAN_SLUG, PLAN_SCHEMA, input, opts);
+}

package/dist/noesis/producers/plan-candidates/prompt.d.ts

@@ -0,0 +1,5 @@
+import type { JsonSchema } from "@spendgraph/llms";
+/** Stage 3A. Pulled by slug, so an edit needs no release here. */
+export declare const PLAN_SLUG = "ctr-3a-plan-candidates-898095";
+/** What the reply must be, as the prompt itself specifies it. */
+export declare const PLAN_SCHEMA: JsonSchema;