BayesARCBY BAYES PHARMA · INNOVATOR USER MANUAL
Complete living manualUpdated 06 Sep 2026Early Discovery synced to production

Use BayesARC as a scientific decision system—not as a collection of model outputs.

Follow the programme from target definition to structure qualification, discovery, evidence comparison, experiments, candidate decisions and development. Each chapter explains what a term means, why it matters, what BayesARC does, what it does not prove, and what the user should do next.

THE PROGRAMME JOURNEY

See the whole workflow before opening a tool.

Every step should reduce a defined uncertainty or satisfy a declared gate.

01START HERE
PRODUCT MENTAL MODEL

BayesARC connects scientific questions to accountable decisions.

It is not one AI model, one docking screen or one score. The programme is the persistent scientific context; tools are views and actions inside that context.

QuestionWhat decision are we trying to support?

Define the therapeutic objective, target, modality, acceptance criteria and what would change the next action.

EvidenceWhat supports or contradicts the claim?

Keep COMPUTED, RETRIEVED, MEASURED and REVIEWED evidence distinct while allowing them to inform the same decision.

UncertaintyWhat remains unknown or unstable?

Record limitations, applicability, disagreement, missing evidence and sensitivity to assumptions instead of hiding them in a single confidence score.

DecisionWhat should happen next?

Promote, hold, reject, run another computation, request an experiment or escalate to qualified human review.

Four failure modes the system is designed to prevent

Identity error

Wrong target, species, variant, structure, chain, candidate or programme context.

Evidence relabelling

A prediction or simulation silently becomes a “measured” value.

Context loss

A result travels downstream without the method, version, assumptions or source that produced it.

False certainty

A ranking, model score or retrieved record is presented as stronger biological proof than it actually provides.

OPERATING PRINCIPLEThink in programmes, not pages.

The same programme_id, candidate identity and evidence history should remain connected across Discovery, Programme Command, experiments, Candidate OS, MIDD and later development work.

02FIRST SESSION
QUICK START

A good first run is bounded, inspectable and scientifically familiar.

Use a known target or benchmark programme. The goal is to understand the evidence chain before scaling compute.

  1. Define the programme and target.

    Record programme name, disease/indication, discovery objective, target source, biological target and PDB/structure identifier. For custom targets, add species when it must be strict, optional UniProt, mutation and domain context before structure resolution.

  2. Resolve the target structure.

    Find an experimental structure that actually corresponds to the requested biological target and context.

  3. Qualify the structure.

    Review chain, biological assembly, pocket, ligand, cofactors/metals/waters, receptor preparation, protonation, docking box and controls.

  4. Run the intended design workflow.

    Use small-molecule Discovery or Protein Engineering only after the required scientific inputs are qualified.

  5. Inspect evidence, not only rank.

    Look at poses, property predictions, applicability, contradictions, provenance and failure reasons—not just a sorted list.

  6. Compare evidence and uncertainty.

    Ask where evidence agrees, where it conflicts, what is missing and what next action would reduce the most important uncertainty.

  7. Use Programme Command to decide the next action.

    Review blockers, candidate state, evidence gaps and human-review requirements in one programme context.

  8. Send bounded questions to experiments.

    Define the assay question and acceptance criteria before CRO/lab execution; ingest returned data only after identity and QC checks.

  9. Nominate through gates.

    Candidate OS can assemble the evidence contract and surface inconsistencies; final nomination remains an accountable human decision.

DO NOT BYPASSA successful compute job can still be scientifically invalid.

If receptor identity, chain, pocket, protonation, cofactor state or candidate identity is wrong, a perfectly completed docking run does not become valid evidence.

03CONTEXT
PROGRAMME & TARGET · CURRENT DISCOVERY FIELDS

Define the exact biological and programme context that Discovery Mission Control will carry forward.

The current Discovery Campaign no longer treats a target name or PDB ID as enough context. Programme identity, biological identity and structure identity are separate fields, and each has a different scientific role.

Current field / controlWhat the user enters or selectsHow BayesARC uses itImportant boundary
Programme nameName of the governed discovery effort.Anchors the persistent programme, campaign, candidates and downstream evidence.Changing pages should not create a new scientific identity.
Disease / indicationTherapeutic context.Provides the disease frame for target and later evidence interpretation.Indication context does not itself validate the target.
Discovery objectiveDesired mechanism, target hypothesis and what a useful shortlist should support.Defines the decision the campaign is trying to inform.A ranking without an objective is not a decision framework.
Target sourceYour target / PDB or Try a qualified example.Chooses custom target onboarding versus the managed NDM-1 example profile.Example readiness must not leak into a custom target.
Biological targetProtein/gene target label, optionally including a standard substitution such as KRAS G12C.Seeds canonical identity resolution and structure matching.Aliases are resolved canonically; ambiguous biology remains reviewable, not guessed.
PDB ID / structure identifierExperimental structure selected for the programme.Defines the exact deposited structure to validate and later qualify.A real PDB is RETRIEVED evidence, not automatic docking readiness.
SpeciesLeave blank for deposited-PDB organism context, or enter a species explicitly.Blank means no forced organism constraint; an entered species is a strict identity requirement.BayesARC no longer silently assumes Homo sapiens for pathogen targets.
UniProtOptional accession such as P01116.When supplied, it becomes a strict accession/identity gate and helps canonical sequence mapping.Do not enter a convenient accession unless it is the intended target identity.
MutationOptional standard substitution or other variant context.Standard substitutions can be mapped to canonical/deposited sequence evidence.Complex deletions, insertions, fusions, frameshifts or unresolved notation route to Target Qualification.
DomainOptional functional region such as kinase domain.Mapped against canonical UniProt features and deposited construct coverage when possible.Domain words in a PDB title are not sufficient evidence by themselves.
Previously qualified core targetAn existing qualified target profile when available.Lets the programme reuse an existing governed qualification context instead of recreating it.Reuse does not expand the approved scope beyond that qualification.
Programme identityprogramme_id

