# Evidence boundaries

Evidence tier: this candidate supplies an immutable judge-feed pin, an active-claim extraction, a paper-source cross-reference, and a static release-tree audit. These are source checks. They establish neither numerical reproduction nor independent confirmation of the theorems. The active judge statuses remain `unverified` exactly as supplied.

No author code was executed. No data were downloaded or processed. No model was trained, no GPU or paid resource was used, and no task was submitted to an external service. The fixed outcomes in this package are limited to the observed source facts: six active anchored claims, five tracked repository files at the pinned commit, no tracked licence file, and no excluded-domain or secret hit in the defined static scan.

The offline verifier enforces a strict release allowlist, exact claim strings, page minimum length and inert HTML. Its negative tests demonstrate failure on unexpected files, claim tampering and shortened evidence pages. Publication remains a recommendation for a later independent reviewer, not an action taken here.