{"query": "Logic gates — the 16 functions of two inputs", "count": 20, "results": [{"id": "card_cs_logic_gates", "title": "Logic gates — the 16 functions of two inputs", "shelf": "codex", "surface": "secular", "snippet": "Of two inputs there are exactly 2^(2^2) = 16 Boolean functions (sealed) - AND, OR, XOR, NAND and the rest; NAND alone builds them all. From gates come adders, memory and processors. All computation is", "authority_tier": "engine_derived", "source": "Narrow Highway — computer science", "readable": false, "generated": false}, {"id": "card_theory_biological_nitrogen_fixation", "title": "Crop rotation & biological nitrogen fixation (the low-input path)", "shelf": "theories", "surface": "secular", "snippet": "Crop rotation & biological nitrogen fixation (the low-input path) — an engine domain that can touch it: agriculture. Calibration: map-only — rotation effects are empirical; nutrient budgets compute. L", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_church_turing_thesis_computability", "title": "Church–Turing thesis / computability", "shelf": "theories", "surface": "secular", "snippet": "Church–Turing thesis / computability — an engine domain that can touch it: computer_science. Calibration: map-only — a thesis, not a theorem. Everything effectively computable is computable by a Turin", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_differential_equations", "title": "Differential equations (the language every physical law is written in)", "shelf": "theories", "surface": "secular", "snippet": "Differential equations (the language every physical law is written in) — an engine domain that can touch it: mathematics. Calibration: seals — solutions verify by substitution; specific integrations c", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_agricultural_science", "title": "Agricultural science (yield, soil-pH suitability)", "shelf": "theories", "surface": "secular", "snippet": "Agricultural science (yield, soil-pH suitability) — an engine domain that can touch it: agriculture. Calibration: seals — yield, spacing, seeding rates and pH suitability compute. Yield is the product", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_stoichiometry_the_mole_concept", "title": "Stoichiometry & the mole concept", "shelf": "theories", "surface": "secular", "snippet": "Stoichiometry & the mole concept — an engine domain that can touch it: chemistry. Calibration: seals — molar masses, yields and limiting reagents compute exactly. A mole is 6.022×10²³ particles, chose", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_law_of_the_minimum", "title": "Liebig's law of the minimum (what actually limits growth)", "shelf": "theories", "surface": "secular", "snippet": "Liebig's law of the minimum (what actually limits growth) — an engine domain that can touch it: soil_science. Calibration: seals — nutrient ratios and deficiency thresholds compute. Growth is limited ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_structural_generative_linguistics", "title": "Structural & generative linguistics (Saussure, Chomsky)", "shelf": "theories", "surface": "secular", "snippet": "Structural & generative linguistics (Saussure, Chomsky) — an engine domain that can touch it: linguistics. Calibration: map-only — interpretive; specific phonological and syntactic rules compute. SAUS", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_cryptographic_security", "title": "Cryptographic security (hashing, checksums, PKI)", "shelf": "theories", "surface": "secular", "snippet": "Cryptographic security (hashing, checksums, PKI) — an engine domain that can touch it: cybersecurity. Calibration: seals — digests and signatures verify exactly. Three different things people routinel", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_optimization", "title": "Optimization & gradient descent (following the slope)", "shelf": "theories", "surface": "secular", "snippet": "Optimization & gradient descent (following the slope) — an engine domain that can touch it: mathematics. Calibration: seals — gradients, step updates and convexity conditions compute. Find the input t", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_domchk_periodic_table_claimed_atomic_number", "title": "Periodic Table: atomic number", "shelf": "periodic_table", "surface": "secular", "snippet": "A worked check in periodic table: atomic number.\n\nGIVEN\n  symbol = Fe\n\nCLAIMED\n  claimed_atomic_number = 26\n\nTHE ENGINE'S VERDICT\n  periodic_table.element: CONFIRMED — Fe (iron, Z=26) — definitional c", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "readable": false, "generated": false}, {"id": "card_domchk_atomic_claimed_subshell_capacity", "title": "Atomic: subshell capacity", "shelf": "atomic", "surface": "secular", "snippet": "A worked check in atomic: subshell capacity.\n\nGIVEN\n  l = 2\n  n = 3\n  subshell_l = 2\n\nCLAIMED\n  claimed_subshell_capacity = 10\n\nTHE ENGINE'S VERDICT\n  atomic.quantum_numbers: CONFIRMED — valid quantum", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "readable": false, "generated": false}, {"id": "card_domchk_atomic_claimed_shell_capacity", "title": "Atomic: shell capacity", "shelf": "atomic", "surface": "secular", "snippet": "A worked check in atomic: shell capacity.\n\nGIVEN\n  l = 2\n  n = 3\n  shell_n = 3\n  subshell_l = 2\n\nCLAIMED\n  claimed_shell_capacity = 18\n\nTHE ENGINE'S VERDICT\n  atomic.quantum_numbers: CONFIRMED — valid", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "readable": false, "generated": false}, {"id": "card_domchk_atomic_claimed_valid_quantum_numbers", "title": "Atomic: valid quantum numbers", "shelf": "atomic", "surface": "secular", "snippet": "A worked check in atomic: valid quantum numbers.\n\nGIVEN\n  l = 2\n  n = 3\n\nCLAIMED\n  claimed_valid_quantum_numbers = True\n\nTHE ENGINE'S VERDICT\n  atomic.quantum_numbers: CONFIRMED — validity True matche", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "readable": false, "generated": false}, {"id": "card_domchk_atomic_claimed_configuration", "title": "Atomic: configuration", "shelf": "atomic", "surface": "secular", "snippet": "A worked check in atomic: configuration.\n\nGIVEN\n  atomic_number = 24\n  l = 2\n  n = 3\n  shell_n = 3\n  subshell_l = 2\n\nCLAIMED\n  claimed_configuration = [Ar] 3d5 4s1\n\nTHE ENGINE'S VERDICT\n  atomic.quant", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "readable": false, "generated": false}, {"id": "card_domchk_periodic_table_claimed_atomic_mass", "title": "Periodic Table: atomic mass", "shelf": "periodic_table", "surface": "secular", "snippet": "A worked check in periodic table: atomic mass.\n\nGIVEN\n  isotopes = [{'abundance': 5.845, 'mass': 53.9396}, {'abundance': 91.754, 'mass': 55.9349}, {'abundance': 2.119, 'mass': 56.9354}, {'abundance': ", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "readable": false, "generated": false}, {"id": "card_tool_sha256", "title": "SHA-256 / BLAKE3 cryptographic hashing", "shelf": "tools", "surface": "secular", "snippet": "SHA-256 / BLAKE3 cryptographic hashing — cryptography. GOOD AT: a fixed-size, collision-resistant fingerprint of any input — same bytes always hash the same, different bytes practically never collide.", "authority_tier": "battle-tested standard", "source": "The Tool Concordance — discern, connect, incorporate", "readable": false, "generated": false}, {"id": "card_domchk_thermodynamics_claimed_efficiency", "title": "Thermodynamics: efficiency", "shelf": "thermodynamics", "surface": "secular", "snippet": "A worked check in thermodynamics: efficiency.\n\nGIVEN\n  T_cold_K = 300\n  T_hot_K = 600\n  mass_kg = 1\n  moles = 1\n  temperature_K = 300\n\nCLAIMED\n  claimed_efficiency = 0.5\n\nTHE ENGINE'S VERDICT\n  thermo", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "readable": false, "generated": false}, {"id": "card_domchk_cybersecurity_claimed_entropy_bits", "title": "Cybersecurity: entropy bits", "shelf": "cybersecurity", "surface": "secular", "snippet": "A worked check in cybersecurity: entropy bits.\n\nGIVEN\n  charset_size = 94\n  cidr_prefix = 24\n  cvss_base_score = 9.1\n  password_length = 16\n  port_number = 443\n  tls_version = 1.2\n\nCLAIMED\n  claimed_e", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "readable": false, "generated": false}, {"id": "card_domchk_quantum_computing_claimed_normalized", "title": "Quantum Computing: normalized", "shelf": "quantum_computing", "surface": "secular", "snippet": "A worked check in quantum computing: normalized.\n\nGIVEN\n  amplitudes = [0.6, 0.8]\n  density_eigenvalues = [0.5, 0.5]\n  inner_product = 0.707\n  n_items = 64\n  qber = 0.09\n  qber_threshold = 0.11\n  shor", "authority_tier": "reference", "source": "The verifier's own documented relation, and a run this engine performed against it (deterministic; re-runnable with tools/domain_goldens.py)", "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_cs_logic_gates"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}