blueBench
Checks a frozen lab run manifest and its intended conclusion against deterministic license rules before the experiment ships, and signs a LICENSED / QUESTIONABLE / REFUSED / CANNOT-CERTIFY packet with the smallest evidence set needed to clear each open hold.
Lab and research-integrity reviewers.
No instrument control, no LIMS write access, no biological truth claim, and no prediction of an experimental outcome. blueBench licenses recorded input capability; it does not predict the experiment's result or establish scientific truth.
blueBench runs before the experiment: a frozen lab run manifest, plus the conclusion the lab intends to draw from it, checked against license rules while the samples are still on the shelf. The four screens below start at intake, follow the bundled synthetic run-0318 twice through the library — once against a manifest carrying a stale authentication record and a missing control, once against the corrected manifest — and end at the signed receipt.
Every run starts here. The bundled sample supplies a run manifest, a conclusion spec, and a set of license rules in one step; the intake check on the right confirms all three parsed before field mapping begins. Nothing is evaluated yet.
Map fields and Configure follow; completed preflights land in the library.
The same run, twice. The bundled demo preflights run-0318 against a manifest with one stale authentication record and one missing control — REFUSED with two typed holds — then against the corrected manifest — LICENSED. The first receipt is kept untouched; the second is linked to it, not written over it.
Open the LICENSED row.

Run license preflight — a morphology conclusion checked against specimen, reagent, control, protocol and instrument evidence: four conditions satisfied from recorded sources, none failed, none unverifiable, and no holds. Unverifiable is its own count because a condition that could not be checked is never treated as a pass. The panel at the bottom makes the product's point: blueBench licenses a claim, not the specimen — the same manifest can license one conclusion and refuse another.
A REFUSED run shows the same screen with the failed conditions listed as typed holds and the smallest evidence set that would clear each one. Receipt closes out a LICENSED run.
Signed process receipt — the LICENSED verdict, the manifest's contract and payload hashes, and the signer's public key, all in one envelope. Parent receipt reads none, this is the first run: a corrected re-run links forward from here rather than overwriting it. Verify now runs the same check the standalone
verify_receipt.py performs with the application stopped entirely.Under active build. CLI, API, and web UI exist; see the status page for the measured current state.