CENTL manuals
| Document | Subject |
|---|---|
| CENTL-SCi | Scientific interpreter architecture and evidence boundary. |
| CENTL-MIRAGE | Local self-development architecture, provenance, candidate staging, and assurance boundaries. |
| CENTL CARAVAN | Current preservation/availability architecture, trust model, support role, and rollout boundary. |
| CARAVAN Phase 1 | Bounded local laboratory implementation and validation boundary. |
| Installation | Stable native install, offline archives, and GNU/Linux release contract. |
| Syntax | CENTL language syntax. |
| Mathematics | Supported mathematical operations and boundaries. |
| Numerical contract | Exactness, approximation, and justified output. |
| Physics | Typed exact-first physics operations and limits. |
| Verification | Claim checking and evidence. |
| Machine protocol | Programmatic protocol surface. |
| MCP adapter | MCP integration. |
| Architecture | System design and implementation structure. |
| Repository map | Supported source-tree organization and active/historical boundaries. |
| Oasis release standard | Repeatable stable-product convergence, hardening, validation, and publication standard. |
| Release and branch policy | Roles of oasis, mirage, and main. |
| v0.14.0 release notes | Current Oasis release boundary, included systems, and qualification evidence. |
| Roadmap | Planned development. |
| Changelog | Release history and development lineage. |
Preservation and trust
| Document | Subject |
|---|---|
| Join CARAVAN manually | Carrier preparation, immutable-release verification, preservation mission selection, Linux portability, withdrawal, and public-origin separation. |
| Immutable join release | FCF signing, deterministic release identity, and rootless carrier bootstrap contract. |
| CARAVAN census | Privacy-conscious carrier accounting, heartbeat state, retention, and aggregate publication. |
| FCF Semantic Origin | Direct FCF semantic-model publication, fail-closed redistribution gates, and CARAVAN replication contract. |
| Base-model preservation | Immutable preservation of model source material needed for reconstruction and re-quantization. |
| Model provenance | Content-bound model lineage, exact quantized origin, and redistribution review state. |
| Supply-chain preservation | FCF-controlled dependency/model snapshots, mirror layout, recovery, and no-network rebuild process. |
| Integrity and authentication | SHA-256 source/dependency/release verification and the separation between integrity and publisher authentication. |
| Release signing | Release manifests, signing-key custody, verification, and rotation. |
| Security policy | Supported versions, trust boundaries, reporting, and Oasis security posture. |
Contribute and support
Contributing to CENTL includes code, tests, mathematics, review, documentation, preservation, reproducible bug reports, and infrastructure.
CARAVAN participation is itself a contribution. When public enrollment is opened through qualified rollout channels, volunteer carriers can contribute bounded storage, bandwidth, and availability to approved FCF artifacts. Until then, carrier preparation and join-path testing are useful development contributions.
Site policy
This index points at repository copies so documentation follows the canonical source revision. Stable installation and release claims point to Oasis authority; research and later development references point to main where appropriate. The Bazaar reports preservation and provisioning state conservatively.