{"id": "card_instr_mathematics", "kind": "reference", "title": "Mathematics — the numeric substrate", "body": "The Mathematics — the numeric substrate verifier (src/concordance/verifiers/mathematics.py). Builds on: Boolean algebra — the base of logic. On the one map it instruments: card_floor_logarithm. Found from the code's own imports, never invented; the module keeps the logic, this card is a pointer.", "source": {"label": "verifier: mathematics", "url": "", "ref": "src/concordance/verifiers/mathematics.py", "domain": "mathematics", "authority_tier": "engine_derived"}, "shelf": "codex", "box": "instrument", "bands": ["instrument", "verifier", "one map", "mathematics"], "subject": "Mathematics — the numeric substrate", "connections": [{"to_card_id": "card_spine_instruments", "relationship": "member_of", "evidence": "an instrument on the one map"}, {"to_card_id": "card_instr_boolean", "relationship": "builds_on", "evidence": "Mathematics — the numeric substrate imports Boolean algebra — the base of logic"}, {"to_card_id": "card_instr_derivation", "relationship": "enables", "evidence": "the gate: The derivation router routes to every verifier"}, {"to_card_id": "card_floor_logarithm", "relationship": "connects_at", "evidence": "instruments the map: mathematics' numeric mode evaluates every expression the whole map seals - including li(1000), log 2, the law of the wall - the universal instrument"}], "author": "engine", "created_at": 0.0, "updated_at": 0.0, "visibility": "public", "lifecycle_stage": "public", "volatility": "permanent", "surface": "secular", "generated": false, "call": "codex.instrument", "facets": {"subject": ["mathematics", "one map", "verifier"]}, "presentation": {"glyph": "•", "kind_label": "instrument", "by": "verifier: mathematics", "authority": "engine_derived", "posted": "", "standing": ""}, "neighbors": [{"id": "card_spine_instruments", "title": "The instruments — a spine of the one map", "relationship": "on the shelf of", "why": "an instrument on the one map", "href": "/card/card_spine_instruments", "resolved": true}, {"id": "card_instr_boolean", "title": "Boolean algebra — the base of logic", "relationship": "builds on", "why": "Mathematics — the numeric substrate imports Boolean algebra — the base of logic", "href": "/card/card_instr_boolean", "resolved": true}, {"id": "card_instr_derivation", "title": "The derivation router", "relationship": "enables", "why": "the gate: The derivation router routes to every verifier", "href": "/card/card_instr_derivation", "resolved": true}, {"id": "card_floor_logarithm", "title": "The logarithm - the instrument the joints share", "relationship": "connects at", "why": "instruments the map: mathematics' numeric mode evaluates every expression the whole map seals - including li(1000), log 2, the law of the wall - the universal instrument", "href": "/card/card_floor_logarithm", "resolved": true}], "house": {"door": "FIND", "kind": "card", "trail": "connections", "seal": "/card/card_instr_mathematics", "next_step": {"do": "follow a connection: what this card rests on, and what rests on it", "door": "FIND", "tool": "card_connections", "params": {"id": "card_instr_mathematics"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}