Persists the scientific programme across Discovery, Programme Command, Candidate OS, experiments and later development.

Campaign identityfunnel_id

Identifies the exact discovery campaign/funnel. Explicit URL context outranks stale browser state and is identity-checked before campaign state is trusted.

Target identityTarget + structure + context

Biological target, PDB, species, UniProt, variant and domain must stay internally coherent before compute authority can be granted.

What does “Species: Auto from deposited PDB” mean?

If the Species field is blank, Discovery does not inject a human default. The structure resolver can use the organism deposited with the matching PDB entity as the identity context. If the user explicitly types a species, that value remains a strict fail-closed constraint. This is particularly important for pathogen targets such as HIV-1 protease, influenza neuraminidase, dengue proteins or bacterial enzymes.

Why is UniProt optional but strict?

A target can often be resolved from gene/protein identity plus deposited metadata. When a user supplies UniProt, BayesARC treats it as an explicit identity claim. A contradictory accession therefore blocks automatic acceptance rather than being ignored.

What happens with aliases such as ALK2 versus ACVR1?

Target Identity Passport v2 resolves canonical UniProt identity and recognized aliases before comparing deposited structure identity. Exact alias normalization prevents a common name from being rejected merely because the PDB uses the canonical gene name. The canonical identity is still recorded so downstream evidence does not drift between aliases.

04RESOLVE IDENTITY
STRUCTURE RESOLUTION + TARGET IDENTITY PASSPORT

Resolve the target to the correct deposited protein entity before asking whether the receptor is fit for docking.

Discovery now uses a formal Target Identity Passport (TIP-2) to separate identity evidence from receptor qualification. The passport is built from UniProt and RCSB/PDB evidence and remains fail-closed for biology it cannot safely resolve.

REQUESTED BIOLOGYTarget · species · UniProt · variant · domain

The programme states what biological object it intends to use.

→
TARGET IDENTITY PASSPORTCanonical identity → deposited entity → construct mapping.

Retrieved evidence with provenance; execution is still not authorized.

Passport elementWhat is checked / recordedWhy it matters
Canonical targetPrimary gene/protein identity plus recognized aliases from UniProt.Prevents alias-only false mismatches and preserves one canonical identity.
Species / taxonomyRequested organism versus deposited organism/taxonomy.Prevents a valid PDB from being used under the wrong species context.
UniProt / isoformReference-sequence identifiers and strict requested accession when supplied.Protects against a same-name but wrong sequence/isoform context.
VariantStructured mutation annotation first, then mapped deposited sequence via UniProt alignment; title text is only a limited fallback.A variant should not be accepted because its name merely appears in descriptive text.
Domain / constructCanonical domain feature, residue interval, deposited construct coverage and requested-residue coverage.Answers whether the structure actually contains the biology the user requested.
Polymer entity / chainsActual deposited polymer entity IDs, auth/asym chains, sequence, sequence length and sequence hash.Avoids assuming that the first protein-looking entity is the intended target.
Structure contextExperimental method, resolution, ligands, cofactors, metals and retained structural context.Provides the facts needed for the later qualification review.
ProvenanceRCSB/UniProt sources, retrieval time, passport fingerprint and algorithm version.Makes identity evidence inspectable and reproducible.

How to interpret Passport status

IDENTITY CONFIRMEDIdentity evidence is coherent.

The target/PDB relationship is supported, but the passport still requires receptor/experiment-context review before production compute.

TARGET QUALIFICATION REQUIREDIdentity cannot be safely auto-qualified.

Complex variants, unresolved mappings, assembly questions or other target-specific biology must go to human Target Qualification.

IDENTITY MISMATCHThe requested and deposited contexts conflict.

Correct the target, PDB, species, UniProt, variant or domain. Do not bypass the mismatch.

CRITICAL DISTINCTIONTarget Identity Passport ≠ Target Qualification.

TIP records retrieved canonical identity, aliases, sequence/construct mapping and structural context. It does not approve biological assembly, pocket choice, protonation, cofactor retention, receptor preparation, docking controls or mechanism. Those remain a separate qualified-human gate.

