boundlab.error.alignment

Layout bookkeeping for error symbols stored in flat coefficient axes.

Zonotopes and sparse polynomials store one coefficient slice per Error symbol along a trailing axis. A SpanTable records which start..stop slice (Span) belongs to which symbol, ordered by symbol ID. When two values built over different symbol sets meet, SpanTable.align_with() merges the tables and returns Alignment runs describing how each side’s slices map into the merged layout — the domains then concatenate, zero-fill, or reindex accordingly.

Classes

Alignment	One run of symbols in a merged table, with its source slices.
SpanTable	Maps each error symbol to its Span, in ID order.
Span	A half-open start..stop slice of the flat error-coefficient axis.