Verified equivalences between the same concept in Contracts, .NET and TypeScript. Every mapping is grounded in positive evidence from the generated API data — pairs without sufficient evidence are omitted rather than assumed.