Overview
CENTL is an exact-first mathematics and physics system built to avoid manufacturing numerical certainty. Exact values remain exact when the admitted mathematics permits it, requested approximations carry justified bounds, and unsupported work remains visible.
CENTL v0.14.0 is currently an Oasis candidate. Oasis is a repeatable release declaration, not a codename: a release earns it only after the repository has been reconciled, organized, hardened, validated, and established as a cohesive stable baseline. See the Oasis release standard.
Systems
| Surface | Use |
|---|---|
centl | Exact calculator, numerical language, verification, JSON, and MCP interfaces. |
centl-sci | Answer-first local scientific interpreter and user-owned extension workflows. |
centl-physics | Exact-first typed physics operations and services. |
| CENTL-MIRAGE | Local specification ingestion, capability analysis, staged candidate materialization, and evidence planning. |
| CENTL CARAVAN | Content-addressed authenticated preservation and availability; v0.14.0 includes the bounded Phase 1 local laboratory. |
Install
curl -fsSLO https://raw.githubusercontent.com/chasebryan/centl/main/install
sh install
centl-sciGNU/Linux is the supported reference platform and sole active release target. See the installation guide for offline archives and the release contract.
Numerical contract
- Integers, fractions, and decimal literals are exact values.
- Exact results remain exact for as long as supported mathematics permits.
- Approximations return justified enclosures rather than unqualified floating-point guesses.
- Dimension errors and unsupported work fail explicitly.
- Generated, external, or semantic-model output is untrusted and cannot override mathematical evidence or promote its own assurance.
- Every unqualified printed digit must be justified.
CENTL-SCi and MIRAGE
CENTL-SCi uses conservative deterministic interpretation first. A separately configured local semantic model can assist with language interpretation, but the model is not the mathematical authority. MIRAGE extends that principle into local self-development: source intent, staged material, evidence, and admission remain explicit and reversible rather than granting a model source-code authority.
CARAVAN
CARAVAN separates availability from authority. Carriers may preserve and supply bytes, but authenticated metadata defines which bytes CENTL trusts. The v0.14.0 boundary is a local laboratory; arbitrary public volunteer enrollment remains a later rollout gate.
License
FCF-owned CENTL software is licensed under Apache-2.0. Project documentation is CC-BY-4.0; official names and branding remain separately protected so unofficial forks cannot imply FCF endorsement. See LICENSING.md.