On Boundaries of Evidence — Boundary-State Calculus for Typed Observation, Admissible Transfer, and Falsifiable Persistence

Version 1.2.0 of a foundational preprint proposing Boundary-State Calculus as a typed mathematical audit calculus for claims that move between scientific descriptions. This release adds a claim-relative simulation-evidence profile, separates statistical simulation, computational simulation, and surrogate deployment, proves compatibility-bounded deployment and finite-horizon coupled-surrogate propagation, and adds an exact host-relative counterexample with a retained deterministic execution receipt. The package contains ten mathematical fixtures and two retained deterministic execution receipts. It does not claim physical validation, a general surrogate guarantee, a proof of the Riemann Hypothesis, a complete reference implementation, or peer review.