{"query": "Pilgrim's Progress §404: The Conclusion.", "count": 20, "results": [{"id": "card_theory_aristotelian_rhetoric_fallacy_taxonomy", "title": "Aristotelian rhetoric & fallacy taxonomy", "shelf": "theories", "surface": "secular", "snippet": "Aristotelian rhetoric & fallacy taxonomy — an engine domain that can touch it: rhetoric. Calibration: map-only — interpretive; fallacy identification is checkable. Aristotle's three appeals: ETHOS (th", "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_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_n_b338f50eaf62", "title": "Pilgrim's Progress §404: The Conclusion.", "shelf": "classics", "surface": "secular", "snippet": "The Conclusion. Now, Reader, I have told my dream to thee; See if thou canst interpret it to me, Or to thyself, or neighbour; but take heed Of misinterpreting; for that, instead Of doing good, will bu", "authority_tier": "external_aligned", "source": "John Bunyan, Pilgrim's Progress (1678)", "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_n_65a5bd511d27", "title": "He Leads, You Move", "shelf": "codex", "surface": "witness", "snippet": "He calleth his own sheep by name, and leadeth them out.\n\nThere is a small, easily missed word in this verse: leadeth. Not pushes, not shouts from behind, not sends a map. Leads. The shepherd moves fir", "authority_tier": "operator", "source": "Narrow Highway devotional — 2026-06-14", "readable": false, "generated": false}, {"id": "card_n_b9271c5dd9c8", "title": "Westminster Shorter Q107", "shelf": "codex", "surface": "witness", "snippet": "What doth the conclusion of the Lord's prayer teach us?\n\nThe conclusion of the Lord's prayer, which is, 'For thine is the kingdom, and the power, and the glory, for ever, Amen,' teacheth us to take ou", "authority_tier": "catechism", "source": "Westminster Shorter Catechism (1647)", "readable": false, "generated": false}, {"id": "card_domchk_formal_logic_claimed_tautology", "title": "Formal Logic: tautology", "shelf": "formal_logic", "surface": "secular", "snippet": "A worked check in formal logic: tautology.\n\nGIVEN\n  conclusion = q\n  formula = p & q\n\nCLAIMED\n  claimed_tautology = False\n\nTHE ENGINE'S VERDICT\n  formal_logic.tautology: CONFIRMED — formula 'p & q' ta", "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_src_etym_conclusion", "title": "conclusion", "shelf": "etymology", "surface": "secular", "snippet": "conclusion: etymology (Webster 1913) — n.: [F., fr. L. conclusio. See Conclude.]. From Webster's Revised Unabridged Dictionary (1913), public domain.", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_domchk_formal_logic_claimed_entailment", "title": "Formal Logic: entailment", "shelf": "formal_logic", "surface": "secular", "snippet": "A worked check in formal logic: entailment.\n\nGIVEN\n  conclusion = q\n  premises = [p, p >> q]\n\nCLAIMED\n  claimed_entailment = True\n\nTHE ENGINE'S VERDICT\n  formal_logic.entailment: CONFIRMED — premises ", "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_principle_thucydides_b1f7e5e3ee", "title": "Thucydides: The opinions of the majority all led to the same conclusion; the Athenians were open aggressors, and war must ", "shelf": "strategy", "surface": "secular", "snippet": "The opinions of the majority all led to the same conclusion; the Athenians were open aggressors, and war must be declared at once.", "authority_tier": "primary", "source": "Thucydides, The History of the Peloponnesian War (tr. Richard Crawley) (1874) — Project Gutenberg #7142, public domain", "readable": true, "generated": false}, {"id": "card_principle_abraham_lincoln_898cb05e4e", "title": "Abraham Lincoln: They are estopped from denying it, and being estopped from denying it, the conclusion follows that, the Consti", "shelf": "strategy", "surface": "secular", "snippet": "They are estopped from denying it, and being estopped from denying it, the conclusion follows that, the Constitution of the United States being the supreme law, no constitution or law can interfere wi", "authority_tier": "primary", "source": "Abraham Lincoln, The Papers and Writings of Abraham Lincoln (complete) (1865) — Project Gutenberg #3253, public domain", "readable": true, "generated": false}, {"id": "card_domchk_rhetoric_claimed_valid", "title": "Rhetoric: valid", "shelf": "rhetoric", "surface": "secular", "snippet": "A worked check in rhetoric: valid.\n\nGIVEN\n  conclusion = All S are P\n  fallacy_name = ad hominem\n  has_conclusion = True\n  has_premise = True\n  has_warrant = False\n  major_premise = All M are P\n  mino", "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_src_etym_paralogize", "title": "paralogize", "shelf": "etymology", "surface": "secular", "snippet": "paralogize: etymology (Webster 1913) — v. i.: [Gr. Defn: To reason falsely; to draw conclusions not warranted by the premises. (R.)]. From Webster's Revised Unabridged Dictionary (1913), public domain", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_etym_epichirema", "title": "epichirema", "shelf": "etymology", "surface": "secular", "snippet": "epichirema: etymology (Webster 1913) — n.: [L., fr. Gr. (Rhet. & Logic) Defn: A syllogism in which the proof of the major or minor premise, or both, is introduced with the premises themselves, and the", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_src_etym_hysteron_proteron", "title": "hysteron proteron", "shelf": "etymology", "surface": "secular", "snippet": "hysteron proteron: etymology (Webster 1913) — [NL., fr. Gr. (Rhet.) (a) A figure in which the natural order of sense is reversed; hysterology; as, valet atque vivit, \"he is well and lives.\" (b) An inv", "authority_tier": "reference", "source": "Webster's Revised Unabridged Dictionary (1913), Project Gutenberg eBook #29765 — public domain", "readable": true, "generated": false}, {"id": "card_seal_650f17c64989b3574a404c8a8f9e175a8ff8034d8324ff7a323aeaf31d02a6e9", "title": "Receipt 650f17c64989… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"axis_coords\": {\n  \"axis\": \"formal_logic\",\n  \"dimensions\": [\n   \"discreteness\",\n   \"reasoning\"\n  ]\n },\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_s", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_768f70a2a8fa36e3bffcc1033c5e4bf1f083e8600c1b1d126ed4e9128a853a34", "title": "Receipt 768f70a2a8fa… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"axis_coords\": {\n  \"axis\": \"formal_logic\",\n  \"dimensions\": [\n   \"discreteness\",\n   \"reasoning\"\n  ]\n },\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_s", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_1773656b31450ec19add148bcc817315cb5c55519c799e6d1f6d87a98f4696d7", "title": "Receipt 1773656b3145… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"axis_coords\": {\n  \"axis\": \"formal_logic\",\n  \"dimensions\": [\n   \"discreteness\",\n   \"reasoning\"\n  ]\n },\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_s", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_4ae4b41e9e156dfae4f9c1b4f2ac064c4ca6dd6f120fadae79a3550385469f08", "title": "Receipt 4ae4b41e9e15… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"axis_coords\": {\n  \"axis\": \"formal_logic\",\n  \"dimensions\": [\n   \"discreteness\",\n   \"reasoning\"\n  ]\n },\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_s", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "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_theory_aristotelian_rhetoric_fallacy_taxonomy"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}