discover_target_validation
Test a hypothesis that a gene drives a phenotype ("gene G regulates IL-2 production") the way POPPER does: each evidence table is one falsification test, an implication of the hypothesis that a gene-level score could contradict (expression in the relevant tissue, association with related disease, interaction with genes annotated to the process). Under the null that G is exchangeable with any gene the tables score, G's p in each table is the share of genes scoring at or beyond it; each p is calibrated to the e-value κ·p^(κ−1), the e-values are multiplied in the order given, and the hypothesis passes when the product exceeds 1/α. The product is a valid e-value only when the tests are independent under the null, so the run also reports the joint p: the product's own share among every gene's product, valid whatever the tables' dependence. Returns every test's score, rank, p, e and running product, the test after which the product first crossed 1/α, and the joint p. Each table is gene<TAB>score with one header line; the gene must be in every table.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| gene | Yes | the gene under test, as the tables spell it (HGNC symbol for the bundled corpus). | |
| alpha | No | the hypothesis passes when the product of e-values exceeds 1/α. | |
| kappa | No | κ of the p-to-e calibrator κ·p^(κ−1); POPPER's default is 0.5. Advanced. | |
| _files | No | The project: record references shaped like _subject. Their records become library documents a tool names in sequences/parts/document; a trace or alignment is found by file name. | |
| tables | Yes | the falsification tests in the order to apply them: each `{ name, text, direction }`, where `text` is `gene<TAB>score` with a header line and `direction` is the end of the score the hypothesis predicts, `greater` (default) or `less`. | |
| _subject | No | The record to act on: exactly one of sequence, accession (+source), sample (an id from list_samples) or file ({name, text} or {name, base64}); record_index picks one record of several. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tests | Yes | each test: score, genes at or beyond, p, e and running product | |
| jointP | Yes | the product's share among every gene's product | |
| result | Yes | the full result | |
| combined | Yes | the product of the calibrated e-values | |
| rejected | Yes | whether the product of e-values exceeded 1/α | |
| nullModel | Yes | the null, stated with every run |