Papers
Long-form research write-ups produced from the capOS codebase. Each paper is
typeset with Typst from sources under papers/<slug>/ in the repository and
published as a PDF alongside this site.
Schema-as-ABI: Typed Capabilities and Ring-Transport Dispatch in capOS
A pre-evidence draft describing the schema-as-ABI thesis: Cap’n Proto schemas
acting as kernel ABI, access-control mechanism, IPC wire format, and (planned)
persistence and network-transparency substrate, layered over a shared-memory
SQ/CQ ring with a two-syscall surface (exit and cap_enter).
The draft separates closed contributions (capability ring transport,
exactly-once accounting rollback, capability lifecycle, the verification
stack) from evidence-gated claims that depend on outstanding artifacts (C1
service-object migration, C2 measurement run, C3 persistence proof-of-concept,
C4 network-transparency proof-of-concept). Sections that depend on missing
artifacts are flagged with TODO admonitions naming the gap and the entry in
docs/paper/evidence-gaps.md
that closes them.
Source: papers/schema-as-abi/main.typ in the repository. Build locally with
make paper; the same target runs in make cloudflare-pages-build and
publishes the PDF at the link above.