I’ve actually went ahead and reported the bug and reproducer on GitHub Nitrokey/nitrokey-3-firmware/issues/94 - the mini do work correctly, it’s just this scenario that doesn’t work and it might just be a firmware issue since the nfc just works too (also the reproducer is just with libfido2)