What Runs Natively Above Software

Canonical Rust workspace for the 10-paper RFC corpus.

This repository encodes constitutional separation between:

• law (constitution-gate)
• proof process (proof-runtime)
• sovereign atom space (epistemic-storage)
• federation (proof-federation)
• non-chat governance (manager-plane)
• bounded labour (worker-abi)
• economic legibility (economic-fields)
• jurisdiction and signature (jurisdiction)
• office allocation doctrine (efficiency-allocation)
• physical boundary and entropy (horizon-real)

The repository is intentionally sparse and constitutional: it encodes law, proof, labour, economics, jurisdiction, and contact-with-the-real as separate executable offices.

Principles

• Proof-bearing process over opaque inference.
• Replayability and transcript visibility over implicit state.
• Typed authority and consequence over silent automation.
• Bounded silicon and explicit yield over arbitrary I/O.

Quick Start

just ci

or:

cargo fmt --all -- --check
cargo clippy --workspace --all-targets --all-features -- -D warnings
cargo test --workspace

Repository Layout

• crates/: constitutional crates (one per major layer).
• rfcs/: canonical split of the source doctrine (0001 through 0010) plus source monolith.
• docs/: architecture decisions and implementation status.

Workspace Isolation

• This repository has its own .git root and its own workspace root Cargo.toml.
• It does not require or reference parent git or cargo workspaces.
• Builds and tests run from this repository root only.

Dependency Direction

High-level rule: lower-law layers never depend on higher-consequence layers.

• constitution-gate is foundational.
• proof-runtime depends on constitution-gate + epistemic-storage.
• horizon-real may depend on jurisdiction and worker-abi; never the reverse.

See ARCHITECTURE.md for the full directed graph.