Which variants can be handled automatically?

Standard amino-acid substitutions such as G12C, T790M, L858R, V600E or R206H can be parsed and mapped when the canonical/deposited evidence supports them. Complex deletions, insertions, duplications, frameshifts, splice events, fusions or unresolved notation are intentionally routed to Target Qualification rather than guessed.

What if the mutation annotation conflicts with the mapped sequence?

The conflict stays visible and blocks automatic scientific eligibility. Structured deposited mutation annotation has higher authority than title text, while mapped deposited sequence provides an independent check. Conflicting evidence is a review problem, not something to average away.

05QUALIFY
TARGET READINESS + TARGET QUALIFICATION

Identity says “this is the intended structure”; qualification asks “is this structure fit for this computational question?”

Discovery keeps core docking readiness separate from optional advanced-physics qualification. Planning can continue while production compute remains fail-closed.

01
Identity & construct

Confirm the exact target entity, chain/assembly, construct boundaries, sequence/isoform context and relevant variant/domain.

TIP → REVIEW
02
Biological assembly

Confirm which subunits/partners are biologically relevant and whether the functional pocket depends on an interface.

REVIEWED
03
Pocket / reference-ligand context

Define the intended binding site and preserve the evidence used to locate it.

RETRIEVED + REVIEWED
04
Cofactors, metals & waters

Retain or remove catalytic metals, cofactors and relevant waters with an explicit rationale.

TARGET-SPECIFIC
05
Receptor preparation

Document protonation, missing residues/atoms, alternate conformations, cleanup and prepared-receptor provenance.

COMPUTED + REVIEWED
06
Docking box & controls

Define the search space, pose rules and appropriate redocking/reference controls.

PROTOCOL
07
Core qualification decision

A qualified reviewer approves the specific receptor/protocol context before production docking is authorized.

HUMAN AUTHORITY
DIRECT ACTIONIf readiness reports “Target qualification required,” use Create / reopen Target Qualification.

Discovery searches for an existing non-revoked request for the same target + PDB first and reopens it when present; it creates a new request only when needed. Opening the workspace does not itself approve the gate.

Advanced physics options shown in Discovery

AUTO WHEN QUALIFIEDRecommended default.

Use optional MD/MM-GBSA only when the selected target has a qualified protocol for that context.

OFFCore campaign only.

Complete the governed core discovery campaign without advanced physics.

REQUEST QUALIFICATIONSeparate scientific request.

Flag target-specific qualification work. Installed software does not make advanced physics scientifically valid by itself.

WHAT “CORE READY” MEANSThe reviewed target/receptor/protocol contract is sufficient for the configured core campaign.

It does not mean every advanced method is qualified, the receptor is universally correct, or a docking result becomes measured binding evidence.

06DISCOVERY MISSION CONTROL
DEFINE → QUALIFY → PLAN → RUN → REVIEW

The current Discovery Campaign is a state-driven scientific workspace, not a static Plan/Run/Review form.

Mission Control uses one canonical campaign state for the workflow rail, current decision, blockers and next action. A later-stage programme should not be sent back to generic target readiness unless readiness has genuinely become invalid.

Current campaign presets

PresetGenerated / intakeFast real VinaAccurateDeepReview intent
Verified 100 · client pilot1001003010Up to 5 for integrated evidence + human review.
Pilot 1K1,0001,00010030Broader pilot with progressively deeper compute.
Focused 20K20,0002,00050050Large generation/intake with bounded docking expenditure.
Advanced 100K100,0005,0001,000100Large-scale design with progressively concentrated compute.

The displayed plan also reports estimated core compute, internal allocation basis, review-shortlist size and optional physics state before launch approval.

01
Freeze the launch manifest

Launch review freezes target context, scientific plan and compute allocation before execution. Approval authorizes computational/database work only.

GOVERNED PLAN
02
Run restart-resilient compute

Fast, Accurate and Deep Vina stages preserve ligand-level checkpoint/progress state so recovery does not silently restart scientific history.

COMPUTED
03
Target-aware pose review

Inspect target-specific structural requirements separately from raw score ranking.

COMPUTED / REVIEW
04
Integrated post-docking evidence

Keep ADMET, exact identity, novelty/external evidence, synthesis feasibility, safety and other evidence domains separate and traceable.

MIXED EVIDENCE
05
Register Candidate Passports

Shortlisted candidates must have persistent identity/evidence records before an authenticated scientific decision is recorded.

REGISTRATION
06
Qualified human review

The computational leader can guide inspection, but promotion/nomination is a separate authenticated human decision.

HUMAN AUTHORITY

How to read Vina and Vinardo correctly

