lee/rea
1
0 Fork 0
mirror of https://github.com/morluto/rea.git synced 2026-10-25 00:00:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

test(contracts): remove duplicate tool inventories

Browse Source
This commit is contained in:
morluto committed 2026-09-29 08:19:52 +08:00
1 parent a2a3243ea8
commit 0ae3c0837b
2 files changed
+1 -52
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

src/contracts/contractSnapshot.test.ts
+1 -27
View File
@@ -103,33 +103,7 @@ describe("tool contract surface", () => {
expect(Object.keys(TOOL_EFFECTS).sort()).toEqual(names.sort());
});
it("keeps exactly twenty-three additive session contracts", () => {
expect(
SESSION_TOOL_CONTRACTS.map(({ name, kind }) => ({ name, kind })),
).toEqual([
{ name: "open_binary", kind: "session" },
{ name: "close_binary", kind: "session" },
{ name: "binary_session", kind: "session" },
{ name: "export_evidence_bundle", kind: "session" },
{ name: "import_evidence_bundle", kind: "session" },
{ name: "capture_process_scenario", kind: "session" },
{ name: "compare_process_captures", kind: "session" },
{ name: "compare_artifacts", kind: "session" },
{ name: "compare_functions", kind: "session" },
{ name: "compare_bundles", kind: "session" },
{ name: "find_changed_behavior", kind: "session" },
{ name: "build_call_path", kind: "session" },
{ name: "correlate_static_and_runtime", kind: "session" },
{ name: "verify_reconstruction", kind: "session" },
{ name: "list_unknowns", kind: "session" },
{ name: "record_unknown", kind: "session" },
{ name: "update_unknown", kind: "session" },
{ name: "verify_unknown_resolution", kind: "session" },
{ name: "run_replay_machine", kind: "session" },
{ name: "get_evidence_bundle", kind: "session" },
{ name: "get_navigation_context", kind: "session" },
{ name: "inspect_address_context", kind: "session" },
]);
it("marks process scenario capture as open world", () => {
expect(
SESSION_TOOL_CONTRACTS.find(
({ name }) => name === "capture_process_scenario",
src/contracts/toolContracts.test.ts
-25
View File
@@ -3,7 +3,6 @@ import { describe, expect, it } from "vitest";
import {
ENHANCED_TOOL_CONTRACTS,
OFFICIAL_TOOL_CONTRACTS,
SESSION_TOOL_CONTRACTS,
TOOL_CONTRACTS,
} from "./toolContracts.js";
import { ARTIFACT_TOOL_CONTRACTS } from "./artifactToolContracts.js";
@@ -67,30 +66,6 @@ describe("tool contract inventory", () => {
"commit_reconstruction_coverage",
"query_reconstruction_coverage",
]);
expect(SESSION_TOOL_CONTRACTS.map(({ name }) => name)).toEqual([
"open_binary",
"close_binary",
"binary_session",
"export_evidence_bundle",
"import_evidence_bundle",
"capture_process_scenario",
"compare_process_captures",
"compare_artifacts",
"compare_functions",
"compare_bundles",
"find_changed_behavior",
"build_call_path",
"correlate_static_and_runtime",
"verify_reconstruction",
"list_unknowns",
"record_unknown",
"update_unknown",
"verify_unknown_resolution",
"run_replay_machine",
"get_evidence_bundle",
"get_navigation_context",
"inspect_address_context",
]);
expect(new Set(TOOL_CONTRACTS.map(({ name }) => name)).size).toBe(
TOOL_CONTRACTS.length,
);