J. Tree

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

Version 1.4.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 bounded audit of a published Collatz recursive-sufficiency induction, proves replacement zer...