- Delete controller/remote_mem.c (duplicate of remote_mem_ptrace.c)
- Fix controller_internal.h: comment remote_mem.c -> remote_mem_ptrace.c
- Fix main.c: add --addr to attach usage help
- Add docs/verification_log.md: all test execution evidence
- Update README.md: add verification_log + benchmark_report links