Structural Inevitability: Specification-Side Source Disambiguation for Oracle-Limited Verification
A conditional verification result for oracle-limited tasks: post-hoc checks fail when their channel gives true and coherent false completions the same observation vector; PSI/SI strengthens the source before inference.