codex-ocapn-correspondence
Installation
SKILL.md
Codex-rs ↔ OCapN Correspondence Map
codex-rs reconstructs nearly the complete OCapN/CapTP/E-rights architecture piecemeal in Rust. This skill documents the 18-pattern correspondence and organizes them into six families.
Six Families
1. Core E/CapTP
| # | Pattern | codex-rs Location | OCapN Canonical | hermes-* Bridge |
|---|---|---|---|---|
| 1 | Swiss Numbers | windows-sandbox-rs/src/cap.rs — random session IDs |
Unguessable designators for capability addressing | hermes-cred-as-sturdy |
| 2 | Eventual-Send | codex-rs/core — async message dispatch between threads |
E.send() / promise pipelining |
hermes-goblins-bridge |
| 3 | Promise Pipelining (implicit) | exec/mod.rs — chained async operations on pending results |
Pipelining messages to unresolved promises | hermes-goblins-bridge |
| 4 | Near/Far Transparency | codex-rs/core — same API for local exec vs sandbox calls |
Near refs (same vat) vs far refs (cross-vat) behave identically | hermes-net-as-cap |
| 5 | Sturdy References | core/thread_fork_resume — resumable thread state persisted to disk |
Long-lived, serializable capability references | hermes-cred-as-sturdy |