Argument Synthesis

Synthesize coherent positions from the argument graph. Aggregates evidence across claims, resolves contradictions where possible, and produces synthesis reports that identify which claims survive scrutiny and which are undermined.

Budget Slice

Metric	Small	Medium	Large
Claims synthesized	10	25	50
Contradictions resolved	2	6	12
Synthesis reports	1	3	5

State Ledger

Metric	Target	Current	%
Claims synthesized	—	—	—
Contradictions resolved	—	—	—
Synthesis reports	—	—	—

Budget Gate

Cannot exit until 80% of budget targets met.

Adversarial Completeness Probe

After budget gate passes, self-check:

• Does the synthesis address all major contradictions?
• Are surviving claims genuinely supported or just uncontested?
• Does the report acknowledge remaining uncertainty?

Max 2 extra iterations if gaps found.

Tactics Available

• claim-decomposition — decompose complex positions for analysis
• strength-assessment — final strength evaluation for synthesis

SOPs Available

• argument-visualization — generate argument structure visualization
• synthesis-report — produce the final synthesis document

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.
strength-assessment	Tactic for assessing argument strength — evaluate evidence quality, count independent sources, check for defeaters, assign calibrated confidence scores.

Available SOPs

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

SOP	When to use
argument-visualization	SOP for generating argument structure visualization — query graph for argument chains, format as mermaid diagram or indented tree, write to vault.
synthesis-report	SOP for producing argument synthesis reports — aggregate evidence, resolve contradictions, identify surviving claims, write structured summary.