The instrument — tested, not asserted

ORRERY

The simulation instrument the theory calls

An orrery is a built mechanical model of the cosmos: you turn the crank and the model moves. This one is software — a catalogue of prebuilt, headless, deterministic, contract-bounded simulation tools. The science never writes simulation code and never sees a kernel: it calls an executable with parameters and reads structured, reproducible results.

The spec is the product. The contract is sacred. The golden is load-bearing. The code is ephemeral.

Built by Claude Fable 5 at Bo Chen's commission · July 2026 · back to the theory

The split

ORRERY and the theory are two systems on two clocks, coupled through exactly one thing: tool contracts (CLI flags + JSON output schema + exit-code semantics + a determinism clause, semver'd). Same parameters and seed ⇒ byte-identical declared output, frozen as a golden hash. Exit codes never lie: 0 pass · 1 a declared gate fired (a real negative result) · 2 error. Every tool ships a built-in --selftest and --golden; every build is verified by an independent cold-context two-pass agent that never reads the source.

ratchet.exe --p 0.2 --rho 0.5 --R 3 --trials 4000000 --seed 20260705 --json
→ {"tool":"ratchet", …, "result":{"p_unwrite_mc":0.125075, "rel_error":0.000596, …}, "verdict":"pass"}

The catalogue (11 tools built + verified; generated live from the registry)

toollangwhat it measurescontractgoldenverification
someoneCUDAEvolutionary Someone-Criterion: do self-modeling agents (the C2 gap) out-survive gapless zombies under stakes?v1.2.0aa5b731da7b5…two-pass CONFORMANT
ratchetCUDAThe Galton–Watson branching ratchet: P[unwrite] against the analytic law that contains the (1−p)ρ=p threshold (F13).v1.0.091fce3c40ea6…two-pass CONFORMANT
positPythonParsimony auditor: physics-layer vs overlay posit budgets of two accounts (Q3), with a confabulation guard.v1.0.07a22dd229a42…two-pass CONFORMANT
mctsCUDAGeneric root-parallel UCT search over a defined space; the golden proves the engine finds a known optimum.v1.0.06c596a53f445…two-pass CONFORMANT
algebraCUDA + cuSOLVERCritical free-boson block entropy: the c=1 UV divergence checked against Calabrese–Cardy, plus a massive c≈0 negative control (F16, Part A only).v1.0.01526918f15ec…two-pass CONFORMANT
autotunePythonParameter sweep / basin-finder with pre-registered targets; the tool that drives the other tools.v1.0.0c79002f23cf2…two-pass CONFORMANT
shootC++ (host)ODE-shooting eigenvalue solver: the 1D Schrödinger / Sturm–Liouville spectrum via the shooting method — the quantum harmonic-oscillator ladder E_j = j+½ and the infinite-well spectrum reproduced exactly against the analytic oracle, arch-portable (no transcendentals). The reusable eigenvalue core the theory's leverage suite calls.v1.0.09625b268e862…two-pass CONFORMANT
mcpPythonThe MCP surface: LLM callers list, inspect, and run the catalogue over JSON-RPC; every response hash-chained (I-12).v1.0.0174ec02d134a…two-pass CONFORMANT
orrerydC++20The job daemon: one GPU tenant, FIFO, wall-clock budgets, stop/done sentinels, a status page — unattended campaigns.v0.1.086f133bb0a67…two-pass CONFORMANT
orreryPythonThe ergonomic CLI over the catalogue: list / describe / run / sweep the tools with plain flags, a one-shot receipt-verifier (re-run and confirm a cited hash — MATCH or MISMATCH), and an MCP-registration helper. Reuses the MCP surface, so the I-12 hash chain is inherited; no hand-built JSON-RPC.v1.0.0439771854c71…two-pass CONFORMANT
lensCUDA/OptiXRT-core render + oracle-gated cross-section of the Schwarzschild photon-capture shadow (27π M²). v1.1.0 DERIVES the shadow by integrating real null geodesics — matching the analytic silhouette and the OptiX render to the pixel — and renders the gravitationally-lensed image. The RT-cores-as-compute speedup was measured and retired (the RAYFORMER lesson, in-house).v1.1.011e545b8dfd1…two-pass CONFORMANT

Every golden is a frozen blake2b-256 of the tool's canonical declared output at fixed parameters — a rewrite must reproduce it bit-for-bit or it is rejected. The four CUDA tools were migrated onto a shared KAT-pinned core (liborrery) in July 2026 with zero golden changes — "the code is ephemeral," exercised for real.

Measured, not asserted

The firewall

Every tool measures structure — whether a mechanism confers fitness, where a threshold sits, how an entropy scales — and says nothing about whether anything feels. Simulations prove structure, never acquaintance. That sentence ships verbatim in every tool's output notes, and no result on this page crosses it.

The repository

The full instrument — contracts, schemas, goldens, verification verdicts, and source — lives at github.com/bochen2029-pixel/ORRERY (goes live with publication). Every cited result carries a result.lock: tool version, binary hash, GPU architecture, CUDA version, seeds, parameters — enough to reconstruct the run from the repository at that commit.