KLENT bounded source and proof audit

OpenReview sSQdICPJv1. Static private-review candidate.

Evidence limit: this package is a released-paper source/proof audit and a static inspection of the author repository. It is not an independent reproduction, it contains no author material, it ran no author code, and it does not validate the reported numerical results.

The pinned challenge revision uses anchored claims for this paper. See the Markdown pages and offline verifier in the repository for the immutable pins, safety decision, and evidence boundaries.