Evidence stateMeaning in ReviewBlocker?
Vina available + Vinardo availableDocking evidence package: COMPLETE. Primary docking and orthogonal/alternative rescoring are both present.Not for this evidence item.
Vina available + Vinardo missing, Vinardo optionalPARTIAL. Primary docking evidence exists; optional rescoring is absent.No. Optional evidence must not be counted as a required blocker.
Vina available + Vinardo missing, Vinardo protocol-requiredACTION REQUIRED. The primary result exists but the selected protocol requires the orthogonal rescoring channel.Yes, until the required rescoring is completed or the governed protocol changes.
Vina missingACTION REQUIRED. Primary docking evidence is absent.Yes for a docking-dependent review path.
INTERPRETATION BOUNDARYA Vina score such as −6.75 kcal/mol and “Vinardo incomplete” are not contradictory.

They are separate computational channels. The UI now distinguishes primary Vina from protocol-dependent Vinardo instead of labelling all missing rescoring as “no docking evidence.” Neither score is a measured Kd, Ki or IC50.

Decision-domain readiness shown for each shortlisted candidate

DockingPrimary + protocol-required rescoring

Vina/Vinardo state and provenance.

Target-aware validationStructural hypothesis

Whether target-specific pose rules/validation are recorded.

Candidate registrationCandidate Passport

Persistent candidate identity is required before authenticated decision authority.

Exact identitySearch / retrieval state

Candidate identity and traceable external evidence remain separate from docking.

ADMET / safetyDevelopability evidence

Predictions remain COMPUTED and carry applicability limits.

Synthesis feasibilityRoute hypothesis / review

Generated or retrieved routes do not prove material has been made.

EnsembleCross-structure robustness

Required only when the programme/protocol qualifies an ensemble path.

Measured evidenceExperiment/CRO

Absent measurement should remain absent rather than being inferred from computation.

Human reviewDecision authority

Authenticated reviewer rationale remains distinct from computational ranking.

NEXT BEST ACTIONReview guidance follows campaign state.

At Review, the order is: resolve any genuine readiness invalidation → register shortlisted Candidate Passports → complete required integrated evidence → record qualified human review. The current-decision banner, workflow rail and Decision & Readiness panel should all derive from the same state.

07BIOLOGICS
PROTEIN & BIOLOGICS ENGINEERING

The same evidence discipline applies when the design object is a sequence or biomolecule.

Binder, antibody, nanobody, peptide and sequence-variant workflows should preserve identity, model provenance, uncertainty and experimental boundaries.

StageScientific questionTypical workHow to interpret it
Target contextWhat protein/interface/epitope are we designing against?Target, sequence, structure and interface definition.Identity and biological context must be explicit.
DesignWhich sequence/binder hypotheses should we test?Binder, antibody, nanobody, peptide or sequence-variant proposal.Generated sequences are hypotheses.
Structure / complexIs the fold or interaction geometrically plausible?Structure prediction or co-folding adapters where configured.Predicted confidence/geometry is COMPUTED evidence.
Sequence engineeringCan affinity, selectivity, stability or liabilities improve?Inverse folding, sequence redesign and mutation hypotheses.Model-score changes require experimental confirmation.
DevelopabilityIs the design practical as a therapeutic?Stability, aggregation/liability, immunogenicity-risk and manufacturability review.Predictions prioritize assays; they do not replace them.
ReviewWhich designs should move to experiments?Pareto comparison, design passport and human review.Promotion should preserve trade-offs and uncertainty.
AVAILABILITYModel adapters and backend execution can vary by configured service.

Use the Capabilities page to distinguish current runtime capability from external integration paths or roadmap items. Do not infer that every listed model family is executing in production merely because it is represented in the product architecture.

08EVIDENCE
EVIDENCE COMPARISON & UNCERTAINTY

Do the results agree, conflict or remain inconclusive—and why?

Evidence comparison is not simply putting values in the same table. BayesARC should preserve what each result actually means, compare claims that are scientifically comparable, surface contradictions and show what uncertainty still matters to the decision.

COMPUTED

Algorithm/model output

Docking, ADMET prediction, PBPK simulation, structure prediction or other calculation. Record method/model, version, inputs and applicability.

RETRIEVED

Traceable external source

RCSB PDB, ChEMBL, PubChem, UniProt, literature or another curated source. Record identifier, retrieval date and contextual relevance.

MEASURED

Observed assay/study result

CRO/internal assay, PK, solubility, safety or another controlled observation. Require identity, method, units, conditions, source and QC.

REVIEWED

Human interpretation/decision

Target approval, candidate promotion, contradiction resolution or nomination. Records accountability; it is not itself a measurement.

KEY IDEAComparison does not mean averaging everything into one number.

A docking score, hERG prediction, literature statement and CRO IC50 answer different questions. They can inform the same decision, but they should not lose their evidence class, context or uncertainty just because they appear on the same candidate card.

8.1 A disciplined comparison workflow

1Define the claim

Example: “Candidate BP-017 is likely to engage the intended EGFR pocket.” Be specific enough that evidence can actually support or contradict it.

2Separate evidence classes

Keep docking/ADMET as COMPUTED, databases/literature as RETRIEVED, assays as MEASURED and interpretations as REVIEWED.

3Compare like with like

Check units, endpoint definitions, assay conditions, species, receptor state, candidate identity and model context before interpreting agreement.

