Online Resource 4 — supplementary files
Article: Bounded Repair Reachability of Residual Critical Blocks in 3D Binary Masks under SAFE-Gated Single-Voxel Flips
Journal: Journal of Mathematical Imaging and Vision
Authors: Jihun Bae, Yeonho Bae, Jinglu Hu
Corresponding author: Jihun Bae
Affiliation: Graduate School of Information, Production, and Systems, Waseda University, Kitakyushu, Japan
Email: jhbae1184@akane.waseda.jp

Caption candidate: Online Resource 4. Non-image production records, preserved search-related sources, and verification code for recorded-result re-aggregation and Table S4 attachment calculations. The S4 verifier checks boundary ranks, Betti vectors and SAFE consistency from the preserved cell ledger. Original masks, starting-state inputs and witness/context NPZ arrays are not included.

This is the author-approved JMIV submission candidate. No DOI or new licence is assigned; the independent public-release scope is unchanged.
Historical R4K assembly preserved 127 preceding non-manifest files and added this cover and JSON metadata. R3 updates only current top-level guidance/metadata and its outer hash list; historical and scientific members remain unchanged.
The executable checks and their existing validation evidence cover stored-result recount and fixed-ledger S4 verification. Full search, RAW-to-X_T generation and voxel replay are not reproduced.
