@vmz/test 0.0.2 → 0.0.4

package/README.md

@@ -26,24 +26,29 @@ safe server boundaries, SSR that does not needlessly replay, and application beh
 
 ## One scenario, several kinds of evidence
 
-| Surface | Evidence VMZ can collect |
-|---|---|
-| Compile | Diagnostics, graph identities, and generated boundaries |
-| Logic | State transitions, derived work, and cancellation |
-| Browser | Real input, semantic locators, DOM, accessibility, and screenshots |
-| Router | Matched RouteId, layout retention, loading, errors, and disposal |
-| SSR / Resume | HTML, serialized state, event entries, and replay avoidance |
-| Deployment | Client/server reachability, capabilities, artifacts, and traces |
+| Surface      | Evidence VMZ can collect                                           |
+|--------------|--------------------------------------------------------------------|
+| Compile      | Diagnostics, graph identities, and generated boundaries            |
+| Logic        | State transitions, derived work, and cancellation                  |
+| Browser      | Real input, semantic locators, DOM, accessibility, and screenshots |
+| Router       | Matched RouteId, layout retention, loading, errors, and disposal   |
+| SSR / Resume | HTML, serialized state, event entries, and replay avoidance        |
+| Deployment   | Client/server reachability, capabilities, artifacts, and traces    |
 
 ### UI automation without a borrowed worldview
 
-VMZ can use a real browser protocol as transport while owning locator, action, waiting, and expectation semantics. Tests can find elements by role, label, text, RouteId, or stable test identity; CSS remains an escape hatch rather than the default contract.
+VMZ can use a real browser protocol as transport while owning locator, action, waiting, and expectation semantics. Tests
+can find elements by role, label, text, RouteId, or stable test identity; CSS remains an escape hatch rather than the
+default contract.
 
-Auto-waiting can observe navigation, pending work, region commits, and server activity instead of guessing with arbitrary delays. A failure can connect the visible symptom to the application work that produced it.
+Auto-waiting can observe navigation, pending work, region commits, and server activity instead of guessing with
+arbitrary delays. A failure can connect the visible symptom to the application work that produced it.
 
 ### Precision is testable
 
-A fine-grained compiler should prove that nothing unrelated ran. VMZ tests can check that the intended binding changed, unrelated computations stayed idle, an obsolete generation was cancelled, and a disposed owner received no late write. That turns testing into a competitive feature rather than a bundled convenience.
+A fine-grained compiler should prove that nothing unrelated ran. VMZ tests can check that the intended binding changed,
+unrelated computations stayed idle, an obsolete generation was cancelled, and a disposed owner received no late write.
+That turns testing into a competitive feature rather than a bundled convenience.
 
 ## License
 

package/dist/browser.d.ts

@@ -1,12 +1,11 @@
 /**
- * Browser Host for `vmz test --mode browser` (T2 close slice).
+ * Browser Host for `vmz test --mode browser` ( close slice).
  *
  * Real Chromium/Chrome via CDP. Transport may use puppeteer-core as a CDP
  * client — that is NOT the Playwright/Puppeteer *test model*. Manifest actions
  * and assertions remain the VMZ Browser Host protocol; same Direct schedule as
  * production (`__vmzCreate` in a real document).
  *
- * Design: 规划设计/vmz/16 §T2 · §5 浏览器连接
  */
 type Diag = {
     severity: string;

package/dist/browser.js

@@ -1,12 +1,11 @@
 /**
- * Browser Host for `vmz test --mode browser` (T2 close slice).
+ * Browser Host for `vmz test --mode browser` ( close slice).
  *
  * Real Chromium/Chrome via CDP. Transport may use puppeteer-core as a CDP
  * client — that is NOT the Playwright/Puppeteer *test model*. Manifest actions
  * and assertions remain the VMZ Browser Host protocol; same Direct schedule as
  * production (`__vmzCreate` in a real document).
  *
- * Design: 规划设计/vmz/16 §T2 · §5 浏览器连接
  */
 import { spawn } from 'node:child_process';
 import fs from 'node:fs';
@@ -527,7 +526,7 @@ export async function runBrowserManifest(manifest, ctx) {
                 }
                 continue;
             }
