A card from a free library — ask anything, no account, works offline. Every card carries its source.
The instruments — every verifier and validator, and where they join
floor
The engine's checking instruments on the one map: the 89 verifiers and the gate that validates them, joined by their real import graph (read from the code at seed time, so it cannot drift). A MEASURE spine runs si_units -> physical_constants -> scale_base -> the six scale libraries -> the domains, and its confluences - where several scales meet in one domain - are found, not declared: alpha_scale, astronomy, chemistry, grav_scale, molar_scale, photonics, physics, planck_scale, rela_scale, thermal_scale, thermodynamics. A LOGIC cluster runs _boolean -> mathematics / computer_science / formal_logic. Two small islands: number_theory <-> riemann_accel, and linguistics <- scripture. 55 leaf verifiers stand on the base alone - no inter-verifier joint, counted not forced (a miss stays a miss). Above them the gate: the derivation router, the moat, the seal, the doorkeeper. The instruments that produced a Millennium seal connect to the question they instrument.
- has part → Boolean algebra — the base of logic — a root of the instrument trees (Boolean algebra — the base of logic)
- has part → Elliptic curves — a root of the instrument trees (Elliptic curves)
- has part → Number theory — a root of the instrument trees (Number theory)
- has part → Scripture — a root of the instrument trees (Scripture)
- has part → SI units — the base of measure — a root of the instrument trees (SI units — the base of measure)
- has part → The Riemann-Siegel acceleration — a root of the instrument trees (The Riemann-Siegel acceleration)
Is this card incomplete? Tell the library — it will call out for more ↗