Searching protocol for "semantics-preservation"
Shrink context with semantic-preserving summaries.
Preserve meaning, trim the fluff.
Migrate XML layouts to Jetpack Compose.
Sync delta specs to main specs.
Convert C/C++ to Lean4
Shrink docs, keep meaning.
Convert Python to verifiable Dafny code.
Convert Python to Lean4
Convert C/C++ to verifiable Dafny code.
Migrate CI/build pipelines seamlessly.
Align analysis with paper goals.