Searching protocol for "force-with-lease"
Turn vague prompts into precise, testable specs.
GF(3)-balanced multi-agent codebase exploration.