Allow the composed one-shot dispatch workflow to open a covered Mach-O without selecting a deep provider. The registry still owns selector precedence; explicit request/environment choices remain binding, while non-Mach-O and unsupported hosts retain deep symbol fallback. Requested snapshots keep ordinary binding and profile semantics. Share runtime composition and target admission with the native byte reader. Keep target parsing, resource ownership and Evidence on the original session. Validation: 13 focused files, 192 passed and 2 skipped; npm run check passed. The six previously blocked native property CLI controls now pass. Ten measured CLI workflows preserved exact metadata facts; warm raw reply token medians 1344/927, elapsed .475/.547s, CPU .691/.745s, sampled family RSS351.2/359.3MiB baseline/candidate. Baseline used explicit Ghidra workaround; true cold and full-agent costs unmeasured. No speed/memory improvement or Windows claim. Refs #4555
61 lines
1.9 KiB
TypeScript
61 lines
1.9 KiB
TypeScript
import { expect, it } from "vitest";
|
|
import { parseConfig } from "../../src/config/parseConfig.js";
|
|
import { runDirectAnalysis } from "../../src/application/DirectAnalysis.js";
|
|
import { createAnalysisExecution } from "../../src/application/AnalysisProvider.js";
|
|
import { ok } from "../../src/domain/result.js";
|
|
import {
|
|
createBinarySessionTargets,
|
|
createTestBinarySession,
|
|
} from "../fixtures/binarySession.js";
|
|
|
|
it("retains provider coverage caveats in a composed CLI result and closes the session", async () => {
|
|
const [path] = await createBinarySessionTargets();
|
|
const limitation = "Companion PDB symbol coverage is unverified.";
|
|
let reads = 0;
|
|
let closed = 0;
|
|
const createSession = () =>
|
|
createTestBinarySession(() => ({
|
|
execute: async (operation) => {
|
|
reads++;
|
|
return ok(
|
|
createAnalysisExecution(
|
|
operation === "current_document" ? "fixture" : [],
|
|
{ id: "fixture", name: "Fixture", version: "1" },
|
|
{ limitations: [limitation] },
|
|
),
|
|
);
|
|
},
|
|
close: async () => {
|
|
closed++;
|
|
return ok(null);
|
|
},
|
|
}));
|
|
const output = await runDirectAnalysis(
|
|
{
|
|
readConfiguration: () => parseConfig({}),
|
|
createBinarySession: createSession,
|
|
createManagedBinarySession: createSession,
|
|
createArtifactBinarySession: createSession,
|
|
createNativeDispatchBinarySession: createSession,
|
|
createNativeBinarySession: createSession,
|
|
},
|
|
path,
|
|
"binary_overview",
|
|
{},
|
|
);
|
|
expect(output).toMatchObject({
|
|
limitations: [
|
|
"Derived by an REA composed workflow.",
|
|
`Fixture (fixture 1) current_document, list_procedures, list_segments, list_strings: ${limitation}`,
|
|
],
|
|
normalized_result: {
|
|
document: "fixture",
|
|
segment_count: 0,
|
|
procedure_count: 0,
|
|
string_count: 0,
|
|
},
|
|
});
|
|
expect(reads).toBe(5);
|
|
expect(closed).toBe(1);
|
|
});
|