-            if (kind === 'graph' || kind === 'plan' || kind === 'diagnostic' || kind === 'view') {
+            if (kind === 'graph' || kind === 'plan' || kind === 'diagnostic' || kind === 'view' || kind === 'motion') {
                 continue;
             }
             fail(`unknown browser assertion ${JSON.stringify(kind)}`);

package/dist/compile.d.ts

@@ -1,5 +1,5 @@
 /**
- * Compile-mode host for `vmz test` / `@vmz/test` (T1+).
+ * Compile-mode host for `vmz test` / `@vmz/test` (+).
  * Builds the project and checks graph/plan/view assertions against dist artifacts.
  */
 export type CreateWorkspaceFn = (opts: {

package/dist/compile.js

@@ -1,5 +1,5 @@
 /**
- * Compile-mode host for `vmz test` / `@vmz/test` (T1+).
+ * Compile-mode host for `vmz test` / `@vmz/test` (+).
  * Builds the project and checks graph/plan/view assertions against dist artifacts.
  */
 import fs from 'node:fs';
@@ -248,15 +248,20 @@ export function runCompileManifest(manifest, ctx) {
                 if (expect.create === true && !clientJs.includes('__vmzCreate')) {
                     fail('missing __vmzCreate');
                 }
-                if (expect.plan === true && !clientJs.includes('__vmzPlan')) {
-                    fail('missing __vmzPlan');
+                if (expect.plan === true) {
+                    // Plan identity is *.program.json; client `__vmzPlan` embed is opt-in (VMZ_EMIT_PLAN).
+                    const hasClientPlan = clientJs.includes('__vmzPlan');
+                    const hasProgramPlan = typeof prog.schema === 'string' || Boolean(arts.programPath) || Boolean(plan);
+                    if (!hasClientPlan && !hasProgramPlan) {
+                        fail('missing plan (client __vmzPlan or *.program.json)');
+                    }
                 }
                 if (expect.serialize === true && !clientJs.includes('__vmzSerialize')) {
                     fail('missing __vmzSerialize');
                 }
                 if (expect.noRender === true || expect.noRenderFallback === true) {
                     if (clientJs.includes('prototype.render')) {
-                        fail('production client must not emit prototype.render (Gate 3)');
+                        fail('production client must not emit prototype.render (production Direct emit)');
                     }
                 }
                 if (typeof expect.includes === 'string' && !clientJs.includes(expect.includes)) {
@@ -400,6 +405,76 @@ export function runCompileManifest(manifest, ctx) {
             }
             continue;
         }
+        if (kind === 'motion') {
+            const motion = unit.motion || null;
+            const transitions = motion?.transitions || [];
+            const edges = unit.graph?.edges || [];
+            if (expect.status != null) {
+                if (!motion || motion.status !== expect.status) {
+                    fail(`motion.status want ${expect.status}, got ${motion?.status}`);
+                }
+            }
+            if (expect.nonEmpty === true && transitions.length === 0) {
+                fail('motion.transitions empty');
+            }
+            if (Array.isArray(expect.kinds)) {
+                const have = new Set(transitions.map((t) => String(t.kind || '')));
+                for (const k of expect.kinds) {
+                    if (!have.has(String(k)))
+                        fail(`motion missing kind=${k}: ${[...have]}`);
+                }
+            }
+            if (typeof expect.token === 'string') {
+                if (!transitions.some((t) => t.token === expect.token)) {
+                    fail(`motion missing token=${expect.token}: ${JSON.stringify(transitions)}`);
+                }
+            }
+            if (Array.isArray(expect.tokens)) {
+                for (const tok of expect.tokens) {
+                    if (!transitions.some((t) => t.token === tok)) {
+                        fail(`motion missing token=${tok}: ${JSON.stringify(transitions)}`);
+                    }
+                }
+            }
+            if (expect.cancelable === true) {
+                if (!transitions.some((t) => t.cancelable === true)) {
+                    fail(`motion missing cancelable transition: ${JSON.stringify(transitions)}`);
+                }
+            }
+            if (expect.generation === true) {
+                if (!transitions.some((t) => t.generation === true)) {
+                    fail(`motion missing generation transition: ${JSON.stringify(transitions)}`);
+                }
+            }
+            if (typeof expect.reducedMotion === 'string') {
+                if (!transitions.every((t) => t.reduced_motion === expect.reducedMotion)) {
+                    fail(`motion.reduced_motion want ${expect.reducedMotion}: ${JSON.stringify(transitions)}`);
+                }
+            }
+            if (expect.hasRegion === true) {
+                if (!transitions.some((t) => t.region != null)) {
+                    fail(`motion missing region on transitions: ${JSON.stringify(transitions)}`);
+                }
+            }
+            if (expect.affectsRegion === true) {
+                const hit = edges.some((e) => e.kind === 'affects' && String(e.from).startsWith('motion:') && String(e.to).startsWith('region:'));
+                if (!hit)
+                    fail(`missing motion→region affects edges: ${JSON.stringify(edges.filter((e) => String(e.from).startsWith('motion:')))}`);
+            }
+            if (Array.isArray(expect.cancelsFrom)) {
+                for (const from of expect.cancelsFrom) {
+                    const hit = edges.some((e) => e.kind === 'cancels' && e.from === from && String(e.to).startsWith('motion:'));
+                    if (!hit)
+                        fail(`missing cancels from ${from}: ${JSON.stringify(edges.filter((e) => e.kind === 'cancels'))}`);
+                }
+            }
+            if (expect.planMotionTransition === true) {
+                const nodes = (plan?.nodes || []).filter((n) => n.kind === 'motion_transition');
+                if (!nodes.length)
+                    fail('plan missing motion_transition nodes');
+            }
+            continue;
+        }
         if (kind === 'deployment') {
             const deployment = unit.deployment || null;
             const entries = deployment?.resume_entries ||

package/dist/deployment.d.ts

@@ -1,5 +1,5 @@
 /**
- * Deployment host for `vmz test --mode deployment` (T3).
+ * Deployment host for `vmz test --mode deployment` .
  * Proves deployment IR + server capability isolation (client stubs vs #server body).
  */
 type Diag = {

package/dist/deployment.js

@@ -1,5 +1,5 @@
 /**
- * Deployment host for `vmz test --mode deployment` (T3).
+ * Deployment host for `vmz test --mode deployment` .
  * Proves deployment IR + server capability isolation (client stubs vs #server body).
  */
 import fs from 'node:fs';
@@ -157,7 +157,7 @@ export function runDeploymentManifest(manifest, ctx) {
             }
             continue;
         }
-        if (kind === 'graph' || kind === 'plan' || kind === 'diagnostic') {
+        if (kind === 'graph' || kind === 'plan' || kind === 'diagnostic' || kind === 'motion') {
             continue;
         }
         fail(`unknown deployment assertion ${JSON.stringify(kind)}`);

package/dist/discover.d.ts

@@ -1,5 +1,5 @@
 /**
- * Discover VMZ native test manifests (T0).
+ * Discover VMZ native test manifests .
  */
 export declare function listManifestFiles(root: string): string[];
 export type DiscoveredManifest = Record<string, unknown> & {

package/dist/discover.js

@@ -1,5 +1,5 @@
 /**
- * Discover VMZ native test manifests (T0).
+ * Discover VMZ native test manifests .
  */
 import fs from 'node:fs';
 import path from 'node:path';

package/dist/logic.d.ts

@@ -1,6 +1,5 @@
 /**
  * Logic-mode host — headless document (linkedom), same Direct __vmzCreate as production.
- * Design: 规划设计/vmz/16 — not Browser Host / Playwright.
  */
 export declare function installHeadlessDocument(): Document;
 export type LogicHost = {

package/dist/logic.js

@@ -1,6 +1,5 @@
 /**
  * Logic-mode host — headless document (linkedom), same Direct __vmzCreate as production.
- * Design: 规划设计/vmz/16 — not Browser Host / Playwright.
  */
 import fs from 'node:fs';
 import path from 'node:path';
@@ -207,8 +206,19 @@ function runOneAssertion(a, host, fail) {
         return;
     }
     if (kind === 'domKeys') {
-        const attr = String(expect.attr || 'data-vmz-key');
-        const keys = [...host.app.querySelectorAll(`[${attr}]`)].map((el) => el.getAttribute(attr));
+        // Client Direct: `__vmzKey` expando. SSR HTML: `data-vmz-key` attr (expect.attr).
+        const attr = expect.attr != null ? String(expect.attr) : null;
+        const expando = expect.expando != null ? String(expect.expando) : attr ? null : '__vmzKey';
+        let keys = [];
+        if (attr) {
+            keys = [...host.app.querySelectorAll(`[${attr}]`)].map((el) => String(el.getAttribute(attr)));
+        }
+        else if (expando) {
+            keys = [...host.app.querySelectorAll('*')]
+                .map((el) => el[expando])
+                .filter((k) => k != null)
+                .map((k) => String(k));
+        }
         if (Array.isArray(expect.includes)) {
             for (const k of expect.includes) {
                 if (!keys.includes(String(k)))
@@ -235,7 +245,7 @@ function runOneAssertion(a, host, fail) {
         }
         return;
     }
-    if (kind === 'graph' || kind === 'plan' || kind === 'diagnostic' || kind === 'view') {
+    if (kind === 'graph' || kind === 'plan' || kind === 'diagnostic' || kind === 'view' || kind === 'motion') {
         return;
     }
     if (kind === 'assert') {

package/dist/protocol.d.ts

@@ -1,7 +1,6 @@
 /**
- * VMZ native test protocol (T0) — validators + report builders.
+ * VMZ native test protocol — validators + report builders.
  * Schema ids live in `@vmz/protocol` (mirrors Rust `vmz-protocol`).
- * Design: 规划设计/vmz/16 — not a Test IR; references Program Graph + Execution Plan.
  */
 export { EXECUTION_PLAN_REF_SCHEMA, PLAN_SCHEMA, TEST_ACTION_SCHEMA, TEST_ASSERTION_SCHEMA, TEST_MANIFEST_SCHEMA, TEST_PROTOCOL, TEST_REPORT_SCHEMA, testCatalog, } from '@vmz/protocol';
 export type TestMode = 'compile' | 'logic' | 'browser' | 'ssr' | 'resume' | 'deployment' | 'all';
@@ -16,7 +15,7 @@ export type ManifestValidation = {
     ok: false;
     error: string;
 };
-/** Validate a discovered manifest object (narrow T0 checks). */
+/** Validate a discovered manifest object (narrow checks). */
 export declare function validateManifest(raw: unknown, file: string): ManifestValidation;
 export type TestReportEntryInput = {
     testId: string;

package/dist/protocol.js

@@ -1,7 +1,6 @@
 /**
- * VMZ native test protocol (T0) — validators + report builders.
+ * VMZ native test protocol — validators + report builders.
  * Schema ids live in `@vmz/protocol` (mirrors Rust `vmz-protocol`).
- * Design: 规划设计/vmz/16 — not a Test IR; references Program Graph + Execution Plan.
  */
 import { EXECUTION_PLAN_REF_SCHEMA, PLAN_SCHEMA, TEST_MANIFEST_SCHEMA, TEST_REPORT_SCHEMA } from '@vmz/protocol';
 export { EXECUTION_PLAN_REF_SCHEMA, PLAN_SCHEMA, TEST_ACTION_SCHEMA, TEST_ASSERTION_SCHEMA, TEST_MANIFEST_SCHEMA, TEST_PROTOCOL, TEST_REPORT_SCHEMA, testCatalog, } from '@vmz/protocol';
@@ -26,7 +25,7 @@ export function parseModes(raw) {
     }
     return parts;
 }
-/** Validate a discovered manifest object (narrow T0 checks). */
+/** Validate a discovered manifest object (narrow checks). */
 export function validateManifest(raw, file) {
     if (!raw || typeof raw !== 'object') {
         return { ok: false, error: `${file}: manifest must be an object` };

package/dist/resume.d.ts

@@ -1,5 +1,5 @@
 /**
- * Resume host for `vmz test --mode resume` (T2/T3 first slice).
+ * Resume host for `vmz test --mode resume` (/ first slice).
  * SSR shell → resume adopt → event patch; onMount must not run.
  */
 type Diag = {

package/dist/resume.js

@@ -1,5 +1,5 @@
 /**
- * Resume host for `vmz test --mode resume` (T2/T3 first slice).
+ * Resume host for `vmz test --mode resume` (/ first slice).
  * SSR shell → resume adopt → event patch; onMount must not run.
  */
 import path from 'node:path';
@@ -241,7 +241,7 @@ export async function runResumeManifest(manifest, ctx) {
             }
             continue;
         }
-        if (kind === 'graph' || kind === 'plan' || kind === 'deployment' || kind === 'diagnostic') {
+        if (kind === 'graph' || kind === 'plan' || kind === 'deployment' || kind === 'diagnostic' || kind === 'motion') {
             continue;
         }
         fail(`unknown resume assertion ${JSON.stringify(kind)}`);

package/dist/ssr.d.ts

@@ -1,5 +1,5 @@
 /**
- * SSR / hydrate / stream host for `vmz test --mode ssr` (T2).
+ * SSR / hydrate / stream host for `vmz test --mode ssr` .
  * Same Direct schedule as production via linkedom + renderToString / renderToStream / hydrate.
  */
 type Diag = {

package/dist/ssr.js

@@ -1,5 +1,5 @@
 /**
- * SSR / hydrate / stream host for `vmz test --mode ssr` (T2).
+ * SSR / hydrate / stream host for `vmz test --mode ssr` .
  * Same Direct schedule as production via linkedom + renderToString / renderToStream / hydrate.
  */
 import path from 'node:path';
@@ -234,7 +234,7 @@ export async function runSsrManifest(manifest, ctx) {
             }
             continue;
         }
-        if (kind === 'graph' || kind === 'plan' || kind === 'view' || kind === 'diagnostic') {
+        if (kind === 'graph' || kind === 'plan' || kind === 'view' || kind === 'diagnostic' || kind === 'motion') {
             continue;
         }
         fail(`unknown ssr assertion ${JSON.stringify(kind)}`);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vmz/test",
-  "version": "0.0.2",
+  "version": "0.0.4",
   "type": "module",
   "description": "VMZ native test protocol + Compile/Logic/Browser/SSR/Resume/Deployment hosts",
   "main": "./dist/index.js",
@@ -21,15 +21,14 @@
   },
   "files": [
     "dist",
-    "src",
     "README.md"
   ],
   "scripts": {
     "build": "tsc -p tsconfig.json"
   },
   "dependencies": {
-    "@vmz/core": "0.0.2",
-    "@vmz/protocol": "0.0.2",
+    "@vmz/core": "0.0.4",
+    "@vmz/protocol": "0.0.4",
     "linkedom": "^0.18.13",
     "puppeteer-core": "^24.11.2"
   },