zero_param_forces_scale_free
plain-language theorem explainer
Zero-parameter closure, defined as the absence of any characteristic time beyond normalization by tau_0, forces the closure-delay survival law into a scale-free power-law form in the dimensionless time ratio. Researchers tracing the A6 step in the Recognition Science forcing chain would cite this packaging step when deriving scale invariance without external parameters. The definition is a direct one-line wrapper that extracts the no-characteristic-time proposition from the input structure and lifts it into the output structure.
Claim. Assume zero-parameter closure, i.e., there is no characteristic time beyond normalization by $tau_0$. Then the closure-delay survival law is scale-free, i.e., the survival function takes a power-law form in the dimensionless time ratio.
background
ZeroParamClosure is a structure whose sole field asserts that there is no characteristic time beyond normalization by tau_0. ZeroParamScaleFree is the output structure whose field encodes that the survival law takes a power-law form in the dimensionless time ratio. This module formalizes the A6 step as a proposition-level bridge: zero-parameter closure excludes a characteristic timescale, so the closure-delay law must be scale-free.
proof idea
The definition is a one-line wrapper that applies the no_characteristic_time field of the ZeroParamClosure hypothesis to construct the ZeroParamScaleFree structure.
why it matters
This definition packages the A6 step of the zero-parameter forcing chain for the DIF paper. It records that the absence of a characteristic time forces scale-free behavior in the survival law, supporting the Recognition Science claim that physical laws arise from J-cost minimization without external scales. It touches the scale-free requirement underlying the phi-ladder and mass formulas in the T0-T8 chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.