← → · Lobby · · hover/click dotted words
Nova · 1 · book only

Doctrine from the book

This room does not visit WeftOS. We extract a usable kit from Cardano and leave his arithmetic crimes on the table.

If a word is not in the glossary (G), it is not yet a primitive.

Nova · 2

Equal conditions first

Aequitas is the principle: opponent, bystanders, money, situation, box, die. Probability is how you check that the table is even — not a carnival trick.

A bake-off that hands one model the answers is a marked deck, whatever the score says.

Nova · 3 · chapter 14

Count the whole circuit

The circuit is every face. Favorable ways are r. The rest are s. Lay the wager in that proportion.

Tiny r : s calculator

Try. Default is 27:25 (sums 10 vs 9 on three dice). See. p, fair odds, even-money EV, and p². Why. p² is how you repeat a trial. You do not square the odds.

Nova · 4

Refuse ROTM

ROTM says 3 × 1/6 = ½. The circuit says 1 − (5/6)³ ≈ 0.421. Four throws to cross a half.

False claim

Add one-sixth per try until you hit certainty.

That is ROTM. At n=6 it claims certainty. A six can still fail forever.

Circuit

Independence: chance of missing every time is (5/6)^n. Subtract from 1.

At n=3 that is 1 − 125/216 ≈ 0.421. Four throws to cross a half.

Never treat the count you expect (n×p) as the chance it happens (P).

Nova · 5

Lean is not luck

If outcomes systematically lean one way, there is a reason — bias, fraud, or a misspecified circuit. Keep that detector. Fire the Prince.

A score that always “just equals what it should be” is as suspicious as one that always leans.

Nova · 6

Pay remaining work

Race to 6, stopped at 5–3. B still needs three wins in a row. The eight equally likely last-three sequences: only BBB gives B the match (1/8). The other seven give A. Pot 7:1.

An interrupted job should not credit tokens already burned.

A : B = 0 : 0

Nova · 7

Small stakes, named ruin

Equal money at risk is not equal chance of going broke. A rich purse and a thin purse on the same stake are not an even table. Ruin is vice when the bet is the treasury.

A stop-loss (leave the table) is not a sample space (count the faces).

Nova · 8 · handoff

What Coniunctio may use

May leave

The frozen kit Coniunctio may land.

circuitus · aequitas · odds r:s · scientia/fortuna · lean · pⁿ · np · fraud catalog · remaining work · small stakes

May not leave

Contaminants and crate types stay here.

Prince · ROTM · multiply-odds · triangular 6:1 · cheating-as-method · any WeftOS type name

Combining is the next door’s job (Room Coniunctio). Paper: panels/P1-nova.md

ROOM NOVA · BOOK ONLY · FIRST GROK SYMPOSIUM1 / 8