CENTL

Overview

CENTL is an exact-first scientific computation system built around one refusal: it does not manufacture mathematical certainty. Exact values remain exact when the admitted mathematics permits it, approximations carry explicit evidence, unsupported work remains visible, and semantic tooling cannot overrule mathematical evidence.

Every unqualified printed digit must be justified.

CENTL v0.14.0 is an Oasis release. Oasis is a repeatable quality declaration attached to an exact release identity. It is earned only after the source, tests, verification, security posture, packaging, documentation, and published bytes satisfy the release gate. Stable product authority lives on the oasis branch.

Systems

The standard v0.14.0 native archive installs centl, centl-sci, and centl-physics. Source-tree MIRAGE and CARAVAN work does not silently expand the supported installed product.

Install

curl -fsSLO https://raw.githubusercontent.com/chasebryan/centl/oasis/install
sh install
centl-sci

GNU/Linux x86_64 is the active stable release boundary. See the installation guide for the full release and offline-recovery contract.

Numerical contract

• Integers, fractions, and decimal literals are exact values.
• Exact results remain exact for as long as the admitted 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 cannot override mathematical evidence or promote its own assurance.
• Every unqualified printed digit must be justified.

CENTL-SCi and MIRAGE

CENTL-SCi v0.0.2-Caramels provides the current answer-first scientific interaction layer. It uses deterministic interpretation where possible and may use a local semantic model to interpret intent, but the model is not mathematical authority. Model-produced semantics must cross CENTL's typed and deterministic boundaries before a result can inherit mathematical meaning.

MIRAGE extends the same trust discipline into self-development. User specifications are preserved as attributable input, candidate work is staged, evidence obligations are explicit, and generated material cannot grant itself verified-core authority.

CARAVAN

CARAVAN separates availability from authority. A carrier may preserve and supply approved bytes, but authenticated FCF metadata defines which exact content identity CENTL trusts.

A carrier may provide bytes, but a carrier may never define which bytes are trusted.

Participating in CARAVAN is itself a way to support CENTL. As public enrollment opens through qualified rollout channels, volunteers can contribute bounded storage, bandwidth, and availability rather than source code or money. Ordinary carrier participation is designed to remain rootless, resource-capped, voluntary, and reversible.

Public volunteer network enrollment remains gated today. Existing join tooling can prepare and validate carriers without silently activating public service. Later main-line enrollment and public-origin work does not automatically become part of the v0.14.0 Oasis promise.

Branches

• oasis is the authoritative stable-product branch.
• mirage is the development and research laboratory.
• main is the complete developer/research distribution and integration view.

Support and contribute

Code, testing, mathematical review, documentation, preservation, infrastructure, reproducible bug reports, and CARAVAN participation all count as meaningful project support. Financial sponsorship is also available through GitHub Sponsors.

See CONTRIBUTING.md for the current contribution model.

License

FCF-owned CENTL software is licensed under Apache-2.0. Project documentation is CC-BY-4.0 where identified; official names and branding remain separately governed so unofficial forks cannot imply FCF endorsement. See LICENSING.md.