npm - automategraph - Versions diffs - 1.5.0 → 1.5.3 - Mend

automategraph 1.5.0 → 1.5.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (88) hide show

package/CHANGELOG.md +20 -0
package/UPGRADE-PROPOSAL.md +141 -0
package/docs/diagrams/c19-resilience-scenario.md +61 -0
package/docs/diagrams/c19-resilience-scenario.mmd +28 -0
package/docs/diagrams/c19-resilience-scenario.svg +181 -0
package/examples/README.md +206 -0
package/examples/branching-edges.ts +192 -0
package/examples/branching-graph.ts +333 -0
package/examples/branching-router.ts +475 -0
package/examples/json-graph.ts +231 -0
package/examples/json-scripts.ts +152 -0
package/examples/order-flow.functions.cjs +32 -0
package/examples/order-flow.graph.json +27 -0
package/examples/order-flow.scripted.graph.json +68 -0
package/js/examples/branching-edges.js +133 -0
package/js/examples/branching-edges.js.map +1 -0
package/js/examples/branching-graph.js +232 -0
package/js/examples/branching-graph.js.map +1 -0
package/js/examples/branching-router.js +305 -0
package/js/examples/branching-router.js.map +1 -0
package/js/examples/json-graph.js +197 -0
package/js/examples/json-graph.js.map +1 -0
package/js/examples/json-scripts.js +131 -0
package/js/examples/json-scripts.js.map +1 -0
package/js/tests/async.test.js +592 -0
package/js/tests/async.test.js.map +1 -0
package/js/tests/complex.test.js +972 -0
package/js/tests/complex.test.js.map +1 -0
package/js/tests/conformance.test.js +365 -0
package/js/tests/conformance.test.js.map +1 -0
package/js/tests/edges.test.js +702 -0
package/js/tests/edges.test.js.map +1 -0
package/js/tests/graphjson.test.js +504 -0
package/js/tests/graphjson.test.js.map +1 -0
package/js/tests/harness.js +192 -0
package/js/tests/harness.js.map +1 -0
package/js/tests/helpers.js +136 -0
package/js/tests/helpers.js.map +1 -0
package/js/tests/lint.test.js +317 -0
package/js/tests/lint.test.js.map +1 -0
package/js/tests/registry.test.js +705 -0
package/js/tests/registry.test.js.map +1 -0
package/js/tests/report.js +422 -0
package/js/tests/report.js.map +1 -0
package/js/tests/runner.js +67 -0
package/js/tests/runner.js.map +1 -0
package/js/tests/scripts.test.js +552 -0
package/js/tests/scripts.test.js.map +1 -0
package/js/tests/unit.test.js +1239 -0
package/js/tests/unit.test.js.map +1 -0
package/js/tests/upgrade.test.js +618 -0
package/js/tests/upgrade.test.js.map +1 -0
package/package.json +2 -9
package/report/index.html +3727 -0
package/report/report.json +3053 -0
package/tests/async.test.ts +668 -0
package/tests/complex.test.ts +1123 -0
package/tests/conformance.test.ts +442 -0
package/tests/edges.test.ts +848 -0
package/tests/fixtures/scripts/bad-registration.cjs +4 -0
package/tests/fixtures/scripts/broken.cjs +2 -0
package/tests/fixtures/scripts/cjs-default.js +4 -0
package/tests/fixtures/scripts/collide-a.cjs +4 -0
package/tests/fixtures/scripts/collide-b.cjs +4 -0
package/tests/fixtures/scripts/empty.cjs +2 -0
package/tests/fixtures/scripts/esm-functions.mjs +10 -0
package/tests/fixtures/scripts/esm-syntax.js +3 -0
package/tests/fixtures/scripts/global-channel.cjs +6 -0
package/tests/fixtures/scripts/global-channel.mjs +7 -0
package/tests/fixtures/scripts/mismatch.cjs +4 -0
package/tests/fixtures/scripts/needs-sibling.cjs +7 -0
package/tests/fixtures/scripts/order.cjs +14 -0
package/tests/fixtures/scripts/sibling-helper.cjs +3 -0
package/tests/fixtures/scripts/throwing-global.mjs +6 -0
package/tests/graphjson.test.ts +737 -0
package/tests/harness.ts +291 -0
package/tests/helpers.ts +216 -0
package/tests/lint.test.ts +381 -0
package/tests/registry.test.ts +1134 -0
package/tests/report.ts +452 -0
package/tests/runner.ts +58 -0
package/tests/scripts.test.ts +970 -0
package/tests/unit.test.ts +1192 -0
package/tests/upgrade.test.ts +725 -0
package/tools/server.mjs +152 -0
package/tsconfig.browser.json +19 -0
package/tsconfig.json +18 -0
package/tsconfig.publish.json +13 -0

package/report/index.html ADDED Viewed

