{"query": "Number theory", "count": 20, "results": [{"id": "card_instr_number_theory", "title": "Number theory", "shelf": "codex", "surface": "secular", "snippet": "The Number theory verifier (src/concordance/verifiers/number_theory.py). Builds on: The Riemann-Siegel acceleration. On the one map it instruments: card_question_riemann. Found from the code's own imp", "authority_tier": "engine_derived", "source": "verifier: number_theory", "readable": false, "generated": false}, {"id": "card_theory_category_theory", "title": "Category theory (the mathematics of structure-preserving maps)", "shelf": "theories", "surface": "secular", "snippet": "Category theory (the mathematics of structure-preserving maps) — an engine domain that can touch it: mathematics. Calibration: map-only — an organising framework rather than a computation. Study objec", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_shannon_information_theory", "title": "Shannon information theory (entropy, channel capacity)", "shelf": "theories", "surface": "secular", "snippet": "Shannon information theory (entropy, channel capacity) — an engine domain that can touch it: information_theory. Calibration: seals. H = -Σ p log p. Information is measured by how much UNCERTAINTY a m", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_music_theory", "title": "Music theory (harmonic series, equal temperament)", "shelf": "theories", "surface": "secular", "snippet": "Music theory (harmonic series, equal temperament) — an engine domain that can touch it: music_theory. Calibration: seals — frequencies, intervals and temperament errors compute exactly. A vibrating st", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_dalton_s_atomic_theory", "title": "Dalton's atomic theory", "shelf": "theories", "surface": "secular", "snippet": "Dalton's atomic theory — an engine domain that can touch it: chemistry. Calibration: partial — mass ratios verify. Matter is made of indivisible atoms; all atoms of an element share a mass; compounds ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_mechanism_design___auction_theory", "title": "Mechanism design & auction theory", "shelf": "theories", "surface": "secular", "snippet": "Mechanism design & auction theory — an engine domain that can touch it: economics. Calibration: partial — auction outcomes and incentive conditions compute. Game theory run BACKWARDS: instead of askin", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_quantum_gravity_problem", "title": "Spacetime & the quantum-gravity problem (where physics ends)", "shelf": "theories", "surface": "secular", "snippet": "Spacetime & the quantum-gravity problem (where physics ends) — an engine domain that can touch it: physics. Calibration: map-only — the Planck quantities compute, but there is no accepted theory here ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_discrete_vs_continuous", "title": "Discrete versus continuous (the oldest dividing line)", "shelf": "theories", "surface": "secular", "snippet": "Discrete versus continuous (the oldest dividing line) — an engine domain that can touch it: number_theory. Calibration: map-only — a foundational distinction; specific cardinality results compute. Som", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_kinetic_theory_of_gases", "title": "Kinetic theory of gases", "shelf": "theories", "surface": "secular", "snippet": "Kinetic theory of gases — an engine domain that can touch it: thermodynamics. Calibration: partial — RMS speeds and mean free paths compute; the microscopic picture is a model. A gas is a swarm of mol", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_chemical_bonding", "title": "Chemical bonding (valence-bond / molecular-orbital)", "shelf": "theories", "surface": "secular", "snippet": "Chemical bonding (valence-bond / molecular-orbital) — an engine domain that can touch it: chemistry. Calibration: partial — some relations verify; the full theory is map-only. Atoms bond to lower thei", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_condensed_matter", "title": "Condensed matter & semiconductors (band theory and the transistor)", "shelf": "theories", "surface": "secular", "snippet": "Condensed matter & semiconductors (band theory and the transistor) — an engine domain that can touch it: materials_science. Calibration: map-only — band gaps and carrier concentrations compute; the fi", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_central_place_theory", "title": "Central place theory (Christaller)", "shelf": "theories", "surface": "secular", "snippet": "Central place theory (Christaller) — an engine domain that can touch it: geography. Calibration: partial — specific relations verify; the theory as a whole is not a sealable computation. Settlements a", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_periodic_law", "title": "Periodic law (Mendeleev)", "shelf": "theories", "surface": "secular", "snippet": "Periodic law (Mendeleev) — an engine domain that can touch it: periodic_table. Calibration: seals — element properties and group trends look up and compute. Arrange elements by atomic number and their", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_vsepr_theory", "title": "VSEPR theory (molecular geometry)", "shelf": "theories", "surface": "secular", "snippet": "VSEPR theory (molecular geometry) — an engine domain that can touch it: molecular_geometry. Calibration: seals — shapes and bond angles predict directly. Valence Shell Electron Pair Repulsion: electro", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_quantum_mechanics", "title": "Quantum mechanics (Schrödinger equation)", "shelf": "theories", "surface": "secular", "snippet": "Quantum mechanics (Schrödinger equation) — an engine domain that can touch it: physics. Calibration: partial — energy levels and specific relations verify; interpretation is map-only. A system is desc", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_translation_theory__formal_vs_dynamic_equivalence", "title": "Translation theory (formal vs dynamic equivalence)", "shelf": "theories", "surface": "secular", "snippet": "Translation theory (formal vs dynamic equivalence) — an engine domain that can touch it: linguistics. Calibration: map-only — out of scope for sealing — foundational, empirical or interpretive (RESONA", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_network_theory", "title": "Network theory (routing, addressing / CIDR)", "shelf": "theories", "surface": "secular", "snippet": "Network theory (routing, addressing / CIDR) — an engine domain that can touch it: networking. Calibration: seals — subnet masks, address ranges and prefix matches compute exactly. An IP address is spl", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_phase_theory", "title": "Phase theory (phase diagrams, Clausius–Clapeyron)", "shelf": "theories", "surface": "secular", "snippet": "Phase theory (phase diagrams, Clausius–Clapeyron) — an engine domain that can touch it: thermodynamics. Calibration: seals — phase boundaries and pressure-temperature relations compute. A phase diagra", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_landauer", "title": "Landauer's principle (erasing information costs heat)", "shelf": "theories", "surface": "secular", "snippet": "Landauer's principle (erasing information costs heat) — an engine domain that can touch it: information_theory. Calibration: seals — the energy bound computes exactly. ERASING one bit must dissipate a", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_superfluid_vacuum_theory", "title": "Superfluid vacuum theory (the vacuum as a quantum liquid)", "shelf": "theories", "surface": "secular", "snippet": "Superfluid vacuum theory (the vacuum as a quantum liquid) — an engine domain that can touch it: physics. Calibration: map-only — out of scope for sealing — foundational, empirical or interpretive (RES", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}], "house": {"door": "FIND", "kind": "cards", "trail": "results", "seal": null, "next_step": {"do": "open the top card", "door": "FIND", "tool": "card_get", "params": {"id": "card_instr_number_theory"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}