Argument from graph
step · paper openDeclaration fe2aa6f3736e has not been accepted by anyone. · no paper read under it
Restated from the claim graph alone, what does this paper argue — and where does that part from its abstract?
Mechanical: re-runnable from its declared inputs.
Part of Measures — What can be measured over the tree - its coverage, its wording, whether its code re-runs?
How it works
Restates the paper's argument from the claim graph alone — no abstract, no prose — and then holds that restatement against the abstract the authors wrote. Every sentence of the restatement carries the claims and edges it was built from, so any of it can be followed back to the nodes that produced it.
It is the closest thing in the pipeline to a test of whether the graph was worth building: if the tree carries the argument, a restatement from it should be recognisable as the same paper.
--dump-prompt writes the exact request and exits, and --answer feeds a reply back through the same validation — a traceback slug not in this tree is dropped — so a model with no backend here can still answer it. The prompt reasons about the claims by role, so it reads the contract's vocabulary too.
Rests on
- claim-tree · step
- abstract-map · step
Feeds
Nothing — this is a leaf.
How it is defined
A model answers this layer, so the prompt is the layer. It is reproduced below from the committed file, and it is a declared input — editing it makes every run that used it stale.
The declaration names this path and the repository does not have it. An input that does not exist hashes to nothing, so it cannot make a run stale — the layer is declared to depend on something it is not in fact tracking.
The declaration names this path and the repository does not have it. An input that does not exist hashes to nothing, so it cannot make a run stale — the layer is declared to depend on something it is not in fact tracking.
What it produces
One paper, as the worked example — Artiushin, v1. Read from site/src/data/synthesis-v3/artiushin-2026-spider-atlas.json · 8 KB. paperSlug artiushin-2026-spider-atlasversion 3
synthesis · 3.0k characters
This paper constructs a three-dimensional immunofluorescence atlas of the Uloborus diversus synganglion, mapping the distributions of GABA, acetylcholine, serotonin, octopamine/tyramine, and several neuropeptides across all identified neuropils using elastix-registered confocal volumes. Because the primary evidence is the atlas itself rather than conventional statistical inference, all claims are observational anatomical facts whose reproduction means re-registering volumes or inspecting the deposited resource, a scope condition governing every finding reported. One methodological limitation tempers the atlas: the anti-GAD antibody shows restricted tissue penetration to the preparation periphery, reducing the reliability of GABAergic mapping in deep neuropils. Enabled by this framework, the paper systematically maps peripheral neuropils and reveals that each possesses a distinct neurochemical signature. The four leg neuropil pairs show consistent innervation across segments, with serotonergic signal filling each neuropil in bilateral halves from a dorsal tract and leaving a central void, a pattern that dissociates from the uniform dopaminergic mesh and TDC2 anterior-posterior differential in the same structures. In contrast, the pedipalpal neuropil is dominated by cholinergic and TDC2 signal as punctate expression, while the cheliceral neuropil is most abundantly innervated by serotonergic and TDC2 immunoreactivity, with allatostatin A additionally strong in an adjacent medial region. The opisthosomal neuropil displays an elaborate TDC2 architecture of triangular puncta, perimeter tracts, and a ladder-like scaffold, partially shared by proctolin and dopamine but distinct from the appendicular neuropils. The atlas also identifies two previously undocumented structures in the supraesophageal ganglion. The hagstone neuropil, a paired midline-adjacent structure, is essentially filled by serotonergic immunoreactivity as its most diagnostic marker, while the tonsillar neuropil exhibits compartmentalized organization with a serotonergic core surrounded by a TDC2 peripheral shell and an anterior-posterior chemical division marked by proctolin and allatostatin A restriction to the posterior bridge. Among higher brain centers, mushroom bodies are present in their complete haft-body-head form with connecting bridge, contradicting reports of simplified mushroom bodies in web-building spiders; only allatostatin A co-expresses throughout the mushroom body, with globuli cells revealed as cholinergic and GABAergic populations. The protocerebral bridge displays a layered transmitter architecture with GABAergic, TDC2, proctolin, and cholinergic signals each occupying distinct laminae, while the arcuate body resolves into four sublayers distinguished by differential neurotransmitter innervation invisible to synapsin staining alone. These layered architectures together support the interpretation that the spider brain contains a candidate homolog of the insect central complex, implicated in path integration.
Across the corpus
9 run not observed · 1 stale·a paper links to its own cell, where this layer's output for it is rendered
Inputs and outputs
- Reads, besides its dependencies
-
- extract/prompts/synthesis.md · declared, and not in the repository — it hashes to nothing, so it cannot make a run stale
- extract/prompts/contract/vocabulary.md · declared, and not in the repository — it hashes to nothing, so it cannot make a run stale
- Produces
-
- site/src/data/synthesis-v3/{paper}.json
One per paper — the table above links each one that exists.
- Views
-
- document — rendered above, from the artifact itself
- 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> synthesis
Underneath, that runs cd extract && python3 -m claim_graphs.cli synthesis --paper {paper}.