{"query": "Pilgrim's Progress §404: The Conclusion.", "count": 20, "results": [{"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_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_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_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_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_domchk_formal_logic_claimed_equivalent", "title": "Formal Logic: equivalent", "shelf": "formal_logic", "surface": "secular", "snippet": "A worked check in formal logic: equivalent.\n\nGIVEN\n  conclusion = q\n  formula_a = p | q\n  formula_b = ~(~p & ~q)\n\nCLAIMED\n  claimed_equivalent = True\n\nTHE ENGINE'S VERDICT\n  formal_logic.equivalence: ", "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_formal_logic_claimed_contradiction", "title": "Formal Logic: contradiction", "shelf": "formal_logic", "surface": "secular", "snippet": "A worked check in formal logic: contradiction.\n\nGIVEN\n  conclusion = q\n  formula = p & q\n\nCLAIMED\n  claimed_contradiction = False\n\nTHE ENGINE'S VERDICT\n  formal_logic.contradiction: CONFIRMED — formul", "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_formal_logic_claimed_satisfiable", "title": "Formal Logic: satisfiable", "shelf": "formal_logic", "surface": "secular", "snippet": "A worked check in formal logic: satisfiable.\n\nGIVEN\n  conclusion = q\n  formula = p & q\n\nCLAIMED\n  claimed_satisfiable = True\n\nTHE ENGINE'S VERDICT\n  formal_logic.satisfiability: CONFIRMED — formula 'p", "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_rhetoric_claimed_is_complete_argument", "title": "Rhetoric: is complete argument", "shelf": "rhetoric", "surface": "secular", "snippet": "A worked check in rhetoric: is complete argument.\n\nGIVEN\n  has_conclusion = True\n  has_premise = True\n\nCLAIMED\n  claimed_is_complete_argument = True\n\nTHE ENGINE'S VERDICT\n  rhetoric.argument_structure", "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_lesson_founding_en_founding_02", "title": "Lesson: The Declaration of Independence — Conclusion", "shelf": "curriculum", "surface": "secular", "snippet": "PRACTISE\n  We, therefore, the Representatives of the United States of America, in General Congress, Assembled, appealing to the Supreme Judge of the world for the rectitude of our intentions, do, in t", "authority_tier": "reference", "source": "The coach's own curriculum — authored units, verbatim", "readable": false, "generated": false}, {"id": "card_harmony_h085", "title": "Betrayal and arrest (4 of 4 gospels)", "shelf": "scripture", "surface": "witness", "snippet": "Betrayal and arrest — Passion Week. Recorded by 4 of the four gospels: Matthew 26:47-56; Mark 14:43-52; Luke 22:47-53; John 18:2-12. All four gospels bear witness. Read them side by side at /harmony.h", "authority_tier": "reference", "source": "World English Bible (public domain) + the standard study tables", "readable": false, "generated": false}, {"id": "card_timeline_t045", "title": "Paul's arrest in Jerusalem (c. AD 57)", "shelf": "scripture", "surface": "witness", "snippet": "Paul's arrest in Jerusalem — New Testament, Paul's Later Missionary Journeys. Date: c. AD 57. Scripture: Acts 21:27-36.", "authority_tier": "reference", "source": "World English Bible (public domain) + the standard study tables", "readable": false, "generated": false}, {"id": "card_firstaid_cpr", "title": "When someone isn't breathing — CPR", "shelf": "first_aid", "surface": "secular", "snippet": "If an adult is unresponsive and NOT breathing normally, they need CPR now, and someone must call emergency services and find an AED. Push HARD and FAST in the CENTER of the chest — about 5 cm deep, 10", "authority_tier": "reference", "source": "Established first-aid practice; get certified (American Red Cross / AHA training)", "readable": false, "generated": false}, {"id": "card_c_m_29157549b063", "title": "Betrayal and arrest (4 of 4 gospels) cites Mark", "shelf": "connections", "surface": "secular", "snippet": "witnessed at Mark 14:43-52", "authority_tier": "engine_derived", "source": "Found in the keeping", "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_formal_logic_epistemology"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}