yogsoth-ai Claim Decomposition
Decompose compound claims into atomic propositions that can be independently evaluated.
Minimum Yield
Protocol
- Identify the logical structure of the compound claim (conjunction, disjunction, conditional, etc.)
- Separate each independent proposition into its own atomic claim
- Extract implicit assumptions that the claim relies on but doesn't state
- 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)
- Create claim pages for each atomic proposition via
claim-page-creation - Add
derived_fromedges 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 }
Available SOPs
Optional, no fixed order; the final leaf is always a sop.
| SOP | When to use |
|---|---|
| claim-page-creation | SOP for creating a claim page in the vault — atomic proposition with type classification, source attribution, and initial confidence. |
| rebuttal-documentation | SOP for documenting rebuttals and counter-claims — create rebuttal pages with typed contradiction edges and source attribution. |