4Look for convergence

Ask whether independent methods or sources support the same qualitative conclusion—not whether their numbers look similar.

5Surface contradictions

Do not let a favorable model prediction silently hide an unfavorable measured result or vice versa. Keep both and investigate the discrepancy.

6Locate the uncertainty

Identify whether uncertainty comes from the model, structure, pose, experimental method, source relevance, missing evidence or the decision itself.

7Choose the next action

Prefer the smallest computation, review or experiment that can meaningfully reduce a decision-critical uncertainty.

8.2 Types of uncertainty BayesARC users should recognize

ModelCan the model be trusted in this context?

Training-domain limitations, calibration, model version, endpoint definition or out-of-distribution chemistry can weaken interpretation.

StructuralIs the receptor representation stable enough?

Missing residues, uncertain side chains, predicted low-confidence regions, ambiguous assembly or cofactor treatment can change the binding environment.

PoseIs one binding geometry clearly preferred?

Several similarly scored poses, clashes or inconsistent interactions can indicate ambiguous pose hypotheses.

Cross-structureDoes ranking survive receptor conformation?

A compound ranked #2 in one qualified receptor and #34 in another may be conformation-sensitive rather than robust.

ExperimentalHow stable is the observation?

Replicate variability, controls, assay format, units, QC or batch effects can limit confidence even when the evidence class is MEASURED.

Source/contextIs retrieved evidence really comparable?

Different species, constructs, assay conditions, publications or older methods can make apparently supportive literature indirect.

DecisionIs the remaining uncertainty acceptable for this stage?

A discovery prioritization can tolerate more uncertainty than candidate nomination, FIH dose rationale or a regulatory claim.

IMPORTANTUncertainty belongs to a claim and context—not to the molecule as one universal percentage.

The same candidate can have low identity uncertainty, moderate pose uncertainty, high hERG-model uncertainty and strong confidence in a measured solubility result at the same time.

8.3 Illustrative candidate example

ILLUSTRATIVE ONLY

Candidate BP-017 · evidence comparison

MIXED / REVIEW REQUIRED
COMPUTEDDockingFavorable rank / plausible hinge pose

Supports target-engagement hypothesis in the primary qualified receptor.

COMPUTEDCross-structureRanks 2 · 5 · 34

Suggests meaningful receptor-conformation sensitivity; robustness is not established.

COMPUTEDADMETPermeability favorable; hERG near applicability boundary

Permeability signal is encouraging, but hERG confidence is limited by model context.

MEASUREDCRO potencyIC50 1.8 µM with elevated replicate variability

Measured potency is modest and experimental precision should be reviewed before strong claims.

Bounded interpretation

Computational evidence supports possible target engagement, but cross-structure instability and modest/variable measured potency prevent a “confirmed strong hit” conclusion.

Next action: review assay QC and pose robustness; consider a focused confirmatory experiment rather than simply increasing the composite score.

8.4 How BayesARC should record a scientific claim

CLAIMCandidate may bind the intended EGFR pocket.
SUPPORTS

Primary-receptor Vina pose; alternative rescoring; plausible hinge interaction.

CONTRADICTS / LIMITS

Poor ranking in one qualified receptor conformation; measured potency only modest.

EVIDENCE CLASS

Mostly COMPUTED + one MEASURED potency result.

UNCERTAINTY

Moderate; driven by receptor-conformation sensitivity and assay variability.

NEXT ACTION

Resolve the most decision-critical uncertainty with targeted review/measurement.

8.5 Minimum provenance questions

  1. What exactly is the claim?

    “Predicted low hERG risk” is different from “measured hERG IC50 = X”.

  2. What produced it?

    Model, database, paper, assay, study, reviewer or external partner.

  3. Which version and inputs?

    Model version, receptor structure, candidate identity, source version and parameter set.

  4. Where does it apply?

    Chemical space, species, assay condition, receptor state, population or model context.

  5. What decision can it support?

    Hypothesis generation, prioritization, gate satisfaction or accountable final review.

NEVER RELABELPredicted or simulated values must not enter MEASURED fields.

QA fixtures should remain explicitly marked QA_ONLY / SIMULATED and should not silently enter production decision exports.

09MEASURE
EXPERIMENTS & CRO HANDOFF

Send a defined uncertainty to the lab—not an unbounded request for “more data.”

BayesARC is software. Laboratory work is performed by qualified internal laboratories or external CRO/partners and returned as traceable evidence.

  1. Define the experimental question.

    State what uncertainty the assay should resolve and which candidates and controls are included.

  2. Define method and acceptance criteria.

    Record assay type, units, conditions, controls, replicates, QC requirements and interpretation boundary before execution.

  3. Create controlled partner handoff.

    Send candidate identities, protocol context and required return fields without losing programme linkage.

  4. Ingest returned results.

    Map every value back to the correct candidate, method and source file.

  5. QC before evidence promotion.

    Check units, identity, controls, quality criteria and completeness. A returned spreadsheet is not automatically trusted MEASURED evidence.

  6. Human review.

    Approve, reject or qualify the result for programme use while preserving the original record and limitations.

