ARK

ARK is a contract-governed system for formal mathematical knowledge, verifier-backed governance, empirical research, and the software that operates them. Lean declarations and canonical registries establish Principia truth; maps, indexes, and textbook prose are non-authoritative projections.

Current repository map

• Genesis — genesis/: intentionally top-level, immutable repository trust anchor. The approved source specification under governance/releases/genesis-v0.2/specification/ records release inputs and is not a duplicate authority.
• Principia — principia/: formal deductive mathematics. New mathematical knowledge enters through the Principia cycle machinery; accepted future cycle history is written to principia/history/cycles/.
• Engine — engine/: Rust software that operates ARK.
• Research — research/: new empirical, computational, scientific, and exploratory work. Hypotheses, datasets, experiment runs, and statistical evidence do not belong in Principia theorem directories.
• Docs — docs/: tracked authored documentation, templates, configuration, and ADRs. Generated textbook pages live only under ignored .build/docs/.
• Governance — governance/: canonical governance home. The current Constitution lives under governance/constitution/, current ARK policy under governance/policy/current/, ARK standards under governance/standards/, approved logical Meta-Semantics under governance/formal-semantics/, Genesis-bound structural and wire schemas under governance/schemas/, the Genesis v0.2 approved source specification under governance/releases/, and frozen Bootstrap establishment provenance under governance/history/bootstrap/.
• Tests — tests/: integration and conformance tests.
• Archive — archive/: planned; created only when referenced superseded material is mechanically safe to relocate.

Run ark repo map for the concise current-reality view and ark repo map --json for transition/readiness data.

Legacy frozen roots

Only the 12 audited frozen units under root tasks/ remain transitional. They are grandfathered read sources with recorded conceptual owners, not examples of where new files should go; new root task units are forbidden.

The Genesis-bound CUE release now lives under governance/schemas/meta-model-v0.1/; its historical meta/v0.1/ paths remain byte-preserved aliases resolved through generic digest-, Git-tree-, identity-, and role-checked compatibility. Principia cycle history lives under principia/history/cycles/. Frozen references to former Principia-cycle, Bootstrap, Constitution, approved-proposal, Policy, and Standards paths use the same compatibility mechanism. New empirical work resolves through ARK.LOCATION.RESEARCH to research/.

Start here

ark repo map
ark repo doctor --strict
ark principia map
ark principia next --json
ark docs generate
ark docs status

See docs/README.md for textbook authority, exposition, and freshness rules.