ui-invariant-walk
Use when you want a property-based random-walk oracle that DRIVES a running web/Electron app and asserts UI invariants over a randomized command sequence — "no enabled button is a dead click" (an enabled, visible control must produce an observable state change) and "no route errors" (no navigation may reach an error route, throw an uncaught exception, or log a console error). Model-based testing via fast-check (`fc.commands` + `fc.asyncModelRun`) driving Playwright, with automatic shrinking to a minimal reproducing click/nav sequence. Ships as a SHADOW-mode advisory oracle (observe + log to a bounded rotating sink, never blocks CI or nags). Optionally deepen the existing Python Hypothesis suite with HypoFuzz nightly — but ONLY after verifying HypoFuzz's shifted license; the fast-check oracle ships regardless. NOT for pixel/design critique (use ui-audit), NOT for deterministic single-flow E2E (use Playwright directly).
- License 许可
- MIT
- 最近更新
- 2026-11-02
- Stars
- ★ 0
- Forks
- 0
01 前言 Front Matter
- name
- ui-invariant-walk
- metadata
- { "item": "ui-invariant-walk-oracle", "origin": "gem-hunt-2026-07-12", "evidence": "MASTER A-Tier2 (agentic-repair-2" }
- description
- Use when you want a property-based random-walk oracle that DRIVES a running web/Electron app and asserts UI invariants over a randomized command sequence — "no enabled button is a dead click" (an enabled, visible control must produce an observable state change) and "no route errors" (no navigation may reach an error route, throw an uncaught exception, or log a console error). Model-based testing via fast-check (`fc.commands` + `fc.asyncModelRun`) driving Playwright, with automatic shrinking to a minimal reproducing click/nav sequence. Ships as a SHADOW-mode advisory oracle (observe + log to a bounded rotating sink, never blocks CI or nags). Optionally deepen the existing Python Hypothesis suite with HypoFuzz nightly — but ONLY after verifying HypoFuzz's shifted license; the fast-check oracle ships regardless. NOT for pixel/design critique (use ui-audit), NOT for deterministic single-flow E2E (use Playwright directly).
02 资源文件 1
- 参考文档resources/implementation-playbook.md14.2 KB
03 SKILL.md 正文
ui-invariant-walk Skill
A model-based property test that fans a randomized walk of Click / Navigate commands across a running app and asserts UI invariants after every step. Where a hand-written E2E test proves one scripted path, this oracle explores thousands of paths and, on failure, shrinks to the shortest sequence that reproduces the violation.
Skill location: ~/.claude/skills/ui-invariant-walk/
Two invariants ship by default:
| ID | Invariant | Fails when |
|---|---|---|
| INV1 DEAD_CLICK | No enabled button is a dead click. | An enabled + visible control is clicked and produces no observable state change (no URL change, no DOM mutation, no network request, no dialog). |
| INV2 ROUTE_ERROR | No route errors. | After any step the app is on an error route (/error, /404, /500), logged a console.error, or threw an uncaught page exception. |
Both are cheap, app-agnostic, and catch a real class of agentic-repair regression: green unit tests + a UI where a button silently does nothing or a route 500s. (Evidence: gem-hunt MASTER A-Tier2 agentic-repair-2 #9 / agentic-repair-1 #10 — "invariant random-walk UI oracle".)
When to use
- After any UI change to Reframe (Electron+React), momentstudio (web), bilbo-web, WebCoder.
- As a nightly / pre-PR advisory sweep — surface dead controls and broken routes the scripted suite never visits.
- When a "tests pass" claim needs an external, executable UI check (see COUNCIL-VERDICT: the done-gate is spoofable; only executable/external evidence counts).
Shadow-mode contract (COUNCIL-VERDICT C5 — MANDATORY)
Install once
The oracle — oracle.mjs
Run it
Start your app first (e.g. Reframe dev server / momentstudio), then:
Proven mechanism (self-test)
Optional: HypoFuzz nightly (Python) — LICENSE-GATED, do NOT wire blindly
Anti-overfit / charter notes
04 同仓库更多 Skills
clarify-requirements
Resolve genuine pre-execution ambiguity by scanning repo context, generating 1-6 grounded options, and asking 1-3 focused questions via AskUserQuestion. NOT for mid-task use (injection risk); NOT when the goal is already unambiguous; use to disambiguate vague prompts before any file edits.
openmm-md
Run FREE, open-source, Windows-native GPU molecular dynamics via the openmm-md MCP (OpenMM + CUDA on the local NVIDIA GPU). Use for protein / protein-ligand MD when you want a free stack or are on Windows without a Schrodinger license. Covers the full workflow (prepare, solvate, minimize, equilibrate, production, analyze, mmgbsa) AND an honest decision guide vs Schrodinger Desmond, including how to run Desmond legitimately on Linux or a cloud GPU with a real license. This is a deliberately LESSER free alternative and does NOT replace the schrodinger MCP tools. Do NOT use it to pick a free tool when a validated FEP+, WaterMap, IFD-MD, or Prime MM-GBSA result is actually required.
visual-review
Take screenshots of web pages and UI using Playwright for visual review and iteration
status
Diagnostic status report — shows metaswarm installation state, project setup, and potential issues
start
Use when starting work on any task, when the user mentions metaswarm, or when the user wants to begin tracked development work
setup
Interactive project setup — detects your project, configures metaswarm, writes project-local files