@vmz/test 0.0.1 → 0.0.2

package/dist/compile.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Compile-mode host for `vmz test` / `@vmz/test` (T1+).
+ * Builds the project and checks graph/plan/view assertions against dist artifacts.
+ */
+export type CreateWorkspaceFn = (opts: {
+    root: string;
+    outDir: string;
+}) => {
+    build: (clean: boolean) => {
+        diagnostics?: Array<{
+            severity?: string;
+            level?: string;
+        }>;
+    };
+    dispose: () => void;
+};
+export type BuildOptions = {
+    createWorkspace?: CreateWorkspaceFn;
+    repoRoot?: string;
+};
+export type BuildResult = {
+    ok: true;
+    outDir: string;
+    diagnostics: unknown[];
+} | {
+    ok: false;
+    outDir: string;
+    diagnostics: unknown[];
+    error: string;
+};
+/** Build project for compile/logic evidence. Prefers vmz-tools; optional N-API inject. */
+export declare function buildForCompile(project: string, outDir?: string, options?: BuildOptions): BuildResult;
+export declare function resolveChunkArtifacts(dist: string, chunkId: string): {
+    programPath: string | null;
+    clientPath: string | null;
+};
+type Diag = {
+    severity: string;
+    kind?: string;
+    message: string;
+    expect?: unknown;
+};
+export type CompileResult = {
+    status: 'passed' | 'failed' | 'error';
+    diagnostics: Diag[];
+    planId: string | null;
+    programId: string | null;
+};
+export declare function runCompileManifest(manifest: Record<string, unknown>, ctx: {
+    outDir: string;
+}): CompileResult;
+export {};

package/dist/compile.js

