PROPOSED INTERPRETATION INSERTIONS - NOT APPLIED TO ORIGINALS
Version 1.0 working release candidate, 9 November 2026

These are short editorial additions, not theorem retractions. Verify the
current paragraph anchors before merging; the inspected baseline is the
preserved November 4 source set, with live thinning/acquisition rechecks on
November 9. The refinement and logical-topology anchors below were checked
against preserved text; their November 9 live retrievals failed. A source
hash identifies inspected bytes, not priority.

2. OBSERVATION TOPOLOGIES FOR FINITE PROPOSITIONAL SEMANTICS
Target: Section 10, after the paragraph following Proposition 10.1 which
explains that continuity can merge distinguishable points.
Insert exactly:

"Preservation of the positive-observation order is not a guarantee of
unchanged predictive performance. Homotopy type and homology are coarser
summaries still: neither determines the observation fibers. Under noiseless
observation and zero-one loss, optimal target-prediction success is the sum,
over fibers, of the largest target-class probability mass within each fiber.
For uniform identity recovery on n states, this is the number of nonempty
fibers divided by n. Costed acquisition additionally depends on the supplied
tests and their costs; even an identical final observation topology can
arise from libraries with different optimal acquisition costs."

Reference to add: the addendum, Section 6, for the explicit finite examples.
Preserve: Proposition 10.1 and the existing Section 11.1 nerve warning.
Do not replace 'topology' globally with 'homology'; the full observation
topology retains distinctions that its homotopy type discards.

EXACT TEXT ANCHOR
Insert after the Section 10 paragraph following Proposition 10.1, ending "does not by itself imply preservation of either weighted distance."

MERGE RULE
These paragraphs do not change proof hypotheses or silently enlarge an
existing theorem's domain. New publication links and bibliography keys are
the coordinator's final integration step, not placeholders to put online.
