patchwork-os 0.2.0-beta.10.canary.99 → 0.2.0-beta.11

package/dist/recipes/simulation/simulate.js

@@ -0,0 +1,264 @@
+/**
+ * What-If Preview — static simulation core.
+ *
+ * `simulateFromPlan` is a PURE transform: dry-run plan → simulation report.
+ * It performs no I/O and has no clock dependency (it reuses the plan's
+ * `generatedAt`), so it is fully deterministic and unit-testable. The
+ * I/O-bearing entrypoint (`runRecipeSimulate`, which produces the plan first)
+ * lives in `src/commands/recipe.ts`.
+ */
+import { computeEffectiveRisks, summarizeRunRisk } from "./aggregateRunRisk.js";
+import { classifyStepSideEffect, emptySideEffectCounts, } from "./sideEffects.js";
+import { SIMULATION_SCHEMA_VERSION, } from "./types.js";
+/** Chars-per-token heuristic, matching the codebase's deliberately-rough estimate. */
+const CHARS_PER_TOKEN = 4;
+const isTier = (v) => v === "low" || v === "medium" || v === "high";
+/** A step is "resolved" unless it is a tool whose id was not in the registry. */
+function stepResolved(step) {
+    if (step.type !== "tool")
+        return true;
+    return step.resolved === true;
+}
+function buildSteps(plan, topology) {
+    const baseRisks = plan.steps.map((s) => ({
+        id: s.id,
+        baseRisk: isTier(s.risk) ? s.risk : "low",
+        ...(s.dependencies ? { dependencies: s.dependencies } : {}),
+    }));
+    const effective = computeEffectiveRisks(baseRisks, topology);
+    return plan.steps.map((s) => {
+        const resolved = stepResolved(s);
+        const isWrite = s.isWrite === true;
+        const isConnector = s.isConnector === true;
+        const baseRisk = isTier(s.risk) ? s.risk : "low";
+        const sideEffect = classifyStepSideEffect({
+            type: s.type,
+            ...(s.tool !== undefined ? { tool: s.tool } : {}),
+            ...(s.namespace !== undefined ? { namespace: s.namespace } : {}),
+            resolved,
+            isWrite,
+            isConnector,
+        });
+        return {
+            id: s.id,
+            type: s.type,
+            ...(s.tool !== undefined ? { tool: s.tool } : {}),
+            ...(s.namespace !== undefined ? { namespace: s.namespace } : {}),
+            resolved,
+            ...(s.optional !== undefined ? { optional: s.optional } : {}),
+            ...(s.dependencies ? { dependencies: s.dependencies } : {}),
+            ...(s.condition !== undefined ? { condition: s.condition } : {}),
+            baseRisk,
+            effectiveRisk: effective.get(s.id) ?? baseRisk,
+            sideEffect,
+            isWrite,
+            isConnector,
+        };
+    });
+}
+function buildCost(plan) {
+    const agentPlanSteps = plan.steps.filter((s) => s.type === "agent");
+    const agentSteps = agentPlanSteps.length;
+    const withPrompt = agentPlanSteps.filter((s) => typeof s.prompt === "string" && s.prompt.length > 0);
+    const estimatedAgentSteps = withPrompt.length;
+    if (agentSteps === 0) {
+        return {
+            basis: "unavailable",
+            agentSteps: 0,
+            estimatedAgentSteps: 0,
+            estPromptTokens: null,
+            usd: null,
+            note: "No AI/agent steps — this recipe incurs no model cost.",
+        };
+    }
+    if (estimatedAgentSteps === 0) {
+        return {
+            basis: "unavailable",
+            agentSteps,
+            estimatedAgentSteps: 0,
+            estPromptTokens: null,
+            usd: null,
+            note: "Agent prompts are not present in the static plan for this recipe topology — cost not estimable until a mocked/sandbox run (later phase).",
+        };
+    }
+    const estPromptTokens = withPrompt.reduce((sum, s) => sum + Math.ceil(s.prompt.length / CHARS_PER_TOKEN), 0);
+    return {
+        basis: "heuristic",
+        agentSteps,
+        estimatedAgentSteps,
+        estPromptTokens,
+        usd: null,
+        note: "Low-confidence chars/4 token estimate over agent prompts (input only). USD is not projected at static fidelity — the default driver is a subscription/subprocess driver that is not billed; set an API driver + budget for a cost number.",
+    };
+}
+/** Pure transform: a dry-run plan → a What-If Preview simulation report. */
+export function simulateFromPlan(plan) {
+    const topology = plan.triggerType === "chained" ? "chained" : "flat";
+    const gatedOnRecipeSteps = false; // P0/P4 truth: recipe steps are not gated today.
+    const steps = buildSteps(plan, topology);
+    const sideEffectCounts = emptySideEffectCounts();
+    for (const s of steps)
+        sideEffectCounts[s.sideEffect] += 1;
+    const summary = {
+        totalSteps: steps.length,
+        writeSteps: steps.filter((s) => s.isWrite).length,
+        connectorSteps: steps.filter((s) => s.isConnector).length,
+        agentSteps: steps.filter((s) => s.type === "agent").length,
+        unresolvedSteps: steps.filter((s) => !s.resolved).length,
+        sideEffectCounts,
+        connectorNamespaces: plan.connectorNamespaces ?? [],
+    };
+    const risk = summarizeRunRisk(steps.map((s) => ({
+        effectiveRisk: s.effectiveRisk,
+        sideEffect: s.sideEffect,
+        resolved: s.resolved,
+    })));
+    const projected = steps
+        .filter((s) => s.baseRisk !== "low" || s.isWrite)
+        .map((s) => ({
+        stepId: s.id,
+        ...(s.tool !== undefined ? { tool: s.tool } : {}),
+        tier: s.baseRisk,
+        wouldRequireApproval: s.baseRisk !== "low",
+        reason: s.baseRisk !== "low"
+            ? `${s.baseRisk}-risk ${s.sideEffect}`
+            : `write step (${s.sideEffect}), low tier`,
+    }));
+    const branches = steps
+        .filter((s) => typeof s.condition === "string" && s.condition.length > 0)
+        .map((s) => ({
+        stepId: s.id,
+        condition: s.condition,
+        outcome: "undetermined",
+        reason: "Condition is evaluated at runtime against prior step output, which is not available in a static simulation.",
+    }));
+    const cost = buildCost(plan);
+    const notes = [
+        "Static fidelity: no step is executed. Agent/LLM outputs and data-dependent branches are not resolved.",
+        "Approval projection shows the tier that WOULD apply if recipe steps were gated — they are NOT gated on the execution path today (gatedOnRecipeSteps=false).",
+        "Cost is a low-confidence estimate; USD is not projected at this phase.",
+    ];
+    if (topology === "flat") {
+        notes.push("Flat recipe: risk propagates linearly (step N inherits prior steps' risk); there is no dependency DAG.");
+    }
+    if (summary.unresolvedSteps > 0) {
+        notes.push(`${summary.unresolvedSteps} step(s) reference tools unknown to the registry — their side effects could not be classified.`);
+    }
+    if (branches.length > 0) {
+        notes.push(`${branches.length} conditional branch(es) left undetermined — re-run after a mocked/sandbox phase to resolve them.`);
+    }
+    return {
+        schemaVersion: SIMULATION_SCHEMA_VERSION,
+        kind: "what-if-preview",
+        recipe: plan.recipe,
+        triggerType: plan.triggerType,
+        generatedAt: plan.generatedAt,
+        fidelity: "static",
+        topology,
+        gatedOnRecipeSteps,
+        steps,
+        summary,
+        risk,
+        approvals: {
+            gatedOnRecipeSteps,
+            projected,
+            note: "Recipe-runner steps are NOT gated by the approval queue today; this column is the tier that would apply if they were.",
+        },
+        cost,
+        branches,
+        lint: plan.lint,
+        notes,
+    };
+}
+/**
+ * Extract the step ids a `when:` condition references via `{{ ... }}`
+ * placeholders. Covers the common dotted forms the chained runner exposes
+ * (`steps.<id>.data`, `outputs.<id>`, or a bare `<id>`). A coarse regex is
+ * deliberate — we only need to know WHICH step ids the branch depends on so we
+ * can decide whether the branch is determinable from history.
+ */
+export function extractReferencedStepIds(condition) {
+    const ids = new Set();
+    const placeholder = /\{\{\s*([^}]+?)\s*\}\}/g;
+    let m = placeholder.exec(condition);
+    while (m !== null) {
+        const expr = (m[1] ?? "").trim();
+        // First identifier-ish token of the expression.
+        const head = /^[A-Za-z_$][\w$]*/.exec(expr)?.[0];
+        if (head) {
+            if ((head === "steps" || head === "outputs") && expr.includes(".")) {
+                // steps.<id>.data | outputs.<id>
+                const seg = /^(?:steps|outputs)\.([A-Za-z_$][\w$]*)/.exec(expr)?.[1];
+                if (seg)
+                    ids.add(seg);
+            }
+            else if (head !== "env") {
+                // bare step id (env keys are not steps)
+                ids.add(head);
+            }
+        }
+        m = placeholder.exec(condition);
+    }
+    return ids;
+}
+/**
+ * P2 — compose the mocked report: take the static report and OVERLAY the
+ * results of the trace-seeded mocked sandbox run.
+ *
+ *   - `fidelity:"mocked"` + `sampleRuns`.
+ *   - each step's `mockedFrom` ("history" | "synthesized").
+ *   - `branches[].outcome` recomputed: `"taken"`/`"skipped"` when EVERY step id
+ *     the `when:` references is in `historyStepIds` (determinable from real
+ *     data), else `"undetermined"`.
+ *
+ * Risk / side-effect / cost / approvals sections are carried over unchanged
+ * from the static report. `gatedOnRecipeSteps` stays false (P0/P4 truth).
+ */
+export function simulateMockedFromPlan(plan, mocked) {
+    const base = simulateFromPlan(plan);
+    const steps = base.steps.map((s) => {
+        const state = mocked.stepData.get(s.id);
+        const mockedFrom = state?.mockedFrom ??
+            (mocked.historyStepIds.has(s.id) ? "history" : "synthesized");
+        return { ...s, mockedFrom };
+    });
+    const branches = base.branches.map((b) => {
+        const refs = extractReferencedStepIds(b.condition);
+        const determinable = refs.size > 0 && [...refs].every((id) => mocked.historyStepIds.has(id));
+        if (!determinable) {
+            return {
+                ...b,
+                outcome: "undetermined",
+                reason: refs.size === 0
+                    ? "Condition references no resolvable step output — left undetermined."
+                    : "Condition references at least one step with no run history — outcome cannot be resolved from real data.",
+            };
+        }
+        const state = mocked.stepData.get(b.stepId);
+        const outcome = state?.skipped ? "skipped" : "taken";
+        return {
+            ...b,
+            outcome,
+            reason: `Resolved from history-backed upstream output(s): ${[...refs].join(", ")}.`,
+        };
+    });
+    const notes = [
+        `Mocked fidelity: downstream templates and conditions were resolved by driving the chained runner with ${mocked.sampleRuns} prior run(s) of history. No step executed for real (stubbed deps, no persistence).`,
+        "Steps without run history were fed synthesized placeholders; their downstream effects are approximate.",
+        "Approval projection shows the tier that WOULD apply if recipe steps were gated — they are NOT gated on the execution path today (gatedOnRecipeSteps=false).",
+        "Cost remains a static estimate at this phase; USD is not projected (P3).",
+    ];
+    if (base.summary.unresolvedSteps > 0) {
+        notes.push(`${base.summary.unresolvedSteps} step(s) reference tools unknown to the registry — their side effects could not be classified.`);
+    }
+    return {
+        ...base,
+        schemaVersion: SIMULATION_SCHEMA_VERSION,
+        fidelity: "mocked",
+        sampleRuns: mocked.sampleRuns,
+        steps,
+        branches,
+        notes,
+    };
+}
+//# sourceMappingURL=simulate.js.map

