paper-reproducelisted
Install: claude install-skill yqi96/warranted
## Goal
Verify whether the paper's claims are correct. Maintain strict neutrality throughout: supported and disputed are equally valid scientific outcomes.
**Done means**: every Claim has a clear conclusion — supported, disputed, refuted, or proposed. `proposed` is the conclusion of last resort when a verdict genuinely cannot be reached; it requires `declare-barrier` skill to have been invoked and is not an exit ramp.
## How to use the Toulmin graph
### Extract the argument structure
Read the paper and extract its argument structure. Every node starts as a hypothesis.
- `create_claim` — the paper's conclusion; initializes as `proposed`, updated to `supported`, `disputed`, or `refuted` via `update_node` based on verification results
- `create_ground(source="hypothesis", verification="pending")` — the paper's stated experimental result, written as a declarative finding; initializes as a hypothesis, updated via `update_node` as verification proceeds
- `create_warrant` — the inference principle connecting Ground to Claim
- `create_backing` (if any) — what supports the Warrant's authority
- `create_rebuttal` (if any) — exceptions the paper acknowledges
> **Chained reasoning**: when a sub-Claim serves as evidence for another Claim, use `create_ground(ref_claim_id=sub-Claim.id)`.
Once extracted, run `compile_arguments` to verify the reasoning structure is logically coherent. Re-run it any time you modify the argument structure.
### Drive action from Claims
For each Claim,