FAIL CLOSEDNever fabricate a laboratory result to unblock a gate.

If an assay has not been performed or a scientific service is unavailable, the correct state is missing, pending or failed—not a model-generated substitute entered as MEASURED evidence.

10LEARN
LEAD OPTIMIZATION

SAR and Design–Make–Test–Learn turn isolated hits into an evidence-generating programme.

The objective is not to maximize one property. It is to learn which chemical changes improve the programme's multi-objective profile.

DESIGN

Propose a molecular change that tests a scientific hypothesis: potency, selectivity, exposure, solubility, safety or another objective.

MAKE

Plan or execute synthesis. Keep route feasibility separate from actual material production and analytical confirmation.

TEST

Generate relevant measured evidence using controlled methods, authoritative candidate identity and appropriate QC.

LEARN

Update the programme hypothesis from successes, failures and contradictions. Negative data should remain part of the learning record.

What is SAR?

Structure–activity relationship is the relationship between molecular changes and changes in biological activity or other properties. SAR is most meaningful when compounds belong to a coherent chemical series and the compared assays/conditions are comparable. Mixing unrelated scaffolds, different assay formats or predicted and measured endpoints without context can create misleading trends.

Why is optimization multi-objective?

A molecule with the strongest potency may have poor solubility, rapid clearance, safety liabilities, difficult synthesis or weak selectivity. BayesARC should therefore make trade-offs visible rather than hiding them behind one composite rank. Pareto-style review is useful when several candidates represent different acceptable trade-offs.

11DECIDE
CANDIDATE PASSPORT · DCP · HUMAN AUTHORITY

Computational rank prioritizes inspection; it does not nominate a development candidate.

The current decision path requires persistent candidate identity, the required evidence contract, explicit DCP state where applicable, and authenticated human authority.

01
Register the Candidate Passport

Anchor the shortlisted candidate to persistent identity, provenance, evidence versions, limitations and review history.

REQUIRED IN REVIEW
02
Complete required evidence domains

Resolve required docking, target-aware validation, exact identity, ADMET/safety, synthesis and other programme-specific evidence while preserving optional versus required semantics.

FAIL CLOSED
03
Establish the DCP when nomination criteria are programme-specific

A generated DCP starts as planning-only. Establishing it creates an immutable revision such as R1/R2 that can govern nomination criteria.

GOVERNED CRITERIA
04
Resolve contradictions / evidence gaps

Conflicting predictions, retrieved evidence and measurements remain visible and must be bounded or explicitly accepted for the stage.

REVIEW
05
Record the human decision

A qualified reviewer records rationale and authority. Computational leader and human nomination are deliberately separate fields.

HUMAN AUTHORITY

DCP state in the current product

DRAFTPlanning-only.

Useful for defining intended criteria and evidence needs. A draft does not silently become nomination authority.

ESTABLISHEDImmutable revision.

Once explicitly established, the DCP becomes a versioned programme criterion set (R1, R2, …).

NOMINATION GATEFail-closed where required.

Final nomination cannot rely on an unestablished planning draft when authoritative DCP criteria are required.

NOMINATE

Required gates are satisfied, evidence is current, material contradictions are bounded and accountable rationale is recorded.

CONDITIONAL

Progress is allowed only under explicit conditions with named unresolved risks and follow-up work.

HOLD

Important evidence, Candidate Passport registration, DCP authority or required review is missing/stale/contradictory.

KILL

The candidate no longer supports the programme hypothesis or has an unacceptable risk/benefit profile. Preserve the negative learning.

AUTHORITY BOUNDARYCandidate registration ≠ scientific approval; computational leader ≠ human nomination.

BayesARC can rank, compare and expose the evidence contract. Final promotion/nomination remains an authenticated, accountable human decision and must preserve the underlying evidence state.

12DEVELOP
POST-NOMINATION

Carry the evidence spine into development, MIDD, regulatory work and lifecycle decisions.

Nomination should not erase the assumptions and provenance generated during discovery. Later stages require stronger evidence and different context-of-use boundaries.

WorkspaceMain questionExamplesImportant boundary
Preclinical DevelopmentCan this become a viable development asset?DMPK, safety, exposure, developability, CMC/FIH context.Predictions do not replace validated studies.
Clinical Development + MIDDWhat model-informed evidence supports dose/regimen and development decisions?PBPK, PopPK, PK/PD, dose rationale, assumptions and diagnostics.Models require qualification, appropriate data and pharmacometrics review.
Regulatory & ApprovalWhich claims are supported by which evidence?Evidence mapping, claim context and submission readiness.Regulatory accountability remains with qualified teams.
Lifecycle ManagementHow should the asset evolve?New indications, formulations, evidence updates and lifecycle opportunities.Version history should remain visible rather than rewriting past decisions.
SAME QUESTION, HIGHER STAKESWhat is the decision, what evidence supports it, what uncertainty remains, and what review is required?

