@deeeed/metamask-harness 0.45.0 → 0.46.0

package/library/recipes/mobile/perps/scale-assert-orders.recipe.json

@@ -0,0 +1,126 @@
+{
+  "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
+  "title": "Assert Mobile Pro Scale child orders",
+  "description": "Opens the standard Orders tab and proves the selected Scale ladder produced the requested number of child orders.",
+  "paramsSchema": {
+    "type": "object",
+    "additionalProperties": false,
+    "required": ["account"],
+    "properties": {
+      "account": {
+        "type": "string",
+        "description": "Exact fixture account name, such as Trading or dev1."
+      },
+      "provider": { "type": "string", "default": "hyperliquid" },
+      "network": {
+        "type": "string",
+        "enum": ["testnet", "mainnet"],
+        "default": "testnet",
+        "description": "Assertions are read-only and may inspect either network."
+      },
+      "market": {
+        "type": "string",
+        "default": "BTC"
+      },
+      "orders": {
+        "type": "integer",
+        "enum": [3],
+        "default": 3
+      }
+    }
+  },
+  "workflow": {
+    "entry": "prepare",
+    "nodes": {
+      "prepare": {
+        "action": "call",
+        "ref": "perps.pro-order-start-state",
+        "params": {
+          "account": "{{params.account}}",
+          "provider": "{{params.provider}}",
+          "network": "{{params.network}}",
+          "market": "{{params.market}}"
+        },
+        "intent": "Reach and prove the requested Pro market without changing Scale orders.",
+        "next": "position-tab"
+      },
+      "position-tab": {
+        "action": "ui.scroll",
+        "test_id": "perps-pro-market-positions-panel-tab-orders",
+        "scroll_into_view": true,
+        "intent": "Expose the standard Orders tab for visible review.",
+        "next": "wait-tab"
+      },
+      "wait-tab": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-market-positions-panel-tab-orders",
+        "expected": "visible",
+        "timeout_ms": 15000,
+        "intent": "Require the standard Orders tab to be visible.",
+        "next": "open-tab"
+      },
+      "open-tab": {
+        "action": "ui.press",
+        "test_id": "perps-pro-market-positions-panel-tab-orders",
+        "intent": "Open the standard order list.",
+        "next": "wait-first-child"
+      },
+      "wait-first-child": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-market-order-row-{{params.market}}-0",
+        "expected": "visible",
+        "timeout_ms": 15000,
+        "intent": "Require a visible standard child order for the selected market.",
+        "next": "capture-first-child"
+      },
+      "capture-first-child": {
+        "action": "ui.screenshot",
+        "path": "screenshots/evidence-scale-orders-first-{{params.market}}.png",
+        "label": "The standard Orders tab shows the Scale count and first child Limit order.",
+        "intent": "Preserve the visible Scale order count and first child for review.",
+        "next": "position-second-child"
+      },
+      "position-second-child": {
+        "action": "ui.scroll",
+        "test_id": "perps-pro-market-order-row-{{params.market}}-1",
+        "scroll_into_view": true,
+        "intent": "Expose the second Scale child order.",
+        "next": "wait-second-child"
+      },
+      "wait-second-child": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-market-order-row-{{params.market}}-1",
+        "expected": "visible",
+        "timeout_ms": 15000,
+        "intent": "Require the second visible Scale child order for the selected market.",
+        "next": "position-third-child"
+      },
+      "position-third-child": {
+        "action": "ui.scroll",
+        "test_id": "perps-pro-market-order-row-{{params.market}}-2",
+        "scroll_into_view": true,
+        "intent": "Expose the third Scale child order.",
+        "next": "wait-third-child"
+      },
+      "wait-third-child": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-market-order-row-{{params.market}}-2",
+        "expected": "visible",
+        "timeout_ms": 15000,
+        "intent": "Require the third visible Scale child order for the selected market.",
+        "next": "capture"
+      },
+      "capture": {
+        "action": "ui.screenshot",
+        "path": "screenshots/evidence-scale-orders-{{params.market}}.png",
+        "label": "The standard Orders tab shows the second and third Scale child Limit orders.",
+        "intent": "Preserve the visible lower Scale child orders for review.",
+        "next": "done"
+      },
+      "done": {
+        "action": "end",
+        "status": "pass"
+      }
+    }
+  }
+}

