Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Other Proposals

This page keeps the mdBook sidebar compact by grouping proposal documents that are not listed individually in the main Design Proposals section.

Active Support Proposals

ProposalStatusPurpose
mdBook Documentation SitePartially implementedDefines the documentation site structure, status vocabulary, and curation rules for architecture, proposal, security, and research pages.

Future Runtime and Deployment

ProposalStatusPurpose
Go RuntimeFuture designPlans a custom GOOS=capos userspace port and runtime services for Go programs.
Cloud MetadataFuture designDescribes cloud bootstrap inputs and manifest deltas without importing cloud-init.
Cloud DeploymentFuture designTracks hardware abstraction, cloud VM support, storage/network dependencies, and aarch64 deployment direction.
Browser/WASMFuture designExplores a browser-hosted capOS model using WebAssembly and workers.

Future Security, Policy, and Lifecycle

ProposalStatusPurpose
User Identity and PolicyFuture designDefines user/session identity and policy layers over capability grants.
System MonitoringFuture designDefines scoped observability capabilities for logs, metrics, traces, health, status, crash records, and audit.
Formal MAC/MICFuture designDefines a formal access-control and integrity model for later proof work.
Live UpgradeFuture designDesigns service replacement while preserving handles, calls, and authority.
GPU CapabilityFuture designSketches isolated GPU device, memory, and compute authority.

Rejected

ProposalStatusPurpose
Cap’n Proto SQE EnvelopeRejectedRecords the rejected idea of encoding SQEs themselves as Cap’n Proto messages.
Sleep(INF) Process TerminationRejectedRecords the rejected idea of using infinite sleep as process termination.