IndisputableMonolith.NumberTheory.SampledTrace

This module defines sampled rings and meshes at level n using 8n equispaced points on the unit circle, with phase increments from function evaluations and winding inherited from contour data. It supplies discrete sampling tools that connect annular cost structures to the Euler carrier for the RS cost-covering bridge. Researchers assembling axiom-free analytic traces for the Riemann hypothesis cite these objects. The module consists entirely of definitions and constructors with no proofs.

claimA sampled ring at level $n$ comprises $8n$ equispaced points on the unit circle; the sampled trace evaluates a function at these points to obtain phase increments, while the winding charge is taken directly from the contour winding data $WindingData$.