Coverage adjudication
stale · v2 provisional awaiting approvalOf the spans the matcher could not resolve, which are real gaps?
for Spatially targeted inhibitory rhythms differentially affect neuronal integration · 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/headley-2026-inhibitory-rhythms.json
What it produced92 spans
Read from mappings/headley-2026-inhibitory-rhythms.json · 21 KB. adjudicated 2026-09-11by supplied:runs/headley-2026-inhibitory-rhythms/adjudication.answer.json
| # | uid | verdict | claim | why | sha | tree | claim_sha |
|---|---|---|---|---|---|---|---|
| 1 | results-003 | gap | — | No claim in the tree records that the model itself reproduces all three classes of dendritic spike plus backpropagating action potentials. | 6863ce0b | d9995058 | — |
| 2 | results-014 | not-an-assertion | — | A panel label naming the example traces and their colour coding, not a finding. | e0b9e4e0 | — | — |
| 3 | results-020 | gap | — | That the model's basal and apical dendrites generate Na+ and NMDA spikes is asserted here but claimed nowhere in the tree. | bede850f | d9995058 | — |
| 4 | results-021 | gap | — | The sub-millisecond, non-backpropagation-driven character of dendritic Na+ spikes is asserted here but no claim characterises the spike types the model produces. | b2ff001b | d9995058 | — |
| 5 | results-023 | gap | — | The generative conditions for NMDA spikes are asserted here, and the tree has no claim describing how the model's NMDA spikes arise. | 7291c964 | d9995058 | — |
| 6 | results-025 | gap | — | The nexus origin and Ca2+-channel basis of Ca2+ spikes is asserted here with no corresponding claim in the tree. | 5f917162 | d9995058 | — |
| 7 | results-031 | gap | — | The long apical trunk of L5 neurons and its consequence for tuft-driven spiking is background the tree never states as a claim. | 3ef23816 | d9995058 | — |
| 8 | results-036 | not-an-assertion | — | A bare panel label naming the quantity plotted. | a1236a09 | — | — |
| 9 | results-037 | not-an-assertion | — | Describes how compartments were grouped for the analysis rather than stating a result. | 40d6092c | — | — |
| 10 | results-040 | not-an-assertion | — | A bare panel label pointing to the format of an earlier panel. | 8ec2bad9 | — | — |
| 11 | results-042 | gap | — | That the model's compartments differ systematically in electrotonic coupling to the soma is asserted here but not claimed anywhere. | 7e8d6c1c | d9995058 | — |
| 12 | results-052 | covered | na-spikes-couple-2to3ms-before-ap | This is the 2-3 ms lead of dendritic Na+ spikes over somatic action potentials that the claim states. | 02d2ce09 | — | ce79d257 |
| 13 | results-055 | covered | nmda-spikes-couple-25ms-before-ap | This is the ~25 ms NMDA-spike lead over somatic action potentials that the claim states. | 7e397d64 | — | 79f1ec67 |
| 14 | results-059 | gap | — | The electrotonic proximity of the nexus to the apical trunk, and its role in Ca2+ spike propagation, is asserted here with no claim behind it. | 836080f3 | d9995058 | — |
| 15 | results-060 | covered | ca-spikes-couple-20ms-before-ap | This is the ~20 ms lead of nexus Ca2+ spikes over somatic action potentials that the claim states. | 00b511e1 | — | 50ed9864 |
| 16 | results-061 | gap | — | The ordering of apical NMDA spikes before Ca2+ spikes is a result with no claim in the tree. | 7ee8ab6e | d9995058 | — |
| 17 | results-063 | gap | — | The proposal that tuft NMDA spikes drive somatic output indirectly, via Ca2+ spikes, is not stated by any claim. | f36542c7 | d9995058 | — |
| 18 | results-065 | not-an-assertion | — | Narrates the analysis performed rather than reporting its outcome. | 4ac12767 | — | — |
| 19 | results-067 | gap | — | The null result for basal dendrites is a reported finding that no claim accounts for. | bdc01511 | d9995058 | — |
| 20 | results-069 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 40e10751 | — | — |
| 21 | results-070 | not-an-assertion | — | A bare panel label naming the quantity plotted. | a7a2d9cf | — | — |
| 22 | results-071 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 99afafcf | — | — |
| 23 | results-072 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 65b41aa9 | — | — |
| 24 | results-081 | covered | distal-inhib-drops-firing-02hz | These are the control, distal and perisomatic firing rates the claim states, 5.5 Hz falling to 0.2 Hz under doubled distal inhibition. | 41617b38 | — | ab6e917a |
| 25 | results-084 | not-an-assertion | — | A bare panel label naming the three conditions plotted. | 07020949 | — | — |
| 26 | results-086 | not-an-assertion | — | Describes the current-step measurement used, not a result. | bf8e23bd | — | — |
| 27 | results-091 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 1c2c6329 | — | — |
| 28 | results-092 | not-an-assertion | — | A bare panel label pointing to the format of an earlier panel. | 62135eff | — | — |
| 29 | results-093 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 6f9166eb | — | — |
| 30 | results-096 | not-an-assertion | — | Panel labels and their colour coding, stating no finding of their own. | 29cfbc83 | — | — |
| 31 | results-098 | not-an-assertion | — | A bare panel label pointing to the format of an earlier panel. | e7d535a2 | — | — |
| 32 | results-100 | not-an-assertion | — | Describes the f-I measurement procedure rather than its outcome. | 6e4ad0c8 | — | — |
| 33 | results-104 | covered | distal-inhib-drops-firing-02hz | The claim's 0.2 Hz under distal versus 0.7 Hz under perisomatic inhibition is exactly this comparison of which manipulation cuts firing most. | 6afd0bac | — | ab6e917a |
| 34 | results-108 | covered | perisomatic-inhib-drops-firing-07hz | The claim states that perisomatic inhibition leaves dendritic spike rates relatively preserved, which is what this reports. | 1008a490 | — | 01608804 |
| 35 | results-109 | covered | distal-inhib-drops-firing-02hz | The claim attributes the distal effect to suppression of Ca2+ and NMDA spikes, which is the decrease reported here. | cd681390 | — | ab6e917a |
| 36 | results-110 | gap | — | No claim states that Na+ spike rates survive tonic distal inhibition, which matters because the rhythmic case later behaves differently. | 8b8a7bd5 | d9995058 | — |
| 37 | results-119 | not-an-assertion | — | States the purpose of the lag manipulation rather than any result. | a1d78a93 | — | — |
| 38 | results-121 | covered | ei-lag-sensitivity-firing-rate | The claim that E-I lag reshapes dendritic spiking and its coupling to output is what this example illustrates. | 3332145f | — | 5c6a828c |
| 39 | results-125 | not-an-assertion | — | Lists which events were analysed, not what was found. | cf006140 | — | — |
| 40 | results-126 | gap | — | The non-monotonic lag profile, with distal suppression peaking near 125 ms and recovering by 500 ms, is a specific result the tree's lag claim does not capture. | a13949cb | d9995058 | — |
| 41 | results-127 | covered | ei-lag-sensitivity-firing-rate | Loss of Ca2+-to-soma coordination with increasing lag is the claim's point that timing reshapes dendritic contribution. | d2df9151 | — | 5c6a828c |
| 42 | results-134 | not-an-assertion | — | Announces the simulation that follows rather than reporting a result. | 275c15ff | — | — |
| 43 | results-135 | gap | — | The paper's parameterization claim covers synaptic drive but not this calibration of rhythm modulation depth against in vivo beta and gamma bursts. | 701a62b9 | d9995058 | — |
| 44 | results-140 | not-an-assertion | — | A bare panel label naming example data. | f7473e8e | — | — |
| 45 | results-144 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 04023906 | — | — |
| 46 | results-146 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 11b229f3 | — | — |
| 47 | results-150 | not-an-assertion | — | States the phase convention used in the plots and repeats a figure title. | 00bb8367 | — | — |
| 48 | results-152 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 9ca7b1f1 | — | — |
| 49 | results-154 | not-an-assertion | — | A bare panel label naming the quantity plotted. | d78c78e3 | — | — |
| 50 | results-160 | covered | beta-bidirectional-dendritic-control | The claim asserts phase-dependent control of dendritic spike occurrence by distal beta, which is the modulation reported here. | 93075071 | — | aca00b26 |
| 51 | results-162 | gap | — | The dissociation between rhythmic and tonic distal inhibition for Na+ spikes is flagged as unexpected here but no claim states it. | c9c3951d | d9995058 | — |
| 52 | results-163 | covered | gamma-perisomatic-no-dendritic-spike-change | The claim states that perisomatic gamma leaves dendritic spike rates substantially unaltered. | d53e364b | — | 25b33f21 |
| 53 | results-167 | not-an-assertion | — | Defines what peak and trough phase mean in these plots. | 228a6b36 | — | — |
| 54 | results-168 | covered | gamma-optimal-perisomatic-ap-modulation | The claim asserts phase-dependent modulation of somatic AP voltage threshold by perisomatic gamma, which is the trough-phase threshold drop reported here. | 9620b0c9 | — | 324f7407 |
| 55 | results-171 | gap | — | A threshold increase during the beta peak, and the off-path shunting account of it, is asserted here while the tree's distal claims predict little threshold change. | 5c7fb63c | d9995058 | — |
| 56 | results-172 | gap | — | The membrane-potential decrease during the beta peak, and its attribution to suppressed dendritic spikes, is claimed nowhere. | 494a04fb | d9995058 | — |
| 57 | results-180 | not-an-assertion | — | A figure-supplement title, not a stated finding. | 18020469 | — | — |
| 58 | results-193 | gap | — | The swapped-location control, where phase modulation of firing survives but overall spiking collapses, has no claim behind it. | c7e2c0de | d9995058 | — |
| 59 | results-194 | gap | — | The null effect on Ca2+ and NMDA spikes when each rhythm is delivered to the wrong compartment is an unclaimed control result. | 2b08b78e | d9995058 | — |
| 60 | results-195 | covered | hypothesis-frequency-compartment-matching | This is the claim's timescale-matching logic in action: slow Ca2+ and NMDA processes escape gamma while sub-millisecond Na+ spikes follow it. | 16425abf | — | aa6a4e83 |
| 61 | results-197 | gap | — | Dendritic gamma sparing AP threshold while hyperpolarizing the soma is a control result with no claim in the tree. | 40de16be | d9995058 | — |
| 62 | results-199 | gap | — | Somatically delivered beta raising threshold and hyperpolarizing at the peak is a control result the tree does not claim. | bf845f38 | d9995058 | — |
| 63 | results-206 | covered | beta-optimal-distal-dendritic-entrainment | The claim locates peak distal entrainment near 20 Hz, which is the fall-off above 20 Hz reported here. | 2b310c59 | — | 8ac5c889 |
| 64 | results-211 | covered | beta-optimal-distal-dendritic-entrainment | The caption states the frequency dependence of distal entrainment that the claim makes. | 8e049914 | — | 8ac5c889 |
| 65 | results-214 | not-an-assertion | — | A bare panel label naming the example traces shown. | e67caf0c | — | — |
| 66 | results-218 | not-an-assertion | — | Explains the colour gradients used to encode onsets and offsets. | bc84628d | — | — |
| 67 | results-222 | covered | beta-bidirectional-dendritic-control | Onsets in the trough and offsets at the peak is precisely the bidirectional, within-cycle control the claim asserts. | 43f8fe82 | — | aca00b26 |
| 68 | results-223 | not-an-assertion | — | Narrates the quantification performed rather than its result. | 08d5607d | — | — |
| 69 | results-229 | gap | — | Phase-dependent shifts in mean somatic membrane potential at low rhythm frequencies are unclaimed; the tree's perisomatic sweep claim covers threshold only. | 2e0fbf04 | d9995058 | — |
| 70 | results-232 | gap | — | The divergence of momentary membrane-potential fluctuations between peak and trough as frequency rises is a separate result no claim states. | a49aead1 | d9995058 | — |
| 71 | results-239 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 3ddf2db0 | — | — |
| 72 | results-240 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 89719a08 | — | — |
| 73 | results-245 | not-an-assertion | — | Describes how the burst simulations were configured, not what they showed. | 2aa5a4b1 | — | — |
| 74 | results-247 | not-an-assertion | — | A bare panel label naming example data. | 3b73ce7d | — | — |
| 75 | results-251 | not-an-assertion | — | A bare panel label naming the quantity plotted. | 8945d390 | — | — |
| 76 | results-253 | not-an-assertion | — | A bare panel label naming the quantity plotted. | a641bb76 | — | — |
| 77 | results-259 | covered | burst-effects-emerge-first-cycles | The claim asserts that gamma bursts phase-modulate action potential timing across the burst, which is the entrainment reported here. | 0a0bf2e2 | — | 822832de |
| 78 | results-260 | covered | gamma-perisomatic-no-dendritic-spike-change | The claim's orthogonality point, that perisomatic gamma leaves dendritic spikes alone, holds for bursts as well as tonic rhythms. | 3012a8d6 | — | 25b33f21 |
| 79 | results-261 | covered | burst-effects-emerge-first-cycles | The claim asserts that beta bursts phase-modulate both dendritic spikes and action potential timing, which is the entrainment reported here. | f6f1a3fd | — | 822832de |
| 80 | results-264 | not-an-assertion | — | Describes the clustered-input manipulation that was added, not a result of it. | 6fc35a10 | — | — |
| 81 | results-268 | not-an-assertion | — | A bare panel label describing a schematic. | 870fd275 | — | — |
| 82 | results-269 | not-an-assertion | — | Explains what the panel plots and how peak and trough are colour coded. | f54880b4 | — | — |
| 83 | results-275 | not-an-assertion | — | Explains how the summary measure was computed from the preceding panel. | 2bf0dbf9 | — | — |
| 84 | results-281 | covered | beta-gates-distal-apical-inputs | Transmission of distal inputs in the trough and blockade at the peak is exactly the gating the claim asserts. | 5d022f02 | — | 1f8f1334 |
| 85 | results-282 | gap | — | Beta's suppressive effect on proximal clustered inputs is reported here but no claim covers what beta does outside the distal apical compartment. | e336ac79 | d9995058 | — |
| 86 | results-284 | covered | gamma-gates-proximal-basal-inputs | Gamma enhancing proximal inputs in the trough and suppressing them at the peak, while barely touching distal inputs, is the claim's gating pattern. | 9726f4a1 | — | afcfaedc |
| 87 | results-285 | gap | — | The gamma half of this summary is claimed, but the suppression of proximal input transmission by beta is not stated anywhere in the tree. | 0139677a | d9995058 | — |
| 88 | captions-052 | not-an-assertion | — | States the phase convention used in the plots and gives a figure title. | 84d596d5 | — | — |
| 89 | captions-066 | not-an-assertion | — | A panel label deferring to an earlier panel's format, plus a figure title. | ead708e9 | — | — |
| 90 | captions-112 | not-an-assertion | — | A figure title for the summary schematic, asserting nothing on its own. | a9e868d6 | — | — |
| 91 | tables-001 | not-an-assertion | — | A table title. | c164cd25 | — | — |
| 92 | tables-007 | not-an-assertion | — | Raw model-parameter rows drawn from cited measurements, which the paper's parameterization claim already frames as inputs rather than findings. | bd70b9e3 | — | — |
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.
Artifacts
Versions
From the run ledger. There is no changelog beside it to keep in step.
-
v2 · 2026-09-11 · supplied:runs/headley-2026-inhibitory-rhythms/adjudication.answer.json
re-validated against the current tree; verdicts now carry the tree fingerprint
python3 scripts/adjudicate.py headley-2026-inhibitory-rhythms --answer runs/headley-2026-inhibitory-rhythms/adjudication.answer.json
-
v1 · 2026-09-11 · supplied:runs/headley-2026-inhibitory-rhythms/adjudication.answer.json
verdicts answered by Claude Opus 5 through --dump-prompt
python3 scripts/adjudicate.py headley-2026-inhibitory-rhythms --answer runs/headley-2026-inhibitory-rhythms/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
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.