@@ -0,0 +1,3727 @@
+<!doctype html>
+<html lang="en">
+<head>
+<meta charset="utf-8"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>AutomateGraph Execution Engine — Test Report (282 tests)</title>
+<style>
+  :root{
+    --bg:#0b1020; --panel:#121a33; --panel2:#0f1730; --line:#24304f;
+    --txt:#e7ecf7; --muted:#94a3c4; --accent:#6ea8fe; --ok:#31c48d; --bad:#f4645f;
+    --warn:#f0b429; --unit:#7c9cff; --complex:#c084fc; --async:#4fd1c5;
+    --upgrade:#f0b429; --conformance:#31c48d;
+  }
+  *{box-sizing:border-box}
+  body{margin:0;background:radial-gradient(1200px 600px at 15% -10%,#16224a 0%,var(--bg) 55%);color:var(--txt);
+    font:15px/1.55 ui-sans-serif,system-ui,-apple-system,"Segoe UI",Roboto,Helvetica,Arial,sans-serif}
+  .wrap{max-width:1180px;margin:0 auto;padding:32px 20px 80px}
+  h1{font-size:30px;margin:0 0 6px;letter-spacing:-.4px}
+  h2{font-size:19px;margin:34px 0 12px;letter-spacing:-.2px}
+  h3{font-size:14px;margin:20px 0 8px;color:var(--muted);text-transform:uppercase;letter-spacing:.07em}
+  .sub{color:var(--muted);margin:0 0 22px}
+  .cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:12px;margin:22px 0 8px}
+  .card{background:linear-gradient(180deg,var(--panel),var(--panel2));border:1px solid var(--line);
+    border-radius:14px;padding:14px 16px}
+  .card .k{color:var(--muted);font-size:12px;text-transform:uppercase;letter-spacing:.08em}
+  .card .v{font-size:25px;font-weight:700;margin-top:4px}
+  .card.good .v{color:var(--ok)} .card.bad .v{color:var(--bad)}
+  .barrow{display:grid;grid-template-columns:340px 1fr 130px;gap:12px;align-items:center;padding:6px 0;border-bottom:1px dashed #1c2540}
+  .barlabel{font-size:13.5px}
+  .track{background:#0a1024;border:1px solid var(--line);border-radius:999px;height:16px;overflow:hidden}
+  .fill{height:100%;background:linear-gradient(90deg,#2f7cf6,#31c48d);color:#04122b;font-size:10.5px;
+    font-weight:700;text-align:right;padding-right:6px;line-height:16px}
+  .fill.warn{background:linear-gradient(90deg,#f0b429,#f4645f)}
+  .barmeta{color:var(--muted);font-size:12.5px;text-align:right}
+  .badge{display:inline-block;font-size:10.5px;font-weight:700;letter-spacing:.06em;padding:2px 7px;border-radius:6px;vertical-align:middle}
+  .badge.unit{background:#1b2a55;color:var(--unit)}
+  .badge.integration{background:#331b55;color:var(--complex)}
+  .badge.async{background:#123a3a;color:var(--async)}
+  .badge.upgrade{background:#3a2b0d;color:var(--upgrade)}
+  .badge.conformance{background:#0f3627;color:var(--conformance)}
+  .badge.lint{background:#3a2410;color:#fb923c}
+  .badge.edges{background:#0d2a3a;color:#38bdf8}
+  .badge.registry{background:#2a1f45;color:#a78bfa}
+  .badge.graphjson{background:#0e3229;color:#34d399}
+  .badge.scripts{background:#3d1f2f;color:#f472b6}
+  .pill{display:inline-block;font-size:11px;font-weight:700;padding:2px 8px;border-radius:999px}
+  .pill.passed{background:#10322a;color:var(--ok);border:1px solid #1c5b46}
+  .pill.failed{background:#3a1620;color:var(--bad);border:1px solid #7a2b32}
+  .findings{display:grid;grid-template-columns:repeat(auto-fit,minmax(320px,1fr));gap:12px}
+  .fcard{background:var(--panel);border:1px solid var(--line);border-left:3px solid var(--warn);border-radius:12px;padding:12px 14px}
+  .fcard .fid{color:var(--warn);font-weight:700;font-size:12px}
+  .fcard .ftitle{font-weight:600;margin:2px 0 6px}
+  .fcard .fbody{color:#c8d3ec;font-size:13.5px}
+  .toolbar{display:flex;gap:10px;flex-wrap:wrap;align-items:center;margin:14px 0}
+  .btn{background:#16204a;border:1px solid var(--line);color:var(--txt);border-radius:999px;padding:6px 13px;
+    font-size:13px;cursor:pointer}
+  .btn.active{background:#233b7a;border-color:#3b57a6}
+  input[type=search]{background:#0d142c;border:1px solid var(--line);color:var(--txt);border-radius:999px;
+    padding:7px 14px;min-width:260px;font-size:13.5px}
+  .row{border:1px solid var(--line);border-radius:10px;margin:6px 0;background:var(--panel2)}
+  .row summary{display:grid;grid-template-columns:64px 62px 210px 1fr 74px 78px;gap:10px;align-items:center;
+    padding:9px 12px;cursor:pointer;list-style:none}
+  .row summary::-webkit-details-marker{display:none}
+  .row.ok{border-left:3px solid var(--ok)} .row.bad{border-left:3px solid var(--bad)}
+  .row .id{color:var(--muted);font-size:12.5px;font-variant-numeric:tabular-nums}
+  .row .cat{color:#b9c6e6;font-size:13px}
+  .row .name{font-size:13.5px}
+  .row .ms{color:var(--muted);font-size:12px;text-align:right}
+  .row .star{color:var(--warn);font-size:11px;border:1px solid #5f4a12;background:#2a2208;border-radius:6px;
+    padding:1px 6px;justify-self:start}
+  .detail{padding:10px 14px 12px;border-top:1px solid #1a2340;font-size:13.5px;color:#c8d3ec}
+  .detail .tag{display:inline-block;font-size:10.5px;font-weight:700;letter-spacing:.06em;color:#8fa6d8;
+    text-transform:uppercase;margin-right:8px}
+  .detail ul{margin:6px 0 0 18px;padding:0}
+  .detail.error .errline{color:#ffb3b0;font-weight:600}
+  pre{background:#080d1c;border:1px solid #1c2540;border-radius:8px;padding:10px;overflow:auto;font-size:12.5px;color:#b9c6e6}
+  .muted{color:var(--muted)}
+  table{width:100%;border-collapse:collapse;font-size:13.5px}
+  th,td{text-align:left;padding:8px 10px;border-bottom:1px solid #1c2540;vertical-align:top}
+  th{color:var(--muted);font-weight:600;font-size:12px;text-transform:uppercase;letter-spacing:.06em}
+  code{background:#0d142c;border:1px solid #1c2540;border-radius:6px;padding:1px 6px;font-size:12.5px}
+  .note{background:#101a38;border:1px solid var(--line);border-radius:12px;padding:12px 16px;color:#c8d3ec;font-size:13.5px}
+  .note.warn{border-color:#5f4a12;background:#241d09}
+  footer{color:var(--muted);font-size:12.5px;margin-top:28px;border-top:1px solid #1c2540;padding-top:14px}
+</style>
+</head>
+<body>
+<div class="wrap">
+  <h1>AutomateGraph Execution Engine v1.5 — Test Report</h1>
+  <p class="sub">282 tests (100 unit + 20 complex + 20 async + 19 upgrade + 11 conformance + 13 lint + 26 edges + 28 registry + 19 json + 26 scripts) executed against the single-file isomorphic core.
+  Generated 2026-10-13T14:22:25.409Z · Node v20.20.2 · wall clock 4019.24 ms.</p>
+  <div class="cards">
+    <div class="card"><div class="k">Total</div><div class="v">282</div></div>
+    <div class="card good"><div class="k">Passed</div><div class="v">282</div></div>
+    <div class="card good"><div class="k">Failed</div><div class="v">0</div></div>
+    <div class="card"><div class="k">UNIT</div><div class="v">100/100</div></div><div class="card"><div class="k">COMPLEX</div><div class="v">20/20</div></div><div class="card"><div class="k">ASYNC</div><div class="v">20/20</div></div><div class="card"><div class="k">UPGRADE</div><div class="v">19/19</div></div><div class="card"><div class="k">CONFORMANCE</div><div class="v">11/11</div></div><div class="card"><div class="k">LINT</div><div class="v">13/13</div></div><div class="card"><div class="k">EDGES</div><div class="v">26/26</div></div><div class="card"><div class="k">REGISTRY</div><div class="v">28/28</div></div><div class="card"><div class="k">JSON</div><div class="v">19/19</div></div><div class="card"><div class="k">SCRIPTS</div><div class="v">26/26</div></div>
+    <div class="card"><div class="k">Findings</div><div class="v">56</div></div>
+    <div class="card"><div class="k">Duration</div><div class="v">4.02s</div></div>
+  </div>
+  <p class="note">Process hygiene on shutdown: <span class="pill passed">clean</span> no unhandled rejections observed during the run. Each test runs in sequence with a per-test
+  timeout, so a hang or a leaked promise surfaces in this report instead of hanging the suite.</p>
+  <p class="note warn"><strong>v1.1 changed two observable behaviours:</strong> a cooperative callback that
+  <em>rejects because of</em> an abort now settles <code>CANCELLED</code> (was <code>FAILED</code> + unhandled error), and
+  <code>FAIL_FAST</code> is sticky at node level (was a one-off queue flush). <strong>v1.2 added the
+  <code>SUCCESS_DEAD_END</code> lint error.</strong> <strong>v1.3 adds typed edges</strong> — <code>next</code> now accepts
+  <code>{ nextNode, result, test, parallel }</code> objects (exclusive, ordered, first-match-wins, deep
+  equality) alongside the original strings (parallel, unchanged), plus explicit routing via
+  <code>return new Next(target, value)</code> or <code>context.goto(target)</code>. <strong>v1.4 adds the
+  function registry</strong> — <code>run</code> and edge <code>test</code> may name a registered function,
+  resolved lazily at evaluation time, with <code>{ fingerprint, names }</code> reported on
+  every run — plus a JSON loader (<code>src/graph-json.ts</code>) that turns a graph
+  document into a definition with total, path-carrying validation. <strong>v1.5 loads scripts</strong> —
+  a document may declare where its functions live (<code>path</code>, inline
+  <code>source</code> or <code>url</code>), the script either exports them or registers itself through
+  <code>globalThis.GraphEngine.registerEngineNamespace()</code>, and a namespace is frozen once per
+  process. Purely additive: every v1.0–v1.4 graph keeps its behaviour. See
+  <code>CHANGELOG.md</code>.</p>
+  <h2>Results by category</h2>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge unit">UNIT</span> Graph validation</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">12/12 · 4.14 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge unit">UNIT</span> Error classes &amp; utilities</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">9/9 · 0.56 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge unit">UNIT</span> Utilities</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">10/10 · 4.74 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge unit">UNIT</span> EventBus</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">12/12 · 114.16 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge unit">UNIT</span> InMemoryStorage</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">8/8 · 0.81 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge unit">UNIT</span> Graph freezing</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">8/8 · 1.75 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge unit">UNIT</span> Engine lifecycle</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">10/10 · 2.94 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge unit">UNIT</span> Execution &amp; scheduler</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">20/20 · 19.49 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge unit">UNIT</span> Retry</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">6/6 · 90.62 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge unit">UNIT</span> Cancellation</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">5/5 · 71.66 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge integration">COMPLEX</span> E2E pipelines</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">3/3 · 58.96 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge integration">COMPLEX</span> Failure semantics</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">7/7 · 399.37 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge integration">COMPLEX</span> Concurrency &amp; scale</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">3/3 · 91.98 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge integration">COMPLEX</span> Cancellation &amp; cycles</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">2/2 · 202.55 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge integration">COMPLEX</span> Events &amp; listeners</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">2/2 · 23.6 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge integration">COMPLEX</span> Lifecycle &amp; plugins</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">3/3 · 54.22 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge async">ASYNC</span> Node callbacks (async)</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">20/20 · 619.64 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge upgrade">UPGRADE</span> A2 · drain deadline</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">2/2 · 542.36 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge upgrade">UPGRADE</span> A3 · completion policy</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">4/4 · 78.41 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge upgrade">UPGRADE</span> A4/A5 · FAIL_FAST &amp; FALLBACK</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">4/4 · 30.91 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge upgrade">UPGRADE</span> A6/A10 · results &amp; hygiene</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">3/3 · 147.37 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge upgrade">UPGRADE</span> A8 · concurrency &amp; budget</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">3/3 · 29.41 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge upgrade">UPGRADE</span> A9 · graph linting</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">2/2 · 1.06 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge upgrade">UPGRADE</span> Isomorphic build</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">1/1 · 1292.28 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge conformance">CONFORMANCE</span> Storage adapter contract</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">7/7 · 4.14 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge conformance">CONFORMANCE</span> Snapshot wire format</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">4/4 · 0.56 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge lint">LINT</span> Success dead-end rule</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">13/13 · 28.47 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge edges">EDGES</span> Typed edges &amp; routing</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">26/26 · 23.34 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge registry">REGISTRY</span> Function registry</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">28/28 · 36.5 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge graphjson">JSON</span> Graph JSON loader</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">19/19 · 5.72 ms</div>
+  </div>
+  <div class="barrow">
+    <div class="barlabel"><span class="badge scripts">SCRIPTS</span> Script loading</div>
+    <div class="track"><div class="fill " style="width:100%">100%</div></div>
+    <div class="barmeta">26/26 · 25.46 ms</div>
+  </div>
+  <h2>Engine semantics documented by the findings (56)</h2>
+  <div class="findings">
+    <div class="fcard">
+          <div class="fid">I3 · COMPLEX</div>
+          <div class="ftitle">resilience scenario: timeout is routed to a fallback so the run completes</div>
+          <div class="fbody">fan-in runs the join node once per incoming edge (decide runs = 2)</div>
+        </div><div class="fcard">
+          <div class="fid">I4 · COMPLEX</div>
+          <div class="ftitle">graph-level FAIL_FAST stops not-yet-scheduled successors on independent branches</div>
+          <div class="fbody">an already-started sibling still observes its own completion before the graph settles as FAILED</div>
+        </div><div class="fcard">
+          <div class="fid">I6 · COMPLEX</div>
+          <div class="ftitle">diamond fan-in executes the join node once per incoming activation (no dedup)</div>
+          <div class="fbody">no join/dedup semantics — the join node ran once per incoming edge</div>
+        </div><div class="fcard">
+          <div class="fid">I7 · COMPLEX</div>
+          <div class="ftitle">cyclic graph iterates via next + ONTHROW exit and keeps a growing path</div>
+          <div class="fbody">cycles are legal (no validation) and terminate only via ONTHROW</div>
+        </div><div class="fcard">
+          <div class="fid">I8 · COMPLEX</div>
+          <div class="ftitle">250-node fan-out satisfies a full-concurrency barrier (no hidden cap)</div>
+          <div class="fbody">scheduler concurrency is unbounded (MAX_SAFE_INTEGER)</div>
+        </div><div class="fcard">
+          <div class="fid">I11 · COMPLEX</div>
+          <div class="ftitle">faulty non-required listeners are isolated; a failing required listener is contained</div>
+          <div class="fbody">graph.finished is the only emit whose rejection is caught by the engine; a failing required listener elsewhere (e.g. node.failed) escapes into the node error path</div>
+        </div><div class="fcard">
+          <div class="fid">I15 · COMPLEX</div>
+          <div class="ftitle">checkpoint failure on the 2nd save blocks scheduling and freezes the last valid snapshot</div>
+          <div class="fbody">the checkpoint failure surfaces twice per node (CHECKPOINT_SAVE_FAILED plus a NODE_EXECUTION_ERROR for the raw persistence error) and marks those nodes FAILED</div>
+        </div><div class="fcard">
+          <div class="fid">I16 · COMPLEX</div>
+          <div class="ftitle">node timeout settles the graph while the abandoned node keeps running (cooperative abort)</div>
+          <div class="fbody">JavaScript cannot kill a running node; the engine reports TIMED_OUT and moves on</div>
+        </div><div class="fcard">
+          <div class="fid">I17 · COMPLEX</div>
+          <div class="ftitle">policy matrix: RETRY loops, CONTINUE ignores maxAttempts, FALLBACK has no distinct path</div>
+          <div class="fbody">FALLBACK is accepted but treated as CONTINUE — no alternative-route mechanism exists</div>
+        </div><div class="fcard">
+          <div class="fid">I18 · COMPLEX</div>
+          <div class="ftitle">final-state precedence: terminal reached + unhandled errors still yields FAILED</div>
+          <div class="fbody">settlement order is cancellation &gt; checkpoint failure &gt; unhandled errors &gt; logical completion; FAILED silently wins over a completed terminal</div>
+        </div><div class="fcard">
+          <div class="fid">I18 · COMPLEX</div>
+          <div class="ftitle">final-state precedence: terminal reached + unhandled errors still yields FAILED</div>
+          <div class="fbody">once any branch reaches a terminal node, pending activations (including ONTHROW recovery paths) are cleared and never executed, yet their errors stay marked handled</div>
+        </div><div class="fcard">
+          <div class="fid">I19 · COMPLEX</div>
+          <div class="ftitle">policy resolution: every FAIL_FAST is sticky and halts the scheduler</div>
+          <div class="fbody">FAIL_FAST is sticky at both levels since v1.1 (A4) — the old node-level behaviour was a one-off queue flush that did nothing under unbounded concurrency; a node-level CONTINUE still cannot shield other branches from a graph-level FAIL_FAST</div>
+        </div><div class="fcard">
+          <div class="fid">I20 · COMPLEX</div>
+          <div class="ftitle">cancelling a fan-out aborts in-flight nodes and never starts their successors</div>
+          <div class="fbody">cancel() returns immediately but the report waits for cooperative drain</div>
+        </div><div class="fcard">
+          <div class="fid">A1 · ASYNC</div>
+          <div class="ftitle">an async node callback is awaited and its resolved value becomes the output</div>
+          <div class="fbody">NodeContext signals are typed as AbortSignal even in older @types/node DOM-less libs, so async callbacks can consume context.signal without casting</div>
+        </div><div class="fcard">
+          <div class="fid">A5 · ASYNC</div>
+          <div class="ftitle">async rejections with AutomateGraphError preserve code and details</div>
+          <div class="fbody">TimeoutError is identified by class OR by a NODE_TIMEOUT-family code, so async rejections carrying that code are classified as TIMED_OUT</div>
+        </div><div class="fcard">
+          <div class="fid">A9 · ASYNC</div>
+          <div class="ftitle">a slow async callback is preempted by timeoutMs and reported TIMED_OUT</div>
+          <div class="fbody">on timeout the async callback&#39;s later resolution is discarded — no output is recorded</div>
+        </div><div class="fcard">
+          <div class="fid">A10 · ASYNC</div>
+          <div class="ftitle">a cooperative async callback observes the abort and rejects; the run settles CANCELLED</div>
+          <div class="fbody">since v1.1 (A1) cooperative cancellation is symmetric — a callback that rejects because of the abort settles CANCELLED with a handled GRAPH_CANCELLED record, exactly like one that resolves after it; result.error now carries the record (A6)</div>
+        </div><div class="fcard">
+          <div class="fid">A18 · ASYNC</div>
+          <div class="ftitle">an unrelated execution started after an abandoned async node is unaffected</div>
+          <div class="fbody">the abandoned async node still performed its side effect after settlement — async cancellation is cooperative only; nothing can stop an in-flight promise</div>
+        </div><div class="fcard">
+          <div class="fid">U1 · UPGRADE</div>
+          <div class="ftitle">cancellationTimeoutMs bounds the drain and abandons in-flight work</div>
+          <div class="fbody">without cancellationTimeoutMs the engine still waits forever (v1.0 behaviour); setting it converts an unbounded drain into a bounded, reported one</div>
+        </div><div class="fcard">
+          <div class="fid">U3 · UPGRADE</div>
+          <div class="ftitle">ALL_TERMINALS waits for every declared terminal before latching completion</div>
+          <div class="fbody">ALL_TERMINALS gives fan-in style completion semantics without extra plumbing</div>
+        </div><div class="fcard">
+          <div class="fid">U4 · UPGRADE</div>
+          <div class="ftitle">DRAIN keeps scheduling after a terminal, so ONTHROW recovery is no longer dropped</div>
+          <div class="fbody">DRAIN is the opt-in fix for the v1.0 silent-drop behaviour (finding C-15/C-19) — the run executes every reachable activation before settling</div>
+        </div><div class="fcard">
+          <div class="fid">U5 · UPGRADE</div>
+          <div class="ftitle">FIRST_TERMINAL (default) drops pending work but now reports it via activation.dropped</div>
+          <div class="fbody">dropped work is now observable, so silent data loss in the default mode is detectable</div>
+        </div><div class="fcard">
+          <div class="fid">U19 · UPGRADE</div>
+          <div class="ftitle">the engine core compiles with DOM-only libs and no Node types (browser-safe)</div>
+          <div class="fbody">the engine core is isomorphic — no Node APIs, no Buffers, timers via setTimeout only</div>
+        </div><div class="fcard">
+          <div class="fid">C4 · CONFORMANCE</div>
+          <div class="ftitle">the checker catches a torn write that commits before failing</div>
+          <div class="fbody">the conformance suite distinguishes &#39;rejects&#39; from &#39;rejects without corrupting state&#39; — adapters must checkpoint before commit, not after</div>
+        </div><div class="fcard">
+          <div class="fid">L1 · LINT</div>
+          <div class="ftitle">the exact C-19 fixture is flagged: slow-vendor succeeds into a void</div>
+          <div class="fbody">a node can declare onThrow and still be unreachable on its success path — the previous DEAD_END_NODE rule only asked whether *any* transition existed</div>
+        </div><div class="fcard">
+          <div class="fid">L11 · LINT</div>
+          <div class="ftitle">lint: &quot;error&quot; rejects the C-19 graph before any node runs</div>
+          <div class="fbody">lint enforcement is a pre-flight gate — the graph is rejected before initialization finishes, so no side effects from node callbacks can occur</div>
+        </div><div class="fcard">
+          <div class="fid">E1 · EDGES</div>
+          <div class="ftitle">string edges keep the v1.0 meaning: unconditional fan-out</div>
+          <div class="fbody">`next: [&quot;b&quot;,&quot;c&quot;]` normalizes to two parallel edges — every existing graph keeps its behaviour</div>
+        </div><div class="fcard">
+          <div class="fid">E3 · EDGES</div>
+          <div class="ftitle">deep equality matches nested objects regardless of key order</div>
+          <div class="fbody">result uses structural equality (key order, nesting and array order aware)</div>
+        </div><div class="fcard">
+          <div class="fid">E5 · EDGES</div>
+          <div class="ftitle">result: undefined matches an undefined output (presence, not truthiness)</div>
+          <div class="fbody">hasResult tracks key presence, so an undefined output is matchable</div>
+        </div><div class="fcard">
+          <div class="fid">E10 · EDGES</div>
+          <div class="ftitle">no match is silent: nothing is scheduled, no routing error is recorded</div>
+          <div class="fbody">an unmatched conditional chain is silent by design (no NO_EDGE_MATCHED error)</div>
+        </div><div class="fcard">
+          <div class="fid">E14 · EDGES</div>
+          <div class="ftitle">returning new Next(target, value) routes and successors see the unwrapped value</div>
+          <div class="fbody">Next carries both destination and payload — successors and matchers see the payload</div>
+        </div><div class="fcard">
+          <div class="fid">E17 · EDGES</div>
+          <div class="ftitle">an explicit route replaces the whole edge list, parallel edges included</div>
+          <div class="fbody">an explicit route is authoritative — declared edges (and parallel ones) are ignored</div>
+        </div><div class="fcard">
+          <div class="fid">E22 · EDGES</div>
+          <div class="ftitle">a terminal node ignores its edges and its routing, and lint warns about it</div>
+          <div class="fbody">terminal detection happens before routing — a terminal node never schedules successors</div>
+        </div><div class="fcard">
+          <div class="fid">E23 · EDGES</div>
+          <div class="ftitle">lint flags an exclusive edge declared after an else edge as unreachable</div>
+          <div class="fbody">an else edge shadows every exclusive edge declared after it — runtime agrees with lint</div>
+        </div><div class="fcard">
+          <div class="fid">E25 · EDGES</div>
+          <div class="ftitle">the a → b/c/d/e/f picture runs as ONE execution — the router is no longer needed</div>
+          <div class="fbody">with typed edges the whole picture is ONE execution and lint-clean — no router, no gate, no DRAIN policy needed</div>
+        </div><div class="fcard">
+          <div class="fid">R1 · REGISTRY</div>
+          <div class="ftitle">a node whose run is a registered NAME executes that function</div>
+          <div class="fbody">report.results[i].fn — not report.results[i].output — is the audit link to the registered source</div>
+        </div><div class="fcard">
+          <div class="fid">R4 · REGISTRY</div>
+          <div class="ftitle">registerFunction() after construction is honoured (resolution is lazy)</div>
+          <div class="fbody">an engine with an empty registry reports no `registry` field, but registerFunction() makes it appear</div>
+        </div><div class="fcard">
+          <div class="fid">R8 · REGISTRY</div>
+          <div class="ftitle">a registered node can route explicitly with Next and with context.goto</div>
+          <div class="fbody">`new Next(target, value)` sets the ROUTER&#39;s output to `value` (that is what edge matchers and context.outputs see); the target node still executes its own function</div>
+        </div><div class="fcard">
+          <div class="fid">R11 · REGISTRY</div>
+          <div class="ftitle">a missing run name is PERMANENT: no retry, no onThrow, no fallback</div>
+          <div class="fbody">retry/onThrow/fallback are error RECOVERY; a name that was never registered is a wiring defect, so the engine refuses to recover from it</div>
+        </div><div class="fcard">
+          <div class="fid">R16 · REGISTRY</div>
+          <div class="ftitle">an unresolvable edge test never matches, is recorded once, and lets the else edge run</div>
+          <div class="fbody">an unresolvable test is loud but not fatal to ROUTING — the rest of the chain still evaluates; the run itself settles FAILED because the error stays unhandled (terminal-reached + unhandled error = FAILED, as in v1.2)</div>
+        </div><div class="fcard">
+          <div class="fid">R18 · REGISTRY</div>
+          <div class="ftitle">lint treats a NAMED test as conditional — no false UNREACHABLE_EDGE</div>
+          <div class="fbody">regression guard — before edgeHasMatcher() was shared, a named test looked like an else edge to the lint and every later edge was reported UNREACHABLE_EDGE</div>
+        </div><div class="fcard">
+          <div class="fid">R23 · REGISTRY</div>
+          <div class="ftitle">the fingerprint is stable, order-independent, and source-sensitive</div>
+          <div class="fbody">the fingerprint covers names + function SOURCE TEXT — two closures of the same source share it, while a captured value that changes at runtime does not show up</div>
+        </div><div class="fcard">
+          <div class="fid">R26 · REGISTRY</div>
+          <div class="ftitle">nodeFunctions()/edgeTests() restore per-signature inference</div>
+          <div class="fbody">one table holds both signatures; a bare literal cannot infer a parameter type from the union, hence nodeFunctions()/edgeTests()</div>
+        </div><div class="fcard">
+          <div class="fid">G1 · JSON</div>
+          <div class="ftitle">a valid document parses into a GraphDefinition (string and object input agree)</div>
+          <div class="fbody">parsing never needs the registry — a data file is valid even when a function name is unknown; the engine decides that at run time</div>
+        </div><div class="fcard">
+          <div class="fid">G15 · JSON</div>
+          <div class="ftitle">EVERY issue is collected — one throw carries them all</div>
+          <div class="fbody">one document reported 5 problems in a single throw — no fix-one-rerun loop</div>
+        </div><div class="fcard">
+          <div class="fid">G18 · JSON</div>
+          <div class="ftitle">a parsed document with dangling ids is still caught by the engine if it is hand-edited</div>
+          <div class="fbody">the loader and the engine validate different layers (paths vs. final shape) — both stay in force</div>
+        </div><div class="fcard">
+          <div class="fid">S1 · SCRIPTS</div>
+          <div class="ftitle">a .cjs script is required and its export table becomes the registry</div>
+          <div class="fbody">a registered name is not rewritten — `classifyOrder` stays `classifyOrder`, the namespace only owns the claim</div>
+        </div><div class="fcard">
+          <div class="fid">S3 · SCRIPTS</div>
+          <div class="ftitle">a .js script with ESM syntax is detected as ESM; without it, as CommonJS</div>
+          <div class="fbody">.js detection is a source hint with a fallback — the other format is attempted before failing, so a mis-hint costs one retry, never a failed load</div>
+        </div><div class="fcard">
+          <div class="fid">S8 · SCRIPTS</div>
+          <div class="ftitle">a script can register itself through globalThis.GraphEngine</div>
+          <div class="fbody">the engine global is a per-CALL slot (registerEngineNamespace), not a shared mutable table — a script can only ever add its own namespace, and only once</div>
+        </div><div class="fcard">
+          <div class="fid">S13 · SCRIPTS</div>
+          <div class="ftitle">a namespace can be claimed only once per process (exports path)</div>
+          <div class="fbody">the freeze is PROCESS-global by design — one document, one engine per namespace. Loading the same graph file into a second engine throws until the claims are reset</div>
+        </div><div class="fcard">
+          <div class="fid">S15 · SCRIPTS</div>
+          <div class="ftitle">a claim made before a crashing script survives; the load still fails</div>
+          <div class="fbody">claims are made at registration time, not at load end — a script that registers and then throws leaves its namespace claimed (reload needs resetGraphScriptNamespaces)</div>
+        </div><div class="fcard">
+          <div class="fid">S16 · SCRIPTS</div>
+          <div class="ftitle">a script that throws is not replayed in the other format</div>
+          <div class="fbody">format fallback replays the script body, so it is reserved for module-format failures (ERR_REQUIRE_ESM, ESM syntax in CJS). A script that throws — or registers and then throws — is never re-executed; it ran once and its claim stands</div>
+        </div><div class="fcard">
+          <div class="fid">S17 · SCRIPTS</div>
+          <div class="ftitle">two scripts providing the same name collide; override is opt-in</div>
+          <div class="fbody">claims and name collisions are separate gates — the freeze stops the namespace, collisions stop the merged table, and only the second one has an override</div>
+        </div><div class="fcard">
+          <div class="fid">S20 · SCRIPTS</div>
+          <div class="ftitle">a scripted document still parses with the v1.4 entry point</div>
+          <div class="fbody">`scripts` is validated by the isomorphic parser and executed by the Node loader — parseGraphJSON (sync, v1.4) keeps working on scripted documents</div>
+        </div><div class="fcard">
+          <div class="fid">S23 · SCRIPTS</div>
+          <div class="ftitle">a scripted document runs: the script provides the node and edge functions</div>
+          <div class="fbody">end-to-end, 6 functions arrive from path:./order.cjs and the engine reports fnr1:6:b43eadc7</div>
+        </div><div class="fcard">
+          <div class="fid">S25 · SCRIPTS</div>
+          <div class="ftitle">inline scripts compose with path scripts in one document</div>
+          <div class="fbody">the three media (path, source, url) are interchangeable — one pipeline merges them into a single table with one fingerprint</div>
+        </div>
+  </div>
+  <h2>Test inventory</h2>
+  <h3>9 unit categories (100 tests)</h3>
+  <table>
+    <tr><th>Category</th><th>Focus</th><th>Count</th><th>Time</th></tr>
+    <tr><td>Graph validation</td><td class="muted">Constructor-time rejection of malformed graph definitions</td><td>12</td><td>4.14 ms</td></tr><tr><td>Error classes &amp; utilities</td><td class="muted">Error hierarchy, codes, id/time generation, throw coercion</td><td>9</td><td>0.56 ms</td></tr><tr><td>EventBus</td><td class="muted">Required vs non-required listeners, ordering, isolation, teardown</td><td>12</td><td>114.16 ms</td></tr><tr><td>InMemoryStorage</td><td class="muted">Atomic snapshot semantics and copy isolation</td><td>8</td><td>0.81 ms</td></tr><tr><td>Graph freezing</td><td class="muted">Immutability of definitions after construction</td><td>8</td><td>1.75 ms</td></tr><tr><td>Engine lifecycle</td><td class="muted">State machine, single-run guard, plugin init/shutdown</td><td>10</td><td>2.94 ms</td></tr><tr><td>Execution &amp; scheduler</td><td class="muted">Scheduling, fan-out, contexts, events, checkpoints, settlement</td><td>20</td><td>19.49 ms</td></tr><tr><td>Retry</td><td class="muted">RETRY policy looping, delays, attempt accounting</td><td>6</td><td>90.62 ms</td></tr><tr><td>Cancellation</td><td class="muted">Cooperative abort, cancellation events, terminal no-ops</td><td>5</td><td>71.66 ms</td></tr>
+  </table>
+  <h3>20 COMPLEX cases — end-to-end pipelines, failure semantics, concurrency &amp; scale, listeners, plugin lifecycle, cancellation</h3>
+  <table>
+    <tr><th>#</th><th>Case</th><th>Area</th><th>Time</th></tr>
+    <tr><td>I1</td><td>multi-branch order pipeline completes with a checkpoint per successful node</td><td class="muted">E2E pipelines</td><td>0.73 ms</td></tr><tr><td>I2</td><td>chaos graph: retry recovery plus ONTHROW repair still completes</td><td class="muted">E2E pipelines</td><td>11.54 ms</td></tr><tr><td>I3</td><td>resilience scenario: timeout is routed to a fallback so the run completes</td><td class="muted">E2E pipelines</td><td>46.69 ms</td></tr><tr><td>I4</td><td>graph-level FAIL_FAST stops not-yet-scheduled successors on independent branches</td><td class="muted">Failure semantics</td><td>31.03 ms</td></tr><tr><td>I5</td><td>ONTHROW routes to a repair node and the failing node is never re-attempted</td><td class="muted">Failure semantics</td><td>0.65 ms</td></tr><tr><td>I6</td><td>diamond fan-in executes the join node once per incoming activation (no dedup)</td><td class="muted">Concurrency &amp; scale</td><td>0.52 ms</td></tr><tr><td>I7</td><td>cyclic graph iterates via next + ONTHROW exit and keeps a growing path</td><td class="muted">Cancellation &amp; cycles</td><td>0.43 ms</td></tr><tr><td>I8</td><td>250-node fan-out satisfies a full-concurrency barrier (no hidden cap)</td><td class="muted">Concurrency &amp; scale</td><td>88.81 ms</td></tr><tr><td>I9</td><td>40-node chain produces monotone, gap-free checkpoints in execution order</td><td class="muted">Concurrency &amp; scale</td><td>2.65 ms</td></tr><tr><td>I10</td><td>required listeners observe a deterministic lifecycle event order</td><td class="muted">Events &amp; listeners</td><td>2.17 ms</td></tr><tr><td>I11</td><td>faulty non-required listeners are isolated; a failing required listener is contained</td><td class="muted">Events &amp; listeners</td><td>21.43 ms</td></tr><tr><td>I12</td><td>plugins close in reverse order and shutdown failures are collected, not fatal</td><td class="muted">Lifecycle &amp; plugins</td><td>6.33 ms</td></tr><tr><td>I13</td><td>plugin shutdown is time-boxed by cancellationTimeoutMs</td><td class="muted">Lifecycle &amp; plugins</td><td>31.36 ms</td></tr><tr><td>I14</td><td>two concurrent executions keep ids, snapshots and results isolated</td><td class="muted">Lifecycle &amp; plugins</td><td>16.53 ms</td></tr><tr><td>I15</td><td>checkpoint failure on the 2nd save blocks scheduling and freezes the last valid snapshot</td><td class="muted">Failure semantics</td><td>15.28 ms</td></tr><tr><td>I16</td><td>node timeout settles the graph while the abandoned node keeps running (cooperative abort)</td><td class="muted">Failure semantics</td><td>240.69 ms</td></tr><tr><td>I17</td><td>policy matrix: RETRY loops, CONTINUE ignores maxAttempts, FALLBACK has no distinct path</td><td class="muted">Failure semantics</td><td>21.88 ms</td></tr><tr><td>I18</td><td>final-state precedence: terminal reached + unhandled errors still yields FAILED</td><td class="muted">Failure semantics</td><td>36.37 ms</td></tr><tr><td>I19</td><td>policy resolution: every FAIL_FAST is sticky and halts the scheduler</td><td class="muted">Failure semantics</td><td>53.47 ms</td></tr><tr><td>I20</td><td>cancelling a fan-out aborts in-flight nodes and never starts their successors</td><td class="muted">Cancellation &amp; cycles</td><td>202.12 ms</td></tr>
+  </table>
+  <h3>20 ASYNC cases — async node callbacks across every path: success, retry, ONTHROW, timeout, abort, fan-out, checkpoints</h3>
+  <table>
+    <tr><th>#</th><th>Case</th><th>Area</th><th>Time</th></tr>
+    <tr><td>A1</td><td>an async node callback is awaited and its resolved value becomes the output</td><td class="muted">Node callbacks (async)</td><td>10.64 ms</td></tr><tr><td>A2</td><td>a non-async callback that returns a thenable is also awaited</td><td class="muted">Node callbacks (async)</td><td>5.65 ms</td></tr><tr><td>A3</td><td>async callback with no return value produces an undefined output</td><td class="muted">Node callbacks (async)</td><td>5.56 ms</td></tr><tr><td>A4</td><td>a rejected async callback is captured with code, stack and path</td><td class="muted">Node callbacks (async)</td><td>5.87 ms</td></tr><tr><td>A5</td><td>async rejections with AutomateGraphError preserve code and details</td><td class="muted">Node callbacks (async)</td><td>5.58 ms</td></tr><tr><td>A6</td><td>async retry callback recovers on a later attempt inside one activation</td><td class="muted">Node callbacks (async)</td><td>26.59 ms</td></tr><tr><td>A7</td><td>async callback can be retried by a custom node errorPolicy (RETRY)</td><td class="muted">Node callbacks (async)</td><td>8.06 ms</td></tr><tr><td>A8</td><td>async rejection routes through ONTHROW into an async repair callback</td><td class="muted">Node callbacks (async)</td><td>11.06 ms</td></tr><tr><td>A9</td><td>a slow async callback is preempted by timeoutMs and reported TIMED_OUT</td><td class="muted">Node callbacks (async)</td><td>165.49 ms</td></tr><tr><td>A10</td><td>a cooperative async callback observes the abort and rejects; the run settles CANCELLED</td><td class="muted">Node callbacks (async)</td><td>16.63 ms</td></tr><tr><td>A11</td><td>an async callback that ignores the signal delays settlement; successors stay unscheduled</td><td class="muted">Node callbacks (async)</td><td>60.17 ms</td></tr><tr><td>A12</td><td>async completion triggers exactly one checkpoint per successful node</td><td class="muted">Node callbacks (async)</td><td>16.28 ms</td></tr><tr><td>A13</td><td>context.emit from an async callback is awaited and ordered</td><td class="muted">Node callbacks (async)</td><td>3.7 ms</td></tr><tr><td>A14</td><td>async callbacks on independent branches execute in parallel</td><td class="muted">Node callbacks (async)</td><td>41.03 ms</td></tr><tr><td>A15</td><td>mixed sync and async nodes run together in one pipeline</td><td class="muted">Node callbacks (async)</td><td>11.09 ms</td></tr><tr><td>A16</td><td>async callback composes success, retry and failure across a three-branch graph</td><td class="muted">Node callbacks (async)</td><td>12.39 ms</td></tr><tr><td>A17</td><td>an async callback returning a marker drives a synchronous state-machine successor</td><td class="muted">Node callbacks (async)</td><td>5.7 ms</td></tr><tr><td>A18</td><td>an unrelated execution started after an abandoned async node is unaffected</td><td class="muted">Node callbacks (async)</td><td>181.69 ms</td></tr><tr><td>A19</td><td>diverse async callbacks (timers, microtasks, thenables) are classified correctly</td><td class="muted">Node callbacks (async)</td><td>3.24 ms</td></tr><tr><td>A20</td><td>async callbacks integrate with plugins, storage snapshots and the execution report</td><td class="muted">Node callbacks (async)</td><td>23.22 ms</td></tr>
+  </table>
+  <h3>19 UPGRADE cases — Wave 1 (v1.1) guarantees: drain deadline, completion policies, sticky FAIL_FAST, FALLBACK routing, budgets, linting, isomorphic build</h3>
+  <table>
+    <tr><th>#</th><th>Case</th><th>Area</th><th>Time</th></tr>
+    <tr><td>U1</td><td>cancellationTimeoutMs bounds the drain and abandons in-flight work</td><td class="muted">A2 · drain deadline</td><td>481.07 ms</td></tr><tr><td>U2</td><td>without cancellationTimeoutMs the run waits for cooperative drain</td><td class="muted">A2 · drain deadline</td><td>61.29 ms</td></tr><tr><td>U3</td><td>ALL_TERMINALS waits for every declared terminal before latching completion</td><td class="muted">A3 · completion policy</td><td>26.35 ms</td></tr><tr><td>U4</td><td>DRAIN keeps scheduling after a terminal, so ONTHROW recovery is no longer dropped</td><td class="muted">A3 · completion policy</td><td>26.01 ms</td></tr><tr><td>U5</td><td>FIRST_TERMINAL (default) drops pending work but now reports it via activation.dropped</td><td class="muted">A3 · completion policy</td><td>25.88 ms</td></tr><tr><td>U6</td><td>an unknown completionPolicy is rejected at construction time</td><td class="muted">A3 · completion policy</td><td>0.17 ms</td></tr><tr><td>U7</td><td>node-level FAIL_FAST is sticky and drops successors via activation.dropped</td><td class="muted">A4/A5 · FAIL_FAST &amp; FALLBACK</td><td>30.1 ms</td></tr><tr><td>U8</td><td>FALLBACK routes to the fallback node and marks the error handled</td><td class="muted">A4/A5 · FAIL_FAST &amp; FALLBACK</td><td>0.43 ms</td></tr><tr><td>U9</td><td>a fallback target is ignored unless the effective policy is FALLBACK</td><td class="muted">A4/A5 · FAIL_FAST &amp; FALLBACK</td><td>0.25 ms</td></tr><tr><td>U10</td><td>an unknown fallback target is rejected at construction time</td><td class="muted">A4/A5 · FAIL_FAST &amp; FALLBACK</td><td>0.13 ms</td></tr><tr><td>U11</td><td>NodeResult.error carries the failure record and matches the report errors</td><td class="muted">A6/A10 · results &amp; hygiene</td><td>0.18 ms</td></tr><tr><td>U12</td><td>a timed-out node exposes NODE_TIMEOUT on its own result</td><td class="muted">A6/A10 · results &amp; hygiene</td><td>116.21 ms</td></tr><tr><td>U13</td><td>in-flight activation tracking is empty before and after a run</td><td class="muted">A6/A10 · results &amp; hygiene</td><td>30.98 ms</td></tr><tr><td>U14</td><td>maxConcurrency bounds parallelism and preserves completion</td><td class="muted">A8 · concurrency &amp; budget</td><td>28.62 ms</td></tr><tr><td>U15</td><td>maxActivations stops a runaway cycle with STEP_BUDGET_EXCEEDED</td><td class="muted">A8 · concurrency &amp; budget</td><td>0.59 ms</td></tr><tr><td>U16</td><td>invalid concurrency and budget options are rejected</td><td class="muted">A8 · concurrency &amp; budget</td><td>0.2 ms</td></tr><tr><td>U17</td><td>lintGraph reports unreachable nodes, unreachable terminals, dead ends and duplicates</td><td class="muted">A9 · graph linting</td><td>0.43 ms</td></tr><tr><td>U18</td><td>lint: &quot;warn&quot; logs issues, lint: &quot;error&quot; rejects only on error-level issues</td><td class="muted">A9 · graph linting</td><td>0.63 ms</td></tr><tr><td>U19</td><td>the engine core compiles with DOM-only libs and no Node types (browser-safe)</td><td class="muted">Isomorphic build</td><td>1292.28 ms</td></tr>
+  </table>
+  <h3>11 CONFORMANCE cases — the storage adapter contract is enforced by a checker with teeth, plus the snapshot wire format</h3>
+  <table>
+    <tr><th>#</th><th>Case</th><th>Area</th><th>Time</th></tr>
+    <tr><td>C1</td><td>InMemoryStorage passes the full conformance suite with zero violations</td><td class="muted">Storage adapter contract</td><td>1.84 ms</td></tr><tr><td>C2</td><td>an adapter with fault injection proves atomicity instead of skipping it</td><td class="muted">Storage adapter contract</td><td>0.52 ms</td></tr><tr><td>C3</td><td>the checker catches aliasing, broken listing and broken deletion</td><td class="muted">Storage adapter contract</td><td>0.41 ms</td></tr><tr><td>C4</td><td>the checker catches a torn write that commits before failing</td><td class="muted">Storage adapter contract</td><td>0.68 ms</td></tr><tr><td>C5</td><td>missing required members are reported as SHAPE violations</td><td class="muted">Storage adapter contract</td><td>0.12 ms</td></tr><tr><td>C6</td><td>an adapter that claims a capability it does not implement is rejected (defineStorageAdapter)</td><td class="muted">Storage adapter contract</td><td>0.11 ms</td></tr><tr><td>C7</td><td>the engine accepts any conformant adapter as its storage plugin</td><td class="muted">Storage adapter contract</td><td>0.46 ms</td></tr><tr><td>C8</td><td>serializeSnapshot is deterministic and round-trips through JSON</td><td class="muted">Snapshot wire format</td><td>0.17 ms</td></tr><tr><td>C9</td><td>corrupt or unsupported snapshots are rejected with typed errors</td><td class="muted">Snapshot wire format</td><td>0.15 ms</td></tr><tr><td>C10</td><td>snapshotShapeViolations pinpoints every malformed field</td><td class="muted">Snapshot wire format</td><td>0.09 ms</td></tr><tr><td>C11</td><td>compareSnapshots reports structural differences precisely</td><td class="muted">Snapshot wire format</td><td>0.15 ms</td></tr>
+  </table>
+  <h3>13 LINT cases — the SUCCESS_DEAD_END rule: non-terminal nodes whose success path has nowhere to go</h3>
+  <table>
+    <tr><th>#</th><th>Case</th><th>Area</th><th>Time</th></tr>
+    <tr><td>L1</td><td>the exact C-19 fixture is flagged: slow-vendor succeeds into a void</td><td class="muted">Success dead-end rule</td><td>0.52 ms</td></tr><tr><td>L2</td><td>the fix suggested by the message clears the issue (next declared)</td><td class="muted">Success dead-end rule</td><td>0.13 ms</td></tr><tr><td>L3</td><td>declared terminal nodes are never flagged, even without next</td><td class="muted">Success dead-end rule</td><td>0.08 ms</td></tr><tr><td>L4</td><td>a node with no transitions at all is DEAD_END_NODE, not SUCCESS_DEAD_END</td><td class="muted">Success dead-end rule</td><td>0.07 ms</td></tr><tr><td>L5</td><td>an ignored fallback does not count as a live error transition</td><td class="muted">Success dead-end rule</td><td>0.1 ms</td></tr><tr><td>L6</td><td>a live fallback (policy FALLBACK) makes it SUCCESS_DEAD_END, not a total dead end</td><td class="muted">Success dead-end rule</td><td>0.09 ms</td></tr><tr><td>L7</td><td>onThrow alone is treated as a live error transition</td><td class="muted">Success dead-end rule</td><td>0.06 ms</td></tr><tr><td>L8</td><td>unreachable nodes with a success path stay unreachable-only (no noise)</td><td class="muted">Success dead-end rule</td><td>0.06 ms</td></tr><tr><td>L9</td><td>every issue has a stable shape and a known code</td><td class="muted">Success dead-end rule</td><td>0.18 ms</td></tr><tr><td>L10</td><td>lint: &quot;warn&quot; logs SUCCESS_DEAD_END and still completes the C-19 run</td><td class="muted">Success dead-end rule</td><td>26.19 ms</td></tr><tr><td>L11</td><td>lint: &quot;error&quot; rejects the C-19 graph before any node runs</td><td class="muted">Success dead-end rule</td><td>0.33 ms</td></tr><tr><td>L12</td><td>the C-01 order-pipeline fixture flags audit as DEAD_END_NODE (documented gotcha)</td><td class="muted">Success dead-end rule</td><td>0.41 ms</td></tr><tr><td>L13</td><td>a graph with no transition problems lints clean and runs</td><td class="muted">Success dead-end rule</td><td>0.25 ms</td></tr>
+  </table>
+  <h3>26 EDGES cases — typed edges: deep-equality/t predicate routing, else edges, parallel edges and explicit Next/goto routing</h3>
+  <table>
+    <tr><th>#</th><th>Case</th><th>Area</th><th>Time</th></tr>
+    <tr><td>E1</td><td>string edges keep the v1.0 meaning: unconditional fan-out</td><td class="muted">Typed edges &amp; routing</td><td>0.24 ms</td></tr><tr><td>E2</td><td>result matches by deep equality and only the first matching edge fires</td><td class="muted">Typed edges &amp; routing</td><td>0.41 ms</td></tr><tr><td>E3</td><td>deep equality matches nested objects regardless of key order</td><td class="muted">Typed edges &amp; routing</td><td>0.23 ms</td></tr><tr><td>E4</td><td>result: NaN matches a NaN output (Object.is semantics)</td><td class="muted">Typed edges &amp; routing</td><td>0.22 ms</td></tr><tr><td>E5</td><td>result: undefined matches an undefined output (presence, not truthiness)</td><td class="muted">Typed edges &amp; routing</td><td>0.21 ms</td></tr><tr><td>E6</td><td>test predicate routes the activation</td><td class="muted">Typed edges &amp; routing</td><td>0.18 ms</td></tr><tr><td>E7</td><td>two matching conditionals: declaration order wins</td><td class="muted">Typed edges &amp; routing</td><td>0.17 ms</td></tr><tr><td>E8</td><td>result + test on one edge must both pass (AND)</td><td class="muted">Typed edges &amp; routing</td><td>0.23 ms</td></tr><tr><td>E9</td><td>the else edge (no matcher) fires when nothing earlier matched</td><td class="muted">Typed edges &amp; routing</td><td>0.19 ms</td></tr><tr><td>E10</td><td>no match is silent: nothing is scheduled, no routing error is recorded</td><td class="muted">Typed edges &amp; routing</td><td>0.27 ms</td></tr><tr><td>E11</td><td>parallel edges fire alongside the winning conditional</td><td class="muted">Typed edges &amp; routing</td><td>0.22 ms</td></tr><tr><td>E12</td><td>a parallel edge is never blocked, even after a conditional match</td><td class="muted">Typed edges &amp; routing</td><td>0.24 ms</td></tr><tr><td>E13</td><td>a parallel edge with a matcher is still unconditional (matcher ignored, lint warns)</td><td class="muted">Typed edges &amp; routing</td><td>0.25 ms</td></tr><tr><td>E14</td><td>returning new Next(target, value) routes and successors see the unwrapped value</td><td class="muted">Typed edges &amp; routing</td><td>0.25 ms</td></tr><tr><td>E15</td><td>context.goto(target) + return value routes for void/imperative nodes</td><td class="muted">Typed edges &amp; routing</td><td>0.16 ms</td></tr><tr><td>E16</td><td>a void node can route with goto alone</td><td class="muted">Typed edges &amp; routing</td><td>0.2 ms</td></tr><tr><td>E17</td><td>an explicit route replaces the whole edge list, parallel edges included</td><td class="muted">Typed edges &amp; routing</td><td>0.2 ms</td></tr><tr><td>E18</td><td>return new Next wins over context.goto when both are used</td><td class="muted">Typed edges &amp; routing</td><td>0.15 ms</td></tr><tr><td>E19</td><td>goto works per attempt: the route is taken by the successful attempt</td><td class="muted">Typed edges &amp; routing</td><td>5.6 ms</td></tr><tr><td>E20</td><td>routing to an unknown node records INVALID_GOTO_TARGET and schedules nothing</td><td class="muted">Typed edges &amp; routing</td><td>0.45 ms</td></tr><tr><td>E21</td><td>new Next with an empty target throws INVALID_NEXT_TARGET immediately</td><td class="muted">Typed edges &amp; routing</td><td>0.06 ms</td></tr><tr><td>E22</td><td>a terminal node ignores its edges and its routing, and lint warns about it</td><td class="muted">Typed edges &amp; routing</td><td>0.22 ms</td></tr><tr><td>E23</td><td>lint flags an exclusive edge declared after an else edge as unreachable</td><td class="muted">Typed edges &amp; routing</td><td>0.34 ms</td></tr><tr><td>E24</td><td>malformed edge entries are rejected at construction time</td><td class="muted">Typed edges &amp; routing</td><td>0.41 ms</td></tr><tr><td>E25</td><td>the a → b/c/d/e/f picture runs as ONE execution — the router is no longer needed</td><td class="muted">Typed edges &amp; routing</td><td>11.8 ms</td></tr><tr><td>E26</td><td>lint is clean for the payoff graph (routes declared, no dead edges)</td><td class="muted">Typed edges &amp; routing</td><td>0.44 ms</td></tr>
+  </table>
+  <h3>28 REGISTRY cases — the function registry: run/test by name, lazy resolution, UNKNOWN_FUNCTION, fingerprints</h3>
+  <table>
+    <tr><th>#</th><th>Case</th><th>Area</th><th>Time</th></tr>
+    <tr><td>R1</td><td>a node whose run is a registered NAME executes that function</td><td class="muted">Function registry</td><td>0.67 ms</td></tr><tr><td>R2</td><td>a graph-local function overrides the engine&#39;s shared entry</td><td class="muted">Function registry</td><td>0.45 ms</td></tr><tr><td>R3</td><td>graph-local functions work with no engine registry at all</td><td class="muted">Function registry</td><td>0.2 ms</td></tr><tr><td>R4</td><td>registerFunction() after construction is honoured (resolution is lazy)</td><td class="muted">Function registry</td><td>0.26 ms</td></tr><tr><td>R5</td><td>inline functions and registered names coexist in one graph</td><td class="muted">Function registry</td><td>0.24 ms</td></tr><tr><td>R6</td><td>a registered node function receives a full NodeContext</td><td class="muted">Function registry</td><td>0.24 ms</td></tr><tr><td>R7</td><td>a registered async function is awaited</td><td class="muted">Function registry</td><td>5.47 ms</td></tr><tr><td>R8</td><td>a registered node can route explicitly with Next and with context.goto</td><td class="muted">Function registry</td><td>0.67 ms</td></tr><tr><td>R9</td><td>timeouts and retries apply to registered functions exactly as to inline ones</td><td class="muted">Function registry</td><td>21.6 ms</td></tr><tr><td>R10</td><td>a missing run name records UNKNOWN_FUNCTION (unhandled) and schedules nothing</td><td class="muted">Function registry</td><td>0.48 ms</td></tr><tr><td>R11</td><td>a missing run name is PERMANENT: no retry, no onThrow, no fallback</td><td class="muted">Function registry</td><td>0.26 ms</td></tr><tr><td>R12</td><td>a missing run name ignores FALLBACK policy as well</td><td class="muted">Function registry</td><td>0.19 ms</td></tr><tr><td>R13</td><td>registering the missing name mid-run lets the next activation succeed</td><td class="muted">Function registry</td><td>0.28 ms</td></tr><tr><td>R14</td><td>a named edge test decides the branch, and result + test still AND</td><td class="muted">Function registry</td><td>0.35 ms</td></tr><tr><td>R15</td><td>inline and named tests mix in one chain, in declaration order</td><td class="muted">Function registry</td><td>0.28 ms</td></tr><tr><td>R16</td><td>an unresolvable edge test never matches, is recorded once, and lets the else edge run</td><td class="muted">Function registry</td><td>0.3 ms</td></tr><tr><td>R17</td><td>a repeated evaluation reports a missing test only once (retry path)</td><td class="muted">Function registry</td><td>1.65 ms</td></tr><tr><td>R18</td><td>lint treats a NAMED test as conditional — no false UNREACHABLE_EDGE</td><td class="muted">Function registry</td><td>0.3 ms</td></tr><tr><td>R19</td><td>a PARALLEL edge with a named test still warns PARALLEL_EDGE_MATCHER_IGNORED</td><td class="muted">Function registry</td><td>0.27 ms</td></tr><tr><td>R20</td><td>graph.ready and the report carry { fingerprint, names }; both are absent without a registry</td><td class="muted">Function registry</td><td>0.4 ms</td></tr><tr><td>R21</td><td>every checkpoint carries the registry identity</td><td class="muted">Function registry</td><td>0.35 ms</td></tr><tr><td>R22</td><td>FunctionRegistry: register/extend/has/get/names/snapshot stay consistent</td><td class="muted">Function registry</td><td>0.18 ms</td></tr><tr><td>R23</td><td>the fingerprint is stable, order-independent, and source-sensitive</td><td class="muted">Function registry</td><td>0.19 ms</td></tr><tr><td>R24</td><td>invalid registrations fail immediately</td><td class="muted">Function registry</td><td>0.16 ms</td></tr><tr><td>R25</td><td>malformed run values and graph tables are rejected at construction</td><td class="muted">Function registry</td><td>0.2 ms</td></tr><tr><td>R26</td><td>nodeFunctions()/edgeTests() restore per-signature inference</td><td class="muted">Function registry</td><td>0.28 ms</td></tr><tr><td>R27</td><td>the report stays JSON-serializable with a registry configured</td><td class="muted">Function registry</td><td>0.31 ms</td></tr><tr><td>R28</td><td>the UNKNOWN_FUNCTION record is self-describing</td><td class="muted">Function registry</td><td>0.27 ms</td></tr>
+  </table>
+  <h3>19 JSON cases — graph data files: parsing a document into a definition, total validation, engine from JSON</h3>
+  <table>
+    <tr><th>#</th><th>Case</th><th>Area</th><th>Time</th></tr>
+    <tr><td>G1</td><td>a valid document parses into a GraphDefinition (string and object input agree)</td><td class="muted">Graph JSON loader</td><td>1.22 ms</td></tr><tr><td>G2</td><td>node ids default to their keys, and a mismatching explicit id is an issue</td><td class="muted">Graph JSON loader</td><td>0.29 ms</td></tr><tr><td>G3</td><td>deep-equality results, named tests and parallel flags survive the round trip</td><td class="muted">Graph JSON loader</td><td>0.14 ms</td></tr><tr><td>G4</td><td>createEngineFromJSON runs the data file and reports the registry fingerprint</td><td class="muted">Graph JSON loader</td><td>0.56 ms</td></tr><tr><td>G5</td><td>a named test in the document routes via the supplied registry</td><td class="muted">Graph JSON loader</td><td>0.33 ms</td></tr><tr><td>G6</td><td>a data file with an unknown name runs and fails with UNKNOWN_FUNCTION</td><td class="muted">Graph JSON loader</td><td>0.57 ms</td></tr><tr><td>G7</td><td>the parsed definition is accepted by the engine unchanged</td><td class="muted">Graph JSON loader</td><td>0.36 ms</td></tr><tr><td>G8</td><td>invalid JSON text is a single, clear GraphJSONError</td><td class="muted">Graph JSON loader</td><td>0.12 ms</td></tr><tr><td>G9</td><td>a non-object document is rejected with one issue</td><td class="muted">Graph JSON loader</td><td>0.08 ms</td></tr><tr><td>G10</td><td>unknown properties are rejected at every level</td><td class="muted">Graph JSON loader</td><td>0.18 ms</td></tr><tr><td>G11</td><td>functions cannot live in the document — the issue points at the engine options</td><td class="muted">Graph JSON loader</td><td>0.11 ms</td></tr><tr><td>G12</td><td>dangling references are reported with their paths</td><td class="muted">Graph JSON loader</td><td>0.13 ms</td></tr><tr><td>G13</td><td>malformed edges are rejected entry by entry</td><td class="muted">Graph JSON loader</td><td>0.19 ms</td></tr><tr><td>G14</td><td>invalid scalars, policies and retry blocks are rejected</td><td class="muted">Graph JSON loader</td><td>0.19 ms</td></tr><tr><td>G15</td><td>EVERY issue is collected — one throw carries them all</td><td class="muted">Graph JSON loader</td><td>0.18 ms</td></tr><tr><td>G16</td><td>isGraphJSON() is a cheap shape probe, not a validator</td><td class="muted">Graph JSON loader</td><td>0.13 ms</td></tr><tr><td>G17</td><td>an in-memory object may pass real functions through (escape hatch)</td><td class="muted">Graph JSON loader</td><td>0.24 ms</td></tr><tr><td>G18</td><td>a parsed document with dangling ids is still caught by the engine if it is hand-edited</td><td class="muted">Graph JSON loader</td><td>0.17 ms</td></tr><tr><td>G19</td><td>the loader example document is valid (regression: the shipped .json file)</td><td class="muted">Graph JSON loader</td><td>0.53 ms</td></tr>
+  </table>
+  <h3>26 SCRIPTS cases — script loading: exported and self-registered functions, format detection, process-global namespace freeze</h3>
+  <table>
+    <tr><th>#</th><th>Case</th><th>Area</th><th>Time</th></tr>
+    <tr><td>S1</td><td>a .cjs script is required and its export table becomes the registry</td><td class="muted">Script loading</td><td>1.62 ms</td></tr><tr><td>S2</td><td>an .mjs script is imported as an ES module</td><td class="muted">Script loading</td><td>5.98 ms</td></tr><tr><td>S3</td><td>a .js script with ESM syntax is detected as ESM; without it, as CommonJS</td><td class="muted">Script loading</td><td>2.16 ms</td></tr><tr><td>S4</td><td>an explicit format is honoured and never retried in the other format</td><td class="muted">Script loading</td><td>4.02 ms</td></tr><tr><td>S5</td><td>inline CommonJS source runs with a real require and module</td><td class="muted">Script loading</td><td>0.44 ms</td></tr><tr><td>S6</td><td>inline ESM source is evaluated from a data URL</td><td class="muted">Script loading</td><td>0.69 ms</td></tr><tr><td>S7</td><td>URL scripts are fetched and evaluated (CJS by default, ESM by hint)</td><td class="muted">Script loading</td><td>0.83 ms</td></tr><tr><td>S8</td><td>a script can register itself through globalThis.GraphEngine</td><td class="muted">Script loading</td><td>0.65 ms</td></tr><tr><td>S9</td><td>the realm is restored after the load — the engine global does not leak</td><td class="muted">Script loading</td><td>0.83 ms</td></tr><tr><td>S10</td><td>a script can both self-register and export; both land in the namespace</td><td class="muted">Script loading</td><td>0.84 ms</td></tr><tr><td>S11</td><td>the declared namespace must match what the script registers</td><td class="muted">Script loading</td><td>0.31 ms</td></tr><tr><td>S12</td><td>a registration error from inside the script surfaces unwrapped</td><td class="muted">Script loading</td><td>0.38 ms</td></tr><tr><td>S13</td><td>a namespace can be claimed only once per process (exports path)</td><td class="muted">Script loading</td><td>0.67 ms</td></tr><tr><td>S14</td><td>a self-registering script throws on the duplicate claim FROM INSIDE the script</td><td class="muted">Script loading</td><td>0.46 ms</td></tr><tr><td>S15</td><td>a claim made before a crashing script survives; the load still fails</td><td class="muted">Script loading</td><td>0.99 ms</td></tr><tr><td>S16</td><td>a script that throws is not replayed in the other format</td><td class="muted">Script loading</td><td>0.43 ms</td></tr><tr><td>S17</td><td>two scripts providing the same name collide; override is opt-in</td><td class="muted">Script loading</td><td>0.73 ms</td></tr><tr><td>S18</td><td>script declarations are validated, with JSON paths</td><td class="muted">Script loading</td><td>0.32 ms</td></tr><tr><td>S19</td><td>the same namespace twice in one document is a parse issue</td><td class="muted">Script loading</td><td>0.1 ms</td></tr><tr><td>S20</td><td>a scripted document still parses with the v1.4 entry point</td><td class="muted">Script loading</td><td>0.12 ms</td></tr><tr><td>S21</td><td>the document is validated BEFORE any script executes</td><td class="muted">Script loading</td><td>0.14 ms</td></tr><tr><td>S22</td><td>a missing file, a crashing script and a function-less script fail clearly</td><td class="muted">Script loading</td><td>0.65 ms</td></tr><tr><td>S23</td><td>a scripted document runs: the script provides the node and edge functions</td><td class="muted">Script loading</td><td>0.65 ms</td></tr><tr><td>S24</td><td>a script&#39;s own sibling requires resolve from the script&#39;s directory</td><td class="muted">Script loading</td><td>0.56 ms</td></tr><tr><td>S25</td><td>inline scripts compose with path scripts in one document</td><td class="muted">Script loading</td><td>0.43 ms</td></tr><tr><td>S26</td><td>the loaded table is frozen and the engine can be built from it directly</td><td class="muted">Script loading</td><td>0.46 ms</td></tr>
+  </table>
+  <h2>All test results</h2>
+  <div class="toolbar">
+    <button class="btn active" data-filter="all">All (282)</button>
+    <button class="btn" data-filter="unit">UNIT (100)</button><button class="btn" data-filter="integration">COMPLEX (20)</button><button class="btn" data-filter="async">ASYNC (20)</button><button class="btn" data-filter="upgrade">UPGRADE (19)</button><button class="btn" data-filter="conformance">CONFORMANCE (11)</button><button class="btn" data-filter="lint">LINT (13)</button><button class="btn" data-filter="edges">EDGES (26)</button><button class="btn" data-filter="registry">REGISTRY (28)</button><button class="btn" data-filter="graphjson">JSON (19)</button><button class="btn" data-filter="scripts">SCRIPTS (26)</button>
+    <button class="btn" data-filter="failed">Failed (0)</button>
+    <button class="btn" data-filter="finding">Findings (56)</button>
+    <input type="search" id="q" placeholder="Search id, category, test name…"/>
+  </div>
+  <div id="rows">
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u1 graph validation throws graphvalidationerror when graph.id is empty ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U1</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws GraphValidationError when graph.id is empty</span>
+      <span class="ms">2.91 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u2 graph validation throws when graph.id is only whitespace ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U2</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when graph.id is only whitespace</span>
+      <span class="ms">0.11 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u3 graph validation throws when graph.version is empty ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U3</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when graph.version is empty</span>
+      <span class="ms">0.08 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u4 graph validation throws when there are no entry nodes ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U4</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when there are no entry nodes</span>
+      <span class="ms">0.07 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u5 graph validation throws when there are no terminal nodes ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U5</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when there are no terminal nodes</span>
+      <span class="ms">0.07 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u6 graph validation throws when a node key does not match node.id ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U6</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when a node key does not match Node.id</span>
+      <span class="ms">0.09 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u7 graph validation throws when next references an unknown node ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U7</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when next references an unknown node</span>
+      <span class="ms">0.09 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u8 graph validation throws when onthrow references an unknown node ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U8</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when onThrow references an unknown node</span>
+      <span class="ms">0.08 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u9 graph validation throws when node timeoutms is zero ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U9</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when node timeoutMs is zero</span>
+      <span class="ms">0.17 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u10 graph validation throws when node timeoutms is negative ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U10</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when node timeoutMs is negative</span>
+      <span class="ms">0.19 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u11 graph validation throws when retry.maxattempts is not an integer ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U11</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when retry.maxAttempts is not an integer</span>
+      <span class="ms">0.15 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u12 graph validation throws when entry or terminal node is unknown ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U12</span>
+      <span class="cat">Graph validation</span>
+      <span class="name">throws when entry or terminal node is unknown</span>
+      <span class="ms">0.13 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u13 error classes &amp; utilities automategrapherror carries message, code and details ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U13</span>
+      <span class="cat">Error classes &amp; utilities</span>
+      <span class="name">AutomateGraphError carries message, code and details</span>
+      <span class="ms">0.1 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u14 error classes &amp; utilities graphvalidationerror uses the graph_validation_error code ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U14</span>
+      <span class="cat">Error classes &amp; utilities</span>
+      <span class="name">GraphValidationError uses the GRAPH_VALIDATION_ERROR code</span>
+      <span class="ms">0.05 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u15 error classes &amp; utilities timeouterror composes a readable message and details ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U15</span>
+      <span class="cat">Error classes &amp; utilities</span>
+      <span class="name">TimeoutError composes a readable message and details</span>
+      <span class="ms">0.08 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u16 error classes &amp; utilities plugininitializationerror reports the plugin id and keeps the cause ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U16</span>
+      <span class="cat">Error classes &amp; utilities</span>
+      <span class="name">PluginInitializationError reports the plugin id and keeps the cause</span>
+      <span class="ms">0.07 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u17 error classes &amp; utilities inheritance chain: timeouterror -&gt; automategrapherror -&gt; error ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U17</span>
+      <span class="cat">Error classes &amp; utilities</span>
+      <span class="name">inheritance chain: TimeoutError -&gt; AutomateGraphError -&gt; Error</span>
+      <span class="ms">0.04 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u18 error classes &amp; utilities plugininitializationerror is an automategrapherror ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U18</span>
+      <span class="cat">Error classes &amp; utilities</span>
+      <span class="name">PluginInitializationError is an AutomateGraphError</span>
+      <span class="ms">0.11 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u19 error classes &amp; utilities automategrapherror is not a graphvalidationerror (distinct subclass) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U19</span>
+      <span class="cat">Error classes &amp; utilities</span>
+      <span class="name">AutomateGraphError is not a GraphValidationError (distinct subclass)</span>
+      <span class="ms">0.04 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u20 error classes &amp; utilities automategrapherror allows optional details to be omitted ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U20</span>
+      <span class="cat">Error classes &amp; utilities</span>
+      <span class="name">AutomateGraphError allows optional details to be omitted</span>
+      <span class="ms">0.03 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u21 error classes &amp; utilities error classes expose stable constructor.name values ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U21</span>
+      <span class="cat">Error classes &amp; utilities</span>
+      <span class="name">Error classes expose stable constructor.name values</span>
+      <span class="ms">0.04 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u22 utilities engine executionid is a stable 36-char uuid-ish string ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U22</span>
+      <span class="cat">Utilities</span>
+      <span class="name">engine executionId is a stable 36-char UUID-ish string</span>
+      <span class="ms">0.32 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u23 utilities executionids are unique across engines ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U23</span>
+      <span class="cat">Utilities</span>
+      <span class="name">executionIds are unique across engines</span>
+      <span class="ms">0.88 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u24 utilities report.startedat is an iso-8601 timestamp ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U24</span>
+      <span class="cat">Utilities</span>
+      <span class="name">report.startedAt is an ISO-8601 timestamp</span>
+      <span class="ms">1.28 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u25 utilities report.finishedat &gt;= report.startedat ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U25</span>
+      <span class="cat">Utilities</span>
+      <span class="name">report.finishedAt &gt;= report.startedAt</span>
+      <span class="ms">0.17 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u26 utilities node result startedat &lt;= finishedat ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U26</span>
+      <span class="cat">Utilities</span>
+      <span class="name">node result startedAt &lt;= finishedAt</span>
+      <span class="ms">0.15 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u27 utilities error records carry iso timestamps ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U27</span>
+      <span class="cat">Utilities</span>
+      <span class="name">error records carry ISO timestamps</span>
+      <span class="ms">0.79 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u28 utilities string throws are converted to error instances ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U28</span>
+      <span class="cat">Utilities</span>
+      <span class="name">string throws are converted to Error instances</span>
+      <span class="ms">0.47 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u29 utilities throwing a non-error object stringifies via toerror ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U29</span>
+      <span class="cat">Utilities</span>
+      <span class="name">throwing a non-Error object stringifies via toError</span>
+      <span class="ms">0.25 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u30 utilities error records expose a stack trace for real errors ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U30</span>
+      <span class="cat">Utilities</span>
+      <span class="name">error records expose a stack trace for real errors</span>
+      <span class="ms">0.21 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u31 utilities graph id/version of the report mirror the definition ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U31</span>
+      <span class="cat">Utilities</span>
+      <span class="name">graph id/version of the report mirror the definition</span>
+      <span class="ms">0.22 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u32 eventbus emit with no listeners resolves ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U32</span>
+      <span class="cat">EventBus</span>
+      <span class="name">emit with no listeners resolves</span>
+      <span class="ms">0.06 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u33 eventbus required listeners receive the payload and are awaited ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U33</span>
+      <span class="cat">EventBus</span>
+      <span class="name">required listeners receive the payload and are awaited</span>
+      <span class="ms">5.69 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u34 eventbus required listeners run in registration order ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U34</span>
+      <span class="cat">EventBus</span>
+      <span class="name">required listeners run in registration order</span>
+      <span class="ms">0.15 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u35 eventbus plain listeners are not awaited — emit resolves first ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U35</span>
+      <span class="cat">EventBus</span>
+      <span class="name">plain listeners are NOT awaited — emit resolves first</span>
+      <span class="ms">60.58 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u36 eventbus unsubscribe stops delivery ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U36</span>
+      <span class="cat">EventBus</span>
+      <span class="name">unsubscribe stops delivery</span>
+      <span class="ms">0.22 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u37 eventbus unsubscribing the last listener removes the event key ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U37</span>
+      <span class="cat">EventBus</span>
+      <span class="name">unsubscribing the last listener removes the event key</span>
+      <span class="ms">0.05 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u38 eventbus duplicate handlers registered as distinct listeners both fire ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U38</span>
+      <span class="cat">EventBus</span>
+      <span class="name">duplicate handlers registered as distinct listeners both fire</span>
+      <span class="ms">0.18 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u39 eventbus a throwing plain listener does not reject emit (isolated) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U39</span>
+      <span class="cat">EventBus</span>
+      <span class="name">a throwing plain listener does not reject emit (isolated)</span>
+      <span class="ms">10.65 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u40 eventbus a failing plain listener is reported through onlog ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U40</span>
+      <span class="cat">EventBus</span>
+      <span class="name">a failing plain listener is reported through onLog</span>
+      <span class="ms">15.53 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u41 eventbus a throwing required listener propagates to the emitter ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U41</span>
+      <span class="cat">EventBus</span>
+      <span class="name">a throwing REQUIRED listener propagates to the emitter</span>
+      <span class="ms">0.27 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u42 eventbus mixed required/plain: required first, plain afterwards (async) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U42</span>
+      <span class="cat">EventBus</span>
+      <span class="name">mixed required/plain: required first, plain afterwards (async)</span>
+      <span class="ms">20.58 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u43 eventbus clear() removes every listener ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U43</span>
+      <span class="cat">EventBus</span>
+      <span class="name">clear() removes every listener</span>
+      <span class="ms">0.2 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u44 inmemorystorage storage advertises a stable id and version ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U44</span>
+      <span class="cat">InMemoryStorage</span>
+      <span class="name">storage advertises a stable id and version</span>
+      <span class="ms">0.04 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u45 inmemorystorage load returns null for an unknown executionid ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U45</span>
+      <span class="cat">InMemoryStorage</span>
+      <span class="name">load returns null for an unknown executionId</span>
+      <span class="ms">0.11 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u46 inmemorystorage saveatomic then load returns the snapshot ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U46</span>
+      <span class="cat">InMemoryStorage</span>
+      <span class="name">saveAtomic then load returns the snapshot</span>
+      <span class="ms">0.14 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u47 inmemorystorage saveatomic deep-copies the incoming snapshot (caller later mutates) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U47</span>
+      <span class="cat">InMemoryStorage</span>
+      <span class="name">saveAtomic deep-copies the incoming snapshot (caller later mutates)</span>
+      <span class="ms">0.09 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u48 inmemorystorage load returns an isolated copy (mutation of the returned object is inert) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U48</span>
+      <span class="cat">InMemoryStorage</span>
+      <span class="name">load returns an isolated copy (mutation of the returned object is inert)</span>
+      <span class="ms">0.06 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u49 inmemorystorage repeated saves replace the previous snapshot ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U49</span>
+      <span class="cat">InMemoryStorage</span>
+      <span class="name">repeated saves replace the previous snapshot</span>
+      <span class="ms">0.07 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u50 inmemorystorage snapshots for different executions stay isolated ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U50</span>
+      <span class="cat">InMemoryStorage</span>
+      <span class="name">snapshots for different executions stay isolated</span>
+      <span class="ms">0.08 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u51 inmemorystorage concurrent saveatomic calls never interleave partial data ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U51</span>
+      <span class="cat">InMemoryStorage</span>
+      <span class="name">concurrent saveAtomic calls never interleave partial data</span>
+      <span class="ms">0.22 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u52 graph freezing getgraphdefinition returns a frozen object ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U52</span>
+      <span class="cat">Graph freezing</span>
+      <span class="name">getGraphDefinition returns a frozen object</span>
+      <span class="ms">0.24 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u53 graph freezing entrynodes and terminalnodes arrays are frozen ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U53</span>
+      <span class="cat">Graph freezing</span>
+      <span class="name">entryNodes and terminalNodes arrays are frozen</span>
+      <span class="ms">0.1 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u54 graph freezing the nodes record is frozen ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U54</span>
+      <span class="cat">Graph freezing</span>
+      <span class="name">the nodes record is frozen</span>
+      <span class="ms">0.13 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u55 graph freezing mutating the definition after construction does not affect the engine ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U55</span>
+      <span class="cat">Graph freezing</span>
+      <span class="name">mutating the definition after construction does not affect the engine</span>
+      <span class="ms">0.45 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u56 graph freezing mutating a node&#39;s next array after construction is ignored ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U56</span>
+      <span class="cat">Graph freezing</span>
+      <span class="name">mutating a node&#39;s next array after construction is ignored</span>
+      <span class="ms">0.32 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u57 graph freezing getgraphdefinition is referentially identical across calls ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U57</span>
+      <span class="cat">Graph freezing</span>
+      <span class="name">getGraphDefinition is referentially identical across calls</span>
+      <span class="ms">0.12 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u58 graph freezing deep-frozen graphs are accepted (idempotent freezing) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U58</span>
+      <span class="cat">Graph freezing</span>
+      <span class="name">deep-frozen graphs are accepted (idempotent freezing)</span>
+      <span class="ms">0.29 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u59 graph freezing frozen node objects reject mutation at runtime (strict mode) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U59</span>
+      <span class="cat">Graph freezing</span>
+      <span class="name">frozen node objects reject mutation at runtime (strict mode)</span>
+      <span class="ms">0.1 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u60 engine lifecycle getstate() is created before run() ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U60</span>
+      <span class="cat">Engine lifecycle</span>
+      <span class="name">getState() is CREATED before run()</span>
+      <span class="ms">0.08 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u61 engine lifecycle calling run() twice throws execution_already_started ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U61</span>
+      <span class="cat">Engine lifecycle</span>
+      <span class="name">calling run() twice throws EXECUTION_ALREADY_STARTED</span>
+      <span class="ms">0.2 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u62 engine lifecycle run() returns a promise ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U62</span>
+      <span class="cat">Engine lifecycle</span>
+      <span class="name">run() returns a Promise</span>
+      <span class="ms">0.17 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u63 engine lifecycle read-only accessors return defensive copies of errors ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U63</span>
+      <span class="cat">Engine lifecycle</span>
+      <span class="name">read-only accessors return defensive copies of errors</span>
+      <span class="ms">0.24 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u64 engine lifecycle read-only accessors return defensive copies of results ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U64</span>
+      <span class="cat">Engine lifecycle</span>
+      <span class="name">read-only accessors return defensive copies of results</span>
+      <span class="ms">0.4 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u65 engine lifecycle duplicate plugin ids are rejected with duplicate_plugin ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U65</span>
+      <span class="cat">Engine lifecycle</span>
+      <span class="name">duplicate plugin ids are rejected with DUPLICATE_PLUGIN</span>
+      <span class="ms">0.4 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u66 engine lifecycle a plugin reusing the storage id is rejected in the constructor ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U66</span>
+      <span class="cat">Engine lifecycle</span>
+      <span class="name">a plugin reusing the storage id is rejected in the constructor</span>
+      <span class="ms">0.17 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u67 engine lifecycle optional plugin failure is tolerated and logged ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U67</span>
+      <span class="cat">Engine lifecycle</span>
+      <span class="name">optional plugin failure is tolerated and logged</span>
+      <span class="ms">0.54 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u68 engine lifecycle a required plugin failure rejects the run and shuts down initialized plugins ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U68</span>
+      <span class="cat">Engine lifecycle</span>
+      <span class="name">a required plugin failure REJECTS the run and shuts down initialized plugins</span>
+      <span class="ms">0.36 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u69 engine lifecycle plugins close in reverse initialization order after a successful run ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U69</span>
+      <span class="cat">Engine lifecycle</span>
+      <span class="name">plugins close in reverse initialization order after a successful run</span>
+      <span class="ms">0.38 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u70 execution &amp; scheduler single-node graph completes and stores its output ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U70</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">single-node graph completes and stores its output</span>
+      <span class="ms">0.15 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u71 execution &amp; scheduler linear graph runs every node in order ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U71</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">linear graph runs every node in order</span>
+      <span class="ms">0.27 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u72 execution &amp; scheduler diamond graph fans out and converges ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U72</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">diamond graph fans out and converges</span>
+      <span class="ms">0.3 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u73 execution &amp; scheduler independent entry nodes both execute ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U73</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">independent entry nodes both execute</span>
+      <span class="ms">0.22 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u74 execution &amp; scheduler multiple terminal nodes are both recognized ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U74</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">multiple terminal nodes are both recognized</span>
+      <span class="ms">0.27 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u75 execution &amp; scheduler node context exposes execution metadata ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U75</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">node context exposes execution metadata</span>
+      <span class="ms">0.19 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u76 execution &amp; scheduler activationid is unique per activation ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U76</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">activationId is unique per activation</span>
+      <span class="ms">0.45 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u77 execution &amp; scheduler node output can be read from a successor&#39;s context.outputs ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U77</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">node output can be read from a successor&#39;s context.outputs</span>
+      <span class="ms">0.27 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u78 execution &amp; scheduler context.outputs freezing blocks mutation (strict runtime) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U78</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">context.outputs freezing blocks mutation (strict runtime)</span>
+      <span class="ms">0.2 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u79 execution &amp; scheduler async node functions are awaited ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U79</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">async node functions are awaited</span>
+      <span class="ms">15.05 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u80 execution &amp; scheduler reaching the terminal marks logicallycompleted and stops scheduling ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U80</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">reaching the terminal marks logicallyCompleted and stops scheduling</span>
+      <span class="ms">0.29 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u81 execution &amp; scheduler the graph exhausts without a terminal =&gt; failed + graph_terminal_not_reached ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U81</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">the graph exhausts without a terminal =&gt; FAILED + GRAPH_TERMINAL_NOT_REACHED</span>
+      <span class="ms">0.27 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u82 execution &amp; scheduler node.started / node.succeeded events fire with payloads ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U82</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">node.started / node.succeeded events fire with payloads</span>
+      <span class="ms">0.27 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u83 execution &amp; scheduler node.started precedes node.succeeded per node ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U83</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">node.started precedes node.succeeded per node</span>
+      <span class="ms">0.12 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u84 execution &amp; scheduler context.emit() forwards to the bus ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U84</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">context.emit() forwards to the bus</span>
+      <span class="ms">0.16 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u85 execution &amp; scheduler checkpoints are written once per successful node by default ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U85</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">checkpoints are written once per successful node by default</span>
+      <span class="ms">0.32 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u86 execution &amp; scheduler checkpointeverynode: false disables node checkpoints ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U86</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">checkpointEveryNode: false disables node checkpoints</span>
+      <span class="ms">0.17 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u87 execution &amp; scheduler snapshots record outputs, plugin versions and the execution id ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U87</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">snapshots record outputs, plugin versions and the execution id</span>
+      <span class="ms">0.22 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u88 execution &amp; scheduler successful run yields zero errors and cloneable outputs ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U88</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">successful run yields zero errors and cloneable outputs</span>
+      <span class="ms">0.15 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u89 execution &amp; scheduler node.started listener sees the context emitted by nodecontext.emit ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U89</span>
+      <span class="cat">Execution &amp; scheduler</span>
+      <span class="name">node.started listener sees the context emitted by NodeContext.emit</span>
+      <span class="ms">0.15 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u90 retry errorpolicy retry re-runs until success and records the final attempt ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U90</span>
+      <span class="cat">Retry</span>
+      <span class="name">errorPolicy RETRY re-runs until success and records the final attempt</span>
+      <span class="ms">2.89 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u91 retry retry respects delayms between attempts ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U91</span>
+      <span class="cat">Retry</span>
+      <span class="name">RETRY respects delayMs between attempts</span>
+      <span class="ms">81.1 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u92 retry exhausting maxattempts records one unhandled error and terminates ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U92</span>
+      <span class="cat">Retry</span>
+      <span class="name">exhausting maxAttempts records one unhandled error and terminates</span>
+      <span class="ms">3.02 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u93 retry retry without delayms retries without added latency ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U93</span>
+      <span class="cat">Retry</span>
+      <span class="name">RETRY without delayMs retries without added latency</span>
+      <span class="ms">1.55 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u94 retry retry maxattempts=1 means a single execution ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U94</span>
+      <span class="cat">Retry</span>
+      <span class="name">retry maxAttempts=1 means a single execution</span>
+      <span class="ms">0.5 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u95 retry once retries succeed the successor nodes are scheduled ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U95</span>
+      <span class="cat">Retry</span>
+      <span class="name">once retries succeed the successor nodes are scheduled</span>
+      <span class="ms">1.56 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u96 cancellation cancel() on a created engine produces cancelled ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U96</span>
+      <span class="cat">Cancellation</span>
+      <span class="name">cancel() on a CREATED engine produces CANCELLED</span>
+      <span class="ms">0.34 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u97 cancellation cancel() aborts the execution signal exposed to running nodes ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U97</span>
+      <span class="cat">Cancellation</span>
+      <span class="name">cancel() aborts the execution signal exposed to running nodes</span>
+      <span class="ms">30.18 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u98 cancellation cancel() emits graph.cancellationrequested ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U98</span>
+      <span class="cat">Cancellation</span>
+      <span class="name">cancel() emits graph.cancellationRequested</span>
+      <span class="ms">0.15 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u99 cancellation nodes in flight when cancelling settle as cancelled ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U99</span>
+      <span class="cat">Cancellation</span>
+      <span class="name">nodes in flight when cancelling settle as CANCELLED</span>
+      <span class="ms">40.73 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok unit" data-kind="unit" data-status="passed" data-finding="false" data-search="u100 cancellation cancel() after completed is a no-op ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U100</span>
+      <span class="cat">Cancellation</span>
+      <span class="name">cancel() after COMPLETED is a no-op</span>
+      <span class="ms">0.26 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="false" data-search="i1 e2e pipelines multi-branch order pipeline completes with a checkpoint per successful node ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I1</span>
+      <span class="cat">E2E pipelines</span>
+      <span class="name">multi-branch order pipeline completes with a checkpoint per successful node</span>
+      <span class="ms">0.73 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>checkpoints written :: 6</li><li>critical path :: &quot;validate -&gt; fraud -&gt; charge -&gt; ship -&gt; notify&quot;</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="false" data-search="i2 e2e pipelines chaos graph: retry recovery plus onthrow repair still completes ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I2</span>
+      <span class="cat">E2E pipelines</span>
+      <span class="name">chaos graph: retry recovery plus ONTHROW repair still completes</span>
+      <span class="ms">11.54 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>error path :: [&quot;root&quot;,&quot;risky&quot;,&quot;check&quot;]</li><li>handled :: true</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i3 e2e pipelines resilience scenario: timeout is routed to a fallback so the run completes fan-in runs the join node once per incoming edge (decide runs = 2)">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I3</span>
+      <span class="cat">E2E pipelines</span>
+      <span class="name">resilience scenario: timeout is routed to a fallback so the run completes</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">46.69 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>fan-in runs the join node once per incoming edge (decide runs = 2)</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>timeout details :: {&quot;nodeId&quot;:&quot;slow-vendor&quot;,&quot;timeoutMs&quot;:25}</li><li>succeeded nodes :: 7</li><li>finding: fan-in runs the join node once per incoming edge (decide runs = 2)</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i4 failure semantics graph-level fail_fast stops not-yet-scheduled successors on independent branches an already-started sibling still observes its own completion before the graph settles as failed">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I4</span>
+      <span class="cat">Failure semantics</span>
+      <span class="name">graph-level FAIL_FAST stops not-yet-scheduled successors on independent branches</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">31.03 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>an already-started sibling still observes its own completion before the graph settles as FAILED</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: an already-started sibling still observes its own completion before the graph settles as FAILED</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="false" data-search="i5 failure semantics onthrow routes to a repair node and the failing node is never re-attempted ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I5</span>
+      <span class="cat">Failure semantics</span>
+      <span class="name">ONTHROW routes to a repair node and the failing node is never re-attempted</span>
+      <span class="ms">0.65 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>activation order :: &quot;root,risky,repair,verify,finish&quot;</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i6 concurrency &amp; scale diamond fan-in executes the join node once per incoming activation (no dedup) no join/dedup semantics — the join node ran once per incoming edge">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I6</span>
+      <span class="cat">Concurrency &amp; scale</span>
+      <span class="name">diamond fan-in executes the join node once per incoming activation (no dedup)</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.52 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>no join/dedup semantics — the join node ran once per incoming edge</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: no join/dedup semantics — the join node ran once per incoming edge</li><li>final outputs.d (last writer wins) :: &quot;d(seen b=B, c=C)&quot;</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i7 cancellation &amp; cycles cyclic graph iterates via next + onthrow exit and keeps a growing path cycles are legal (no validation) and terminate only via onthrow">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I7</span>
+      <span class="cat">Cancellation &amp; cycles</span>
+      <span class="name">cyclic graph iterates via next + ONTHROW exit and keeps a growing path</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.43 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>cycles are legal (no validation) and terminate only via ONTHROW</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: cycles are legal (no validation) and terminate only via ONTHROW</li><li>loop error path :: &quot;loop -&gt; loop -&gt; loop -&gt; loop -&gt; loop -&gt; loop&quot;</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i8 concurrency &amp; scale 250-node fan-out satisfies a full-concurrency barrier (no hidden cap) scheduler concurrency is unbounded (max_safe_integer)">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I8</span>
+      <span class="cat">Concurrency &amp; scale</span>
+      <span class="name">250-node fan-out satisfies a full-concurrency barrier (no hidden cap)</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">88.81 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>scheduler concurrency is unbounded (MAX_SAFE_INTEGER)</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: scheduler concurrency is unbounded (MAX_SAFE_INTEGER)</li><li>throughput proof: all 250 nodes were simultaneously in flight (the barrier could only be released once every leaf had started), so wall time is ~1 node, not 250</li><li>wall time :: &quot;89ms (serial lower bound would be &gt;= 1250ms if capped)&quot;</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="false" data-search="i9 concurrency &amp; scale 40-node chain produces monotone, gap-free checkpoints in execution order ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I9</span>
+      <span class="cat">Concurrency &amp; scale</span>
+      <span class="name">40-node chain produces monotone, gap-free checkpoints in execution order</span>
+      <span class="ms">2.65 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>snapshots :: 40</li><li>final outputs :: 40</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="false" data-search="i10 events &amp; listeners required listeners observe a deterministic lifecycle event order ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I10</span>
+      <span class="cat">Events &amp; listeners</span>
+      <span class="name">required listeners observe a deterministic lifecycle event order</span>
+      <span class="ms">2.17 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>event sequence :: &quot;graph.ready -&gt; node.started:a -&gt; node.succeeded:a -&gt; node.started:b -&gt; node.succeeded:b -&gt; graph.logicallyCompleted -&gt; graph.finished&quot;</li><li>run duration :: &quot;2ms&quot;</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i11 events &amp; listeners faulty non-required listeners are isolated; a failing required listener is contained graph.finished is the only emit whose rejection is caught by the engine; a failing required listener elsewhere (e.g. node.failed) escapes into the node error path">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I11</span>
+      <span class="cat">Events &amp; listeners</span>
+      <span class="name">faulty non-required listeners are isolated; a failing required listener is contained</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">21.43 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>graph.finished is the only emit whose rejection is caught by the engine; a failing required listener elsewhere (e.g. node.failed) escapes into the node error path</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>isolated listener failures :: 4</li><li>finding: graph.finished is the only emit whose rejection is caught by the engine; a failing required listener elsewhere (e.g. node.failed) escapes into the node error path</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="false" data-search="i12 lifecycle &amp; plugins plugins close in reverse order and shutdown failures are collected, not fatal ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I12</span>
+      <span class="cat">Lifecycle &amp; plugins</span>
+      <span class="name">plugins close in reverse order and shutdown failures are collected, not fatal</span>
+      <span class="ms">6.33 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>shutdown errors :: [&quot;Plugin \&quot;telemetry\&quot; shutdown failed: socket already closed&quot;]</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="false" data-search="i13 lifecycle &amp; plugins plugin shutdown is time-boxed by cancellationtimeoutms ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I13</span>
+      <span class="cat">Lifecycle &amp; plugins</span>
+      <span class="name">plugin shutdown is time-boxed by cancellationTimeoutMs</span>
+      <span class="ms">31.36 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>run duration :: &quot;31ms&quot;</li><li>shutdown errors :: 1</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="false" data-search="i14 lifecycle &amp; plugins two concurrent executions keep ids, snapshots and results isolated ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I14</span>
+      <span class="cat">Lifecycle &amp; plugins</span>
+      <span class="name">two concurrent executions keep ids, snapshots and results isolated</span>
+      <span class="ms">16.53 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>execution ids :: [&quot;35eddd7b&quot;,&quot;d5609b14&quot;]</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i15 failure semantics checkpoint failure on the 2nd save blocks scheduling and freezes the last valid snapshot the checkpoint failure surfaces twice per node (checkpoint_save_failed plus a node_execution_error for the raw persistence error) and marks those nodes failed">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I15</span>
+      <span class="cat">Failure semantics</span>
+      <span class="name">checkpoint failure on the 2nd save blocks scheduling and freezes the last valid snapshot</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">15.28 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>the checkpoint failure surfaces twice per node (CHECKPOINT_SAVE_FAILED plus a NODE_EXECUTION_ERROR for the raw persistence error) and marks those nodes FAILED</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>checkpoint errors :: 2</li><li>finding: the checkpoint failure surfaces twice per node (CHECKPOINT_SAVE_FAILED plus a NODE_EXECUTION_ERROR for the raw persistence error) and marks those nodes FAILED</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i16 failure semantics node timeout settles the graph while the abandoned node keeps running (cooperative abort) javascript cannot kill a running node; the engine reports timed_out and moves on">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I16</span>
+      <span class="cat">Failure semantics</span>
+      <span class="name">node timeout settles the graph while the abandoned node keeps running (cooperative abort)</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">240.69 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>JavaScript cannot kill a running node; the engine reports TIMED_OUT and moves on</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>run duration :: &quot;41ms (node keeps running for 150ms)&quot;</li><li>abort reason :: &quot;TimeoutError&quot;</li><li>finding: JavaScript cannot kill a running node; the engine reports TIMED_OUT and moves on</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i17 failure semantics policy matrix: retry loops, continue ignores maxattempts, fallback has no distinct path fallback is accepted but treated as continue — no alternative-route mechanism exists">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I17</span>
+      <span class="cat">Failure semantics</span>
+      <span class="name">policy matrix: RETRY loops, CONTINUE ignores maxAttempts, FALLBACK has no distinct path</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">21.88 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>FALLBACK is accepted but treated as CONTINUE — no alternative-route mechanism exists</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>(a) RETRY attempts :: 3</li><li>(b) CONTINUE attempts :: 1</li><li>(c) FALLBACK attempts :: 1</li><li>finding: FALLBACK is accepted but treated as CONTINUE — no alternative-route mechanism exists</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i18 failure semantics final-state precedence: terminal reached + unhandled errors still yields failed settlement order is cancellation &gt; checkpoint failure &gt; unhandled errors &gt; logical completion; failed silently wins over a completed terminal once any branch reaches a terminal node, pending activations (including onthrow recovery paths) are cleared and never executed, yet their errors stay marked handled">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I18</span>
+      <span class="cat">Failure semantics</span>
+      <span class="name">final-state precedence: terminal reached + unhandled errors still yields FAILED</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">36.37 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>settlement order is cancellation &gt; checkpoint failure &gt; unhandled errors &gt; logical completion; FAILED silently wins over a completed terminal</li><li>once any branch reaches a terminal node, pending activations (including ONTHROW recovery paths) are cleared and never executed, yet their errors stay marked handled</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>(1) dead-end status :: &quot;FAILED&quot;</li><li>(2) logical completion :: true ; &quot;status&quot; ; &quot;FAILED&quot;</li><li>(4) recovery dropped but error marked handled :: true</li><li>finding: settlement order is cancellation &gt; checkpoint failure &gt; unhandled errors &gt; logical completion; FAILED silently wins over a completed terminal</li><li>finding: once any branch reaches a terminal node, pending activations (including ONTHROW recovery paths) are cleared and never executed, yet their errors stay marked handled</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i19 failure semantics policy resolution: every fail_fast is sticky and halts the scheduler fail_fast is sticky at both levels since v1.1 (a4) — the old node-level behaviour was a one-off queue flush that did nothing under unbounded concurrency; a node-level continue still cannot shield other branches from a graph-level fail_fast">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I19</span>
+      <span class="cat">Failure semantics</span>
+      <span class="name">policy resolution: every FAIL_FAST is sticky and halts the scheduler</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">53.47 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>FAIL_FAST is sticky at both levels since v1.1 (A4) — the old node-level behaviour was a one-off queue flush that did nothing under unbounded concurrency; a node-level CONTINUE still cannot shield other branches from a graph-level FAIL_FAST</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: FAIL_FAST is sticky at both levels since v1.1 (A4) — the old node-level behaviour was a one-off queue flush that did nothing under unbounded concurrency; a node-level CONTINUE still cannot shield other branches from a graph-level FAIL_FAST</li><li>(a) node override FAIL_FAST -&gt; sibling successor dropped :: true</li><li>(b) graph FAIL_FAST -&gt; sibling successor dropped :: true</li><li>(c) retry attempts under node override :: 2</li></ul></div>
+  </details>
+  <details class="row ok integration" data-kind="integration" data-status="passed" data-finding="true" data-search="i20 cancellation &amp; cycles cancelling a fan-out aborts in-flight nodes and never starts their successors cancel() returns immediately but the report waits for cooperative drain">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">I20</span>
+      <span class="cat">Cancellation &amp; cycles</span>
+      <span class="name">cancelling a fan-out aborts in-flight nodes and never starts their successors</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">202.12 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>cancel() returns immediately but the report waits for cooperative drain</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>cancel() latency :: &quot;1ms&quot;</li><li>run() drain time :: &quot;201ms (workers sleep 200ms)&quot;</li><li>finding: cancel() returns immediately but the report waits for cooperative drain</li></ul></div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="true" data-search="a1 node callbacks (async) an async node callback is awaited and its resolved value becomes the output nodecontext signals are typed as abortsignal even in older @types/node dom-less libs, so async callbacks can consume context.signal without casting">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A1</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">an async node callback is awaited and its resolved value becomes the output</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">10.64 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>NodeContext signals are typed as AbortSignal even in older @types/node DOM-less libs, so async callbacks can consume context.signal without casting</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: NodeContext signals are typed as AbortSignal even in older @types/node DOM-less libs, so async callbacks can consume context.signal without casting</li></ul></div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a2 node callbacks (async) a non-async callback that returns a thenable is also awaited ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A2</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">a non-async callback that returns a thenable is also awaited</span>
+      <span class="ms">5.65 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a3 node callbacks (async) async callback with no return value produces an undefined output ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A3</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">async callback with no return value produces an undefined output</span>
+      <span class="ms">5.56 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a4 node callbacks (async) a rejected async callback is captured with code, stack and path ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A4</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">a rejected async callback is captured with code, stack and path</span>
+      <span class="ms">5.87 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>captured stack head :: &quot;Error: async-rejection&quot;</li></ul></div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="true" data-search="a5 node callbacks (async) async rejections with automategrapherror preserve code and details timeouterror is identified by class or by a node_timeout-family code, so async rejections carrying that code are classified as timed_out">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A5</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">async rejections with AutomateGraphError preserve code and details</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">5.58 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>TimeoutError is identified by class OR by a NODE_TIMEOUT-family code, so async rejections carrying that code are classified as TIMED_OUT</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: TimeoutError is identified by class OR by a NODE_TIMEOUT-family code, so async rejections carrying that code are classified as TIMED_OUT</li></ul></div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a6 node callbacks (async) async retry callback recovers on a later attempt inside one activation ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A6</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">async retry callback recovers on a later attempt inside one activation</span>
+      <span class="ms">26.59 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a7 node callbacks (async) async callback can be retried by a custom node errorpolicy (retry) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A7</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">async callback can be retried by a custom node errorPolicy (RETRY)</span>
+      <span class="ms">8.06 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a8 node callbacks (async) async rejection routes through onthrow into an async repair callback ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A8</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">async rejection routes through ONTHROW into an async repair callback</span>
+      <span class="ms">11.06 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="true" data-search="a9 node callbacks (async) a slow async callback is preempted by timeoutms and reported timed_out on timeout the async callback&#39;s later resolution is discarded — no output is recorded">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A9</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">a slow async callback is preempted by timeoutMs and reported TIMED_OUT</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">165.49 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>on timeout the async callback&#39;s later resolution is discarded — no output is recorded</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>run duration :: &quot;26ms (callback keeps running for 120ms)&quot;</li><li>finding: on timeout the async callback&#39;s later resolution is discarded — no output is recorded</li></ul></div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="true" data-search="a10 node callbacks (async) a cooperative async callback observes the abort and rejects; the run settles cancelled since v1.1 (a1) cooperative cancellation is symmetric — a callback that rejects because of the abort settles cancelled with a handled graph_cancelled record, exactly like one that resolves after it; result.error now carries the record (a6)">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A10</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">a cooperative async callback observes the abort and rejects; the run settles CANCELLED</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">16.63 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>since v1.1 (A1) cooperative cancellation is symmetric — a callback that rejects because of the abort settles CANCELLED with a handled GRAPH_CANCELLED record, exactly like one that resolves after it; result.error now carries the record (A6)</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>graph status :: &quot;CANCELLED&quot; ; &quot;| node status&quot; ; &quot;CANCELLED&quot;</li><li>error record :: &quot;GRAPH_CANCELLED handled=true&quot;</li><li>finding: since v1.1 (A1) cooperative cancellation is symmetric — a callback that rejects because of the abort settles CANCELLED with a handled GRAPH_CANCELLED record, exactly like one that resolves after it; result.error now carries the record (A6)</li></ul></div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a11 node callbacks (async) an async callback that ignores the signal delays settlement; successors stay unscheduled ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A11</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">an async callback that ignores the signal delays settlement; successors stay unscheduled</span>
+      <span class="ms">60.17 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>drain time :: &quot;59ms (callback sleeps 60ms and ignores the abort)&quot;</li></ul></div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a12 node callbacks (async) async completion triggers exactly one checkpoint per successful node ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A12</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">async completion triggers exactly one checkpoint per successful node</span>
+      <span class="ms">16.28 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a13 node callbacks (async) context.emit from an async callback is awaited and ordered ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A13</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">context.emit from an async callback is awaited and ordered</span>
+      <span class="ms">3.7 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a14 node callbacks (async) async callbacks on independent branches execute in parallel ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A14</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">async callbacks on independent branches execute in parallel</span>
+      <span class="ms">41.03 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>wall time :: &quot;41ms (serial would be ~160ms)&quot;</li></ul></div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a15 node callbacks (async) mixed sync and async nodes run together in one pipeline ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A15</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">mixed sync and async nodes run together in one pipeline</span>
+      <span class="ms">11.09 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a16 node callbacks (async) async callback composes success, retry and failure across a three-branch graph ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A16</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">async callback composes success, retry and failure across a three-branch graph</span>
+      <span class="ms">12.39 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>fatal error path :: &quot;root/async-fatal&quot;</li></ul></div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a17 node callbacks (async) an async callback returning a marker drives a synchronous state-machine successor ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A17</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">an async callback returning a marker drives a synchronous state-machine successor</span>
+      <span class="ms">5.7 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="true" data-search="a18 node callbacks (async) an unrelated execution started after an abandoned async node is unaffected the abandoned async node still performed its side effect after settlement — async cancellation is cooperative only; nothing can stop an in-flight promise">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A18</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">an unrelated execution started after an abandoned async node is unaffected</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">181.69 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>the abandoned async node still performed its side effect after settlement — async cancellation is cooperative only; nothing can stop an in-flight promise</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: the abandoned async node still performed its side effect after settlement — async cancellation is cooperative only; nothing can stop an in-flight promise</li></ul></div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a19 node callbacks (async) diverse async callbacks (timers, microtasks, thenables) are classified correctly ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A19</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">diverse async callbacks (timers, microtasks, thenables) are classified correctly</span>
+      <span class="ms">3.24 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok async" data-kind="async" data-status="passed" data-finding="false" data-search="a20 node callbacks (async) async callbacks integrate with plugins, storage snapshots and the execution report ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">A20</span>
+      <span class="cat">Node callbacks (async)</span>
+      <span class="name">async callbacks integrate with plugins, storage snapshots and the execution report</span>
+      <span class="ms">23.22 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>checkpoints :: 3</li><li>plugin lifecycle :: &quot;init -&gt; close&quot;</li></ul></div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="true" data-search="u1 a2 · drain deadline cancellationtimeoutms bounds the drain and abandons in-flight work without cancellationtimeoutms the engine still waits forever (v1.0 behaviour); setting it converts an unbounded drain into a bounded, reported one">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U1</span>
+      <span class="cat">A2 · drain deadline</span>
+      <span class="name">cancellationTimeoutMs bounds the drain and abandons in-flight work</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">481.07 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>without cancellationTimeoutMs the engine still waits forever (v1.0 behaviour); setting it converts an unbounded drain into a bounded, reported one</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>run duration :: &quot;51ms (node sleeps 400ms)&quot;</li><li>finding: without cancellationTimeoutMs the engine still waits forever (v1.0 behaviour); setting it converts an unbounded drain into a bounded, reported one</li></ul></div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u2 a2 · drain deadline without cancellationtimeoutms the run waits for cooperative drain ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U2</span>
+      <span class="cat">A2 · drain deadline</span>
+      <span class="name">without cancellationTimeoutMs the run waits for cooperative drain</span>
+      <span class="ms">61.29 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="true" data-search="u3 a3 · completion policy all_terminals waits for every declared terminal before latching completion all_terminals gives fan-in style completion semantics without extra plumbing">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U3</span>
+      <span class="cat">A3 · completion policy</span>
+      <span class="name">ALL_TERMINALS waits for every declared terminal before latching completion</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">26.35 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>ALL_TERMINALS gives fan-in style completion semantics without extra plumbing</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: ALL_TERMINALS gives fan-in style completion semantics without extra plumbing</li></ul></div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="true" data-search="u4 a3 · completion policy drain keeps scheduling after a terminal, so onthrow recovery is no longer dropped drain is the opt-in fix for the v1.0 silent-drop behaviour (finding c-15/c-19) — the run executes every reachable activation before settling">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U4</span>
+      <span class="cat">A3 · completion policy</span>
+      <span class="name">DRAIN keeps scheduling after a terminal, so ONTHROW recovery is no longer dropped</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">26.01 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>DRAIN is the opt-in fix for the v1.0 silent-drop behaviour (finding C-15/C-19) — the run executes every reachable activation before settling</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: DRAIN is the opt-in fix for the v1.0 silent-drop behaviour (finding C-15/C-19) — the run executes every reachable activation before settling</li></ul></div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="true" data-search="u5 a3 · completion policy first_terminal (default) drops pending work but now reports it via activation.dropped dropped work is now observable, so silent data loss in the default mode is detectable">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U5</span>
+      <span class="cat">A3 · completion policy</span>
+      <span class="name">FIRST_TERMINAL (default) drops pending work but now reports it via activation.dropped</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">25.88 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>dropped work is now observable, so silent data loss in the default mode is detectable</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: dropped work is now observable, so silent data loss in the default mode is detectable</li></ul></div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u6 a3 · completion policy an unknown completionpolicy is rejected at construction time ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U6</span>
+      <span class="cat">A3 · completion policy</span>
+      <span class="name">an unknown completionPolicy is rejected at construction time</span>
+      <span class="ms">0.17 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u7 a4/a5 · fail_fast &amp; fallback node-level fail_fast is sticky and drops successors via activation.dropped ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U7</span>
+      <span class="cat">A4/A5 · FAIL_FAST &amp; FALLBACK</span>
+      <span class="name">node-level FAIL_FAST is sticky and drops successors via activation.dropped</span>
+      <span class="ms">30.1 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u8 a4/a5 · fail_fast &amp; fallback fallback routes to the fallback node and marks the error handled ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U8</span>
+      <span class="cat">A4/A5 · FAIL_FAST &amp; FALLBACK</span>
+      <span class="name">FALLBACK routes to the fallback node and marks the error handled</span>
+      <span class="ms">0.43 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u9 a4/a5 · fail_fast &amp; fallback a fallback target is ignored unless the effective policy is fallback ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U9</span>
+      <span class="cat">A4/A5 · FAIL_FAST &amp; FALLBACK</span>
+      <span class="name">a fallback target is ignored unless the effective policy is FALLBACK</span>
+      <span class="ms">0.25 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u10 a4/a5 · fail_fast &amp; fallback an unknown fallback target is rejected at construction time ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U10</span>
+      <span class="cat">A4/A5 · FAIL_FAST &amp; FALLBACK</span>
+      <span class="name">an unknown fallback target is rejected at construction time</span>
+      <span class="ms">0.13 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u11 a6/a10 · results &amp; hygiene noderesult.error carries the failure record and matches the report errors ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U11</span>
+      <span class="cat">A6/A10 · results &amp; hygiene</span>
+      <span class="name">NodeResult.error carries the failure record and matches the report errors</span>
+      <span class="ms">0.18 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u12 a6/a10 · results &amp; hygiene a timed-out node exposes node_timeout on its own result ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U12</span>
+      <span class="cat">A6/A10 · results &amp; hygiene</span>
+      <span class="name">a timed-out node exposes NODE_TIMEOUT on its own result</span>
+      <span class="ms">116.21 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u13 a6/a10 · results &amp; hygiene in-flight activation tracking is empty before and after a run ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U13</span>
+      <span class="cat">A6/A10 · results &amp; hygiene</span>
+      <span class="name">in-flight activation tracking is empty before and after a run</span>
+      <span class="ms">30.98 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u14 a8 · concurrency &amp; budget maxconcurrency bounds parallelism and preserves completion ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U14</span>
+      <span class="cat">A8 · concurrency &amp; budget</span>
+      <span class="name">maxConcurrency bounds parallelism and preserves completion</span>
+      <span class="ms">28.62 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>bounded :: 2 ; &quot;| unbounded default&quot; ; 8</li></ul></div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u15 a8 · concurrency &amp; budget maxactivations stops a runaway cycle with step_budget_exceeded ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U15</span>
+      <span class="cat">A8 · concurrency &amp; budget</span>
+      <span class="name">maxActivations stops a runaway cycle with STEP_BUDGET_EXCEEDED</span>
+      <span class="ms">0.59 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>activations executed :: 6 ; &quot;| duration&quot; ; &quot;0ms&quot;</li></ul></div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u16 a8 · concurrency &amp; budget invalid concurrency and budget options are rejected ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U16</span>
+      <span class="cat">A8 · concurrency &amp; budget</span>
+      <span class="name">invalid concurrency and budget options are rejected</span>
+      <span class="ms">0.2 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u17 a9 · graph linting lintgraph reports unreachable nodes, unreachable terminals, dead ends and duplicates ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U17</span>
+      <span class="cat">A9 · graph linting</span>
+      <span class="name">lintGraph reports unreachable nodes, unreachable terminals, dead ends and duplicates</span>
+      <span class="ms">0.43 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="false" data-search="u18 a9 · graph linting lint: &quot;warn&quot; logs issues, lint: &quot;error&quot; rejects only on error-level issues ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U18</span>
+      <span class="cat">A9 · graph linting</span>
+      <span class="name">lint: &quot;warn&quot; logs issues, lint: &quot;error&quot; rejects only on error-level issues</span>
+      <span class="ms">0.63 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>lint issues in the rejected report :: &quot;DEAD_END_NODE&quot;</li></ul></div>
+  </details>
+  <details class="row ok upgrade" data-kind="upgrade" data-status="passed" data-finding="true" data-search="u19 isomorphic build the engine core compiles with dom-only libs and no node types (browser-safe) the engine core is isomorphic — no node apis, no buffers, timers via settimeout only">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">U19</span>
+      <span class="cat">Isomorphic build</span>
+      <span class="name">the engine core compiles with DOM-only libs and no Node types (browser-safe)</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">1292.28 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>the engine core is isomorphic — no Node APIs, no Buffers, timers via setTimeout only</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: the engine core is isomorphic — no Node APIs, no Buffers, timers via setTimeout only</li></ul></div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="false" data-search="c1 storage adapter contract inmemorystorage passes the full conformance suite with zero violations ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C1</span>
+      <span class="cat">Storage adapter contract</span>
+      <span class="name">InMemoryStorage passes the full conformance suite with zero violations</span>
+      <span class="ms">1.84 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>checks executed :: 12</li><li>skipped :: 1 ; [&quot;FAILED_SAVE_PRESERVES_PREVIOUS (fixture provides no failNextSave)&quot;]</li></ul></div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="false" data-search="c2 storage adapter contract an adapter with fault injection proves atomicity instead of skipping it ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C2</span>
+      <span class="cat">Storage adapter contract</span>
+      <span class="name">an adapter with fault injection proves atomicity instead of skipping it</span>
+      <span class="ms">0.52 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>checks executed :: 12</li><li>skipped :: []</li></ul></div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="false" data-search="c3 storage adapter contract the checker catches aliasing, broken listing and broken deletion ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C3</span>
+      <span class="cat">Storage adapter contract</span>
+      <span class="name">the checker catches aliasing, broken listing and broken deletion</span>
+      <span class="ms">0.41 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>violations detected :: &quot;NO_ALIASING_ON_SAVE, NO_ALIASING_ON_SAVE, NO_ALIASING_ON_LOAD, NO_ALIASING_ON_LOAD, LIST, LIST, LIST, DELETE_IDEMPOTENT, DELETE_IDEMPOTENT&quot;</li></ul></div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="true" data-search="c4 storage adapter contract the checker catches a torn write that commits before failing the conformance suite distinguishes &#39;rejects&#39; from &#39;rejects without corrupting state&#39; — adapters must checkpoint before commit, not after">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C4</span>
+      <span class="cat">Storage adapter contract</span>
+      <span class="name">the checker catches a torn write that commits before failing</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.68 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>the conformance suite distinguishes &#39;rejects&#39; from &#39;rejects without corrupting state&#39; — adapters must checkpoint before commit, not after</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: the conformance suite distinguishes &#39;rejects&#39; from &#39;rejects without corrupting state&#39; — adapters must checkpoint before commit, not after</li></ul></div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="false" data-search="c5 storage adapter contract missing required members are reported as shape violations ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C5</span>
+      <span class="cat">Storage adapter contract</span>
+      <span class="name">missing required members are reported as SHAPE violations</span>
+      <span class="ms">0.12 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="false" data-search="c6 storage adapter contract an adapter that claims a capability it does not implement is rejected (definestorageadapter) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C6</span>
+      <span class="cat">Storage adapter contract</span>
+      <span class="name">an adapter that claims a capability it does not implement is rejected (defineStorageAdapter)</span>
+      <span class="ms">0.11 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="false" data-search="c7 storage adapter contract the engine accepts any conformant adapter as its storage plugin ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C7</span>
+      <span class="cat">Storage adapter contract</span>
+      <span class="name">the engine accepts any conformant adapter as its storage plugin</span>
+      <span class="ms">0.46 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>snapshots stored :: 1</li></ul></div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="false" data-search="c8 snapshot wire format serializesnapshot is deterministic and round-trips through json ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C8</span>
+      <span class="cat">Snapshot wire format</span>
+      <span class="name">serializeSnapshot is deterministic and round-trips through JSON</span>
+      <span class="ms">0.17 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="false" data-search="c9 snapshot wire format corrupt or unsupported snapshots are rejected with typed errors ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C9</span>
+      <span class="cat">Snapshot wire format</span>
+      <span class="name">corrupt or unsupported snapshots are rejected with typed errors</span>
+      <span class="ms">0.15 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="false" data-search="c10 snapshot wire format snapshotshapeviolations pinpoints every malformed field ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C10</span>
+      <span class="cat">Snapshot wire format</span>
+      <span class="name">snapshotShapeViolations pinpoints every malformed field</span>
+      <span class="ms">0.09 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok conformance" data-kind="conformance" data-status="passed" data-finding="false" data-search="c11 snapshot wire format comparesnapshots reports structural differences precisely ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">C11</span>
+      <span class="cat">Snapshot wire format</span>
+      <span class="name">compareSnapshots reports structural differences precisely</span>
+      <span class="ms">0.15 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="true" data-search="l1 success dead-end rule the exact c-19 fixture is flagged: slow-vendor succeeds into a void a node can declare onthrow and still be unreachable on its success path — the previous dead_end_node rule only asked whether *any* transition existed">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L1</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">the exact C-19 fixture is flagged: slow-vendor succeeds into a void</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.52 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>a node can declare onThrow and still be unreachable on its success path — the previous DEAD_END_NODE rule only asked whether *any* transition existed</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>issue :: &quot;error/SUCCESS_DEAD_END @ slow-vendor&quot;</li><li>finding: a node can declare onThrow and still be unreachable on its success path — the previous DEAD_END_NODE rule only asked whether *any* transition existed</li></ul></div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l2 success dead-end rule the fix suggested by the message clears the issue (next declared) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L2</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">the fix suggested by the message clears the issue (next declared)</span>
+      <span class="ms">0.13 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>slow-vendor issues after adding next :: 0</li></ul></div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l3 success dead-end rule declared terminal nodes are never flagged, even without next ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L3</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">declared terminal nodes are never flagged, even without next</span>
+      <span class="ms">0.08 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l4 success dead-end rule a node with no transitions at all is dead_end_node, not success_dead_end ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L4</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">a node with no transitions at all is DEAD_END_NODE, not SUCCESS_DEAD_END</span>
+      <span class="ms">0.07 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l5 success dead-end rule an ignored fallback does not count as a live error transition ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L5</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">an ignored fallback does not count as a live error transition</span>
+      <span class="ms">0.1 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l6 success dead-end rule a live fallback (policy fallback) makes it success_dead_end, not a total dead end ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L6</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">a live fallback (policy FALLBACK) makes it SUCCESS_DEAD_END, not a total dead end</span>
+      <span class="ms">0.09 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l7 success dead-end rule onthrow alone is treated as a live error transition ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L7</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">onThrow alone is treated as a live error transition</span>
+      <span class="ms">0.06 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l8 success dead-end rule unreachable nodes with a success path stay unreachable-only (no noise) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L8</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">unreachable nodes with a success path stay unreachable-only (no noise)</span>
+      <span class="ms">0.06 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l9 success dead-end rule every issue has a stable shape and a known code ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L9</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">every issue has a stable shape and a known code</span>
+      <span class="ms">0.18 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>codes observed :: &quot;DUPLICATE_ENTRY, SUCCESS_DEAD_END, DEAD_END_NODE&quot;</li></ul></div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l10 success dead-end rule lint: &quot;warn&quot; logs success_dead_end and still completes the c-19 run ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L10</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">lint: &quot;warn&quot; logs SUCCESS_DEAD_END and still completes the C-19 run</span>
+      <span class="ms">26.19 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>run status :: &quot;COMPLETED&quot; ; &quot;| issue logged at severity &#39;error&#39; but not enforced in warn mode&quot;</li></ul></div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="true" data-search="l11 success dead-end rule lint: &quot;error&quot; rejects the c-19 graph before any node runs lint enforcement is a pre-flight gate — the graph is rejected before initialization finishes, so no side effects from node callbacks can occur">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L11</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">lint: &quot;error&quot; rejects the C-19 graph before any node runs</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.33 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>lint enforcement is a pre-flight gate — the graph is rejected before initialization finishes, so no side effects from node callbacks can occur</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: lint enforcement is a pre-flight gate — the graph is rejected before initialization finishes, so no side effects from node callbacks can occur</li></ul></div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l12 success dead-end rule the c-01 order-pipeline fixture flags audit as dead_end_node (documented gotcha) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L12</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">the C-01 order-pipeline fixture flags audit as DEAD_END_NODE (documented gotcha)</span>
+      <span class="ms">0.41 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>audit :: &quot;error/DEAD_END_NODE&quot; ; &quot;| run&quot; ; &quot;COMPLETED&quot;</li></ul></div>
+  </details>
+  <details class="row ok lint" data-kind="lint" data-status="passed" data-finding="false" data-search="l13 success dead-end rule a graph with no transition problems lints clean and runs ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">L13</span>
+      <span class="cat">Success dead-end rule</span>
+      <span class="name">a graph with no transition problems lints clean and runs</span>
+      <span class="ms">0.25 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="true" data-search="e1 typed edges &amp; routing string edges keep the v1.0 meaning: unconditional fan-out `next: [&quot;b&quot;,&quot;c&quot;]` normalizes to two parallel edges — every existing graph keeps its behaviour">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E1</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">string edges keep the v1.0 meaning: unconditional fan-out</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.24 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>`next: [&quot;b&quot;,&quot;c&quot;]` normalizes to two parallel edges — every existing graph keeps its behaviour</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: `next: [&quot;b&quot;,&quot;c&quot;]` normalizes to two parallel edges — every existing graph keeps its behaviour</li></ul></div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e2 typed edges &amp; routing result matches by deep equality and only the first matching edge fires ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E2</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">result matches by deep equality and only the first matching edge fires</span>
+      <span class="ms">0.41 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="true" data-search="e3 typed edges &amp; routing deep equality matches nested objects regardless of key order result uses structural equality (key order, nesting and array order aware)">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E3</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">deep equality matches nested objects regardless of key order</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.23 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>result uses structural equality (key order, nesting and array order aware)</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: result uses structural equality (key order, nesting and array order aware)</li></ul></div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e4 typed edges &amp; routing result: nan matches a nan output (object.is semantics) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E4</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">result: NaN matches a NaN output (Object.is semantics)</span>
+      <span class="ms">0.22 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="true" data-search="e5 typed edges &amp; routing result: undefined matches an undefined output (presence, not truthiness) hasresult tracks key presence, so an undefined output is matchable">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E5</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">result: undefined matches an undefined output (presence, not truthiness)</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.21 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>hasResult tracks key presence, so an undefined output is matchable</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: hasResult tracks key presence, so an undefined output is matchable</li></ul></div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e6 typed edges &amp; routing test predicate routes the activation ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E6</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">test predicate routes the activation</span>
+      <span class="ms">0.18 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e7 typed edges &amp; routing two matching conditionals: declaration order wins ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E7</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">two matching conditionals: declaration order wins</span>
+      <span class="ms">0.17 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e8 typed edges &amp; routing result + test on one edge must both pass (and) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E8</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">result + test on one edge must both pass (AND)</span>
+      <span class="ms">0.23 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e9 typed edges &amp; routing the else edge (no matcher) fires when nothing earlier matched ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E9</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">the else edge (no matcher) fires when nothing earlier matched</span>
+      <span class="ms">0.19 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="true" data-search="e10 typed edges &amp; routing no match is silent: nothing is scheduled, no routing error is recorded an unmatched conditional chain is silent by design (no no_edge_matched error)">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E10</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">no match is silent: nothing is scheduled, no routing error is recorded</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.27 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>an unmatched conditional chain is silent by design (no NO_EDGE_MATCHED error)</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: an unmatched conditional chain is silent by design (no NO_EDGE_MATCHED error)</li></ul></div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e11 typed edges &amp; routing parallel edges fire alongside the winning conditional ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E11</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">parallel edges fire alongside the winning conditional</span>
+      <span class="ms">0.22 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e12 typed edges &amp; routing a parallel edge is never blocked, even after a conditional match ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E12</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">a parallel edge is never blocked, even after a conditional match</span>
+      <span class="ms">0.24 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e13 typed edges &amp; routing a parallel edge with a matcher is still unconditional (matcher ignored, lint warns) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E13</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">a parallel edge with a matcher is still unconditional (matcher ignored, lint warns)</span>
+      <span class="ms">0.25 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="true" data-search="e14 typed edges &amp; routing returning new next(target, value) routes and successors see the unwrapped value next carries both destination and payload — successors and matchers see the payload">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E14</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">returning new Next(target, value) routes and successors see the unwrapped value</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.25 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>Next carries both destination and payload — successors and matchers see the payload</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: Next carries both destination and payload — successors and matchers see the payload</li></ul></div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e15 typed edges &amp; routing context.goto(target) + return value routes for void/imperative nodes ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E15</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">context.goto(target) + return value routes for void/imperative nodes</span>
+      <span class="ms">0.16 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e16 typed edges &amp; routing a void node can route with goto alone ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E16</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">a void node can route with goto alone</span>
+      <span class="ms">0.2 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="true" data-search="e17 typed edges &amp; routing an explicit route replaces the whole edge list, parallel edges included an explicit route is authoritative — declared edges (and parallel ones) are ignored">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E17</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">an explicit route replaces the whole edge list, parallel edges included</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.2 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>an explicit route is authoritative — declared edges (and parallel ones) are ignored</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: an explicit route is authoritative — declared edges (and parallel ones) are ignored</li></ul></div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e18 typed edges &amp; routing return new next wins over context.goto when both are used ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E18</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">return new Next wins over context.goto when both are used</span>
+      <span class="ms">0.15 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e19 typed edges &amp; routing goto works per attempt: the route is taken by the successful attempt ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E19</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">goto works per attempt: the route is taken by the successful attempt</span>
+      <span class="ms">5.6 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e20 typed edges &amp; routing routing to an unknown node records invalid_goto_target and schedules nothing ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E20</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">routing to an unknown node records INVALID_GOTO_TARGET and schedules nothing</span>
+      <span class="ms">0.45 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e21 typed edges &amp; routing new next with an empty target throws invalid_next_target immediately ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E21</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">new Next with an empty target throws INVALID_NEXT_TARGET immediately</span>
+      <span class="ms">0.06 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="true" data-search="e22 typed edges &amp; routing a terminal node ignores its edges and its routing, and lint warns about it terminal detection happens before routing — a terminal node never schedules successors">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E22</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">a terminal node ignores its edges and its routing, and lint warns about it</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.22 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>terminal detection happens before routing — a terminal node never schedules successors</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: terminal detection happens before routing — a terminal node never schedules successors</li></ul></div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="true" data-search="e23 typed edges &amp; routing lint flags an exclusive edge declared after an else edge as unreachable an else edge shadows every exclusive edge declared after it — runtime agrees with lint">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E23</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">lint flags an exclusive edge declared after an else edge as unreachable</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.34 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>an else edge shadows every exclusive edge declared after it — runtime agrees with lint</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: an else edge shadows every exclusive edge declared after it — runtime agrees with lint</li></ul></div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e24 typed edges &amp; routing malformed edge entries are rejected at construction time ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E24</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">malformed edge entries are rejected at construction time</span>
+      <span class="ms">0.41 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="true" data-search="e25 typed edges &amp; routing the a → b/c/d/e/f picture runs as one execution — the router is no longer needed with typed edges the whole picture is one execution and lint-clean — no router, no gate, no drain policy needed">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E25</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">the a → b/c/d/e/f picture runs as ONE execution — the router is no longer needed</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">11.8 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>with typed edges the whole picture is ONE execution and lint-clean — no router, no gate, no DRAIN policy needed</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>seed 1 :: &quot;a,b,f  (attempts 1)&quot;</li><li>seed 2 :: &quot;a,c  (attempts 1)&quot;</li><li>seed 3 :: &quot;a,d  (attempts 1)&quot;</li><li>seed &quot;throw&quot; :: &quot;a,e  (attempts 2)&quot;</li><li>seed &quot;retry&quot; :: &quot;a,f  (attempts 2)&quot;</li><li>finding: with typed edges the whole picture is ONE execution and lint-clean — no router, no gate, no DRAIN policy needed</li></ul></div>
+  </details>
+  <details class="row ok edges" data-kind="edges" data-status="passed" data-finding="false" data-search="e26 typed edges &amp; routing lint is clean for the payoff graph (routes declared, no dead edges) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">E26</span>
+      <span class="cat">Typed edges &amp; routing</span>
+      <span class="name">lint is clean for the payoff graph (routes declared, no dead edges)</span>
+      <span class="ms">0.44 ms</span>
+    </summary>
+    <div class="detail"><span class="tag">observations</span><ul><li>graph linted clean and ran under lint: &quot;error&quot;</li></ul></div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="true" data-search="r1 function registry a node whose run is a registered name executes that function report.results[i].fn — not report.results[i].output — is the audit link to the registered source">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R1</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a node whose run is a registered NAME executes that function</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.67 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>report.results[i].fn — not report.results[i].output — is the audit link to the registered source</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: report.results[i].fn — not report.results[i].output — is the audit link to the registered source</li></ul></div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r2 function registry a graph-local function overrides the engine&#39;s shared entry ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R2</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a graph-local function overrides the engine&#39;s shared entry</span>
+      <span class="ms">0.45 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r3 function registry graph-local functions work with no engine registry at all ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R3</span>
+      <span class="cat">Function registry</span>
+      <span class="name">graph-local functions work with no engine registry at all</span>
+      <span class="ms">0.2 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="true" data-search="r4 function registry registerfunction() after construction is honoured (resolution is lazy) an engine with an empty registry reports no `registry` field, but registerfunction() makes it appear">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R4</span>
+      <span class="cat">Function registry</span>
+      <span class="name">registerFunction() after construction is honoured (resolution is lazy)</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.26 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>an engine with an empty registry reports no `registry` field, but registerFunction() makes it appear</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: an engine with an empty registry reports no `registry` field, but registerFunction() makes it appear</li></ul></div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r5 function registry inline functions and registered names coexist in one graph ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R5</span>
+      <span class="cat">Function registry</span>
+      <span class="name">inline functions and registered names coexist in one graph</span>
+      <span class="ms">0.24 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r6 function registry a registered node function receives a full nodecontext ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R6</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a registered node function receives a full NodeContext</span>
+      <span class="ms">0.24 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r7 function registry a registered async function is awaited ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R7</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a registered async function is awaited</span>
+      <span class="ms">5.47 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="true" data-search="r8 function registry a registered node can route explicitly with next and with context.goto `new next(target, value)` sets the router&#39;s output to `value` (that is what edge matchers and context.outputs see); the target node still executes its own function">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R8</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a registered node can route explicitly with Next and with context.goto</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.67 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>`new Next(target, value)` sets the ROUTER&#39;s output to `value` (that is what edge matchers and context.outputs see); the target node still executes its own function</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: `new Next(target, value)` sets the ROUTER&#39;s output to `value` (that is what edge matchers and context.outputs see); the target node still executes its own function</li></ul></div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r9 function registry timeouts and retries apply to registered functions exactly as to inline ones ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R9</span>
+      <span class="cat">Function registry</span>
+      <span class="name">timeouts and retries apply to registered functions exactly as to inline ones</span>
+      <span class="ms">21.6 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r10 function registry a missing run name records unknown_function (unhandled) and schedules nothing ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R10</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a missing run name records UNKNOWN_FUNCTION (unhandled) and schedules nothing</span>
+      <span class="ms">0.48 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="true" data-search="r11 function registry a missing run name is permanent: no retry, no onthrow, no fallback retry/onthrow/fallback are error recovery; a name that was never registered is a wiring defect, so the engine refuses to recover from it">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R11</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a missing run name is PERMANENT: no retry, no onThrow, no fallback</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.26 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>retry/onThrow/fallback are error RECOVERY; a name that was never registered is a wiring defect, so the engine refuses to recover from it</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: retry/onThrow/fallback are error RECOVERY; a name that was never registered is a wiring defect, so the engine refuses to recover from it</li></ul></div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r12 function registry a missing run name ignores fallback policy as well ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R12</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a missing run name ignores FALLBACK policy as well</span>
+      <span class="ms">0.19 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r13 function registry registering the missing name mid-run lets the next activation succeed ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R13</span>
+      <span class="cat">Function registry</span>
+      <span class="name">registering the missing name mid-run lets the next activation succeed</span>
+      <span class="ms">0.28 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r14 function registry a named edge test decides the branch, and result + test still and ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R14</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a named edge test decides the branch, and result + test still AND</span>
+      <span class="ms">0.35 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r15 function registry inline and named tests mix in one chain, in declaration order ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R15</span>
+      <span class="cat">Function registry</span>
+      <span class="name">inline and named tests mix in one chain, in declaration order</span>
+      <span class="ms">0.28 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="true" data-search="r16 function registry an unresolvable edge test never matches, is recorded once, and lets the else edge run an unresolvable test is loud but not fatal to routing — the rest of the chain still evaluates; the run itself settles failed because the error stays unhandled (terminal-reached + unhandled error = failed, as in v1.2)">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R16</span>
+      <span class="cat">Function registry</span>
+      <span class="name">an unresolvable edge test never matches, is recorded once, and lets the else edge run</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.3 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>an unresolvable test is loud but not fatal to ROUTING — the rest of the chain still evaluates; the run itself settles FAILED because the error stays unhandled (terminal-reached + unhandled error = FAILED, as in v1.2)</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: an unresolvable test is loud but not fatal to ROUTING — the rest of the chain still evaluates; the run itself settles FAILED because the error stays unhandled (terminal-reached + unhandled error = FAILED, as in v1.2)</li></ul></div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r17 function registry a repeated evaluation reports a missing test only once (retry path) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R17</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a repeated evaluation reports a missing test only once (retry path)</span>
+      <span class="ms">1.65 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="true" data-search="r18 function registry lint treats a named test as conditional — no false unreachable_edge regression guard — before edgehasmatcher() was shared, a named test looked like an else edge to the lint and every later edge was reported unreachable_edge">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R18</span>
+      <span class="cat">Function registry</span>
+      <span class="name">lint treats a NAMED test as conditional — no false UNREACHABLE_EDGE</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.3 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>regression guard — before edgeHasMatcher() was shared, a named test looked like an else edge to the lint and every later edge was reported UNREACHABLE_EDGE</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: regression guard — before edgeHasMatcher() was shared, a named test looked like an else edge to the lint and every later edge was reported UNREACHABLE_EDGE</li></ul></div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r19 function registry a parallel edge with a named test still warns parallel_edge_matcher_ignored ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R19</span>
+      <span class="cat">Function registry</span>
+      <span class="name">a PARALLEL edge with a named test still warns PARALLEL_EDGE_MATCHER_IGNORED</span>
+      <span class="ms">0.27 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r20 function registry graph.ready and the report carry { fingerprint, names }; both are absent without a registry ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R20</span>
+      <span class="cat">Function registry</span>
+      <span class="name">graph.ready and the report carry { fingerprint, names }; both are absent without a registry</span>
+      <span class="ms">0.4 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r21 function registry every checkpoint carries the registry identity ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R21</span>
+      <span class="cat">Function registry</span>
+      <span class="name">every checkpoint carries the registry identity</span>
+      <span class="ms">0.35 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r22 function registry functionregistry: register/extend/has/get/names/snapshot stay consistent ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R22</span>
+      <span class="cat">Function registry</span>
+      <span class="name">FunctionRegistry: register/extend/has/get/names/snapshot stay consistent</span>
+      <span class="ms">0.18 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="true" data-search="r23 function registry the fingerprint is stable, order-independent, and source-sensitive the fingerprint covers names + function source text — two closures of the same source share it, while a captured value that changes at runtime does not show up">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R23</span>
+      <span class="cat">Function registry</span>
+      <span class="name">the fingerprint is stable, order-independent, and source-sensitive</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.19 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>the fingerprint covers names + function SOURCE TEXT — two closures of the same source share it, while a captured value that changes at runtime does not show up</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: the fingerprint covers names + function SOURCE TEXT — two closures of the same source share it, while a captured value that changes at runtime does not show up</li></ul></div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r24 function registry invalid registrations fail immediately ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R24</span>
+      <span class="cat">Function registry</span>
+      <span class="name">invalid registrations fail immediately</span>
+      <span class="ms">0.16 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r25 function registry malformed run values and graph tables are rejected at construction ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R25</span>
+      <span class="cat">Function registry</span>
+      <span class="name">malformed run values and graph tables are rejected at construction</span>
+      <span class="ms">0.2 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="true" data-search="r26 function registry nodefunctions()/edgetests() restore per-signature inference one table holds both signatures; a bare literal cannot infer a parameter type from the union, hence nodefunctions()/edgetests()">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R26</span>
+      <span class="cat">Function registry</span>
+      <span class="name">nodeFunctions()/edgeTests() restore per-signature inference</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.28 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>one table holds both signatures; a bare literal cannot infer a parameter type from the union, hence nodeFunctions()/edgeTests()</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: one table holds both signatures; a bare literal cannot infer a parameter type from the union, hence nodeFunctions()/edgeTests()</li></ul></div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r27 function registry the report stays json-serializable with a registry configured ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R27</span>
+      <span class="cat">Function registry</span>
+      <span class="name">the report stays JSON-serializable with a registry configured</span>
+      <span class="ms">0.31 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok registry" data-kind="registry" data-status="passed" data-finding="false" data-search="r28 function registry the unknown_function record is self-describing ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">R28</span>
+      <span class="cat">Function registry</span>
+      <span class="name">the UNKNOWN_FUNCTION record is self-describing</span>
+      <span class="ms">0.27 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="true" data-search="g1 graph json loader a valid document parses into a graphdefinition (string and object input agree) parsing never needs the registry — a data file is valid even when a function name is unknown; the engine decides that at run time">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G1</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">a valid document parses into a GraphDefinition (string and object input agree)</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">1.22 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>parsing never needs the registry — a data file is valid even when a function name is unknown; the engine decides that at run time</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: parsing never needs the registry — a data file is valid even when a function name is unknown; the engine decides that at run time</li></ul></div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g2 graph json loader node ids default to their keys, and a mismatching explicit id is an issue ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G2</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">node ids default to their keys, and a mismatching explicit id is an issue</span>
+      <span class="ms">0.29 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g3 graph json loader deep-equality results, named tests and parallel flags survive the round trip ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G3</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">deep-equality results, named tests and parallel flags survive the round trip</span>
+      <span class="ms">0.14 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g4 graph json loader createenginefromjson runs the data file and reports the registry fingerprint ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G4</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">createEngineFromJSON runs the data file and reports the registry fingerprint</span>
+      <span class="ms">0.56 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g5 graph json loader a named test in the document routes via the supplied registry ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G5</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">a named test in the document routes via the supplied registry</span>
+      <span class="ms">0.33 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g6 graph json loader a data file with an unknown name runs and fails with unknown_function ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G6</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">a data file with an unknown name runs and fails with UNKNOWN_FUNCTION</span>
+      <span class="ms">0.57 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g7 graph json loader the parsed definition is accepted by the engine unchanged ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G7</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">the parsed definition is accepted by the engine unchanged</span>
+      <span class="ms">0.36 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g8 graph json loader invalid json text is a single, clear graphjsonerror ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G8</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">invalid JSON text is a single, clear GraphJSONError</span>
+      <span class="ms">0.12 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g9 graph json loader a non-object document is rejected with one issue ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G9</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">a non-object document is rejected with one issue</span>
+      <span class="ms">0.08 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g10 graph json loader unknown properties are rejected at every level ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G10</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">unknown properties are rejected at every level</span>
+      <span class="ms">0.18 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g11 graph json loader functions cannot live in the document — the issue points at the engine options ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G11</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">functions cannot live in the document — the issue points at the engine options</span>
+      <span class="ms">0.11 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g12 graph json loader dangling references are reported with their paths ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G12</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">dangling references are reported with their paths</span>
+      <span class="ms">0.13 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g13 graph json loader malformed edges are rejected entry by entry ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G13</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">malformed edges are rejected entry by entry</span>
+      <span class="ms">0.19 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g14 graph json loader invalid scalars, policies and retry blocks are rejected ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G14</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">invalid scalars, policies and retry blocks are rejected</span>
+      <span class="ms">0.19 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="true" data-search="g15 graph json loader every issue is collected — one throw carries them all one document reported 5 problems in a single throw — no fix-one-rerun loop">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G15</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">EVERY issue is collected — one throw carries them all</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.18 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>one document reported 5 problems in a single throw — no fix-one-rerun loop</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: one document reported 5 problems in a single throw — no fix-one-rerun loop</li></ul></div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g16 graph json loader isgraphjson() is a cheap shape probe, not a validator ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G16</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">isGraphJSON() is a cheap shape probe, not a validator</span>
+      <span class="ms">0.13 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g17 graph json loader an in-memory object may pass real functions through (escape hatch) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G17</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">an in-memory object may pass real functions through (escape hatch)</span>
+      <span class="ms">0.24 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="true" data-search="g18 graph json loader a parsed document with dangling ids is still caught by the engine if it is hand-edited the loader and the engine validate different layers (paths vs. final shape) — both stay in force">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G18</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">a parsed document with dangling ids is still caught by the engine if it is hand-edited</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.17 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>the loader and the engine validate different layers (paths vs. final shape) — both stay in force</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: the loader and the engine validate different layers (paths vs. final shape) — both stay in force</li></ul></div>
+  </details>
+  <details class="row ok graphjson" data-kind="graphjson" data-status="passed" data-finding="false" data-search="g19 graph json loader the loader example document is valid (regression: the shipped .json file) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">G19</span>
+      <span class="cat">Graph JSON loader</span>
+      <span class="name">the loader example document is valid (regression: the shipped .json file)</span>
+      <span class="ms">0.53 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="true" data-search="s1 script loading a .cjs script is required and its export table becomes the registry a registered name is not rewritten — `classifyorder` stays `classifyorder`, the namespace only owns the claim">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S1</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a .cjs script is required and its export table becomes the registry</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">1.62 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>a registered name is not rewritten — `classifyOrder` stays `classifyOrder`, the namespace only owns the claim</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: a registered name is not rewritten — `classifyOrder` stays `classifyOrder`, the namespace only owns the claim</li></ul></div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s2 script loading an .mjs script is imported as an es module ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S2</span>
+      <span class="cat">Script loading</span>
+      <span class="name">an .mjs script is imported as an ES module</span>
+      <span class="ms">5.98 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="true" data-search="s3 script loading a .js script with esm syntax is detected as esm; without it, as commonjs .js detection is a source hint with a fallback — the other format is attempted before failing, so a mis-hint costs one retry, never a failed load">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S3</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a .js script with ESM syntax is detected as ESM; without it, as CommonJS</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">2.16 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>.js detection is a source hint with a fallback — the other format is attempted before failing, so a mis-hint costs one retry, never a failed load</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: .js detection is a source hint with a fallback — the other format is attempted before failing, so a mis-hint costs one retry, never a failed load</li></ul></div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s4 script loading an explicit format is honoured and never retried in the other format ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S4</span>
+      <span class="cat">Script loading</span>
+      <span class="name">an explicit format is honoured and never retried in the other format</span>
+      <span class="ms">4.02 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s5 script loading inline commonjs source runs with a real require and module ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S5</span>
+      <span class="cat">Script loading</span>
+      <span class="name">inline CommonJS source runs with a real require and module</span>
+      <span class="ms">0.44 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s6 script loading inline esm source is evaluated from a data url ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S6</span>
+      <span class="cat">Script loading</span>
+      <span class="name">inline ESM source is evaluated from a data URL</span>
+      <span class="ms">0.69 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s7 script loading url scripts are fetched and evaluated (cjs by default, esm by hint) ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S7</span>
+      <span class="cat">Script loading</span>
+      <span class="name">URL scripts are fetched and evaluated (CJS by default, ESM by hint)</span>
+      <span class="ms">0.83 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="true" data-search="s8 script loading a script can register itself through globalthis.graphengine the engine global is a per-call slot (registerenginenamespace), not a shared mutable table — a script can only ever add its own namespace, and only once">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S8</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a script can register itself through globalThis.GraphEngine</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.65 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>the engine global is a per-CALL slot (registerEngineNamespace), not a shared mutable table — a script can only ever add its own namespace, and only once</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: the engine global is a per-CALL slot (registerEngineNamespace), not a shared mutable table — a script can only ever add its own namespace, and only once</li></ul></div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s9 script loading the realm is restored after the load — the engine global does not leak ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S9</span>
+      <span class="cat">Script loading</span>
+      <span class="name">the realm is restored after the load — the engine global does not leak</span>
+      <span class="ms">0.83 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s10 script loading a script can both self-register and export; both land in the namespace ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S10</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a script can both self-register and export; both land in the namespace</span>
+      <span class="ms">0.84 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s11 script loading the declared namespace must match what the script registers ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S11</span>
+      <span class="cat">Script loading</span>
+      <span class="name">the declared namespace must match what the script registers</span>
+      <span class="ms">0.31 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s12 script loading a registration error from inside the script surfaces unwrapped ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S12</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a registration error from inside the script surfaces unwrapped</span>
+      <span class="ms">0.38 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="true" data-search="s13 script loading a namespace can be claimed only once per process (exports path) the freeze is process-global by design — one document, one engine per namespace. loading the same graph file into a second engine throws until the claims are reset">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S13</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a namespace can be claimed only once per process (exports path)</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.67 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>the freeze is PROCESS-global by design — one document, one engine per namespace. Loading the same graph file into a second engine throws until the claims are reset</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: the freeze is PROCESS-global by design — one document, one engine per namespace. Loading the same graph file into a second engine throws until the claims are reset</li></ul></div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s14 script loading a self-registering script throws on the duplicate claim from inside the script ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S14</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a self-registering script throws on the duplicate claim FROM INSIDE the script</span>
+      <span class="ms">0.46 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="true" data-search="s15 script loading a claim made before a crashing script survives; the load still fails claims are made at registration time, not at load end — a script that registers and then throws leaves its namespace claimed (reload needs resetgraphscriptnamespaces)">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S15</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a claim made before a crashing script survives; the load still fails</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.99 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>claims are made at registration time, not at load end — a script that registers and then throws leaves its namespace claimed (reload needs resetGraphScriptNamespaces)</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: claims are made at registration time, not at load end — a script that registers and then throws leaves its namespace claimed (reload needs resetGraphScriptNamespaces)</li></ul></div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="true" data-search="s16 script loading a script that throws is not replayed in the other format format fallback replays the script body, so it is reserved for module-format failures (err_require_esm, esm syntax in cjs). a script that throws — or registers and then throws — is never re-executed; it ran once and its claim stands">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S16</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a script that throws is not replayed in the other format</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.43 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>format fallback replays the script body, so it is reserved for module-format failures (ERR_REQUIRE_ESM, ESM syntax in CJS). A script that throws — or registers and then throws — is never re-executed; it ran once and its claim stands</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: format fallback replays the script body, so it is reserved for module-format failures (ERR_REQUIRE_ESM, ESM syntax in CJS). A script that throws — or registers and then throws — is never re-executed; it ran once and its claim stands</li></ul></div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="true" data-search="s17 script loading two scripts providing the same name collide; override is opt-in claims and name collisions are separate gates — the freeze stops the namespace, collisions stop the merged table, and only the second one has an override">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S17</span>
+      <span class="cat">Script loading</span>
+      <span class="name">two scripts providing the same name collide; override is opt-in</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.73 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>claims and name collisions are separate gates — the freeze stops the namespace, collisions stop the merged table, and only the second one has an override</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: claims and name collisions are separate gates — the freeze stops the namespace, collisions stop the merged table, and only the second one has an override</li></ul></div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s18 script loading script declarations are validated, with json paths ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S18</span>
+      <span class="cat">Script loading</span>
+      <span class="name">script declarations are validated, with JSON paths</span>
+      <span class="ms">0.32 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s19 script loading the same namespace twice in one document is a parse issue ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S19</span>
+      <span class="cat">Script loading</span>
+      <span class="name">the same namespace twice in one document is a parse issue</span>
+      <span class="ms">0.1 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="true" data-search="s20 script loading a scripted document still parses with the v1.4 entry point `scripts` is validated by the isomorphic parser and executed by the node loader — parsegraphjson (sync, v1.4) keeps working on scripted documents">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S20</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a scripted document still parses with the v1.4 entry point</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.12 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>`scripts` is validated by the isomorphic parser and executed by the Node loader — parseGraphJSON (sync, v1.4) keeps working on scripted documents</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: `scripts` is validated by the isomorphic parser and executed by the Node loader — parseGraphJSON (sync, v1.4) keeps working on scripted documents</li></ul></div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s21 script loading the document is validated before any script executes ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S21</span>
+      <span class="cat">Script loading</span>
+      <span class="name">the document is validated BEFORE any script executes</span>
+      <span class="ms">0.14 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s22 script loading a missing file, a crashing script and a function-less script fail clearly ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S22</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a missing file, a crashing script and a function-less script fail clearly</span>
+      <span class="ms">0.65 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="true" data-search="s23 script loading a scripted document runs: the script provides the node and edge functions end-to-end, 6 functions arrive from path:./order.cjs and the engine reports fnr1:6:b43eadc7">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S23</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a scripted document runs: the script provides the node and edge functions</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.65 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>end-to-end, 6 functions arrive from path:./order.cjs and the engine reports fnr1:6:b43eadc7</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: end-to-end, 6 functions arrive from path:./order.cjs and the engine reports fnr1:6:b43eadc7</li></ul></div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s24 script loading a script&#39;s own sibling requires resolve from the script&#39;s directory ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S24</span>
+      <span class="cat">Script loading</span>
+      <span class="name">a script&#39;s own sibling requires resolve from the script&#39;s directory</span>
+      <span class="ms">0.56 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="true" data-search="s25 script loading inline scripts compose with path scripts in one document the three media (path, source, url) are interchangeable — one pipeline merges them into a single table with one fingerprint">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S25</span>
+      <span class="cat">Script loading</span>
+      <span class="name">inline scripts compose with path scripts in one document</span>
+      <span class="star" title="documents an engine semantic">finding</span>
+      <span class="ms">0.43 ms</span>
+    </summary>
+    <div class="detail finding"><span class="tag">findings</span><ul><li>the three media (path, source, url) are interchangeable — one pipeline merges them into a single table with one fingerprint</li></ul></div><div class="detail"><span class="tag">observations</span><ul><li>finding: the three media (path, source, url) are interchangeable — one pipeline merges them into a single table with one fingerprint</li></ul></div>
+  </details>
+  <details class="row ok scripts" data-kind="scripts" data-status="passed" data-finding="false" data-search="s26 script loading the loaded table is frozen and the engine can be built from it directly ">
+    <summary>
+      <span class="pill passed">PASS</span>
+      <span class="id">S26</span>
+      <span class="cat">Script loading</span>
+      <span class="name">the loaded table is frozen and the engine can be built from it directly</span>
+      <span class="ms">0.46 ms</span>
+    </summary>
+    <div class="detail muted">No additional observations.</div>
+  </details>
+  </div>
+  <h2>How the suite was run</h2>
+  <div class="note">
+    <p style="margin-top:0"><code>npx tsc -p tsconfig.json</code> compiles <code>src/</code> and the tests to <code>js/</code>,
+    <code>npx tsc -p tsconfig.browser.json</code> proves the core is isomorphic (DOM libs, no Node types — asserted by the
+    UPGRADE pack), then <code>node js/tests/runner.js</code> executes all 282 cases (100 unit + 20 complex + 20 async + 19 upgrade + 11 conformance + 13 lint + 26 edges + 28 registry + 19 json + 26 scripts) and writes
+    <code>report/report.json</code> plus this page. No third-party test framework: <code>tests/harness.ts</code> provides
+    exception-based checks, per-test timeouts and log capture.</p>
+    <p>Artifacts: <code>src/automategraph.ts</code> (engine), <code>src/storage-adapter.ts</code> (adapter contract +
+    wire format), <code>src/storage-conformance.ts</code> (adapter checker), <code>tests/unit.test.ts</code>,
+    <code>tests/complex.test.ts</code>, <code>tests/async.test.ts</code>, <code>tests/upgrade.test.ts</code>,
+    <code>tests/conformance.test.ts</code>, <code>tests/lint.test.ts</code>, <code>tests/edges.test.ts</code>, <code>tests/registry.test.ts</code>, <code>tests/graphjson.test.ts</code>, <code>tests/scripts.test.ts</code>, <code>docs/diagrams/</code>,
+    <code>CHANGELOG.md</code>, <code>UPGRADE-PROPOSAL.md</code>.</p>
+  </div>
+  <footer>
+    All 282 tests passed. Findings above are deliberate documentation of observed engine behaviour, not failures.
+  </footer>
+</div>
+<script>
+  (function () {
+    var active = "all";
+    var buttons = Array.prototype.slice.call(document.querySelectorAll(".btn[data-filter]"));
+    var rows = Array.prototype.slice.call(document.querySelectorAll("#rows > details"));
+    var query = document.getElementById("q");
+    function apply() {
+      var needle = (query.value || "").trim().toLowerCase();
+      rows.forEach(function (row) {
+        var kindOk =
+          active === "all" ||
+          (active === "failed" && row.dataset.status === "failed") ||
+          (active === "finding" && row.dataset.finding === "true") ||
+          row.dataset.kind === active;
+        var textOk = needle === "" || row.dataset.search.indexOf(needle) !== -1;
+        row.style.display = kindOk && textOk ? "" : "none";
+      });
+    }
+    buttons.forEach(function (button) {
+      button.addEventListener("click", function () {
+        active = button.dataset.filter;
+        buttons.forEach(function (other) { other.classList.toggle("active", other === button); });
+        apply();
+      });
+    });
+    query.addEventListener("input", apply);
+    apply();
+  })();
+</script>
+</body>
+</html>