construct-argument-map
Purpose
Atomize claims, expose premises and counterclaims, attach evidence/defeaters, score claim strength, and construct an inspectable argument graph independent of storage format.
Input contract
yamlrequired: [claim_records, premise_records, evidence_records] optional: [assumptions, prior_findings, evidence_updates] constraints: [consume named scientific objects; preserve provenance; keep unresolved uncertainty visible]
Execution protocol
Do not perform called SOP operations inline; each loaded SOP owns its contract and thresholds.
- You MUST load skill
atomize-claimto split compound claims into atomic propositions. - You MUST load skill
surface-assumptionsto register explicit and implicit load-bearing assumptions. - You MUST load skill
attach-evidence-to-relationto link source records to typed relations with directness, independence, consistency, and alternative interpretations. - You MUST load skill
document-counterclaimto add credible counterclaims with their basis, scope, implications, and possible rebuttals. - You MUST load skill
score-objectto score each typed object against the supplied rubric without inventing missing evidence. - You MUST load skill
construct-critiqueto attack the assembled argument and rank its strongest weakness. - You MUST load skill
detect-contradictionto compare opposing claims under shared scope and record the evidence needed to adjudicate them. If the argument requires a balanced attack-defense exchange, consideradversarial-deliberation. If its apparent simplicity may hide unsupported relabeling, consideraudit-explanatory-compression.
Deviation: reorder only when a dependency is already satisfied or unavailable; record the reason and confidence effect.
Output contract
yamlproduces: [argument_graph, evidence_links, counterclaims, strength_assessment] delta_fields: [evidence_updates]
Thresholds and quality gates
- Each output is traceable to an input object, operation, and evidence reference.
- Scope, assumptions, and unresolved alternatives remain explicit.
- Retain $\alpha$ 0.05 and power 0.8 wherever the predeclared statistical design requires them.
Failure and counterexamples
Stop synthesis when a required object is absent, a precondition is violated, or a counterexample invalidates the proposed conclusion; return the partial delta with the failure recorded.
Provenance map
- intermediate: knowledge-structuring/argument-mapping [campaign]
- resolved: claim-extraction
- intermediate: premise-identification [strategy]
- intermediate: counterargument-mapping [strategy]
- resolved: evidence-linking-arg
- resolved: argument-synthesis
- intermediate: claim-decomposition [tactic]
- resolved: strength-assessment
Preserved source criteria ledger
| source | criterion | treatment |
|---|---|---|
| resolved v3 entries above | node-specific criteria | retained and specialized to the v4 object contract |
| experiment-execution/statistical-testing | $\alpha$ = 0.05 | fixed value retained where applicable |
| experiment-execution/sample-size-estimation | power = 0.8 | fixed value retained where applicable |
Context checkpoint / Delta notes
Return the node-specific research-state delta and preserve findings, evidence updates, uncertainties, decisions, open questions, and recommended jumps as applicable.


