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.

3. FROM OBSERVABLE STATES TO ACQUIRABLE PREDICTIVE MODELS
Target: Section 9, following the scope paragraph listing sensing costs among
features requiring changed models and proofs.
Insert exactly:

"Exact feasibility is distinct from budgeted performance. In extensions with
a prior and query costs, optimum success and acquisition cost depend on the
target, supplied test library and execution contract, not only on the final
observation topology or a homology diagram. For the identity-recovery target
on an antichain of four equiprobable states, with every supplied query costing
one, two coordinate tests and their complements and
four singleton indicators generate the same discrete topology, but have
optimal expected unit-cost exact-acquisition costs 2 and 9/4. This example
uses a different background order from the endpoint-antichain family of
the present classification. Extensions to simultaneous blocks must also
check each proposed sequential execution separately; simultaneous block
admissibility need not authorize every ordering in general posets."

Reference to add: the addendum, Section 6, for the cost and four-state
execution-order examples with their explicit matrices and collapse pairs.
Preserve: the fixed-state R subset E_* criterion, local pre-answer legality,
branch cancellation, supplied-query orientation, moving-state distinctions,
and the express denial of a physical-safety guarantee.

EXACT TEXT ANCHOR
Insert after the Section 9 paragraph ending "sensing costs would require changed models and proofs."

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.
