{"query": "The Floor of Discovery — one floor, and by its design the fe", "count": 20, "results": [{"id": "card_theory_bayes_theorem", "title": "Bayes' theorem", "shelf": "theories", "surface": "secular", "snippet": "Bayes' theorem — an engine domain that can touch it: probability. Calibration: seals. P(H|E) = P(E|H)·P(H) / P(E). How to update a belief when evidence arrives: posterior ∝ likelihood × prior. A trivi", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_group_theory", "title": "Group theory & symmetry (the mathematics of what stays the same)", "shelf": "theories", "surface": "secular", "snippet": "Group theory & symmetry (the mathematics of what stays the same) — an engine domain that can touch it: mathematics. Calibration: seals — group orders, subgroup structure and symmetry counts compute. A", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_structural_statics", "title": "Structural statics (load, moment, floor-area ratio)", "shelf": "theories", "surface": "secular", "snippet": "Structural statics (load, moment, floor-area ratio) — an engine domain that can touch it: architecture. Calibration: seals — reactions, moments and load paths compute. Nothing accelerates, so forces a", "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_labor_economics", "title": "Labor economics (minimum wage, overtime law)", "shelf": "theories", "surface": "secular", "snippet": "Labor economics (minimum wage, overtime law) — an engine domain that can touch it: labor. Calibration: seals — wage, hour and overtime calculations compute exactly. Labour is bought and sold, but not ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_null_hypothesis_significance_testing", "title": "Null-hypothesis significance testing (Fisher / Neyman–Pearson)", "shelf": "theories", "surface": "secular", "snippet": "Null-hypothesis significance testing (Fisher / Neyman–Pearson) — an engine domain that can touch it: statistics. Calibration: seals — a p-value recomputes exactly. Assume the null hypothesis, compute ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_fixed_point_theorems__brouwer__kakutani", "title": "Fixed-point theorems (Brouwer, Kakutani)", "shelf": "theories", "surface": "secular", "snippet": "Fixed-point theorems (Brouwer, Kakutani) — an engine domain that can touch it: mathematics. Calibration: map-only — an existence proof, not a computation. Brouwer: any continuous map of a convex compa", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_cell_theory", "title": "Cell theory", "shelf": "theories", "surface": "secular", "snippet": "Cell theory — an engine domain that can touch it: biology. Calibration: map-only — a foundational empirical claim. All living things are made of cells; the cell is the basic unit of structure and func", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_topology", "title": "Topology (what survives stretching)", "shelf": "theories", "surface": "secular", "snippet": "Topology (what survives stretching) — an engine domain that can touch it: mathematics. Calibration: map-only — specific invariants compute; the classification results are proofs, not computations. Geo", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_comparative_advantage", "title": "Comparative advantage", "shelf": "theories", "surface": "secular", "snippet": "Comparative advantage — an engine domain that can touch it: economics. Calibration: seals — opportunity-cost ratios compute. Ricardo, 1817, and the least intuitive true statement in economics: two par", "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_digital_analog", "title": "Digital versus analog (why discreteness survives copying)", "shelf": "theories", "surface": "secular", "snippet": "Digital versus analog (why discreteness survives copying) — an engine domain that can touch it: computer_science. Calibration: map-only — sampling rates and bit depth are ordinary arithmetic, and THIS", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_fourier_analysis___signal_processing", "title": "Fourier analysis & signal processing", "shelf": "theories", "surface": "secular", "snippet": "Fourier analysis & signal processing — an engine domain that can touch it: mathematics. Calibration: seals. Any well-behaved signal is a sum of sinusoids, and the transform moves freely between the ti", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_statistical_mechanics", "title": "Statistical mechanics (Boltzmann — why the second law is a counting argument)", "shelf": "theories", "surface": "secular", "snippet": "Statistical mechanics (Boltzmann — why the second law is a counting argument) — an engine domain that can touch it: thermodynamics. Calibration: seals — Boltzmann distributions, partition functions an", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_fundamental_theorem_of_calculus", "title": "Fundamental theorem of calculus", "shelf": "theories", "surface": "secular", "snippet": "Fundamental theorem of calculus — an engine domain that can touch it: mathematics. Calibration: seals. Differentiation and integration are inverse operations. Part one: the derivative of the accumulat", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_linear_algebra", "title": "Linear algebra (vector spaces, eigenvalues)", "shelf": "theories", "surface": "secular", "snippet": "Linear algebra (vector spaces, eigenvalues) — an engine domain that can touch it: linear_algebra. Calibration: seals. Vectors, the linear maps between them, and matrices as those maps written down. Th", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_computational_complexity__p__np__reductions", "title": "Computational complexity (P, NP, reductions)", "shelf": "theories", "surface": "secular", "snippet": "Computational complexity (P, NP, reductions) — an engine domain that can touch it: computer_science. Calibration: map-only — P vs NP is open, and this card says so. Not whether a problem can be solved", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_special_relativity", "title": "Special relativity", "shelf": "theories", "surface": "secular", "snippet": "Special relativity — an engine domain that can touch it: physics. Calibration: partial — Lorentz and E = mc² relations verify; the postulates are map-only. Two postulates (Einstein, 1905): the laws of", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "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_statistical_learning_theory__bias_variance__generali", "title": "Statistical learning theory (bias-variance, generalization)", "shelf": "theories", "surface": "secular", "snippet": "Statistical learning theory (bias-variance, generalization) — an engine domain that can touch it: statistics. Calibration: map-only — bounds are asymptotic and assumption-laden. Why fitting the data y", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}]}