Pipeline
A layer is a question asked of a paper — what does it claim, which claims does its abstract carry, what did re-running its code produce. Each answer is a version, and each run records the content hash of everything it read, so an answer that has fallen behind its inputs says so.
10 papers, 31 layers each. 59 of the 310 cells hold an answer. 2 have been read by a person.
How a paper is taken apart, and why the pipeline is shaped this way.
The layers
Every layer rests on the ones to its left, and a change travels the other way: revise the claim format and every tree beneath it is out of date. Dashed borders mark the decisions that belong to no single paper — what a relation asserts, what counts as a claim — which is why altering one unsettles the whole corpus at once.
Which papers have which layer
A blank is a layer that has not been run for that paper, not a layer that ran and found nothing. No two papers have been through the same set.
| Source | Induction | Tree | Measures | Measures | Interchange | Tree | Measures | Tree | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Paper | prepare | article | results-reader | caption-reader | structure-reader | reconcile | external-review | edge-inference | claim-tree | stance | questions | parts | reference-check | abstract-map | synthesis | summaries | plain-claim | verification | coverage | adjudication | marks | gap-claim | edge-review | replication | mira-export | oxa-export | dg-export | formats-report | warrant | verification-check | modules | Fill |
| Artiushin | 14/31 | |||||||||||||||||||||||||||||||
| Bouyeure | 15/31 | |||||||||||||||||||||||||||||||
| Ejdrup | 17/31 | |||||||||||||||||||||||||||||||
| Gadeke | 30/31 | |||||||||||||||||||||||||||||||
| Headley | 16/31 | |||||||||||||||||||||||||||||||
| Kämmer | 16/31 | |||||||||||||||||||||||||||||||
| Kolb | 16/31 | |||||||||||||||||||||||||||||||
| Rozak | 15/31 | |||||||||||||||||||||||||||||||
| Scheller | 15/31 | |||||||||||||||||||||||||||||||
| Wengert | 16/31 | |||||||||||||||||||||||||||||||
Undecided 2
Questions the corpus has not answered. Each is a decision about what the schema means, and every claim tree built under one is provisional until it is taken.
How far each tree’s argument reaches
The warrant layer grades each claim from the tree’s argument. A claim it reaches nothing for is unassessed — counted apart from weak, which is a claim the argument reaches and finds weakly supported. Only papers whose warrant layer has run appear.
How much of this is checkable
A cell goes stale when a file it read has changed since. That comparison needs a recorded run, and most of this corpus predates the ledger.
111 cells have fallen behind an input:
- Artiushin · prepare
- Artiushin · article
- Artiushin · plain-claim
- Artiushin · coverage
- Artiushin · adjudication ← coverage/artiushin-2026-spider-atlas.json
- Artiushin · marks ← runs/artiushin-2026-spider-atlas/prepared.json
- Artiushin · mira-export
- Artiushin · formats-report ← exports/artiushin-2026-spider-atlas.mira.jsonld
- Bouyeure · prepare
- Bouyeure · article
- Bouyeure · plain-claim ← claims/bouyeure-2026-fear-rsa/cue-generalization-increases-acquisition.md
- Bouyeure · coverage ← claims/bouyeure-2026-fear-rsa/cue-generalization-increases-acquisition.md
- Bouyeure · adjudication ← coverage/bouyeure-2026-fear-rsa.json
- Bouyeure · marks ← claims/bouyeure-2026-fear-rsa/cue-generalization-increases-acquisition.md
- Bouyeure · mira-export ← claims/bouyeure-2026-fear-rsa/cue-generalization-increases-acquisition.md
- Bouyeure · dg-export
- Bouyeure · formats-report ← exports/bouyeure-2026-fear-rsa.mira.jsonld
- Ejdrup · prepare
- Ejdrup · article
- Ejdrup · reference-check ← claims/ejdrup-2026-dopamine/d1r-tracks-da-50ms-delay.md
- Ejdrup · plain-claim ← claims/ejdrup-2026-dopamine/d1r-tracks-da-50ms-delay.md
- Ejdrup · coverage ← claims/ejdrup-2026-dopamine/d1r-tracks-da-50ms-delay.md
- Ejdrup · adjudication ← coverage/ejdrup-2026-dopamine.json
- Ejdrup · marks ← claims/ejdrup-2026-dopamine/d1r-tracks-da-50ms-delay.md
- Ejdrup · mira-export ← claims/ejdrup-2026-dopamine/d1r-tracks-da-50ms-delay.md
- Ejdrup · formats-report ← exports/ejdrup-2026-dopamine.mira.jsonld
- Ejdrup · verification-check
- Gadeke · prepare
- Gadeke · article
- Gadeke · results-reader ← runs/gadeke-2026-guilt-insula/prepared.json
- Gadeke · caption-reader ← runs/gadeke-2026-guilt-insula/prepared.json
- Gadeke · structure-reader ← runs/gadeke-2026-guilt-insula/prepared.json
- Gadeke · reconcile
- Gadeke · external-review
- Gadeke · edge-inference
- Gadeke · claim-tree
- Gadeke · stance ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · questions ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · parts ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · reference-check ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · abstract-map ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · synthesis ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · summaries ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · plain-claim ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · coverage ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · adjudication
- Gadeke · marks ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · gap-claim ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · edge-review ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · mira-export ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · oxa-export ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · dg-export
- Gadeke · formats-report ← exports/gadeke-2026-guilt-insula.mira.jsonld
- Gadeke · warrant ← claims/gadeke-2026-guilt-insula/alt-agency-aversion-not-guilt.md
- Gadeke · verification-check
- Gadeke · modules
- Headley · prepare
- Headley · article
- Headley · stance ← claims/headley-2026-inhibitory-rhythms/ca-spikes-couple-20ms-before-ap.md
- Headley · plain-claim ← claims/headley-2026-inhibitory-rhythms/ca-spikes-couple-20ms-before-ap.md
- Headley · coverage ← claims/headley-2026-inhibitory-rhythms/ca-spikes-couple-20ms-before-ap.md
- Headley · adjudication ← coverage/headley-2026-inhibitory-rhythms.json
- Headley · marks ← claims/headley-2026-inhibitory-rhythms/ca-spikes-couple-20ms-before-ap.md
- Headley · mira-export ← claims/headley-2026-inhibitory-rhythms/burst-effects-emerge-first-cycles.md
- Headley · formats-report ← exports/headley-2026-inhibitory-rhythms.mira.jsonld
- Kämmer · prepare
- Kämmer · article
- Kämmer · plain-claim
- Kämmer · coverage
- Kämmer · adjudication ← coverage/kammer-2026-foveal-feedback.json
- Kämmer · marks ← runs/kammer-2026-foveal-feedback/prepared.json
- Kämmer · gap-claim
- Kämmer · edge-review ← claims/kammer-2026-foveal-feedback/parametric-effects-not-global-fluctuations.md
- Kämmer · mira-export
- Kämmer · formats-report ← exports/kammer-2026-foveal-feedback.mira.jsonld
- Kolb · prepare
- Kolb · article
- Kolb · plain-claim ← claims/kolb-2026-igabasnfr2/crystal-structure-pdb-9d57.md
- Kolb · coverage
- Kolb · adjudication
- Kolb · marks ← mappings/kolb-2026-igabasnfr2.json
- Kolb · mira-export
- Kolb · oxa-export
- Kolb · dg-export
- Kolb · formats-report ← exports/kolb-2026-igabasnfr2.mira.jsonld
- Rozak · prepare
- Rozak · article
- Rozak · plain-claim ← claims/rozak-2026-neurovascular-dl/dl-model-scope-single-pipeline.md
- Rozak · coverage
- Rozak · adjudication ← coverage/rozak-2026-neurovascular-dl.json
- Rozak · marks ← claims/rozak-2026-neurovascular-dl/dl-model-scope-single-pipeline.md
- Rozak · mira-export
- Rozak · oxa-export
- Rozak · dg-export
- Rozak · formats-report ← exports/rozak-2026-neurovascular-dl.mira.jsonld
- Scheller · prepare
- Scheller · article
- Scheller · plain-claim ← claims/scheller-2026-self-prioritization/decisional-dimension-tradeoff.md
- Scheller · coverage ← claims/scheller-2026-self-prioritization/decisional-dimension-tradeoff.md
- Scheller · adjudication ← coverage/scheller-2026-self-prioritization.json
- Scheller · marks ← claims/scheller-2026-self-prioritization/decisional-dimension-tradeoff.md
- Scheller · mira-export ← claims/scheller-2026-self-prioritization/decisional-dimension-tradeoff.md
- Scheller · formats-report ← exports/scheller-2026-self-prioritization.mira.jsonld
- Wengert · prepare
- Wengert · article
- Wengert · plain-claim ← claims/wengert-2026-kcnc1/pv-in-ap-waveform-altered-downstroke-apd50.md
- Wengert · coverage ← claims/wengert-2026-kcnc1/pv-in-ap-waveform-altered-downstroke-apd50.md
- Wengert · adjudication
- Wengert · marks ← mappings/wengert-2026-kcnc1.json
- Wengert · mira-export ← claims/wengert-2026-kcnc1/pv-in-ap-waveform-altered-downstroke-apd50.md
- Wengert · formats-report ← exports/wengert-2026-kcnc1.mira.jsonld
Recently run
The last answers the corpus produced, newest first.
- 2026-09-14 · Gadeke · modules v3 ran via scripts/pipeline.py
- 2026-09-14 · Gadeke · verification-check v3 ran via scripts/pipeline.py
- 2026-09-14 · Gadeke · modules v2 ran via scripts/pipeline.py
- 2026-09-14 · Gadeke · claim-tree v8 ran via scripts/pipeline.py
- 2026-09-14 · Gadeke · modules v1 ran via scripts/pipeline.py
- 2026-09-14 · Gadeke · edge-inference v10 syntheses point outward; qualifies for unconfirmed results (#53)