Linear algebra API — solve a bounded caller-supplied linear system and return deterministic solution plus residual evidence.