package/library/recipes/mobile/perps/scale-place.recipe.json

@@ -0,0 +1,186 @@
+{
+  "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
+  "title": "Place a Mobile Pro Scale order",
+  "description": "Places a parameterized Scale ladder through visible Mobile Pro controls, cleaning only the testnet path.",
+  "paramsSchema": {
+    "type": "object",
+    "additionalProperties": false,
+    "required": ["account"],
+    "properties": {
+      "account": {
+        "type": "string",
+        "description": "Exact fixture account name, such as Trading or dev1."
+      },
+      "provider": { "type": "string", "default": "hyperliquid" },
+      "network": {
+        "type": "string",
+        "enum": ["testnet", "mainnet"],
+        "default": "testnet",
+        "description": "Mainnet placement requires an explicit user request."
+      },
+      "market": {
+        "type": "string",
+        "default": "BTC"
+      },
+      "side": {
+        "type": "string",
+        "enum": [
+          "long",
+          "short"
+        ],
+        "default": "long"
+      },
+      "notional": {
+        "type": "string",
+        "default": "100"
+      },
+      "orders": {
+        "type": "string",
+        "default": "3"
+      },
+      "skew": {
+        "type": "string",
+        "default": "1"
+      },
+      "start_price": {
+        "type": "string",
+        "default": "70000",
+        "description": "Lower ladder price; override when changing market."
+      },
+      "end_price": {
+        "type": "string",
+        "default": "75000",
+        "description": "Upper ladder price; override when changing market."
+      }
+    }
+  },
+  "workflow": {
+    "entry": "prepare",
+    "nodes": {
+      "prepare": {
+        "action": "call",
+        "ref": "perps.pro-order-setup",
+        "params": {
+          "account": "{{params.account}}",
+          "provider": "{{params.provider}}",
+          "network": "{{params.network}}",
+          "market": "{{params.market}}",
+          "side": "{{params.side}}"
+        },
+        "intent": "Prepare the requested Pro order form and Advanced picker.",
+        "next": "position-scale"
+      },
+      "position-scale": {
+        "action": "ui.scroll",
+        "test_id": "perps-order-type-scale",
+        "scroll_into_view": true,
+        "intent": "Expose the Scale option for visible selection.",
+        "next": "wait-scale"
+      },
+      "wait-scale": {
+        "action": "ui.wait_for",
+        "test_id": "perps-order-type-scale",
+        "expected": "visible",
+        "timeout_ms": 10000,
+        "intent": "Fail closed unless Scale is visibly offered.",
+        "next": "select-scale"
+      },
+      "select-scale": {
+        "action": "ui.press",
+        "test_id": "perps-order-type-scale",
+        "intent": "Select Scale.",
+        "next": "position-fields"
+      },
+      "position-fields": {
+        "action": "ui.scroll",
+        "test_id": "perps-pro-order-form-scale-fields",
+        "scroll_into_view": true,
+        "intent": "Expose the Scale inputs for visible entry.",
+        "next": "wait-fields"
+      },
+      "wait-fields": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-order-form-scale-fields",
+        "expected": "visible",
+        "timeout_ms": 10000,
+        "intent": "Confirm the Scale ladder inputs are visible.",
+        "next": "set-start"
+      },
+      "set-start": {
+        "action": "ui.set_input",
+        "test_id": "perps-pro-order-form-scale-start-price",
+        "value": "{{params.start_price}}",
+        "intent": "Define the first price in the ladder.",
+        "next": "set-end"
+      },
+      "set-end": {
+        "action": "ui.set_input",
+        "test_id": "perps-pro-order-form-scale-end-price",
+        "value": "{{params.end_price}}",
+        "intent": "Define the last price in the ladder.",
+        "next": "set-orders"
+      },
+      "set-orders": {
+        "action": "ui.set_input",
+        "test_id": "perps-pro-order-form-scale-total-orders",
+        "value": "{{params.orders}}",
+        "intent": "Divide the ladder into the requested child count.",
+        "next": "set-skew"
+      },
+      "set-skew": {
+        "action": "ui.set_input",
+        "test_id": "perps-pro-order-form-scale-size-skew",
+        "value": "{{params.skew}}",
+        "intent": "Distribute notional with the requested size skew.",
+        "next": "set-size"
+      },
+      "set-size": {
+        "action": "ui.set_input",
+        "test_id": "perps-pro-order-form-size-input",
+        "value": "{{params.notional}}",
+        "intent": "Enter the requested total USD notional.",
+        "next": "position-preview"
+      },
+      "position-preview": {
+        "action": "ui.scroll",
+        "test_id": "perps-pro-order-form-scale-preview",
+        "scroll_into_view": true,
+        "intent": "Expose the generated Scale preview for review.",
+        "next": "wait-preview"
+      },
+      "wait-preview": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-order-form-scale-preview",
+        "expected": "visible",
+        "timeout_ms": 15000,
+        "intent": "Require a visible Scale preview before submission.",
+        "next": "position-submit"
+      },
+      "position-submit": {
+        "action": "ui.scroll",
+        "test_id": "perps-pro-order-form-scale-preview",
+        "scroll_into_view": true,
+        "intent": "Expose the final Scale fee row directly above submission.",
+        "next": "wait-submit"
+      },
+      "wait-submit": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-order-form-place-order",
+        "expected": "visible",
+        "timeout_ms": 10000,
+        "intent": "Confirm the Scale ladder can be submitted.",
+        "next": "submit"
+      },
+      "submit": {
+        "action": "ui.press",
+        "test_id": "perps-pro-order-form-place-order",
+        "intent": "Submit the Scale ladder to the selected provider and network.",
+        "next": "done"
+      },
+      "done": {
+        "action": "end",
+        "status": "pass"
+      }
+    }
+  }
+}

