docs: refine Claude Code test framework contracts

[bingran-you]

Summary

• add cross-cutting docs for test runtime mode, lane coverage map, and e2e reality boundaries
• rewrite native-test-derived leaves into clean-room behavior contracts instead of source-shaped extraction
• tighten evidence boundaries so the tree distinguishes confirmed lane families from hidden runner inventory

Validation

• npx -p first-tree first-tree verify