{"query": "The moat — zero false positives", "count": 20, "results": [{"id": "card_instr_the_moat", "title": "The moat — zero false positives", "shelf": "codex", "surface": "secular", "snippet": "The moat — zero false positives (tools/check.py): the hard gate: the benchmark must hold at 60/60 with 0 false positives, the suite must be whole (MANIFEST), the integrity core above its coverage floo", "authority_tier": "engine_derived", "source": "validator: the_moat", "readable": false, "generated": false}, {"id": "card_theory_non_euclidean_hyperbolic_elliptic_geometry", "title": "Non-Euclidean (hyperbolic / elliptic) geometry", "shelf": "theories", "surface": "secular", "snippet": "Non-Euclidean (hyperbolic / elliptic) geometry — an engine domain that can touch it: geometry. Calibration: partial — curvature relations verify; the choice of axioms is map-only. Deny Euclid's fifth ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_neuroscience", "title": "Neurons & the action potential (how a nerve carries a signal)", "shelf": "theories", "surface": "secular", "snippet": "Neurons & the action potential (how a nerve carries a signal) — an engine domain that can touch it: medicine. Calibration: seals — conduction velocities, membrane potentials and Nernst equilibria comp", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_homeostasis_physiological_regulation", "title": "Homeostasis & physiological regulation", "shelf": "theories", "surface": "secular", "snippet": "Homeostasis & physiological regulation — an engine domain that can touch it: medicine. Calibration: partial — specific indices compute; the framework is empirical. A body holds its internal conditions", "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_n_39715cad1f2f", "title": "1689 LBCF ch. 28: Of Baptism and the Lord's Supper", "shelf": "codex", "surface": "witness", "snippet": "Baptism and the Lord's Supper are ordinances of positive and sovereign institution, appointed by the Lord Jesus, the only lawgiver, to be continued in his church to the end of the world.", "authority_tier": "creed", "source": "1689 London Baptist Confession of Faith", "readable": false, "generated": false}, {"id": "card_floor_millennium", "title": "The Millennium floor - seven open questions, and where they connect", "shelf": "codex", "surface": "secular", "snippet": "The seven Millennium Prize Problems on the one map of reality. The FLOOR is what is proven or observed: the joints where two of the questions meet at one established thing - the GUE statistics shared ", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor (operator seed)", "readable": false, "generated": false}, {"id": "card_works_bayes", "title": "The base rate a doctor must not forget", "shelf": "the-works", "surface": "secular", "snippet": "A disease affects 1 in 100. A test is 90% sensitive and has a 5% false-positive rate. A positive result feels alarming — yet Bayes' theorem shows the chance of actually being ill is only about 15%. Th", "authority_tier": "verified", "source": "The Works — worked & sealed", "readable": false, "generated": false}, {"id": "card_src_mill_bochner_1946", "title": "S. Bochner 1946 — Vector fields and Ricci curvature", "shelf": "millennium", "surface": "secular", "snippet": "S. Bochner (1946). Vector fields and Ricci curvature. Bull. Amer. Math. Soc. 52 (1946) 776–797. DOI 10.1090/S0002-9904-1946-08647-4. Canonical: https://doi.org/10.1090/S0002-9904-1946-08647-4. Free co", "authority_tier": "reference", "source": "S. Bochner (1946), Bull. Amer. Math. Soc. 52 (1946) 776–797", "readable": false, "generated": false}, {"id": "card_src_mill_myers_1941", "title": "S. B. Myers 1941 — Riemannian manifolds with positive mean curvature", "shelf": "millennium", "surface": "secular", "snippet": "S. B. Myers (1941). Riemannian manifolds with positive mean curvature. Duke Math. J. 8 (1941) 401–404. DOI 10.1215/S0012-7094-41-00832-3. Canonical: https://doi.org/10.1215/S0012-7094-41-00832-3. No f", "authority_tier": "reference", "source": "S. B. Myers (1941), Duke Math. J. 8 (1941) 401–404", "readable": false, "generated": false}, {"id": "card_src_mill_hamilton_1982", "title": "R. S. Hamilton 1982 — Three-manifolds with positive Ricci curvature", "shelf": "millennium", "surface": "secular", "snippet": "R. S. Hamilton (1982). Three-manifolds with positive Ricci curvature. J. Differential Geom. 17 (1982) 255–306. DOI 10.4310/jdg/1214436922. Canonical: https://doi.org/10.4310/jdg/1214436922. Free copy:", "authority_tier": "reference", "source": "R. S. Hamilton (1982), J. Differential Geom. 17 (1982) 255–306", "readable": false, "generated": false}, {"id": "card_src_mill_davis_matiyasevich_robinson_1976", "title": "M. Davis 1976 — Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution", "shelf": "millennium", "surface": "secular", "snippet": "M. Davis, Yu. Matiyasevich, J. Robinson (1976). Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution. Proc. Symp. Pure Math. 28 (AMS, 1976) 323–378. DOI 10.1090/pspu", "authority_tier": "reference", "source": "M. Davis, Yu. Matiyasevich, J. Robinson (1976), Proc. Symp. Pure Math. 28 (AMS, 1976) 323–378", "readable": false, "generated": false}, {"id": "card_floor_riemann", "title": "The Riemann chain - from Euler's product and Legendre's count to the critical line", "shelf": "codex", "surface": "secular", "snippet": "Two trees. The analytic: Euler's product over the primes (1737), Dirichlet's L-functions (1837). The arithmetic: Legendre's guess at the prime count (1798), Gauss's logarithmic integral (counted 1792,", "authority_tier": "engine_derived", "source": "Narrow Highway - a chain on the one map (operator seed)", "readable": false, "generated": false}, {"id": "card_joint_bochner_vanishing", "title": "Positive Ricci curvature kills harmonic one-forms", "shelf": "codex", "surface": "secular", "snippet": "Bochner (1946): a closed manifold with positive Ricci curvature carries no non-zero harmonic one-form, so its first Betti number is zero - a Hodge-theoretic conclusion from the very hypothesis Hamilto", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}, {"id": "card_power_wiring_fuses", "title": "Wire thick, fuse close — the safety that prevents fires", "shelf": "energy", "surface": "secular", "snippet": "Low-voltage DC carries BIG amps, so undersized wire overheats and starts fires. Use wire thick enough for the current and the run length (thicker for more amps and longer runs), keep connections tight", "authority_tier": "reference", "source": "U.S. Department of Energy / NREL consumer energy guidance (public domain)", "readable": false, "generated": false}, {"id": "card_src_openstax_algebra_1_4_8_6_practice_6d0b9cdc", "title": "4.8.6 Practice — Algebra 1", "shelf": "mathematics", "surface": "secular", "snippet": "4.8.6\n\nPractice\n\n4.8.6 • Practice\n\nComplete the following questions to practice the skills you have learned in this lesson.\n\nUse the following information to answer questions 1 - 5.\n\nThe temperature w", "authority_tier": "reference", "source": "OpenStax: Algebra 1 (CC-BY 4.0)", "readable": false, "generated": false}, {"id": "card_src_openstax_college_physics_ap_courses_2e_test_prep_for_ap_courses_32d06aeb", "title": "Test Prep for AP® Courses — College Physics for AP® Courses 2e", "shelf": "physics", "surface": "secular", "snippet": "Test Prep for AP® Courses\n\n2.1\n\nDisplacement\n\n1.\n\nWhich of the following statements comparing position, distance traveled, and displacement is correct?\nAn object may record a distance traveled of zero", "authority_tier": "reference", "source": "OpenStax: College Physics for AP® Courses 2e (CC-BY 4.0)", "readable": false, "generated": false}, {"id": "card_src_openstax_college_physics_ap_courses_test_prep_for_ap_courses_a1b17cb3", "title": "Test Prep for AP® Courses — College Physics for AP® Courses", "shelf": "physics", "surface": "secular", "snippet": "Test Prep for AP® Courses\n\n2.1\n\nDisplacement\n\n1.\n\nWhich of the following statements comparing position, distance traveled, and displacement is correct?\nAn object may record a distance traveled of zero", "authority_tier": "reference", "source": "OpenStax: College Physics for AP® Courses (CC-BY 4.0)", "readable": false, "generated": false}, {"id": "card_src_hist_q779179", "title": "false positives in Colombia (2002)", "shelf": "history", "surface": "secular", "snippet": "false positives in Colombia — series of murders in Colombia by Colombian military and law enforcement between 2002-2008. A historical event, 2002-01-01. Attestation: widely attested (11 independent re", "authority_tier": "reference", "source": "Wikidata (CC0)", "readable": false, "generated": false}, {"id": "card_src_word_zero", "title": "zero", "shelf": "dictionary", "surface": "secular", "snippet": "zero: (noun) a quantity of no importance — syn: nothing, nil, nix, nada, null, aught · (noun) a mathematical element that when added to another number yields the same number — syn: 0, nought, cipher, ", "authority_tier": "reference", "source": "WordNet 3.0, Princeton University (WordNet License)", "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_the_moat"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}