03-ilang-space / 09-measurability
09measurabilityverified
Summary How readings on the companion affect the view of a part and its geometry, and whether a distant reading or a distant cut can change a local distance.
# External verification: 09-measurability - **Subproject:** 03-ilang-space - **Package:** 09-measurability - **Verified version:** v1 - **External round:** 1 of 2 - **Date:** 2026-10-08T16:54:27+02:00 - **Focus points:** none --- VERDICT: correct ## Summary The state-update formulas, averaged-view identity, conditional witness data, explicit example, and factorized-case calculation are correct. The derivation appropriately identifies that the question’s unconditional admissibility claim is false: invariance under swaps within the companion does not ensure invariance under swaps across the cut. Condition (C) correctly characterizes commutation of the reading projectors with all swaps and guarantees admissible post-reading states; the unrestricted formulas remain valid as tensor-space identities. The treatment of the chain distance uses only the supplied inputs and appropriately avoids claiming unavailable exact values. ## Issues None. ## Focus points None given.