Claim Extraction

Identify and extract claims from source material. Decomposes compound statements into atomic propositions, classifies claim types, and creates structured claim pages in the vault.

Budget Slice

Metric	Small	Medium	Large
Sources processed	5	12	25
Claims extracted	10	25	50
Compound claims decomposed	3	8	15

State Ledger

Metric	Target	Current	%
Sources processed	—	—	—
Claims extracted	—	—	—
Compound claims decomposed	—	—	—

Budget Gate

Cannot exit until 80% of budget targets met.

Adversarial Completeness Probe

After budget gate passes, self-check:

• Have all major positions in the debate been captured?
• Are there implicit claims that sources assume but don't state?
• Are there claims from minority/dissenting positions?

Max 2 extra iterations if gaps found.

Tactics Available

• claim-decomposition — break compound claims into atomic propositions

SOPs Available

• claim-page-creation — create a claim page in the vault
• rebuttal-documentation — document counter-claims and rebuttals

Available Tactics

Optional, no fixed order; the final leaf is always a sop.

Tactic	When to use
knowledge-structuring-claim-decomposition	Tactic for decomposing compound claims into atomic propositions — identify logical structure, separate conjunctions, extract implicit assumptions.

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.