arxiv: 2603.22475 · v1 · submitted 2026-03-23 · 🌌 astro-ph.CO
Recognition: 2 theorem links
· Lean TheoremEuclid preparation. Cosmology Likelihood for Observables in Euclid (CLOE). 2. Code implementation
show 1111 more authors
Are you an author? Sign in to claim this paper.
Pith reviewed 2026-05-15 00:24 UTC · model grok-4.3
The pith
CLOE is a modular Python code that computes theoretical predictions for Euclid's cosmological observables and evaluates them in one unified likelihood.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
CLOE implements a unified likelihood pipeline that generates theoretical predictions for weak lensing, photometric galaxy clustering, galaxy-galaxy lensing, spectroscopic galaxy clustering, and selected cross-correlations with the cosmic microwave background, then evaluates these predictions against survey data within a single modular Python framework.
What carries the argument
The modular Python code structure that assembles observable predictions and performs the complete likelihood calculation for multiple galaxy survey probes.
If this is right
- The same code base can be used for consistent joint analysis of photometric and spectroscopic observables in Euclid data.
- Full likelihood evaluation happens inside the Python environment, removing the need for external wrappers.
- The framework supports extension to additional probes such as galaxy clusters and CMB cross-correlations.
- Public release allows other groups to reproduce or adapt the Euclid likelihood pipeline.
Where Pith is reading between the lines
These are editorial extensions of the paper, not claims the author makes directly.
- Adoption across multiple surveys could reduce systematic differences that arise when each team builds its own likelihood code.
- The Python-only design may lower the barrier for rapid prototyping of new observable models before they are added to the main pipeline.
Load-bearing premise
The code correctly implements the underlying theoretical models for each observable without introducing numerical or modeling errors that would distort the likelihood values.
What would settle it
Running CLOE on a standard flat Lambda-CDM model with fixed parameters and comparing its output likelihood values and power spectra against independent calculations from a separate established code or analytic formulas.
read the original abstract
We provide a description of the code implementation and structure of Cosmology Likelihood for Observables in Euclid (CLOE), developed by members of the Euclid Consortium. CLOE is a modular Python code for computing the theoretical predictions of cosmological observables and evaluating them against state-of-the-art data from galaxy surveys such as Euclid in a unified likelihood. This primarily includes the core observables of weak gravitational lensing, photometric galaxy clustering, galaxy-galaxy lensing, and spectroscopic galaxy clustering, but also extended probes such as the clusters of galaxies and cross-correlations of galaxy positions and shapes with the cosmic microwave background. While CLOE has been developed to serve as the unified framework for the parameter inferences in Euclid, it has general capabilities that can serve the broader cosmological community. It is different from other comparable cosmological tools in that it is written entirely in Python, performs the full likelihood calculation, and includes both photometric and spectroscopic observables. We will focus on the primary probes of Euclid and will describe the overall code structure, rigorous code development practices, extensive documentation, unique features, speed optimization, and future development plans. CLOE is publicly available at https://github.com/cloe-org/cloe.
Editorial analysis
A structured set of objections, weighed in public.
Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.
Referee Report
0 major / 2 minorSummary. The manuscript describes the code implementation, modular structure, development practices, documentation, and public release of CLOE, a Python package for computing theoretical predictions of cosmological observables (primarily weak lensing, photometric galaxy clustering, galaxy-galaxy lensing, and spectroscopic galaxy clustering, plus extensions such as galaxy clusters and CMB cross-correlations) and performing unified likelihood evaluations against Euclid-like survey data.
Significance. If the implementation matches the description, CLOE provides a publicly available, fully Python-based framework that unifies photometric and spectroscopic probes for cosmological inference. Its release on GitHub, emphasis on modularity, speed optimization, and documentation represent concrete strengths that can support reproducible analyses within the Euclid Consortium and the wider community.
minor comments (2)
- The abstract and introduction would benefit from a concise table or bullet list explicitly mapping each observable (e.g., weak lensing, spectroscopic clustering) to the corresponding Python modules or classes; this would improve readability without altering the technical content.
- Section describing speed optimization should include at least one concrete benchmark (e.g., wall-clock time for a fiducial Euclid-like likelihood evaluation on standard hardware) to substantiate the performance claims.
Simulated Author's Rebuttal
0 responses · 0 unresolvedWe thank the referee for their careful reading of the manuscript, positive summary, and recommendation to accept. No major comments were raised.
Circularity Check
0 steps flaggedNo significant circularity; code description is self-contained
full rationale
The paper describes the structure, modularity, development practices, and public release of the CLOE Python code for unified cosmological likelihood evaluation. No theoretical derivation chain is presented; the central claim is the existence and capabilities of the released software artifact itself. No equations, predictions, or uniqueness claims reduce by construction to fitted parameters or self-citations within the work. The code is externally verifiable via the linked GitHub repository, satisfying the criteria for an independent software artifact.
Axiom & Free-Parameter Ledger
0 free parameters · 0 axioms · 0 invented entitiesThe paper is a software implementation description rather than a theoretical derivation, so it introduces no free parameters, axioms, or invented entities beyond standard cosmological models already present in the prior literature.
pith-pipeline@v0.9.0 · 13078 in / 1137 out tokens · 35553 ms · 2026-05-15T00:24:28.483336+00:00 · methodology
Lean theorems connected to this paper
Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
CLOE is a modular Python code for computing the theoretical predictions of cosmological observables and evaluating them against state-of-the-art data from galaxy surveys such as Euclid in a unified likelihood. This primarily includes the core observables of weak gravitational lensing, photometric galaxy clustering, galaxy-galaxy lensing, and spectroscopic galaxy clustering
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the operational objective of CLOE is exceptionally simple and can be boiled down to a single equation: ln(Likelihood)=−1/2(Data−Theory)Cov−1(Data−Theory)T + A
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.