Claim tree

step · paper open

Declaration 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//claim-tree.v/ — keeping every version's bytes addressable — then writes the new one and carries forward the alt- claims, rules-out edges and reproduction records the induction chain does not itself produce.

How to run it, in the reference

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

Feeds — a change here disturbs these

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

PaperStateVersionLast runOutputCell
A three-dimensional immunofluorescence atlas of the …backfilled from the artifact on diskrun not observedv12026-09-10—json
Distinct representational properties of cues and con…backfilled from the artifact on diskrun not observedv12026-09-10—json
Computational modelling identifies key determinants …backfilled from the artifact on diskrun not observedv12026-04-26—json
Contributions of insula and superior temporal sulcus…ran via scripts/pipeline.pyblocked upstreamv82026-09-14—json
Spatially targeted inhibitory rhythms differentially…backfilled from the artifact on diskrun not observedv12026-09-10—json
Feedback of peripheral saccade targets to early fove…backfilled from the artifact on diskrun not observedv12026-09-10—json
iGABASnFR2 is an improved genetically encoded protei…backfilled from the artifact on diskrun not observedv12026-09-10—json
A deep learning pipeline for mapping in situ network…backfilled from the artifact on diskrun not observedv12026-09-10—json
Self-association enhances early attentional selectio…backfilled from the artifact on diskrun not observedv12026-09-10—json
Impaired excitability of fast-spiking neurons in a n…backfilled from the artifact on diskrun not observedv12026-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.