The acceptable uncertainty for early ranking is not the acceptable uncertainty for candidate nomination, clinical dose selection or a regulatory claim.

13DIRECTORY
TOOL DIRECTORY

Open a workspace for a defined decision—not simply because it exists.

Runtime availability and maturity can vary by configured backend/service. Use the Capabilities page for current implementation status.

DiscoveryDiscovery Mission Control

Programme fields, Target Identity Passport, target qualification, governed Vina funnel, integrated evidence, Candidate Passports and human review.

Define → Qualify → Plan → Run → Review
DesignProtein Engineering

Sequence/structure context, binder or variant design, evaluation and developability review.

Design passport
CommandProgramme Command

Programme state, blockers, candidate comparison, evidence gaps and next actions.

Next governed action
ExperimentsStudy Execution

Assay/study plan, protocol context, controls and acceptance criteria.

Execution-ready study
PartnerCRO / Partner Handoff

Controlled experimental package and traceable returned data.

Partner evidence package
QCExperimental Review

Review returned results before promotion to trusted measured evidence.

Reviewed measurement
EvidenceCandidate Passport

Identity, provenance, versions, limitations, contradictions and history.

Auditable record
OptimizeLead Optimization

SAR, series comparison and Design–Make–Test–Learn prioritization.

Promotion rationale
NominateCandidate OS

DMPK, PK/TK, safety, developability, CMC and nomination gates.

Nominate / hold / kill
MIDDMIDD Command Center

PBPK, PopPK, PK/PD context, dose rationale, assumptions and diagnostics.

Model-informed package
RegulatoryRegulatory & Approval

Claims, evidence mapping and submission-readiness context.

Traceable claim evidence
LifecycleLifecycle Management

Evidence evolution and post-nomination/approval opportunities.

Lifecycle decision history
14FAILURE STATES
TROUBLESHOOTING · CURRENT DISCOVERY BEHAVIOUR

Resolve the identity, protocol or evidence reason for failure; do not bypass the gate.

Missing, partial, unavailable and review-required states are meaningful scientific states. The product should surface the exact blocker rather than forcing every card to green.

Pathogen target is being checked as Homo sapiens

This was a frontend context bug and has been removed. The Species field is blank by default for custom target resolution. Blank means no forced species and allows deposited-PDB organism context; an explicitly entered species remains strict. If an old browser session still displays a human default, reload the current Discovery bundle and re-enter the programme context rather than accepting the mismatch.

The PDB exists but target–structure identity validation fails

Inspect the Target Identity Passport checks: canonical protein/alias, species/taxonomy, UniProt, variant, domain and deposited construct. A valid PDB can still be wrong for the requested programme. Correct the context instead of weakening the validator.

ALK2, ACVR1 or another common alias produces a mismatch

Current TIP-2 performs canonical UniProt alias resolution. Check whether the requested alias resolves to the intended canonical gene/protein and whether any supplied UniProt accession agrees. Exact canonicalization is preferred over substring matching.

A mutation is in the title but Variant still requires review

This can be intentional. Structured deposited mutation annotation and mapped deposited sequence have higher evidentiary authority than descriptive title text. Complex variants and unresolved notation route to Target Qualification.

The domain is biologically present but domain validation fails

Current TIP uses canonical UniProt feature/residue mapping and deposited construct coverage when available. Check whether the requested feature name maps to a canonical region and whether the PDB construct covers enough of that interval. Text-only domain wording is insufficient for automatic confirmation.

Target readiness says “Qualification required”

Keep the Target Readiness step open and use Create / reopen Target Qualification. The product should reopen an existing matching target/PDB request before creating another. Planning may continue, but production compute remains blocked until the qualified review approves the required scope.

Vina has a score but Docking evidence says Vinardo/rescoring incomplete

Vina and Vinardo are separate computational evidence channels. Vina present + optional Vinardo missing should be PARTIAL, not “no docking evidence.” If the selected protocol explicitly requires Vinardo, its absence is correctly an action-required blocker.

Review shows 0 Candidate Passports registered

Register the shortlisted candidates before recording an authenticated human decision. Candidate Passport registration anchors identity and evidence history; it does not itself approve the candidate.

Next Best Action and workflow stage appear inconsistent

The current Mission Control design derives the stepper, current decision and Decision & Readiness guidance from canonical campaign state. If guidance still contradicts the persisted state after a current-bundle reload, treat it as a software state bug and preserve the underlying scientific evidence rather than manually forcing a stage.

Nominate is disabled

Check Candidate Passport registration, required evidence domains, contradictions, reviewer authority and DCP status. A generated DCP is planning-only until explicitly established; missing required authority should remain fail-closed.

A scientific service is unavailable

Preserve the unavailable/failed state and error provenance, then retry when appropriate. Never substitute a default or fabricated scientific value just to keep the workflow green.

15REFERENCE
SCIENTIFIC GLOSSARY

Practical definitions for terms users see in BayesARC.

The important question is not only “what is this term?” but “what does it mean for the decision?”

