Protocol-Level Identifiability Audit for LLM Reasoning Benchmarks

This audit framework tests whether observation protocols actually identify intended behavioral properties by checking if they separate distinct policy classes. The study demonstrates that base-only observations can collapse multiple deterministic policies into a single equivalence class, masking true performance.