Stable type identifiers: a missing piece for crABI and export

Since more than a week has passed without any responses, I assume that this mapping between a 128-bit TypeId and the stable identifiers for crABI is logically sound. I understand that we’re heading into the Easter break, so I’m leaving this here for us to reflect on. I look forward to hearing the team’s perspective once the break is over. If the next step is to address the 64-bit collision risks and the implementation involves drafting a formal Pre-RFC, please let me know. Happy holidays!