I plan on adding this in conjunction with another direct limit of matrix rings based on the whole partial order of divisibility (instead of just the chain selected here.) I'm waiting to chat with my advisor who I believe used such a ring in his dissertation.
_Originally posted by @rschwiebert in https://github.com/rschwiebert/dart_data/issues/66#issuecomment-2116535583_