Papers
Long-form research write-ups produced from the capOS codebase. Each paper is
typeset with Typst and published as a PDF alongside this site; the Typst
sources live under papers/<slug>/ in the capOS repository, which is
currently private.
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.
The paper is typeset from papers/schema-as-abi/main.typ in the capOS
repository; the published PDF is rebuilt from those sources on every site
deploy. The supporting paper plan records the evidence
requirements, while the whitepaper outline maps those
requirements onto the draft structure.