← → space · N notes · F full · · dotted words + tiles click
K01 · Plenary · First Grok symposium
Count the circuit before you score
Gerolamo Cardano chairs. A score that does not name its circuit is a wager dressed as measurement.
WeftOS already publishes numbers (gates, quality, harness). If those numbers hide the sample space, they are bets, not measurements.
1564
Cardano writes the book — a gambler’s manual that anticipates classical probability.
Liber de Ludo Aleae = The Book on Games of Chance. Thirty-two short chapters. Printed too late (1663) to found the later school of Pascal and Fermat.
1663
Printed in his collected works after his death.
Opera Omnia (Lyon). Too late to cross-examine him. This symposium is that cross-examination.
2026
WeftOS already scores constantly. Silence about the sample space is a hidden die.
Gates, quality scores, harness faces, node scores — all publish numbers. Almost none name the circuit those numbers came from.
Speaker: I am Cardano. Name the circuit, refuse luck-as-skill, refuse undisclosed edge, price the decision as EV over an enumerated or honestly incomplete space.
WEFTOS · LIBER DE LUDO ALEAE01 / 11
K02 · Method · three teams
Two rooms, then one table
Nova read only the dead. Vetus read only the walls. Coniunctio is where they finally sit together.
CARDANO 1501–1576 · circuit, aequitas, and his own ROTM.
Chair. Chapter 14 is the general rule. His arithmetic crimes stay on the table.
PACIOLI 1445–1517 · sunk 5:3. The wrong split.
Summa (1494). Interrupted swarms that credit burned tokens are this error.
PASCAL 1623–1662 · remaining paths. 7:1.
Eight leftover sequences. Only BBB is B. Keep the question, not Cardano’s triangle.
FERMAT 1607–1665 · the 1654 letters.
Continuation value. The combining table cites both parents.
VETUS · WALLS Scores already in the masonry. They do not cite Cardano.VETUS · HOLD Clasping a die the walls never named. Classification, not a merge.
Coniunctio: both rooms at last, equal light, paperwork still arguing. Mixing earlier would have been a cheat.
If the book-room glances at EffectVector it will “discover” chapter 14 always meant it. If the wall-room glances at Cardano it will “discover” a cost circuit-breaker was a sample space. Both are cheats.
NOVA · VETUS · CONIUNCTIO02 / 11
K03 · Chapter 14 · play the circuit
The general rule
Count the circuit. Name the favorable faces (r). The rest is s. A fair table pays s:r so EV = 0. The house table, same honest die, pays 4:1 anyway.
Fair is justice, not generosity. Play eight turns. The leak is the contract, not the bone.
r : s
Fair table8
House 4:18
scientian=0 · fortuna
Crooked check.Same die, two books. After n≥6 the leak (or the lean) becomes visible.
Stake 1 of 8 — limited risk, recreation not treasury. Pick faces, then roll. Same luck will hit both purses; only the payout differs.
Try. Leave 6 on, hit Play 8. Then turn on 1–3 and play again. See. Fair hovers; house leaks on every win (or, if you named three faces, the 4:1 table overpays — that is a marked price too). Why. A router that bills the hard-model rate for an easy task is the house column.
Two dice are 36, not the partitions. Three dice are 216. EV of zero is justice, not generosity. If the circuit cannot be enumerated, publish incomplete and why.
CIRCUITUS · SAME DIE · TWO CONTRACTS03 / 11
K04 · Contaminants · play the false half
What you will not inherit
A hand is n throws. Success = at least one six. ROTM books this as n/6. The circuit is 1−(5/6)n.
A scorer that adds “one-sixth per try” is this book. Play eight hands and watch it overclaim.
ROTM books 0.50 · circuit is 0.421
Four throws to cross ½.
ROTM expected0
Circuit expected0
Hands you hit0
scientian=0 · fortuna
Bias check.ROTM is the crooked book: it overclaims before a single hand.
No money on this table — limited risk is the point. ROTM is a pricing error, not a purse. At n=3 it claims half; the bone owes you about 42%.
Try. Play 8 at n=3, then drag to 4 and play 8 more. See. Hits cluster near the green number, not the amber half. Why. Length-based quality scores are this family: they add marginals and read the sum as a chance of success.
I multiplied odds, stole a cubic, cheated at tables. The catalog is a detector. Anyone who implements it as a method has misunderstood the chair. Six kinds of 9 vs 10 is not six ways — 25 vs 27 in 216.
REFUSALS · ROTM · DO NOT ADD ONE-SIXTH PER TRY04 / 11
K05 · Room Vetus · how each calc works
What was already in the walls
None of these files cite Cardano. Click a surface. The right pane unpacks the actual arithmetic — not a slogan.
We name what already rhymes, and what only shares a word.
Select a surface.
Try. V1, then V6, then V7, then V4. See. L2 distance, stop-loss trip, five unlabeled faces, length-as-chance. Why. Classification without the formula is just a mood.
Honor the naming. Do not pretend EffectVector.fairness is already aequitas. Do not pretend a cost breaker is a sample space.
WeftOS spent the English word circuit on a stop-loss (WEFT-322). Cardano spent circuitus on the sample space. Same letters. Different jobs.
A perfect breaker can still leave you on a 4:1 house table.
Try. Step 1 → 5. See. Enumeration on the left, trip-wire on the right; they never become one number. Why. Renaming the breaker “circuitus” would hide a crooked book behind a stop-loss.
BudgetUsage.circuit_open and PlanningConfig.circuit_breaker_no_op_limit are ruin bounds. They do not enumerate outcomes.
FALSE FRIEND · KEEP BOTH WORDS06 / 11
K07 · Instrument + aequitas · six steps
Read the throw, then check the table
MetaHarness published five faces this session. Aequitas asks whether the table itself is even — including whether harness fit was measured under equal conditions.
Do not promote on one cast. Do not rename EffectVector.fairness. Run the equality check beside both.
n still = 1
Try. Walk steps 1–6, then Replay. See. The math pane names each face; the checklist fails equal_eval (n=1) and equal_tools (briefing 5D ≠ live 5D). Why. Aequitas on harness fit is the application — refuse promote or disclose the holes.
Publish {circuit: MH-score-v1, n:1, claim_type: fortuna, interval: unknown, aequitas: {equal_eval:false, equal_tools:false}}. LDA-002 sits beside the dim; it does not smash genesis.
75 / 100 / 65 / 90 / 53 · AEQUITAS ON FIT07 / 11
K08 · LDA-003 · payoff vs offer
Two tickets on the same bone
You stake 1 on a six. The fair payoff is what justice pays: +5 (because r:s = 1:5). The offered payout is what this table actually writes on the ticket. House edge is −EV / stake.
If the tickets differ, the die can be honest and the book still crooked. The system sees that as a leak between two purses that shared every roll.
Win ticket
fair +5 · offer +4
You named 1 face. Fair profit = s/r = 5. Offer is the slider.
Lose ticket
both −1
The leak only prints on a win. Losses look identical.
Crooked check.Same rolls. After n≥6, if offered trails fair, the contract is the cheat.
Breaker trips at 3 — stop-loss, not a sample space.
Stake 1 of 12. Drag the offer. The win ticket is the only place the take can hide.
Try. Leave 4, Play 8. Then 5, reset, Play 8. See. Identical luck; only the offered purse leaks. Scientia stays fortuna until n≥5. Why. A router that bills the hard-model rate for an easy task is this slider left of 5.
A house that wants a living must declare the edge. Hidden take-rate is the fraud catalog, not a pricing strategy.
Each roll is one independent trial. The claim type moves at 5 and 30 — this house’s working rule, not Bernoulli. Flywheel receipts already know this. No purse: you cannot confuse a streak with profit.
Promote only after enough casts, and never silently.
sixes / n = 0 / 0 · rate — · expected 1/6 ≈ 0.167
fortuna — show, do not promote
Publish the throw. Do not coronate a harness, a model, or a view spec.
A first six looks like a method. It is one cast. Keep throwing. If the rate leans hard away from 1/6 and stays there, that is Cardano’s detector — a basis, not a Prince.
Try. Throw until you hit a six, then Throw 30. See. The lamp stays red through the streak; amber after 5; green after 30 — and the rate walks toward 1/6. Why. One lucky path is not a release.
Frequency, even in my last chapter, only says the count does not lie far from np when n is large. That is not Bernoulli. It is enough to refuse a coronation after one throw. ADR-096: no auto-promote.
RECEIPTS OVER n · NO SILENT PROMOTE09 / 11
K10 · Problem of points · five steps
Pay what remains
Race to 6. Stopped 5–3. Walk the tree: scoreboard → work left → eight branches → count BBB → 7:1. 1–3 is A, 4–6 is B.
Split leftover swarm budget by who is likelier to finish — not by tokens already burned.
Sunk
5 : 3
Cardano Δ
6 : 1
Pascal
7 : 1
This match · A needs 1 · B needs 3 · path —
scientian=0 · fortuna
Observed A : B after replays = 0 : 0
Pot is already posted. Only BBB gives B the match.
Try. Walk steps 1–5, then Finish this match. See. The tree prunes; seven leaves stay A. Why. Continuation value, not sunk tokens. LDA-005.
Interrupted swarms split leftover budget by remaining work × P(finish). Pacioli 5:3 and Cardano 6:1 are both wrong.
TREE · CONTINUATION VALUE · 7 : 110 / 11
K11 · Sidecar topology · ontology
Beside the hash, not inside it
A sidecar hangs off the scored node. The node keeps its Merkle hash and genesis-locked faces. The sidecar names circuit, odds, stake, ruin, calibration, aequitas. A hole is still a published field.
Ship the contract next to scores. Do not smash a sixth face into the kernel. Exploratory work that graduates itself is a silent promote.
Click a node.
Try. Click HASH, then SIDECAR, then LOCKED. See. Payload stays 5D; sidecar JSON appears; genesis lists what we will not smash. Why. Ontology: score = measurement; sidecar = honesty about the circuit; lock = no silent promote.
