Paper 4 record set: Limited sensitivity of published InSight RISE rotation products to the seismically proposed Martian inner-core family

This standalone record contains the registration, run-manifest, machine-readable result, interpretation, review-closure, and analysis-code material supporting the manuscript “Limited sensitivity of published InSight RISE rotation products to the seismically proposed Martian inner-core family: a prospectively specified reanalysis” (Artus Krohn-Grimberghe, Percivio Ltd., 2026). The record covers the prospectively specified Analyses A–C: the Analysis-A/B registration and amendment lineage; the Analysis-B primary and independent 270-row run manifests; stage-1 production verdict records; the Analysis-C calibration gate, production registrations, calibration and real-fit machine records; interpretation and independent-review closure; equivalence, gate-ceiling, and damping-branch sensitivity records; and the exact analysis and runner code lineages. Every governing record identified by SHA-256 in Supplement S4 is included. The two Analysis-B manifests were executed on independently maintained runner lineages and compared field-by-field: verdict EQUIVALENT, with zero registered, top-level, structural, or additional inequalities over all 270 rows. The deposited records preserve negative results and registered validity gates; they do not upgrade unavailable original GINS/MONTE products or the published fixed-period scan into new raw-data evidence. The compact archive contains an internal SHA-256 inventory. The two large manifests are separate, losslessly gzip-compressed companion files; decompression restores the exact Supplement S4 byte counts and SHA-256 values documented in the archive README and checksum inventories. Source repository: https://github.com/artuskg/MarsQuake. Code retains the repository’s MIT license; the record is deposited under CC BY 4.0.