package/library/recipes/mobile/perps/twap-assert-active.recipe.json

@@ -0,0 +1,97 @@
+{
+  "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
+  "title": "Assert an active Mobile Pro TWAP",
+  "description": "Opens the TWAP Active tab and proves the selected market remains visible after placement.",
+  "paramsSchema": {
+    "type": "object",
+    "additionalProperties": false,
+    "properties": {
+      "account": {
+        "type": "string",
+        "default": "",
+        "description": "Optional exact fixture account name, such as Trading or dev1. Omit it to keep the currently selected account."
+      },
+      "provider": { "type": "string", "default": "hyperliquid" },
+      "network": {
+        "type": "string",
+        "enum": ["testnet", "mainnet"],
+        "default": "testnet",
+        "description": "Assertions are read-only and may inspect either network."
+      },
+      "market": {
+        "type": "string",
+        "default": "BTC"
+      }
+    }
+  },
+  "workflow": {
+    "entry": "prepare",
+    "nodes": {
+      "prepare": {
+        "action": "call",
+        "ref": "perps.pro-order-start-state",
+        "params": {
+          "account": "{{params.account}}",
+          "provider": "{{params.provider}}",
+          "network": "{{params.network}}",
+          "market": "{{params.market}}"
+        },
+        "intent": "Reach and prove the requested Pro market without changing orders.",
+        "next": "position-tab"
+      },
+      "position-tab": {
+        "action": "ui.scroll",
+        "test_id": "perps-pro-market-positions-panel-tab-twap",
+        "scroll_into_view": true,
+        "intent": "Expose the TWAP management tab for visible review.",
+        "next": "wait-tab"
+      },
+      "wait-tab": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-market-positions-panel-tab-twap",
+        "expected": "visible",
+        "timeout_ms": 15000,
+        "intent": "Require the TWAP management tab to be visible.",
+        "next": "open-tab"
+      },
+      "open-tab": {
+        "action": "ui.press",
+        "test_id": "perps-pro-market-positions-panel-tab-twap",
+        "intent": "Open TWAP management.",
+        "next": "open-active"
+      },
+      "open-active": {
+        "action": "ui.press",
+        "test_id": "perps-pro-market-twap-view-tab-active",
+        "intent": "Select Active explicitly so History cannot satisfy the assertion.",
+        "next": "position-market"
+      },
+      "position-market": {
+        "action": "ui.scroll",
+        "test_id": "perps-pro-market-twap-market-{{params.market}}",
+        "offset": 600,
+        "intent": "Expose an active card for the selected market.",
+        "next": "wait-market"
+      },
+      "wait-market": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-market-twap-market-{{params.market}}",
+        "expected": "visible",
+        "timeout_ms": 20000,
+        "intent": "Require an active card for the selected market to remain visible.",
+        "next": "capture"
+      },
+      "capture": {
+        "action": "ui.screenshot",
+        "path": "screenshots/evidence-twap-active-{{params.market}}.png",
+        "label": "The selected market is visible in the TWAP Active tab.",
+        "intent": "Preserve the visible active TWAP card for review.",
+        "next": "done"
+      },
+      "done": {
+        "action": "end",
+        "status": "pass"
+      }
+    }
+  }
+}

