# 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

[Download PDF](papers/schema-as-abi.pdf)

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`](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.