@skyramp/mcp 0.4.3 → 0.4.4-rc.1

package/node_modules/playwright/lib/mcp/skyramp/traceRecordingBackend.js

@@ -45,6 +45,8 @@ var import_log = require("../log");
 var import_skyRampExport = require("../test/skyRampExport");
 var import_exportTool = require("./exportTool");
 var import_assertTool = require("./assertTool");
+var import_assertOrder = require("./assertOrder");
+var import_liveReadError = require("./common/liveReadError");
 var import_assertHiddenTool = require("./assertHiddenTool");
 var import_assertApiRequestTool = require("./assertApiRequestTool");
 var import_loadTraceTool = require("./loadTraceTool");
@@ -246,7 +248,9 @@ class TraceRecordingBackend {
     }
     if (name === import_assertTool.assertToolSchema.name) {
       const parsed = import_assertTool.assertToolSchema.inputSchema.parse(args || {});
-      return this._handleAssert(parsed);
+      if (parsed.type === "order")
+        return this._handleAssertOrder(parsed);
+      return this._handleAssert({ ...parsed, type: parsed.type });
     }
     if (name === import_assertHiddenTool.assertHiddenToolSchema.name) {
       const parsed = import_assertHiddenTool.assertHiddenToolSchema.inputSchema.parse(args || {});
@@ -933,6 +937,14 @@ Continue recording with browser_* tools, then call skyramp_export_zip to write t
           return null;
         return { toolName: "browser_assert", code: `assertAttribute:${a.selector}:${a.attrName.trim()}:${a.attrValue}`, args: { type: "attribute", selector: a.selector, property: a.attrName.trim(), expected: a.attrValue } };
       }
+      // SKYR-4544: an order assertion needs both ends and its relation; a line
+      // missing one is dropped rather than seeded with a hole.
+      case "assertOrder": {
+        const fields = (0, import_utils.parseOrderFields)(a);
+        if (!fields)
+          return null;
+        return { toolName: "browser_assert", code: `assertOrder:${fields.selector}:${fields.relation}:${fields.otherSelector}`, args: { type: "order", ...fields } };
+      }
       case "assertCount":
         if (typeof a.count !== "number" || !Number.isInteger(a.count) || a.count < 0)
           return null;
@@ -1340,8 +1352,9 @@ Linked GoJS nodes ${params.fromKey} \u2192 ${params.toKey} (${params.fromPort}\u
    * proper Playwright selector (testid > role > text), then verify
    * text/value/checked/disabled/visible/count against the snapshot data, and
    * css/class/attribute against the live element (getComputedStyle / classList
-   * / getAttribute, read with the pointer moved off the element). Only passing
-   * assertions are recorded.
+   * / getAttribute, read with the pointer moved off the element). "order" is
+   * dispatched to _handleAssertOrder instead: two refs, a live boundingBox()
+   * comparison, no pointer-off read. Only passing assertions are recorded.
    */
   async _handleAssert(params) {
     const timestamp = Date.now();
@@ -1471,15 +1484,7 @@ Could not read the un-hovered state of "${params.element}": the pointer could no
           details = passed ? `Attribute assertion passed: "${params.element}" has ${name}="${actual}".` : `Attribute assertion FAILED: "${params.element}" has ${name}=${actual === null ? "(absent)" : `"${actual}"`}, expected "${params.expected}".`;
         }
       } catch (e) {
-        const msg = String(e?.message ?? e);
-        if (/strict mode violation/i.test(msg))
-          return { content: [{ type: "text", text: `### Error
-Target ${parsed.selector} matches multiple elements, so the ${kind} read is ambiguous${unique.pinFailure ? `, and ${unique.pinFailure}` : ""}. Use a more specific target (a data-testid, or role + exact name). ${msg.split("\n")[0]}` }], isError: true };
-        if (e?.name === "TimeoutError")
-          return { content: [{ type: "text", text: `### Error
-"${params.element}" (${parsed.selector}) did not resolve within ${LIVE_READ_TIMEOUT_MS} ms. Re-snapshot and retry with a fresh ref.` }], isError: true };
-        return { content: [{ type: "text", text: `### Error
-Could not read ${kind} of "${params.element}": ${msg}` }], isError: true };
+        return (0, import_liveReadError.liveReadError)(e, { selector: parsed.selector, element: params.element, ambiguity: `the ${kind} read is ambiguous`, failedTo: `read ${kind} of`, pinFailure: unique.pinFailure, timeoutMs: LIVE_READ_TIMEOUT_MS });
       }
       if (passed)
         details += unique.note;
@@ -1624,6 +1629,82 @@ Could not count "${refRole}" elements: ${e.message}` }], isError: true };
 ${details}` }]
     };
   }
