Product overview¶
Bijux Proteomics is a composable Python platform for proteomics work that must remain inspectable after the original process has finished. It connects scientific computation, reproducible execution, evidence grounding, decision review, and laboratory follow-up through typed, versioned artifacts.
The platform does not present those responsibilities as one opaque pipeline. Each layer owns a different claim:
flowchart LR
input["FASTA · mzML/MGF · search tables · study design"]
science["scientific result"]
run["execution record"]
evidence["grounded evidence"]
decision["recommendation or refusal"]
lab["assay plan and observed outcome"]
input --> science --> run --> evidence --> decision --> lab
lab -. "new evidence" .-> evidence
A scientific result says what a calculation concluded. An execution record says how it ran. Evidence says why a claim is supportable and what contradicts it. A recommendation states a policy-bound action. A laboratory outcome records what happened after that action. Keeping these records distinct makes failures and disagreements attributable.
Scientific scope¶
The core scientific surface includes:
- FASTA normalization, sequence validation, digestion, peptide chemistry, modifications, isotope envelopes, and theoretical fragmentation;
- mzML and MGF intake, spectrum contracts, search-result adapters, peptide-spectrum matches, target-decoy FDR, contaminants, and protein inference;
- label-free quantification, DIA matrices, differential analysis, missingness, normalization, and uncertainty-aware exports;
- PTM parsing, localization, protein-site mapping, site-level FDR, stoichiometry, occupancy, motifs, and protein-corrected interpretation;
- targeted transition selection, interference review, calibration, assay design, and discovery-to-validation handoff;
- annotation, enrichment, pathways, complexes, regulators, drug targets, QC, benchmark assets, and workflow contracts.
The surrounding packages add deterministic representation, checkpointed and replayable execution, contextual evidence memory, challengeable judgment, and operational assay planning.
Package responsibilities¶
| Package | Owns | Does not establish by itself |
|---|---|---|
| foundation | identifiers, schemas, canonical JSON, compatibility, typed outcomes | scientific validity |
| core | scientific models, algorithms, adapters, QC, benchmark contracts | reproducible operation or progression authority |
| runtime | configuration, providers, checkpoints, resume, replay, artifacts | biological truth |
| knowledge | sources, contexts, claims, contradictions, biological grounding | recommendation policy |
| intelligence | ranking, scenarios, sensitivity, falsifiers, refusal | laboratory authority |
| lab | design, readiness, scheduling, handoff, observations, feedback | retrospective proof that a prior decision was correct |
agentic-proteins preserves historical execution imports and routes while
callers move to runtime. Alias distributions provide installation and import
compatibility; they do not own alternate implementations.
Workflow-family evidence¶
Public confidence is assigned by workflow family, not by repository size:
| Family | Current evidence posture | Primary constraint |
|---|---|---|
| DDA | outsider-auditable, bounded | reviewed downstream execution is stronger than live in-repository engine parity |
| DIA | outsider-auditable, bounded | library incompleteness and absent-peptide consequences |
| LFQ | review-grade, bounded | missingness, normalization, transfer, and external-review depth |
| multiplex | internal support | public stress evidence does not yet support outsider-facing trust |
| PTM | outsider-auditable, bounded | localization evidence exceeds downstream consequence confidence |
| targeted | outsider-auditable, bounded | calibration, interference, and assay burden |
These labels describe the strongest claim supported by the corresponding benchmark, runtime, grounding, recommendation, and consequence records. They are not rankings of scientific importance.
Choose the unit of trust¶
Evidence applies to a named unit. A valid record can support one run without supporting the workflow family, and a well-supported family can remain blocked from release by packaging, security, ownership, or stale generated evidence.
| Unit | Question it answers | Evidence required | Invalid promotion |
|---|---|---|---|
| document | are these the governed bytes under the declared schema? | canonical representation, digest, schema, lineage | content identity to source authenticity |
| scientific result | did this input and policy produce an accepted result? | inputs, rejections, assumptions, QC, acceptance | one accepted result to family-wide validity |
| run | what executed under these conditions? | request, environment, provider, state, artifacts | completion to scientific acceptance |
| workflow family | what bounded class of claims survives family pressure? | benchmark corpus, challenge cases, rerun evidence, transfer limits | one family’s posture to another family |
| recommendation | which action survives the declared evidence and policy? | candidate universe, contradictions, sensitivity, regret | advisory ranking to authority to act |
| release | may this repository revision publish the declared surfaces? | complete release inventory and all governing gates | green category to overall release readiness |
When two statements appear to disagree, first check whether they describe the same unit, revision, workflow family, and evidence posture. Apparent conflict often comes from promoting a narrower result beyond the boundary it was built to defend.
Trust model¶
A defensible workflow retains five linked records:
- inputs, normalization policy, accepted data, and rejections;
- resolved execution configuration, provider decisions, state, and artifacts;
- supporting, contradicting, stale, ambiguous, and missing evidence;
- ranking policy, sensitivity, falsifiers, downgrade chain, and review need;
- assay readiness, execution instructions, observations, QC, and feedback.
A missing record narrows the claim. Replay without scientific acceptance criteria proves operational reproducibility only. Grounded evidence without a decision policy does not authorize progression. A recommendation without an observed outcome remains a proposal.
Start by intent¶
- Follow the scientist journey to inspect one workflow family from source evidence to laboratory consequence.
- Compare current support in workflow families.
- Trace package and artifact boundaries in product architecture.
- Inspect algorithms and benchmark roots in the core handbook.
- Run and replay work through the runtime handbook.
- Review explicit ceilings in current capability limits.
The most reliable starting point is the narrowest package and workflow family that owns the question. Broader platform claims are justified only when every required record in the evidence chain survives review.