The assurance model
Precise claims, not “certified correct.”
Scientific truth cannot be determined automatically from a workflow — so Genomarker never issues a vague verdict. Every analysis is evaluated across independent assurance dimensions, governed by three explicit contracts, and the result is a signed statement that says exactly what was verified.
Three contracts
AnalysisSpecWhat exact computation should be performed?
- Content-hashed inputs
- Method, implementation, version
- Parameters, covariates, seeds
- Deterministically hashable
Scientific Analysis PlanWhat did the scientist intend before seeing the result?
- Pre-registration constraints
- Pre-specified vs. post-hoc
- Amendments tracked & signed
- Deviations surfaced, never hidden
AssuranceProfileWhat must be true before a claim can be made?
- Versioned scientific rules
- Evidence & replay requirements
- Permitted exceptions, on record
- e.g. GM-BIOMARKER-DE-1
Eight dimensions
| Assurance dimension | The question it answers |
|---|---|
| Input integrity | Do we know exactly what data entered the analysis? |
| Study design | Does the experimental design actually support the contrast being tested? |
| Statistical methodology | Were appropriate methodological safeguards applied? |
| Confounder control & leakage | Were detectable confounders and information leakage caught? |
| SAP alignment | Did the analysis follow the pre-registered scientific plan? |
| Execution integrity & provenance | Did the requested computation execute as specified — and can we reconstruct what happened? |
| Independent replay | Can it be re-executed independently of the original execution? |
| Temporal reproducibility | Is enough computational state preserved for long-horizon replay? |
Scope, stated plainly
What a statement claims
The recorded computation satisfied every requirement of the named, versioned assurance profile — inputs identified, methodology checked, plan alignment established, execution recorded, replay attested, preservation graded.
What it never claims
Biological truth. Clinical validity. Novelty or importance. Correctness of conclusions outside the profile’s scope. The statement says so, in the document itself.
Anatomy of a statement
Genomarker Assurance StatementGM-2026-08-14-8F29E1Specimen
- Analysis
- Differential expression
- Assurance profile
- GM-BIOMARKER-DE-1.3
- Input integrity
- PASS
- Study design
- PASS
- Statistical methodology
- PASS · DISCLOSED FINDING
- Confounder control & leakage
- PASS
- SAP alignment
- PRE-SPECIFIED
- Execution & provenance
- VERIFIED · COMPLETE
- Independent replay
- REPRODUCED_EQUIVALENT
- Temporal reproducibility
- GRADE A
Each row is one dimension, judged by versioned rules frozen at evaluation time. The whole document is signed with ed25519 and verifies offline — no Genomarker application required, in 2026 or 2036.
The model is tested in public.
The Public-Corpus Reproducibility Audit applies these rules to published science we had no role in preparing — and publishes what breaks.