ExtremaRank v0.1.0

ExtremaRank computes exact worst-case studentized scores and audits whether paired-omics Top-K feature sets change after shared donor deletion. Both the mean and variance are recomputed on frozen paired effects.

Included

• Conditional two-family extremum theorem, full proof and exact binary64 integer arithmetic.
• Dependency-free Python core and CSV/TSV/gzip CLI; up/down/absolute ranking.
• Exact gene envelopes, donor witnesses, and CERTIFIED / REFUTED / UNRESOLVED shared-set outcomes.
• Two provenance-checked public RNA-seq studies, complete paired inputs and executed results.
• Independent 200,000-case scalar check, 30 unit/interface tests, and shared-search ablations.
• Chinese/English documentation and an offline interactive report.

Download and run

Download and extract the source ZIP for the complete offline reproduction package. From its extremarank directory:

python -m pip install .
extremarank examples/variance_reversal.tsv --budget 1 --top-k 1 --output my-audit

The wheel installs the software alone. SHA256SUMS covers the source ZIP and wheel.

Executed evidence and scope

The 14-pair / 13,328-gene and 18-pair / 16,597-gene studies showed 22.24x / 55.29x matched speed versus exact enumeration of the same scalar target. Full public CLI execution including writes took 2.85 s / 3.94 s locally. Timings depend on hardware; they are not comparisons against approximate DE methods.

This is research software for input sensitivity of frozen paired effects and ordinary paired-t rankings. It does not estimate FDR, certify moderated-t/covariate-adjusted models, establish biomarker truth, or prove clinical benefit. Full shared-set search can remain exponential. The specific technical contribution is documented against the closest verified methods; global priority and peer-reviewed novelty have not been established.

Code: MIT. Public-data attribution and source hashes are in data/.