OVERLAP AND INTEGRATION NOTE | 9 NOVEMBER 2026

Recommended destination: a technical addendum linked from B-Theory's reflective self-model manuscript and, if its author chooses, the separate self-diagnosis paper. Suggested paper-index label: 'When Checking Takes Time: An Exact Two-Probe Stopping Frontier (technical addendum)'. No site path or publication date is asserted as live.

Owned contribution: the full exact h/lambda/c frontier for this two-probe read-then-transition model, its branch-dominance proof, and reproducible finite certificate. Keep the prior fixed-point/leakage work out of the addendum except the evaluator definition needed here.

R4 overlap: binary mechanism, noisy diagnostics, known hazard propagation, explicit/compiled control equality. Increment: transition exposure after every executed probe, stopping-dependent exposure count, exhaustive contingent-policy optimum in closed form. Observation-before-hazard updating itself is already present in R4.

Acquisition-paper overlap: acquiring rather than merely defining predictive information; current versus original state; finite-horizon action/query choice. Its topological admissibility and support planning results are not proved or extended here. This note has a probabilistic expected-loss objective and no topological query restriction.

Self-diagnosis-paper overlap: noisy evidence, attribution limits, diagnostic cost, finite-policy comparisons, compiled-control caution. Leave its identifiability, confounding, support, topology, repair, causal-attribution and transfer results with that author. This note neither certifies a fault from full-support noisy tests nor resolves self/world confounding. It can be inserted as a supplementary timing example after that manuscript's fixed-state diagnostic contract, with an explicit change of assumptions and a reference to the complete addendum. No separate author's source files were edited.

Suggested integration sentence: 'An exact two-probe example shows how delayed diagnostic evidence can make a first check harmful in isolation yet useful within a contingent plan; the result depends on repeated transition exposure and does not imply that merely offering optional information worsens optimal performance.' Cite Theorem 1 and Section 5 of this addendum.

Editorial scope: a worked decision-theory addendum, not a new foundation for reflection or a major standalone novelty claim. Preserve classical references and the assumptions box. Do not combine error percentages from different stopping contracts or import benchmark scores from R4.
