12,562 Publications · 74,959 Citations

We tested whether the erasing design in OpenNeuro ds004562 version 1.0.0 can separate an additive context response from joint direction responses. An intercept and two functions of intended cursor and hand direction reproduced both context contrasts exactly. The identity held for all 11,730 erasing records in 46 archived event tables from 23 people. It also held in the second-day scope without sub-16. Direction main effects had rank 7. Context contrasts or the two direction interactions increased rank to 9. Including both sets gave rank 9 with 11 columns. A linear decoder using only the synthetic direction features classified all 240 held-out conditions in 120 reconstructed splits. This is a constructed example, not measured brain accuracy. A proposed eight-direction design added four diagonal directions. It made both context contrasts estimable under an additive context model with arbitrary joint direction-pair effects. Independent checks passed. Fresh source retrieval reproduced 14 numerical files byte for byte. The package preserves fixed source files, hashes, exact matrices, proof, code, results, and instructions. The proof uses intended directions inferred from the stated mappings. It does not establish absence of context representations in the brain.

We tested whether full Fourier spectra lower conservative correlation thresholds. We used 20 movie fMRI runs from ten selected people in OpenNeuro ds006192 version 1.0.0. Each run had 100 cortical regions and 4,950 pairs. At a nominal 5% limit for any rejection in one graph, all 99,000 primary pair thresholds decreased. The mean relative decrease was 12.91%. The rule uses the exact moment function under fixed spectra and independent region phases. A finite search and a union bound give a conservative error limit in real arithmetic. The proof permits dependent edges. Independent calculations checked 891,000 thresholds across three data settings and three error levels. A fresh-source replay matched all 66 analysis files byte for byte. In 2,000 coherent graphs from one source run, the new rule rejected in 0.6% of graphs. The package contains the source values, hashes, proof, code, pair results, figures, and reproduction commands. Binary FFT arithmetic is not interval certified. The study does not show that the phase model fits real brain data or estimate actual false neural connections.

We tested whether individual channel power spectra can guarantee close agreement between correlation estimates from alternating rows. We used 100 cortical regions in 20 processed movie fMRI runs from ten people in OpenNeuro ds006192 version 1.0.0. Each phase control preserved the original channel power spectra. The mean Pearson root mean square (RMS) difference increased from 0.00425 to 0.05674. The increase was 9.16 to 21.29 times the original value in every run. Thus none of these 20 spectral profiles can guarantee an RMS at most 0.01 for all compatible phases. We also derived two deterministic upper bounds and provide their proofs and Python code. The bounds were valid but loose. All 3,305 constructed cases and all 60 record-setting checks passed. The package contains 215 verified source files, all results, exact phase arrays, and reproduction commands. A fresh replay matched 19 result files and 114 saved arrays exactly. The refinement and controls were selected after earlier results. These finite-array controls do not estimate neural stability or the biological probability of phase choices.

We tested how random trial audits and delayed labels affect a fixed SEEG error monitor. We used public OpenNeuro ds004473 version 1.0.2, eight reused recordings, 975 next-condition trials, and 961 accepted outputs with 248 errors. The readers and gates stayed fixed. The main setting used a 25% independent whole-trial audit rate and a delay of five retained trials. Complete immediate feedback was the reference. Mean person error exposure increased from 63.3% to 87.2%, a change of 23.9 percentage points. The descriptive 95% whole-person bootstrap interval was 9.5 to 37.9 points. Mask Monte Carlo standard error was 0.052 points. Across the fixed cohort, expected wrong delivered outputs increased from 99 to 184.4. Trial label requests fell from 574 to 208.2. Correct outputs withheld fell from 249 to 82.8. We scored 10,000 saved masks per person at five audit rates and three delays. A proof shows that independent audits and ordered fixed-delay feedback preserve the conditional false alarm bound for one fixed setting per reader. The bound needs a conditional count null and correct labels. No alarm does not certify low risk. All 162 source input files matched the sci manifest. Eight fresh pinned EDF ranges matched their hashes. Independent scalar checks passed in 4,200 cases, and a full numerical replay matched 21 files. The package preserves source features, raw retrieval recipes, code, masks, results, proof, three figures, and reproduction commands. This offline test does not establish a population effect, live device performance, or a brain stimulation result.

