claim-decomposition

name	claim-decomposition
description	Tactic for decomposing compound claims into atomic propositions — identify logical structure, separate conjunctions, extract implicit assumptions.
execution	tactic
used-by	claim-extraction, argument-synthesis

Claim Decomposition

Decompose compound claims into atomic propositions that can be independently evaluated.

Minimum Yield

Must produce ≥2 atomic claims per compound claim processed.

Protocol

1. Identify the logical structure of the compound claim (conjunction, disjunction, conditional, etc.)
2. Separate each independent proposition into its own atomic claim
3. Extract implicit assumptions that the claim relies on but doesn't state
4. For each atomic claim, verify it is:
   • Falsifiable (could in principle be shown wrong)
   • Self-contained (understandable without the parent claim)
   • Non-redundant (not restating another extracted claim)
5. Create claim pages for each atomic proposition via claim-page-creation
6. Add derived_from edges from atomic claims back to the source compound claim

SOPs Used

• claim-page-creation — create individual claim pages
• rebuttal-documentation — document counter-claims discovered during decomposition

Yield Report

Returns: { compound_claims_processed: number, atomic_claims_produced: number, implicit_assumptions_found: number }