Carbon's Pointer and Reference Model: An Architecture Note on C++ Interoperability Boundaries
Carbon's experimental pointer and reference model aims to make C++ interoperability memory-safe without wrapper overhead. This architecture note examines the trust boundary, operational checks, and failure modes.