Formal Isometric Proof: ROS-02 CTM Consistency and Semantic Integrity v2.0

Abstract This paper presents a deterministic computational workflow for recording and verifying celestial-dynamics experiments. The system produces simulation outputs that are stored in a hash-anchored ledger, allowing every computational step to be independently verified. Each run generates a capsule containing input parameters, results, and SHA-256 integrity checks. The approach aims to address a common problem in computational science: the difficulty of reproducing numerical results once software environments or data pipelines change. As a demonstration, we record a baseline experiment related to Mercury-orbit dynamics, producing a verifiable artifact chain consisting of the simulation output, a verification capsule, and a cryptographic anchor. The work does not claim a new gravitational model; rather, it proposes a reproducibility architecture for experimental physics computations. 1. Introduction Reproducibility remains one of the central challenges in computational science. Numerical experiments often rely on complex software stacks, transient datasets, and undocumented assumptions. As a result, many published results are difficult to reproduce independently. To address this problem, we introduce a workflow that combines deterministic computation with cryptographic verification. Each experiment produces a structured output ledger and a set of verification capsules containing hashes of all relevant artifacts. The resulting chain allows independent observers to verify that a specific computation produced a specific result. The approach is demonstrated using a small experimental dataset related to Mercury orbital dynamics. 2. Motivation Planetary dynamics has historically played a critical role in testing gravitational theories. The anomalous perihelion precession of Mercury was famously explained by general relativity. Because the phenomenon involves extremely small deviations in orbital motion, it is a useful test case for verifying computational models. However, even when numerical results are produced, the exact computational pathway is rarely preserved. Our approach addresses this gap by recording the entire experiment as a verifiable artifact chain. 3. System Architecture The workflow consists of three primary components. 1. Simulation artifact A computational output file containing experiment results.Example path: work/merkur_vector/witness_ledger.jsonl 2. Verification capsule A JSON document that recomputes and verifies the integrity of the ledger entries. Example: pnkl_run_capsule_merkur_chain_verify_*.json 3. Anchor capsule A higher-level capsule that records the hashes of both the ledger and verification capsule. Example: pnkl_run_capsule_merkur_anchor_*.json Each artifact is locked after generation to prevent accidental modification. 4. Integrity Model The integrity model uses SHA-256 hashes to ensure that artifacts remain unchanged. For each ledger entry: entry_sha256 = SHA256(JSON(payload, prev_hash, ts_utc, type)) The verification capsule recomputes these values and confirms equality. This creates a deterministic chain in which any modification to a previous artifact breaks the verification step. 5. Demonstration Run A baseline experiment was executed on a Linux environment. Artifacts produced: simulation ledger verification capsule anchor capsule Example baseline hashes: ledger: 24b575f7... verify capsule: 39aa8661... anchor capsule: a22e0712... Verification confirmed that all ledger entries reproduced their stored hashes. 6. Discussion The proposed workflow does not introduce a new physical theory. Instead, it provides an infrastructure for recording computational experiments in a way that allows independent verification. This approach may be useful for: computational physics reproducible simulations cryptographically verifiable research artifacts audit trails for scientific software 7. Conclusion We presented a deterministic ledger-based workflow for recording computational experiments in celestial dynamics. By anchoring each experiment in a chain of cryptographic hashes, the system allows independent observers to verify both the computation and the artifacts it produced. Future work will extend the ledger with additional experiment runs and investigate automated publication of artifact chains.