package/dist/recipes/simulation/simulate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"simulate.js","sourceRoot":"","sources":["../../../src/recipes/simulation/simulate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EACL,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAKL,yBAAyB,GAG1B,MAAM,YAAY,CAAC;AAEpB,sFAAsF;AACtF,MAAM,eAAe,GAAG,CAAC,CAAC;AAE1B,MAAM,MAAM,GAAG,CAAC,CAAU,EAAiB,EAAE,CAC3C,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,MAAM,CAAC;AAEhD,iFAAiF;AACjF,SAAS,YAAY,CAAC,IAA0B;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;AAChC,CAAC;AAED,SAAS,UAAU,CACjB,IAAsB,EACtB,QAA4B;IAE5B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAC9B,CAAC,CAAC,EAA+D,EAAE,CAAC,CAAC;QACnE,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;QACzC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5D,CAAC,CACH,CAAC;IACF,MAAM,SAAS,GAAG,qBAAqB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAE7D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAkB,EAAE;QAC1C,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC;QACnC,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC;QAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;QACjD,MAAM,UAAU,GAAG,sBAAsB,CAAC;YACxC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,QAAQ;YACR,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QACH,OAAO;YACL,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,QAAQ;YACR,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,QAAQ;YACR,aAAa,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ;YAC9C,UAAU;YACV,OAAO;YACP,WAAW;SACZ,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,IAAsB;IACvC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC;IACzC,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAC3D,CAAC;IACF,MAAM,mBAAmB,GAAG,UAAU,CAAC,MAAM,CAAC;IAE9C,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,KAAK,EAAE,aAAa;YACpB,UAAU,EAAE,CAAC;YACb,mBAAmB,EAAE,CAAC;YACtB,eAAe,EAAE,IAAI;YACrB,GAAG,EAAE,IAAI;YACT,IAAI,EAAE,uDAAuD;SAC9D,CAAC;IACJ,CAAC;IAED,IAAI,mBAAmB,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,KAAK,EAAE,aAAa;YACpB,UAAU;YACV,mBAAmB,EAAE,CAAC;YACtB,eAAe,EAAE,IAAI;YACrB,GAAG,EAAE,IAAI;YACT,IAAI,EAAE,0IAA0I;SACjJ,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CACvC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,MAAiB,CAAC,MAAM,GAAG,eAAe,CAAC,EAC1E,CAAC,CACF,CAAC;IACF,OAAO;QACL,KAAK,EAAE,WAAW;QAClB,UAAU;QACV,mBAAmB;QACnB,eAAe;QACf,GAAG,EAAE,IAAI;QACT,IAAI,EAAE,2OAA2O;KAClP,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,gBAAgB,CAC9B,IAAsB;IAEtB,MAAM,QAAQ,GACZ,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IACtD,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,iDAAiD;IAEnF,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAEzC,MAAM,gBAAgB,GAAG,qBAAqB,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAE3D,MAAM,OAAO,GAAG;QACd,UAAU,EAAE,KAAK,CAAC,MAAM;QACxB,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM;QACjD,cAAc,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM;QACzD,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,MAAM;QAC1D,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM;QACxD,gBAAgB;QAChB,mBAAmB,EAAE,IAAI,CAAC,mBAAmB,IAAI,EAAE;KACpD,CAAC;IAEF,MAAM,IAAI,GAAG,gBAAgB,CAC3B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChB,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,QAAQ,EAAE,CAAC,CAAC,QAAQ;KACrB,CAAC,CAAC,CACJ,CAAC;IAEF,MAAM,SAAS,GAAyB,KAAK;SAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC;SAChD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,MAAM,EAAE,CAAC,CAAC,EAAE;QACZ,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,IAAI,EAAE,CAAC,CAAC,QAAQ;QAChB,oBAAoB,EAAE,CAAC,CAAC,QAAQ,KAAK,KAAK;QAC1C,MAAM,EACJ,CAAC,CAAC,QAAQ,KAAK,KAAK;YAClB,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,UAAU,EAAE;YACtC,CAAC,CAAC,eAAe,CAAC,CAAC,UAAU,aAAa;KAC/C,CAAC,CAAC,CAAC;IAEN,MAAM,QAAQ,GAAuB,KAAK;SACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;SACxE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,MAAM,EAAE,CAAC,CAAC,EAAE;QACZ,SAAS,EAAE,CAAC,CAAC,SAAmB;QAChC,OAAO,EAAE,cAAuB;QAChC,MAAM,EACJ,6GAA6G;KAChH,CAAC,CAAC,CAAC;IAEN,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAE7B,MAAM,KAAK,GAAa;QACtB,uGAAuG;QACvG,6JAA6J;QAC7J,wEAAwE;KACzE,CAAC;IACF,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,wGAAwG,CACzG,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,eAAe,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CACR,GAAG,OAAO,CAAC,eAAe,gGAAgG,CAC3H,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,GAAG,QAAQ,CAAC,MAAM,kGAAkG,CACrH,CAAC;IACJ,CAAC;IAED,OAAO;QACL,aAAa,EAAE,yBAAyB;QACxC,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,QAAQ,EAAE,QAAQ;QAClB,QAAQ;QACR,kBAAkB;QAClB,KAAK;QACL,OAAO;QACP,IAAI;QACJ,SAAS,EAAE;YACT,kBAAkB;YAClB,SAAS;YACT,IAAI,EAAE,uHAAuH;SAC9H;QACD,IAAI;QACJ,QAAQ;QACR,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK;KACN,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CAAC,SAAiB;IACxD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,WAAW,GAAG,yBAAyB,CAAC;IAC9C,IAAI,CAAC,GAA2B,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5D,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACjC,gDAAgD;QAChD,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnE,iCAAiC;gBACjC,MAAM,GAAG,GAAG,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACrE,IAAI,GAAG;oBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,CAAC;iBAAM,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC1B,wCAAwC;gBACxC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;QACD,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAsB,EACtB,MAAuB;IAEvB,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAEpC,MAAM,KAAK,GAAqB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxC,MAAM,UAAU,GACd,KAAK,EAAE,UAAU;YACjB,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QAChE,OAAO,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAuB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3D,MAAM,IAAI,GAAG,wBAAwB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnD,MAAM,YAAY,GAChB,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1E,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO;gBACL,GAAG,CAAC;gBACJ,OAAO,EAAE,cAAuB;gBAChC,MAAM,EACJ,IAAI,CAAC,IAAI,KAAK,CAAC;oBACb,CAAC,CAAC,qEAAqE;oBACvE,CAAC,CAAC,yGAAyG;aAChH,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAwB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;QAC1E,OAAO;YACL,GAAG,CAAC;YACJ,OAAO;YACP,MAAM,EAAE,oDAAoD,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;SACpF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAa;QACtB,yGAAyG,MAAM,CAAC,UAAU,qFAAqF;QAC/M,wGAAwG;QACxG,6JAA6J;QAC7J,0EAA0E;KAC3E,CAAC;IACF,IAAI,IAAI,CAAC,OAAO,CAAC,eAAe,GAAG,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CACR,GAAG,IAAI,CAAC,OAAO,CAAC,eAAe,gGAAgG,CAChI,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,aAAa,EAAE,yBAAyB;QACxC,QAAQ,EAAE,QAAQ;QAClB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,KAAK;QACL,QAAQ;QACR,KAAK;KACN,CAAC;AACJ,CAAC"}