TermMeaning in BayesARCWhy it matters
TargetProtein, gene product or biological entity the programme intends to modulate.Wrong target identity invalidates downstream structure and evidence interpretation.
PDB structureAn experimentally deposited macromolecular structure retrieved from RCSB PDB.Retrieved evidence; may still need qualification and preparation.
Structure resolutionFinding and verifying which 3D structure corresponds to the requested target/context.Answers “Which structure should we use?”
Protein chainOne continuous polypeptide in a structural file, usually labelled A, B, C, etc.Wrong chain can invalidate docking.
Biological assemblyBiologically relevant combination of protein chains/subunits.Functional pockets can depend on oligomeric or partner context.
Structure qualificationReview of whether the selected structure is fit and prepared for the intended computation.Answers “Can we scientifically use this structure here?”
Binding pocket3D region where the ligand is expected to bind.Defines the structural hypothesis and docking search region.
Reference ligandKnown ligand used to understand the pocket and sometimes test redocking.Anchors a binding context but does not guarantee the same mode for new chemistry.
Cofactor / metalNon-protein component required for structure or catalysis, e.g. Zn, Mg, heme.Incorrect treatment can change the binding environment.
Structural waterResolved water that may participate in protein–ligand interactions.Retention/removal should be scientifically justified.
Receptor preparationPreparing the selected structure for a computational engine while recording changes.Prevents hidden preprocessing assumptions.
ProtonationAssignment of hydrogen/charge states to ionizable groups.Can materially change electrostatics and interactions.
Docking box3D volume the docking engine searches.Wrong placement can make a successful run irrelevant.
Docking posePredicted orientation/conformation of a ligand in the receptor.A hypothesis, not an experimentally observed structure.
Docking scoreComputational ranking function for poses/molecules.Not a measured Kd, Ki or IC50.
RedockingRe-docking a known ligand to test whether the protocol recovers a plausible known pose.Protocol-context check, not universal validation.
Ensemble dockingDocking against multiple qualified receptor conformations.Reveals conformation sensitivity and ranking robustness.
Evidence comparisonStructured assessment of whether relevant evidence supports, contradicts or leaves a claim unresolved.Prevents incompatible evidence from being collapsed into a misleading score.
UncertaintyWhat is unknown, unstable, assumption-sensitive or insufficiently supported for a specific claim/context.Determines whether more review, computation or measurement is needed.
Applicability domainRegion/context in which a model's output is considered interpretable.Predictions outside domain should carry weaker decision weight.
ADMETAbsorption, Distribution, Metabolism, Excretion and Toxicity-related properties.Helps identify development liabilities and prioritize experiments.
SARStructure–activity relationship.Links molecular changes to changes in activity/properties.
DMTLDesign–Make–Test–Learn cycle.Organizes optimization as iterative hypothesis testing.
Candidate PassportCandidate identity, evidence, provenance, limitations and decision history.Makes promotion/nomination rationale inspectable.
GateDeclared condition that must be reviewed before progression.Prevents missing or wrong-class evidence from silently passing.
COMPUTEDOutput generated by an algorithm or model.Useful for prediction/prioritization within stated applicability.
RETRIEVEDEvidence imported from a traceable external source.Must be checked for relevance, version and context.
MEASUREDObserved assay/study result with traceable method and QC.Can satisfy experimental gates when identity and quality are established.
REVIEWEDHuman interpretation or governed decision.Records accountability but is not a measurement.
Target Identity Passport (TIP)Retrieved canonical target/structure identity record including aliases, species, UniProt, variant/domain, construct mapping and provenance.Confirms what biological structure is being considered; does not qualify docking readiness.
Target QualificationHuman-reviewed target/receptor/protocol qualification for the intended computational context.Controls production compute authority for chain/assembly, pocket, preparation, cofactors, box and controls.
Candidate PassportPersistent candidate identity/evidence/provenance record.Required registration anchors shortlisted evidence before authenticated decision recording.
DCPDecision Criteria Profile; planning draft becomes authoritative only after explicit establishment as an immutable revision.Prevents nomination criteria from silently changing after results are seen.
VinaPrimary AutoDock Vina docking evidence channel.A computational ranking/pose signal, not measured affinity.
VinardoAlternative/orthogonal rescoring channel when included by the selected protocol.Its absence is a blocker only when protocol-required; otherwise the docking package can remain partial.
MIDDModel-Informed Drug Development.Uses qualified quantitative models and data to support development decisions.
PBPKPhysiologically Based Pharmacokinetic modelling.Mechanistically represents disposition using physiology and drug-specific parameters.
PopPKPopulation Pharmacokinetic modelling.Characterizes PK variability using observed data and covariates.
PK/PDPharmacokinetic / pharmacodynamic modelling.Relates exposure to biological or clinical effect.
OFFLINE QUICK REFERENCE

Use the web manual for depth; keep the PDF for fast orientation.

The living web manual contains the detailed scientific explanations. The PDF remains a concise A4 reference for quick start, lifecycle, evidence classes, candidate decisions and troubleshooting.

Download quick PDF ↓