package/library/recipes/mobile/perps/twap-place.recipe.json

@@ -0,0 +1,146 @@
+{
+  "$schema": "https://farmslot.io/schemas/recipe-v1.schema.json",
+  "title": "Place a Mobile Pro TWAP",
+  "description": "Places one parameterized TWAP through visible Mobile Pro controls, cleaning only the testnet path.",
+  "paramsSchema": {
+    "type": "object",
+    "additionalProperties": false,
+    "properties": {
+      "account": {
+        "type": "string",
+        "default": "",
+        "description": "Optional exact fixture account name, such as Trading or dev1. Omit it to keep the currently selected account."
+      },
+      "provider": { "type": "string", "default": "hyperliquid" },
+      "network": {
+        "type": "string",
+        "enum": ["testnet", "mainnet"],
+        "default": "testnet",
+        "description": "Mainnet placement requires an explicit user request."
+      },
+      "market": {
+        "type": "string",
+        "default": "BTC"
+      },
+      "side": {
+        "type": "string",
+        "enum": [
+          "long",
+          "short"
+        ],
+        "default": "long"
+      },
+      "notional": {
+        "type": "string",
+        "default": "110"
+      },
+      "randomize": {
+        "type": "string",
+        "enum": ["true", "false"],
+        "default": "false"
+      }
+    }
+  },
+  "workflow": {
+    "entry": "prepare",
+    "nodes": {
+      "prepare": {
+        "action": "call",
+        "ref": "perps.pro-order-setup",
+        "params": {
+          "account": "{{params.account}}",
+          "provider": "{{params.provider}}",
+          "network": "{{params.network}}",
+          "market": "{{params.market}}",
+          "side": "{{params.side}}"
+        },
+        "intent": "Prepare the requested Pro order form and Advanced picker.",
+        "next": "position-twap"
+      },
+      "position-twap": {
+        "action": "ui.scroll",
+        "test_id": "perps-order-type-twap",
+        "scroll_into_view": true,
+        "intent": "Expose the TWAP option for visible selection.",
+        "next": "wait-twap"
+      },
+      "wait-twap": {
+        "action": "ui.wait_for",
+        "test_id": "perps-order-type-twap",
+        "expected": "visible",
+        "timeout_ms": 10000,
+        "intent": "Fail closed unless TWAP is visibly offered.",
+        "next": "select-twap"
+      },
+      "select-twap": {
+        "action": "ui.press",
+        "test_id": "perps-order-type-twap",
+        "intent": "Select TWAP.",
+        "next": "position-size"
+      },
+      "position-size": {
+        "action": "ui.scroll",
+        "test_id": "perps-pro-order-form-size-card",
+        "scroll_into_view": true,
+        "intent": "Expose the TWAP size input for visible entry.",
+        "next": "wait-size"
+      },
+      "wait-size": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-order-form-size-card",
+        "expected": "visible",
+        "timeout_ms": 10000,
+        "intent": "Confirm the TWAP size card is visible.",
+        "next": "set-size"
+      },
+      "set-size": {
+        "action": "ui.set_input",
+        "test_id": "perps-pro-order-form-size-input",
+        "value": "{{params.notional}}",
+        "intent": "Enter the requested USD notional.",
+        "next": "choose-randomize"
+      },
+      "choose-randomize": {
+        "action": "switch",
+        "value": "{{params.randomize}}",
+        "equals": "true",
+        "cases": {
+          "match": "enable-randomize"
+        },
+        "default": "position-submit",
+        "intent": "Apply the requested randomization setting."
+      },
+      "enable-randomize": {
+        "action": "ui.press",
+        "test_id": "perps-pro-order-form-twap-randomize",
+        "intent": "Enable randomized slice timing.",
+        "next": "position-submit"
+      },
+      "position-submit": {
+        "action": "ui.scroll",
+        "test_id": "perps-pro-order-form-summary-fees",
+        "scroll_into_view": true,
+        "intent": "Expose the final TWAP fee row directly above submission.",
+        "next": "wait-submit"
+      },
+      "wait-submit": {
+        "action": "ui.wait_for",
+        "test_id": "perps-pro-order-form-place-order",
+        "expected": "visible",
+        "timeout_ms": 10000,
+        "intent": "Confirm the valid TWAP can be submitted.",
+        "next": "submit"
+      },
+      "submit": {
+        "action": "ui.press",
+        "test_id": "perps-pro-order-form-place-order",
+        "intent": "Submit the TWAP to the selected provider and network.",
+        "next": "done"
+      },
+      "done": {
+        "action": "end",
+        "status": "pass"
+      }
+    }
+  }
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@deeeed/metamask-harness",
-  "version": "0.45.0",
+  "version": "0.46.0",
   "type": "module",
   "bin": {
     "mm-harness": "bin/mm-harness"

package/site/perps-advanced-orders-qa.html

@@ -0,0 +1,96 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+<meta charset="utf-8">
+<meta name="viewport" content="width=device-width, initial-scale=1">
+<title>Mobile Pro advanced orders — QA walkthrough</title>
+<meta name="description" content="Offline QA walkthrough and reusable mm-harness commands for Mobile Pro TWAP, Chase, and Scale orders.">
+<link rel="icon" href="assets/metamask-fox.svg" type="image/svg+xml">
+<link rel="stylesheet" href="assets/style.css?v=4">
+</head>
+<body>
+<a class="skip" href="#checks">Skip to checks</a>
+<header class="topbar">
+  <div class="wrap topbar-inner">
+    <a class="brand" href="index.html"><img class="brand-mark" src="assets/metamask-fox.svg" alt="" width="22" height="22"><span class="brand-name">recipes</span></a>
+    <nav class="nav" aria-label="Main">
+      <a class="nav-cta" href="index.html#prompt">Quick start</a>
+      <a href="how-it-works.html">How it works</a>
+      <a href="perps.html" aria-current="page">Team / Perps</a>
+      <a href="cheatsheet.html">Cheatsheet</a>
+      <a href="architecture.html">Architecture</a>
+      <a href="tutorials/index.html">Tutorials</a>
+    </nav>
+  </div>
+</header>
+<main>
+<section class="wrap hero" style="padding-bottom:1rem">
+  <span class="eyebrow">Mobile Pro QA</span>
+  <h1>Advanced orders must remain observable</h1>
+  <p class="lede">Place TWAP, Chase, and Scale through visible Pro controls, then prove the resulting work remains available where a trader expects to monitor it.</p>
+  <div class="hero-meta"><span>Hyperliquid testnet</span><span>visible UI only</span><span>parameterized recipes</span></div>
+</section>
+
+<section class="wrap" id="checks">
+  <div class="note blue">
+    <span class="note-title">Safety boundary</span>
+    <p>Use a prepared fixture wallet with the three Mobile flags enabled. Omit <code>account</code> to keep the account already selected in MetaMask. Provider, network, and market use the recipe defaults; every recipe defaults to testnet. Mainnet requires an explicit user request; never infer it from context. Assertions preserve orders on either network, and placement preserves existing mainnet trading state. Do not use React state overrides, coordinate gestures, reloads, or background transitions to repair a failed proof.</p>
+  </div>
+
+  <h2>Preflight</h2>
+  <ol>
+    <li>Launch and verify the prepared Mobile slot with <code>mm-harness launch ios --verify --adapter mobile --target &lt;mobile-checkout&gt;</code>.</li>
+    <li>Confirm the recipes appear in <code>mm-harness run --list --adapter mobile</code>.</li>
+    <li>Choose a funded testnet account and market, and pass explicit parameters when its safe ladder prices differ from the BTC defaults.</li>
+    <li>Let cleanup finish after every lane. Preserve the first failure and its trace.</li>
+  </ol>
+
+  <h2>TWAP: place, then monitor</h2>
+  <div class="cmd"><pre><code>mm-harness run perps.twap-place account=dev1 provider=hyperliquid network=testnet market=BTC side=long notional=110 randomize=false --adapter mobile
+mm-harness run perps.twap-assert-active account=dev1 provider=hyperliquid network=testnet market=BTC --adapter mobile</code></pre></div>
+  <ol>
+    <li>The Advanced picker visibly offers TWAP.</li>
+    <li>The five-minute schedule is accepted and the form resets.</li>
+    <li>The TWAP tab opens on Active and shows a card for the selected market.</li>
+  </ol>
+  <p>A placement toast without an active card is a product failure: the schedule has vanished from the trader's monitoring surface. Mobile supports a 24-hour venue maximum; do not claim a seven-day duration, trigger price, or max price.</p>
+
+  <h2>Chase: survive a foreground dwell</h2>
+  <div class="cmd"><pre><code>mm-harness run perps.chase-place account=dev1 provider=hyperliquid network=testnet market=BTC side=long notional=100 max_distance=5000 --adapter mobile
+mm-harness run perps.chase-assert-running account=dev1 provider=hyperliquid network=testnet market=BTC dwell_ms=12000 --adapter mobile
+mm-harness run perps.chase-terminate account=dev1 provider=hyperliquid network=testnet market=BTC --adapter mobile</code></pre></div>
+  <ol>
+    <li>The Advanced picker visibly offers Chase and the form shows its foreground disclosure.</li>
+    <li>After placement, the Chase tab shows the market as Running.</li>
+    <li>The app remains foregrounded for the full dwell. The same row must still be visible afterward.</li>
+    <li>Terminate the session and confirm it leaves the active list.</li>
+  </ol>
+  <p>If the row disappears during the dwell, classify whether the trace shows product state loss, selector drift, harness transport failure, or a venue rejection. Do not claim force-kill conversion; Mobile's supported boundary is graceful foreground/background lifecycle handling.</p>
+
+  <h2>Scale: expose every child order</h2>
+  <div class="cmd"><pre><code>mm-harness run perps.scale-place account=dev1 provider=hyperliquid network=testnet market=BTC side=long notional=100 orders=3 skew=1 start_price=70000 end_price=75000 --adapter mobile
+mm-harness run perps.scale-assert-orders account=dev1 provider=hyperliquid network=testnet market=BTC orders=3 --adapter mobile</code></pre></div>
+  <ol>
+    <li>The Advanced picker visibly offers Scale.</li>
+    <li>Start, end, order count, skew, and notional produce a visible preview before submission.</li>
+    <li>The standard Orders tab reports the requested count and shows the child entries as Limit orders.</li>
+  </ol>
+  <p>Partial venue acceptance is a failed full-ladder proof. This walkthrough does not claim group cancellation.</p>
+
+  <h2>Classify and report</h2>
+  <div class="table-scroll">
+    <table>
+      <thead><tr><th>Class</th><th>Evidence</th><th>Action</th></tr></thead>
+      <tbody>
+        <tr><td>Product defect</td><td>Bridge remains live; product selector/state disappears or venue-backed UI contradicts acceptance.</td><td>Record the first failing node, trace, screenshot, market, side, and elapsed time.</td></tr>
+        <tr><td>Recipe drift</td><td>Current product source or live tree establishes an intentional selector/flow change.</td><td>Repair the smallest node and rerun every caller.</td></tr>
+        <tr><td>Harness defect</td><td>A declared action violates its schema or reports a false verdict independent of product behavior.</td><td>Fix the harness and retain before/after proof.</td></tr>
+        <tr><td>Environment or venue</td><td>Fixture, funding, connectivity, capability, or exchange rejection prevents the product claim.</td><td>Fail closed and report the precise prerequisite; do not manufacture state.</td></tr>
+      </tbody>
+    </table>
+  </div>
+</section>
+</main>
+<script type="module" src="assets/progress.mjs?v=4"></script>
+</body>
+</html>