Executable material supports calculations and reproducibility; it does not replace a printed proof. Each included supplement records the source chapter, exact calculus, artifact or repository commit, toolchain, commands, expected output, and the theorem-sized claim that the run checks. Historical artifacts are preserved unchanged; compatibility patches remain separate.