5 Commits

Include renames

Author	SHA1	Message	Date
morluto	00c4f44a1c	fix(ci): repair verifier fixtures and formatting failures	2026-11-02 10:59:40 +08:00
morluto	7bcefead69	test: strengthen and prune audited test coverage (#8573) ... * test: strengthen and prune audited test coverage * test: require delivered DeepSeek skill instructions * test: keep schema fixture types private * test: verify Gemini receives skill instructions * test: bind Qwen skill evidence to its tool result * test: report NativeAOT verifier checks precisely * fix: verify Ghidra cleanup paths reliably * fix: verify Command Code skill activation * test: tighten cleanup and fixture checks * test: verify packet capture evidence is recorded * fix: report HTTP3 capture provenance accurately * test: preserve resource coverage through MCP * test: prune repeated assertions and retain cancellation identity * fix: validate client verifier fixture paths * test: skip Copilot verifier cases on Windows * test: keep verifier setup target relative	2026-11-02 02:13:32 +08:00
morluto	a84e0cfcfe	refactor(verifiers): consolidate capture result admission and parity	2026-10-26 23:12:34 +08:00
morluto	7d36d172ab	fix(evidence): consolidate retained view and verifier ownership	2026-10-26 17:26:55 +08:00
3 people	ebaaa79ca0	test(http3): add real MITM capture verification lab (#1997) ... * test(http3): add real MITM capture verification lab * test(http3): register the optional verification command * fix(http3): preserve the latest verification attempt owner * test(cli): admit the dyld slice fixture on x64 hosts * test(http3): verify exact producer TLS connection facts * test(http3): verify readable capture fields against observed bytes * fix(comparison): recheck historical calls-only changes (#2223) * fix(comparison): preserve incomplete function call evidence Keep missing, unknown, partial and unresolved call relationships unknown in function comparisons and reconstruction claims. Aggregate IDA caller and callee coverage without overwriting uncertainty. Validate with 144 focused tests, typecheck/lint, docs checks and test discovery. Real providers were not verified; the full headless IDA session suite requires unavailable Windows native controls. * fix(comparison): recheck historical calls-only changes --------- Co-authored-by: morluto <[email protected]> * fix(android): make DEX descriptor pattern portable * fix(ci): isolate Linux Hopper process fixture inventory * fix(http3): retain MCP startup diagnostics --------- Co-authored-by: morluto <[email protected]> Co-authored-by: Lucien <[email protected]>	2026-10-14 01:09:19 +08:00