We tested a feedback rule for a fixed brain state reader. We reused eight public SEEG recordings from OpenNeuro ds004473 version 1.0.2. Each trial had two selected windows. We froze the readers and their confidence gates. We then tested a 10% conditional accepted-output error target in the next task condition. One update used the accepted count and wrong count from the whole trial. With complete feedback before the next trial, the rule stopped five of eight readers. The offline stop replay withheld 149 of 248 wrong accepted outputs and 249 correct outputs. It still delivered 99 errors. Two readers had observed error above 10% and did not alarm. The ideal rule needs an explicit per-trial conditional error assumption. Under that assumption, the chance of any false alarm across eight readers is at most 5%, at any time. In a separate null simulation with duplicate errors, separate window updates gave 19.96% alarms under a nominal 5% rule. Trial updates gave 3.01%. This is an exploratory reuse of selected event windows. No alarm is not a risk certificate. The package has a proof, reusable code, figures, all feature inputs, fixed models, source receipts, and independent checks. It does not test live command control or brain stimulation.

We tested corrected squared contrast scores with 431 public AOMIC working-memory designs. The mean model was correct and fixed. Noise was Gaussian, with separable row and feature covariance. The row covariance was known. The spatial metric and row weights were fixed. Under these assumptions, we proved that the corrected full-run GLS score was a conditional mean of each corrected same-run split product. Thus its variance and mean squared error were no larger. We derived exact variances that include dependence from the shared residual correction. All 5,172 tested pair comparisons had lower full-score variance at four assumed signal levels. For white noise and consecutive halves with a shared filter, median null variance fell by 60.68% in PIOP1 and 60.52% in PIOP2. Checks used dense matrix formulas, separate numerical solvers, 480,000 simulated responses, and conditional residual rotations. A clean offline rebuild reproduced eight finite design result files and all weight arrays exactly. A secondary check showed that a wrong row covariance can bias the full score. No BOLD image was used. The package contains the proof, calculator, source code, selected inputs, source hashes, results, and rebuild instructions. This study does not test a benefit in measured brain images or over independent-run methods.

The proof gives a stop-signal timing check with a false flag probability of at most 0.05 in one trial stream. The check permits response speed to change and delay to depend on past outcomes. It requires a verified lower bound on each conditional stop assignment probability, a delay known before each assignment, and the conditional response floor. A recorded stop response must be at least as probable as a go response before that delay. Exact rational checks, an independent scalar calculation, and a separate replay checked the method. Constructed trials used all 226 AOMIC PIOP2 go response profiles from OpenNeuro ds002790 version 2.0.0. Each condition used 22,600 simulation runs. At 1000 trials, the boundary null flagged 3.978% of runs. With a 2200 ms delay limit, the check flagged 68.394% of constructed 25% stop response deletion runs. Detection was low at 100 trials. An invalid assignment bound caused almost universal flags under a valid response floor. These are simulation results. The public human records do not establish all design facts needed for a calibrated test. The package preserves source data, hashes, proof, code, results, example trials, and reproduction instructions.

We tested if unlabeled scores can separate 1 and 10 percent task rates. We used eight fixed readers from public SEEG data in OpenNeuro ds004473 version 1.0.2. In an exact model with two classes, we replaced 9.09 percent of each rest score distribution with its task score distribution. A 1 percent task rate then gave the same score distribution as a 10 percent rate with stable classes. The required rest CDF change was 0.0172 to 0.0741. This is a constructed score model, not an observed neural change. We also provide a task rate interval from a cumulative distribution function (CDF) error bound. It has at least 95 percent coverage under independent samples and valid class drift bounds. In matched independent simulations with 200 unlabeled windows, finite source samples kept both rates in 99.9 percent of intervals. The true rate was 10 percent. Each reader had 24 to 58 source scores per class. The package contains the proof, eight feature arrays, fixed readers, simulations, four figures, source records, and reproduction code. Fresh signal ranges from all eight recordings rebuilt 160 feature windows with no error. The clinical trials do not establish the sample independence assumption. The study does not test live command rates or stimulation.

We tested the next reward balloon after a first-pump burst in 187 AgeRisk people. We used the first ten reward transitions in each of two runs. The primary target was intended pumps, limited to eight. Under the stated threshold model, weights corrected incomplete pump counts. The difference was -0.108 pumps, with a 95% interval of -0.509 to 0.285 pumps. The analysis did not resolve a change. The result requires hidden independent uniform thresholds from 1 to 16. The task prefix must also remain complete under either threshold condition. The package includes exact public source files, code, results, checks, figures, and retrieval instructions.

