waygraph 0.15.17 → 0.15.19

package/README.md

@@ -298,10 +298,26 @@ code, an autonomous agent authoring Blocks) - it warns, never fails the process.
 
 **`waygraph typecheck [project]`** runs `tsc --noEmit` then the same **bad-practice** scan
 (wildcard `Checkpoint<string>`, assert blocks missing type args, multi-`.fill()` Methods,
-fill+click in one Method). Practices warn only unless `tsc` fails; use `--no-practices` to
-skip the scan. Opt out per file: `// waygraph-ignore-practices` or
-`// waygraph-ignore: multi-input, combined-action`. Print full agent guidance:
-`waygraph --skill-convention`.
+fill+click in one Method, empty `verify` on a transition Block or `defineAssertBlock`).
+Practices warn only unless `tsc` fails; use `--no-practices` to skip the scan. Opt out per
+file: `// waygraph-ignore-practices` or `// waygraph-ignore: multi-input, combined-action,
+empty-verify`. Print full agent guidance: `waygraph --skill-convention`.
+
+**Empty verify is the one that matters most for codegen'd Blocks.** A framework can enforce
+that a check *exists* and stays structurally honest (typed, wired, right file) - it cannot
+author the semantic content of that check, since only someone who knows what "success" means
+for this specific app can write it. That's a correct place to draw the line, but it shifts
+all the risk onto whether anything catches a Block left with a placeholder `verify: []` by
+the time it ships - which would otherwise pass every static check, the orphan scan, and
+`tsc`, and run green in CI forever, because an empty array isn't a wrong check, it's the
+*absence* of one. `waygraph check`/`typecheck` now flag exactly that: a `defineMethodBlock`/
+`defineEffectBlock` whose `In`/`Out` Checkpoints actually differ (a real transition, not a
+self-loop like `fill-username`) with no `verify` key or a literal `verify: []`, and the same
+for `defineAssertBlock` (whose entire job is checking). Silence it deliberately, the same as
+any other practice warning, with `// waygraph-ignore: empty-verify` - e.g. when a downstream
+`defineAssertBlock` right after it in the `.flow.ts` is what actually confirms the transition
+(see `templates/scaffold`'s own `open-message.method.block.ts`, confirmed by
+`AssertEmailContentBlock` right after it, not by its own `verify`).
 
 ### Demo narration
 
