@farmslot/recipe-cli 0.4.1 → 0.6.0

package/dist/harness/recipe-validation.d.ts

@@ -0,0 +1,29 @@
+import { type RecipeActionManifestDocument, type RecipeValidationFinding, type RecipeValidationResult } from '@farmslot/protocol';
+import { type RecipeLibrarySource } from '@farmslot/recipe-runner';
+import type { RecipeCatalog } from './catalog.js';
+import { type CliOptions } from './parse-args.js';
+/** `value` with every exact `{{params.<path>}}` string replaced by the parameter it names, when present. */
+export declare function resolveRecipeParamValue(value: unknown, params: Record<string, unknown>): unknown;
+/** The adapter's `actions.inputFindings` on every workflow node, with parameters resolved. */
+export declare function validateActionInputs(recipe: unknown, adapter: string, params?: Record<string, unknown>): RecipeValidationFinding[];
+/** Warnings for `command` nodes whose exit code cannot prove what the recipe relies on it for. */
+export declare function validateCommandNodes(recipe: unknown): RecipeValidationFinding[];
+export declare function validateRecipeAdapterAware(adapter: string, recipe: unknown, manifest: RecipeActionManifestDocument, librarySources?: RecipeLibrarySource[], rootRef?: string, params?: Record<string, unknown>, proof?: boolean): Promise<RecipeValidationResult>;
+export interface RunRecipeStaticValidation {
+    recipe: unknown;
+    recipeFile: string;
+    findings: RecipeValidationFinding[];
+    errorCount: number;
+    manifestOk: boolean;
+    schemaValid: boolean;
+    effectiveParams: Record<string, unknown>;
+    /** The library sources this validation resolved — returned so callers (run's
+     * runtime options) reuse them instead of re-resolving. */
+    librarySources?: RecipeLibrarySource[];
+    usageError?: {
+        code: string;
+        message: string;
+    };
+}
+export declare function validateRunRecipeStatic(catalog: RecipeCatalog, recipeArg: string, adapter: string, options: CliOptions, params?: Record<string, unknown>): Promise<RunRecipeStaticValidation>;
+//# sourceMappingURL=recipe-validation.d.ts.map

package/dist/harness/recipe-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recipe-validation.d.ts","sourceRoot":"","sources":["../../src/harness/recipe-validation.ts"],"names":[],"mappings":"AAMA,OAAO,EAKL,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC5B,KAAK,sBAAsB,EAG5B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAEL,KAAK,mBAAmB,EAIzB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,OAAO,EAEL,KAAK,UAAU,EAOhB,MAAM,iBAAiB,CAAC;AAIzB,4GAA4G;AAC5G,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAgBhG;AAED,8FAA8F;AAC9F,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,OAAO,EACf,OAAO,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,uBAAuB,EAAE,CAa3B;AAUD,kGAAkG;AAClG,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,OAAO,GAAG,uBAAuB,EAAE,CAiC/E;AAED,wBAAsB,0BAA0B,CAC9C,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,OAAO,EACf,QAAQ,EAAE,4BAA4B,EACtC,cAAc,CAAC,EAAE,mBAAmB,EAAE,EACtC,OAAO,CAAC,EAAE,MAAM,EAChB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,KAAK,UAAQ,GACZ,OAAO,CAAC,sBAAsB,CAAC,CA+GjC;AAED,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,OAAO,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,uBAAuB,EAAE,CAAC;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,OAAO,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC;8DAC0D;IAC1D,cAAc,CAAC,EAAE,mBAAmB,EAAE,CAAC;IACvC,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAChD;AAED,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,aAAa,EACtB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,UAAU,EACnB,MAAM,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GACnC,OAAO,CAAC,yBAAyB,CAAC,CAoGpC"}

package/dist/harness/recipe-validation.js

