Auditing Python Guards under Explicit Semantic Contracts
Guard edits can change syntax without changing rejecting inputs, while finite test domains can omit new restrictions. We study these distinctions under explicit Python analysis contracts. A frozen pilot comprises 66 paired programs from 22 authored templates with correlated threshold variants. On byte lengths 0–64, a r...