{"id": "card_floor_the_instruments", "kind": "note", "title": "The instruments — every verifier and validator, and where they join", "body": "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.", "source": {"label": "Narrow Highway - the instruments on the one map (found from the import graph)", "url": "", "ref": "src/concordance/verifiers/", "authority_tier": "engine_derived"}, "shelf": "codex", "box": "floor", "bands": ["floor", "instruments", "verifiers", "validators", "gate", "two trees", "one map"], "subject": "The instruments", "connections": [{"to_card_id": "card_instr_boolean", "relationship": "has_part", "evidence": "a root of the instrument trees (Boolean algebra — the base of logic)"}, {"to_card_id": "card_instr_elliptic_curves", "relationship": "has_part", "evidence": "a root of the instrument trees (Elliptic curves)"}, {"to_card_id": "card_instr_number_theory", "relationship": "has_part", "evidence": "a root of the instrument trees (Number theory)"}, {"to_card_id": "card_instr_scripture", "relationship": "has_part", "evidence": "a root of the instrument trees (Scripture)"}, {"to_card_id": "card_instr_si_units", "relationship": "has_part", "evidence": "a root of the instrument trees (SI units — the base of measure)"}, {"to_card_id": "card_instr_riemann_accel", "relationship": "has_part", "evidence": "a root of the instrument trees (The Riemann-Siegel acceleration)"}, {"to_card_id": "card_instr_approximation", "relationship": "has_part", "evidence": "a root of the instrument trees (Get close - a bounded estimate)"}], "author": "engine", "created_at": 0.0, "updated_at": 0.0, "visibility": "public", "lifecycle_stage": "public", "volatility": "permanent", "surface": "secular", "generated": false, "call": "codex.floor", "facets": {"subject": ["gate", "instruments", "one map", "two trees", "validators", "verifiers"]}, "presentation": {"glyph": "•", "kind_label": "floor", "by": "Narrow Highway - the instruments on the one map (found from the import graph)", "authority": "engine_derived", "posted": "", "standing": ""}, "neighbors": [{"id": "card_instr_boolean", "title": "Boolean algebra — the base of logic", "relationship": "has part", "why": "a root of the instrument trees (Boolean algebra — the base of logic)", "href": "/card/card_instr_boolean", "resolved": true}, {"id": "card_instr_elliptic_curves", "title": "Elliptic curves", "relationship": "has part", "why": "a root of the instrument trees (Elliptic curves)", "href": "/card/card_instr_elliptic_curves", "resolved": true}, {"id": "card_instr_number_theory", "title": "Number theory", "relationship": "has part", "why": "a root of the instrument trees (Number theory)", "href": "/card/card_instr_number_theory", "resolved": true}, {"id": "card_instr_scripture", "title": "Scripture", "relationship": "has part", "why": "a root of the instrument trees (Scripture)", "href": "/card/card_instr_scripture", "resolved": true}, {"id": "card_instr_si_units", "title": "SI units — the base of measure", "relationship": "has part", "why": "a root of the instrument trees (SI units — the base of measure)", "href": "/card/card_instr_si_units", "resolved": true}, {"id": "card_instr_riemann_accel", "title": "The Riemann-Siegel acceleration", "relationship": "has part", "why": "a root of the instrument trees (The Riemann-Siegel acceleration)", "href": "/card/card_instr_riemann_accel", "resolved": true}, {"id": "card_instr_approximation", "title": "Get close - a bounded estimate", "relationship": "has part", "why": "a root of the instrument trees (Get close - a bounded estimate)", "href": "/card/card_instr_approximation", "resolved": true}], "house": {"door": "FIND", "kind": "card", "trail": "connections", "seal": "/card/card_floor_the_instruments", "next_step": {"do": "follow a connection: what this card rests on, and what rests on it", "door": "FIND", "tool": "card_connections", "params": {"id": "card_floor_the_instruments"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}