@cssints/apg-specs 0.5.2 → 0.6.1

package/dist/scenario.d.mts

@@ -1,6 +1,5 @@
 import { QuintEvent, QuintModelValue, QuintReferenceModel } from "@quint-machine/core";
 import { Schema } from "effect";
-//#region src/scenario.d.ts
 /**
  * Typed step fields a bridge must opt into (`SpecBridge.stepFields`): replaying
  * a step while ignoring one of these would test a different step.
@@ -229,5 +228,4 @@ export interface WalkOptions {
  * candidate; every probed observation must agree after every step.
  */
 export declare const differentialWalk: (options: WalkOptions) => Promise<void>;
-//#endregion
 export { ActionStep, Scenario, ScenarioFile, Skipped };

package/dist/scenario.mjs

@@ -1,6 +1,6 @@
 import { violatedInvariants } from "@quint-machine/core";
 import { Schema } from "effect";
-//#region src/scenario.ts
+// src/scenario.ts
 /**
 * The scenario bridge: one replay engine, two drivers.
 *
@@ -309,5 +309,4 @@ const differentialWalk = async (options) => {
 		}
 	}
 };
-//#endregion
 export { EXTENDED_STEP_FIELDS, ScenarioMismatch, Unsupported, differentialWalk, parseScenarioFile, replayScenario, specDriver };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cssints/apg-specs",
-  "version": "0.5.2",
+  "version": "0.6.1",
   "description": "APG widget specs: Quint sources, generated models, scenario bridges and ported scenario sets, the test oracle of headless widgets",
   "license": "MIT",
   "repository": {
@@ -36,6 +36,13 @@
       "default": "./dist/canvas/*.bridge.mjs"
     },
     "./canvas/*.model.json": "./dist/canvas/*.model.json",
+    "./patterns/*.bridge": {
+      "types": "./dist/patterns/*.bridge.d.mts",
+      "default": "./dist/patterns/*.bridge.mjs"
+    },
+    "./patterns/*.model.json": "./dist/patterns/*.model.json",
+    "./scenarios/patterns/*.json": "./scenarios/patterns/*.json",
+    "./specs/patterns/*.qnt": "./specs/patterns/*.qnt",
     "./scenarios/apg/*.json": "./scenarios/apg/*.json",
     "./scenarios/canvas/*.json": "./scenarios/canvas/*.json",
     "./scenarios/parts.json": "./scenarios/parts.json",
@@ -48,7 +55,7 @@
     "@quint-machine/core": "^0.1.0"
   },
   "peerDependencies": {
-    "effect": "^4.0.0"
+    "effect": "^4.0.6"
   },
   "engines": {
     "node": ">=22"

package/scenarios/patterns/README.md

@@ -0,0 +1,12 @@
+# Pattern scenarios — our own non-APG patterns
+
+One file per pattern: `<pattern>.spec.json`, in the format of
+[`../apg/README.md`](../apg/README.md) (same envelope, steps and expectations;
+`src/scenario.ts` decodes it, so a step outside the documented vocabulary is
+`unsupported` rather than silently dropped).
+
+There is no upstream test to port here: a scenario is written from the pattern's
+own spec, so `source` is `spec`, `commit` is `null` and the file says which spec
+it came from in `notes`. `skipped` names the behaviours the spec deliberately
+does not model, with the reason. `resizable-panels` is the first one: a group of
+window splitters, `specs/patterns/resizable-panels.qnt`.

package/scenarios/patterns/resizable-panels.spec.json

@@ -0,0 +1,539 @@
+{
+  "pattern": "resizable-panels",
+  "source": "spec",
+  "commit": null,
+  "license": "MIT",
+  "notes": "Not an APG pattern (bean cssints-pyit): a group of APG window splitters. Written from specs/patterns/resizable-panels.qnt (the layout, the drag and the request/commit contract) with the keyboard from specs/apg/windowsplitter.qnt. Config is the three-pane instance: 10/80 bounds, 10% steps, pane 0 collapsible at 0. The drag is its own vocabulary: dragStart on a separator, dragBy with a +/-10 delta, dragEnd.",
+  "skipped": [
+    {
+      "id": "resizable-panels.spec.drag-through-min-collapses",
+      "reason": "react-resizable-panels collapses a pane when a drag crosses its minSize; this spec collapses only on Enter or a host write, so a drag stops at MIN"
+    },
+    {
+      "id": "resizable-panels.spec.f6-cycles-panes",
+      "reason": "the group has no F6 cycle: with three panes it buys nothing a Tab does not, and the spec leaves it out"
+    }
+  ],
+  "scenarios": [
+    {
+      "id": "resizable-panels.spec.initial-layout",
+      "apg": "extension",
+      "config": {},
+      "steps": [
+        {
+          "expect": {
+            "focus": null,
+            "value": [
+              20,
+              40,
+              40
+            ],
+            "attrs": {
+              "separator:0": {
+                "role": "separator",
+                "aria-orientation": "vertical",
+                "aria-valuenow": "20",
+                "aria-valuemin": "10",
+                "aria-valuemax": "80",
+                "tabindex": "0"
+              },
+              "separator:1": {
+                "role": "separator",
+                "aria-valuenow": "40"
+              }
+            }
+          }
+        }
+      ]
+    },
+    {
+      "id": "resizable-panels.spec.arrow-moves-the-pair",
+      "apg": "keyboard",
+      "config": {},
+      "steps": [
+        {
+          "event": "focus",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "focus": "separator:0"
+          }
+        },
+        {
+          "event": "key",
+          "key": "ArrowRight",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "value": [
+              30,
+              30,
+              40
+            ],
+            "attrs": {
+              "separator:0": {
+                "aria-valuenow": "30"
+              }
+            },
+            "events": {
+              "onSizesChange": [
+                [
+                  30,
+                  30,
+                  40
+                ]
+              ]
+            }
+          }
+        }
+      ]
+    },
+    {
+      "id": "resizable-panels.spec.arrow-stops-at-the-neighbours-min",
+      "apg": "keyboard",
+      "config": {},
+      "steps": [
+        {
+          "event": "focus",
+          "target": "separator:0"
+        },
+        {
+          "event": "key",
+          "key": "ArrowLeft",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "value": [
+              10,
+              50,
+              40
+            ]
+          }
+        },
+        {
+          "event": "key",
+          "key": "ArrowLeft",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "value": [
+              10,
+              50,
+              40
+            ],
+            "events": {
+              "onSizesChange": [
+                [
+                  10,
+                  50,
+                  40
+                ]
+              ]
+            }
+          }
+        }
+      ]
+    },
+    {
+      "id": "resizable-panels.spec.home-and-end-jump-the-pair",
+      "apg": "keyboard",
+      "config": {},
+      "steps": [
+        {
+          "event": "focus",
+          "target": "separator:1"
+        },
+        {
+          "event": "key",
+          "key": "End",
+          "target": "separator:1"
+        },
+        {
+          "expect": {
+            "value": [
+              20,
+              70,
+              10
+            ]
+          }
+        },
+        {
+          "event": "key",
+          "key": "Home",
+          "target": "separator:1"
+        },
+        {
+          "expect": {
+            "value": [
+              20,
+              10,
+              70
+            ]
+          }
+        }
+      ]
+    },
+    {
+      "id": "resizable-panels.spec.enter-collapses-and-restores",
+      "apg": "keyboard",
+      "config": {},
+      "steps": [
+        {
+          "event": "focus",
+          "target": "separator:0"
+        },
+        {
+          "event": "key",
+          "key": "Enter",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "value": [
+              0,
+              60,
+              40
+            ],
+            "attrs": {
+              "separator:0": {
+                "aria-valuenow": "0"
+              }
+            }
+          }
+        },
+        {
+          "event": "key",
+          "key": "Enter",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "value": [
+              20,
+              40,
+              40
+            ]
+          }
+        }
+      ]
+    },
+    {
+      "id": "resizable-panels.spec.drag-stops-at-min-and-keeps-the-snapshot",
+      "apg": "extension",
+      "config": {},
+      "steps": [
+        {
+          "event": "dragStart",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "focus": "separator:0"
+          }
+        },
+        {
+          "event": "dragBy",
+          "value": 10
+        },
+        {
+          "expect": {
+            "value": [
+              30,
+              30,
+              40
+            ]
+          }
+        },
+        {
+          "event": "dragBy",
+          "value": -10
+        },
+        {
+          "expect": {
+            "value": [
+              20,
+              40,
+              40
+            ]
+          }
+        },
+        {
+          "event": "dragBy",
+          "value": -10
+        },
+        {
+          "expect": {
+            "value": [
+              10,
+              50,
+              40
+            ]
+          }
+        },
+        {
+          "event": "dragBy",
+          "value": -10
+        },
+        {
+          "event": "dragEnd"
+        },
+        {
+          "expect": {
+            "value": [
+              10,
+              50,
+              40
+            ],
+            "events": {
+              "onSizesChange": [
+                [
+                  30,
+                  30,
+                  40
+                ],
+                [
+                  20,
+                  40,
+                  40
+                ],
+                [
+                  10,
+                  50,
+                  40
+                ]
+              ]
+            }
+          }
+        }
+      ]
+    },
+    {
+      "id": "resizable-panels.spec.drag-moves-only-the-neighbours",
+      "apg": "extension",
+      "config": {},
+      "steps": [
+        {
+          "event": "dragStart",
+          "target": "separator:1"
+        },
+        {
+          "event": "dragBy",
+          "value": 10
+        },
+        {
+          "expect": {
+            "value": [
+              20,
+              50,
+              30
+            ]
+          }
+        },
+        {
+          "event": "dragEnd"
+        },
+        {
+          "expect": {
+            "value": [
+              20,
+              50,
+              30
+            ]
+          }
+        }
+      ]
+    },
+    {
+      "id": "resizable-panels.spec.collapsed-separator-is-immovable",
+      "apg": "keyboard",
+      "config": {},
+      "steps": [
+        {
+          "event": "focus",
+          "target": "separator:0"
+        },
+        {
+          "event": "key",
+          "key": "Enter",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "value": [
+              0,
+              60,
+              40
+            ]
+          }
+        },
+        {
+          "event": "key",
+          "key": "ArrowRight",
+          "target": "separator:0"
+        },
+        {
+          "event": "key",
+          "key": "Home",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "value": [
+              0,
+              60,
+              40
+            ],
+            "events": {
+              "onSizesChange": [
+                [
+                  0,
+                  60,
+                  40
+                ]
+              ]
+            }
+          }
+        },
+        {
+          "event": "key",
+          "key": "Enter",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "value": [
+              20,
+              40,
+              40
+            ]
+          }
+        }
+      ],
+      "notes": "collapsed by Enter (an uncontrolled group), so arrows and Home are inert and Enter restores the remembered size"
+    },
+    {
+      "id": "resizable-panels.spec.controlled-hold-ignores-the-request",
+      "apg": "extension",
+      "config": {
+        "controlled": true,
+        "accepts": false
+      },
+      "steps": [
+        {
+          "event": "focus",
+          "target": "separator:0"
+        },
+        {
+          "event": "key",
+          "key": "ArrowRight",
+          "target": "separator:0"
+        },
+        {
+          "expect": {
+            "value": [
+              20,
+              40,
+              40
+            ],
+            "attrs": {
+              "separator:0": {
+                "aria-valuenow": "20"
+              }
+            },
+            "events": {
+              "onSizesChange": [
+                [
+                  30,
+                  30,
+                  40
+                ]
+              ]
+            }
+          }
+        }
+      ]
+    },
+    {
+      "id": "resizable-panels.spec.controlled-host-writes-the-layout",
+      "apg": "extension",
+      "config": {
+        "controlled": true,
+        "accepts": false,
+        "layout": "wide"
+      },
+      "steps": [
+        {
+          "expect": {
+            "value": [
+              50,
+              30,
+              20
+            ],
+            "attrs": {
+              "separator:0": {
+                "aria-valuenow": "50"
+              },
+              "separator:1": {
+                "aria-valuenow": "30"
+              }
+            }
+          }
+        },
+        {
+          "event": "prop",
+          "prop": "hostLayout",
+          "value": "narrow"
+        },
+        {
+          "expect": {
+            "value": [
+              10,
+              40,
+              50
+            ]
+          }
+        }
+      ]
+    },
+    {
+      "id": "resizable-panels.spec.controlled-accepting-host-commits",
+      "apg": "extension",
+      "config": {
+        "controlled": true
+      },
+      "steps": [
+        {
+          "event": "focus",
+          "target": "separator:1"
+        },
+        {
+          "event": "key",
+          "key": "ArrowLeft",
+          "target": "separator:1"
+        },
+        {
+          "expect": {
+            "value": [
+              20,
+              30,
+              50
+            ],
+            "events": {
+              "onSizesChange": [
+                [
+                  20,
+                  30,
+                  50
+                ]
+              ]
+            }
+          }
+        }
+      ]
+    }
+  ]
+}