+  /**
+   * browser_assert type "order" (SKYR-4544): the ref's element sits left of /
+   * right of / above / below the other ref's element. A swap or a moved block
+   * is a relation between two elements, which no single-element kind can
+   * express, so both ends are resolved through the same durable-locator path
+   * as the other kinds and their live boxes compared on the relation's axis.
+   * The comparison is the one the generated test runs: each boundingBox()'s
+   * origin — the left edge (x) for left-of/right-of, the top edge (y) for
+   * above/below — compared strictly. It says where each element STARTS, not
+   * that one lies wholly beyond the other.
+   */
+  async _handleAssertOrder(params) {
+    const timestamp = Date.now();
+    const error = (text) => ({ content: [{ type: "text", text: `### Error
+${text}` }], isError: true });
+    const failed = (text) => ({ content: [{ type: "text", text: `### Assertion Failed
+${text}` }], isError: true });
+    const checked = (0, import_assertOrder.checkOrderArgs)(params);
+    if ("error" in checked)
+      return error(checked.error);
+    const { relation, otherElement } = checked;
+    const tab = this._browserBackend.context?.currentTab();
+    if (!tab)
+      return failed("No active page.");
+    const notReady = await this._requireLoadedPage(tab, "domcontentloaded");
+    if (notReady)
+      return notReady;
+    const ends = [];
+    for (const [ref, element] of [[params.ref, params.element], [params.otherRef, otherElement]]) {
+      const resolved = await this._resolveRef(ref, element);
+      if ("error" in resolved)
+        return failed(resolved.error);
+      const lineText = (0, import_snapshotLocators.snapshotLineText)(resolved.refLine) ?? "";
+      const unique = await this._makeUnique(resolved.parsed, { snapLines: resolved.snapLines, ref, element, lineText, exact: false });
+      if (unique.refusal)
+        return unique.refusal;
+      ends.push({ parsed: unique.parsed, note: unique.note, pinFailure: unique.pinFailure, element, selector: unique.parsed.selector });
+    }
+    const [a, b] = ends;
+    if (a.selector === b.selector)
+      return error(`"${a.element}" and "${b.element}" resolve to the same locator (${a.selector}), so their order cannot be asserted. Use refs of two different elements.`);
+    const boxes = [];
+    for (const end of ends) {
+      let box;
+      try {
+        box = await tab.page.locator(end.selector).boundingBox({ timeout: LIVE_READ_TIMEOUT_MS });
+      } catch (e) {
+        return (0, import_liveReadError.liveReadError)(e, { selector: end.selector, element: end.element, ambiguity: "its position is ambiguous", failedTo: "read the position of", pinFailure: end.pinFailure, timeoutMs: LIVE_READ_TIMEOUT_MS });
+      }
+      if (!box)
+        return failed(`"${end.element}" (${end.selector}) has no box on the page (it is not visible), so its position cannot be compared.`);
+      boxes.push(box);
+    }
+    const [boxA, boxB] = boxes;
+    const nested = (0, import_assertOrder.containmentError)(a, b, boxA, boxB);
+    if (nested)
+      return error(nested);
+    const { result, details } = (0, import_assertOrder.describeOrderResult)(relation, a, b, boxA, boxB);
+    if (!result.ok)
+      return { content: [{ type: "text", text: `### Assertion Failed
+${details}` }] };
+    const args = {
+      type: "order",
+      ref: params.ref,
+      selector: a.selector,
+      locator: a.parsed.locator,
+      otherRef: params.otherRef,
+      otherSelector: b.selector,
+      otherLocator: b.parsed.locator,
+      relation
+    };
+    this._trackedActions.push({ toolName: "browser_assert", args, code: `assertOrder:${a.selector}:${relation}:${b.selector}`, timestamp, pageAlias: this._currentPageAlias });
+    traceDebug(`Assert: assertOrder ${a.selector} ${relation} ${b.selector}`);
+    return { content: [{ type: "text", text: `### Assertion Passed
+${details}${a.note}${b.note}` }] };
+  }
   /**
    * Handle browser_assert_table_cell by resolving the cell from (row, column),
    * reading its value directly from the page, and recording an assertTableCell
@@ -1838,10 +1919,9 @@ ${text}` }], isError: true });
     try {
       await tab.page.locator(selector).waitFor({ state: "hidden", timeout: TraceRecordingBackend.HIDDEN_WAIT_TIMEOUT_MS });
     } catch (e) {
-      if (/strict mode violation/i.test(String(e?.message ?? "")))
-        return err(`Target ${selector} matches multiple elements, so toBeHidden() would fail strict mode. Use a more specific target (a data-testid, or role + exact name). ${String(e.message).split("\n")[0]}`);
-      if (e?.name !== "TimeoutError")
-        return err(`Could not verify absence of "${params.element}": ${e?.message ?? e}`);
+      const error = (0, import_liveReadError.liveReadError)(e, { selector, element: params.element, ambiguity: "toBeHidden() would fail strict mode", failedTo: "verify absence of" });
+      if (error)
+        return error;
       passed = false;
     }
     let details;

package/node_modules/playwright/lib/mcp/test/skyRampExport.js

@@ -509,6 +509,16 @@ function assertActionToJsonl(action, pageGuid, timestamp) {
         return null;
       return JSON.stringify({ name: "assertAttribute", selector, attrName, attrValue: expected, locator, ...base });
     }
+    // SKYR-4544: where the element sits relative to another one — a
+    // boundingBox() comparison downstream. Both ends and the relation are
+    // needed; a line missing any of them is dropped (reported as skipped).
+    case "order": {
+      const fields = (0, import_utils.parseOrderFields)({ ...args, selector });
+      if (!fields)
+        return null;
+      const otherLocator = fields.otherLocator ?? selectorToLocator(fields.otherSelector);
+      return JSON.stringify({ name: "assertOrder", selector, otherSelector: fields.otherSelector, relation: fields.relation, locator, otherLocator, ...base });
+    }
     default:
       return null;
   }

package/node_modules/playwright/node_modules/playwright-core/lib/server/codegen/skyramp/jsonlReader.js

@@ -137,6 +137,7 @@ const _ACTION_NAMES = /* @__PURE__ */ new Set([
   "assertCSS",
   "assertClass",
   "assertAttribute",
+  "assertOrder",
   "dragTo",
   "diagramNodeAdd",
   "diagramLinkAdd",

package/node_modules/playwright/node_modules/playwright-core/lib/server/recorder/recorderRunner.js

@@ -196,6 +196,28 @@ async function performActionImpl(progress, mainFrame, actionInContext) {
     });
     return;
   }
