Passport engine

Inference rules (26) — the closed-world graph

Each rule fires deterministically when its if condition holds. The session re-checks every framework after every stamp.

• gw_speed_c_eliminates_cgw_modifiers

  if theory_modifies_gw_speed=true then gw170817_consistent=false, theory_observationally_viable_post_2017=false

• two_dof_no_extra_gw_polarisations

  if dof_count=2 then gw_breathing_mode_present=false, gw_longitudinal_mode_present=false, polarisation_mode_count=2

• palatini_kills_density_dep_screening

  if constraint_class=palatini then chameleon_available=false, symmetron_available=false, vainshtein_available=false

• f_R_metric_implies_three_dof

  if theory_class=f_R_metric, f_RR_nonzero=true then dof_count=3, scalar_propagates=true, kinetic_term=true, equivalent_to_BD_omega_zero=true

• f_R_palatini_implies_no_propagation

  if theory_class=f_R_palatini then dof_count=2, scalar_propagates=false, kinetic_term=false, constraint_class=palatini

• spherical_static_vacuum_gr_birkhoff

  if spherical_symmetry=true, vacuum_exterior=true, theory_class=gr then exterior_solution=schwarzschild, exterior_static=true

• rotation_supported_enables_sparc

  if kinematic_support=rotation_dominated then sparc_methodology_applicable=true, pressure_support_negligible=true

• pressure_supported_disables_sparc

  if kinematic_support=dispersion_dominated then sparc_methodology_applicable=false, rotation_supported_disk=false, pressure_support_negligible=false

• weak_field_slow_motion_enables_ppn

  if weak_field=true, slow_motion=true, asymptotically_flat=true then ppn_framework_applies=true

• strong_field_disables_ppn

  if strong_field=true then ppn_framework_applies=false

• homog_isotropic_enables_flrw

  if homogeneous=true, isotropic=true then flrw_background=true, friedmann_equations_applicable=true

• inhomogeneous_disables_flrw

  if homogeneous=false then flrw_background=false, friedmann_equations_applicable=false, requires_averaging_or_exact_inhomogeneous_solution=true

• radiation_dominated_traceless_stress

  if matter_type=radiation then trace_stress_energy=0, equation_of_state_w=0.3333333

• matter_dominated_growth_eds

  if matter_dominated=true, flrw_background=true, linear_perturbations=true then growth_factor_form=D(a) proportional to a (EdS limit)

• virial_equilibrium_implies_bound_stationary

  if virial_equilibrium=true then bound_system=true, stationary_state=true

• merging_system_disables_virial

  if dynamical_state=merging then stationary_state=false, virial_theorem_applies=false

• gaussian_ic_enables_press_schechter

  if gaussian_initial_conditions=true then press_schechter_applicable=true

• thin_lens_weak_field_enables_convergence

  if thin_lens_approximation_valid=true, weak_field=true then convergence_poisson_applicable_gr=true

• einstein_frame_nonradiation_source_term

  if einstein_frame_action=true, scalar_matter_coupling=true, matter_type=radiation then matter_scalar_energy_exchange_nonzero=true

• conformal_photon_coupling_implies_unaffected_optics

  if photon_conformal_coupling_standard=true then photon_geodesic_standard=true

• fluid_L_m_not_valid_when_structure_matters

  if structure_formation_regime=true then fluid_lagrangian_for_matter_valid=false

• collisionless_long_relaxation_disables_two_body

  if relaxation_time_greater_than_age=true then two_body_relaxed=false, vlasov_equation_applicable=true

• potential_depth_weak_field

  if gravitational_potential_depth=0.001 then weak_field=true, ppn_applicable_by_potential=ALLOWED

• potential_depth_intermediate_field

  if gravitational_potential_depth=0.001, gravitational_potential_depth=0.1 then ppn_applicable_by_potential=WARNING

• potential_depth_strong_field

  if gravitational_potential_depth=0.1 then strong_field=true, weak_field=false

• no_dm_ontology_blocks_halo_model

  if dark_matter_halo_ontology=false then halo_profile_parametrisation_known=false, nfw_profile_applicable=false