Crate tilezz

Modules§

classify: Tiling classification: screen enumerated cyclotomic tiles into the buckets cannot tile / tiles periodically / undecided candidate (the aperiodic-monotile / spectre-sibling hunt), via sound one-sided tests that engage the real global geometry.
combinatorics: Combinatorics layer: enumeration and graph-classification of tiling structure built on top of crate::geom primitives.
cyclotomic: Cyclotomic rings.
dataset: DAFSA storage stack: compact, queryable, on-disk representation of large sequence sets.
geom: Data structures for intrinsic, integer-based geometry.
stringmatch: Generic cyclic substring-matching primitives over &[i8] angle slices.
util: Cross-cutting utilities used by binaries and various library modules: the profile RAII helper for optional pprof flamegraph recording from the CLI binaries, plus small numeric helpers like gcd.
vis: 2D visualization: turn geometry into pictures (SVG / PNG / GIF).

define_integral_zz: Define an integer-basis cyclotomic ring ZZ_n.
dispatch_ring: Dispatch a runtime ring: u8 value to a generic body that wants a concrete ZZn type. The body is evaluated in a context where:
impl_integral_conj_via_basis: Default Conj impl for an integer-basis ring: route through conj_basis with the cached per-ring conjugation matrix.
impl_integral_intersect_unit_segments_via_basis: Default IntersectUnitSegments impl for an integer-basis ring: route through intersect_unit_segments_basis with the per-ring constant bundle.
impl_integral_mul_via_basis: Default Mul<Self> impl for an integer-basis ring: route through mul_basis with the per-ring REDUCTION table.
impl_integral_re_im_sign_via_basis: Default ReImSign impl for an integer-basis ring: route through re_sign_basis / im_sign_basis against the per-ring RE_DECOMP / IM_DECOMP tables and the supplied real_sign_fn.
impl_integral_units_via_basis: Default Units impl for an integer-basis ring: cache derive_units_lookup in a OnceLock<Vec<[i64; PHI]>> and index by angle.rem_euclid(n).
impl_integral_within_radius_via_norm_sq: Default WithinRadius impl for an integer-basis ring: compare |z|^2 to radius^2 exactly via ring arithmetic plus one re_sign call. No f64.
zz_integral_ring_tests: Emit a mod of generic algebraic / cyclotomic-structure tests for the given integer-basis cyclotomic ring type.

GIT_COMMIT: Exact source commit this build was compiled from, captured by build.rs via git rev-parse HEAD. A -dirty suffix means the working tree had uncommitted changes at build time (so the bare commit does NOT fully describe the binary); "unknown" means it was built outside a git checkout. Recorded in dataset RO-Crate metadata and surfaced by each CLI’s --version.
VERSION: Long version string for CLI --version: the crate semver plus the exact build commit, e.g. 0.1.0 (dd4fd14...) or, for a non-pristine build, 0.1.0 (dd4fd14...-dirty). Lets a human or a reproduction script confirm precisely which binary produced a result.