Language Boundary Notes

This section contains new writing. It does not reproduce the former project documentation.

Historical address / new Rust note

Rust: Encode the Boundary, Then Test the Unsafe Edge

An independent Rust design note for capability handles, ownership, unsafe adapters, and operating-system errors.