{"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: every registered verifier 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. 57 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)"}, {"to_card_id": "card_instr_spectral", "relationship": "has_part", "evidence": "a root of the instrument trees (Change of domain - the eigenbasis flip)"}, {"to_card_id": "card_capstone_narrow_way", "relationship": "connects_at", "evidence": "the moat: 0 false positives - the narrowing enforced in code"}, {"to_card_id": "card_capstone_fruit", "relationship": "connects_at", "evidence": "the fruit test enforced in code: a false positive is a predicted thing that does not hold"}, {"to_card_id": "card_thermo_entropy_information", "relationship": "connects_at", "evidence": "entropy = information: the information-theory instrument measures the same quantity in bits"}, {"to_card_id": "card_qm_uncertainty", "relationship": "connects_at", "evidence": "a proven limit on what can be known - the physical cousin of the moat's decline"}, {"to_card_id": "card_bio_genetic_code", "relationship": "connects_at", "evidence": "the genetic code is digital information - 64 codons, read by the information instrument"}, {"to_card_id": "card_mind_neural_computation", "relationship": "connects_at", "evidence": "the brain computes - neural coding and inference, the information instrument"}, {"to_card_id": "card_crypto_public_key", "relationship": "connects_at", "evidence": "modular exponentiation and number theory - the computational instruments"}, {"to_card_id": "card_crypto_perfect_secrecy", "relationship": "connects_at", "evidence": "perfect secrecy is an information-theory result - the key entropy equals the message's"}, {"to_card_id": "card_stats_describe", "relationship": "connects_at", "evidence": "descriptive statistics - the probability machinery of the instruments"}, {"to_card_id": "card_stats_infer", "relationship": "connects_at", "evidence": "inference - z-scores, p-values, confidence intervals on the probability machinery"}, {"to_card_id": "card_econ_time_value", "relationship": "connects_at", "evidence": "compound interest, present value and the rule of 72 - sealed finance arithmetic"}, {"to_card_id": "card_cs_bits", "relationship": "connects_at", "evidence": "the bit is Shannon information - the instruments measure it"}, {"to_card_id": "card_cs_logic_gates", "relationship": "connects_at", "evidence": "Boolean logic is the formal-logic instrument - gates from truth functions"}, {"to_card_id": "card_geography_coordinates", "relationship": "connects_at", "evidence": "coordinates and distance are geometry - the measure spine"}, {"to_card_id": "card_geography_projection", "relationship": "connects_at", "evidence": "map projection is geometry - no isometry from sphere to plane"}, {"to_card_id": "card_law_rules_and_inference", "relationship": "connects_at", "evidence": "law is deduction over rules - the formal-logic instrument"}, {"to_card_id": "card_net_capacity", "relationship": "connects_at", "evidence": "the Shannon-Hartley capacity - the information instrument"}, {"to_card_id": "card_astro_measurement", "relationship": "connects_at", "evidence": "the astronomy verifier - orbits and distances measured"}, {"to_card_id": "card_metro_base_units", "relationship": "connects_at", "evidence": "the 6-constant measure spine defines the units"}, {"to_card_id": "card_metro_conversion", "relationship": "connects_at", "evidence": "dimensional analysis - a sealed number carries its unit"}, {"to_card_id": "card_music_pitch", "relationship": "connects_at", "evidence": "the music verifier seals the interval and tuning arithmetic"}, {"to_card_id": "card_k_floor_of_discovery", "relationship": "part_of", "evidence": "the engine's instruments on the one map"}, {"to_card_id": "card_floor_the_solve_path", "relationship": "supports", "evidence": "the two doors are instruments: get close (approximation) and change of domain (spectral)"}, {"to_card_id": "card_tool_slide_rule", "relationship": "has_part", "evidence": "a low-tech instrument: multiplication by sliding logarithms"}, {"to_card_id": "card_tool_schumann_resonance", "relationship": "has_part", "evidence": "a sealed resonance fit - the planet's cavity tone"}, {"to_card_id": "card_tool_the_engine_among_the_instruments", "relationship": "has_part", "evidence": "the engine's place in the line of deterministic instruments"}, {"to_card_id": "card_tool_reservoir_computing", "relationship": "has_part", "evidence": "a low-tech instrument: a bucket of water computes by structure; only the readout is trained"}, {"to_card_id": "card_tool_resonators", "relationship": "has_part", "evidence": "three resonators, one shape: standing waves on a bounded domain, counted by integers"}], "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}, {"id": "card_instr_spectral", "title": "Change of domain - the eigenbasis flip", "relationship": "has part", "why": "a root of the instrument trees (Change of domain - the eigenbasis flip)", "href": "/card/card_instr_spectral", "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"}}