Coldcard runs the dice input through sha256.
If you set iancoleman to Base10 or Hex, it will also hash the input to yield a matching result.
BIP39 experts: where is the rest of the input coming from, if I only supply very limited entropy? E.g. why aren't the rest of the bits 0?
This is from https://www.reddit.com/r/coldcard/comments/17epqk8/comment/k69u1og
Discussion
Ah, I was overthinking it. It's literally SHA256('5') in the above example.