Examples

This section walks through complete chains end-to-end. Each example takes a scientific or engineering scenario, models it as a series of typed chain commits, and shows the audit closure the conclusion carries. Read these to see the framework in action; if you want to read the conceptual ideas first, head to Concepts instead.

Available walkthroughs

Drug-screening: from IC₅₀ readings to strong-inhibitor designation

A medicinal chemist has six IC₅₀ readings of compound EIG_0291 and wants the chain to attest “EIG_0291 is a strong CDK2 inhibitor” — but only by mechanical derivation from the raw data plus a cited methodology, not by author assertion. Walks through the domain-bridge pattern: the statistics institution emits a strictly statistical conclusion; a chain-resident domain bridge translates it to the medicinal-chemistry vocabulary; the literature rule specialises at the compound; the kernel type-checks the composition. The conclusion carries an audit closure that a reviewer can walk back to the raw plate readings.

Read the drug-screening walkthrough →

Kinase potency mapping: five institutions in composition

A biophysicist runs a kinase potency mapping campaign in which the same data must be processed by five different institutions — symbolic-math symbolisation, differential equation solving, non-linear regression fitting, JuMP-HiGHS optimisation, and a final ranking. Each institution speaks its own vocabulary; declared comorphisms between them mediate the translation. Showcases the comorphism pattern for cross-institution composition — the runtime-seam analogue of the domain-bridge pattern used in the drug-screening example.

Read the kinase walkthrough →

Coming soon

A Lean-verified primary endpoint example for regulatory submissions is planned; it will show how a formally verified result enters the chain as a Verified artifact and composes with Observed and Derived evidence in a downstream sentence.

Running the examples

Every example has a corresponding runnable artifact in the repository — typically a Jupyter notebook under notebooks/examples/ or an integration-test fixture under crates/eigenius-*/tests/fixtures/. Each walkthrough’s last section links to the canonical artifact and gives reproduction instructions.