@deeeed/metamask-harness 0.19.1 → 0.21.0

package/library/manifests/core.action-manifest.json

@@ -1,30 +1,14 @@
 {
-  "runner_protocol_version": 1,
-  "action_registry_version": 1,
-  "supported_official_actions": [
-    "command",
-    "wait",
-    "assert_file",
-    "assert_json",
-    "assert_exit_code",
-    "assert_output",
-    "watch_logs",
-    "index_artifacts",
-    "end",
-    "call",
-    "switch",
-    "app.status"
-  ],
-  "action_metadata": {
+  "$schema": "https://farmslot.io/schemas/action-manifest-v1.schema.json",
+  "actions": {
     "command": {
       "description": "Run a shell command from the project root.",
       "examples": [
         {
-          "node": {
-            "action": "command",
-            "cmd": "pwd",
-            "intent": "Run a shell command from the project root"
-          }
+          "action": "command",
+          "cmd": "pwd",
+          "intent": "Prepare the project state needed for this proof.",
+          "next": "done"
         }
       ],
       "schema": {
@@ -53,11 +37,10 @@
       "description": "Base wait action.",
       "examples": [
         {
-          "node": {
-            "action": "wait",
-            "duration_ms": 1,
-            "intent": "Base wait action"
-          }
+          "action": "wait",
+          "duration_ms": 1,
+          "intent": "Allow the requested asynchronous state to settle.",
+          "next": "done"
         }
       ],
       "schema": {
@@ -73,153 +56,15 @@
         "additionalProperties": false
       }
     },
-    "switch": {
-      "description": "Choose a graph branch when one resolved string equals another.",
-      "examples": [
-        {
-          "node": {
-            "action": "switch",
-            "value": "{{params.mode}}",
-            "equals": "background_resume",
-            "cases": { "match": "background" },
-            "default": "warm",
-            "intent": "Choose the requested lifecycle preparation path"
-          }
-        }
-      ],
-      "schema": {
-        "type": "object",
-        "properties": {
-          "value": { "type": "string" },
-          "equals": { "type": "string" }
-        },
-        "required": ["value", "equals"],
-        "additionalProperties": false
-      },
-      "result_cases": ["match"]
-    },
-    "watch_logs": {
-      "description": "Base log assertion/capture action.",
-      "examples": [
-        {
-          "node": {
-            "action": "watch_logs",
-            "path": "logs/app.log",
-            "intent": "Base log assertion/capture action"
-          }
-        }
-      ],
-      "schema": {
-        "type": "object",
-        "properties": {
-          "path": {
-            "type": "string"
-          },
-          "contains": {
-            "type": "string"
-          },
-          "scope": {
-            "type": "string",
-            "enum": [
-              "run",
-              "file"
-            ]
-          }
-        },
-        "required": [
-          "path"
-        ],
-        "additionalProperties": false
-      }
-    },
-    "index_artifacts": {
-      "description": "Index extra recipe-authored artifacts that already exist on disk.",
-      "examples": [
-        {
-          "node": {
-            "action": "index_artifacts",
-            "artifacts": [
-              {
-                "path": "reports/result.json",
-                "type": "report",
-                "category": "validation",
-                "label": "Validation report"
-              }
-            ],
-            "intent": "Register a pre-existing report artifact"
-          }
-        }
-      ],
-      "schema": {
-        "type": "object",
-        "properties": {
-          "artifacts": {
-            "type": "array",
-            "items": {
-              "type": [
-                "string",
-                "object"
-              ],
-              "properties": {
-                "path": {
-                  "type": "string"
-                },
-                "type": {
-                  "type": "string"
-                },
-                "label": {
-                  "type": "string"
-                },
-                "nodeId": {
-                  "type": "string"
-                },
-                "mimeType": {
-                  "type": "string"
-                },
-                "category": {
-                  "type": "string"
-                },
-                "proofTarget": {
-                  "type": "string"
-                },
-                "covers": {
-                  "type": "array",
-                  "items": {
-                    "type": "string"
-                  }
-                }
-              },
-              "additionalProperties": false
-            }
-          }
-        },
-        "required": [
-          "artifacts"
-        ],
-        "additionalProperties": false
-      }
-    },
-    "end": {
-      "description": "Base terminal action.",
-      "examples": [
-        {
-          "node": {
-            "action": "end",
-            "status": "pass"
-          }
-        }
-      ]
-    },
     "assert_file": {
       "description": "Assert that a project file exists and optionally contains text.",
       "examples": [
         {
-          "node": {
-            "action": "assert_file",
-            "path": "reports/result.txt",
-            "contains": "ok",
-            "intent": "Assert that a project file exists and optionally contains text"
-          }
+          "action": "assert_file",
+          "path": "reports/result.txt",
+          "contains": "ok",
+          "intent": "Confirm the requested project file state.",
+          "next": "done"
         }
       ],
       "schema": {
@@ -242,16 +87,15 @@
       "description": "Assert a JSON file value with a JSONPath-style selector.",
       "examples": [
         {
-          "node": {
-            "action": "assert_json",
-            "path": "reports/result.json",
-            "assert": {
-              "path": "$.status",
-              "operator": "eq",
-              "value": "ok"
-            },
-            "intent": "Assert a JSON file value with a JSONPath-style selector"
-          }
+          "action": "assert_json",
+          "path": "reports/result.json",
+          "assert": {
+            "path": "$.status",
+            "operator": "eq",
+            "value": "ok"
+          },
+          "intent": "Confirm the recorded data satisfies the requested condition.",
+          "next": "done"
         }
       ],
       "schema": {
@@ -321,12 +165,11 @@
       "description": "Assert the exit code captured from a command node output.",
       "examples": [
         {
-          "node": {
-            "action": "assert_exit_code",
-            "source": "run-tests",
-            "expected": 0,
-            "intent": "Assert the exit code captured from a command node output"
-          }
+          "action": "assert_exit_code",
+          "source": "run-tests",
+          "expected": 0,
+          "intent": "Confirm the project command completed with the expected result.",
+          "next": "done"
         }
       ],
       "schema": {
@@ -349,13 +192,12 @@
       "description": "Assert stdout or stderr captured from a command node output.",
       "examples": [
         {
-          "node": {
-            "action": "assert_output",
-            "source": "run-tests",
-            "stream": "stdout",
-            "contains": "PASS",
-            "intent": "Assert stdout or stderr captured from a command node output"
-          }
+          "action": "assert_output",
+          "source": "run-tests",
+          "stream": "stdout",
+          "contains": "PASS",
+          "intent": "Confirm the recorded output satisfies the requested condition.",
+          "next": "done"
         }
       ],
       "schema": {
@@ -429,40 +271,175 @@
         "additionalProperties": false
       }
     },
-    "app.status": {
-      "description": "Report the core checkout shape and headless compatibility mode for the perps controller.",
+    "watch_logs": {
+      "description": "Base log assertion/capture action.",
       "examples": [
         {
-          "node": {
-            "action": "app.status",
-            "intent": "Report the resolved core checkout status",
-            "next": "done"
+          "action": "watch_logs",
+          "path": "logs/app.log",
+          "intent": "Observe the runtime behavior needed for this proof.",
+          "next": "done"
+        }
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "path": {
+            "type": "string"
+          },
+          "contains": {
+            "type": "string"
+          },
+          "scope": {
+            "type": "string",
+            "enum": [
+              "run",
+              "file"
+            ]
           }
+        },
+        "required": [
+          "path"
+        ],
+        "additionalProperties": false
+      }
+    },
+    "index_artifacts": {
+      "description": "Index extra recipe-authored artifacts that already exist on disk.",
+      "examples": [
+        {
+          "action": "index_artifacts",
+          "artifacts": [
+            {
+              "path": "reports/result.json",
+              "type": "report",
+              "category": "validation",
+              "label": "Validation report"
+            }
+          ],
+          "intent": "Preserve generated evidence in the review package.",
+          "next": "done"
         }
       ],
       "schema": {
         "type": "object",
-        "properties": {},
+        "properties": {
+          "artifacts": {
+            "type": "array",
+            "items": {
+              "type": [
+                "string",
+                "object"
+              ],
+              "properties": {
+                "path": {
+                  "type": "string"
+                },
+                "type": {
+                  "type": "string"
+                },
+                "label": {
+                  "type": "string"
+                },
+                "nodeId": {
+                  "type": "string"
+                },
+                "mimeType": {
+                  "type": "string"
+                },
+                "category": {
+                  "type": "string"
+                },
+                "proofTarget": {
+                  "type": "string"
+                },
+                "covers": {
+                  "type": "array",
+                  "items": {
+                    "type": "string"
+                  }
+                }
+              },
+              "additionalProperties": false
+            }
+          }
+        },
+        "required": [
+          "artifacts"
+        ],
         "additionalProperties": false
       }
     },
+    "end": {
+      "description": "Base terminal action.",
+      "examples": [
+        {
+          "action": "end",
+          "status": "pass"
+        }
+      ]
+    },
     "call": {
       "description": "Invoke a named recipe by ref and run its steps inline.",
       "examples": [
         {
-          "node": {
-            "action": "call",
-            "ref": "shared/setup",
-            "intent": "Run a shared recipe"
-          }
+          "action": "call",
+          "ref": "shared/setup",
+          "intent": "Run a shared recipe",
+          "next": "done"
         }
       ]
-    }
-  },
-  "custom_actions": [
-    {
-      "name": "metamask.wallet.list_accounts",
-      "owner": "metamask",
+    },
+    "switch": {
+      "description": "Choose a graph branch when one resolved string equals another.",
+      "examples": [
+        {
+          "action": "switch",
+          "value": "{{params.mode}}",
+          "equals": "background_resume",
+          "cases": {
+            "match": "background"
+          },
+          "default": "warm",
+          "intent": "Choose the graph path matching the observed state."
+        }
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {
+          "value": {
+            "type": "string"
+          },
+          "equals": {
+            "type": "string"
+          }
+        },
+        "required": [
+          "value",
+          "equals"
+        ],
+        "additionalProperties": false
+      },
+      "result_cases": [
+        "match"
+      ]
+    },
+    "app.status": {
+      "description": "Report the core checkout shape and headless compatibility mode for the perps controller.",
+      "examples": [
+        {
+          "action": "app.status",
+          "intent": "Record the resolved application state before continuing.",
+          "next": "done"
+        }
+      ],
+      "schema": {
+        "type": "object",
+        "properties": {},
+        "additionalProperties": false
+      }
+    },
+    "metamask.wallet.list_accounts": {
       "description": "List redacted headless fixture accounts available to Core controller actions.",
       "schema": {
         "type": "object",
@@ -492,20 +469,14 @@
       },
       "examples": [
         {
-          "description": "List configured Core accounts",
-          "node": {
-            "action": "metamask.wallet.list_accounts",
-            "intent": "Discover the accounts available to headless controller actions"
-          }
+          "action": "metamask.wallet.list_accounts",
+          "intent": "Discover the accounts available to headless controller actions",
+          "next": "done"
         }
       ],
-      "proof_effect": "Records the redacted addresses derived from the same wallet fixture used by headless controller actions.",
-      "safety_notes": "Read-only fixture metadata; must never return private keys, mnemonics, passwords, or vault data.",
       "execution_capabilities": []
     },
-    {
-      "name": "metamask.perps.read_positions",
-      "owner": "metamask",
+    "metamask.perps.read_positions": {
       "description": "core Read live Perps positions directly from the Perps controller; without a selector, return all live positions.",
       "schema": {
         "type": "object",
@@ -607,21 +578,15 @@
       },
       "examples": [
         {
-          "description": "Read every live position for the configured account",
-          "node": {
-            "action": "metamask.perps.read_positions",
-            "mode": "all",
-            "intent": "Read Perps positions from the headless controller"
-          }
+          "action": "metamask.perps.read_positions",
+          "mode": "all",
+          "intent": "Read Perps positions from the headless controller",
+          "next": "done"
         }
       ],
-      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output.",
-      "safety_notes": "Read-only HyperLiquid query on the explicitly selected network; must not inject controller/UI state to fabricate proof.",
       "execution_capabilities": []
     },
-    {
-      "name": "metamask.perps.read_orders",
-      "owner": "metamask",
+    "metamask.perps.read_orders": {
       "description": "core Read live Perps open orders directly from the Perps controller; without a selector, return all live orders.",
       "schema": {
         "type": "object",
@@ -723,21 +688,15 @@
       },
       "examples": [
         {
-          "description": "Read every live open order for the configured account",
-          "node": {
-            "action": "metamask.perps.read_orders",
-            "mode": "all",
-            "intent": "Read Perps open orders from the headless controller"
-          }
+          "action": "metamask.perps.read_orders",
+          "mode": "all",
+          "intent": "Read Perps open orders from the headless controller",
+          "next": "done"
         }
       ],
-      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output.",
-      "safety_notes": "Read-only HyperLiquid query on the explicitly selected network; must not inject controller/UI state to fabricate proof.",
       "execution_capabilities": []
     },
-    {
-      "name": "metamask.perps.read_account",
-      "owner": "metamask",
+    "metamask.perps.read_account": {
       "description": "core Read live Perps account state (balances, margin) directly from the perps controller (HyperLiquid testnet, HTTP read-only).",
       "schema": {
         "type": "object",
@@ -754,20 +713,14 @@
       },
       "examples": [
         {
-          "description": "Read account state for the configured account",
-          "node": {
-            "action": "metamask.perps.read_account",
-            "intent": "Read Perps account state from the headless controller"
-          }
+          "action": "metamask.perps.read_account",
+          "intent": "Read Perps account state from the headless controller",
+          "next": "done"
         }
       ],
-      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output.",
-      "safety_notes": "Read-only HyperLiquid testnet HTTP query; must not inject controller/UI state to fabricate proof.",
       "execution_capabilities": []
     },
-    {
-      "name": "metamask.perps.place_order",
-      "owner": "metamask",
+    "metamask.perps.place_order": {
       "description": "core Place a real Perps order on HyperLiquid testnet by driving the headless perps controller placeOrder() through the full signing/provider path. Testnet only Supports market (default) and resting limit orders (order_type=limit with price/offset_pct).",
       "schema": {
         "type": "object",
@@ -838,7 +791,7 @@
               "long",
               "short"
             ],
-            "description": "Order direction (default: long)."
+            "description": "Required order direction."
           },
           "order_type": {
             "type": "string",
@@ -857,11 +810,17 @@
             "description": "Resting limit price as a percent offset from live mid for limit orders (e.g. -30 = 30%% below mid for a non-filling BUY; default -30 buy / +30 sell). Alias: offsetPct."
           },
           "amount": {
-            "type": "string",
+            "type": [
+              "string",
+              "number"
+            ],
             "description": "USD notional alias."
           },
           "notional": {
-            "type": "string",
+            "type": [
+              "string",
+              "number"
+            ],
             "description": "USD notional alias."
           },
           "leverage": {
@@ -880,40 +839,32 @@
       },
       "examples": [
         {
-          "description": "Place a small BTC long market order on testnet",
-          "node": {
-            "action": "metamask.perps.place_order",
-            "market": "BTC",
-            "side": "long",
-            "notional": "11",
-            "leverage": 2,
-            "intent": "Place the requested Perps order via the headless controller"
-          }
+          "action": "metamask.perps.place_order",
+          "market": "BTC",
+          "side": "long",
+          "notional": "11",
+          "leverage": 2,
+          "intent": "Place the requested Perps order via the headless controller",
+          "next": "done"
         },
         {
-          "description": "Place a resting BTC limit BUY 30%% below mid on testnet (does not fill)",
-          "node": {
-            "action": "metamask.perps.place_order",
-            "market": "BTC",
-            "side": "long",
-            "order_type": "limit",
-            "offset_pct": -30,
-            "notional": "11",
-            "leverage": 2,
-            "intent": "Place a resting Perps limit order via the headless controller"
-          }
+          "action": "metamask.perps.place_order",
+          "market": "BTC",
+          "side": "long",
+          "order_type": "limit",
+          "offset_pct": -30,
+          "notional": "11",
+          "leverage": 2,
+          "intent": "Place a resting Perps limit order via the headless controller",
+          "next": "done"
         }
       ],
-      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output (order id, opened position).",
-      "safety_notes": "Submits a REAL signed order to HyperLiquid testnet; must not mock the signer/provider or inject controller state to fabricate proof.",
       "execution_capabilities": [
         "app-mutation",
         "external-mutation"
       ]
     },
-    {
-      "name": "metamask.perps.close_positions",
-      "owner": "metamask",
+    "metamask.perps.close_positions": {
       "description": "core Close selected live Perps positions on HyperLiquid testnet by driving the headless perps controller closePosition() through the full signing/provider path. Testnet only.",
       "schema": {
         "type": "object",
@@ -1006,24 +957,18 @@
       },
       "examples": [
         {
-          "description": "Close the BTC position on testnet",
-          "node": {
-            "action": "metamask.perps.close_positions",
-            "market": "BTC",
-            "intent": "Close selected Perps positions via the headless controller"
-          }
+          "action": "metamask.perps.close_positions",
+          "market": "BTC",
+          "intent": "Close selected Perps positions via the headless controller",
+          "next": "done"
         }
       ],
-      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output (positions absent after close).",
-      "safety_notes": "Submits REAL signed close orders to HyperLiquid testnet; must not mock the signer/provider or inject controller state to fabricate proof.",
       "execution_capabilities": [
         "app-mutation",
         "external-mutation"
       ]
     },
-    {
-      "name": "metamask.perps.assert_positions",
-      "owner": "metamask",
+    "metamask.perps.assert_positions": {
       "description": "core Assert live Perps positions are present or absent for an explicit market selection or mode=all.",
       "schema": {
         "type": "object",
@@ -1139,22 +1084,16 @@
       },
       "examples": [
         {
-          "description": "Assert BTC position is open",
-          "node": {
-            "action": "metamask.perps.assert_positions",
-            "state": "open",
-            "market": "BTC",
-            "intent": "Assert the expected Perps position state via the headless controller"
-          }
+          "action": "metamask.perps.assert_positions",
+          "state": "open",
+          "market": "BTC",
+          "intent": "Assert the expected Perps position state via the headless controller",
+          "next": "done"
         }
       ],
-      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output.",
-      "safety_notes": "Read-only HyperLiquid query on the explicitly selected network; must not inject controller state to fabricate proof.",
       "execution_capabilities": []
     },
-    {
-      "name": "metamask.perps.ensure_positions",
-      "owner": "metamask",
+    "metamask.perps.ensure_positions": {
       "description": "core Higher-level wrapper that reads selected positions, places or closes via the headless controller as needed, then asserts the final position state. Testnet only.",
       "schema": {
         "type": "object",
@@ -1233,7 +1172,7 @@
               "long",
               "short"
             ],
-            "description": "Order/position direction (default: long when placing)."
+            "description": "Required when state=open/present; otherwise filters selected positions."
           },
           "state": {
             "type": "string",
@@ -1247,11 +1186,17 @@
             "description": "Desired selected position state to converge to."
           },
           "amount": {
-            "type": "string",
+            "type": [
+              "string",
+              "number"
+            ],
             "description": "USD notional alias (used when placing to reach state open)."
           },
           "notional": {
-            "type": "string",
+            "type": [
+              "string",
+              "number"
+            ],
             "description": "USD notional alias."
           },
           "leverage": {
@@ -1272,25 +1217,28 @@
       },
       "examples": [
         {
-          "description": "Ensure no BTC position before the proof window",
-          "node": {
-            "action": "metamask.perps.ensure_positions",
-            "state": "none",
-            "market": "BTC",
-            "intent": "Converge Perps positions to the requested state via the headless controller"
-          }
+          "action": "metamask.perps.ensure_positions",
+          "state": "none",
+          "market": "BTC",
+          "intent": "Converge Perps positions to the requested state via the headless controller",
+          "next": "done"
+        },
+        {
+          "action": "metamask.perps.ensure_positions",
+          "market": "ETH",
+          "side": "long",
+          "state": "open",
+          "notional": "10",
+          "intent": "Converge ETH positions to one explicit testnet precondition",
+          "next": "done"
         }
       ],
-      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or controller output.",
-      "safety_notes": "May submit REAL signed orders to HyperLiquid testnet; must not mock the signer/provider or inject controller state to fabricate proof.",
       "execution_capabilities": [
         "app-mutation",
         "external-mutation"
       ]
     },
-    {
-      "name": "metamask.perps.close_orders",
-      "owner": "metamask",
+    "metamask.perps.close_orders": {
       "description": "core Default to testnet for Perps mutations; mainnet is read-only unless explicitly requested. Cancel selected live Perps open orders. Use selector/mode params to cancel matching symbols or all orders.",
       "schema": {
         "type": "object",
@@ -1379,32 +1327,24 @@
       },
       "examples": [
         {
-          "description": "Cancel every open order",
-          "node": {
-            "action": "metamask.perps.close_orders",
-            "mode": "all",
-            "intent": "Cancel selected Perps orders before continuing"
-          }
+          "action": "metamask.perps.close_orders",
+          "mode": "all",
+          "intent": "Cancel selected Perps orders before continuing",
+          "next": "done"
         },
         {
-          "description": "Cancel BTC orders only",
-          "node": {
-            "action": "metamask.perps.close_orders",
-            "market": "BTC",
-            "intent": "Cancel selected Perps orders before continuing"
-          }
+          "action": "metamask.perps.close_orders",
+          "market": "BTC",
+          "intent": "Cancel selected Perps orders before continuing",
+          "next": "done"
         }
       ],
-      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or target runtime output.",
-      "safety_notes": "Must not inject mid-recipe UI/app state to fabricate proof.",
       "execution_capabilities": [
         "app-mutation",
         "external-mutation"
       ]
     },
-    {
-      "name": "metamask.perps.assert_orders",
-      "owner": "metamask",
+    "metamask.perps.assert_orders": {
       "description": "core Assert live Perps open orders are present or absent for an explicit market selection or mode=all.",
       "schema": {
         "type": "object",
@@ -1516,22 +1456,16 @@
       },
       "examples": [
         {
-          "description": "Assert no BTC open orders",
-          "node": {
-            "action": "metamask.perps.assert_orders",
-            "state": "none",
-            "market": "BTC",
-            "intent": "Assert the expected Perps open order state"
-          }
+          "action": "metamask.perps.assert_orders",
+          "state": "none",
+          "market": "BTC",
+          "intent": "Assert the expected Perps open order state",
+          "next": "done"
         }
       ],
-      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or target runtime output.",
-      "safety_notes": "Read-only HyperLiquid query on the explicitly selected network; must not inject mid-recipe state to fabricate proof.",
       "execution_capabilities": []
     },
-    {
-      "name": "metamask.perps.ensure_orders",
-      "owner": "metamask",
+    "metamask.perps.ensure_orders": {
       "description": "core Default to testnet for Perps mutations; mainnet is read-only unless explicitly requested.Higher-level wrapper that reads selected orders, cancels when needed, then asserts final order state.",
       "schema": {
         "type": "object",
@@ -1610,11 +1544,29 @@
               "long",
               "short"
             ],
-            "description": "Optional position/order side filter."
+            "description": "Required when state=open/present; otherwise filters selected orders."
           },
           "timeout_ms": {
             "type": "number"
           },
+          "amount": {
+            "type": [
+              "string",
+              "number"
+            ],
+            "description": "Explicit USD notional used only when creating a missing open order. Alias: notional."
+          },
+          "notional": {
+            "type": [
+              "string",
+              "number"
+            ],
+            "description": "Alias for amount."
+          },
+          "leverage": {
+            "type": "number",
+            "description": "Leverage used only when creating a missing open order."
+          },
           "state": {
             "type": "string",
             "enum": [
@@ -1634,25 +1586,29 @@
       },
       "examples": [
         {
-          "description": "Ensure no open orders before proof window",
-          "node": {
-            "action": "metamask.perps.ensure_orders",
-            "state": "none",
-            "mode": "all",
-            "intent": "Converge Perps orders to the requested state"
-          }
+          "action": "metamask.perps.ensure_orders",
+          "state": "none",
+          "mode": "all",
+          "intent": "Converge Perps orders to the requested state",
+          "next": "done"
+        },
+        {
+          "action": "metamask.perps.ensure_orders",
+          "market": "ETH",
+          "side": "short",
+          "state": "open",
+          "notional": "10",
+          "leverage": 2,
+          "intent": "Converge ETH open orders to one explicit testnet precondition",
+          "next": "done"
         }
       ],
-      "proof_effect": "E2E validation must record this action in trace.json; live-proof actions include liveAdapter/proofPath or target runtime output.",
-      "safety_notes": "Must not inject mid-recipe UI/app state to fabricate proof.",
       "execution_capabilities": [
         "app-mutation",
         "external-mutation"
       ]
     },
-    {
-      "name": "metamask.perps.start_state",
-      "owner": "metamask",
+    "metamask.perps.start_state": {
       "description": "core Default to testnet for Perps mutations; mainnet is read-only unless explicitly requested.Recommended configurable Perps start state that composes reusable domain operations before the proof window. Headless: converges POSITION and ORDER baselines on testnet via the controller; no navigation/page/HUD.",
       "schema": {
         "type": "object",
@@ -1940,48 +1896,40 @@
       },
       "examples": [
         {
-          "description": "Clean BTC testnet market state",
-          "node": {
-            "action": "metamask.perps.start_state",
-            "profile": "clean_market_testnet",
-            "market": "BTC",
-            "positions": {
-              "state": "none"
-            },
-            "orders": {
-              "state": "none"
-            },
-            "intent": "Prepare the Perps start state for the proof",
-            "network": "testnet"
-          }
+          "action": "metamask.perps.start_state",
+          "profile": "clean_market_testnet",
+          "market": "BTC",
+          "positions": {
+            "state": "none"
+          },
+          "orders": {
+            "state": "none"
+          },
+          "intent": "Prepare the Perps start state for the proof",
+          "network": "testnet",
+          "next": "done"
         },
         {
-          "description": "Start with an open ETH long position",
-          "node": {
-            "action": "metamask.perps.start_state",
-            "profile": "open_position_testnet",
-            "market": "ETH",
-            "side": "long",
-            "positions": {
-              "state": "open",
-              "notional": "10",
-              "leverage": 2
-            },
-            "intent": "Prepare the Perps start state for the proof",
-            "network": "testnet"
-          }
+          "action": "metamask.perps.start_state",
+          "profile": "open_position_testnet",
+          "market": "ETH",
+          "side": "long",
+          "positions": {
+            "state": "open",
+            "notional": "10",
+            "leverage": 2
+          },
+          "intent": "Prepare the Perps start state for the proof",
+          "network": "testnet",
+          "next": "done"
         }
       ],
-      "proof_effect": "Runs in setup/teardown phase and must be visible in trace.json; proof videos can keep this as trace-only setup.",
-      "safety_notes": "Composes supported app/API paths and must not mutate React/Redux/MobX/DOM/local storage to fabricate proof.",
       "execution_capabilities": [
         "app-mutation",
         "external-mutation"
       ]
     },
-    {
-      "name": "metamask.perps.teardown_state",
-      "owner": "metamask",
+    "metamask.perps.teardown_state": {
       "description": "core Recommended configurable Perps teardown state that restores the selected environment after proof. Headless: converges POSITION and ORDER baselines on testnet via the controller; no navigation/page/HUD.",
       "schema": {
         "type": "object",
@@ -2269,108 +2217,28 @@
       },
       "examples": [
         {
-          "description": "Return BTC test account to clean state",
-          "node": {
-            "action": "metamask.perps.teardown_state",
-            "market": "BTC",
-            "positions": {
-              "state": "none"
-            },
-            "orders": {
-              "state": "none"
-            },
-            "intent": "Restore Perps state after the proof"
-          }
+          "action": "metamask.perps.teardown_state",
+          "market": "BTC",
+          "positions": {
+            "state": "none"
+          },
+          "orders": {
+            "state": "none"
+          },
+          "intent": "Restore Perps state after the proof",
+          "next": "done"
         },
         {
-          "description": "Teardown only state created by selected market",
-          "node": {
-            "action": "metamask.perps.teardown_state",
-            "market": "BTC",
-            "intent": "Restore Perps state after the proof"
-          }
+          "action": "metamask.perps.teardown_state",
+          "market": "BTC",
+          "intent": "Restore Perps state after the proof",
+          "next": "done"
         }
       ],
-      "proof_effect": "Runs in setup/teardown phase and must be visible in trace.json; proof videos can keep this as trace-only setup.",
-      "safety_notes": "Composes supported app/API paths and must not mutate React/Redux/MobX/DOM/local storage to fabricate proof.",
       "execution_capabilities": [
         "app-mutation",
         "external-mutation"
       ]
     }
-  ],
-  "native_bindings": [
-    {
-      "action": "command",
-      "implementation": "@farmslot/recipe-harness/adapters/core"
-    },
-    {
-      "action": "wait",
-      "implementation": "@farmslot/recipe-harness/adapters/core"
-    },
-    {
-      "action": "assert_file",
-      "implementation": "@farmslot/recipe-harness/adapters/core"
-    },
-    {
-      "action": "assert_json",
-      "implementation": "@farmslot/recipe-harness/adapters/core"
-    },
-    {
-      "action": "assert_exit_code",
-      "implementation": "@farmslot/recipe-harness/adapters/core"
-    },
-    {
-      "action": "assert_output",
-      "implementation": "@farmslot/recipe-harness/adapters/core"
-    },
-    {
-      "action": "watch_logs",
-      "implementation": "@farmslot/recipe-harness/adapters/core"
-    },
-    {
-      "action": "index_artifacts",
-      "implementation": "@farmslot/recipe-harness/adapters/core"
-    },
-    {
-      "action": "end",
-      "implementation": "@farmslot/recipe-harness/adapters/core"
-    },
-    {
-      "action": "app.status",
-      "implementation": "@metamask/recipe-runner/platform-status"
-    },
-    {
-      "action": "metamask.wallet.list_accounts",
-      "implementation": "@metamask/recipe-runner/core/wallet"
-    },
-    {
-      "action": "metamask.perps.read_positions",
-      "implementation": "@metamask/recipe-runner/core/perps"
-    },
-    {
-      "action": "metamask.perps.read_orders",
-      "implementation": "@metamask/recipe-runner/core/perps"
-    },
-    {
-      "action": "metamask.perps.read_account",
-      "implementation": "@metamask/recipe-runner/core/perps"
-    },
-    {
-      "action": "metamask.perps.place_order",
-      "implementation": "@metamask/recipe-runner/core/perps"
-    },
-    {
-      "action": "metamask.perps.close_positions",
-      "implementation": "@metamask/recipe-runner/core/perps"
-    },
-    {
-      "action": "metamask.perps.assert_positions",
-      "implementation": "@metamask/recipe-runner/core/perps"
-    },
-    {
-      "action": "metamask.perps.ensure_positions",
-      "implementation": "@metamask/recipe-runner/core/perps"
-    }
-  ]
+  }
 }