Coverage adjudication

stale · v2 provisional awaiting approval

Of the spans the matcher could not resolve, which are real gaps?

for Computational modelling identifies key determinants of subregion-specific dopamine dynamics in the striatum · this layer across all papers · json

Provisional

This layer needs a corpus-scope decision that has not been ruled on yet, so what it produces would change if the decision changed. It waits on claim-format, relation-vocab.

Awaiting approval

Waiting for approval. That is a statement about the record, not about whether anyone has read this: people read the corpus without stamping what they read, and only a stamp leaves a trace. Approval is an operation on a version, not a step of its own — it is recorded against the version it was granted to, so running this layer again does not carry it forward.

Out of date

These inputs changed after this ran:

coverage/ejdrup-2026-dopamine.json

What it produced108 spans

Read from mappings/ejdrup-2026-dopamine.json · 26 KB. adjudicated 2026-09-11by supplied:runs/ejdrup-2026-dopamine/adjudication.answer.json

#	uid	verdict	claim	why	sha	tree	claim_sha
1	results-002	not-an-assertion	—	This describes how release sites were laid out in the model, not a result the model produced.	a7112a24	—	—
2	results-024	gap	—	No claim records what the volume-averaged DA concentration in DS looks like during pacemaker activity, only how the spatial distribution is structured.	73dc1567	cdd79884	—
3	results-025	gap	—	The simulated mean response to a single synchronous release event is a result no claim in the tree states.	49c14cfa	cdd79884	—
4	results-027	gap	—	The model's predicted FSCV signal for a single release event is not recorded by any claim; the tree's FSCV claim covers only the 10/30/60 Hz May and Wightman replication.	dcc76b5c	cdd79884	—
5	results-035	not-an-assertion	—	A pointer to the source code, asserting nothing about dopamine dynamics.	3959d8c8	—	—
6	results-036	not-an-assertion	—	A bare figure-supplement title.	60b5055e	—	—
7	results-037	not-an-assertion	—	A schematic of the simulation geometry illustrates the setup rather than reporting a result.	3d772635	—	—
8	results-038	gap	—	The convergence of concentration percentiles with simulation diameter is a validation result no claim in the tree captures.	39978f41	cdd79884	—
9	results-040	not-an-assertion	—	A schematic of voxel granularity illustrates the setup rather than reporting a result.	0d616dc3	—	—
10	results-041	gap	—	The effect of voxel size on the concentration profile is a discretisation result the claim tree never states.	f43dfe58	cdd79884	—
11	results-044	gap	—	The absolute error introduced by coarser voxels is a validation result absent from the claim tree.	83a53dba	cdd79884	—
12	results-046	gap	—	The percentage error introduced by coarser voxels is a validation result absent from the claim tree.	99ac2965	cdd79884	—
13	results-047	not-an-assertion	—	A pointer to the source code, asserting nothing about dopamine dynamics.	4efdfa6c	—	—
14	results-068	gap	—	No claim records that the model reproduces slice FSCV responses to direct stimulation once the recording kinetics are corrected for; the tree's FSCV claim covers only the May and Wightman frequency se…	9afe8f0e	cdd79884	—
15	results-073	gap	—	That spatially averaged simulation output looks like a tonic DA level — the reconciliation with fibre photometry — is asserted here but stated by no claim.	b3b01d89	cdd79884	—
16	results-075	not-an-assertion	—	A table title introducing the parameter list.	26c3b729	—	—
17	results-076	gap	—	Beyond the parameter table, this span carries the finding that a 50 um simulation diameter already reproduces larger simulations, which no claim records.	8099986d	cdd79884	—
18	results-078	gap	—	The finding that 1 um voxels deviate by under 2% across most percentiles, justifying the chosen grain, is recorded by no claim.	c942e328	cdd79884	—
19	results-085	covered	low-burst-no-spillover-high-burst-does	This is the frequency dependence of DA spread that the burst-spillover claim states, here shown via peak concentration and supra-100 nM volume.	9debc8fe	—	a31e67a9
20	results-091	not-an-assertion	—	This sets the D1R binding parameters used in the simulation rather than reporting a result.	61f12ae3	—	—
21	results-092	gap	—	Besides setting the D2R parameters, this asserts that the sensor-based kinetic fit can be extrapolated to endogenous receptors because it matches an independent binding study — a validation claim the …	9882c19e	cdd79884	—
22	results-100	covered	d2r-integrates-over-seconds	The claim states exactly this: slow D2R off-kinetics leave it unable to separate closely spaced bursts, while D1R resets between them.	fa437244	—	8aa07e4c
23	results-102	covered	d2r-insensitive-to-brief-pauses	The claim already records that the pause insensitivity holds across an order of magnitude of D2R affinity, 2 to 20 nM.	8c635883	—	d85fbcb7
24	results-106	gap	—	The literature summary that VS dopaminergic density is about 90% of DS is the basis for the VS terminal density used later, yet no claim records it; the tree's literature claims cover only the Vmax ra…	2c3b8355	cdd79884	—
25	results-107	covered	interprets-cragg-rice-vmax-ratio	The claim records the prior literature establishing roughly threefold lower DAT uptake capacity in VS than DS.	8b171d02	—	677a5093
26	results-110	covered	ds-vs-vmax-ratio-assumed	The claim records these exact regional parameter choices and flags the 3:1 Vmax ratio as assumed from the literature rather than measured here.	2632f31c	—	8573cd46
27	results-133	gap	—	How peak receptor occupancy falls off with distance from the bursting region is a result no claim in the tree states.	6704ed98	cdd79884	—
28	results-143	gap	—	The effect of a one-second pause in VS is unclaimed; the pause claim in the tree concerns the dorsal striatum only.	f2458c5d	cdd79884	—
29	results-155	gap	—	No claim states that VS shows a larger relative rise in receptor occupancy far from the bursting region than DS does.	d5698565	cdd79884	—
30	results-157	covered	vmax-modulation-larger-impact-in-vs	This section heading states the finding the claim records, that DA in VS is far more sensitive to changes in uptake capacity than DA in DS.	2728df12	—	857b857b
31	results-159	not-an-assertion	—	This describes the parameter range swept in the simulation rather than what the sweep produced.	fe64c923	—	—
32	results-166	not-an-assertion	—	A schematic of the swept parameter, asserting nothing about the world.	dc3aecff	—	—
33	results-171	not-an-assertion	—	A schematic of the swept parameter, asserting nothing about the world.	6c1229aa	—	—
34	results-175	not-an-assertion	—	A schematic of the swept parameter, asserting nothing about the world.	97aeb339	—	—
35	results-179	not-an-assertion	—	This explains what the shaded band on the plot represents.	49bb09ef	—	—
36	results-181	not-an-assertion	—	This explains what the shaded band on the plot represents.	d123be16	—	—
37	results-183	not-an-assertion	—	A schematic defining the tonic and peak percentile conventions and their line styles.	338eec59	—	—
38	results-186	gap	—	The focality ratio between regions under the release-probability sweep is displayed here but no claim states how focality itself behaves.	d0eca602	cdd79884	—
39	results-192	not-an-assertion	—	A pointer to the source code, asserting nothing about dopamine dynamics.	e73adaa3	—	—
40	results-193	not-an-assertion	—	A bare figure-supplement title.	cb3fe605	—	—
41	results-194	gap	—	The Km sweep is unclaimed: the tree's parameter-sweep claim covers active fraction, quantal size, release probability, firing rate and Vmax, but not DAT affinity.	284bca8b	cdd79884	—
42	results-195	gap	—	How the regional difference in phasic and tonic DA varies with Km is a result no claim records.	af15790b	cdd79884	—
43	results-196	gap	—	That the Vmax effect is unchanged across quantal sizes is a robustness result no claim in the tree states.	0f9db62c	cdd79884	—
44	results-197	not-an-assertion	—	This explains the normalisation and the shaded band used in the plot.	4191114e	—	—
45	results-198	gap	—	That the Vmax effect is unchanged across release probabilities is a robustness result no claim in the tree states.	f4bc2e05	cdd79884	—
46	results-200	not-an-assertion	—	This explains what the shaded band on the plot represents.	13d5ace2	—	—
47	results-201	gap	—	The regression between release rate and autocorrelation decay from the reanalysed photometry data is a result no claim records.	0dc9df10	cdd79884	—
48	results-203	gap	—	The inference that release and uptake vary partially independently across animals is asserted here but appears in no claim.	73c6be72	cdd79884	—
49	results-205	not-an-assertion	—	A pointer to the source code, asserting nothing about dopamine dynamics.	facc9a37	—	—
50	results-206	not-an-assertion	—	This reports the literature range used to set the bounds of the quantal-size sweep rather than a result of this study.	6d32fa8c	—	—
51	results-211	covered	vmax-only-parameter-driving-regional-difference	The claim states that release probability and firing rate, like the other release parameters, shift both regions alike without altering the regional contrast.	9e8daf29	—	ec904f68
52	results-213	gap	—	The linear rise in DA with increasing Km, the model's stand-in for competitive DAT inhibition, is recorded by no claim.	6e83e8cc	cdd79884	—
53	results-216	gap	—	The convergence on a twofold DS-VS difference and its agreement with earlier FSCV reports is a result no claim states.	33ad2438	cdd79884	—
54	results-220	gap	—	That the impact of Vmax in VS is independent of quantal size and release probability is a robustness result absent from the claim tree.	e8263595	cdd79884	—
55	results-223	gap	—	The reanalysis showing natural between-animal variation in release-uptake balance, offered as an explanation of differing tonic DA, is claimed nowhere in the tree.	2257ee71	cdd79884	—
56	results-228	covered	hypothesis-nanoclustering-regulates-vmax	This is the nanoclustering hypothesis as the claim states it: dense DAT clusters locally deplete DA because uptake outpaces diffusion.	5cf0c520	—	80880897
57	results-229	covered	hypothesis-nanoclustering-regulates-vmax	The claim contains this step of the argument, that concentration-dependent uptake makes the depleted cluster surface less efficient.	bbcb34be	—	80880897
58	results-248	not-an-assertion	—	A schematic of the modelled cluster geometry, asserting nothing about the world.	4c6a5e06	—	—
59	results-250	not-an-assertion	—	This panel plots the assumed Michaelis-Menten dependence of uptake on concentration, a model ingredient rather than a finding.	b24d78e7	—	—
60	results-260	covered	dat-nanoclustering-slows-clearance	The claim states this local depletion, that DA at the cluster surface falls far below the bulk concentration.	1e05ae25	—	0407bf1d
61	captions-021	gap	—	No claim records what the volume-averaged DA concentration in DS looks like during pacemaker activity, only how the spatial distribution is structured.	73dc1567	cdd79884	—
62	captions-022	gap	—	The simulated mean response to a single synchronous release event is a result no claim in the tree states.	49c14cfa	cdd79884	—
63	captions-024	gap	—	The model's predicted FSCV signal for a single release event is not recorded by any claim; the tree's FSCV claim covers only the 10/30/60 Hz May and Wightman replication.	dcc76b5c	cdd79884	—
64	captions-032	not-an-assertion	—	A pointer to the source code, asserting nothing about dopamine dynamics.	3959d8c8	—	—
65	captions-033	not-an-assertion	—	A bare figure-supplement title with its panel list.	c4465503	—	—
66	captions-034	not-an-assertion	—	A schematic of the simulation geometry illustrates the setup rather than reporting a result.	3d772635	—	—
67	captions-035	gap	—	The convergence of concentration percentiles with simulation diameter is a validation result no claim in the tree captures.	39978f41	cdd79884	—
68	captions-037	not-an-assertion	—	A schematic of voxel granularity illustrates the setup rather than reporting a result.	0d616dc3	—	—
69	captions-038	gap	—	The effect of voxel size on the concentration profile is a discretisation result the claim tree never states.	f43dfe58	cdd79884	—
70	captions-041	gap	—	The absolute error introduced by coarser voxels is a validation result absent from the claim tree.	83a53dba	cdd79884	—
71	captions-043	gap	—	The percentage error introduced by coarser voxels is a validation result absent from the claim tree.	99ac2965	cdd79884	—
72	captions-044	not-an-assertion	—	A pointer to the source code, asserting nothing about dopamine dynamics.	4efdfa6c	—	—
73	captions-046	covered	vs-maintains-pervasive-tonic-da	These side-by-side steady-state snapshots are the regional contrast the claim states, diffuse coverage in VS against hotspots in DS.	844c0e2e	—	a2c39426
74	captions-047	covered	vs-maintains-pervasive-tonic-da	The temporal cross-section shows the same DS-VS contrast in tonic coverage that the claim records.	c6d76297	—	a2c39426
75	captions-049	covered	vs-maintains-pervasive-tonic-da	The concentration density distributions are how the claim's diffuse-versus-segregated contrast is quantified.	47fd09cb	—	a2c39426
76	captions-052	covered	vs-lowest-percentiles-above-10nm	This is the percentile panel on which the claim that even the lowest VS percentiles exceed 10 nM rests.	af0cf54c	—	d899df57
77	captions-054	covered	fscv-matches-may-wightman-1989	The first half is the May and Wightman replication the claim states; the burst-spillover half is covered by low-burst-no-spillover-high-burst-does.	47733277	—	d954d483
78	captions-060	gap	—	The VS DA time course near a release site through pacemaker and burst firing is displayed here, but the tree's claim for this panel concerns only D2R occupancy levels.	4f6ac021	cdd79884	—
79	captions-063	gap	—	How peak receptor occupancy falls off with distance from the bursting region is a result no claim in the tree states.	6704ed98	cdd79884	—
80	captions-073	gap	—	The effect of a one-second pause in VS is unclaimed; the pause claim in the tree concerns the dorsal striatum only.	f2458c5d	cdd79884	—
81	captions-082	covered	vmax-only-parameter-driving-regional-difference	The claim records that quantal size shifts both regions alike, which is what this peak-to-tonic ratio across quantal sizes shows.	5f345181	—	ec904f68
82	captions-084	not-an-assertion	—	A schematic of the swept parameter, asserting nothing about the world.	97aeb339	—	—
83	captions-088	not-an-assertion	—	This explains what the shaded band on the plot represents.	49bb09ef	—	—
84	captions-090	not-an-assertion	—	This explains what the shaded band on the plot represents.	d123be16	—	—
85	captions-092	not-an-assertion	—	A schematic defining the tonic and peak percentile conventions and their line styles.	338eec59	—	—
86	captions-095	gap	—	The focality ratio between regions under the release-probability sweep is displayed here but no claim states how focality itself behaves.	d0eca602	cdd79884	—
87	captions-101	not-an-assertion	—	A pointer to the source code, asserting nothing about dopamine dynamics.	e73adaa3	—	—
88	captions-102	not-an-assertion	—	A bare figure-supplement title with its panel list.	9e2b115b	—	—
89	captions-103	gap	—	The Km sweep is unclaimed: the tree's parameter-sweep claim covers active fraction, quantal size, release probability, firing rate and Vmax, but not DAT affinity.	284bca8b	cdd79884	—
90	captions-104	gap	—	How the regional difference in phasic and tonic DA varies with Km is a result no claim records.	af15790b	cdd79884	—
91	captions-105	gap	—	That the Vmax effect is unchanged across quantal sizes is a robustness result no claim in the tree states.	0f9db62c	cdd79884	—
92	captions-106	not-an-assertion	—	This explains the normalisation and the shaded band used in the plot.	4191114e	—	—
93	captions-107	gap	—	That the Vmax effect is unchanged across release probabilities is a robustness result no claim in the tree states.	f4bc2e05	cdd79884	—
94	captions-109	not-an-assertion	—	This explains what the shaded band on the plot represents.	13d5ace2	—	—
95	captions-110	gap	—	The regression between release rate and autocorrelation decay from the reanalysed photometry data is a result no claim records.	0dc9df10	cdd79884	—
96	captions-112	gap	—	The inference that release and uptake vary partially independently across animals is asserted here but appears in no claim.	73c6be72	cdd79884	—
97	captions-114	not-an-assertion	—	A pointer to the source code, asserting nothing about dopamine dynamics.	facc9a37	—	—
98	captions-116	not-an-assertion	—	A schematic of the modelled cluster geometry, asserting nothing about the world.	4c6a5e06	—	—
99	captions-118	not-an-assertion	—	This panel plots the assumed Michaelis-Menten dependence of uptake on concentration, a model ingredient rather than a finding.	b24d78e7	—	—
100	captions-119	not-an-assertion	—	This describes the unfolded-varicosity view used to display the simulation, not a result.	e0f025c8	—	—
101	captions-122	covered	dat-nanoclustering-slows-clearance	The cross-section shows the DA depletion around clustered transporters that the claim states.	d10b3320	—	0407bf1d
102	captions-125	covered	dat-nanoclustering-slows-clearance	Surface DA concentration across cluster sizes is the depletion effect the claim records.	e38d3f6e	—	0407bf1d
103	captions-126	covered	dat-nanoclustering-slows-clearance	The shift in steady-state DA on moving from unclustered to clustered DAT is the reduced effective uptake the claim describes.	a8fd281e	—	0407bf1d
104	captions-127	covered	dat-nanoclustering-slows-clearance	This is the clearance comparison on which the claim's roughly 400 ms versus 200 ms result rests.	d24b7e61	—	0407bf1d
105	captions-128	covered	dat-nanoclustering-slows-clearance	The claim states this local depletion, that DA at the cluster surface falls far below the bulk concentration.	1e05ae25	—	0407bf1d
106	tables-001	not-an-assertion	—	A table title introducing the parameter list.	26c3b729	—	—
107	tables-002	not-an-assertion	—	Raw parameter and key-resource rows: model inputs and reagents, not stated findings.	f1c28d62	—	—
108	tables-012	not-an-assertion	—	Raw literature-survey rows; the medians they summarise are stated in the text and carried by the Vmax-ratio claims.	09e3bd89	—	—

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.