@@ -0,0 +1,453 @@
+/**
+ * Compile-mode host for `vmz test` / `@vmz/test` (T1+).
+ * Builds the project and checks graph/plan/view assertions against dist artifacts.
+ */
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import { spawnSync } from 'node:child_process';
+import { fileURLToPath } from 'node:url';
+const packageRoot = path.resolve(path.dirname(fileURLToPath(import.meta.url)), '..');
+const repoRootGuess = path.resolve(packageRoot, '../../..');
+/** Build project for compile/logic evidence. Prefers vmz-tools; optional N-API inject. */
+export function buildForCompile(project, outDir, options = {}) {
+    const dist = outDir || fs.mkdtempSync(path.join(os.tmpdir(), 'vmz-test-compile-'));
+    if (!fs.existsSync(dist))
+        fs.mkdirSync(dist, { recursive: true });
+    const preferNapi = process.env.VMZ_TEST_BUILD === 'napi';
+    const repoRoot = options.repoRoot || repoRootGuess;
+    if (!preferNapi) {
+        const cargoToml = path.join(repoRoot, 'Cargo.toml');
+        if (fs.existsSync(cargoToml)) {
+            const cargo = spawnSync('cargo', ['run', '--quiet', '--manifest-path', cargoToml, '-p', 'vmz-tools', '--', 'build', project, '--out-dir', dist], { cwd: repoRoot, encoding: 'utf8' });
+            if (cargo.status === 0) {
+                return { ok: true, outDir: dist, diagnostics: [] };
+            }
+        }
+    }
+    if (options.createWorkspace) {
+        try {
+            const ws = options.createWorkspace({ root: project, outDir: dist });
+            try {
+                const report = ws.build(false);
+                const diags = report.diagnostics ?? [];
+                const errors = diags.filter((d) => d && (d.severity === 'error' || d.level === 'error'));
+                if (errors.length) {
+                    return {
+                        ok: false,
+                        outDir: dist,
+                        diagnostics: diags,
+                        error: 'workspace build reported errors',
+                    };
+                }
+                return { ok: true, outDir: dist, diagnostics: diags };
+            }
+            finally {
+                ws.dispose();
+            }
+        }
+        catch (e) {
+            return {
+                ok: false,
+                outDir: dist,
+                diagnostics: [],
+                error: `build failed: ${e instanceof Error ? e.message : String(e)}`,
+            };
+        }
+    }
+    return {
+        ok: false,
+        outDir: dist,
+        diagnostics: [],
+        error: 'build failed: vmz-tools unavailable and no createWorkspace provided',
+    };
+}
+export function resolveChunkArtifacts(dist, chunkId) {
+    const rel = chunkId.replace(/\\/g, '/');
+    const programPath = path.join(dist, `${rel}.program.json`);
+    const clientPath = path.join(dist, `${rel}.client.js`);
+    return {
+        programPath: fs.existsSync(programPath) ? programPath : null,
+        clientPath: fs.existsSync(clientPath) ? clientPath : null,
+    };
+}
+function collectViewKinds(nodes, kinds, flags) {
+    for (const raw of nodes ?? []) {
+        if (!raw || typeof raw !== 'object')
+            continue;
+        const n = raw;
+        if (typeof n.kind === 'string')
+            kinds.add(n.kind);
+        if (n.each)
+            flags.each = true;
+        if (Array.isArray(n.children))
+            collectViewKinds(n.children, kinds, flags);
+        if (Array.isArray(n.branches)) {
+            for (const b of n.branches) {
+                if (b?.body)
+                    collectViewKinds([b.body], kinds, flags);
+            }
+        }
+    }
+}
+export function runCompileManifest(manifest, ctx) {
+    const diagnostics = [];
+    const program = manifest.program && typeof manifest.program === 'object' ? manifest.program : {};
+    const chunkId = String(program.chunkId || '');
+    const programId = chunkId || null;
+    if (!chunkId) {
+        return {
+            status: 'error',
+            diagnostics: [{ severity: 'error', message: 'program.chunkId missing' }],
+            planId: null,
+            programId: null,
+        };
+    }
+    const arts = resolveChunkArtifacts(ctx.outDir, chunkId);
+    if (!arts.programPath) {
+        return {
+            status: 'failed',
+            diagnostics: [
+                {
+                    severity: 'error',
+                    message: `missing ${chunkId}.program.json under ${ctx.outDir}`,
+                },
+            ],
+            planId: null,
+            programId,
+        };
+    }
+    let prog;
+    try {
+        prog = JSON.parse(fs.readFileSync(arts.programPath, 'utf8'));
+    }
+    catch (e) {
+        return {
+            status: 'error',
+            diagnostics: [
+                {
+                    severity: 'error',
+                    message: `parse program.json: ${e instanceof Error ? e.message : String(e)}`,
+                },
+            ],
+            planId: null,
+            programId,
+        };
+    }
+    const units = prog.units || [];
+    const unit = units.find((u) => u && (u.name === program.unitName || u.chunkId === chunkId || String(u.chunk_id || '') === chunkId)) || units[0];
+    if (!unit) {
+        diagnostics.push({ severity: 'error', message: 'program.json has no units' });
+        return { status: 'failed', diagnostics, planId: null, programId };
+    }
+    const plan = unit.plan || null;
+    const planId = plan?.schema ? String(plan.schema) : null;
+    const clientJs = arts.clientPath ? fs.readFileSync(arts.clientPath, 'utf8') : '';
+    const view = unit.view || null;
+    const assertions = Array.isArray(manifest.assertions) ? manifest.assertions : [];
+    for (const raw of assertions) {
+        const a = raw && typeof raw === 'object' ? raw : {};
+        const kind = String(a.kind || '');
+        const expect = a.expect && typeof a.expect === 'object' ? a.expect : {};
+        const fail = (message) => {
+            diagnostics.push({ severity: 'error', kind, message, expect });
+        };
+        if (kind === 'plan') {
+            if (expect.schema != null) {
+                if (!plan || plan.schema !== expect.schema) {
+                    fail(`plan.schema want ${expect.schema}, got ${plan?.schema}`);
+                }
+            }
+            if (expect.status != null) {
+                if (!plan || plan.status !== expect.status) {
+                    fail(`plan.status want ${expect.status}, got ${plan?.status}`);
+                }
+            }
+            if (expect.nonEmpty === true) {
+                if (!plan || !Array.isArray(plan.nodes) || plan.nodes.length === 0) {
+                    fail('plan.nodes empty');
+                }
+                if (!plan || !Array.isArray(plan.root_ids) || plan.root_ids.length === 0) {
+                    fail('plan.root_ids empty');
+                }
+            }
+            if (Array.isArray(expect.kinds)) {
+                const have = new Set((plan?.nodes || []).map((n) => String(n.kind || '')));
+                for (const k of expect.kinds) {
+                    if (!have.has(String(k)))
+                        fail(`plan.nodes missing kind ${k}: ${[...have]}`);
+                }
+            }
+            if (expect.anyStructuralKind === true) {
+                const have = new Set((plan?.nodes || []).map((n) => String(n.kind || '')));
+                if (!have.has('element') && !have.has('interp') && !have.has('text')) {
+                    fail(`plan missing structural kinds: ${[...have]}`);
+                }
+            }
+            if (expect.nodeIdsInClient === true || typeof expect.nodeIdsInClient === 'number') {
+                if (!arts.clientPath) {
+                    fail(`missing ${chunkId}.client.js`);
+                }
+                else {
+                    const nodes = plan?.nodes || [];
+                    const n = typeof expect.nodeIdsInClient === 'number' ? expect.nodeIdsInClient : Math.min(3, nodes.length);
+                    for (const node of nodes.slice(0, n)) {
+                        const id = node.id;
+                        if (id == null || !clientJs.includes(`id:${id}`)) {
+                            fail(`__vmzPlan missing node id ${id}`);
+                        }
+                    }
+                }
+            }
+            continue;
+        }
+        if (kind === 'view') {
+            if (expect.status != null) {
+                if (!view || view.status !== expect.status) {
+                    fail(`view.status want ${expect.status}, got ${view?.status}`);
+                }
+            }
+            if (expect.nonEmptyRoots === true) {
+                if (!view || !Array.isArray(view.roots) || view.roots.length === 0) {
+                    fail('view.roots empty');
+                }
+            }
+            const kinds = new Set();
+            const flags = { each: false };
+            collectViewKinds(view?.roots, kinds, flags);
+            if (Array.isArray(expect.kinds)) {
+                for (const k of expect.kinds) {
+                    if (!kinds.has(String(k)))
+                        fail(`view missing kind=${k}: ${[...kinds]}`);
+                }
+            }
+            if (expect.hasEach === true && !flags.each) {
+                fail('view missing each on element');
+            }
+            continue;
+        }
+        if (kind === 'graph') {
+            const unitGraph = unit.graph || null;
+            const needsClient = expect.direct ||
+                expect.create ||
+                expect.plan ||
+                expect.serialize ||
+                expect.noRender ||
+                expect.noRenderFallback ||
+                expect.includes ||
+                expect.includesAll ||
+                expect.includesAny;
+            if (needsClient && !arts.clientPath) {
+                fail(`missing ${chunkId}.client.js`);
+                continue;
+            }
+            if (arts.clientPath) {
+                if (expect.direct === true && !clientJs.includes('__vmzDirect = true')) {
+                    fail('missing __vmzDirect = true');
+                }
+                if (expect.create === true && !clientJs.includes('__vmzCreate')) {
+                    fail('missing __vmzCreate');
+                }
+                if (expect.plan === true && !clientJs.includes('__vmzPlan')) {
+                    fail('missing __vmzPlan');
+                }
+                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)');
+                    }
+                }
+                if (typeof expect.includes === 'string' && !clientJs.includes(expect.includes)) {
+                    fail(`client.js missing substring ${JSON.stringify(expect.includes)}`);
+                }
+                if (Array.isArray(expect.includesAll)) {
+                    for (const s of expect.includesAll) {
+                        if (!clientJs.includes(String(s))) {
+                            fail(`client.js missing substring ${JSON.stringify(s)}`);
+                        }
+                    }
+                }
+                if (Array.isArray(expect.includesAny)) {
+                    const ok = expect.includesAny.some((s) => clientJs.includes(String(s)));
+                    if (!ok)
+                        fail(`client.js missing any of ${JSON.stringify(expect.includesAny)}`);
+                }
+            }
+            if (expect.ownsUnitToRegion === true) {
+                const edges = unitGraph?.edges || [];
+                const owns = edges.filter((e) => e.kind === 'owns');
+                const hit = owns.some((e) => String(e.from).startsWith('unit:') && String(e.to).startsWith('region:'));
+                if (!hit)
+                    fail(`missing owns unit→region edges: ${JSON.stringify(owns)}`);
+            }
+            if (expect.disposesMin != null) {
+                const edges = unitGraph?.edges || [];
+                const n = edges.filter((e) => e.kind === 'disposes').length;
+                if (n < Number(expect.disposesMin)) {
+                    fail(`disposes edges want >= ${expect.disposesMin}, got ${n}`);
+                }
+            }
+            if (typeof expect.unknownsVia === 'string') {
+                const unknowns = unitGraph?.unknowns || [];
+                const via = String(expect.unknownsVia);
+                const hits = unknowns.filter((u) => u.via === via);
+                if (!hits.length)
+                    fail(`graph.unknowns missing via ${via}`);
+                if (expect.unknownReason != null) {
+                    if (!hits.some((u) => u.reason === expect.unknownReason)) {
+                        fail(`unknown reason want ${expect.unknownReason}: ${JSON.stringify(hits)}`);
+                    }
+                }
+                if (expect.unknownReasonNot === true || expect.unknownReasonNot === 'ir_unknown') {
+                    if (!hits.every((u) => u.reason && u.reason !== 'ir_unknown')) {
+                        fail(`opaque reasons must be specific: ${JSON.stringify(hits)}`);
+                    }
+                }
+            }
+            continue;
+        }
+        if (kind === 'analysis') {
+            const unitGraph = unit.graph || null;
+            const analysis = unitGraph?.analysis || null;
+            if (!analysis || typeof analysis.exact !== 'number') {
+                fail(`missing graph.analysis: ${JSON.stringify(unitGraph)}`);
+                continue;
+            }
+            if (expect.exactMin != null && Number(analysis.exact) < Number(expect.exactMin)) {
+                fail(`analysis.exact want >= ${expect.exactMin}, got ${analysis.exact}`);
+            }
+            if (expect.widenedMin != null && Number(analysis.widened || 0) < Number(expect.widenedMin)) {
+                fail(`analysis.widened want >= ${expect.widenedMin}, got ${analysis.widened}`);
+            }
+            if (expect.unknownMin != null && Number(analysis.unknown || 0) < Number(expect.unknownMin)) {
+                fail(`analysis.unknown want >= ${expect.unknownMin}, got ${analysis.unknown}`);
+            }
+            if (expect.callEdgesMin != null && Number(analysis.call_edges || 0) < Number(expect.callEdgesMin)) {
+                fail(`analysis.call_edges want >= ${expect.callEdgesMin}, got ${analysis.call_edges}`);
+            }
+            if (expect.widenedOrUnknownMin != null) {
+                const sum = Number(analysis.widened || 0) + Number(analysis.unknown || 0);
+                if (sum < Number(expect.widenedOrUnknownMin)) {
+                    fail(`widened+unknown want >= ${expect.widenedOrUnknownMin}, got ${sum}`);
+                }
+            }
+            continue;
+        }
+        if (kind === 'reactive') {
+            const reactive = unit.reactive || null;
+            const effects = reactive?.effects || [];
+            const name = expect.effect != null ? String(expect.effect) : '';
+            const effect = name ? effects.find((e) => e.name === name) : null;
+            if (name && !effect) {
+                fail(`missing reactive effect ${name}`);
+                continue;
+            }
+            if (effect && expect.writesInclude != null) {
+                const needle = String(expect.writesInclude);
+                const raw = JSON.stringify(effect);
+                if (!raw.includes(needle))
+                    fail(`effect ${name} must write ${needle}: ${raw}`);
+            }
+            if (effect && expect.opaqueCallee === true && !effect.opaque_callee) {
+                fail(`effect ${name} must be opaque: ${JSON.stringify(effect)}`);
+            }
+            if (effect && Array.isArray(expect.starReasons)) {
+                const reasons = effect.star_reasons || [];
+                for (const want of expect.starReasons) {
+                    const hit = reasons.some((r) => (want.field == null || r.field === want.field) && (want.reason == null || r.reason === want.reason));
+                    if (!hit) {
+                        fail(`star_reasons missing ${JSON.stringify(want)}: ${JSON.stringify(reasons)}`);
+                    }
+                }
+            }
+            continue;
+        }
+        if (kind === 'lifetime') {
+            const life = unit.lifetime || null;
+            if (expect.status != null) {
+                if (!life || life.status !== expect.status) {
+                    fail(`lifetime.status want ${expect.status}, got ${life?.status}`);
+                }
+            }
+            if (expect.nonEmptyRegions === true) {
+                if (!life || !Array.isArray(life.regions) || life.regions.length === 0) {
+                    fail('lifetime.regions empty');
+                }
+            }
+            if (Array.isArray(expect.regionKinds)) {
+                const have = new Set((life?.regions || []).map((r) => String(r.kind || '')));
+                for (const k of expect.regionKinds) {
+                    if (!have.has(String(k)))
+                        fail(`lifetime missing region kind=${k}: ${[...have]}`);
+                }
+            }
+            if (expect.hasDisposeRegion === true) {
+                const nodes = (plan?.nodes || []).filter((n) => n.kind === 'dispose_region');
+                if (!nodes.length)
+                    fail('plan missing dispose_region nodes');
+                for (const d of nodes) {
+                    if (d.region == null)
+                        fail(`dispose_region missing region: ${JSON.stringify(d)}`);
+                }
+            }
+            if (expect.disposeTag != null) {
+                const nodes = (plan?.nodes || []).filter((n) => n.kind === 'dispose_region');
+                if (!nodes.some((n) => n.tag === expect.disposeTag)) {
+                    fail(`dispose_region missing tag=${expect.disposeTag}: ${JSON.stringify(nodes)}`);
+                }
+            }
+            continue;
+        }
+        if (kind === 'deployment') {
+            const deployment = unit.deployment || null;
+            const entries = deployment?.resume_entries ||
+                deployment?.resumeEntries ||
+                [];
+            if (expect.resumeComponent != null) {
+                const name = String(expect.resumeComponent);
+                const hit = entries.find((e) => (e.component || e.Component) === name);
+                if (!hit) {
+                    fail(`resume entry missing ${name}: ${JSON.stringify(entries)}`);
+                }
+                else if (expect.strategy != null && (hit.strategy || '') !== expect.strategy) {
+                    fail(`resume strategy want ${expect.strategy}, got ${hit.strategy}`);
+                }
+            }
+            if (expect.deploymentFileSchema != null) {
+                const depPath = path.join(ctx.outDir, 'vmz-deployment.json');
+                if (!fs.existsSync(depPath)) {
+                    fail('missing vmz-deployment.json');
+                }
+                else {
+                    const deploy = JSON.parse(fs.readFileSync(depPath, 'utf8'));
+                    if (deploy.schema !== expect.deploymentFileSchema) {
+                        fail(`deployment schema want ${expect.deploymentFileSchema}, got ${deploy.schema}`);
+                    }
+                    if (expect.deploymentResumeComponent != null) {
+                        const name = String(expect.deploymentResumeComponent);
+                        const unitsDep = deploy.units || [];
+                        const chunk = unitsDep.find((u) => String(u.chunkId || '').includes(String(expect.deploymentChunkIncludes || chunkId)));
+                        const resumes = chunk?.resumeEntries || [];
+                        if (!resumes.some((e) => e.component === name)) {
+                            fail(`deployment resumeEntries missing ${name}: ${JSON.stringify(resumes)}`);
+                        }
+                    }
+                }
+            }
+            continue;
+        }
+        if (kind === 'diagnostic') {
+            continue;
+        }
+        fail(`unknown assertion kind ${JSON.stringify(kind)}`);
+    }
+    const failed = diagnostics.some((d) => d.severity === 'error');
+    return {
+        status: failed ? 'failed' : 'passed',
+        diagnostics,
+        planId,
+        programId,
+    };
+}

package/dist/deployment.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Deployment host for `vmz test --mode deployment` (T3).
+ * Proves deployment IR + server capability isolation (client stubs vs #server body).
+ */
+type Diag = {
+    severity: string;
+    message: string;
+    [k: string]: unknown;
+};
+export type DeploymentResult = {
+    status: 'passed' | 'failed' | 'error';
+    diagnostics: Diag[];
+    planId: string | null;
+    programId: string | null;
+};
+export declare function runDeploymentManifest(manifest: Record<string, unknown>, ctx: {
+    outDir: string;
+}): DeploymentResult;
+export {};