Passive covariance can hide effective coupling in a linear stochastic system. We give an audit for noise probes when all states are observed, drift stays fixed, and baseline covariance and input noise are known. After baseline whitening, a commutator operator tests the hidden skew part of drift. Its smallest singular value gives exact residual sensitivity. With one probe it equals the smallest covariance eigenvalue gap. We prove a finite covariance-error bound and two failure controls. Uniform noise scaling gives no new information. An uncoupled n-state system needs n-1 separate node probes. In one 10-state simulation, a single probe identified coupling with exact data but gave median relative error 1.00 at one million independent snapshots. Ten probes at the same total count reduced the error to 0.0236. All finite bounds in 1,920 trials covered the actual error. The tests used true covariance errors and do not supply data-only confidence intervals. Unknown baseline error, hidden states, filtering, drift changes and biological transfer remain open. The bundle contains proofs, new code, synthetic inputs, trial results and a figure.
We tested how the unit of anatomical uncertainty changes stability in linear models from two adult C. elegans chemical maps. A selected common core had 157 cells. We normalized each contact-count matrix by its own spectral radius. Either fixed map was stable below gain 1. Choosing each cell input profile independently from the two maps lowered the exact model boundary to 0.946261. Choosing output profiles lowered it to 0.921425. Independent edges gave 0.852276. Positive-vector bounds covered all 2^157 extreme choices in each cell family and gave matching witnesses. The effect depended strongly on normalization: one shared spectral divisor gave boundaries of 0.996884 and 0.989879. Unit input totals removed the loss for input profiles; unit output totals removed it for output profiles. Caps on contact weights changed the order of the two cell results. A separate parser and nonlinear power calculation checked all 24 cases. These are model benchmarks, not observed instability. Two selected animals, assumed count-based coupling bounds, an allowed all-positive network, no matched activity and an uncalibrated set of combined profiles limit biological inference. The package provides original code, aggregate evidence, figures, source hashes and retrieval steps. External source records and derivative matrices remain outside the baseline publication.
We tested whether response timing can remove a limit of steady response data in a full worm graph. The model retained all 302 neurons and 5,099 directed edges from the Cook neural map. Leak and input gains were known. All states were measured without error in the same calibrated units. The 173 input sites came from occurrence counts in a pinned wild-type signal propagation atlas. One full steady response matrix left 15 independent coefficient changes unresolved. Exact certificates at two primes showed that adding the full response matrix at Laplace rate 1 made all coefficients unique for generic weights. Two rate values were thus necessary and sufficient for this model and input set. The stricter 149-input set also gave full rank at two rates. In ten stable synthetic models, exact two-rate data gave coefficient norm errors below 1.9e-13. In one model, noise with SD equal to 1% of the global response RMS gave median coefficient norm error of 41.2% over 20 draws. These are ideal model and synthetic results. We did not fit measured calcium values. The package includes all graph support, exact certificates, source hashes, code, figures, and repeat instructions.
We tested whether two early SEEG responses can assign calibration pulses to reduce the largest later site error at a fixed budget. Public OpenNeuro ds004696 v1.0.1 supplied eight patients and 86 fixed remote bipolar readouts. An exact integer rule minimized the maximum estimated noise cost. Each site received two to five pulses, with 258 calibration pulses in total. The reference used three pulses at every site. The test target was the final five-pulse mean at each site, at 20 to 500 ms. The mean patient reduction in largest measured error was 5.91%, with a 95% patient bootstrap interval from -6.45% to 20.63% and a two-sided sign-flip reference probability of 0.53125. Three patients improved, three worsened, and two had the same largest error. The model cost fell by 23.01%. Thus an exact model optimum did not establish lower later error. The package retains a proof, exact voltage, source records, results, four figures, and reproduction instructions. GPL analysis and retrieval code are omitted, which prevents a fresh public computational replay from the package. A complete fresh subject-01 source check and a separate-process numerical replay passed. This is an offline reanalysis of previously used sessions with inherited readout selection. It does not establish live interface benefit.
We tested what a structural input count can specify about release timing when functional edge summaries are also given. Source tables provide 137 boutons from one cultured mouse cortical neuron. A linear model assigned distinct boutons to a target with equal positive quantum weights. Total efficacy stayed within 1% of a reference. The efficacy-weighted pulse index stayed within 0.01 of a second reference. Among all subsets of four boutons, 20,092 met both limits. Their delayed release fractions ranged from 0 to 11.9994%. Two disjoint subsets attained the bounds. Complete enumeration checked all 14,043,870 four-bouton subsets. Tighter limits of 0.1% and 0.001 retained a 0 to 9.2297% range. Moving every recorded fraction halfway toward the pooled source fraction changed the main range to 1.6070 to 7.6067%. This is a stated model change, not a noise correction. The source data do not identify target assignments. Recorded estimates are fixed model inputs; 71 recorded zeros do not prove zero underlying release probability. A separate nested test on 60 group means from 20 neurons found a 10.42% error decrease after adding the pulse index to efficacy features. Whole-label refits gave a wide resampling range that included worse prediction. The released preparation labels also differ from the article count. The contribution is a conditional allocation bound, an audited dataset, a reusable solver and a prediction benchmark. It does not measure a connectome or infer actual target responses. The package preserves source data, provenance, code, all results, figures and offline repeat instructions.
We built a tool to bound variance from independent button delays in fixed duration covariance matrices. The additive model sets covariance between button delays and all other errors to zero. It allows different press variances and any covariance for the other errors. We used 3,289 complete three-interval trials from 23 adults in OpenNeuro ds006720 version 1.0.0. We removed condition and run means in seconds. The mean maximum delay share was 70.5%. The mean minimum remainder share was 29.5%. Each share uses the sum of the three interval variances. These means give each person equal weight. Correlated press delays could explain all supplied covariance. In 500 pure-delay Gaussian samples, the true remainder share was zero. The estimated minimum remainder share averaged 9.0%. Thus, the data result describes fixed estimates. It is not a population confidence bound or a memory-variance estimate. The package contains the proof, source events, hashes, code, numerical certificates, results, and reproduction instructions.