3 Commits

Include renames

Author	SHA1	Message	Date
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
morluto	02987d8e8c	test(hopper): bind string assertions to observed source extents ... Remove OS-based assumptions about long and non-ASCII string recognition. Require the dedicated fragmented fixture, independently verify full source bytes, and reject gaps, overlaps, incomplete reads and corrupted decoding. Report unrecognized native strings explicitly and retain the actual procedure count. Verified through 14 verifier regressions and the complete macOS arm64 Hopper 6.6.0-demo CLI/MCP lane with cleanup.	2026-10-14 07:12:10 +08:00
YsopwnableandLuis Taffelli	141d2095f5	test(hopper): repair Linux demo setup and native verification (#2638) ... * fix(verification): align Linux Hopper setup lane with current contracts * fix(verification): retain orphan checks on clean Linux runners * fix(verification): detect Hopper through alternate launcher paths * fix(verification): report identified Hopper leaks before proc errors * fix(verification): distinguish Hopper string recognition from byte fidelity * fix(verification): report full literal decoding coverage explicitly --------- Co-authored-by: Luis Taffelli <86675342+LuisTaffelli@users.noreply.github.com>	2026-10-13 14:39:18 +08:00