Searching protocol for "execution-equivalence"
Compress docs without changing meaning.
Automate concise weekly team reports.
Semantic doc comparison with relational diffs