We built a timing test for fixed trial counts and delays set before their current outcomes. The proof uses independent go observations from one fixed law in each chosen group. It permits adaptive delays and dependent go and stop durations. The test gives a lower bound on the largest conditional probability shortfall. In all 171 public ds005754 v1.1.1 records, 60 failed under the written delay and outcome fields. The primary procedure has a nominal 5% error bound across these records under its assumptions. In 24 records the shortfall lower bound exceeded .10. Excluding inferred practice gave 60 failures. A correct-response lower proxy gave 46. Separate main-block go laws gave one failure and wider error bounds. The dataset was selected after an earlier audit, so this application is exploratory. Separate checks matched all 1,026 analysis rows and 19,836 trial comparisons. All 260,000 simulation decisions passed a numerical check. A full repeat matched their arrays. New retrieval and analysis matched the source and main results. The simulations showed low power for some adaptive paths. A rejection does not identify a field error or impaired inhibition. The package preserves source data, hashes, new code, the proof, every result, and reuse instructions.

We tested geometric medians of five complete pulse traces for later SEEG voltage prediction. The public data came from OpenNeuro ds004696 version 1.0.1. We used 86 fixed readouts in eight clinical epilepsy sessions. Five early good pulses fitted each forecast; 612 later good pulses tested it. The window was strictly 20 to 500 ms after each pulse. On recorded inputs, the mean person percentage error increased by 3.24% compared with the ordinary mean. Its descriptive 95% interval was 1.26% to 5.56%. The fixed fault test changed only the third calibration trace. The added transient had four times the original calibration RMS, with both signs tested. Under that fault, mean person percentage error fell by 60.09%. Its interval was 53.95% to 67.60%. The scaled mean was better without added faults and worse under this large fault. A sample median had similar fault performance. A proof bounds median distance by 8r/3 when four inputs lie within radius r of a fixed center. All eight complete public source files passed fresh hash checks. All selected waveforms matched exactly. Independent objective and loss checks passed. A second run gave identical result files. The package preserves exact data, code, provenance, retrieval instructions, tables, and four figures. This offline test uses a reused cohort and retrospective quality labels. It does not measure clinical benefit or fault frequency.

We asked whether fixed contact powers can support a fast test of imaginary SEEG network spectra. Independent uniform phases across contacts and spectral cells give an exact joint covariance for a fixed real montage. A standard concentration bound limits the chance of any edge rejection to five percent under the complete phase null. We tested a joint Gaussian approximation with two public resting SEEG records from OpenNeuro ds005670 version 1.0.0. Each network had 12 bipolar outputs and 66 edges. Primary null rejection was 5.45 and 5.05 percent at a five percent target, from 2000 networks per record. The exact contact rank test gave 5.05 and 5.65 percent. Gaussian calibration generation was much faster on the study host. The approximation has no finite-sample guarantee. The proved bound rejected no null or weak signal networks and was conservative here. The fixed signal gave little detection gain. The package contains the proof, code, compact spectra, all evaluation scores, source hashes, and retrieval instructions. Both source records rebuilt the spectra exactly. All six simulations reproduced their numerical arrays exactly, except run times. These results concern the stated phase model and fixed scaling. They do not establish neural connections or patient error rates.

We give a Python tool to test current response information about future stops. Researchers must set each score before they know its next label. The conditional stop probability must be correct under the null. A proof gives a 5% false rejection bound, including repeated inspection of one fixed test. The general probability theorem is established. Public AOMIC PIOP2 event files set the benchmark size at 100 trials and 226 participants. We used 5,000 simulated studies per condition. In five settings with correct laws, detection rates were 2.18% to 2.86% for responses with only past inputs. An ordinary future stop contrast gave 83.22% detections under independent stops with a response from the past stop count. The tests have different nulls. An incorrect adaptive probability gave 100% detections without future response input. The new work is the checked tool and its benchmark. Power was low in some conditions with one participant. The package keeps code, proof, 233 pinned source files, simulation records, and reproduction instructions. An independent rerun gave identical numerical arrays and summaries. We make no calibrated inference about recorded human responses because their required assignment law is unknown.

We tested motion removal that keeps a task contrast unchanged. The motion terms were made orthogonal to the task and baseline terms. The inputs were 431 public AOMIC version 2.0.0 working memory designs: 207 PIOP1 and 224 PIOP2 runs. The target was change minus nochange. The main model used six motion terms. Each synthetic residual artifact had RMS equal to the residual unit-contrast task signal. The sharp maximum remaining contrast averaged 0.261 and 0.272 in the two cohorts. The artifact that reached each bound remained as the exact residual task shape. A joint fit gave zero contrast for these artifacts and one for a unit task signal. The bound squared also equaled one minus the base-to-joint variance ratio under independent errors. All seven fixed scenarios and 3,017 design tests are included. A reusable NumPy tool, proof, source bytes, fixed retrieval recipes, attaining signals, and separate checks are preserved. Offline and fresh source repeats matched all 17 output files exactly. These results test designs and specified artifact amplitudes. They do not measure brain activity or actual motion bias.