extract/prompts/coverage-adjudicator.mdthe prompt it runs undernot in the repository

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.

scripts/adjudicate.pythe script that runs itnot in the repository

Artifacts

mappings/ejdrup-2026-dopamine.json

Versions

From the run ledger. There is no changelog beside it to keep in step.

v2 · 2026-09-11 · supplied:runs/ejdrup-2026-dopamine/adjudication.answer.json

re-validated against the current tree; verdicts now carry the tree fingerprint

python3 scripts/adjudicate.py ejdrup-2026-dopamine --answer runs/ejdrup-2026-dopamine/adjudication.answer.json
v1 · 2026-09-11 · supplied:runs/ejdrup-2026-dopamine/adjudication.answer.json

verdicts answered by Claude Opus 5 through --dump-prompt

python3 scripts/adjudicate.py ejdrup-2026-dopamine --answer runs/ejdrup-2026-dopamine/adjudication.answer.json

This layer across the corpus

Across the corpus

10 stale·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 …re-validated against the current tree; verdicts now carry the tree fingerprint	stale	v2	2026-09-11	artiushin-2026-spider-atlas.json	json
Distinct representational properties of cues and con…re-validated against the current tree; verdicts now carry the tree fingerprint	stale	v2	2026-09-11	bouyeure-2026-fear-rsa.json	json
Computational modelling identifies key determinants …re-validated against the current tree; verdicts now carry the tree fingerprint	stale	v2	2026-09-11	ejdrup-2026-dopamine.json	json
Contributions of insula and superior temporal sulcus…adjudication re-run post-stance (#96)	stale	v4	2026-09-12	gadeke-2026-guilt-insula.json	json
Spatially targeted inhibitory rhythms differentially…re-validated against the current tree; verdicts now carry the tree fingerprint	stale	v2	2026-09-11	headley-2026-inhibitory-rhythms.json	json
Feedback of peripheral saccade targets to early fove…re-validated against the current tree; verdicts now carry the tree fingerprint	stale	v2	2026-09-11	kammer-2026-foveal-feedback.json	json
iGABASnFR2 is an improved genetically encoded protei…ran via scripts/pipeline.py	stale	v3	2026-09-13	kolb-2026-igabasnfr2.json	json
A deep learning pipeline for mapping in situ network…re-validated against the current tree; verdicts now carry the tree fingerprint	stale	v2	2026-09-11	rozak-2026-neurovascular-dl.json	json
Self-association enhances early attentional selectio…re-validated against the current tree; verdicts now carry the tree fingerprint	stale	v2	2026-09-11	scheller-2026-self-prioritization.json	json
Impaired excitability of fast-spiking neurons in a n…ran via scripts/pipeline.py	stale	v3	2026-09-13	wengert-2026-kcnc1.json	json

Inputs and outputs

Reads, besides its dependencies: extract/prompts/coverage-adjudicator.md · declared, and not in the repository — it hashes to nothing, so it cannot make a run stale
scripts/adjudicate.py · declared, and not in the repository — it hashes to nothing, so it cannot make a run stale
Produces: mappings/{paper}.json

One per paper — the table above links each one that exists.
Views: table — rendered above, over the 121 spans in the artifact

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> adjudication

Underneath, that runs python3 scripts/adjudicate.py {paper} --answer runs/{paper}/adjudication.answer.json.