05-ilang-free-fall / 02-field-object
02field objectverified
Determines when a body coupled to a field object sees definite numbers in place of the field's operators, and what it sees when the field is static but not in such a state.
# External verification: 02-field-object - **Subproject:** 05-ilang-free-fall - **Package:** 02-field-object - **Verified version:** v2 - **External round:** 2 of 2 - **Date:** 2026-10-10T18:56:15+02:00 - **Focus points:** none --- VERDICT: correct ## Summary The derivation correctly establishes the sharp-field evolution, the necessary and sufficient condition for a universally pure reduced view, and the sector-mixture formulas for static non-sharp fields, including multi-reading schedules. The small-λ purity expansion is consistent, and the distinction between the lowest possible power over starts and the leading power for a particular start is handled appropriately. The convention analysis correctly separates invariant total operators from listing-dependent profiles, and the single-object reduced-description obstruction imposed by A5 is explicitly accounted for. The shared medium–field construction and its conditional record distances also follow from the stated assumptions and quoted input. ## Issues None. ## Focus points None given.