We tested reversible word transforms in 84 two-second windows from 42 public SEEG records. The input had 23,110,160 exact source words. Each packet had a 32-byte header and no dependence on another packet. At 100 ms, the expanded codec used 26.963 bits per word in seven rest records. The four-mode baseline used 27.240 bits per word. The paired difference was -0.278 bits per word. The 95% person bootstrap interval was [-0.390, -0.174]. The added size reduction was 1.01%. The 35 stimulation records came from 21 people. Their mean difference was 0.000 bits per word. The 95th percentile host encode time in rest rose from 6.54 to 25.56 ms. All tested packets recovered every source bit. The package contains source windows, code, packet examples, figures, and source checks. The result applies to these source files and short windows. It does not establish implant energy use or neural decoding accuracy.
We tested one common calibration and test time split in five public SEEG sessions from OpenNeuro ds004457 version 1.0.2. Each eligible site needed four calibration pulses before the split and four test pulses after it. The exact maximum site counts were 2, 1, 1, 1, and 4. The candidate catalogs had 35, 49, 35, 35, and 29 sites. After calibration for all candidate sites, only 36 of 732 test pulses from the split within each site remained. Shorter input windows kept the same limits. The package supplies an exact interval tool, pulse assignments, figures, code, and source records. All 110 public source files passed hash checks. A fresh raw extraction matched all 30 saved array fields and five event tables. Independent event counts and repeated results agreed. These results describe the fixed clinical recording schedule and stated input rules. We did not estimate reader accuracy or stimulation benefit.
This study counts how often all edges of each shortest path in a majority contact graph occur together in the deposited coordinate models. It uses all 116 models from PDB entry 2K39 and all 176 models from 6V5D, with C-alpha contacts below 8 Å between residues more than two positions apart. In 2K39, 2,344 of 15,146 shortest paths (15.48%) occur in fewer than half the models; in 6V5D, 917 of 13,436 (6.82%) do. Every shortest path occurs in at least one model in these primary graphs, and in all 12 tested graph settings. For example, each edge of one 2K39 path is a majority contact, but only 19 of 116 models contain the full path. Counts describe these two related coordinate ensembles under the stated graph rules. They are not biological probabilities, estimates for other coordinate sets, or tests of protein function.
We tested stored sleep stage labels from 128 BOAS nights in 100 people. We kept five stages and edges with valid labels from all three streams. A match required the same stage pair before and after a change. Each model event time could move through any continuous, strictly increasing map within its night. The event sets stayed fixed. The best maps left 46.39% of human changes unmatched on average for the headband labels. The conditional 95% person bootstrap interval was 43.74% to 49.06%. The corresponding PSG mean was 37.95%, with an interval of 35.55% to 40.44%. Count shortage, stage pair counts, and event order added 19.53, 16.92, and 9.93 percentage points to the headband bound. The intervals assume independent people and fixed model outputs. The package includes source labels, exact map proofs, match witnesses, code, results, and reproduction instructions.
A computational reproduction used new code and the same public OpenNeuro ds000030 version 1.0.0 observations, sample rules, and scoring rules to recalculate conditional limits for stop-signal reaction-time age slopes in 122 controls. It matched all 30 target values, all sample identifiers, and all eligible source rows. For an unadjusted model, the smallest slope remains positive with at most 57 selected changes (0.0056962948057848635 ms/year) and is negative with 58 (-0.004436558094277447 ms/year). The minimum counts are 15 whole-control selections for the unadjusted model, 55 row selections after source-gender adjustment, and 14 whole-control selections after adjustment. All three uniform delay rules give positive slopes; age-dependent selections can give negative slopes, with no probability assigned to those selections. These are conditional limits, not confidence intervals or evidence of a biological age effect. The tasks have 32 STOP trials, below the cited consensus recommendation of 50 for standard group comparisons. The mean-time condition does not establish all race-model assumptions, and observations are cross-sectional. No new observations were collected.
We tested time in uninterrupted REM bouts of at least 10 minutes in 128 released BOAS nights from 100 people. Each missing human or headband label could be REM or another stage. All known labels stayed fixed. Nights were averaged within each person. People had equal weights. The exact mean absolute night error was bounded by 13.60 and 26.22 minutes. Thus, missing-label choices could not remove this score error in the fixed sample. The signed mean error could be negative or positive. A finite-state program found every attainable score. It preserved gaps that an interval calculation would lose. A separate calculation checked all score sets, bounds, and primary assignments. A fresh download reproduced every analysis output byte for byte. The package contains source labels, fixed URLs, hashes, code, a local plan, exact proofs, assignments, results, figures, and reproduction instructions. The result concerns released labels and the human reference. It does not measure true REM physiology or new model performance.
We tested fixed human sleep stage labels from 128 nights in 100 people in BOAS 1.1.3. Each night could have wrong labels at no more than 5% of valid epochs. Error locations and wrong stages had no other limits. An integer dynamic program gave exact attained count limits. The mean reference rate was 10.18 changes per valid edge hour. Permitted mean rates ranged from 2.89 to 22.06. Each person had equal weight, with equal night weights within each person. Minimum mean exact binary change recall was 17.39%. Minimum mean directed stage pair recall was 11.82%. Saved label sequences reached every endpoint within budget. These are fixed-record limits under unrestricted errors, not expected model results or confidence intervals. The package contains source records, provenance, proof, code, all count limits, attaining labels, figures, and reproduction checks.
This conditional sensitivity analysis asks how many shared label errors can make the equal-run mean response-time (RT) contrast negative in OpenNeuro ds000102. The source contains 26 participants, two runs per participant, and 24 trials per run. Two recorded condition fields agree on 624 run-1 trials and 320 run-2 trials, and conflict on 304 run-2 trials; the presented labels remain unknown. The primary model allows agreeing labels in either run to change at a cost of one error and allows conflicting labels to change at no cost. It preserves recorded RT and correctness, requires 12 labels per condition in each participant/run and at least eight usable RTs per condition, and gives each of 52 participant/run contrasts equal weight. With correct positive RTs and no upper RT cap, the lower bound is positive at 56 errors (2137/2860 ms) and negative at 57 (-2083/17160 ms). With a 2000 ms cap, the corresponding budgets are 59 (15391/102960 ms) and 60 (-36607/51480 ms). When run-1 labels stay fixed, the first negative bounds occur at 123 errors without a cap (-769/10296 ms) and 122 with the cap (-1397/4680 ms). Exact rational dynamic programming calculated bounds for every budget; saved assignments and separate checks reproduce the reported endpoints. These are bounds under a specified model, not confidence intervals, estimates of actual error counts, or evidence of biological causality. Labels may depend on RT, and the model does not assign probabilities to label configurations. The presented labels remain unresolved.
We compared two sleep onset rules on 127 BOAS nights from 100 people. Each night starts with a human wake label. We averaged nights within each person and gave people equal weight. A binary completion assigns each missing label to wake or sleep and keeps observed labels unchanged. Exact bounds show lower mean headband onset disagreement with a 10-minute rule for every completion. The decrease is at least 0.339 minutes in this fixed sample. The planned paired comparison uses 95 nights from 80 people. Its change is -0.531 minutes, with a 95% interval from -5.113 to 5.392 minutes. It does not establish a population direction. The package has source tables, hashes, code, a proof, and all bootstrap draws. Separate checks passed. Fresh source files reproduced all 33 numerical outputs byte for byte. Times are from record start. These results concern stored labels, not true physiological sleep onset.
We tested whether two OpenNeuro releases supply independent EEG records. All 70 sample files have matching stored SHA-256 keys and byte counts across ds006222 v1.0.1 and ds007509 v1.0.3. All three tested byte ranges match in every pair. Complete downloads of 12 pairs also match the stored keys. All 70 header pairs differ as files. Their checked sample layouts match. A split by dataset ID shares every test sample key with the training set. The package gives a file-pair table, a split check tool, source records, and repeat instructions. The result applies to these fixed releases. It assumes that source keys describe untested bytes correctly. We did not train a model or measure model performance.
We compared position scoring with sequence alignment in OpenNeuro ds003838 version 1.0.6. We used 6,163 digit responses from 86 participants. We scored target positions 1 through 9 in the 9-digit and 13-digit conditions. Each scored target had distinct digits. We held each response fixed and calculated exact mean scores under uniform target orders. The adjusted position score decreased by 0.696 points. The adjusted alignment score decreased by 0.880 points. The paired difference was -0.184 points, with a participant bootstrap 95% interval of [-0.273, -0.096]. All planned checks with nine target positions gave negative differences. The first-five-position check gave +0.065 points, with a descriptive interval of [0.010, 0.120]. The score comparison thus depended on the positions that were scored. These scores do not identify memory capacity or error causes. The conditions also differed in task time. The package preserves raw source files, fixed source hashes, code, exact control histograms, resamples, figures, and independent checks. A repeat run on fresh source copies reproduced all checked result and figure files byte for byte.