Searching protocol for "risk-based value"
Rebuild context after crashes and resume quickly.
Trace spec to code with 100% coverage.