portcourt

A general C->Rust port evidence court: closure-math claim verification (a module's stated completeness must be backed by the parity/evidence views, or the build fails) plus per-function `explain`. Consumes the same port-index / claim-ladder views any faithful C->Rust port produces.