package/dist/recipes/simulation/simulateMockedRun.d.ts

@@ -0,0 +1,52 @@
+/**
+ * What-If Preview (P2) — trace-seeded mocked sandbox.
+ *
+ * Drives the EXISTING chained runner with a history-backed `mockedOutputs`
+ * map + fully-stubbed `ExecutionDeps`, so downstream templates and `when:`
+ * branches resolve realistically — while executing NOTHING for real.
+ *
+ * ★ ZERO real I/O + ZERO persistence is the non-negotiable safety invariant ★
+ *   - `STUB_DEPS.executeTool` / `executeAgent` return synthesized placeholders
+ *     and never touch a real tool / connector / LLM / fs.
+ *   - `loadNestedRecipe` returns null (no nested-recipe execution).
+ *   - NO `runLog`, NO `runLogDir`, NO `activityLog` are passed to
+ *     `runChainedRecipe`, so nothing is persisted.
+ *   - `dryRun:false` (we WANT template/condition resolution), with
+ *     `mockedOutputs` covering history-backed steps; any uncovered step falls
+ *     through to the STUB deps — still no real execution.
+ *
+ * Fail-soft: any error is caught and we return what we have; this never throws
+ * out to the caller (the static report is always the safe fallback upstream).
+ */
+import type { RecipeRunLog } from "../../runLog.js";
+import type { ChainedRecipe, ExecutionDeps } from "../chainedRunner.js";
+/**
+ * Stub execution deps. Returns deterministic synthesized placeholders and
+ * performs no real I/O. Exported so tests can spy on the same shape; callers
+ * normally pass the default created in `simulateMockedRun`.
+ */
+export declare function createStubDeps(): ExecutionDeps;
+export interface MockedStepState {
+    ran: boolean;
+    skipped: boolean;
+    mockedFrom: "history" | "synthesized";
+}
+export interface MockedRunResult {
+    /** Per-step id → ran/skipped + whether its value came from history. */
+    stepData: Map<string, MockedStepState>;
+    /** Step ids that got a real historical value. */
+    historyStepIds: Set<string>;
+    /** Number of prior runs sampled. */
+    sampleRuns: number;
+}
+/**
+ * Run the mocked sandbox for `recipe`, seeded from `runLog` history.
+ */
+export declare function simulateMockedRun(recipe: ChainedRecipe, runLog: RecipeRunLog, opts?: {
+    maxRuns?: number;
+}, 
+/**
+ * Test seam — override the stub deps to spy that uncovered steps hit the
+ * stub (and never real execution). Defaults to `createStubDeps()`.
+ */
+deps?: ExecutionDeps): Promise<MockedRunResult>;