+  if (raw.name === "assertOrder") {
+    const fields = (0, import_utils.parseOrderFields)(raw);
+    if (!fields)
+      throw new Error(`assertOrder failed: trace line needs "otherSelector" and a relation of ${import_utils.ORDER_RELATIONS.join("/")}, got ${JSON.stringify(raw.relation)}`);
+    const otherSelector = (0, import_recorderUtils.buildFullSelector)(actionInContext.frame.framePath, fields.otherSelector);
+    const box = async (s) => {
+      const handle = await mainFrame.waitForSelector(progress, s, false, { strict: true, state: "visible" });
+      try {
+        const rect = await handle?.boundingBox();
+        if (!rect)
+          throw new Error(`assertOrder: ${s} has no box on the page`);
+        return rect;
+      } finally {
+        handle?.dispose();
+      }
+    };
+    const [a, b] = [await box(selector), await box(otherSelector)];
+    const { ok, axis, edgeA, edgeB } = (0, import_utils.orderHolds)(fields.relation, a, b);
+    if (!ok)
+      throw new Error(`assertOrder failed: expected ${selector} ${fields.relation} ${otherSelector}, got ${axis} ${edgeA} vs ${edgeB}`);
+    return;
+  }
   throw new Error("Internal error: unexpected action " + action.name);
 }
 function toClickOptions(action) {

package/node_modules/playwright/node_modules/playwright-core/lib/utils/isomorphic/elementOrder.js

@@ -0,0 +1,57 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var elementOrder_exports = {};
+__export(elementOrder_exports, {
+  ORDER_RELATIONS: () => ORDER_RELATIONS,
+  isOrderRelation: () => isOrderRelation,
+  orderHolds: () => orderHolds,
+  parseOrderFields: () => parseOrderFields
+});
+module.exports = __toCommonJS(elementOrder_exports);
+const ORDER_RELATIONS = ["left-of", "right-of", "above", "below"];
+function isOrderRelation(value) {
+  return typeof value === "string" && ORDER_RELATIONS.includes(value);
+}
+function orderHolds(relation, a, b) {
+  const axis = relation === "left-of" || relation === "right-of" ? "x" : "y";
+  const edgeA = a[axis];
+  const edgeB = b[axis];
+  const ok = relation === "left-of" || relation === "above" ? edgeA < edgeB : edgeA > edgeB;
+  return { ok, axis, edgeA, edgeB };
+}
+function parseOrderFields(raw) {
+  if (!raw || typeof raw !== "object")
+    return null;
+  const { selector, otherSelector, relation, locator, otherLocator } = raw;
+  if (typeof selector !== "string" || !selector || typeof otherSelector !== "string" || !otherSelector || !isOrderRelation(relation))
+    return null;
+  const fields = { selector, otherSelector, relation };
+  if (locator && typeof locator === "object")
+    fields.locator = locator;
+  if (otherLocator && typeof otherLocator === "object")
+    fields.otherLocator = otherLocator;
+  return fields;
+}
+// Annotate the CommonJS export names for ESM import in node:
+0 && (module.exports = {
+  ORDER_RELATIONS,
+  isOrderRelation,
+  orderHolds,
+  parseOrderFields
+});

package/node_modules/playwright/node_modules/playwright-core/lib/utils.js

@@ -25,6 +25,7 @@ module.exports = __toCommonJS(utils_exports);
 __reExport(utils_exports, require("./utils/isomorphic/ariaSnapshot"), module.exports);
 __reExport(utils_exports, require("./utils/isomorphic/assert"), module.exports);
 __reExport(utils_exports, require("./utils/isomorphic/colors"), module.exports);
+__reExport(utils_exports, require("./utils/isomorphic/elementOrder"), module.exports);
 __reExport(utils_exports, require("./utils/isomorphic/headers"), module.exports);
 __reExport(utils_exports, require("./utils/isomorphic/locatorGenerators"), module.exports);
 __reExport(utils_exports, require("./utils/isomorphic/locatorParser"), module.exports);
@@ -72,6 +73,7 @@ var import_utilsBundle = require("./utilsBundle");
   ...require("./utils/isomorphic/ariaSnapshot"),
   ...require("./utils/isomorphic/assert"),
   ...require("./utils/isomorphic/colors"),
+  ...require("./utils/isomorphic/elementOrder"),
   ...require("./utils/isomorphic/headers"),
   ...require("./utils/isomorphic/locatorGenerators"),
   ...require("./utils/isomorphic/locatorParser"),

package/node_modules/playwright/node_modules/playwright-core/lib/vite/traceViewer/{index.uiPTFncY.js → index.0MJW0uG7.js}

@@ -1,2 +1,2 @@
-import{T as x,r,a as C,W as F,j as e,D as z,b as I,c as P,d as A,e as O,f as V}from"./assets/defaultSettingsView-DTp2-8Si.js";const $=()=>{const[o,c]=r.useState(!1),[n,l]=r.useState(),[h,u]=r.useState(),[p,b]=r.useState(N),[f,j]=r.useState({done:0,total:0}),[k,v]=r.useState(!1),[y,m]=r.useState(null),[T,R]=r.useState(null),[U,E]=r.useState(!1),g=r.useCallback(t=>{const s=new URL(window.location.href);if(!t.length)return;const i=t.item(0),a=URL.createObjectURL(i);s.searchParams.append("trace",a);const d=s.toString();window.history.pushState({},"",d),l(a),u(i.name),v(!1),m(null)},[]);r.useEffect(()=>{const t=async s=>{var a;if(!((a=s.clipboardData)!=null&&a.files.length))return;const i=["application/zip","application/x-zip-compressed"];for(const d of s.clipboardData.files)if(!i.includes(d.type))return;s.preventDefault(),g(s.clipboardData.files)};return document.addEventListener("paste",t),()=>document.removeEventListener("paste",t)}),r.useEffect(()=>{const t=s=>{const{method:i,params:a}=s.data;if(i!=="load"||!((a==null?void 0:a.trace)instanceof Blob))return;const d=new File([a.trace],"trace.zip",{type:"application/zip"}),w=new DataTransfer;w.items.add(d),g(w.files)};return window.addEventListener("message",t),()=>window.removeEventListener("message",t)});const W=r.useCallback(t=>{t.preventDefault(),g(t.dataTransfer.files)},[g]),M=r.useCallback(t=>{t.preventDefault(),t.target.files&&g(t.target.files)},[g]);r.useEffect(()=>{const t=new URL(window.location.href).searchParams,s=t.get("trace");if(c(t.has("isServer")),s!=null&&s.startsWith("file:")){R(s||null);return}if(t.has("isServer")){const i=new URLSearchParams(window.location.search).get("ws"),a=new URL(`../${i}`,window.location.toString());a.protocol=window.location.protocol==="https:"?"wss:":"ws:";const d=new C(new F(a));d.onLoadTraceRequested(async w=>{l(w.traceUrl),v(!1),m(null)}),d.initialize({}).catch(()=>{})}else s&&!s.startsWith("blob:")&&l(s)},[]);const S=r.useCallback(async t=>{const s=new URLSearchParams;s.set("trace",t);const i=await fetch(`contexts?${s.toString()}`);if(!i.ok){const{error:w}=await i.json();return m(w),w}const a=await i.json(),d=new x(t,a);j({done:0,total:0}),m(null),b(d)},[]);r.useEffect(()=>{(async()=>{if(!n){b(N);return}const t=s=>{s.data.method==="progress"&&j(s.data.params)};try{navigator.serviceWorker.addEventListener("message",t),j({done:0,total:1});let s=await S(n);s!=null&&s.includes("please grant permission for Local Network Access")&&(await fetch(n,{method:"HEAD",headers:{"x-pw-serviceworker":"skip"}}),s=await S(n)),s&&(o||l(void 0))}finally{navigator.serviceWorker.removeEventListener("message",t)}})()},[o,n,h,S]);const D=f.done!==f.total&&f.total!==0&&!y;r.useEffect(()=>{if(D){const t=setTimeout(()=>{E(!0)},200);return()=>clearTimeout(t)}else E(!1)},[D]);const L=!!(!o&&!k&&!T&&(!n||y));return e.jsxs("div",{className:"vbox workbench-loader",onDragOver:t=>{t.preventDefault(),t.dataTransfer.types.includes("Files")&&v(!0)},children:[e.jsxs("div",{className:"hbox header",...L?{inert:!0}:{},children:[e.jsx("div",{className:"logo",children:e.jsx("img",{src:"playwright-logo.svg",alt:"Playwright logo"})}),e.jsx("div",{className:"product",children:"Playwright"}),p.title&&e.jsx("div",{className:"title",children:p.title}),e.jsx("div",{className:"spacer"}),e.jsx(z,{icon:"settings-gear",title:"Settings",dialogDataTestId:"settings-toolbar-dialog",children:e.jsx(I,{location:"trace-viewer"})})]}),e.jsx(P,{model:p,inert:L}),T&&e.jsxs("div",{className:"drop-target",children:[e.jsx("div",{children:"Trace Viewer uses Service Workers to show traces. To view trace:"}),e.jsxs("div",{style:{paddingTop:20},children:[e.jsxs("div",{children:["1. Click ",e.jsx("a",{href:T,children:"here"})," to put your trace into the download shelf"]}),e.jsxs("div",{children:["2. Go to ",e.jsx("a",{href:"https://trace.playwright.dev",children:"trace.playwright.dev"})]}),e.jsx("div",{children:"3. Drop the trace from the download shelf into the page"})]})]}),e.jsx(A,{open:U,isModal:!0,className:"progress-dialog",children:e.jsxs("div",{className:"progress-content",children:[e.jsx("div",{className:"title",role:"heading","aria-level":1,children:"Loading Playwright Trace..."}),e.jsx("div",{className:"progress-wrapper",children:e.jsx("div",{className:"inner-progress",style:{width:f.total?100*f.done/f.total+"%":0}})})]})}),L&&e.jsxs("div",{className:"drop-target",children:[e.jsx("div",{className:"processing-error",role:"alert",children:y}),e.jsx("div",{className:"title",role:"heading","aria-level":1,children:"Drop Playwright Trace to load"}),e.jsx("div",{children:"or"}),e.jsx("button",{onClick:()=>{const t=document.createElement("input");t.type="file",t.click(),t.addEventListener("change",s=>M(s))},type:"button",children:"Select file"}),e.jsx("div",{className:"info",children:"Playwright Trace Viewer is a Progressive Web App, it does not send your trace anywhere, it opens it locally."}),e.jsxs("div",{className:"version",children:["Playwright v","1.58.2-skyramp.8.14.13"]})]}),o&&!n&&e.jsx("div",{className:"drop-target",children:e.jsx("div",{className:"title",children:"Select test to see the trace"})}),k&&e.jsx("div",{className:"drop-target",onDragLeave:()=>{v(!1)},onDrop:t=>W(t),children:e.jsx("div",{className:"title",children:"Release to analyse the Playwright Trace"})})]})},N=new x("",[]),q=({traceJson:o})=>{const[c,n]=r.useState(void 0),[l,h]=r.useState(0),u=r.useRef(null);return r.useEffect(()=>(u.current&&clearTimeout(u.current),u.current=setTimeout(async()=>{try{const p=await B(o);n(p)}catch{const p=new x("",[]);n(p)}finally{h(l+1)}},500),()=>{u.current&&clearTimeout(u.current)}),[o,l]),e.jsx(P,{isLive:!0,model:c})};async function B(o){const c=new URLSearchParams;c.set("trace",o);const l=await(await fetch(`contexts?${c.toString()}`)).json();return new x(o,l)}(async()=>{const o=new URLSearchParams(window.location.search);if(O(),window.location.protocol!=="file:"){if(o.get("isUnderTest")==="true"&&await new Promise(h=>setTimeout(h,1e3)),!navigator.serviceWorker)throw new Error(`Service workers are not supported.
+import{T as x,r,a as C,W as F,j as e,D as z,b as I,c as P,d as A,e as O,f as V}from"./assets/defaultSettingsView-DTp2-8Si.js";const $=()=>{const[o,c]=r.useState(!1),[n,l]=r.useState(),[h,u]=r.useState(),[p,b]=r.useState(N),[f,j]=r.useState({done:0,total:0}),[k,v]=r.useState(!1),[y,m]=r.useState(null),[T,R]=r.useState(null),[U,E]=r.useState(!1),g=r.useCallback(t=>{const s=new URL(window.location.href);if(!t.length)return;const i=t.item(0),a=URL.createObjectURL(i);s.searchParams.append("trace",a);const d=s.toString();window.history.pushState({},"",d),l(a),u(i.name),v(!1),m(null)},[]);r.useEffect(()=>{const t=async s=>{var a;if(!((a=s.clipboardData)!=null&&a.files.length))return;const i=["application/zip","application/x-zip-compressed"];for(const d of s.clipboardData.files)if(!i.includes(d.type))return;s.preventDefault(),g(s.clipboardData.files)};return document.addEventListener("paste",t),()=>document.removeEventListener("paste",t)}),r.useEffect(()=>{const t=s=>{const{method:i,params:a}=s.data;if(i!=="load"||!((a==null?void 0:a.trace)instanceof Blob))return;const d=new File([a.trace],"trace.zip",{type:"application/zip"}),w=new DataTransfer;w.items.add(d),g(w.files)};return window.addEventListener("message",t),()=>window.removeEventListener("message",t)});const W=r.useCallback(t=>{t.preventDefault(),g(t.dataTransfer.files)},[g]),M=r.useCallback(t=>{t.preventDefault(),t.target.files&&g(t.target.files)},[g]);r.useEffect(()=>{const t=new URL(window.location.href).searchParams,s=t.get("trace");if(c(t.has("isServer")),s!=null&&s.startsWith("file:")){R(s||null);return}if(t.has("isServer")){const i=new URLSearchParams(window.location.search).get("ws"),a=new URL(`../${i}`,window.location.toString());a.protocol=window.location.protocol==="https:"?"wss:":"ws:";const d=new C(new F(a));d.onLoadTraceRequested(async w=>{l(w.traceUrl),v(!1),m(null)}),d.initialize({}).catch(()=>{})}else s&&!s.startsWith("blob:")&&l(s)},[]);const S=r.useCallback(async t=>{const s=new URLSearchParams;s.set("trace",t);const i=await fetch(`contexts?${s.toString()}`);if(!i.ok){const{error:w}=await i.json();return m(w),w}const a=await i.json(),d=new x(t,a);j({done:0,total:0}),m(null),b(d)},[]);r.useEffect(()=>{(async()=>{if(!n){b(N);return}const t=s=>{s.data.method==="progress"&&j(s.data.params)};try{navigator.serviceWorker.addEventListener("message",t),j({done:0,total:1});let s=await S(n);s!=null&&s.includes("please grant permission for Local Network Access")&&(await fetch(n,{method:"HEAD",headers:{"x-pw-serviceworker":"skip"}}),s=await S(n)),s&&(o||l(void 0))}finally{navigator.serviceWorker.removeEventListener("message",t)}})()},[o,n,h,S]);const D=f.done!==f.total&&f.total!==0&&!y;r.useEffect(()=>{if(D){const t=setTimeout(()=>{E(!0)},200);return()=>clearTimeout(t)}else E(!1)},[D]);const L=!!(!o&&!k&&!T&&(!n||y));return e.jsxs("div",{className:"vbox workbench-loader",onDragOver:t=>{t.preventDefault(),t.dataTransfer.types.includes("Files")&&v(!0)},children:[e.jsxs("div",{className:"hbox header",...L?{inert:!0}:{},children:[e.jsx("div",{className:"logo",children:e.jsx("img",{src:"playwright-logo.svg",alt:"Playwright logo"})}),e.jsx("div",{className:"product",children:"Playwright"}),p.title&&e.jsx("div",{className:"title",children:p.title}),e.jsx("div",{className:"spacer"}),e.jsx(z,{icon:"settings-gear",title:"Settings",dialogDataTestId:"settings-toolbar-dialog",children:e.jsx(I,{location:"trace-viewer"})})]}),e.jsx(P,{model:p,inert:L}),T&&e.jsxs("div",{className:"drop-target",children:[e.jsx("div",{children:"Trace Viewer uses Service Workers to show traces. To view trace:"}),e.jsxs("div",{style:{paddingTop:20},children:[e.jsxs("div",{children:["1. Click ",e.jsx("a",{href:T,children:"here"})," to put your trace into the download shelf"]}),e.jsxs("div",{children:["2. Go to ",e.jsx("a",{href:"https://trace.playwright.dev",children:"trace.playwright.dev"})]}),e.jsx("div",{children:"3. Drop the trace from the download shelf into the page"})]})]}),e.jsx(A,{open:U,isModal:!0,className:"progress-dialog",children:e.jsxs("div",{className:"progress-content",children:[e.jsx("div",{className:"title",role:"heading","aria-level":1,children:"Loading Playwright Trace..."}),e.jsx("div",{className:"progress-wrapper",children:e.jsx("div",{className:"inner-progress",style:{width:f.total?100*f.done/f.total+"%":0}})})]})}),L&&e.jsxs("div",{className:"drop-target",children:[e.jsx("div",{className:"processing-error",role:"alert",children:y}),e.jsx("div",{className:"title",role:"heading","aria-level":1,children:"Drop Playwright Trace to load"}),e.jsx("div",{children:"or"}),e.jsx("button",{onClick:()=>{const t=document.createElement("input");t.type="file",t.click(),t.addEventListener("change",s=>M(s))},type:"button",children:"Select file"}),e.jsx("div",{className:"info",children:"Playwright Trace Viewer is a Progressive Web App, it does not send your trace anywhere, it opens it locally."}),e.jsxs("div",{className:"version",children:["Playwright v","1.58.2-skyramp.8.14.14"]})]}),o&&!n&&e.jsx("div",{className:"drop-target",children:e.jsx("div",{className:"title",children:"Select test to see the trace"})}),k&&e.jsx("div",{className:"drop-target",onDragLeave:()=>{v(!1)},onDrop:t=>W(t),children:e.jsx("div",{className:"title",children:"Release to analyse the Playwright Trace"})})]})},N=new x("",[]),q=({traceJson:o})=>{const[c,n]=r.useState(void 0),[l,h]=r.useState(0),u=r.useRef(null);return r.useEffect(()=>(u.current&&clearTimeout(u.current),u.current=setTimeout(async()=>{try{const p=await B(o);n(p)}catch{const p=new x("",[]);n(p)}finally{h(l+1)}},500),()=>{u.current&&clearTimeout(u.current)}),[o,l]),e.jsx(P,{isLive:!0,model:c})};async function B(o){const c=new URLSearchParams;c.set("trace",o);const l=await(await fetch(`contexts?${c.toString()}`)).json();return new x(o,l)}(async()=>{const o=new URLSearchParams(window.location.search);if(O(),window.location.protocol!=="file:"){if(o.get("isUnderTest")==="true"&&await new Promise(h=>setTimeout(h,1e3)),!navigator.serviceWorker)throw new Error(`Service workers are not supported.
 Make sure to serve the Trace Viewer (${window.location}) via HTTPS or localhost.`);navigator.serviceWorker.register("sw.bundle.js"),navigator.serviceWorker.controller||await new Promise(h=>{navigator.serviceWorker.oncontrollerchange=()=>h()}),setInterval(function(){fetch("ping")},1e4)}const c=o.get("trace"),l=(c==null?void 0:c.endsWith(".json"))?e.jsx(q,{traceJson:c}):e.jsx($,{});V.createRoot(document.querySelector("#root")).render(l)})();

package/node_modules/playwright/node_modules/playwright-core/lib/vite/traceViewer/index.html

@@ -7,7 +7,7 @@
     <link rel="icon" href="./playwright-logo.svg" type="image/svg+xml">
     <link rel="manifest" href="./manifest.webmanifest">
     <title>Playwright Trace Viewer</title>
-    <script type="module" crossorigin src="./index.uiPTFncY.js"></script>
+    <script type="module" crossorigin src="./index.0MJW0uG7.js"></script>
     <link rel="modulepreload" crossorigin href="./assets/defaultSettingsView-DTp2-8Si.js">
     <link rel="stylesheet" crossorigin href="./defaultSettingsView.7ch9cixO.css">
     <link rel="stylesheet" crossorigin href="./index.BVu7tZDe.css">

package/node_modules/playwright/node_modules/playwright-core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "playwright-core",
-  "version": "1.58.2-skyramp.8.14.13",
+  "version": "1.58.2-skyramp.8.14.14",
   "description": "A high-level API to automate web browsers",
   "repository": {
     "type": "git",

package/node_modules/playwright/node_modules/playwright-core/src/server/codegen/skyramp/jsonlReader.ts

@@ -118,7 +118,7 @@ const _ACTION_NAMES = new Set<string>([
   'navigate', 'openPage', 'press', 'select', 'uncheck',
   'setInputFiles', 'assertText', 'assertValue', 'assertChecked',
   'assertVisible', 'assertDisabled', 'assertCount', 'assertHidden', 'assertSnapshot', 'visualSnapshot', 'assertTableCell',
-  'assertCSS', 'assertClass', 'assertAttribute',
+  'assertCSS', 'assertClass', 'assertAttribute', 'assertOrder',
   'dragTo', 'diagramNodeAdd', 'diagramLinkAdd', 'selectArea', 'tableSnapshot', 'domSnapshot', 'fileChooser',
   'penTool', 'mouse.wheel', 'mouse.move', 'mouse.down', 'mouse.up',
   'modalOpen', 'modalClose', 'waitForTimeout', 'evaluate',

package/node_modules/playwright/node_modules/playwright-core/src/server/recorder/recorderRunner.ts

@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 
-import { escapeRegExp, serializeExpectedTextValues } from '../../utils';
+import { escapeRegExp, ORDER_RELATIONS, orderHolds, parseOrderFields, serializeExpectedTextValues } from '../../utils';
 import { toKeyboardModifiers } from '../codegen/language';
 import { buildFullSelector, mainFrameForAction } from './recorderUtils';
 import { Progress, ProgressController } from '../progress';
@@ -240,6 +240,31 @@ async function performActionImpl(progress: Progress, mainFrame: Frame, actionInC
     return;
   }
 
+  if (raw.name === 'assertOrder') {
+    // SKYR-4544: the order contract (utils/isomorphic/elementOrder) the MCP
+    // recorder and replay use too; both ends must be visible first.
+    const fields = parseOrderFields(raw);
+    if (!fields)
+      throw new Error(`assertOrder failed: trace line needs "otherSelector" and a relation of ${ORDER_RELATIONS.join('/')}, got ${JSON.stringify(raw.relation)}`);
+    const otherSelector = buildFullSelector(actionInContext.frame.framePath, fields.otherSelector);
+    const box = async (s: string) => {
+      const handle = await mainFrame.waitForSelector(progress, s, false, { strict: true, state: 'visible' });
+      try {
+        const rect = await handle?.boundingBox();
+        if (!rect)
+          throw new Error(`assertOrder: ${s} has no box on the page`);
+        return rect;
+      } finally {
+        handle?.dispose();
+      }
+    };
+    const [a, b] = [await box(selector), await box(otherSelector)];
+    const { ok, axis, edgeA, edgeB } = orderHolds(fields.relation, a, b);
+    if (!ok)
+      throw new Error(`assertOrder failed: expected ${selector} ${fields.relation} ${otherSelector}, got ${axis} ${edgeA} vs ${edgeB}`);
+    return;
+  }
+
   throw new Error('Internal error: unexpected action ' + (action as any).name);
 }
 

package/node_modules/playwright/node_modules/playwright-core/src/utils/isomorphic/elementOrder.ts

@@ -0,0 +1,83 @@
+/**
+ * Copyright (c) Microsoft Corporation.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+// SKYR-4544: the one definition of an order assertion ("A starts before B on an
+// axis"). The MCP recorder, the MCP trace export and seeding, the MCP trace
+// replay and the core recorder replay all use it, so record and replay cannot
+// drift apart. (The generated test's comparison lives in the Go codegen, which
+// cannot import this; its goldens and the live demoshop check pin it.)
+
+/** Where the asserted element sits relative to the other one. */
+export const ORDER_RELATIONS = ['left-of', 'right-of', 'above', 'below'] as const;
+export type OrderRelation = typeof ORDER_RELATIONS[number];
+
+export function isOrderRelation(value: unknown): value is OrderRelation {
+  return typeof value === 'string' && (ORDER_RELATIONS as readonly string[]).includes(value);
+}
+
+/** The part of a box the comparison reads: its origin. */
+export type OrderBox = { x: number, y: number };
+
+export type OrderResult = {
+  ok: boolean,
+  /** x for left-of/right-of, y for above/below. */
+  axis: 'x' | 'y',
+  edgeA: number,
+  edgeB: number,
+};
+
+/**
+ * Whether `a` is `relation` of `b`: each box's origin — the left edge (x) for
+ * left-of/right-of, the top edge (y) for above/below — compared strictly. It
+ * says where each element STARTS, not that one lies wholly beyond the other,
+ * and equal edges never hold.
+ */
+export function orderHolds(relation: OrderRelation, a: OrderBox, b: OrderBox): OrderResult {
+  const axis = relation === 'left-of' || relation === 'right-of' ? 'x' : 'y';
+  const edgeA = a[axis];
+  const edgeB = b[axis];
+  const ok = relation === 'left-of' || relation === 'above' ? edgeA < edgeB : edgeA > edgeB;
+  return { ok, axis, edgeA, edgeB };
+}
+
+export type OrderFields = {
+  selector: string,
+  otherSelector: string,
+  relation: OrderRelation,
+  locator?: object,
+  otherLocator?: object,
+};
+
+/**
+ * The fields of an order assertion — a JSONL `assertOrder` line or a recorded
+ * browser_assert type "order" action's args — or null when it is malformed (no
+ * selector, no other end, or a relation outside ORDER_RELATIONS). Export, seeding
+ * and both replays parse through this, so they accept and drop exactly the same
+ * lines.
+ */
+export function parseOrderFields(raw: any): OrderFields | null {
+  if (!raw || typeof raw !== 'object')
+    return null;
+  const { selector, otherSelector, relation, locator, otherLocator } = raw;
+  if (typeof selector !== 'string' || !selector || typeof otherSelector !== 'string' || !otherSelector || !isOrderRelation(relation))
+    return null;
+  const fields: OrderFields = { selector, otherSelector, relation };
+  if (locator && typeof locator === 'object')
+    fields.locator = locator;
+  if (otherLocator && typeof otherLocator === 'object')
+    fields.otherLocator = otherLocator;
+  return fields;
+}

package/node_modules/playwright/node_modules/playwright-core/src/utils.ts

@@ -17,6 +17,7 @@
 export * from './utils/isomorphic/ariaSnapshot';
 export * from './utils/isomorphic/assert';
 export * from './utils/isomorphic/colors';
+export * from './utils/isomorphic/elementOrder';
 export * from './utils/isomorphic/headers';
 export * from './utils/isomorphic/locatorGenerators';
 export * from './utils/isomorphic/locatorParser';

package/node_modules/playwright/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@skyramp/playwright",
-  "version": "1.58.2-skyramp.8.14.13",
+  "version": "1.58.2-skyramp.8.14.14",
   "description": "Skyramp's fork of Playwright with trace recording for UI test generation",
   "publishConfig": {
     "access": "public"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@skyramp/mcp",
-  "version": "0.4.3",
+  "version": "0.4.4-rc.1",
   "main": "build/index.js",
   "exports": {
     ".": "./build/index.js",
@@ -76,7 +76,8 @@
     "fast-glob": "^3.3.3",
     "js-yaml": "^4.1.1",
     "picomatch": "^4.0.5",
-    "playwright": "file:vendor/skyramp-playwright-1.58.2-skyramp.8.14.13.tgz",
+    "playwright": "file:vendor/skyramp-playwright-1.58.2-skyramp.8.14.14.tgz",
+    "semver": "^7.8.5",
     "simple-git": "^3.30.0",
     "smol-toml": "^1.8.0",
     "ts-is-record": "^3.0.5",
@@ -90,6 +91,7 @@
     "@types/mocha": "^10.0.10",
     "@types/node": "^22.15.19",
     "@types/picomatch": "^4.0.3",
+    "@types/semver": "^7.8.0",
     "@typescript-eslint/eslint-plugin": "^8.0.0",
     "@typescript-eslint/parser": "^8.0.0",
     "eslint": "^9.0.0",

package/plugin/prompts/plan-tests.md

@@ -3,11 +3,11 @@
 
 ## Terms
 
-You decide what to test. The tools give you the diff and the existing tests; they do not choose tests for you.
+You decide what to test.
 
 A **change** is one thing the pull request should make happen, or reject, for a user or a caller. Say on each change whether it is on the API, on a page, or both.
 
-A **behaviour** is one rule about one endpoint or one page. One change can carry two behaviours, one on the API and one on the page. A test may prove several behaviours. Every behaviour has at least one test that proves it. Rejections the application already handles share one test, one test case each; a test case a defect breaks gets its own test that expects to fail. Declare on each change the inputs that prove it: what the route must accept and what it must reject.
+A **behaviour** is one rule about one endpoint or one page. One change can carry two behaviours, one on the API and one on the page. A test may prove several behaviours. Every behaviour has at least one test that proves it. Rejections the application already handles share one test, one test case each.
 
 ## The procedure
 
@@ -18,7 +18,7 @@ Do the steps in this order.
 3. **Write the changes.** List every change, one line each, with a short id and where you read it. Write the list in your reply before you go on.
    Keep each line through the rest of the procedure. Do not fold a change into another one or drop it because no test covers it.
    For each edit in the diff, write one line: what it makes different for a user or a caller.
-   For each requirement the title, the description or a requirements file states, write one line, even when no edit in the diff serves it. If the requirement is an item of a numbered or bulleted list, put its number in the line's `source`: `spec:<path>#11` or `pr-description#3`.
+   For each requirement the title, the description or a requirements file states, write one line, even when no edit in the diff serves it.
 4. **Declare the test cases each request must refuse.**
    - For each input a request takes, declare one test case with a value the request must reject. Declare it even when the code does not reject that value today.
    - For each list a request takes, declare one test case that is valid except for one item in the list. Give the test case one `param` and one `value`: the invalid item. The step that sends the test case carries the rest of the list.
@@ -27,33 +27,25 @@ Do the steps in this order.
    - For each state a record can be in that the request must refuse, declare one test case that puts the record in that state first and then sends the request.
    - A request that names a record by id, in the path, in a query parameter, or in the body, must reject a record that does not exist or does not belong to the parent.
    - A record that belongs to another user is its own test case, even when the answer is the same.
-   - For each rule the pull request states, declare the test cases that catch a wrong implementation: each bound, one value past each bound, one value far past a bound, and each value the rule forbids. Take their values from the rule, not from an example.
+   - For each rule the pull request states, declare the test cases that catch a wrong implementation: each bound, one value past each bound, one value far past a bound, and each value the rule forbids. Take their values from the rule, not from an example. If an input accepts only values from a list, declare an accept test case for every value in it, even when the values share code or make the test long.
    - A reject test case expects the request to be refused and the record to be unchanged. Declare an exact status code or error text only when the pull request or a requirements file states it.
 5. **Declare what each response value must be.**
    - For each value the response carries that this change decides, declare what that value must be and where you read it: the pull request title or description, a requirements file the description names, or a rule the application already follows in code this pull request did not change.
    - Quote a value only when it holds for every input the test case can send: a fixed constant, a bound, or one of the allowed names. A value the inputs decide is `derived`, even when the source shows it in an example.
-   - If no source states the value, declare none and assert its shape instead.
    - Never take the value from the running application: that is the one source a defect cannot contradict.
 6. **Find where each change is served.** Read the code that declares routes and pages, and write each route's full path with its mount prefix. Follow the callers of a changed file that has no route of its own to the endpoint or page that runs it. Read the code that writes each stored value the new code reads; any rule on that value is a rejection to list.
-7. **Review the code that serves each change.** Read the handler and the functions it calls to read or write data. For a changed screen, read the component and what it calls. Read these files even when the diff does not contain them; a defect often sits in the code the change depends on. Write each defect as one line with an id, the file, the line, and what is wrong. Write the list in your reply before you go on. An empty list is a statement: you read the code and found nothing. Common patterns to flag:
-   - A computed field that is not recalculated after a mutation, such as `total_amount` unchanged after items are added or removed
-   - Incomplete CRUD: a create with no cleanup, an update that adds new records and does not remove the old ones
-   - Missing input validation on a new endpoint
-   - A frontend rendering error visible in the code, such as an invalid prop, a missing required attribute, or a value shown without the formatting its neighbours use
-   - Incorrect arithmetic in business logic, such as a discount calculation or a price aggregation
+7. **Review the code that serves each change.** Read the handler and the functions it calls to read or write data. For a changed screen, read the component and what it calls. Read these files even when the diff does not contain them; a defect often sits in the code the change depends on. Write each defect as one line with an id, the file, the line, and what is wrong. Write the list in your reply before you go on. An empty list is a statement: you read the code and found nothing.
 8. **Read the existing tests that reach a change.** The analysis lists the repository's test files. Read the ones that import a changed file, call a changed route, or open a changed page.
 9. **Group the changes into behaviours and decide each.** A planned test names every change it covers. A change gets no test only when a test already in the repository proves it; the size of the edit or the kind of file is never a reason. A change no behaviour needs gets one sentence that says why.
-   When the test that proves a change is one you are editing, declare that test in `maintains` and name the changes it covers. Those changes are then covered and get no planned test of their own; a second test beside the one you edited is the mistake. A plan whose only coverage is maintenance is a complete plan.
-   A requirement the title, the description or a named requirements file states and the code does not meet is a defect; its file is the code that contradicts it. A defect gets a planned test that names it in `defects` and expects to fail. A defect in the code the change touches is a defect whether or not this pull request introduced it, and it gets the same test. A defect gets no test only when something stopped the test: say what.
+   When the test that proves a change is one you are editing, or one you will run unchanged as a VERIFY, declare that test in `maintains` and name the changes it covers. Those changes are then covered and get no planned test of their own.
+   A requirement the title, the description or a named requirements file states and the code does not meet is a defect; its file is the code that contradicts it. A defect gets a planned test that names it in `defects` and expects to fail. If a test you ran unchanged as a VERIFY failed on the defect, name the defect in that test's `maintains` entry instead; the defect then needs no planned test. A defect gets no test only when something stopped the test: say what.
    If a state comes from time passing, create the record with the nearest allowed deadline and wait for it.
 10. **Walk each page behaviour once, as its test will run.** Start at login, do the steps of the behaviour, run `browser_blueprint` on each page you use, and export the trace when the flow ends. Name only elements from those captures. Do not try other values or read messages; the recording is the test.
-11. **Declare each planned test.** The tool schema says what goes in each field, `defects` included.
+11. **Declare each planned test.**
     - A test that expects a rejection sends an accepted request first. That request is the test's setup.
-    - Two planned tests on one endpoint each say how they differ.
     - A test that expects to fail proves one test case: its first assertion after setup is the one the defect breaks, and a red step stops every step after it. Declare one such test per test case the defect breaks, so each test case reports on its own.
     - Accepted test cases may share one test that expects to pass.
-    - A test that expects to fail asserts a value the code does not return today. Before you declare that test, put that value on the test case it sends, as `expectedValue`, and name where you read it, as `expectedFrom`. If the source states the rule and never writes the number, put the rule in `derived` and leave `expectedValue` out.
-12. **Register the whole plan in one call to `skyramp_register_test_plan`.** The call carries `changes`, `defects` and `plannedTests`.
+12. **Register the whole plan in one call to `skyramp_register_test_plan`.**
 13. **Answer each objection, or change the plan and register it again.**
     An answer that says a state cannot be produced says what you tried.
 14. **Stop when every objection has an answer.** Disagreeing in the answer closes it too.

package/plugin/skills/enhance-assertions/reference/shared-rules.md

@@ -26,7 +26,7 @@ Apply only to new test functions you are adding and existing test functions affe
 
 Before editing `$2`, you must output a `<thinking>` block. It states the behaviour each test evaluates, then works through the rules for the responses that behaviour depends on, so no rule that applies is overlooked. The JSON array must match the `rule_checklist` template that accompanies the `$0` rules. Use the template's keys verbatim; each key is the slug shown in that rule's heading. Every key must appear — `[]` where the rule does not apply.
 
-1. For each test function in scope, name the behaviour it evaluates in one line, taken from the recommendation it came from. Generated test functions are usually named `test_integration` or `testUi`, which claim nothing — use the name only when it is specific enough to add something, and never treat a generic one as evidence the test has no single behaviour. Then scan `$2` and the expected responses for the code change tested.
+1. For each test function in scope, name the behaviour it evaluates in one line, taken from the recommendation it came from. A generated test function may carry a name that states its behaviour — trust that name when it does. A function still named `test_integration` or `testUi` claims nothing, so use the name only when it is specific enough to add something, and never treat a generic one as evidence the test has no single behaviour. Then scan `$2` and the expected responses for the code change tested.
 2. Classify each response first by its response status type and then assign the applicable assertion rules to the response.
    - Success with body (2xx with a response body): all assertion rules below may apply — echo-back of request fields, computed response fields, array / items validation, and chained values across steps.
    - Success with no body (200/202/204 with an empty body — e.g. logout/cancel/submit action endpoints): assert the status code only. Also apply chained-values rules if a follow-up step uses this response's ID.