Stable type identifiers: a missing piece for crABI and export

Thank you for your perspective. I believe there are two approaches, and both lead to the same conclusion: crABI needs stable type identifiers, and TypeId needs to increase the size of its hash to 128 bits to be collision-resistant. These aren’t two separate problems; they both address the same concept: ensuring clear identification across each compilation. Implementing them as two separate features would create two sources that are not truly contradictory regarding the same concept. The question isn’t whether they should be related, but whether it makes sense for them not to be.