Demonstration calculations

01Downloadable demonstration

This catalog collects existing scripts, reproducibility templates and research pilots. Choose the material for the physical relation you want to check; their inputs and completed calculations differ.

The LVE demonstration script ASD_LVE_demo.py uses only the Python standard library. It calculates $\beta=v/c$, $\gamma=(1-\beta^2)^{-1/2}$, the transverse scale ratio $L'_\perp/L_\perp=\gamma$, and $F/F_0=1-\beta^2$ with magnetic deficit $F_m/F_0=\beta^2$ for equal-speed parallel motion with transverse separation. The length relation comes from LVE; the force ratio additionally uses the exterior true interaction distance and inverse-square constitutive input, described in Coulomb interaction and the magnetic-force derivation. The script's force_ratio corresponds to the true physical force $F_T/F_0$, not directly to a reference-coordinate generalized force or a detector reading. Its speed domain is $0\leq\beta<1$; this does not extend the specified configuration to arbitrary sources and probes.

After downloading the script, run:

python ASD_LVE_demo.py --beta 0.6 --csv lve-model.csv
python ASD_LVE_demo.py --beta 0

The first command prints $\gamma=1.25$, $F/F_0=0.64$ and $F_m/F_0=0.36$; the second gives the rest limit $1,1,0$. --beta selects the single point printed to the terminal. The CSV always scans 0.00 through 0.95 in steps of 0.01, giving 96 rows with columns beta,gamma,force_ratio,magnetic_fraction. These numbers are generated from the stated formulas; no measurements, uncertainty estimates or general dynamics solver are included.

02Directional-clock pilot: geometry and identifiability

The clock pilot is ASD-RUN-CLOCK-001. Its runnable materials are already included in ASD_AI_Research_Pack.zip: tasks/clock-pilot.py, the apparatus record tasks/clock-pilot.json and frozen results tasks/clock-pilot-expected.json. The JSON records inputs and unknowns; the script fixes the following geometric examples in its code rather than reading apparatus settings from that file.

The example uses latitude $40^\circ$, a user-selected background-axis declination of $30^\circ$, horizontal north/east axes for clocks A/B and 96 samples over one nominal sidereal day. The geometric template $Q=(\mathbf n\cdot\mathbf b)^2-1/3$ has not been derived from ASD atomic response. The script constructs the design matrix $X=(Q_A,-Q_B,1)$ for three coefficients in the candidate readout model. After extracting the research pack, run from its root:

python tasks/clock-pilot.py --verify tasks/clock-pilot-expected.json --output clock-pilot-output.json

The JSON reports rank 3 for the default configuration, rank 2 at background declination $0^\circ$ and rank 2 for identical axes. It also checks axis reversal, periodicity and cancellation for identical axes with equal coefficients. The background and sampling are hypothetical inputs; rank establishes distinguishability only within this template. The catalog's clock result establishes geometric identifiability only: no ASD frequency amplitude has been calculated and no observations have been used. The selected $^{87}\mathrm{Sr}$ transition, reference clock and transfer-link response coefficients remain inputs to the clock-response requirements; full rank cannot replace those physical calculations or establish detection power.

03Experimental comparison baselines and templates

ASD_Experimental_Reproducibility_Kit.zip contains README.md, equations.md, models.py, run.py, verify.py, notebook.ipynb, input/, schemas/, expected/ and checksums.json. Its comparison calculations require Python 3.10 or later and only the standard library. Inputs and units are documented in the data catalog and the bundled instructions. After extraction, run:

python run.py --output results
python verify.py

results/summary.json summarizes the calculation, and runtime.json records the actual Python version. clock_geometry.csv, muon_bins.csv and charge_response.csv contain geometric factors, reference survival counts for synthetic cohorts, and the standard point-charge field with an assumed Gaussian response. This kit's clock geometry has 97 half-hour samples; it is a different calculation from the 96-sample two-clock rank pilot above, so their result files are not interchangeable. expected/ contains frozen values. verify.py checks distributed-file SHA-256, numerical values and relevant limits, periodicity and symmetry.

The muon calculation uses a constant-energy, flat-atmosphere reference survival formula and three bins explicitly labelled SYNTHETIC. The high-γ calculation uses a standard normalized transverse field of a uniformly moving point charge and convolution with a unit-area Gaussian, without an actual bunch, crystal or electro-optic transfer function. Four schemas/*.csv files contain headers only, as templates for future inputs; S301 has no orbital integration or fit. Assumptions, output meanings and missing work are detailed in reproducibility resources and the data catalog. asd_output, predicted_difference and fit remain null.

Diagnostic figures are bundled. To regenerate them, separately install the documented matplotlib==3.10.8 and run python figure.py --output results; numerical calculations do not require it. The notebook calls the same functions and requires your own Jupyter environment. This kit contains no observational comparison or reproduction of the Ota experiment.

04What can be checked

These commands check a formula demonstration, geometric ranks and comparison baselines respectively. On 2026-10-03, the actual distributed materials were rerun with Python 3.12.14: all 96 LVE CSV rows, the two-clock ranks and the three comparison models' JSON/CSV agreed with their supplied frozen values. Retain inputs, code, frozen outputs and checksum lists together. Numerical agreement makes this calculation checkable; it does not establish a missing ASD apparatus response.

05Requirements for full reproducibility

This catalog uses the existing downloads and records; no confirmed public calculation-repository link is currently provided. Further calculations need a defined question, equations, boundary conditions, real-input provenance, environment, outputs and verification method, separating numerical error from measurement uncertainty. The clock needs response coefficients, muon decay needs a path-to-probability mapping, high-γ fields need joint source/probe response, and S301 needs verified object identity, epochs, frame and covariance. Their entries remain in the prediction registry and open problems. Register real observational comparisons after those specific missing inputs are supplied.