@@ -412,6 +428,36 @@ engine.defineFlow([start, NavHomeBlock, AddItemBlock, AssertItemAddedBlock, Clea
 Live reference: `templates/scaffold/src/map/(app_base)/home/_methods/assert-item-added.method.block.ts`,
 wired into `shop.flow.ts`.
 
+**An assert Block also names a feature *state*, not just a result or static content.** A
+submit button greyed out until required fields are filled, a "Save" button re-enabling
+after a successful edit, a field-level validation error appearing under one specific input
+- these are conditions the UI is *in*, worth a nameable Checkpoint of their own the same way
+`AssertItemAddedBlock` names "did add-item work." There's no built-in `Trait.disabled` -
+write the state check as a custom Trait against the real DOM condition (`isDisabled()`, a
+class, an `aria-disabled` attribute - whatever the app actually uses), the same pattern as
+`removeButtonVisibleForSelectedItem` above:
+
+```typescript
+const submitGatedUntilFieldsComplete: Trait = {
+  name: "submit-gated-until-fields-complete",
+  async check(page) {
+    return page.locator(CheckoutSel.submitButton).isDisabled();
+  },
+};
+
+export const AssertSubmitGatedBlock = defineAssertBlock<CheckoutInfoPage>({
+  name: "assert-submit-gated",
+  checkpoint: "CheckoutInfoPage",
+  verify: [submitGatedUntilFieldsComplete],
+});
+
+// wired right after the fields that gate it, before the ones that clear the gate:
+engine.defineFlow([start, NavCheckoutInfoBlock, AssertSubmitGatedBlock, FillFirstNameBlock, ...])
+```
+
+Same rule as any other assert Block: give it an explicit type argument when it sits
+mid-chain (see above), and keep the selector in a `*Sel` object, never inlined in the Trait.
+
 **`methods/` folder:** on-page work lives next to the route, not free-floating.
 
 **`*Sel`:** DOM selectors only (static strings + `(id) => ...` for item-no-1 style). Mem
@@ -748,6 +794,22 @@ actually shows. Doesn't crash or corrupt anything if you never need it - it's a
 gap (confirmed by reading the exact code path, `src/auto-session.ts`'s `currentMenu()`), fixed
 outright rather than left as a caveat.
 
+**Coverage gaps `waygraph check`/`graph` can't see, because there's no Block to scan yet.**
+Static tools only find gaps in Blocks that already exist - a real link or button on the live
+page with *no Block written for it at all* has nothing in source to catch it. Every live
+`auto`/`browser`/`pilot` session watches the real page instead and warns (once per element,
+via `console.warn`) on a same-origin `<a href>` no `defineNavBlock` covers, or a visible
+`button`/`[role=button]`/submit input no Method/NavClick Block selector matches:
+
+```text
+[waygraph] unmapped nav link on this page: /settings - no NavBlock covers this URL; add defineNavBlock
+[waygraph] unmapped button on this page: #save-draft - no Method/NavClick Block selector matches; consider defineMethodBlock or defineNavClickBlock
+```
+
+Read them back with `auto console <sessionId>` - the same channel real console/network errors
+already come through, not a separate command (`src/coverage-gap.ts`, wired into every session
+in `src/auto-session.ts`).
+
 **On-page indicator.** A headful (`--non-headless`) session looks like an ordinary browser
 tab otherwise - no sign anything is driving it, which matters once a human might be watching
 or co-driving the same visible session. Every session injects a small badge (bottom-right
@@ -952,25 +1014,22 @@ really a Nav/Page/Assert/Method from this package's own factories.
 |------|---------|
 | Watch Sauce Demo step-through (temp dir only) | `npx waygraph try demo` |
 | Interactive explore (Add/Remove/Open details from live page) | `cd examples/saucedemo && npm i && npx waygraph auto` |
-| Scaffold a new **offline** project (green `npm test` on local fixture `:4177`) | `npx create-waygraph my-app` **or** `npx waygraph init my-app` |
+| Scaffold a new **offline** project (green `npm test` on local fixture `:4177`) | `npx waygraph init my-app` |
 | Install coding-agent defs for diving an app into Blocks | `npx waygraph agent-dive --loop claude` (also `opencode` / `cursor` / `vscode`) |
 | Print a packaged agent skill to stdout | `npx waygraph --skill` (list) / `--skill-pilot` / `--skill-pilot-blind` / `--skill-convention` |
 | Add waygraph to an existing repo | `npm install waygraph @playwright/test` |
 
-**Scaffold is not hidden inside waygraph alone** - the offline starter also ships as
-[`create-waygraph`](https://github.com/deviate-dv8/create-waygraph) on npm (same template
-as `waygraph init` since 0.7.5). Use whichever entry you already have:
-`npx create-waygraph my-app` when reading the GitHub Pages docs, or `npx waygraph init my-app`
-when the CLI is already installed. After either:
-
 ```bash
+npx waygraph init my-app
 cd my-app && npm install && npx playwright install chromium && npm test
 ```
 
 `try demo` is different: live saucedemo.com, step-through **Sign In -> Shop & Checkout ->
 blocked Viewer login**, then headless tests. Permanent full example:
-[`examples/saucedemo`](./examples/saucedemo). Offline empty scaffold: `init` /
-`create-waygraph`.
+[`examples/saucedemo`](./examples/saucedemo). Offline empty scaffold: `init`.
+
+**`create-waygraph` (npm) is deprecated** - it was the identical `init` template shipped as
+a second package for no real benefit. Use `npx waygraph init my-app` instead.
 
 ```bash
 # From this checkout, after npm run build:
@@ -1044,8 +1103,8 @@ suite - it forwards to the local `node_modules/.bin/playwright` (falling back to
 `npx playwright` if the project hasn't installed it locally yet), so `waygraph test` behaves
 exactly like `playwright test`, and anything after it (`--grep`, a spec path, `--headed`, …)
 passes straight through. `waygraph test ui` (or `waygraph test --ui`) launches Playwright's
-interactive UI Mode the same way. Scaffolded projects (`waygraph init`/`create-waygraph`)
-wire this up as `npm test` / `npm run test:ui`, and ship `trace: "retain-on-failure"` plus
+interactive UI Mode the same way. Scaffolded projects (`waygraph init`) wire this up as
+`npm test` / `npm run test:ui`, and ship `trace: "retain-on-failure"` plus
 the `html` reporter in `playwright.config.ts`, so a failing `waygraph test` already has a
 trace waiting - `waygraph test report` opens the HTML report, and
 `waygraph test show-trace <trace.zip>` opens one trace directly (both forward to Playwright's
@@ -1084,6 +1143,8 @@ Flows are files (0.10.5+):
 | Scope either to one element | `waygraph auto dom <sessionId> --selector ".inventory_list"` |
 | Detached session with a real visible browser | `waygraph auto --cli --detach --non-headless` |
 | Read the session's Checkpoint/Block history | `waygraph auto trace <sessionId>` |
+| Read real console/network errors + coverage-gap warnings | `waygraph auto console <sessionId>` |
+| Read localStorage/sessionStorage + service workers | `waygraph auto storage <sessionId>` |
 | Whole-project nav-escape + inline-selector + orphan sweep | `waygraph check [project]` |
 | `tsc --noEmit` + bad-practice warnings | `waygraph typecheck [project]` (`--no-practices` to skip scan) |
 | Waygraph Map enforcement (verbatim url-vs-folder, exits 1 on a violation) | `waygraph map [project]` |
@@ -1273,7 +1334,7 @@ src/
   index.ts                           public barrel
 examples/saucedemo/         live Sauce Demo (Page + methods/ + Sel)
 templates/quickstart/       try demo / init template (mirrors sauce)
-templates/scaffold/         offline init/create-waygraph scaffold template
+templates/scaffold/         offline waygraph init scaffold template
 templates/agents/           waygraph agent-dive coding-agent definitions
 docs/                       GitHub Pages static HTML + docs/proposals/ RFCs
 openspec/                   spec-driven planning: specs/ (current), changes/ (in-flight),

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 export type { Checkpoint, Instruction, Block, DefinedBlock, Start, WaygraphInstanceOption } from "./types.js";
 export { connect, checkpoint } from "./types.js";
 export { MemKey, MemPage, key, keyGroup } from "./mem-page.js";
-export { Trait, urlMatches, textEquals, visible, frameVisible, frameTextEquals, frameContainsText } from "./trait.js";
+export { Trait, urlMatches, textEquals, visible, disabled, enabled, frameVisible, frameTextEquals, frameContainsText, } from "./trait.js";
 export { runGraph, spawnTab, narrate, Engine, start, end, branch, withVerify, modVerify, modVerifyAll, defineBlock, defineNavBlock, defineNavClickBlock, defineMethodBlock, defineActionBlock, defineAssertBlock, definePageBlock, defineEffectBlock, defineMemEffectBlock, defineMemNavBlock, locate, composeBlock, fastForwardComposeBlock, isFastForwardBlock, preflight, withSessionReset, withTitle, withDemoPace, withBlockPace, withHighlightStyle, withExpectedFailure, withHighlightFixtures, withStubBefore, withStubAfter, withStubOnError, chainFlow, defineLayout, map, MapBuilder, } from "./engine.js";
 export { resolveHighlightSlots, resolveSlides, runStubPhase, resolveFixtureDwellMs, resolveSlideDwellMs, formatHighlightCaption, hasAuthoredStubAfter, hasAuthoredStubOnError, normalizeHighlightTone, normalizeDemoPace, normalizeHighlightSize, normalizeHighlightWeight, applyHighlightStyleDefaults, toneIconPrefix, resolveStepDemoPace, demoPaceScale, demoPaceIsBlitz, demoPaceIsFast, demoPaceIsSlow, demoPaceGateMs, formatDemoPaceBadge, formatDemoPaceLabel, normalizeTodos, normalizeTodoPos, normalizeTodoStyle, buildTodoDock, applyTodoPhase, advanceTodoDock, completeSequentialTodoDock, applyDevicePhase, resolveDeviceState, normalizeDevicePreset, normalizeDeviceOrientation, applyOrientation, orientationFromViewport, DEVICE_PRESETS, resolveTodoDockUi, FIXTURE_DURATION_MS_DEFAULT, FIXTURE_DURATION_FAST_MS_DEFAULT, FIXTURE_DURATION_SLOW_MS_DEFAULT, SLIDE_DURATION_MS_DEFAULT, SLIDE_DURATION_FAST_MS_DEFAULT, WAYGRAPH_RING_CSS, } from "./highlights.js";
 export type { WaygraphHighlightStub, WaygraphHighlightFixture, WaygraphSlide, WaygraphTodoItem, WaygraphTodoInput, WaygraphTodoGroup, WaygraphTodoGroupInput, WaygraphTodosOpts, TodoDockUiOpts, TodoDockUiResolved, TodoDockState, TodoListStyle, FixtureDurationFields, HighlightStubPhase, HighlightStubPhaseName, HighlightFixtureMap, ResolvedHighlight, WaygraphHighlight, HighlightTone, HighlightSize, HighlightWeight, HighlightStyleDefaults, DemoPace, DemoPaceName, StubCtx, StubLifecycleFn, StubPhaseResult, StubPhaseFixtures, DevicePreset, DeviceViewport, DeviceState, DeviceOrientation, } from "./highlights.js";

package/dist/index.js

@@ -1,6 +1,6 @@
 export { connect, checkpoint } from "./types.js";
 export { MemKey, MemPage, key, keyGroup } from "./mem-page.js";
-export { Trait, urlMatches, textEquals, visible, frameVisible, frameTextEquals, frameContainsText } from "./trait.js";
+export { Trait, urlMatches, textEquals, visible, disabled, enabled, frameVisible, frameTextEquals, frameContainsText, } from "./trait.js";
 export { runGraph, spawnTab, narrate, Engine, start, end, branch, withVerify, modVerify, modVerifyAll, defineBlock, defineNavBlock, defineNavClickBlock, defineMethodBlock, defineActionBlock, defineAssertBlock, definePageBlock, defineEffectBlock, defineMemEffectBlock, defineMemNavBlock, locate, composeBlock, fastForwardComposeBlock, isFastForwardBlock, preflight, withSessionReset, withTitle, withDemoPace, withBlockPace, withHighlightStyle, withExpectedFailure, withHighlightFixtures, withStubBefore, withStubAfter, withStubOnError, chainFlow, defineLayout, map, MapBuilder, } from "./engine.js";
 export { resolveHighlightSlots, resolveSlides, runStubPhase, resolveFixtureDwellMs, resolveSlideDwellMs, formatHighlightCaption, hasAuthoredStubAfter, hasAuthoredStubOnError, normalizeHighlightTone, normalizeDemoPace, normalizeHighlightSize, normalizeHighlightWeight, applyHighlightStyleDefaults, toneIconPrefix, resolveStepDemoPace, demoPaceScale, demoPaceIsBlitz, demoPaceIsFast, demoPaceIsSlow, demoPaceGateMs, formatDemoPaceBadge, formatDemoPaceLabel, normalizeTodos, normalizeTodoPos, normalizeTodoStyle, buildTodoDock, applyTodoPhase, advanceTodoDock, completeSequentialTodoDock, applyDevicePhase, resolveDeviceState, normalizeDevicePreset, normalizeDeviceOrientation, applyOrientation, orientationFromViewport, DEVICE_PRESETS, resolveTodoDockUi, FIXTURE_DURATION_MS_DEFAULT, FIXTURE_DURATION_FAST_MS_DEFAULT, FIXTURE_DURATION_SLOW_MS_DEFAULT, SLIDE_DURATION_MS_DEFAULT, SLIDE_DURATION_FAST_MS_DEFAULT, WAYGRAPH_RING_CSS, } from "./highlights.js";
 export { discoverGraph, toMermaid, findOrphanBlocks, findBlockPath } from "./graph.js";

package/dist/practices-check.d.ts

@@ -1,4 +1,4 @@
-export type PracticeKind = "wildcard-checkpoint" | "assert-no-type-arg" | "multi-input" | "combined-action";
+export type PracticeKind = "wildcard-checkpoint" | "assert-no-type-arg" | "multi-input" | "combined-action" | "empty-verify";
 export interface PracticeWarning {
     kind: PracticeKind;
     file: string;

package/dist/practices-check.js

@@ -9,6 +9,19 @@ import { relative } from "node:path";
 const WILDCARD_CHECKPOINT = /\bdefine(?:Method|Effect|Page|Nav|MemNav|NavClick|Action)Block\s*<[^>]*\bCheckpoint\s*<\s*string\s*>/;
 /** defineAssertBlock({ … }) with no explicit Out type — defaults to wildcard. */
 const ASSERT_NO_TYPE_ARG = /\bdefineAssertBlock\s*\(\s*\{/;
+/** defineAssertBlock, any form - used to scope the empty-verify check below. */
+const IS_ASSERT_BLOCK = /\bdefineAssertBlock\s*[<(]/;
+/**
+ * define(Method|Effect)Block<In, Out> with two BARE identifier type args
+ * (never a nested generic like Checkpoint<string> - that's WILDCARD_CHECKPOINT's
+ * own warning) - lets a real transition (In !== Out) be told apart from a
+ * self-loop (In === Out, e.g. fill-username) using only source text.
+ */
+const METHOD_EFFECT_GENERIC = /\bdefine(?:Method|Effect)Block\s*<\s*([A-Za-z_$][\w$]*)\s*,\s*([A-Za-z_$][\w$]*)\s*>/;
+/** `verify: []` - a literal empty array, the codegen-stub shape this check exists for. */
+const EMPTY_VERIFY_ARRAY = /\bverify\s*:\s*\[\s*\]/;
+/** Any `verify:` key at all, empty or not. */
+const HAS_VERIFY_KEY = /\bverify\s*:/;
 const SCAN_GLOB = /\.(block|flow)\.ts$/;
 const METHOD_OR_EFFECT_FILE = /\.(method|effect)\.block\.ts$/;
 const METHOD_OR_EFFECT_DEFINE = /\bdefine(?:Method|Effect)Block\b/;
@@ -80,6 +93,27 @@ export function collectPracticeWarnings(projectDir, walkDir, opts) {
                     detail: "Method/Effect act() mixes .fill() and .click() — fill and submit must be separate Blocks (see examples/saucedemo login split)",
                 });
             }
+            const genericMatch = METHOD_EFFECT_GENERIC.exec(src);
+            const isTransition = !!genericMatch && genericMatch[1] !== genericMatch[2];
+            if (isTransition &&
+                !isIgnored("empty-verify", ignore) &&
+                (!HAS_VERIFY_KEY.test(src) || EMPTY_VERIFY_ARRAY.test(src))) {
+                warnings.push({
+                    kind: "empty-verify",
+                    file: rel,
+                    detail: `transition Block (${genericMatch[1]} → ${genericMatch[2]}) has no verify checks — resolve() moving ` +
+                        "to a new Checkpoint is never confirmed by anything; add a Trait (or defineAssertBlock right after it), " +
+                        "or opt out explicitly with // waygraph-ignore: empty-verify if that's intentional",
+                });
+            }
+        }
+        if (!isIgnored("empty-verify", ignore) && IS_ASSERT_BLOCK.test(src) && EMPTY_VERIFY_ARRAY.test(src)) {
+            warnings.push({
+                kind: "empty-verify",
+                file: rel,
+                detail: "defineAssertBlock's verify array is empty — an assert Block whose only job is checking will pass " +
+                    "trivially forever; fill in real Traits or remove the stub",
+            });
         }
     }
     return warnings;
@@ -94,6 +128,8 @@ export function practiceKindLabel(kind) {
             return "multiple inputs in one Block";
         case "combined-action":
             return "fill and click in one Block";
+        case "empty-verify":
+            return "empty verify — transition unconfirmed";
         default: {
             const _exhaustive = kind;
             return _exhaustive;

package/dist/trait.d.ts

@@ -40,6 +40,20 @@ export declare function textEquals(selector: string, expected: string): Trait;
  * "something matching is visible", not "the selector is unambiguous".
  */
 export declare function visible(selector: string): Trait;
+/**
+ * Passes when at least one element matching `selector` is currently disabled -
+ * a submit button greyed out until required fields are filled, a "Save" not
+ * yet re-enabled after a pending edit. A real, nameable feature *state*, not
+ * just static content or an action's result. Uses `.first()` for the same
+ * reason `visible` does. A point-in-time read via Playwright's own
+ * `isDisabled()` - no wait built in, so pair it with `Trait.visible` (or rely
+ * on `verify`'s own natural timing right after `resolve`) if the element
+ * itself might not be on the page yet.
+ * @example Trait.disabled(CheckoutSel.submitButton)
+ */
+export declare function disabled(selector: string): Trait;
+/** The complement of {@link disabled} - passes once `selector` is enabled. */
+export declare function enabled(selector: string): Trait;
 /**
  * `visible`, scoped to a frame (e.g. a mail catcher's message-preview iframe)
  * instead of the top-level page. `page.locator(selector)` alone never reaches
@@ -73,6 +87,8 @@ export declare const Trait: {
     url: typeof urlMatches;
     text: typeof textEquals;
     visible: typeof visible;
+    disabled: typeof disabled;
+    enabled: typeof enabled;
     frameVisible: typeof frameVisible;
     frameText: typeof frameTextEquals;
     frameContains: typeof frameContainsText;

package/dist/trait.js

@@ -65,6 +65,34 @@ export function visible(selector) {
         },
     };
 }
+/**
+ * Passes when at least one element matching `selector` is currently disabled -
+ * a submit button greyed out until required fields are filled, a "Save" not
+ * yet re-enabled after a pending edit. A real, nameable feature *state*, not
+ * just static content or an action's result. Uses `.first()` for the same
+ * reason `visible` does. A point-in-time read via Playwright's own
+ * `isDisabled()` - no wait built in, so pair it with `Trait.visible` (or rely
+ * on `verify`'s own natural timing right after `resolve`) if the element
+ * itself might not be on the page yet.
+ * @example Trait.disabled(CheckoutSel.submitButton)
+ */
+export function disabled(selector) {
+    return {
+        name: `disabled(${selector})`,
+        async check(page) {
+            return page.locator(selector).first().isDisabled();
+        },
+    };
+}
+/** The complement of {@link disabled} - passes once `selector` is enabled. */
+export function enabled(selector) {
+    return {
+        name: `enabled(${selector})`,
+        async check(page) {
+            return page.locator(selector).first().isEnabled();
+        },
+    };
+}
 /**
  * `visible`, scoped to a frame (e.g. a mail catcher's message-preview iframe)
  * instead of the top-level page. `page.locator(selector)` alone never reaches
@@ -121,6 +149,8 @@ export const Trait = {
     url: urlMatches,
     text: textEquals,
     visible,
+    disabled,
+    enabled,
     frameVisible,
     frameText: frameTextEquals,
     frameContains: frameContainsText,

package/examples/saucedemo/.waygraph-auto/9f0287e6.json

@@ -0,0 +1,8 @@
+{
+  "sessionId": "9f0287e6",
+  "socketPath": "/tmp/waygraph-auto/9f0287e6.sock",
+  "pid": 2653914,
+  "projectDir": "/home/dan/Desktop/Projects/waygraph/examples/saucedemo",
+  "startedAt": "2026-09-23T01:33:06.508Z",
+  "headless": false
+}

package/examples/saucedemo/package-lock.json

@@ -16,29 +16,424 @@
         "typescript": "^5.6.0"
       }
     },
-    "../..": {
-      "version": "0.12.47",
+    "node_modules/@esbuild/aix-ppc64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/aix-ppc64/-/aix-ppc64-0.28.2.tgz",
+      "integrity": "sha512-XExcO+dvLKvVtNTibSTBej1NCAbaGhWn9Ww1ZPx80qsahhPFe/8jgWP0IchNe0F3HwkU7n8ejhH8bjonqht8mQ==",
+      "cpu": [
+        "ppc64"
+      ],
       "license": "MIT",
-      "dependencies": {
-        "tsx": "^4.0.0"
-      },
-      "bin": {
-        "waygraph": "bin/waygraph"
-      },
-      "devDependencies": {
-        "@playwright/test": "^1.63.0",
-        "@types/node": "^26.0.0",
-        "typescript": "^5.6.0"
-      },
-      "peerDependencies": {
-        "@playwright/test": "^1.40.0"
+      "optional": true,
+      "os": [
+        "aix"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/android-arm": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/android-arm/-/android-arm-0.28.2.tgz",
+      "integrity": "sha512-kXXoiPVVGQcnIYGOeaovwOURpniDBpSq4A03qkQ+BMQqtGG6HYap3xne9C1O1yo4TR3qxlCX5IqqmX6fFo2Lqg==",
+      "cpu": [
+        "arm"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "android"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/android-arm64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/android-arm64/-/android-arm64-0.28.2.tgz",
+      "integrity": "sha512-5YfKeeI8qWfBZIX+u2xZC3Zlb3Os/gLS2sbEKM+I4ZOcsWmHS2WLysCcQZDAFRslDUU5Oiq44gf6PYN1vGwG5A==",
+      "cpu": [
+        "arm64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "android"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/android-x64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/android-x64/-/android-x64-0.28.2.tgz",
+      "integrity": "sha512-O387ite7SzUyCcy3JQX4P4bLtEA7bLLkx+esve5JHnyYfNTxcVpXZo9jhdB0lTKN44gztELTdU7nS8Nr16Fs1Q==",
+      "cpu": [
+        "x64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "android"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/darwin-arm64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/darwin-arm64/-/darwin-arm64-0.28.2.tgz",
+      "integrity": "sha512-n4KqkOQrraxHJcgjM1RvwbigfQKIKJVpM7xp+KsxiyUSrRdIXnt73VhrPAx0fV44hgfmIVKjxMN9J1t5jySVkw==",
+      "cpu": [
+        "arm64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "darwin"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/darwin-x64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/darwin-x64/-/darwin-x64-0.28.2.tgz",
+      "integrity": "sha512-uq6suIWYP37qzGddBKPw5QEQPi6HiLGsO7UmkpfyaYNQ3D+rN6w6WfwH+nuqcGXWvawGwxOEroO4YGnFh95azw==",
+      "cpu": [
+        "x64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "darwin"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/freebsd-arm64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/freebsd-arm64/-/freebsd-arm64-0.28.2.tgz",
+      "integrity": "sha512-n+I0BTSRIoy+d6RPKnEVwql5UwBJolytvY4mAOIEJorKlqgPII8ix6slVVrfZ5Tnj7glIZvloylbB/EJPMWEXw==",
+      "cpu": [
+        "arm64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "freebsd"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/freebsd-x64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/freebsd-x64/-/freebsd-x64-0.28.2.tgz",
+      "integrity": "sha512-78XJTJkvPs0kz2w61301PJjXl4g7q3JqiYMZ/M/yVI73EHBrCRTgkhu9oqG7vPqq+a/yadEW8aD+agKlk5xrmg==",
+      "cpu": [
+        "x64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "freebsd"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/linux-arm": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/linux-arm/-/linux-arm-0.28.2.tgz",
+      "integrity": "sha512-XlDnu2q5yoqems+xay6wSAcg9DDD7K9RLKZEBOMZm3ckNpJBvOX20tSfby8KfrrhINDyv9V2YVZKY/SpoGJI8w==",
+      "cpu": [
+        "arm"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/linux-arm64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/linux-arm64/-/linux-arm64-0.28.2.tgz",
+      "integrity": "sha512-pW4AC0P3it8c7do9MVM4p51FzHzdM/TZrerurgRcHJ2WTa1VQ1CIq18xncfpBJw4ojkiZZrKW2yIBWBP92j6Ug==",
+      "cpu": [
+        "arm64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/linux-ia32": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/linux-ia32/-/linux-ia32-0.28.2.tgz",
+      "integrity": "sha512-CYbnj78HsIeA+DhgUKgFCfvNsTHFhMMrinUrMZpDXJXKN8T3XViTZ/+wtHeVxEWY8ewSzTFN+nRmSwO2tZaLUQ==",
+      "cpu": [
+        "ia32"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/linux-loong64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/linux-loong64/-/linux-loong64-0.28.2.tgz",
+      "integrity": "sha512-buwkd8nsph4R+ajRvw0qM5Hja/TXQow3ptzWO2EbG/cqcIkHloRrdlBtQlshyYGTNFvfkfJ5tpPLVkY4DtsPfQ==",
+      "cpu": [
+        "loong64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/linux-mips64el": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/linux-mips64el/-/linux-mips64el-0.28.2.tgz",
+      "integrity": "sha512-ZVykbDyk7519VwiNb9Lcj9m8XM6v5V9uKPvrEMkkEedVewf+0itkhahp4HDpgERXhwLRpWFypsGbG/J8s0QjJA==",
+      "cpu": [
+        "mips64el"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/linux-ppc64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/linux-ppc64/-/linux-ppc64-0.28.2.tgz",
+      "integrity": "sha512-CAXl+Dtd9UUuJd8pKKdwh6MLm3MUMiqMPmhZ3tTSXPqfyQ3vDl6R5hZdZ/kYojK4ofXtdfSv1tFq8XzWx3heNQ==",
+      "cpu": [
+        "ppc64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/linux-riscv64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/linux-riscv64/-/linux-riscv64-0.28.2.tgz",
+      "integrity": "sha512-GeXCej4IQtU1B+QlDV8W/RRvbzI3O/Stss+/bCXv4lZls5WGRtu2a+3JkA3i4qIUlMXpcHebWpF8AkJhATowuA==",
+      "cpu": [
+        "riscv64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/linux-s390x": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/linux-s390x/-/linux-s390x-0.28.2.tgz",
+      "integrity": "sha512-3H1weTYZPxt/WOhByszQZybS9w5lKzUn1FDMsgEChbHWQwHYQQRfBxgCcZvPhjHfKyJjIievvMmEUawJrdY9Dg==",
+      "cpu": [
+        "s390x"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/linux-x64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/linux-x64/-/linux-x64-0.28.2.tgz",
+      "integrity": "sha512-4xTZr1FUmSoQW4XIWmit3tzQrUTZM+N3P0XV8xROKYF50XfI7xeO90+1bZvNwxIufQ9hDQVRJH5YhgPVF8A/HQ==",
+      "cpu": [
+        "x64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "linux"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/netbsd-arm64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/netbsd-arm64/-/netbsd-arm64-0.28.2.tgz",
+      "integrity": "sha512-sSATRjPeDBg3pdgHoQfoYBob11Kk1FGa9lui5RIHZCoCkJa9QKlvl3/vKz2usCmYYjs7ymJR/2Nnsqe+Hjt5nw==",
+      "cpu": [
+        "arm64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "netbsd"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/netbsd-x64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/netbsd-x64/-/netbsd-x64-0.28.2.tgz",
+      "integrity": "sha512-lqnzCV+mM0gIADaKihiCg6ifgfU2L3h5E33rNQBN1Y4MaVGnzryzmvvf7UHxprpQdE8hpqLolJ9Rl+SkIRDpyw==",
+      "cpu": [
+        "x64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "netbsd"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/openbsd-arm64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/openbsd-arm64/-/openbsd-arm64-0.28.2.tgz",
+      "integrity": "sha512-AL2qJILH7lNjrDmCQDvdxMfAUIv8KMNZOvrwAQ8i8//ntL9FflhOyMJ8OZSMBb8/AWXe3/5v5S20y3zCoZWKoQ==",
+      "cpu": [
+        "arm64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "openbsd"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/openbsd-x64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/openbsd-x64/-/openbsd-x64-0.28.2.tgz",
+      "integrity": "sha512-QtiuPytchRyC4rwUKhexJdQKvDuZ6hWloi3igqPQNUJCS1/v9EiO3UTOXR6A3FoMo4fnAKbWJdqaIwhOzh8qEw==",
+      "cpu": [
+        "x64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "openbsd"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/openharmony-arm64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/openharmony-arm64/-/openharmony-arm64-0.28.2.tgz",
+      "integrity": "sha512-WkhYDmpTjLvGlScA1rwjRUmhl4k8oXR3cIbtqWmELgU/dFeHHlEllxDvdWcNJV9rbzCexB5vz8gtNewWLgCT7Q==",
+      "cpu": [
+        "arm64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "openharmony"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/sunos-x64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/sunos-x64/-/sunos-x64-0.28.2.tgz",
+      "integrity": "sha512-GPMSkTOtMnv2U2F8gxe4Io6qmVs+YKyp832Etqqxr0hFngmXQ3rzwytelm3GIn7T4VviRUlf3sOgBOiTdvaf7g==",
+      "cpu": [
+        "x64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "sunos"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/win32-arm64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/win32-arm64/-/win32-arm64-0.28.2.tgz",
+      "integrity": "sha512-PIhhEkE9uPBleRBrQEJpUn7MBnibZzbGzYWPmY3x+YoVg/95zbjB4CxPPOQ8l5tYYM4mMaCthF8/1DIfBQQyWQ==",
+      "cpu": [
+        "arm64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "win32"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/win32-ia32": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/win32-ia32/-/win32-ia32-0.28.2.tgz",
+      "integrity": "sha512-YmJbfTlvU7Sdn9BB+4PRES4oB6pxgS37MAONj+hBr/cpXS1aBPKXxNnDbu+QCWPj0o9dgyxeq79g6c5P8KeuYA==",
+      "cpu": [
+        "ia32"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "win32"
+      ],
+      "engines": {
+        "node": ">=18"
+      }
+    },
+    "node_modules/@esbuild/win32-x64": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/@esbuild/win32-x64/-/win32-x64-0.28.2.tgz",
+      "integrity": "sha512-5ebpxr3nWMzrL/rnUI755Jkuee0bHL/Gq0WTF9lvcpv73wAp5eu8MfBUgWK9bhWvZjj7yX8etf/8tI8Ney695g==",
+      "cpu": [
+        "x64"
+      ],
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "win32"
+      ],
+      "engines": {
+        "node": ">=18"
       }
     },
     "node_modules/@playwright/test": {
       "version": "1.63.0",
-      "resolved": "https://registry.npmjs.org/@playwright/test/-/test-1.63.0.tgz",
-      "integrity": "sha512-oxMK4vllB9RK5NQ2l1pq1IfOf2AvnEuj/vYGDj0H2nMtmtZpKtCwt/l00GEO6xjGfpBNAvjovvYdCm50dRQkpQ==",
-      "dev": true,
       "license": "Apache-2.0",
       "dependencies": {
         "playwright": "1.63.0"
@@ -52,19 +447,69 @@
     },
     "node_modules/@types/node": {
       "version": "26.6.1",
-      "resolved": "https://registry.npmjs.org/@types/node/-/node-26.6.1.tgz",
-      "integrity": "sha512-VqGJBMCtdhqkBUCcBLvywI0NJ+KLuVzgNnlBUNFOQjqVxzo2lxLUNg1DSey8+u2u6ktswSAxg+s68QLzWHNOuA==",
       "dev": true,
       "license": "MIT",
       "dependencies": {
         "undici-types": "~8.9.0"
       }
     },
+    "node_modules/esbuild": {
+      "version": "0.28.2",
+      "resolved": "https://registry.npmjs.org/esbuild/-/esbuild-0.28.2.tgz",
+      "integrity": "sha512-HKVLS8dvII+xoKW9kmqxbRKrnWEXfJJr/FZhhJmiqIB0e053QNYFqOBouTMO/k5sID4MvCiUCvv8b9M4h32wIA==",
+      "hasInstallScript": true,
+      "license": "MIT",
+      "bin": {
+        "esbuild": "bin/esbuild"
+      },
+      "engines": {
+        "node": ">=18"
+      },
+      "optionalDependencies": {
+        "@esbuild/aix-ppc64": "0.28.2",
+        "@esbuild/android-arm": "0.28.2",
+        "@esbuild/android-arm64": "0.28.2",
+        "@esbuild/android-x64": "0.28.2",
+        "@esbuild/darwin-arm64": "0.28.2",
+        "@esbuild/darwin-x64": "0.28.2",
+        "@esbuild/freebsd-arm64": "0.28.2",
+        "@esbuild/freebsd-x64": "0.28.2",
+        "@esbuild/linux-arm": "0.28.2",
+        "@esbuild/linux-arm64": "0.28.2",
+        "@esbuild/linux-ia32": "0.28.2",
+        "@esbuild/linux-loong64": "0.28.2",
+        "@esbuild/linux-mips64el": "0.28.2",
+        "@esbuild/linux-ppc64": "0.28.2",
+        "@esbuild/linux-riscv64": "0.28.2",
+        "@esbuild/linux-s390x": "0.28.2",
+        "@esbuild/linux-x64": "0.28.2",
+        "@esbuild/netbsd-arm64": "0.28.2",
+        "@esbuild/netbsd-x64": "0.28.2",
+        "@esbuild/openbsd-arm64": "0.28.2",
+        "@esbuild/openbsd-x64": "0.28.2",
+        "@esbuild/openharmony-arm64": "0.28.2",
+        "@esbuild/sunos-x64": "0.28.2",
+        "@esbuild/win32-arm64": "0.28.2",
+        "@esbuild/win32-ia32": "0.28.2",
+        "@esbuild/win32-x64": "0.28.2"
+      }
+    },
+    "node_modules/fsevents": {
+      "version": "2.3.3",
+      "resolved": "https://registry.npmjs.org/fsevents/-/fsevents-2.3.3.tgz",
+      "integrity": "sha512-5xoDfX+fL7faATnagmWPpbFtwh/R77WmMMqqHGS65C3vvB0YHrgF+B1YmZ3441tMj5n63k0212XNoJwzlhffQw==",
+      "hasInstallScript": true,
+      "license": "MIT",
+      "optional": true,
+      "os": [
+        "darwin"
+      ],
+      "engines": {
+        "node": "^8.16.0 || ^10.6.0 || >=11.0.0"
+      }
+    },
     "node_modules/playwright": {
       "version": "1.63.0",
-      "resolved": "https://registry.npmjs.org/playwright/-/playwright-1.63.0.tgz",
-      "integrity": "sha512-+7ziBLidS4NaNCdt57SUDT+wYmmd5fmiQejUic/kb+YsYSCPyOOE9sebzMjNmQrsnNpDJqd4WHvV/8lfKfUDUg==",
-      "dev": true,
       "license": "Apache-2.0",
       "dependencies": {
         "playwright-core": "1.63.0"
@@ -78,9 +523,6 @@
     },
     "node_modules/playwright-core": {
       "version": "1.63.0",
-      "resolved": "https://registry.npmjs.org/playwright-core/-/playwright-core-1.63.0.tgz",
-      "integrity": "sha512-rYCsBF/M5HjUch52bbtVONEFjv6Xu8sm8h72dNlR5bzIE1fvC/bxgspzkjSfU+MweEMmPM8KJebG6nnyxo5mCg==",
-      "dev": true,
       "license": "Apache-2.0",
       "bin": {
         "playwright-core": "cli.js"
@@ -89,10 +531,26 @@
         "node": ">=20"
       }
     },
+    "node_modules/tsx": {
+      "version": "4.23.15",
+      "resolved": "https://registry.npmjs.org/tsx/-/tsx-4.23.15.tgz",
+      "integrity": "sha512-Yiex1Ovn8z2xPpOWckIiysV1SSyRMY9BkLF++q0yKiDxCqRhosKfMg3janKkiLBwZ5c/YryloKwGZcrEmtwxKw==",
+      "license": "MIT",
+      "dependencies": {
+        "esbuild": "~0.28.0"
+      },
+      "bin": {
+        "tsx": "dist/cli.mjs"
+      },
+      "engines": {
+        "node": ">=18.0.0"
+      },
+      "optionalDependencies": {
+        "fsevents": "~2.3.3"
+      }
+    },
     "node_modules/typescript": {
       "version": "5.9.3",
-      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.9.3.tgz",
-      "integrity": "sha512-jl1vZzPDinLr9eUt3J/t7V6FgNEw9QjvBPdysz9KfQDD41fQrC2Y4vKQdiaUpFT4bXlb1RHhLpp8wtm6M5TgSw==",
       "dev": true,
       "license": "Apache-2.0",
       "bin": {
@@ -105,14 +563,22 @@
     },
     "node_modules/undici-types": {
       "version": "8.9.0",
-      "resolved": "https://registry.npmjs.org/undici-types/-/undici-types-8.9.0.tgz",
-      "integrity": "sha512-KTDyRTYX8sWmKXAikPHHSyc63CRPETMctyjKFupcC6OBLXT3xsN0e9aF7m+mIXutFWpUXuedtowG7iLOzp0kQg==",
       "dev": true,
       "license": "MIT"
     },
     "node_modules/waygraph": {
-      "resolved": "../..",
-      "link": true
+      "version": "0.15.17",
+      "resolved": "file:../..",
+      "license": "MIT",
+      "dependencies": {
+        "tsx": "^4.0.0"
+      },
+      "bin": {
+        "waygraph": "bin/waygraph"
+      },
+      "peerDependencies": {
+        "@playwright/test": "^1.40.0"
+      }
     }
   }
 }

package/examples/saucedemo/tests/auto-graph.spec.ts

@@ -5,7 +5,7 @@ import { dirname, join } from "node:path";
 
 const projectDir = join(dirname(fileURLToPath(import.meta.url)), "..");
 
-test("waygraph auto discovers the decomposed saucedemo graph with zero skipped Blocks", async () => {
+test("waygraph auto discovers the decomposed saucedemo graph, skipping only the FFCompose auth step", async () => {
   const graph = await discoverGraph(projectDir);
 
   expect(graph.nodes.map((n) => n.checkpoint).sort()).toEqual(
@@ -20,8 +20,12 @@ test("waygraph auto discovers the decomposed saucedemo graph with zero skipped B
       "OrderComplete",
     ].sort(),
   );
-  // +2 vs pre-remove: remove-from-cart branches * → ItemInCart | LoggedIn
-  expect(graph.edges.length).toBe(15);
+  // 24 vs the earlier 15: checkout-info split into fill-first-name/
+  // fill-last-name/fill-postal-code (+2 net) plus the atomic login Blocks
+  // (fill-username/fill-password/submit-login's 2 branches) that static
+  // discovery still sees even though checkoutFlow itself now drives them
+  // through the ff-owner-auth composition below.
+  expect(graph.edges.length).toBe(24);
   const removeEdges = graph.edges.filter((e) => e.block === "remove-from-cart");
   expect(removeEdges).toEqual(
     expect.arrayContaining([
@@ -32,7 +36,15 @@ test("waygraph auto discovers the decomposed saucedemo graph with zero skipped B
 
   const loginFail = graph.edges.find((e) => e.block === "submit-login" && e.to === "LoginPage");
   expect(loginFail).toMatchObject({ from: "LoginPage", to: "LoginPage", kind: "action" });
-  expect(graph.skipped.length).toBe(0);
+
+  // ff-owner-auth (fastForwardComposeBlock) collapses nav-login + fill-username
+  // + fill-password + submit-login into one opaque demo/run step - discoverGraph
+  // only understands plain defineMethodBlock/defineEffectBlock<In, Out> generic
+  // calls, so this one Block is expected to be skipped by static discovery even
+  // though it's a real, used step (see src/blocks/saucedemo-web/ff-owner-auth.block.ts).
+  expect(graph.skipped).toEqual([
+    expect.objectContaining({ block: "ff-owner-auth" }),
+  ]);
 
   const logout = graph.edges.find((e) => e.block === "submit-logout");
   expect(logout).toMatchObject({ from: "LoggedIn", to: "LoginPage", kind: "action" });

package/examples/saucedemo/tests/chain-flow-episodes.spec.ts

@@ -29,10 +29,15 @@ test("each episode's title survives chaining, and blocks() reports the flattened
 
   expect(blocks.map((b) => b.name)).toEqual([
     "nav-login",
+    "fill-username",
+    "fill-password",
     "submit-login",
     "add-to-cart",
     "nav-cart",
     "nav-checkout-info",
+    "fill-first-name",
+    "fill-last-name",
+    "fill-postal-code",
     "submit-checkout-info",
     "finish-order",
   ]);

package/examples/saucedemo/tests/flow-block-verify.spec.ts

@@ -1,7 +1,7 @@
 import { test, expect } from "@playwright/test";
 import { MemPage, checkpoint, Trait } from "waygraph";
 import { checkoutFlow } from "../src/flows/checkout.flow.js";
-import { SubmitLoginBlock } from "../src/blocks/saucedemo-web/methods/submit-login.method.block.js";
+import { FfOwnerAuthBlock } from "../src/blocks/saucedemo-web/ff-owner-auth.block.js";
 import { LoginCreds, SelectedItem } from "../src/states/checkout.mem-keys.js";
 
 // checkoutFlow.withBlockVerify/modBlockVerify - a spec that only imports the
@@ -31,9 +31,12 @@ test("withBlockVerify: replacing login's verify with an extra real check still p
   mem.set(LoginCreds({ username: "standard_user", password: "secret_sauce" }));
   mem.set(SelectedItem({ id: "sauce-labs-backpack", name: "Sauce Labs Backpack" }));
 
-  // Addressed by the actual SubmitLoginBlock reference - the preferred
-  // form: no typo risk, refactor-safe, jump-to-definition works.
-  const patched = checkoutFlow.withBlockVerify(SubmitLoginBlock, [
+  // Addressed by the actual FfOwnerAuthBlock reference - the preferred
+  // form: no typo risk, refactor-safe, jump-to-definition works. checkoutFlow
+  // drives login through the ff-owner-auth FFCompose step (collapsed
+  // nav-login + fill-username + fill-password + submit-login), not a bare
+  // SubmitLoginBlock reference, so that's the Block whose verify this patches.
+  const patched = checkoutFlow.withBlockVerify(FfOwnerAuthBlock, [
     Trait.url({ pathname: "/inventory.html" }),
     Trait.visible(".inventory_list"),
   ]);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "waygraph",
-  "version": "0.15.17",
+  "version": "0.15.19",
   "type": "module",
   "description": "A typed graph of reusable Blocks for driving a browser through E2E flows.",
   "license": "MIT",

package/templates/scaffold/src/map/(external)/mailpit/_methods/open-message.method.block.ts

@@ -1,3 +1,4 @@
+// waygraph-ignore: empty-verify (confirmed by AssertEmailContentBlock right after it in mail-verify.flow.ts)
 import { defineMethodBlock, checkpoint } from "waygraph";
 import type { MailpitInbox, MailpitMessageOpen } from "../../../../states/demo.states.js";
 import { ExpectedRecipient } from "../../../../states/demo.mem-keys.js";

package/templates/skills/waygraph-convention.skill.md

@@ -22,6 +22,11 @@ against a live site, use `--skill-pilot-blind`.
    inline selector literals in `Trait.visible` / `Trait.text`.
 4. **Assert-only = `defineAssertBlock`.** Self-loop, no hand-written `act`/`resolve`. Pass
    an explicit type argument when it sits between two specifically-typed Blocks in a Flow.
+   Not just static content or an action's result - it also names a *feature state* worth a
+   Checkpoint of its own (a submit button greyed out until required fields are filled, a
+   field error under one input, a stale "Save" re-enabling). `Trait.disabled(selector)` /
+   `Trait.enabled(selector)` cover that directly; write a custom Trait only for a state
+   condition neither one expresses.
 5. **`requires` = externally supplied.** A key an earlier Block in the same chain produces
    is never listed under `requires` - preflight checks the whole chain up front.
 6. **Keep Checkpoints typed — never `Checkpoint<string>`.** Block helpers take concrete
@@ -32,6 +37,16 @@ against a live site, use `--skill-pilot-blind`.
 7. **One input/action per Method Block.** No block that `.fill()`s two fields or `.fill()` + `.click()` in one
    `act()` — split like saucedemo login (`fill-username`, `fill-password`, `submit-login`). Opt out per file:
    `// waygraph-ignore: multi-input` or `// waygraph-ignore-practices`.
+8. **A transition never ships with an empty `verify`.** A framework can enforce that a check
+   *exists*; it can't author the semantic content of one - only whoever knows what "success"
+   means for this app can write it. That's the right line to draw, but it means an unfilled
+   `verify: []` placeholder (codegen's honest way of not guessing) is indistinguishable from
+   a Block that was never given real verification at all, and it passes `check`/`typecheck`/
+   the orphan scan/`tsc` silently unless something is actually looking for it. Something is:
+   `defineMethodBlock`/`defineEffectBlock` where `In`/`Out` genuinely differ (a transition,
+   not a self-loop) needs a non-empty `verify`, same for `defineAssertBlock`. Opt out only
+   when a *different* Block right after it in the `.flow.ts` is what actually confirms the
+   transition (e.g. an `AssertXBlock`) - `// waygraph-ignore: empty-verify`.
 
 ## Block kinds (file convention)
 
@@ -105,6 +120,22 @@ npm run typecheck             # when the consumer has it
 are still runnable in Pilot's live menu - orphan status only blocks
 `auto --blocks <From> <To>` pathfinding.
 
+**Static tools above only find gaps in Blocks that already exist.** A real link/button on
+the live page with *no Block written for it at all* has nothing in source for `check`/
+`graph` to scan - the only way to find that is to actually run the app. Every live
+`auto`/`browser`/`pilot` session watches the real page and warns (once per element) on
+anything with no matching Block:
+
+```text
+[waygraph] unmapped nav link on this page: /settings - no NavBlock covers this URL; add defineNavBlock
+[waygraph] unmapped button on this page: #save-draft - no Method/NavClick Block selector matches; consider defineMethodBlock or defineNavClickBlock
+```
+
+Read them back with `auto console <sessionId>` (same channel as real console/network
+errors) - see `--skill-pilot`'s "Coverage gaps on the live page" section for the full
+detection rules (same-origin `<a href>` only, visible clickables only, one warning per
+element per session).
+
 ## Related skills (print via CLI)
 
 ```bash