The IO Calculator is an alpha public, theorem-bearing cosmological calculator for the Interior Observer Framework. It publishes curved closed-space background quantities, nucleosynthesis outputs, recombination primitives, acoustic-scale observables, a theorem dictionary with explicit claim boundaries, and a conditional/scoped/verified TT first-peak support carrier, all with zero fitted cosmological parameters on the live branch.
This draft is for release planning and review. It is not yet the committed public README.md.
Alpha release status:
- release line:
0.1.0a1 - intended tag:
v0.1.0-alpha.1 - public consumption is allowed under the project license
- scholarly use should cite the software and the relevant theorem reports
The calculator is the executable surface of the Interior Observer Framework’s active branch. Unlike a standard cosmology code that only returns numbers, it returns numbers together with their derivation chain, theorem authority, scope boundary, and claim status.
The current public-facing scope includes:
- exact closed-FRW late-time background on the active branch
- distance and BAO observables on curved, closed space
- active-branch
theta_*on the carried selector leaf - BBN outputs including the lithium result
- theorem-grade local recombination primitives on the geometric baryon slot
- a theorem dictionary / provenance graph for published outputs
- a conditional/scoped/verified TT first-peak support carrier
The calculator does not currently claim:
- theorem-grade closure of the full high-
ellTT spectrum - a CLASS-equivalent full CMB Boltzmann solver
- theorem-grade TE/EE closure
- a theorem-grade Planck acoustic extractor
This alpha release is intended for public use, inspection, and independent reproduction. If you use the calculator, its outputs, or its theorem reports in research, software, teaching material, or public analysis, cite the repository and the relevant theorem authority nodes.
The final public source release should ship:
CITATION.cff- an
Apache-2.0software license - theorem reports for the live published outputs
Premise 1: we live inside a black hole, and the CMB is the event horizon, with Hawking radiation falling inward and being observed from the interior.
Premise 2: the physics inside our black hole are the same as the physics outside our black hole.
Within about ten minutes of cloning and installing, a physics-literate Python user should be able to:
- run the theorem-grade active-branch
theta_*closure - run the canonical TT first-peak carrier
- inspect the theorem dictionary / provenance graph
- rerun the full local test suite
Canonical validated TT result on the current public scope:
- claim status:
Conditional/scoped/verified TT first-peak support on the repaired active-branch canonical carrier (n_max = 501), with inherited-FULL Stage-2 history and equal-rate typed Thomson specialization. - canonical first peak:
ell_peak = 224 - open frontier: the
n_max >= 601ceiling drift remains explicit and unresolved
git clone <REPO-URL>
cd <REPO-DIR>
python3.11 -m venv .venv
source .venv/bin/activate
python -m pip install --upgrade pip
python -m pip install -e .This repository currently exposes the package as:
- package name:
aio-calculator - CLI entry point:
aio-calculator
git clone <REPO-URL>
cd <REPO-DIR>
PYTHONPATH=src python -m aio_calculator --helpIf David chooses a PyPI release later, this section can add:
python -m pip install aio-calculatorThat command is not promised yet and should not appear in the final public README until the package actually exists on PyPI.
aio-calculator theta-star-theorem --jsonExpected output includes the active-branch theorem result:
100theta_* = 1.048683904878751
and its full provenance chain.
aio-calculator tt-spectrum --json --workers 12Expected output includes:
- the approved scoped TT claim status
- the canonical runtime configuration
ell_peak = 224C_220 / C_peak ≈ 0.9938- the explicit
n_max >= 601open frontier
aio-calculator background --z 0.57 --jsonThis returns the closed-FRW background snapshot used by the website redshift widget and the published background cards.
aio-calculator recombination-point --z 1100 --jsonThis returns theorem-grade local recombination primitives on the geometric baryon slot, including:
T_R,locH_locn_H,geomx_efrom the local Saha seedkappa'_locd tau_obs / dz
aio-calculator provenance-catalog --jsonThis lists:
- all theorem nodes
- all explained-output families
- claim-status labels
- authority paths
Build the public bundle and prerendered theorem pages:
python build_bundle.pyThis writes:
data/aio_calculator_bundle.json- prerendered
calculator.html - prerendered
calculator-theorems.html
The theorem dictionary page is the standalone reference surface; the calculator page embeds theorem chains inside each output card.
Run the full suite:
python -m pytest tests -qAt the current reviewed state, the local suite should pass in full.
Recommended reproduction path:
- install the package from source
- run
aio-calculator theta-star-theorem --json - run
aio-calculator tt-spectrum --json --workers 12 - run
aio-calculator provenance-catalog --json - run
python -m pytest tests -q - run
python build_bundle.py
The public website surfaces should then match the rebuilt local bundle.
src/aio_calculator/- source of truth for the calculator math, CLI, theorem graph, and TT carrier
tests/- reproducibility and regression checks
build_bundle.py- regenerates the JSON bundle and prerendered website theorem pages
data/aio_calculator_bundle.json- machine-readable bundle used by the public site
README.md- public alpha release guide
Decision still needed from David.
My recommendation:
-
Repo name
- prefer a new dedicated source repo such as
io-calculator - keep
io-framework-publicas the curated artifacts/reports/data repo - reason: source release cadence, issue tracking, packaging, and licensing are cleaner when the executable calculator is its own unit
- prefer a new dedicated source repo such as
-
License
- prefer
Apache-2.0 - reason: permissive enough for broad reuse, but clearer than MIT on patents and contributor expectations
- prefer
-
Public scope
- publish: calculator source, tests, docs, bundle builder, final theorem reports needed for the live outputs
- keep internal: failed routes, review notes, Roseta Smash, exploratory probes not needed for the release claims
-
Release tagging
- yes: use tagged versions and a short changelog
- minimum first tag suggestion:
v0.1.0-alpha.1
Recommended public release contents:
- calculator source code
- tests
- build script and static bundle pipeline
- final theorem reports that support the public calculator outputs
- citation metadata
- installation instructions
Recommended private/internal only:
- Roseta Smash
- failed-route audits not needed to understand a released claim
- scratch scripts and abandoned probes
- review memos whose purpose is internal adversarial iteration rather than public reproducibility
Website:
- Calculator: https://dfife.github.io/calculator.html
- Theorem dictionary: https://dfife.github.io/calculator-theorems.html
- Scorecard: https://dfife.github.io/scorecard.html
- Lithium page: https://dfife.github.io/lithium.html
Zenodo / papers:
- Interior Observer community / latest records: https://zenodo.org/communities/interior-observer
- Lithium paper (Paper 24): https://zenodo.org/records/19219282/latest
- Bridge paper: https://zenodo.org/records/19440227/latest
- Hubble paper: https://zenodo.org/records/19558163/latest
- Four-problems paper: https://zenodo.org/records/19561708/latest
Citation metadata should ship with the repo as CITATION.cff.
Draft citation guidance:
- cite the calculator source repository for executable results
- cite the relevant Zenodo paper(s) for the theorem chain behind a given output
- for website-facing review, link the scorecard and theorem dictionary pages alongside the code citation
Current author metadata used elsewhere in the public IO release surface:
- David Fife
- ORCID: https://orcid.org/0009-0001-0090-5825
License decision pending review.
Suggested final wording once chosen:
- Code license:
<MIT | Apache-2.0 | GPL-3.0> - Data/report license: keep distinct if needed
Do not finalize this section until David picks the release license.
This calculator uses explicit claim labels:
derivedverifiedconditionalreconstructionspeculative
Numerical agreement is not derivation. Open frontiers remain explicit in the code, the theorem dictionary, and the output payloads.
This release draft does not claim:
- theorem-grade closure of the full
C_ellspectrum - theorem-grade closure of the physical TT high-
elltail - a published particle-physics Paper 36 or Paper 37
- unconditional closure of every local theorem now housed under the calculator namespace