Unboundedly Expandable Finite Matrices: Dynamic Finite Dimensionality, Sparse Structure, and Task-Relative Closure

UEFM: the dimension n_t at every epoch is finite, while sup_t n_t = ∞ is permitted (in classical terms a 'potential infinity' design rule; that gloss is this site's, not the paper's wording). It gives rules for expansion, contraction, split/merge, compression, sparsity and closure, and keeps 'unbounded' explicitly distinct from infinite execution, infinite storage and mathematical completion. The four 'dynamic matrix theorems' are direct consequences of unboundedness (the paper itself says: 'this is just a direct consequence of unboundedness').