Companion source and ledger supplement for Finite-core Volterra reductions for a Weyl-positive Riemann phase kernel

This companion archive is the reproducibility and audit record for the manuscript Finite-core Volterra reductions for a Weyl-positive Riemann phase kernel. It contains the source materials used to track and test the manuscript's proof chain: Python verification scripts, theorem JSON ledgers, dependency-audit graphs, interval/certificate records, TeX source, build logs, publication-audit outputs, and text-based regeneration materials. The archive is intended to let a reader inspect how the Volterra/Weyl/KLM/de Branges reduction is organized, which claims are treated as symbolic identities, analytic proofs, interval/ball certificates, or external bridge assumptions, and how the internal proof ledger is regenerated. The current companion ledger records no open gaps in the internal certificate chain described here; external review remains necessary for the correctness of the imported analytic and closure arguments. Binary generated outputs, PDFs, images, compressed archives, cache directories, and large visual snapshot folders are intentionally excluded from the source-only archive. This version updates the related-work metadata so the archive supplements the current corrected manuscript version and the paper all-versions DOI.