Constrained Linear Stability of a Weakly Gravitating Scalar-Proca Soliton with a Curved Target Metric

Scientific Supplement and Repaired Certificate for Constrained Linear Stability of a Weakly Gravitating Scalar-Proca Soliton with a Curved Target Metric Zenodo release 1 contains scientific package version 0.2.2. Its fixed version DOI is 10.5281/zenodo.23601323; the collection concept DOI is 10.5281/zenodo.23601322. The deposit contains the reproducibility supplement; the companion paper is planned for a later version. The package contains executable checks, authenticated source data, proof notes, recorded replay evidence, and a technical supplement for the charge-three scalar-Proca constrained linear-stability application. It includes the original report Axis R5 Coercivity Repair: Directed arithmetic, phase-domain closure and the complete canonical quotient (23 October 2026, separate repair v0.1.0), as its unchanged PDF and REPORT.tex, alongside the arithmetic, phase-domain, continuum and canonical-quotient proof and implementation materials. The report is a technical-note component of this supplement; it has no separate DOI. The repaired flat-coercivity conclusion is conditional on the originating charge-three exact solution, regularity, proof-ball, massive-tail and all-mode derivative enclosures. The package does not independently regenerate that infinite-mode campaign. Preserved same-implementation replays cover 320 named finite checks and four bounded repair stages; the analytic proofs supply the continuum transfer. These distinct counts are not equivalent experiments. Finite matrix margins are not values of the complete canonical coercivity constant. No scientific computations were rerun for this packaging revision. The companion paper PDF and its Overleaf/manuscript sources are absent from this release. A planned future Zenodo release 2 may add them under a new fixed version DOI within the same concept lineage; no future version DOI is assigned here. Citations to this supplement should remain pinned to release 1, DOI 10.5281/zenodo.23601323. The package preserves all 810 previously mapped scientific source files byte-for-byte and adds the two original report files with separate provenance hashes. The application has a qualitative sufficiently weak coupling region. It does not establish stability throughout the stationary rectangle or close global nonlinear stability, physical calibration, extra-force control, universal extended-body motion, or selection of the stipulated metric coupling. Author-owned release material is licensed CC BY 4.0; inherited notices and third-party rights remain applicable.