@farmslot/recipe-cli 0.13.0 → 0.14.0

package/dist/harness/runtime-proof.js

@@ -1,9 +1,10 @@
 // Behavioral proof checks on a recipe: the plan before it runs, and the
 // executed artifact package after, independently of any task host.
 import assert from 'node:assert/strict';
-import { normalizeRecipeRef, validateRecipeArtifactPackage, } from '@farmslot/protocol';
+import { isRecord, normalizeRecipeRef, validateRecipeArtifactPackage, } from '@farmslot/protocol';
+import { collectProofNodes, executedProofIndex, extractWorkflowGraph, potentiallyEligibleProof, } from '@farmslot/recipe-runner';
 /** Validate executed behavioral proof, independently of any task host or control plane. */
-export function validateRuntimeProof(bundle, smokeTarget) {
+export function validateRuntimeProof(bundle, smokeTarget, teardownTarget, visualProof = {}) {
     const checked = validateRecipeArtifactPackage(bundle);
     assert.equal(checked.status, 'valid', JSON.stringify(checked.findings));
     const { recipe, summary, trace, manifest, recipeResolution, resolvedRecipes } = bundle;
@@ -20,30 +21,8 @@ export function validateRuntimeProof(bundle, smokeTarget) {
     const nodes = collectProofNodes(recipe, documents);
     const executed = new Map(entries.map((entry, index) => [entry.nodeId ?? entry.id, { entry, index }]));
     function proves(id) {
-        const node = nodes.get(id);
-        const current = executed.get(id);
-        if (!current || current.entry.action !== node.action)
-            return false;
-        if (node.action === 'call')
-            return [...nodes.keys()].some((child) => child.startsWith(`${id}/`) && proves(child));
-        if (!assertions.has(node.action) ||
-            !current.entry.output ||
-            typeof current.entry.output !== 'object')
-            return false;
-        if (node.action === 'assert_output') {
-            const source = assertionSource(id, node);
-            const prior = executed.get(source);
-            const action = nodes.get(source)?.action;
-            return Boolean(prior &&
-                prior.index < current.index &&
-                action &&
-                action === prior.entry.action &&
-                isObservation(action));
-        }
-        if (node.action === 'ui.wait_for')
-            return entries.slice(0, current.index).some((entry) => inputs.has(entry.action));
-        return (typeof node.path === 'string' &&
-            manifest.artifacts.some((artifact) => artifact.path === node.path && artifact.category === 'proof'));
+        const index = executedProofIndex(id, nodes, entries, manifest.artifacts);
+        return index !== null && entries[index]?.ok === true;
     }
     assert(recipe.proofTargets?.length, 'Runtime recipe has no behavioral proof targets');
     for (const target of recipe.proofTargets) {
@@ -52,60 +31,53 @@ export function validateRuntimeProof(bundle, smokeTarget) {
     }
     if (smokeTarget)
         assert(recipe.proofTargets.some((target) => target.id === smokeTarget), 'Smoke target is absent from recipe');
-}
-const assertions = new Set(['assert_output', 'assert_json', 'ui.wait_for']);
-const controls = new Set([
-    'end',
-    'wait',
-    'manual',
-    'switch',
-    'call',
-    'index_artifacts',
-    'assert_exit_code',
-    'assert_file',
-    'branch',
-    'repeat',
-    'set',
-    'log',
-]);
-const inputs = new Set([
-    'ui.press',
-    'ui.key_press',
-    'ui.set_input',
-    'ui.swipe',
-    'ui.drag',
-    'ui.long_press',
-]);
-function isObservation(action) {
-    return !controls.has(action) && !assertions.has(action);
-}
-function assertionSource(id, node) {
-    const prefix = id.includes('/') ? id.slice(0, id.lastIndexOf('/') + 1) : '';
-    return prefix + String(node.source ?? node.node ?? '');
-}
-function collectProofNodes(recipe, documents) {
-    const nodes = new Map();
-    function collect(document, prefix = '', stack = new Set()) {
-        for (const [id, node] of Object.entries(document.workflow.nodes)) {
-            nodes.set(prefix + id, node);
-            if (node.action === 'call' && typeof node.ref === 'string') {
-                const ref = normalizeRecipeRef(node.ref);
-                assert(!stack.has(ref), 'Recursive recipe proof');
-                const nested = documents.get(ref);
-                assert(nested, `Missing resolved recipe ${ref}`);
-                collect(nested, `${prefix}${id}/`, new Set(stack).add(ref));
-            }
-        }
+    if (teardownTarget) {
+        assert(recipe.proofTargets.some((target) => target.id === teardownTarget) &&
+            teardownProofNodes(recipe, nodes, teardownTarget).some(proves), `Teardown target ${teardownTarget} has no executed cleanup assertion`);
     }
-    collect(recipe);
-    return nodes;
+    if (!visualProof.captureRequired && !visualProof.hudRequired)
+        return [];
+    const proofNodes = [...nodes].filter(([, node]) => node.proves?.includes(smokeTarget ?? ''));
+    const captures = manifest.artifacts.filter((artifact) => {
+        if (artifact.type !== 'screenshot' && artifact.type !== 'video')
+            return false;
+        const nodeId = artifact.nodeId;
+        if (!nodeId || !proofNodes.some(([id]) => nodeId === id || nodeId.startsWith(`${id}/`)))
+            return false;
+        const entry = executed.get(nodeId)?.entry;
+        if (!entry || entry.action !== nodes.get(nodeId)?.action)
+            return false;
+        if (!visualProof.hudRequired)
+            return true;
+        const hud = artifact.metadata?.hud;
+        if (!isRecord(hud) || typeof entry.intent !== 'string')
+            return false;
+        const expected = entry.intent.replace(/\s+/gu, ' ').trim();
+        const matches = (value) => {
+            if (!isRecord(value) || value.visible !== true || typeof value.intent !== 'string')
+                return false;
+            const observed = value.intent.replace(/\s+/gu, ' ').trim();
+            return Boolean(expected && observed === expected);
+        };
+        return matches(hud.before) && matches(hud.after);
+    });
+    assert(captures.length, visualProof.hudRequired
+        ? 'Live smoke has no capture tied to its proof with the rendered intent HUD observed before and after capture.'
+        : 'Live smoke has no capture tied to its named proof.');
+    return captures.map((artifact) => artifact.path);
+}
+function teardownProofNodes(recipe, nodes, target) {
+    const graph = extractWorkflowGraph(recipe);
+    if (!graph.teardownEntry)
+        return [];
+    return [...nodes].flatMap(([id, node]) => node.proves?.includes(target) && !graph.mainNodeIds.has(id.split('/')[0]) ? [id] : []);
 }
 /**
  * Check possible proof bindings after protocol/dependency validation, without executing a graph.
  * A clean result is conditional: order, branches, successful observations and indexed artifacts
  * still require validateRuntimeProof on the executed package.
  */
-export function validateRuntimeProofPlan(recipe, documents = new Map()) {
+export function validateRuntimeProofPlan(recipe, documents = new Map(), teardownTarget, smokeTarget) {
     const finding = (code, path, message) => ({
         severity: 'error',
         code,
@@ -117,22 +89,8 @@ export function validateRuntimeProofPlan(recipe, documents = new Map()) {
             finding('proof.targets_missing', 'proofTargets', 'Behavioral proof requires at least one proof target.'),
         ];
     const nodes = collectProofNodes(recipe, documents);
-    const hasInput = [...nodes.values()].some((node) => inputs.has(node.action));
-    function eligible(id) {
-        const node = nodes.get(id);
-        if (node.action === 'call')
-            return [...nodes.keys()].some((child) => child.startsWith(`${id}/`) && eligible(child));
-        if (node.action === 'assert_output') {
-            const source = nodes.get(assertionSource(id, node));
-            return Boolean(source && isObservation(source.action));
-        }
-        // Inputs may live in a caller or a sibling call. Do not infer execution order here.
-        if (node.action === 'ui.wait_for')
-            return hasInput;
-        // The manifest is created at execution; a path alone cannot prove it will be indexed.
-        return node.action === 'assert_json' && typeof node.path === 'string';
-    }
-    return recipe.proofTargets.flatMap((target, index) => {
+    const eligible = (id) => potentiallyEligibleProof(id, nodes);
+    const findings = recipe.proofTargets.flatMap((target, index) => {
         const linked = [...nodes].filter(([, node]) => node.proves?.includes(target.id));
         return linked.some(([id]) => eligible(id))
             ? []
@@ -140,5 +98,12 @@ export function validateRuntimeProofPlan(recipe, documents = new Map()) {
                 finding('proof.no_runtime_assertion', `proofTargets[${index}]`, `Proof target ${target.id} has no potentially eligible runtime assertion. Bind proves to assert_output over an observation, ui.wait_for with an input action, assert_json over a proof artifact, or a call containing one. Runtime order, outcomes and artifact indexing remain unverified.`),
             ];
     });
+    if (smokeTarget && !recipe.proofTargets.some((target) => target.id === smokeTarget)) {
+        findings.push(finding('proof.smoke_target_missing', 'proofTargets', `Smoke target ${smokeTarget} is absent from the recipe.`));
+    }
+    if (teardownTarget && !teardownProofNodes(recipe, nodes, teardownTarget).some(eligible)) {
+        findings.push(finding('proof.teardown_assertion_missing', 'workflow.teardown', `Teardown target ${teardownTarget} needs a runtime assertion in the authored teardown.`));
+    }
+    return findings;
 }
 //# sourceMappingURL=runtime-proof.js.map

package/dist/harness/runtime-proof.js.map

@@ -1 +1 @@
-{"version":3,"file":"runtime-proof.js","sourceRoot":"","sources":["../../src/harness/runtime-proof.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EACL,kBAAkB,EAElB,6BAA6B,GAC9B,MAAM,oBAAoB,CAAC;AAE5B,2FAA2F;AAC3F,MAAM,UAAU,oBAAoB,CAClC,MAA2D,EAC3D,WAAoB;IAEpB,MAAM,OAAO,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,eAAe,EAAE,GAC3E,MAOC,CAAC;IACJ,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,6BAA6B,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IAC7D,MAAM,CACJ,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAC7D,kDAAkD,CACnD,CAAC;IACF,MAAM,CACJ,OAAO,CAAC,IAAI,CACV,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,MAAM,KAAK,KAAK;QACtB,KAAK,CAAC,MAAM,KAAK,MAAM;QACvB,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAClD,EACD,8CAA8C,CAC/C,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,gBAAgB,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;QAChD,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC;QAClC,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC;KACnC,CAAC,CACH,CAAC;IACF,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAC5E,CAAC;IACF,SAAS,MAAM,CAAC,EAAU;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACnE,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YACxB,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACxF,IACE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;YAC5B,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM;YACrB,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ;YAExC,OAAO,KAAK,CAAC;QACf,IAAI,IAAI,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;YACzC,OAAO,OAAO,CACZ,KAAK;gBACL,KAAK,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK;gBAC3B,MAAM;gBACN,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM;gBAC7B,aAAa,CAAC,MAAM,CAAC,CACtB,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa;YAC/B,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACnF,OAAO,CACL,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;YAC7B,QAAQ,CAAC,SAAS,CAAC,IAAI,CACrB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,QAAQ,KAAK,OAAO,CAC3E,CACF,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,gDAAgD,CAAC,CAAC;IACtF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACjF,MAAM,CACJ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EACjC,gBAAgB,MAAM,CAAC,EAAE,oCAAoC,CAC9D,CAAC;IACJ,CAAC;IACD,IAAI,WAAW;QACb,MAAM,CACJ,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,WAAW,CAAC,EAC/D,oCAAoC,CACrC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC;AAC5E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,KAAK;IACL,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,MAAM;IACN,iBAAiB;IACjB,kBAAkB;IAClB,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,KAAK;IACL,KAAK;CACN,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC;IACrB,UAAU;IACV,cAAc;IACd,cAAc;IACd,UAAU;IACV,SAAS;IACT,eAAe;CAChB,CAAC,CAAC;AAEH,SAAS,aAAa,CAAC,MAAc;IACnC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,eAAe,CAAC,EAAU,EAAE,IAAe;IAClD,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5E,OAAO,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAqB,EACrB,SAA6C;IAE7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,SAAS,OAAO,CAAC,QAAuB,EAAE,MAAM,GAAG,EAAE,EAAE,QAAQ,IAAI,GAAG,EAAU;QAC9E,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACjE,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;YAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC3D,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACzC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,wBAAwB,CAAC,CAAC;gBAClD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAClC,MAAM,CAAC,MAAM,EAAE,2BAA2B,GAAG,EAAE,CAAC,CAAC;gBACjD,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,GAAG,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAqB,EACrB,YAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,OAAe,EAA2B,EAAE,CAAC,CAAC;QACzF,QAAQ,EAAE,OAAO;QACjB,IAAI;QACJ,IAAI;QACJ,OAAO;KACR,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM;QAC9B,OAAO;YACL,OAAO,CACL,uBAAuB,EACvB,cAAc,EACd,sDAAsD,CACvD;SACF,CAAC;IACJ,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7E,SAAS,QAAQ,CAAC,EAAU;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YACxB,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1F,IAAI,IAAI,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;YACpD,OAAO,OAAO,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,oFAAoF;QACpF,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa;YAAE,OAAO,QAAQ,CAAC;QACnD,sFAAsF;QACtF,OAAO,IAAI,CAAC,MAAM,KAAK,aAAa,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IACxE,CAAC;IACD,OAAO,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACnD,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACjF,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACxC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,OAAO,CACL,4BAA4B,EAC5B,gBAAgB,KAAK,GAAG,EACxB,gBAAgB,MAAM,CAAC,EAAE,mQAAmQ,CAC7R;aACF,CAAC;IACR,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"runtime-proof.js","sourceRoot":"","sources":["../../src/harness/runtime-proof.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAExC,OAAO,EACL,QAAQ,EACR,kBAAkB,EAGlB,6BAA6B,GAC9B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACpB,wBAAwB,GAGzB,MAAM,yBAAyB,CAAC;AAEjC,2FAA2F;AAC3F,MAAM,UAAU,oBAAoB,CAClC,MAA2D,EAC3D,WAAoB,EACpB,cAAuB,EACvB,cAAoE,EAAE;IAEtE,MAAM,OAAO,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,eAAe,EAAE,GAC3E,MAOC,CAAC;IACJ,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,6BAA6B,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IAC7D,MAAM,CACJ,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAC7D,kDAAkD,CACnD,CAAC;IACF,MAAM,CACJ,OAAO,CAAC,IAAI,CACV,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,MAAM,KAAK,KAAK;QACtB,KAAK,CAAC,MAAM,KAAK,MAAM;QACvB,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAClD,EACD,8CAA8C,CAC/C,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,gBAAgB,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;QAChD,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC;QAClC,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC;KACnC,CAAC,CACH,CAAC;IACF,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAC5E,CAAC;IACF,SAAS,MAAM,CAAC,EAAU;QACxB,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;QACzE,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC;IACvD,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,EAAE,gDAAgD,CAAC,CAAC;IACtF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACjF,MAAM,CACJ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EACjC,gBAAgB,MAAM,CAAC,EAAE,oCAAoC,CAC9D,CAAC;IACJ,CAAC;IACD,IAAI,WAAW;QACb,MAAM,CACJ,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,WAAW,CAAC,EAC/D,oCAAoC,CACrC,CAAC;IACJ,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,CACJ,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,cAAc,CAAC;YAChE,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAChE,mBAAmB,cAAc,oCAAoC,CACtE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,eAAe,IAAI,CAAC,WAAW,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IACxE,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7F,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtD,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QAC9E,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC/B,IAAI,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACrF,OAAO,KAAK,CAAC;QACf,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;QAC1C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM;YAAE,OAAO,KAAK,CAAC;QACvE,IAAI,CAAC,WAAW,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACrE,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,CAAC,KAAc,EAAW,EAAE;YAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;gBAChF,OAAO,KAAK,CAAC;YACf,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3D,OAAO,OAAO,CAAC,QAAQ,IAAI,QAAQ,KAAK,QAAQ,CAAC,CAAC;QACpD,CAAC,CAAC;QACF,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,MAAM,CACJ,QAAQ,CAAC,MAAM,EACf,WAAW,CAAC,WAAW;QACrB,CAAC,CAAC,6GAA6G;QAC/G,CAAC,CAAC,oDAAoD,CACzD,CAAC;IACF,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,kBAAkB,CACzB,MAAqB,EACrB,KAAqC,EACrC,MAAc;IAEd,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CACvC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CACvF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAqB,EACrB,YAAgD,IAAI,GAAG,EAAE,EACzD,cAAuB,EACvB,WAAoB;IAEpB,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,OAAe,EAA2B,EAAE,CAAC,CAAC;QACzF,QAAQ,EAAE,OAAO;QACjB,IAAI;QACJ,IAAI;QACJ,OAAO;KACR,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM;QAC9B,OAAO;YACL,OAAO,CACL,uBAAuB,EACvB,cAAc,EACd,sDAAsD,CACvD;SACF,CAAC;IACJ,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,wBAAwB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QAC7D,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACjF,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACxC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,OAAO,CACL,4BAA4B,EAC5B,gBAAgB,KAAK,GAAG,EACxB,gBAAgB,MAAM,CAAC,EAAE,mQAAmQ,CAC7R;aACF,CAAC;IACR,CAAC,CAAC,CAAC;IACH,IAAI,WAAW,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,WAAW,CAAC,EAAE,CAAC;QACpF,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,4BAA4B,EAC5B,cAAc,EACd,gBAAgB,WAAW,6BAA6B,CACzD,CACF,CAAC;IACJ,CAAC;IACD,IAAI,cAAc,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxF,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,kCAAkC,EAClC,mBAAmB,EACnB,mBAAmB,cAAc,sDAAsD,CACxF,CACF,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@farmslot/recipe-cli",
-  "version": "0.13.0",
+  "version": "0.14.0",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -32,10 +32,10 @@
     "prepublishOnly": "node ../../scripts/quality/check-farmslot-package-readiness.mjs --publish --packages @farmslot/recipe-cli"
   },
   "dependencies": {
-    "@farmslot/adapter-sdk": "0.8.6",
-    "@farmslot/agent-runtime": "0.17.5",
-    "@farmslot/protocol": "0.37.0",
-    "@farmslot/recipe-runner": "0.29.0",
+    "@farmslot/adapter-sdk": "0.9.0",
+    "@farmslot/agent-runtime": "0.18.0",
+    "@farmslot/protocol": "0.39.0",
+    "@farmslot/recipe-runner": "0.30.0",
     "commander": "^12.0.0",
     "es-module-lexer": "2.3.1",
     "esbuild": "0.28.1",

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

@@ -1,48 +0,0 @@
-import { type ChildProcessWithoutNullStreams } from 'node:child_process';
-import { type CaptureHelperInterruptionEvent, readCaptureHelperTiming, type RecipeRunCaptureInterruption, type RecipeRunResult } from '@farmslot/recipe-runner';
-export interface RecipeRecordingOptions {
-    record?: boolean;
-    cdpPort?: string;
-}
-export interface ActiveRecipeRecording {
-    child: ChildProcessWithoutNullStreams;
-    outputPath: string;
-    stagingDir: string;
-    stagedPath: string;
-    relativePath: string;
-    pid: number;
-    stdout: string;
-    stderr: string;
-    exited: boolean;
-    exitCode: number | null;
-    frameReady: boolean;
-    streamStopped?: boolean;
-    finalized: boolean;
-    finalizationError?: unknown;
-    startedAtUnixMs: number;
-    stoppedAtUnixMs?: number;
-    nativeTiming: boolean;
-    completedRecordingId?: string;
-    completedVideo?: boolean;
-    /** capture-helper's `stream_interrupted` event: its stream stopped and it kept the frames so far. */
-    interruption?: CaptureHelperInterruptionEvent;
-    nativeTimingEvidence?: Awaited<ReturnType<typeof readCaptureHelperTiming>>;
-    error?: Error;
-    activePidEnv: string;
-    previousActiveRecordingPid: string | undefined;
-    stderrBuffer: string;
-    pendingSnapshots: Map<string, PendingRecordingSnapshot>;
-}
-interface PendingRecordingSnapshot {
-    outputPath: string;
-    timer: NodeJS.Timeout;
-    resolve: (event: Record<string, unknown> | undefined) => void;
-    reject: (error: Error) => void;
-}
-export declare function startRecipeRecording(adapter: string, projectRoot: string, artifactsDir: string, options: RecipeRecordingOptions): Promise<ActiveRecipeRecording | undefined>;
-/** Ask the recording of `pid` for an in-session snapshot; undefined when none runs. */
-export declare function captureActiveRecipeRecordingSnapshot(pid: number, outputPath: string, timeoutMs?: number): Promise<Record<string, unknown> | undefined>;
-/** Finalize and publish the run video; returns the interruption when only a partial video was kept. */
-export declare function stopRecipeRecording(recording: ActiveRecipeRecording | undefined, result?: RecipeRunResult): Promise<RecipeRunCaptureInterruption | undefined>;
-export {};
-//# sourceMappingURL=run-recording.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"run-recording.d.ts","sourceRoot":"","sources":["../../src/harness/run-recording.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,8BAA8B,EAAoB,MAAM,oBAAoB,CAAC;AAI3F,OAAO,EACL,KAAK,8BAA8B,EAKnC,uBAAuB,EACvB,KAAK,4BAA4B,EACjC,KAAK,eAAe,EAIrB,MAAM,yBAAyB,CAAC;AAUjC,MAAM,WAAW,sBAAsB;IACrC,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,8BAA8B,CAAC;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,UAAU,EAAE,OAAO,CAAC;IACpB,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,SAAS,EAAE,OAAO,CAAC;IACnB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,YAAY,EAAE,OAAO,CAAC;IACtB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,qGAAqG;IACrG,YAAY,CAAC,EAAE,8BAA8B,CAAC;IAC9C,oBAAoB,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC,CAAC;IAC3E,KAAK,CAAC,EAAE,KAAK,CAAC;IAEd,YAAY,EAAE,MAAM,CAAC;IACrB,0BAA0B,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/C,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;CACzD;AAED,UAAU,wBAAwB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC;IAEtB,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,KAAK,IAAI,CAAC;IAC9D,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC;CAChC;AAID,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,sBAAsB,GAC9B,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CAsH5C;AAED,uFAAuF;AACvF,wBAAsB,oCAAoC,CACxD,GAAG,EAAE,MAAM,EACX,UAAU,EAAE,MAAM,EAClB,SAAS,SAAS,GACjB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC,CA4B9C;AAED,uGAAuG;AACvG,wBAAsB,mBAAmB,CACvC,SAAS,EAAE,qBAAqB,GAAG,SAAS,EAC5C,MAAM,CAAC,EAAE,eAAe,GACvB,OAAO,CAAC,4BAA4B,GAAG,SAAS,CAAC,CAuCnD"}