Function codex_compression_covered 

pub fn codex_compression_covered(home: &Path) -> bool

Codex auto-loads ~/.codex/AGENTS.md; covered once it carries the block.