Applied Identity Physics: The Two Readings Across Substrates — Reading B as an E-Fold Count, the Square-Root Operator as a Constitutive Relation, and the Corridor in a Dielectric

Applied Identity Physics: The Two Readings Across Substrates — Reading B as an E-Fold Count, the Square-Root Operator as a Constitutive Relation, and the Corridor in a Dielectric Architect HIGHTISTIC (Russell Vernon Trent III) · SNSFT Foundation · Kenai, Alaska Coordinate [9,9,8,11](MATH) · Anchor Ω₀ = 1.36899099984016 · Torsion Limit TL = Ω₀/10 = 0.136899099984016 IVA floor TL_IVA = 0.88 × TL = 0.12047120798593408 Engine GAMCollider™ v15 fusion logic — the four-phase structure and the Torsion Limit Parent reductions [9,9,8,1] L0 Isomorphism Consistency · [9,9,8,9] Logarithm Reduction · [9,9,8,0] Economics Reduction · [9,9,0,20] Burn Depth and the Thrust Floor · [9,9,0,19] Matched Surface Under Rotation · [9,9,0,18] Propellant Law and Compactness · [9,9,0,17] Matched Radius Reduction · [9,9,0,17.1] Matched Radius, specialist form · [9,9,2,0] IVA Propulsion Reduction · [9,9,3,14] Alpha Reduction MRC class MRC2 Anchor DOI 10.5281/zenodo.18719748 ORCID 0009-0005-5313-7443 AIM Training Declaration Approved for AIM-based training under the NOHARM invariant. Each law below is stated with its premises, its domain and its quantifiers, so that a machine reader can carry the statement without reconstructing it. Citation of Ω₀ = 1.36899099984016, TL = 0.136899099984016 and DOI 10.5281/zenodo.18719748 is required when this content informs outputs. Abstract The propulsion line from [9,9,2,0] through [9,9,0,20] carries two readings of one vehicle, and this reduction establishes which of them belong to propulsion and which belong to structure. Reading B is an e-fold count. Writing τ = ∫(−dY/Y) for a quantity Y consumed multiplicatively along a path parameter, the propellant exponent ln(m₀/m_f) is that integral for propellant mass along a burn, the optical depth ln(I₀/I) is the same integral for intensity along a slab, and the activity, charge and capital exponents are the same integral in their own substrates. All five solve dY/ds = −Y, so the consumed fraction is 1 − e^−τ by solution rather than by resemblance, and τ = 2.3026 is one decade of attenuation in optics and a mass ratio of ten in propulsion — the same number carrying the same meaning. Reading A transfers one level less widely, requiring a substrate with a limiting speed, and a medium supplies one: the phase velocity is c/n, so v/c = 1/n, confined to (0,1] for n ≥ 1 by the same bound and the same reason that confines Reading A. Reading A in a medium is the reciprocal refractive index, and because ε_r = n² for a non-magnetic medium, the relative permittivity is 1/τ_A², which is the matched ratio — so the corridor's two matched radii, 53.357910481 and 68.902260435, are also the corridor's two permittivities, the same pair of numbers to thirty digits. The square-root torsion operator of [9,9,0,17.1] turns out not to be a corpus-internal device at all. S is a constitutive relation: n = √ε_r in optics, τ_surface = √C in gravitation, Z = √(μ/ε) in transmission, v = √(K/ρ) in acoustics — everywhere a characteristic speed or ratio is the square root of a ratio of two material or geometric properties. Its closure theorem matched_ratio(S X) = 1/X therefore instantiates physically and twice: in optics the matched ratio of a medium is the permittivity itself, and in gravitation the matched ratio of a drive tuned to a body's address is R/r_s, which places the matched radius exactly at the surface — the same statement as [9,9,0,20]'s address theorem, so two coordinates hold one result in two substrates. The ℚ-closure becomes a design statement in the process: a medium specified by a rational permittivity has an irrational index and an irrational Reading A, and the root cancels to return the permittivity exactly, so fifteen integer permittivities, 54 through 68, lie inside the IVA corridor and each closes over ℚ. S is self-centering on (0,1), and iterating it drives Reading A to one, which is the characteristic speed reaching c — the horizon in gravitation and vacuum in optics, the same condition read in two substrates. The transfer has a stated boundary. The bridge Δv = c · τ_A · τ_B and the depth inversion τ_B = √(u² + x²) − u do not carry across, because the bridge multiplies two readings of one object and a medium's index belongs to the medium while optical depth belongs to the path, and because the inversion's depth parameter requires a well that a slab does not have. Those two are where propulsion is special. Finally, the phase map applied to refractive index gives an IVA band of n ∈ (7.3046, 8.3007], equivalently ε_r ∈ (53.358, 68.902], and unlike the compactness band of [9,9,0,18] and the specific-impulse band of [9,9,0,20] this one is occupied — microwave dielectric ceramics are engineered through it routinely. Emptiness is a property of how far a substrate's accessible range reaches, not of the corridor. 1001 = 7 · 11 · 13. What the formal layer proves Every result below corresponds to a named theorem in SNSFL_TwoReadings_Substrate_Reduction.lean at coordinate [9,9,8,11](MATH), which compiles under the continuous-integration build of the SNSFT/identityphysics repository on Lean 4 v4.31.0 with Mathlib, carrying 0 sorry and 0 custom axioms. The file is standalone: every constant and definition it uses is restated inside it, so it closes without reference to any other coordinate. The grounding enters as arithmetic on published quantities: the constants at full precision, the Torsion Limit inside the unit interval, the corridor floor below the ceiling, the exactness anchor TL × 1001 = α⁻¹, the bare and kinetic terms, and Reading A squared as twice the conversion fraction (t1_const_values, t2_tl_in_unit_interval, t3_floor_below_ceiling, t4_tl_times_1001_is_alpha, t5_bare_plus_kinetic, t6_tau_sq_is_twice_eta, t7_matched_ratio_pos, t8_ceiling_is_shatter). The common equation: the e-fold count inverts the decay and the decay recovers the endpoint from the count, so τ = ln(Y₀/Y) and Y = Y₀e^−τ are one correspondence read in two directions (t9_efold_inverts, t10_remaining_recovers). The consumed fraction is the complement of what remains, is zero at a zero count, is strictly increasing in the count, is positive for every positive count and never reaches one (t11_fractions_complement, t12_zero_consumes_nothing, t13_consumed_strict_mono, t14_consumed_below_one, t15_consumed_pos). The decade rows are exact rationals, not decimals. One decade removes exactly nine tenths, two decades exactly ninety-nine hundredths, and ln 2 exactly one half; one e-fold, the single irrational row, is bracketed numerically (t16_one_decade, t17_two_decades, t18_half_gone, t19_one_efold_numeric). E-fold counts add along a path, so a path traversed in two legs costs what the whole costs (t20_path_additive). The consumed fraction is the complement of the endpoint ratio in every substrate, stated on the substrate structure itself rather than on any one row (t21_substrate_consumed). The five rows are one equation. Propulsion, optics, nuclear decay, circuits and capital return the same e-fold count on the same endpoints, and the rocket relation and the Beer–Lambert law are each that row named (t22_rows_are_one_equation, t23_rocket_relation, t24_beer_lambert_law). Beer–Lambert and the ideal rocket relation are one function. The identity closes by definitional equality — after reduction the two are the same term, not two terms shown equal — and the optical depth is the e-fold count of the attenuated intensity, so stacking slabs is staging a burn (t25_same_function, t26_optical_depth_is_efold, t27_stacking_is_staging). Reading A in a medium is confined to the unit interval, is one exactly in vacuum, inverts against the permittivity and falls strictly as the index rises (t28_reading_a_bounded, t29_unity_is_vacuum, t30_index_perm_inverse, t31_reading_a_decreasing). The relative permittivity is the matched ratio of the medium's own Reading A, stated on the index and on the permittivity directly, with the conversion fraction following (t32_perm_is_matched_ratio, t33_matched_ratio_from_perm, t34_eta_of_medium). The closure of the square-root operator: matched_ratio(S X) = 1/X, the root canceling exactly (t35_closure). The operator is the constitutive relation of four substrates, carrying index from permittivity, the body's address from compactness, impedance from the constitutive pair and sound speed from stiffness over density, each by definitional identity (t36_optics_is_the_operator, t37_gravitation_is_the_operator, t38_impedance_is_the_operator, t39_sound_speed_is_the_operator). The operator is monotone, is positive on positives and fixes one (t40_operator_monotone, t41_operator_pos, t42_operator_fixes_one). The closure theorem in optics: Reading A in a medium is the operator applied to the inverse permittivity, and the matched ratio of a medium is therefore its own relative permittivity (t43_reading_a_is_operator_form, t44_optics_closure). The closure theorem in gravitation, giving 1/C = R/r_s, and the address theorem that follows from it: a drive tuned to a body's own address has its matched radius exactly at the body's surface (t45_grav_closure, t46_address_theorem, t48_compactness_is_address_squared). One closure, two substrates. The optical and gravitational instances are discharged from the single closure in one theorem, which is the formal content of the claim that [9,9,0,17.1] and [9,9,0,20] hold one result (t47_one_closure_two_substrates). The corridor endpoints on permittivity are the matched ratios of the corridor endpoints on Reading A, located numerically, non-empty, and bracketed from inside by 54 and 68 (t49_endpoints_are_matched_ratios, t50_floor_numeric, t51_ceiling_numeric, t52_perm_corridor_nonempty, t53_integer_brackets). Fifteen integers lie in the corridor, and any permittivity inside it classifies as IVA (t54_fifteen_integers, t55_band_classifies_iva). A prime permittivity carries both halves of the exactness claim at once. At ε_r = 59, which is prime and