convergence_status() returns a short character label for programmatic
workflows that need more detail than is_converged(). A fit can report
optimizer code 0 while the likelihood geometry is degenerate (no proper
maximum or non-finite uncertainty); such fits return "degenerate" even
when multi_start selected among several starts. "boundary" marks an
optimizer-converged fit with variance-component or residual-correlation
parameters near an interpretability boundary. is_converged() stays a
plain logical: it is TRUE for "converged" and "boundary", and
FALSE for "degenerate".