Affine-Bundle Solver v0.4.4 is the first public research release of a dense C solver for general real linear equality systems. It classifies systems without assuming consistency, full rank, or uniqueness, and it can leave cases near a rank transition unresolved instead of turning numerical uncertainty into an exact claim.
The release includes the public C API, independently checked nearby-status proof objects, regression and property-based test batteries, reproducible experiments, immutable result records, and the manuscript source. The archived source is preserved by Zenodo under DOI 10.5281/zenodo.22753773.
The project page records the architecture, verification boundary, reproduction commands, and limitations. The accompanying preprint has been submitted to HAL and is awaiting moderation; a formal publication entry will be added after the public HAL record is available.