Claim tree
step · paper openDeclaration 10cf3e111b10 has not been accepted by anyone. · no paper read under it
What does this paper assert, and how do its assertions depend on each other?
Mechanical: re-runnable from its declared inputs.
Part of Tree — What does the paper assert, and how do its claims depend on each other?
How it works
Assigns each surviving claim a slug and a UUID, attaches the edges edge-inference produced, and writes one markdown file per claim into claims/ with the paper's index.md beside them. It calls no model and needs no credentials — the reasoning already happened upstream — but it does need those edges. Run it without them and the claims are written with no structure, and it says so.
It refuses to overwrite a non-empty paper directory. The claim files are edited afterwards by hand and by later layers, and a silent overwrite would discard work no ledger records. A run of this layer is by definition a new version, so the command passes --replace: it moves the current tree to runs/alt- claims, rules-out edges and reproduction records the induction chain does not itself produce.
What it found · added 2026-03
Across 10 papers the corpus holds 289 claims and 4 parts, carrying 916 typed relations, using 17 of the 21 defined relation types. The commonest role is empirical at 125 claims.
Rests on
- reconcile · step
- external-review · step
- edge-inference · step
- claim-format · feature
Feeds — a change here disturbs these
- evaluation · step
- stance · feature
- questions · feature
- parts · feature
- reference-check · feature
- abstract-map · step
- synthesis · step
- summaries · step
- plain-claim · step
- verification · step
- coverage · step
- marks · step
- gap-claim · candidate
- edge-review · step
- replication · step
- mira-export · step
- oxa-export · step
- warrant · feature
- verification-check · feature
- modules · feature
Across the corpus
9 run not observed · 1 blocked upstream·a paper links to its own cell, where this layer's output for it is rendered
| Paper | State | Version | Last run | Output | Cell |
|---|---|---|---|---|---|
| A three-dimensional immunofluorescence atlas of the …backfilled from the artifact on disk | run not observed | v1 | 2026-09-10 | — | json |
| Distinct representational properties of cues and con…backfilled from the artifact on disk | run not observed | v1 | 2026-09-10 | — | json |
| Computational modelling identifies key determinants …backfilled from the artifact on disk | run not observed | v1 | 2026-04-26 | — | json |
| Contributions of insula and superior temporal sulcus…ran via scripts/pipeline.py | blocked upstream | v8 | 2026-09-14 | — | json |
| Spatially targeted inhibitory rhythms differentially…backfilled from the artifact on disk | run not observed | v1 | 2026-09-10 | — | json |
| Feedback of peripheral saccade targets to early fove…backfilled from the artifact on disk | run not observed | v1 | 2026-09-10 | — | json |
| iGABASnFR2 is an improved genetically encoded protei…backfilled from the artifact on disk | run not observed | v1 | 2026-09-10 | — | json |
| A deep learning pipeline for mapping in situ network…backfilled from the artifact on disk | run not observed | v1 | 2026-09-10 | — | json |
| Self-association enhances early attentional selectio…backfilled from the artifact on disk | run not observed | v1 | 2026-09-10 | — | json |
| Impaired excitability of fast-spiking neurons in a n…backfilled from the artifact on disk | run not observed | v1 | 2026-09-10 | — | json |
Inputs and outputs
- Produces
-
- claims/{paper}/*.md
One per paper — the table above links each one that exists.
- Views
-
- graph — on the paper page, as the claim graph
- list — declared, and no run of this layer has left an artifact to render
- table — declared, and no run of this layer has left an artifact to render
- comparison — on the cell page, two versions aligned by the matcher, wherever the ledger holds more than one
Running it
The command comes from the declaration, so this text and what actually runs cannot
diverge. pipeline.py run also runs the unmet dependencies first.
python3 scripts/pipeline.py run <paper> claim-tree
Underneath, that runs cd extract && python3 -m claim_graphs.cli write --paper {paper} --replace.