@@ -0,0 +1,291 @@
+// Static recipe validation for `run` and `call`: the manifest, the declared
+// parameters, the platform's input checks on every node, called library
+// recipes, and behavioral proof bindings.
+import fs from 'node:fs';
+import path from 'node:path';
+import { applyRecipeParamDefaults, digestRecipeDocument, getRecipeActionManifestActionNames, normalizeRecipeRef, validateRecipeParams, validateRecipeWithManifest, } from '@farmslot/protocol';
+import { loadRecipeLibraries, RecipeResolutionError, resolveRecipeDependencies, validateRecipeDependencyParams, } from '@farmslot/recipe-runner';
+import { harnessAdapters } from './adapters.js';
+import { harnessHost } from './host.js';
+import { actionManifestPathOption, isRecord, optionFlag, optionString, optionStrings, shellQuoteArg, targetPath, } from './parse-args.js';
+import { resolveLibrarySources, resolveRunRecipeArg } from './recipe-library.js';
+import { validateRuntimeProofPlan } from './runtime-proof.js';
+/** `value` with every exact `{{params.<path>}}` string replaced by the parameter it names, when present. */
+export function resolveRecipeParamValue(value, params) {
+    if (typeof value === 'string') {
+        const exact = /^\{\{params\.([A-Za-z0-9_.-]+)\}\}$/u.exec(value);
+        if (!exact)
+            return value;
+        let current = params;
+        for (const segment of exact[1].split('.')) {
+            if (!isRecord(current) || !Object.hasOwn(current, segment))
+                return value;
+            current = current[segment];
+        }
+        return current;
+    }
+    if (Array.isArray(value))
+        return value.map((entry) => resolveRecipeParamValue(entry, params));
+    if (!isRecord(value))
+        return value;
+    return Object.fromEntries(Object.entries(value).map(([key, entry]) => [key, resolveRecipeParamValue(entry, params)]));
+}
+/** The adapter's `actions.inputFindings` on every workflow node, with parameters resolved. */
+export function validateActionInputs(recipe, adapter, params) {
+    if (!isRecord(recipe) || !isRecord(recipe.workflow))
+        return [];
+    const nodes = isRecord(recipe.workflow.nodes) ? recipe.workflow.nodes : undefined;
+    if (!nodes)
+        return [];
+    const registry = harnessAdapters();
+    const actions = registry.has(adapter) ? registry.get(adapter).actions : undefined;
+    const findings = [];
+    for (const [nodeId, rawNode] of Object.entries(nodes)) {
+        const node = params ? resolveRecipeParamValue(rawNode, params) : rawNode;
+        if (!isRecord(node))
+            continue;
+        findings.push(...(actions?.inputFindings?.(nodeId, node) ?? []));
+    }
+    return findings;
+}
+// A pipe into tail/head makes the shell report tail's exit code, so a failing
+// command passes; the runner already captures full stdout and stderr.
+const PIPE_TO_TAIL_OR_HEAD_RE = /(?:^|[^|])\|(?!\|)\s*(?:tail|head)\b/u;
+// A test runner as its own word (not jest.config.ts), or a `test` script such as
+// `test:verbose` (not `testing`).
+const TEST_RUNNER_RE = /(?:^|[\s;&|(/])(?:jest|vitest|mocha)(?=\s|$)|\b(?:yarn|npm|pnpm)\b[^|;&]*\stest(?:[:.-][\w:.-]*)?(?=\s|$)/u;
+/** Warnings for `command` nodes whose exit code cannot prove what the recipe relies on it for. */
+export function validateCommandNodes(recipe) {
+    if (!isRecord(recipe) || !isRecord(recipe.workflow))
+        return [];
+    const nodes = isRecord(recipe.workflow.nodes) ? recipe.workflow.nodes : undefined;
+    if (!nodes)
+        return [];
+    const outputAsserted = new Set(Object.values(nodes).flatMap((node) => isRecord(node) && node.action === 'assert_output' ? [node.source ?? node.node] : []));
+    const findings = [];
+    for (const [nodeId, node] of Object.entries(nodes)) {
+        if (!isRecord(node) || node.action !== 'command')
+            continue;
+        const field = node.cmd !== undefined ? 'cmd' : 'command';
+        const command = node[field];
+        if (typeof command !== 'string')
+            continue;
+        if (PIPE_TO_TAIL_OR_HEAD_RE.test(command)) {
+            findings.push({
+                severity: 'warning',
+                code: 'recipe.command_pipe_masks_exit',
+                path: `workflow.nodes.${nodeId}.${field}`,
+                message: `${nodeId} pipes into tail/head, so its exit code is tail's and a failing command passes. Drop the pipe: the node already records full stdout and stderr for assert_output.`,
+            });
+        }
+        if (TEST_RUNNER_RE.test(command) && !outputAsserted.has(nodeId)) {
+            findings.push({
+                severity: 'warning',
+                code: 'recipe.test_command_exit_code_only',
+                path: `workflow.nodes.${nodeId}`,
+                message: `${nodeId} runs tests but only its exit code is checked. Add assert_output on the literal pass count: jest -t exits 0 when no test matches.`,
+            });
+        }
+    }
+    return findings;
+}
+export async function validateRecipeAdapterAware(adapter, recipe, manifest, librarySources, rootRef, params, proof = false) {
+    let externalRecipeIds;
+    let libraryResolution;
+    if (librarySources && librarySources.length > 0) {
+        libraryResolution = await loadRecipeLibraries(librarySources, {
+            adapter,
+        });
+        externalRecipeIds = new Set(libraryResolution.recipes.keys());
+    }
+    const validationOptions = externalRecipeIds !== undefined ? { externalRecipeIds } : undefined;
+    const withManifest = validateRecipeWithManifest(recipe, manifest, validationOptions);
+    const findings = [
+        ...withManifest.findings,
+        ...(withManifest.status === 'valid' && params
+            ? validateRecipeWithManifest(resolveRecipeParamValue(recipe, params), manifest, validationOptions).findings
+            : []),
+        ...validateActionInputs(recipe, adapter, params),
+        ...validateCommandNodes(params ? resolveRecipeParamValue(recipe, params) : recipe),
+    ];
+    if (withManifest.status === 'valid' && isRecord(recipe) && libraryResolution) {
+        try {
+            const digest = digestRecipeDocument(recipe);
+            const dependencies = resolveRecipeDependencies({
+                rootRef: rootRef ?? `$root:${digest}`,
+                root: recipe,
+                rootSource: {
+                    kind: 'recipe-file',
+                    trust: 'unknown',
+                    name: rootRef ?? 'recipe file',
+                    digest,
+                },
+                recipes: libraryResolution.recipes,
+            });
+            if (params) {
+                validateRecipeDependencyParams({
+                    root: recipe,
+                    params,
+                    recipes: dependencies.recipes,
+                });
+            }
+            for (const dependency of dependencies.recipes.values()) {
+                findings.push(...validateRecipeWithManifest(dependency.document, manifest, validationOptions).findings);
+            }
+            const validateDependencyInstances = (document, parentParams) => {
+                if (!isRecord(document) ||
+                    !isRecord(document.workflow) ||
+                    !isRecord(document.workflow.nodes))
+                    return;
+                for (const rawNode of Object.values(document.workflow.nodes)) {
+                    const node = resolveRecipeParamValue(rawNode, parentParams);
+                    if (!isRecord(node) || node.action !== 'call' || typeof node.ref !== 'string')
+                        continue;
+                    const dependency = dependencies.recipes.get(normalizeRecipeRef(node.ref));
+                    if (!dependency)
+                        continue;
+                    const supplied = isRecord(node.params) ? node.params : {};
+                    const childParams = applyRecipeParamDefaults(supplied, isRecord(dependency.document) ? dependency.document.paramsSchema : undefined);
+                    findings.push(...validateRecipeWithManifest(resolveRecipeParamValue(dependency.document, childParams), manifest, validationOptions).findings);
+                    findings.push(...validateActionInputs(dependency.document, adapter, childParams));
+                    validateDependencyInstances(dependency.document, childParams);
+                }
+            };
+            validateDependencyInstances(recipe, params ?? {});
+            if (proof && !findings.some((finding) => finding.severity === 'error')) {
+                findings.push(...validateRuntimeProofPlan(recipe, new Map([...dependencies.recipes].map(([ref, dependency]) => [
+                    ref,
+                    dependency.document,
+                ]))));
+            }
+        }
+        catch (error) {
+            if (!(error instanceof RecipeResolutionError))
+                throw error;
+            findings.push({
+                severity: 'error',
+                code: error.code,
+                path: 'workflow',
+                message: `${error.message} Next: ${error.userAction}`,
+            });
+        }
+    }
+    const errors = findings.filter((finding) => finding.severity === 'error').length;
+    const warnings = findings.length - errors;
+    return {
+        status: errors > 0 ? 'invalid' : 'valid',
+        findings,
+        summary: { errors, warnings },
+    };
+}
+export async function validateRunRecipeStatic(catalog, recipeArg, adapter, options, params = {}) {
+    // Resolve library sources first so resolveRunRecipeArg can probe personal and team
+    // recipe dirs with correct precedence before the canonical packaged library.
+    let librarySources = await resolveLibrarySources(catalog, optionStrings(options, 'library'));
+    const resolved = await resolveRunRecipeArg(catalog, recipeArg, adapter, librarySources);
+    const recipeFile = 'recipeFile' in resolved ? resolved.recipeFile : path.resolve(recipeArg);
+    if ('recipeFile' in resolved && !resolved.ref) {
+        librarySources = await resolveLibrarySources(catalog, optionStrings(options, 'library'), recipeFile);
+    }
+    const empty = {
+        recipe: undefined,
+        recipeFile,
+        findings: [],
+        errorCount: 0,
+        manifestOk: false,
+        schemaValid: false,
+        effectiveParams: params,
+        librarySources,
+    };
+    if ('notFound' in resolved) {
+        return {
+            ...empty,
+            usageError: {
+                code: 'RECIPE_NOT_FOUND',
+                message: resolved.notFound +
+                    (await actionInsteadOfRecipeHint(catalog, recipeArg, adapter, options, librarySources)),
+            },
+        };
+    }
+    let recipe;
+    try {
+        recipe = JSON.parse(fs.readFileSync(recipeFile, 'utf8'));
+    }
+    catch (error) {
+        return {
+            ...empty,
+            usageError: {
+                code: 'RECIPE_UNPARSEABLE',
+                message: `recipe is not valid JSON: ${error instanceof Error ? error.message : String(error)}`,
+            },
+        };
+    }
+    const findings = [];
+    const { manifest } = await catalog.resolveActionManifest(adapter, optionString(options, 'actionManifest'), librarySources);
+    let manifestOk = true;
+    try {
+        await catalog.validateManifest(manifest);
+    }
+    catch (error) {
+        manifestOk = false;
+        findings.push({
+            severity: 'error',
+            code: 'manifest.invalid',
+            path: actionManifestPathOption(options, adapter),
+            message: error instanceof Error ? error.message : String(error),
+        });
+    }
+    let effectiveParams = params;
+    if (isRecord(recipe)) {
+        effectiveParams = applyRecipeParamDefaults(params, recipe.paramsSchema);
+        findings.push(...validateRecipeParams(effectiveParams, recipe.paramsSchema).findings);
+    }
+    // Reuse librarySources already resolved above — no second resolution needed.
+    const validation = manifestOk
+        ? await validateRecipeAdapterAware(adapter, recipe, manifest, librarySources, resolved.ref, effectiveParams, optionFlag(options, 'proof'))
+        : {
+            status: 'invalid',
+            findings: [],
+            summary: { errors: 1, warnings: 0 },
+        };
+    findings.push(...validation.findings);
+    const errorCount = findings.filter((finding) => finding.severity === 'error').length;
+    return {
+        recipe,
+        recipeFile,
+        findings,
+        errorCount,
+        manifestOk,
+        schemaValid: validation.status === 'valid' && errorCount === 0,
+        effectiveParams,
+        librarySources,
+    };
+}
+// A bare name that is one action, not a recipe: the `call` that runs it,
+// judged against the library sources the recipe lookup already resolved.
+async function actionInsteadOfRecipeHint(catalog, recipeArg, adapter, options, librarySources) {
+    if (recipeArg.includes('/') || recipeArg.includes(path.sep))
+        return '';
+    try {
+        const { manifest } = await catalog.resolveActionManifest(adapter, optionString(options, 'actionManifest'), librarySources);
+        const actions = getRecipeActionManifestActionNames(manifest);
+        const matches = actions.includes(recipeArg)
+            ? [recipeArg]
+            : actions.filter((name) => name.split('.').pop() === recipeArg);
+        if (matches.length !== 1)
+            return '';
+        const device = optionString(options, 'device');
+        const actionManifest = optionString(options, 'actionManifest');
+        const parts = [harnessHost().name, 'call', matches[0]];
+        parts.push('--adapter', adapter, '--target', shellQuoteArg(targetPath(options)));
+        if (device)
+            parts.push('--device', shellQuoteArg(device));
+        if (actionManifest)
+            parts.push('--action-manifest', shellQuoteArg(actionManifest));
+        return ` This is an action, not a recipe. Use: ${parts.join(' ')}.`;
+    }
+    catch {
+        return '';
+    }
+}
+//# sourceMappingURL=recipe-validation.js.map

package/dist/harness/recipe-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recipe-validation.js","sourceRoot":"","sources":["../../src/harness/recipe-validation.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,wEAAwE;AACxE,0CAA0C;AAC1C,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EACL,wBAAwB,EACxB,oBAAoB,EACpB,kCAAkC,EAClC,kBAAkB,EAIlB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,mBAAmB,EAEnB,qBAAqB,EACrB,yBAAyB,EACzB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EACL,wBAAwB,EAExB,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,aAAa,EACb,aAAa,EACb,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AACjF,OAAO,EAAsB,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAElF,4GAA4G;AAC5G,MAAM,UAAU,uBAAuB,CAAC,KAAc,EAAE,MAA+B;IACrF,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,sCAAsC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,IAAI,OAAO,GAAY,MAAM,CAAC;QAC9B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;gBAAE,OAAO,KAAK,CAAC;YACzE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9F,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAC3F,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,oBAAoB,CAClC,MAAe,EACf,OAAe,EACf,MAAgC;IAEhC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/D,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,eAAe,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,MAAM,QAAQ,GAA8B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACzE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,sEAAsE;AACtE,MAAM,uBAAuB,GAAG,uCAAuC,CAAC;AACxE,iFAAiF;AACjF,kCAAkC;AAClC,MAAM,cAAc,GAClB,4GAA4G,CAAC;AAE/G,kGAAkG;AAClG,MAAM,UAAU,oBAAoB,CAAC,MAAe;IAClD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IAC/D,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACpC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CACpF,CACF,CAAC;IACF,MAAM,QAAQ,GAA8B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACzD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,SAAS;QAC1C,IAAI,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,gCAAgC;gBACtC,IAAI,EAAE,kBAAkB,MAAM,IAAI,KAAK,EAAE;gBACzC,OAAO,EAAE,GAAG,MAAM,mKAAmK;aACtL,CAAC,CAAC;QACL,CAAC;QACD,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,oCAAoC;gBAC1C,IAAI,EAAE,kBAAkB,MAAM,EAAE;gBAChC,OAAO,EAAE,GAAG,MAAM,mIAAmI;aACtJ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,OAAe,EACf,MAAe,EACf,QAAsC,EACtC,cAAsC,EACtC,OAAgB,EAChB,MAAgC,EAChC,KAAK,GAAG,KAAK;IAEb,IAAI,iBAAkD,CAAC;IACvD,IAAI,iBAA8E,CAAC;IACnF,IAAI,cAAc,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,iBAAiB,GAAG,MAAM,mBAAmB,CAAC,cAAc,EAAE;YAC5D,OAAO;SACR,CAAC,CAAC;QACH,iBAAiB,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,iBAAiB,GAAG,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9F,MAAM,YAAY,GAAG,0BAA0B,CAAC,MAAM,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG;QACf,GAAG,YAAY,CAAC,QAAQ;QACxB,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,OAAO,IAAI,MAAM;YAC3C,CAAC,CAAC,0BAA0B,CACxB,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC,EACvC,QAAQ,EACR,iBAAiB,CAClB,CAAC,QAAQ;YACZ,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC;QAChD,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;KACnF,CAAC;IACF,IAAI,YAAY,CAAC,MAAM,KAAK,OAAO,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAC7E,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,YAAY,GAAG,yBAAyB,CAAC;gBAC7C,OAAO,EAAE,OAAO,IAAI,SAAS,MAAM,EAAE;gBACrC,IAAI,EAAE,MAAM;gBACZ,UAAU,EAAE;oBACV,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,OAAO,IAAI,aAAa;oBAC9B,MAAM;iBACP;gBACD,OAAO,EAAE,iBAAiB,CAAC,OAAO;aACnC,CAAC,CAAC;YACH,IAAI,MAAM,EAAE,CAAC;gBACX,8BAA8B,CAAC;oBAC7B,IAAI,EAAE,MAAM;oBACZ,MAAM;oBACN,OAAO,EAAE,YAAY,CAAC,OAAO;iBAC9B,CAAC,CAAC;YACL,CAAC;YACD,KAAK,MAAM,UAAU,IAAI,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;gBACvD,QAAQ,CAAC,IAAI,CACX,GAAG,0BAA0B,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC,QAAQ,CACzF,CAAC;YACJ,CAAC;YACD,MAAM,2BAA2B,GAAG,CAClC,QAAiB,EACjB,YAAqC,EAC/B,EAAE;gBACR,IACE,CAAC,QAAQ,CAAC,QAAQ,CAAC;oBACnB,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;oBAC5B,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAElC,OAAO;gBACT,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7D,MAAM,IAAI,GAAG,uBAAuB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;oBAC5D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ;wBAAE,SAAS;oBACxF,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC1E,IAAI,CAAC,UAAU;wBAAE,SAAS;oBAC1B,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1D,MAAM,WAAW,GAAG,wBAAwB,CAC1C,QAAQ,EACR,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAC7E,CAAC;oBACF,QAAQ,CAAC,IAAI,CACX,GAAG,0BAA0B,CAC3B,uBAAuB,CAAC,UAAU,CAAC,QAAQ,EAAE,WAAW,CAAC,EACzD,QAAQ,EACR,iBAAiB,CAClB,CAAC,QAAQ,CACX,CAAC;oBACF,QAAQ,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;oBAClF,2BAA2B,CAAC,UAAU,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAChE,CAAC;YACH,CAAC,CAAC;YACF,2BAA2B,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;YAClD,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;gBACvE,QAAQ,CAAC,IAAI,CACX,GAAG,wBAAwB,CACzB,MAAkC,EAClC,IAAI,GAAG,CACL,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;oBACnD,GAAG;oBACH,UAAU,CAAC,QAAoC;iBAChD,CAAC,CACH,CACF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,CAAC,KAAK,YAAY,qBAAqB,CAAC;gBAAE,MAAM,KAAK,CAAC;YAC3D,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,GAAG,KAAK,CAAC,OAAO,UAAU,KAAK,CAAC,UAAU,EAAE;aACtD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IACjF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;IAC1C,OAAO;QACL,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;QACxC,QAAQ;QACR,OAAO,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;KAC9B,CAAC;AACJ,CAAC;AAgBD,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAAsB,EACtB,SAAiB,EACjB,OAAe,EACf,OAAmB,EACnB,SAAkC,EAAE;IAEpC,mFAAmF;IACnF,6EAA6E;IAC7E,IAAI,cAAc,GAAG,MAAM,qBAAqB,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IAC7F,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;IACxF,MAAM,UAAU,GAAG,YAAY,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC5F,IAAI,YAAY,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC;QAC9C,cAAc,GAAG,MAAM,qBAAqB,CAC1C,OAAO,EACP,aAAa,CAAC,OAAO,EAAE,SAAS,CAAC,EACjC,UAAU,CACX,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,MAAM,EAAE,SAAS;QACjB,UAAU;QACV,QAAQ,EAAE,EAAE;QACZ,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,KAAK;QAClB,eAAe,EAAE,MAAM;QACvB,cAAc;KACf,CAAC;IACF,IAAI,UAAU,IAAI,QAAQ,EAAE,CAAC;QAC3B,OAAO;YACL,GAAG,KAAK;YACR,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EACL,QAAQ,CAAC,QAAQ;oBACjB,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;aAC1F;SACF,CAAC;IACJ,CAAC;IACD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,GAAG,KAAK;YACR,UAAU,EAAE;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,6BAA6B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;aAC/F;SACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAA8B,EAAE,CAAC;IAC/C,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,OAAO,CAAC,qBAAqB,CACtD,OAAO,EACP,YAAY,CAAC,OAAO,EAAE,gBAAgB,CAAC,EACvC,cAAc,CACf,CAAC;IACF,IAAI,UAAU,GAAG,IAAI,CAAC;IACtB,IAAI,CAAC;QACH,MAAM,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,UAAU,GAAG,KAAK,CAAC;QACnB,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,kBAAkB;YACxB,IAAI,EAAE,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC;YAChD,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAChE,CAAC,CAAC;IACL,CAAC;IAED,IAAI,eAAe,GAAG,MAAM,CAAC;IAC7B,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACrB,eAAe,GAAG,wBAAwB,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;QACxE,QAAQ,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,eAAe,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAC;IACxF,CAAC;IACD,6EAA6E;IAC7E,MAAM,UAAU,GAAG,UAAU;QAC3B,CAAC,CAAC,MAAM,0BAA0B,CAC9B,OAAO,EACP,MAAM,EACN,QAAQ,EACR,cAAc,EACd,QAAQ,CAAC,GAAG,EACZ,eAAe,EACf,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAC7B;QACH,CAAC,CAAC;YACE,MAAM,EAAE,SAAkB;YAC1B,QAAQ,EAAE,EAAE;YACZ,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;SACpC,CAAC;IACN,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAEtC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IACrF,OAAO;QACL,MAAM;QACN,UAAU;QACV,QAAQ;QACR,UAAU;QACV,UAAU;QACV,WAAW,EAAE,UAAU,CAAC,MAAM,KAAK,OAAO,IAAI,UAAU,KAAK,CAAC;QAC9D,eAAe;QACf,cAAc;KACf,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,yEAAyE;AACzE,KAAK,UAAU,yBAAyB,CACtC,OAAsB,EACtB,SAAiB,EACjB,OAAe,EACf,OAAmB,EACnB,cAAqC;IAErC,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACvE,IAAI,CAAC;QACH,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,OAAO,CAAC,qBAAqB,CACtD,OAAO,EACP,YAAY,CAAC,OAAO,EAAE,gBAAgB,CAAC,EACvC,cAAc,CACf,CAAC;QACF,MAAM,OAAO,GAAG,kCAAkC,CAAC,QAAQ,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;YACzC,CAAC,CAAC,CAAC,SAAS,CAAC;YACb,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC;QAClE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC/C,MAAM,cAAc,GAAG,YAAY,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACjF,IAAI,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1D,IAAI,cAAc;YAAE,KAAK,CAAC,IAAI,CAAC,mBAAmB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC;QACnF,OAAO,0CAA0C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACtE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC"}

package/dist/harness/run-engine.d.ts

@@ -0,0 +1,98 @@
+import type { CommandOptions, HealBoundViolation, HealPolicy, HealState, RecipeNodeEvent, RecipeRunOptions } from '@farmslot/adapter-sdk';
+import type { RecipeActionManifestDocument, RecipeExecutionPlan } from '@farmslot/protocol';
+import { type RecipeRunner, type RecipeRunRequest, type RecipeRunResult } from '@farmslot/recipe-runner';
+import type { ActionCapabilitySource, RecipeCatalog } from './catalog.js';
+import { type ExecutionProvenanceInput, type ExecutionProvenanceSnapshot } from './execution-provenance.js';
+import { type CliOptions } from './parse-args.js';
+import { type ConsoleAllowlist, type ConsoleClassifier, type RecipeRunEvidence } from './run-diagnostics.js';
+export interface RecipeRunnerOptions<TMutation> {
+    quietStdout?: boolean;
+    suppressLibraryResolutionLogs?: boolean;
+    autoHud?: boolean;
+    actionSources: ReadonlyMap<string, ActionCapabilitySource>;
+    trustTaskActions: boolean;
+    trustedMutation?: TMutation;
+    onActionEvent?(event: RecipeNodeEvent): void;
+}
+/** What `trustedMutation.load` receives: the run's command line and what the command resolved. */
+export interface TrustedMutationLoadInput {
+    /** The adapter the command resolved: `--adapter`, a `--platform` target, or the detected one. */
+    adapter: string;
+    cli: CommandOptions;
+    artifactsDir: string;
+    projectRoot: string;
+    rootRecipe: unknown;
+}
+/** What `trustedMutation.authorize` receives besides the loaded mutation and the plan. */
+export interface TrustedMutationAuthorizeContext {
+    /** The adapter the command resolved, the same one `load` received. */
+    adapter: string;
+}
+/** What a host executes recipes with, on top of its catalog. */
+export interface RecipeEngine<TMutation = unknown, TAllowlist extends ConsoleAllowlist = ConsoleAllowlist> extends RecipeCatalog {
+    createRunner(adapter: string, manifest: RecipeActionManifestDocument, options: RecipeRunnerOptions<TMutation>): Promise<RecipeRunner>;
+    /**
+     * Funded external mutations: the context loaded from the run's command line,
+     * then bound to the run's execution plan. Absent: no run binds one. The plan is
+     * computed without the mutation; `authorize` returning undefined means there is
+     * nothing to bind for this plan, and the run executes with no trusted mutation.
+     */
+    trustedMutation?: {
+        load(input: TrustedMutationLoadInput): Promise<TMutation | undefined>;
+        authorize(base: TMutation, plan: RecipeExecutionPlan, context: TrustedMutationAuthorizeContext): Promise<TMutation | undefined>;
+    };
+    /** The console rules run diagnostics classify with. */
+    console: ConsoleClassifier<TAllowlist>;
+    /** The host package paths a run's provenance binds. */
+    runnerIncludes: readonly string[];
+}
+/** A run's options: the generic ones (with the platform's own) and the command line it came from. */
+export type RecipeEngineRunOptions = RecipeRunOptions & {
+    cli?: CommandOptions;
+};
+export interface PreparedRecipeExecution {
+    runner: RecipeRunner;
+    runRequest: RecipeRunRequest;
+    absoluteArtifactsDir: string;
+    useFramedRecording: boolean;
+    provenanceInput: ExecutionProvenanceInput;
+    provenanceSnapshots: ExecutionProvenanceSnapshot[];
+}
+/** Execute a recipe inside the caller's `activateRecipeRuntimeEnvironment` scope. */
+export declare function runRecipe<TMutation, TAllowlist extends ConsoleAllowlist>(engine: RecipeEngine<TMutation, TAllowlist>, adapter: string, recipe: string | object, artifactsDir: string, projectRoot: string, actionManifestPath?: string, runtimeOptions?: RecipeEngineRunOptions, preflightedExecution?: PreparedRecipeExecution, effectsState?: HealState): Promise<RecipeRunEvidence>;
+/** Resolve and preflight a recipe inside the caller's `activateRecipeRuntimeEnvironment` scope. */
+export declare function preflightRecipe<TMutation, TAllowlist extends ConsoleAllowlist>(engine: RecipeEngine<TMutation, TAllowlist>, adapter: string, recipe: string | object, artifactsDir: string, projectRoot: string, actionManifestPath?: string, runtimeOptions?: RecipeEngineRunOptions): Promise<PreparedRecipeExecution>;
+/** Record the run's recoveries and mutations in its summary and artifact manifest. */
+export declare function persistRunEffects(summaryPath: string, artifactManifestPath: string, state: HealState): void;
+/**
+ * The run's ports and platform environment: the slot's ports, then the explicit
+ * ones, then the platform's own. `run` and `call` open one scope around
+ * preflight, the runtime check, the observers and the execution, so all of them
+ * see the same ports. Returns the restore.
+ */
+export declare function activateRecipeRuntimeEnvironment(adapter: string, projectRoot: string, runtimeOptions: RecipeRunOptions): () => void;
+export declare function prepareRuntimeIfNeeded(adapter: string, projectRoot: string, runtimeOptions: RecipeRunOptions): Promise<void>;
+/** A one-node recipe that runs `action` with `args` through the real engine path. */
+export declare function synthesizeOneNodeRecipe(action: string, args: Record<string, unknown>): Record<string, unknown>;
+interface PreparedHeal {
+    state: HealState;
+    heal: HealPolicy;
+}
+interface PrepareHealOptions {
+    appRestartAuthored?: boolean;
+    onPhase?: (phase: 'install' | 'healthcheck' | 'recover', fields?: Record<string, unknown>) => void;
+}
+/**
+ * Refuse a concurrent recipe, parse --heal, ensure the runtime overlay, and run
+ * the platform's runtime check: the heal state to run with, or the exit code.
+ */
+export declare function prepareHeal(adapter: string, target: string, options: CliOptions, json: boolean, prepareOptions?: PrepareHealOptions): Promise<PreparedHeal | number>;
+/** Run once; a failed run is classified against the recovery bounds. */
+export declare function executeWithHealBounds<T extends RecipeRunResult>(exec: () => Promise<T>, target: string, state: HealState): Promise<{
+    result: T;
+    violation: HealBoundViolation | null;
+}>;
+export declare function emitHealViolation(json: boolean, command: 'run' | 'call', result: Pick<RecipeRunResult, 'summaryPath' | 'tracePath' | 'artifactManifestPath'>, violation: HealBoundViolation, state: HealState, adapter?: string): number;
+export declare function countRecipeNodes(recipe: unknown): number | undefined;
+export {};
+//# sourceMappingURL=run-engine.d.ts.map

package/dist/harness/run-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-engine.d.ts","sourceRoot":"","sources":["../../src/harness/run-engine.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,cAAc,EACd,kBAAkB,EAClB,UAAU,EACV,SAAS,EACT,eAAe,EACf,gBAAgB,EACjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,4BAA4B,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC5F,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EAErB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,KAAK,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAGL,KAAK,wBAAwB,EAC7B,KAAK,2BAA2B,EAGjC,MAAM,2BAA2B,CAAC;AAWnC,OAAO,EAAE,KAAK,UAAU,EAAyC,MAAM,iBAAiB,CAAC;AAGzF,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EAEtB,KAAK,iBAAiB,EACvB,MAAM,sBAAsB,CAAC;AAK9B,MAAM,WAAW,mBAAmB,CAAC,SAAS;IAC5C,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,6BAA6B,CAAC,EAAE,OAAO,CAAC;IACxC,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IAE3D,gBAAgB,EAAE,OAAO,CAAC;IAC1B,eAAe,CAAC,EAAE,SAAS,CAAC;IAC5B,aAAa,CAAC,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI,CAAC;CAC9C;AAED,kGAAkG;AAClG,MAAM,WAAW,wBAAwB;IACvC,iGAAiG;IACjG,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,cAAc,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,0FAA0F;AAC1F,MAAM,WAAW,+BAA+B;IAC9C,sEAAsE;IACtE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,gEAAgE;AAChE,MAAM,WAAW,YAAY,CAC3B,SAAS,GAAG,OAAO,EACnB,UAAU,SAAS,gBAAgB,GAAG,gBAAgB,CACtD,SAAQ,aAAa;IACrB,YAAY,CACV,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,4BAA4B,EACtC,OAAO,EAAE,mBAAmB,CAAC,SAAS,CAAC,GACtC,OAAO,CAAC,YAAY,CAAC,CAAC;IACzB;;;;;OAKG;IACH,eAAe,CAAC,EAAE;QAChB,IAAI,CAAC,KAAK,EAAE,wBAAwB,GAAG,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC;QACtE,SAAS,CACP,IAAI,EAAE,SAAS,EACf,IAAI,EAAE,mBAAmB,EACzB,OAAO,EAAE,+BAA+B,GACvC,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC;KACnC,CAAC;IACF,uDAAuD;IACvD,OAAO,EAAE,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACvC,uDAAuD;IACvD,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,qGAAqG;AACrG,MAAM,MAAM,sBAAsB,GAAG,gBAAgB,GAAG;IAEtD,GAAG,CAAC,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,YAAY,CAAC;IACrB,UAAU,EAAE,gBAAgB,CAAC;IAC7B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,eAAe,EAAE,wBAAwB,CAAC;IAC1C,mBAAmB,EAAE,2BAA2B,EAAE,CAAC;CACpD;AAED,qFAAqF;AACrF,wBAAsB,SAAS,CAAC,SAAS,EAAE,UAAU,SAAS,gBAAgB,EAC5E,MAAM,EAAE,YAAY,CAAC,SAAS,EAAE,UAAU,CAAC,EAC3C,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,GAAG,MAAM,EACvB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,kBAAkB,CAAC,EAAE,MAAM,EAC3B,cAAc,GAAE,sBAA2B,EAC3C,oBAAoB,CAAC,EAAE,uBAAuB,EAC9C,YAAY,GAAE,SAA0B,GACvC,OAAO,CAAC,iBAAiB,CAAC,CA+F5B;AAED,mGAAmG;AACnG,wBAAsB,eAAe,CAAC,SAAS,EAAE,UAAU,SAAS,gBAAgB,EAClF,MAAM,EAAE,YAAY,CAAC,SAAS,EAAE,UAAU,CAAC,EAC3C,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,GAAG,MAAM,EACvB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,kBAAkB,CAAC,EAAE,MAAM,EAC3B,cAAc,GAAE,sBAA2B,GAC1C,OAAO,CAAC,uBAAuB,CAAC,CAYlC;AAED,sFAAsF;AACtF,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,MAAM,EACnB,oBAAoB,EAAE,MAAM,EAC5B,KAAK,EAAE,SAAS,GACf,IAAI,CAeN;AAuTD;;;;;GAKG;AACH,wBAAgB,gCAAgC,CAC9C,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,cAAc,EAAE,gBAAgB,GAC/B,MAAM,IAAI,CAgCZ;AAiCD,wBAAsB,sBAAsB,CAC1C,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,cAAc,EAAE,gBAAgB,GAC/B,OAAO,CAAC,IAAI,CAAC,CAEf;AAOD,qFAAqF;AACrF,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAsBzB;AAED,UAAU,YAAY;IACpB,KAAK,EAAE,SAAS,CAAC;IACjB,IAAI,EAAE,UAAU,CAAC;CAClB;AAED,UAAU,kBAAkB;IAE1B,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,OAAO,CAAC,EAAE,CACR,KAAK,EAAE,SAAS,GAAG,aAAa,GAAG,SAAS,EAC5C,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC7B,IAAI,CAAC;CACX;AAED;;;GAGG;AACH,wBAAsB,WAAW,CAC/B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,UAAU,EACnB,IAAI,EAAE,OAAO,EACb,cAAc,GAAE,kBAAuB,GACtC,OAAO,CAAC,YAAY,GAAG,MAAM,CAAC,CA0EhC;AAkBD,wEAAwE;AACxE,wBAAsB,qBAAqB,CAAC,CAAC,SAAS,eAAe,EACnE,IAAI,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,EACtB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,SAAS,GACf,OAAO,CAAC;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,SAAS,EAAE,kBAAkB,GAAG,IAAI,CAAA;CAAE,CAAC,CAO9D;AAED,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,KAAK,GAAG,MAAM,EACvB,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,aAAa,GAAG,WAAW,GAAG,sBAAsB,CAAC,EACnF,SAAS,EAAE,kBAAkB,EAC7B,KAAK,EAAE,SAAS,EAChB,OAAO,CAAC,EAAE,MAAM,GACf,MAAM,CA8CR;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAKpE"}