package/dist/recipes/simulation/simulateMockedRun.js

@@ -0,0 +1,72 @@
+/**
+ * What-If Preview (P2) — trace-seeded mocked sandbox.
+ *
+ * Drives the EXISTING chained runner with a history-backed `mockedOutputs`
+ * map + fully-stubbed `ExecutionDeps`, so downstream templates and `when:`
+ * branches resolve realistically — while executing NOTHING for real.
+ *
+ * ★ ZERO real I/O + ZERO persistence is the non-negotiable safety invariant ★
+ *   - `STUB_DEPS.executeTool` / `executeAgent` return synthesized placeholders
+ *     and never touch a real tool / connector / LLM / fs.
+ *   - `loadNestedRecipe` returns null (no nested-recipe execution).
+ *   - NO `runLog`, NO `runLogDir`, NO `activityLog` are passed to
+ *     `runChainedRecipe`, so nothing is persisted.
+ *   - `dryRun:false` (we WANT template/condition resolution), with
+ *     `mockedOutputs` covering history-backed steps; any uncovered step falls
+ *     through to the STUB deps — still no real execution.
+ *
+ * Fail-soft: any error is caught and we return what we have; this never throws
+ * out to the caller (the static report is always the safe fallback upstream).
+ */
+import { runChainedRecipe } from "../chainedRunner.js";
+import { synthesizeMockedOutputs } from "./synthesizeMockedOutputs.js";
+/**
+ * Stub execution deps. Returns deterministic synthesized placeholders and
+ * performs no real I/O. Exported so tests can spy on the same shape; callers
+ * normally pass the default created in `simulateMockedRun`.
+ */
+export function createStubDeps() {
+    return {
+        executeTool: async (tool) => `[simulated:${tool}]`,
+        executeAgent: async (_prompt) => ({
+            text: "[simulated:agent]",
+        }),
+        loadNestedRecipe: async () => null,
+    };
+}
+/**
+ * Run the mocked sandbox for `recipe`, seeded from `runLog` history.
+ */
+export async function simulateMockedRun(recipe, runLog, opts = {}, 
+/**
+ * Test seam — override the stub deps to spy that uncovered steps hit the
+ * stub (and never real execution). Defaults to `createStubDeps()`.
+ */
+deps = createStubDeps()) {
+    const { outputs, historyStepIds, sampleRuns } = synthesizeMockedOutputs(recipe.name, runLog, opts);
+    const stepData = new Map();
+    try {
+        const result = await runChainedRecipe(recipe, {
+            env: { ...process.env },
+            maxConcurrency: Math.max(1, recipe.maxConcurrency ?? 4),
+            maxDepth: recipe.maxDepth ?? 3,
+            dryRun: false,
+            mockedOutputs: outputs,
+            // NO runLog / runLogDir / activityLog — nothing is persisted.
+        }, deps);
+        for (const [id, stepResult] of result.stepResults) {
+            const skipped = stepResult.skipped === true;
+            stepData.set(id, {
+                ran: !skipped,
+                skipped,
+                mockedFrom: historyStepIds.has(id) ? "history" : "synthesized",
+            });
+        }
+    }
+    catch {
+        // Fail-soft: return whatever we have (possibly empty stepData). The
+        // caller falls back to the static report shape.
+    }
+    return { stepData, historyStepIds, sampleRuns };
+}
+//# sourceMappingURL=simulateMockedRun.js.map

