mirror of
https://github.com/morluto/rea.git
synced 2026-10-28 10:25:42 +00:00
morluto
e07b81649e
* fix(hopper): report unavailable procedure body coverage * refactor!: simplify runtime tools and remove replay engines Keep direct inspection, capture, and comparison tools. Bind handlers to named contracts and let agents compose experiments with commands and local fixture servers. BREAKING CHANGE: Remove controlled replay, Node characterization, finite replay-machine, managed runtime planning, and redundant string-tracing tools. Retire process replay, shims, reactive scenarios, custom checkpoints, and active browser replay and origin-scope inputs.
110 lines
3.2 KiB
TypeScript
110 lines
3.2 KiB
TypeScript
import { execFile } from "node:child_process";
|
|
import { copyFile, mkdir, rm } from "node:fs/promises";
|
|
import { join } from "node:path";
|
|
import { promisify } from "node:util";
|
|
|
|
import { afterEach, describe, expect, it } from "vitest";
|
|
|
|
import { createTestTempDirectory } from "../../fixtures/temporaryDirectory.js";
|
|
|
|
import { writeVersionedJavaScriptApplicationFixtures } from "../../fixtures/javascriptArtifactApplication.js";
|
|
|
|
const execute = promisify(execFile);
|
|
|
|
describe("local application workflow verifier", () => {
|
|
const temporary: string[] = [];
|
|
|
|
afterEach(async () => {
|
|
await Promise.all(
|
|
temporary
|
|
.splice(0)
|
|
.map(async (path) => rm(path, { recursive: true, force: true })),
|
|
);
|
|
});
|
|
|
|
it("reports two-version and trace results", async () => {
|
|
const root = await createTestTempDirectory("rea-application-verifier-");
|
|
temporary.push(root);
|
|
const fixtures = await writeVersionedJavaScriptApplicationFixtures(root);
|
|
const { stdout } = await execute(
|
|
process.execPath,
|
|
[
|
|
"scripts/verify-local-application-workflows.mjs",
|
|
"--left",
|
|
fixtures.left,
|
|
"--right",
|
|
fixtures.right,
|
|
"--seed-kind",
|
|
"module",
|
|
"--seed-value",
|
|
"stable",
|
|
],
|
|
{ cwd: process.cwd(), maxBuffer: 16 * 1_024 * 1_024 },
|
|
);
|
|
const result = JSON.parse(stdout);
|
|
expect(result).toMatchObject({
|
|
verified: true,
|
|
summary: {
|
|
added: expect.any(Number),
|
|
removed: expect.any(Number),
|
|
changed: expect.any(Number),
|
|
unknown: expect.any(Number),
|
|
},
|
|
matching: {
|
|
exact_module_source_digest: expect.any(Number),
|
|
structural_fingerprint: expect.any(Number),
|
|
},
|
|
coverage: { status: expect.any(String) },
|
|
trace: { summary: { matched_seeds: expect.any(Number) } },
|
|
});
|
|
}, 20_000);
|
|
|
|
it("reports an added parser return field", async () => {
|
|
const root = await createTestTempDirectory("rea-shape-verifier-");
|
|
temporary.push(root);
|
|
const left = join(root, "left");
|
|
const right = join(root, "right");
|
|
await Promise.all([mkdir(left), mkdir(right)]);
|
|
await Promise.all([
|
|
copyFile(
|
|
join(process.cwd(), "tests/fixtures/replay/parser.mjs"),
|
|
join(left, "parser.mjs"),
|
|
),
|
|
copyFile(
|
|
join(process.cwd(), "tests/fixtures/replay/parser-v2.mjs"),
|
|
join(right, "parser.mjs"),
|
|
),
|
|
]);
|
|
const { stdout } = await execute(
|
|
process.execPath,
|
|
[
|
|
"scripts/verify-local-application-workflows.mjs",
|
|
"--left",
|
|
left,
|
|
"--right",
|
|
right,
|
|
"--left-module-path",
|
|
"parser.mjs",
|
|
"--left-export-name",
|
|
"default",
|
|
"--right-module-path",
|
|
"parser.mjs",
|
|
"--right-export-name",
|
|
"default",
|
|
],
|
|
{ cwd: process.cwd(), maxBuffer: 16 * 1_024 * 1_024 },
|
|
);
|
|
const result = JSON.parse(stdout);
|
|
expect(result.export_shape_comparison).toMatchObject({
|
|
summary: { added: 1, removed: 0, changed: 0, unknown: 0 },
|
|
changes: [
|
|
{
|
|
status: "added",
|
|
path: "/depth",
|
|
right: { availability: "literal", value: 1 },
|
|
},
|
|
],
|
|
});
|
|
}, 20_000);
|
|
});
|