module module moderate

`IndisputableMonolith.Experimental.FlybyAnomaly`

The Experimental.FlybyAnomaly module supplies definitions and order-of-magnitude calculations for spacecraft flyby velocity shifts within Recognition Science. It centers on typical shifts of 1-10 mm/s and explores thermal power asymmetries as candidate sources. Researchers testing RS against NASA flyby observations would cite these quantities when comparing predicted accelerations to data. The module organizes content as a set of related definitions and small lemmas without a central theorem.

claimTypical flyby velocity shift satisfies $1-10$ mm/s, with thermal acceleration $a_thermal$ obtained from spacecraft power $P$ and asymmetry via thrust $F_thermal = P/c$ in RS-native units where $c=1$.

background

The module sits in the experimental domain and imports the RS time quantum τ₀ = 1 tick from Constants. It introduces auxiliary objects such as flyby_velocity_shift, spacecraft_thermal_power, thermal_thrust, thermal_acceleration, and thermal_scales_with_power to quantify possible contributions to the anomaly. All quantities are expressed in RS-native units with c = 1, allowing direct numerical comparison of predicted velocity increments to observed mm/s-scale shifts over flyby intervals.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies quantitative tools for confronting RS with the flyby anomaly and extends the Constants module into experimental checks. It supports evaluation of whether thermal effects can reach the observed 1-10 mm/s range and connects to the broader framework landmarks such as the phi-ladder and native-unit constants. No downstream theorems are recorded, indicating it functions as a standalone experimental probe.

scope and limits

Does not derive the anomaly from the J-function or RCL.
Does not perform full orbital integration or trajectory simulation.
Does not assert thermal asymmetry is the sole cause.
Limits all estimates to order-of-magnitude scaling in RS units.

depends on (1)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import

declarations in this module (20)

def flyby_velocity_shift L20
def flyby_significance L23
def spacecraft_thermal_power L26
def thermal_asymmetry L29
theorem anomaly_magnitude_small L32
theorem thermal_can_produce_thrust L37
def c_speed L44
def thermal_thrust L47
def thermal_acceleration L51
theorem thermal_acceleration_positive L54
theorem thermal_scales_with_power L62
def gravity_model_accuracy L69
def gravity_velocity_uncertainty L72
theorem gravity_uncertainty_comparable L75
theorem multipoles_matter L81
theorem standard_physics_sufficient L86
theorem bsm_not_needed L90
theorem anomaly_dissolved L98
theorem pattern_matches_thermal L102
def ea008_certificate L105