package/dist/recipes/simulation/simulateMockedRun.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"simulateMockedRun.js","sourceRoot":"","sources":["../../../src/recipes/simulation/simulateMockedRun.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAEvE;;;;GAIG;AACH,MAAM,UAAU,cAAc;IAC5B,OAAO;QACL,WAAW,EAAE,KAAK,EAAE,IAAY,EAAE,EAAE,CAAC,cAAc,IAAI,GAAG;QAC1D,YAAY,EAAE,KAAK,EAAE,OAAe,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,EAAE,mBAAmB;SAC1B,CAAC;QACF,gBAAgB,EAAE,KAAK,IAAI,EAAE,CAAC,IAAI;KACnC,CAAC;AACJ,CAAC;AAiBD;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,MAAqB,EACrB,MAAoB,EACpB,OAA6B,EAAE;AAC/B;;;GAGG;AACH,OAAsB,cAAc,EAAE;IAEtC,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,GAAG,uBAAuB,CACrE,MAAM,CAAC,IAAI,EACX,MAAM,EACN,IAAI,CACL,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IAEpD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACnC,MAAM,EACN;YACE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAwC;YAC7D,cAAc,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC;YACvD,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,CAAC;YAC9B,MAAM,EAAE,KAAK;YACb,aAAa,EAAE,OAAO;YACtB,8DAA8D;SAC/D,EACD,IAAI,CACL,CAAC;QAEF,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,KAAK,IAAI,CAAC;YAC5C,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE;gBACf,GAAG,EAAE,CAAC,OAAO;gBACb,OAAO;gBACP,UAAU,EAAE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa;aAC/D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,oEAAoE;QACpE,gDAAgD;IAClD,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC;AAClD,CAAC"}

