Interior layers: computational materials

Computational materials prepared by Bernat Espigulé, accompanying “Semialgebraic interior layers in root closures of bounded-height integer polynomials” by Bernat Espigulé and David Juher. The archive contains exact-rational certificate verifiers, numerical datasets, figure-generation programs, reproduction instructions, and a manuscript source snapshot. It includes finite-capture computations, controlled algorithm comparisons, and the local topology certificate. Verification records distinguish exact finite checks from floating-point numerical experiments.