We tested contrast variance in 431 fixed AOMIC working memory designs from OpenNeuro versions 2.0.0. The analyst used correct scan gaps and AR(1) generalized least squares with known variance 1 and known correlation 0.4 at one original scan lag. A NumPy tool bounded variance over stationary mixtures of damped cosine covariances with q=0.9 and the same two moments. Separate feasible models gave 1.3019 to 2.2044 times the reported AR(1) contrast variance. One common model gave a mean ratio of 1.840168; every design had a ratio above 1. Under Gaussian noise and known scale, this common model gave a mean null rejection probability of 14.831% for a nominal 5% normal test. The largest primary relative bound gap was 0.00136%. Dense covariance checks passed for all designs. Independent linear programming and Gaussian simulations also passed. The package preserves the tool, formulas, source tables, fixed source versions and hashes, geometry, results, checks, and repeat instructions. The general effect of covariance error is established. The new contribution is the checked tool and this finite-design audit. The design and motion mask are fixed and independent of the modeled noise. The noise class is an assumption. No brain response values were used. These results do not measure false positive rates in participants or calibrate tests with fitted scale or correlation.

A reference selected with labels from other electrode shafts can change pooled SEEG power AUC under random labels. We prove that comparisons within fixed shafts have expected AUC 0.5 when labels are independent, uniform, and fixed in count. The reference must use no labels from the query shaft. All required references and at least one pair must be valid. An exact example with six independent contacts gives expected pooled AUC 0.35 and expected within-shaft AUC 0.5. We test the method on 70 interictal files from 35 patients in OpenNeuro ds004100 version 1.1.3. With 4,096 label draws per patient, mean high-gamma AUC is 0.500074 within shafts and 0.498175 for pooled comparisons. All 70 pinned raw sources were retrieved again. All derived covariance values match. Two complete reruns reproduce all 79 analysis artifacts exactly. The package preserves the proof, code, inputs, labels, results, source hashes, checks, and reproduction commands. The result concerns synthetic labels. It does not test clinical prediction accuracy.

We evaluated percentile, basic, and bias-corrected and accelerated (BCa) 95% bootstrap intervals for the difference between two dependent run correlations under two synthetic score populations calibrated to OpenNeuro ds000102 observations. Each model used 5,000 independent samples of 26 records and 9,999 paired bootstrap draws per sample. All 12 coverage estimates and their upper Wilson Monte Carlo limits were below 95%. Coverage ranged from 86.98% to 93.76%. No interval was invalid. In the discrete raw-score model, BCa coverage was 79.24% when the preselected source record sub-21 was absent and 97.98% with one copy. Increasing the inner draws to 49,999 for the first 200 samples per model changed 10 of 2,400 coverage decisions. The results concern only these two specified populations and the finite-draw procedures at n=26. The models do not identify the participant population, resolve disputed condition labels, or establish biological effects or long-term reliability.

We tested known finite go laws and fixed delay supports from all 226 AOMIC PIOP2 stop-signal records in OpenNeuro ds002790 version 2.0.0. In each independent race model, two chosen finite stop laws had exactly the same full recorded response law. Their mean stop times differed by 1000 ms. A third law used a 10% trigger failure atom and had the same recorded law. A proof shows that positive mass beyond the last observable comparison leaves the finite mean without a finite upper limit. The full law identifies cell masses, which give sharp limits for a capped mean. At a 500 ms cap, the median example range width was 1.620 ms. These are ideal model limits, not human estimates or confidence intervals. The package preserves exact proofs, a general audit tool, all source bytes and hashes, response laws, endpoint witnesses, independent checks, and a complete repeat calculation.

A reference selected with labels from other electrode shafts can change pooled SEEG power AUC under random labels. We prove that comparisons within fixed shafts have expected AUC 0.5 when labels are independent, uniform, and fixed in count. The reference must use no labels from the query shaft. All required references and at least one pair must be valid. An exact example with six independent contacts gives expected pooled AUC 0.35 and expected within-shaft AUC 0.5. We test the method on 70 interictal files from 35 patients in OpenNeuro ds004100 version 1.1.3. With 4,096 label draws per patient, mean high-gamma AUC is 0.500074 within shafts and 0.498175 for pooled comparisons. All 70 pinned raw sources were retrieved again. All derived covariance values match. Two complete reruns reproduce all 79 analysis artifacts exactly. The package preserves the proof, code, inputs, labels, results, source hashes, checks, and reproduction commands. The result concerns synthetic labels. It does not test clinical prediction accuracy.