package/dist/recipes/simulation/synthesizeMockedOutputs.d.ts

@@ -0,0 +1,31 @@
+/**
+ * What-If Preview (P2) — synthesize a `mockedOutputs` map from run history.
+ *
+ * For a chained recipe with prior runs, walk the most recent N runs (newest
+ * first) and, for each step id, take the MOST RECENT non-truncated,
+ * non-skipped, defined `output`. The result is the `mockedOutputs` map the
+ * mocked sandbox feeds into the chained runner so downstream templates and
+ * `when:` conditions resolve against real historical values.
+ *
+ * Pure except for the single `runLog.query(...)` read. The skip rules mirror
+ * `buildMockedOutputs` (replayRun.ts): skip `status:"skipped"`, skip
+ * `output === undefined`, skip the `{"[truncated]": true}` capture envelope.
+ */
+import type { RecipeRunLog } from "../../runLog.js";
+export interface SynthesizedMockedOutputs {
+    /** stepId → most-recent usable historical output. */
+    outputs: Map<string, unknown>;
+    /** Step ids that received a real historical value. */
+    historyStepIds: Set<string>;
+    /** Number of prior runs actually sampled. */
+    sampleRuns: number;
+}
+/**
+ * Build a history-backed `mockedOutputs` map for `recipeName`.
+ *
+ * `runLog.query` returns newest-first, so the FIRST usable output we see for a
+ * given step id is the most recent — we never overwrite it with an older run.
+ */
+export declare function synthesizeMockedOutputs(recipeName: string, runLog: RecipeRunLog, opts?: {
+    maxRuns?: number;
+}): SynthesizedMockedOutputs;

