@wrenautomation/raven 0.15.1 → 0.17.0

package/dist/app/cli.js

@@ -13,6 +13,7 @@ import { modelFromSpec, SPEC_NAMES } from "@wrenautomation/models/spec";
 import { Command } from "commander";
 import { plan } from "../plan.js";
 import { defaultPlanFile, PLAN_KINDS } from "../plans/index.js";
+import { withPremises } from "../render.js";
 import { review } from "../review.js";
 import { triage } from "../triage.js";
 import { AskKind, HitView, Plan, PlanFile, Round, YieldRow, z } from "../types.js";
@@ -56,9 +57,9 @@ withModel(program
     .option("--round <n>", "round number", "1")).action(async (text, o) => {
     const kind = AskKind.parse(o.kind);
     const ask = {
+        ...withPremises({ known: o.known, premises: [] }),
         text,
         kind,
-        known: o.known,
         steer: o.steer,
         open: [],
         ...(o.site ? { site: o.site } : {}),

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 export { fill } from "./model.js";
 export { mergeProposals, type PlanInput, plan, propose, proposePrompt } from "./plan.js";
 export { ageOf, defaultPlanFile, PLAN_KINDS, TREE, treeOf } from "./plans/index.js";
-export { renderHits, renderYield } from "./render.js";
+export { renderHits, renderKnown, renderYield, sourced, withPremises } from "./render.js";
 export { review, reviewPrompt } from "./review.js";
 export { dedupeHits, triage, triagePrompt } from "./triage.js";
 export * from "./types.js";

package/dist/index.js

@@ -1,7 +1,7 @@
 export { fill } from "./model.js";
 export { mergeProposals, plan, propose, proposePrompt } from "./plan.js";
 export { ageOf, defaultPlanFile, PLAN_KINDS, TREE, treeOf } from "./plans/index.js";
-export { renderHits, renderYield } from "./render.js";
+export { renderHits, renderKnown, renderYield, sourced, withPremises } from "./render.js";
 export { review, reviewPrompt } from "./review.js";
 export { dedupeHits, triage, triagePrompt } from "./triage.js";
 export * from "./types.js";

package/dist/plan.js

@@ -1,6 +1,6 @@
 import { fill } from "./model.js";
 import { defaultPlanFile } from "./plans/index.js";
-import { lines, renderOpen, renderSteer, renderYield } from "./render.js";
+import { renderKnown, renderOpen, renderSteer, renderYield } from "./render.js";
 import { z, } from "./types.js";
 const ProposalAnswer = z.object({
     queries: z.array(z.object({ terms: z.string(), why: z.string(), site: z.string().optional() })),
@@ -13,7 +13,7 @@ export function proposePrompt(ask, planFile, yieldRows, now) {
         site: ask.site ?? "",
         steer: renderSteer(ask.steer),
         open: renderOpen(ask.open),
-        known: lines(ask.known),
+        known: renderKnown(ask),
         yield: renderYield(yieldRows),
     });
 }

package/dist/render.d.ts

@@ -1,6 +1,24 @@
 /** Text the prompts take: what is known, what yielded, what a hit shows for free. */
 import type { HitView, YieldRow } from "./types.js";
 export declare const lines: (xs: readonly string[], none?: string) => string;
+/** A line with a URL or a ledger id on it: a fact someone can go and check. */
+export declare const sourced: (line: string) => boolean;
+/**
+ * The ask with each known line that names no source moved to its premises. A run seeded with
+ * "the buyer is X" plans inside X unless something tests X; a sourced line is looked past.
+ */
+export declare function withPremises<A extends {
+    known?: readonly string[];
+    premises?: readonly string[];
+}>(ask: A): A & {
+    known: string[];
+    premises: string[];
+};
+/** The known lines, then the premises under their own heading, or nothing more. */
+export declare const renderKnown: (ask: {
+    known: readonly string[];
+    premises?: readonly string[];
+}) => string;
 /** "The person says:" and their lines, or nothing: a prompt pays for the heading only when there is one. */
 export declare const renderSteer: (steer: readonly string[] | undefined) => string;
 /** What the last round left open, under its heading, or nothing. */

package/dist/render.js

@@ -1,4 +1,23 @@
 export const lines = (xs, none = "(nothing)") => xs.length ? xs.map((x) => `- ${x}`).join("\n") : none;
+/** A line with a URL or a ledger id on it: a fact someone can go and check. */
+export const sourced = (line) => /https?:\/\/\S|\b[0-9A-HJKMNP-TV-Z]{26}\b/.test(line);
+/**
+ * The ask with each known line that names no source moved to its premises. A run seeded with
+ * "the buyer is X" plans inside X unless something tests X; a sourced line is looked past.
+ */
+export function withPremises(ask) {
+    const known = ask.known ?? [];
+    return {
+        ...ask,
+        known: known.filter(sourced),
+        premises: [...new Set([...(ask.premises ?? []), ...known.filter((l) => !sourced(l))])],
+    };
+}
+/** The known lines, then the premises under their own heading, or nothing more. */
+export const renderKnown = (ask) => lines(ask.known) +
+    (ask.premises?.length
+        ? `\nTaken as given, with no source (test each one: it may be wrong):\n${lines(ask.premises)}`
+        : "");
 /** "The person says:" and their lines, or nothing: a prompt pays for the heading only when there is one. */
 export const renderSteer = (steer) => steer?.length ? `The person says:\n${lines(steer)}\n` : "";
 /** What the last round left open, under its heading, or nothing. */

package/dist/triage.js

@@ -1,6 +1,6 @@
 import { fill } from "./model.js";
 import { ageOf, defaultPlanFile } from "./plans/index.js";
-import { lines, renderAge, renderHits, renderOpen, renderSteer, renderYield } from "./render.js";
+import { renderAge, renderHits, renderKnown, renderOpen, renderSteer, renderYield, } from "./render.js";
 import { HitView, z, } from "./types.js";
 const TriageAnswer = z.object({
     hits: z.array(z.object({ url: z.string(), read: z.boolean(), why: z.string().nullable().optional() })),
@@ -35,7 +35,7 @@ export function triagePrompt(hits, plan, planFile, yieldRows) {
         steer: renderSteer(plan.ask.steer),
         open: renderOpen(plan.ask.open),
         age: renderAge(ageOf(planFile)),
-        known: lines(plan.ask.known),
+        known: renderKnown(plan.ask),
         yield: renderYield(yieldRows),
         hits: renderHits(hits),
     });

package/dist/types.d.ts

@@ -30,6 +30,7 @@ export declare const Ask: z.ZodObject<{
         site: "site";
     }>;
     known: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    premises: z.ZodDefault<z.ZodArray<z.ZodString>>;
     steer: z.ZodDefault<z.ZodArray<z.ZodString>>;
     open: z.ZodDefault<z.ZodArray<z.ZodString>>;
     site: z.ZodOptional<z.ZodString>;
@@ -207,6 +208,7 @@ export declare const Plan: z.ZodObject<{
             site: "site";
         }>;
         known: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        premises: z.ZodDefault<z.ZodArray<z.ZodString>>;
         steer: z.ZodDefault<z.ZodArray<z.ZodString>>;
         open: z.ZodDefault<z.ZodArray<z.ZodString>>;
         site: z.ZodOptional<z.ZodString>;
@@ -298,6 +300,7 @@ export declare const Round: z.ZodObject<{
             site: "site";
         }>;
         known: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        premises: z.ZodDefault<z.ZodArray<z.ZodString>>;
         steer: z.ZodDefault<z.ZodArray<z.ZodString>>;
         open: z.ZodDefault<z.ZodArray<z.ZodString>>;
         site: z.ZodOptional<z.ZodString>;

package/dist/types.js

@@ -14,6 +14,8 @@ export const Ask = z.object({
     kind: AskKind,
     /** Facts already in hand, one line each: the planner looks past them. */
     known: z.array(z.string()).default([]),
+    /** Lines taken as given with no source behind them: the plan tests each, never looks past it. */
+    premises: z.array(z.string()).default([]),
     /** What the person said along the way, one line each: every prompt renders it first. */
     steer: z.array(z.string()).default([]),
     /** What the last round left open, one line each: its review's why, its gaps. The planner looks there first. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@wrenautomation/raven",
-  "version": "0.15.1",
+  "version": "0.17.0",
   "description": "Ask in, plan out. The planner of Wren's research engine: typed queries with who proposed them and why, proposals merged into one plan under a plan file per ask kind, read-or-skip on hits, and the edge to take after a round. Pure functions and prompts; the model is injected.",
   "license": "PolyForm-Strict-1.0.0",
   "repository": {
@@ -32,7 +32,7 @@
   "dependencies": {
     "commander": "15.0.0",
     "zod": "4.6.5",
-    "@wrenautomation/models": "0.15.1"
+    "@wrenautomation/models": "0.17.0"
   },
   "scripts": {
     "typecheck": "tsc --noEmit",