History

morluto 4d4631ac94 test: harden verification fixtures and runtime coverage Use exact discovered test identities, production MCP sessions and byte-exact setup backups. Add CLI signal cleanup coverage and independent Ghidra, Go and firmware verification assertions; prune redundant test configuration and preserve platform limits.		2026-10-14 08:59:27 +08:00
..
android	feat(android): expose exact DEX descriptors and direct invoke sites (#2439 )	2026-10-13 22:02:47 +08:00
c	test(hopper): bind string assertions to observed source extents	2026-10-14 07:12:10 +08:00
contracts	feat(server): frame analysis-target content as untrusted data (#1908 )	2026-10-13 06:06:02 +09:00
ghidra	fix(providers)!: preserve readiness, coverage, and diagnostic ownership	2026-10-14 08:28:14 +08:00
ida	feat(ida): resolve containing procedures and report the admitted program as the document (#2374 )	2026-10-13 20:56:20 +08:00
inspector	refactor: give Inspector its own capability directory (#869 )	2026-10-07 13:53:25 +08:00
interface-builder	feat(native): add investigation features (#486 )	2026-09-30 00:41:05 +08:00
napi	test: add source-built Hopper conformance fixtures	2026-07-12 19:32:29 +08:00
native	refactor: consolidate boundary semantics and prune redundant tests	2026-10-10 05:56:01 +08:00
objc	fix(hopper): preserve typed string values and verify real searches	2026-10-09 05:12:36 +08:00
providers	fix(providers)!: preserve readiness, coverage, and diagnostic ownership	2026-10-14 08:28:14 +08:00
psp	feat(ghidra): admit bounded PSP ELF through installed Allegrex (#1599 )	2026-10-11 19:47:33 +08:00
readiness	feat(electron): add autonomous Electron runtime analysis (#464 )	2026-08-05 19:07:46 +08:00
swift	test: harden verification fixtures and runtime coverage	2026-10-14 08:59:27 +08:00
versions	test: add source-built Hopper conformance fixtures	2026-07-12 19:32:29 +08:00
README.md	docs: correct drift and reorganize English guides (#2207 )	2026-10-12 22:14:25 +08:00
readmeConsistency.test.ts	docs(i18n): add Greek translations (#2985 )	2026-10-14 05:24:04 +08:00
releaseConfiguration.test.ts	test: consolidate redundant assertions into boundary workflows	2026-10-09 20:26:46 +08:00

README.md

Source-built conformance fixtures

These sources are deliberately small semantic oracles for REA providers. Run npm run verify:fixtures on macOS or Linux to compile them into the ignored build/conformance/ directory, emit a hash-and-toolchain manifest, and verify their platform-native symbols and strings with local command-line tools. The portable C, version, and large-inventory fixtures build as Mach-O on macOS and ELF on Linux; Objective-C, Swift, and N-API-like fixtures remain macOS-only.

Only source files are versioned. Generated binaries, generated large-fixture source, debug information, and manifests must remain under build/.

ghidra/inventory.c is also compiled into temporary Linux ELF debug and stripped variants by npm run verify:ghidra. It fixes local functions, external puts linkage, defined strings, and writable/executable memory needed to prove the read-only Ghidra inventory contracts without committing a binary.

scripts/create-ghidra-windows-fixture.mjs separately emits a deterministic, ignored native x86-64 PE application for the controlled Windows Ghidra P0 lane. The generator and fixed SHA-256 are versioned; the .exe is never committed or executed. npm run verify:ghidra:windows uses it to verify the admitted read-only operation inventory, digest linkage, transport, and cleanup on the self-hosted real-Ghidra runner.

The C fixture fixes a known call chain and strings. The version pair fixes an added symbol, changed string, and changed call relationship. The generated large fixture contains 1,205 uniquely named functions and strings to verify that providers return complete inventories. Objective-C, Swift, and N-API-like fixtures provide metadata-oriented inputs without package or network dependencies.

readiness/ adds source-only generated JavaScript CLI and Electron fixtures for the repository's reconstruction-readiness verifier. npm run verify:readiness combines them with the compiled native fixtures, exercises CLI and MCP parity for real analysis operations, and checks the internal machine-readable report documented in docs/reconstruction-readiness.md.