package/dist/recipes/simulation/synthesizeMockedOutputs.js

@@ -0,0 +1,50 @@
+/**
+ * What-If Preview (P2) — synthesize a `mockedOutputs` map from run history.
+ *
+ * For a chained recipe with prior runs, walk the most recent N runs (newest
+ * first) and, for each step id, take the MOST RECENT non-truncated,
+ * non-skipped, defined `output`. The result is the `mockedOutputs` map the
+ * mocked sandbox feeds into the chained runner so downstream templates and
+ * `when:` conditions resolve against real historical values.
+ *
+ * Pure except for the single `runLog.query(...)` read. The skip rules mirror
+ * `buildMockedOutputs` (replayRun.ts): skip `status:"skipped"`, skip
+ * `output === undefined`, skip the `{"[truncated]": true}` capture envelope.
+ */
+const DEFAULT_MAX_RUNS = 20;
+/** True when `out` is the VD-2 truncation envelope (`{"[truncated]": true}`). */
+function isTruncated(out) {
+    return (out !== null &&
+        typeof out === "object" &&
+        out["[truncated]"] === true);
+}
+/**
+ * Build a history-backed `mockedOutputs` map for `recipeName`.
+ *
+ * `runLog.query` returns newest-first, so the FIRST usable output we see for a
+ * given step id is the most recent — we never overwrite it with an older run.
+ */
+export function synthesizeMockedOutputs(recipeName, runLog, opts = {}) {
+    const maxRuns = opts.maxRuns ?? DEFAULT_MAX_RUNS;
+    const runs = runLog.query({ recipe: recipeName, limit: maxRuns });
+    const outputs = new Map();
+    const historyStepIds = new Set();
+    // runs are newest-first; first usable value per id wins (most recent).
+    for (const run of runs) {
+        for (const step of run.stepResults ?? []) {
+            if (historyStepIds.has(step.id))
+                continue;
+            if (step.status === "skipped")
+                continue;
+            const out = step.output;
+            if (out === undefined)
+                continue;
+            if (isTruncated(out))
+                continue;
+            outputs.set(step.id, out);
+            historyStepIds.add(step.id);
+        }
+    }
+    return { outputs, historyStepIds, sampleRuns: runs.length };
+}
+//# sourceMappingURL=synthesizeMockedOutputs.js.map

package/dist/recipes/simulation/synthesizeMockedOutputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesizeMockedOutputs.js","sourceRoot":"","sources":["../../../src/recipes/simulation/synthesizeMockedOutputs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAE5B,iFAAiF;AACjF,SAAS,WAAW,CAAC,GAAY;IAC/B,OAAO,CACL,GAAG,KAAK,IAAI;QACZ,OAAO,GAAG,KAAK,QAAQ;QACtB,GAA+B,CAAC,aAAa,CAAC,KAAK,IAAI,CACzD,CAAC;AACJ,CAAC;AAWD;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,UAAkB,EAClB,MAAoB,EACpB,OAA6B,EAAE;IAE/B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,gBAAgB,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAElE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC3C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,uEAAuE;IACvE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YACzC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YACxC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;YACxB,IAAI,GAAG,KAAK,SAAS;gBAAE,SAAS;YAChC,IAAI,WAAW,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC/B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC1B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;AAC9D,CAAC"}