{"query": "Boethius, Consolation §boe_02_05: 'But since my reasonings b", "count": 20, "results": [{"id": "card_theory_boolean_algebra_propositional_logic", "title": "Boolean algebra / propositional logic", "shelf": "theories", "surface": "secular", "snippet": "Boolean algebra / propositional logic — an engine domain that can touch it: formal_logic. Calibration: seals. Two values and three operations — AND, OR, NOT — with laws of their own (De Morgan's, dist", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_formal_logic_epistemology", "title": "Formal logic & epistemology (validity, inference)", "shelf": "theories", "surface": "secular", "snippet": "Formal logic & epistemology (validity, inference) — an engine domain that can touch it: philosophy. Calibration: map-only — validity checks compute; epistemology is interpretive. VALIDITY and TRUTH ar", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_kolmogorov_complexity", "title": "Algorithmic information (Kolmogorov complexity)", "shelf": "theories", "surface": "secular", "snippet": "Algorithmic information (Kolmogorov complexity) — an engine domain that can touch it: computer_science. Calibration: map-only — out of scope for sealing — foundational, empirical or interpretive (RESO", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_pythagorean_theorem", "title": "Pythagorean theorem", "shelf": "theories", "surface": "secular", "snippet": "Pythagorean theorem — an engine domain that can touch it: geometry. Calibration: seals. In a right triangle, a² + b² = c². Known in practice to Babylonian and Egyptian builders long before its Greek p", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_spectral_geometry", "title": "Spectral geometry (can one hear the shape of a drum?)", "shelf": "theories", "surface": "secular", "snippet": "Spectral geometry (can one hear the shape of a drum?) — an engine domain that can touch it: mathematics. Calibration: partial — specific relations verify; the theory as a whole is not a sealable compu", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "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_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_information_geometry", "title": "Information geometry (statistics as curved space)", "shelf": "theories", "surface": "secular", "snippet": "Information geometry (statistics as curved space) — an engine domain that can touch it: mathematics. Calibration: partial — specific relations verify; the theory as a whole is not a sealable computati", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_singular_value_decomposition", "title": "Singular value decomposition (SVD)", "shelf": "theories", "surface": "secular", "snippet": "Singular value decomposition (SVD) — an engine domain that can touch it: linear_algebra. Calibration: seals — a deterministic verifier can CONFIRM or BREAK checkable claims drawn from it, and seal the", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_platonic_solids", "title": "The five Platonic solids", "shelf": "theories", "surface": "secular", "snippet": "The five Platonic solids — an engine domain that can touch it: geometry. Calibration: seals — a deterministic verifier can CONFIRM or BREAK checkable claims drawn from it, and seal them. There are EXA", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_golden_ratio_phyllotaxis", "title": "The golden ratio & phyllotaxis", "shelf": "theories", "surface": "secular", "snippet": "The golden ratio & phyllotaxis — an engine domain that can touch it: mathematics. Calibration: seals — a deterministic verifier can CONFIRM or BREAK checkable claims drawn from it, and seal them. phi ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_quantum_error_correction", "title": "Quantum error correction & the threshold theorem", "shelf": "theories", "surface": "secular", "snippet": "Quantum error correction & the threshold theorem — an engine domain that can touch it: quantum_computing. Calibration: partial — specific relations verify; the theory as a whole is not a sealable comp", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_fundamental_theorem_of_algebra", "title": "Fundamental theorem of algebra", "shelf": "theories", "surface": "secular", "snippet": "Fundamental theorem of algebra — an engine domain that can touch it: mathematics. Calibration: partial — root counts verify; the existence proof is map-only. Every non-constant polynomial with complex", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_noncommutative_geometry", "title": "Noncommutative geometry & the spectral triple (Connes)", "shelf": "theories", "surface": "secular", "snippet": "Noncommutative geometry & the spectral triple (Connes) — an engine domain that can touch it: mathematics. Calibration: map-only — out of scope for sealing — foundational, empirical or interpretive (RE", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_fundamental_theorem_of_arithmetic", "title": "Fundamental theorem of arithmetic (unique factorization)", "shelf": "theories", "surface": "secular", "snippet": "Fundamental theorem of arithmetic (unique factorization) — an engine domain that can touch it: number_theory. Calibration: seals. Every integer greater than 1 is a product of primes in exactly one way", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_topological_quantum_computation", "title": "Topological quantum computation (non-Abelian / Fibonacci anyons)", "shelf": "theories", "surface": "secular", "snippet": "Topological quantum computation (non-Abelian / Fibonacci anyons) — an engine domain that can touch it: quantum_computing. Calibration: partial — specific relations verify; the theory as a whole is not", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (lone-domain seeding)", "readable": false, "generated": false}, {"id": "card_theory_combinatorial_enumeration", "title": "Combinatorial enumeration (permutations, combinations, binomial)", "shelf": "theories", "surface": "secular", "snippet": "Combinatorial enumeration (permutations, combinations, binomial) — an engine domain that can touch it: combinatorics. Calibration: seals. Counting arrangements without listing them. Permutations when ", "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_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_law_of_large_numbers", "title": "Law of large numbers", "shelf": "theories", "surface": "secular", "snippet": "Law of large numbers — an engine domain that can touch it: statistics. Calibration: partial — convergence checks verify; the limit statement is map-only. As a sample grows, its mean converges to the t", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}]}