Boundary Information Theory (BIT) — Theorems and Formal Results, Volume IV — Errata-Corrected Edition

Boundary Information Theory (BIT) — Theorems and Formal Results, Volume X is an independently developed research compilation by Bùi Quang Trịnh, Hà Nội, Việt Nam. The volume collects theorem-level statements, analytic cores, derived and specialized results, supporting propositions and certificates developed within the BIT research program. Each entry preserves its assumptions, proof spine, evidence status, scope, failure conditions and claim boundary. The collection explicitly distinguishes analytic validity, synthetic or bounded computational evidence, proof-assistant mechanization, field validation and novelty. Inclusion in this volume does not imply peer review, independent validation, physical universality or scientific-standard status unless explicitly stated for an individual result. This release is deposited as an archival research object so that the work can be read, cited, criticized, reproduced and extended independently. Volume IV is the errata-corrected v0.9E1 closed edition. Two statement-scope defects identified during the TCSA audit were corrected before closure; newly retained results were classified as derived rather than new independent analytic cores.