Methods
Sequence-first scope
Synba assembles and inspects protein sequences. It performs no protein folding, docking or structural inference. Geometric engagement, binding and manufacturing outcomes require independent experimental assessment.
Phase 1 · engineering rules
Rule-based engineering assessment. Unvalidated heuristics. Candidates are ordered lexicographically by chain_pairing_fidelity → aggregation_topology → junction_and_sequence_liabilities → chain_complexity_manufacturability → geometry_fit. Equal vectors are co-equal; IDs stabilize display order only. Tier vectors determine recommendation order. Preliminary panel and shortlist reservoirs also use disclosed heuristic priority assumptions; these are not calibrated biological predictions. Geometry remains unknown.
Named validity rules
user_architecture
Excluded by the researcher-selected architecture constraint.
user_requires_fc
Excluded by your Fc-required screening constraint.
user_chain_limit
Excluded by your maximum physical-chain constraint.
fc_on_fcless
An Fc variant cannot be set on an Fc-less family.
pairing_on_symmetric
A symmetric family has no distinct Fc chains to heterodimerize.
disulfide_without_scfv
No scFv exists to receive the proposed variable-domain disulfide.
single_chain_multivalency
Valency above 1+1 is not supported on the single-chain tandem family.
variable_domain_edit
VH44/VL100 cysteine engineering would change the supplied binding domains. Domain preservation is mandatory.
short_scfv
A single-chain scFv requires at least 12 linker residues in this library; shorter designs are excluded.
rigid_internal_linker
A rigid EAAAK linker inside an scFv is excluded by the fold-back plausibility rule.
dart_long_linker
The DART-like cross-paired topology requires a short linker (≤10 aa).
dart_rigid_linker
Only flexible short DART-like linkers are supported.
unverified_pairing
Charge-pair and orthogonal Fc mutation sets are not verified against the supplied constant reference; no construct is exported.
unverified_orthogonal_fab
An orthogonal CH1/CL interface requires a verified numbered mutation definition. This family is gated rather than assembled with guessed substitutions.
shared_light_changes_binder
Common-light-chain constructs require identical input VL sequences. Replacing either supplied VL is forbidden.
lc_fusion_stoichiometry
A 2+1 LC-terminal fusion cannot enforce one modified light chain per molecule with the supported pairing strategies.
Reference constants
| Domain | Accession | Allotype |
|---|---|---|
| CH1 | UniProt P01857-1 | IGHG1*05 |
| hinge | UniProt P01857-1 | IGHG1*05 |
| CH2 | UniProt P01857-1 | IGHG1*05 |
| CH3 | UniProt P01857-1 | IGHG1*05 |
| CL | UniProt P01834 | not independently assigned; reference sequence hash pinned |
Kappa allotype is unassigned; the reference sequence hash is recorded instead of inventing an allele.
Pairing literature observations
Reported percentages below are source-specific observations, not predictions for uploaded constructs or comparable universal correct-pairing rates. Unknown ranges remain unknown. HC heterodimerization, exchange conversion and complete product purity are distinct endpoints.
| Strategy | Reported source bound/range (%) | Scope and citation |
|---|---|---|
| KiH | up to 92; up to | Original T366Y/Y407T anti-CD3/CD4 immunoadhesin hybrid in a protein-A-purified pool. Not the later T366W hole set and not four-chain purity. Ridgway, Presta & Carter (1996), Protein Engineering 9:617–621 |
| KiH + CrossMab CH1/CL | Unknown; no verified quantitative range assigned | Published Ang-2/VEGF CH1/CL crossover precedent. No verified numeric correct-pairing range extracted; unknown for the supplied construct. |
| Charge pair | Unknown; no verified quantitative range assigned | Electrostatic Fc steering; HC heterodimerization only. No verified quantitative range assigned. This is not DuetMab and is not enabled in the enumerator. |
| Common light chain | approximately 95; approximately; single reported value, not an uncertainty interval | Merchant HC disulfide-stabilized KiH variant reported approximately 95% HC heterodimerization with a selected common LC. This is not a measured LC compatibility rate or a universal product purity. |
| Orthogonal Fab | Unknown; no verified quantitative range assigned | Published orthogonal-interface engineering, with sequence-specific variable/constant interface designs. No verified quantitative range assigned; input-domain mutations remain disabled. |
| Controlled Fab-arm exchange | 95–96.3; observed two-process range; not a confidence interval | EGFR×CD20 exchange conversion by CIEX: 95.0% at 5 mL and 96.3% at 25 L (Table 5). Separate parental production and controlled reducing/exchange process; not an enabled architecture here. |
| scFv-only | Unknown; no verified quantitative range assigned | Covalent linkage removes alternate light-chain species, but does not establish folding, assembly purity or abundance. No construct-matched percentage or citation assigned. No cited construct-matched prior; tier unknown. |
Numbering and provenance
ANARCI recognizes paired VH/VL domains, detects swapped fields, and fails closed on unsupported scaffolds. Scheme: IMGT by default, or KABAT/CHOTHIA. Every website run records a timestamp, run ID, ruleset, constant accessions and hashes, allotype status and random seed. All variable-domain residues remain unchanged.
Brief and experimental gates
The brief includes exact chains and segment sources, EU/sequential mutation positions, actual constraint reruns, co-equal alternatives, mitigations, a proposed build plan and five editable assay gates. Thresholds are investigator-proposed planning values; no experiment has been run by this app.
Limitations
Engineering rules are unvalidated heuristics. No affinity or format-binding prediction is made. Experimental validation is required. Phase 1 tiers do not use ML, byproduct abundance, junction likelihoods. Module J reports sequence observations separately; calibration is withheld until every required reference score is verified.
Synba Intelligence Engine · evidence and applicability
Deterministic annotations, language-model representations and supervised assay research are separate layers. The current research experiment concerns recorded capped HIC retention in monospecific IgGs under GDPa1 conditions. Candidate and assembled-bispecific numerical predictions remain disabled. Sequence inspection and assay research do not enter tier vectors.
Experimental-label benchmark, baselines and limitations
Research benchmark · recorded capped HIC retention time
Original GDPa1 monospecific IgG assay, in minutes. This evaluates software models on experimental labels; it supplies no experimental measurement or prediction for your construct. Fixed development, calibration and test splits were frozen before model fitting. Source protocol and study transfer remain limitations.
Development: 140 records in 138 homology groups. Calibration: 48 records in 47 groups. Test: 53 records in 52 groups. These are counts, not independent biological validation claims.
| Research model | Test MAE (min), 95% interval | Test Spearman rho, 95% interval |
|---|---|---|
| Training-mean baseline | 0.232 [0.182, 0.282] | Not defined |
| Sequence-neighbor baseline | 0.349 [0.272, 0.436] | -0.024 [-0.312, 0.269] |
| AA composition + ridge | 0.187 [0.133, 0.241] | 0.502 [0.271, 0.679] |
| Descriptor ridge | 0.214 [0.171, 0.261] | 0.485 [0.237, 0.702] |
| Descriptor random forest | 0.233 [0.180, 0.286] | 0.329 [0.067, 0.566] |
| Provided ESM-2 8M + ridge | 0.206 [0.149, 0.264] | 0.412 [0.137, 0.661] |
Development-only selection chose Descriptor ridge. No model was reselected using the final test results. Intervals use 1000 homology-group bootstrap replicates; they do not guarantee performance in another study or architecture. Provided ESM-2 8M features are a separate provenance-limited research baseline, never Module J scores. Original experimental study · Model card and promotion gates.
Sequence inspection and calculated descriptors
Input text is retained separately from canonical sequences in the analysis provenance. A single FASTA header, whitespace and letter case can be normalized; unsupported residues and malformed records fail explicitly. No residue is substituted. Numbering must map every input residue back to its exact amino acid and reproduce the stated CDR coordinates before a construct is returned.
Mass is the sum of IUPAC average amino-acid masses minus 18.0153 Da for each peptide bond. We report mature, reduced, unmodified polypeptide mass. Glycans, terminal processing and disulfide connectivity are not inferred. The construct mass is the stoichiometric sum of chain masses, not a mass-spectrometry observation.
Net charge is calculated at pH 7.4 using Henderson–Hasselbalch fractions, Bjellqvist pKa parameters and sequence-dependent terminal parameters. The theoretical pI is the zero-charge root on pH 0–14; no root produces an abstention. Mean hydropathy uses the Kyte–Doolittle scale. Composition and cysteine counts are exact sequence counts. Extinction coefficients assume reduced cysteines. All values are deterministic descriptors under stated assumptions; no experimental interval or solubility, stability, aggregation or yield prediction is supplied. Independent calculation reference: Biopython 1.86.
The numerical implementation was compared with independently generated Biopython outputs on a predefined 64-case panel: four public-example domains, five constant segments, 20 single-residue edge cases and 35 seeded synthetic chains. All 64 cases met prespecified tolerances: mass 10⁻⁶ Da, charge 10⁻¹² e, pI 10⁻⁴ pH units and mean hydropathy 10⁻¹². This is software agreement, with no inference about performance on biological outcomes.
A separate independently specified Python composition panel checks 152 configurations in four families: Tandem scFv (32), CrossMab KiH (6), DVD-Ig (18), and IgG–scFv (96). All exact chain hashes, lengths, copy counts and parent-domain preservation checks passed. This supports sequence-construction correctness in those configurations; it does not measure assembly yield or validate every library configuration.
Potential chemical motifs and context
The read-only sequence inspector uses explicitly stated motif definitions informed by the Liability Antibody Profiler paper (Satława et al., 2024). It displays exact chain positions, inherited binder versus constant/linker/boundary origin, and CDR or framework context when numbering is available. Unassigned context remains unassigned. A motif outside a published definition’s CDR scope is displayed without transferring the CDR-specific risk interpretation.
This is not a reproduction of LAP’s complete risk adjustment: no germline prevalence, therapeutic prevalence or surface accessibility is calculated. Methionine and tryptophan occurrences are potential sequence flags, not observations of oxidation. The added inspector does not change engineering tiers; existing introduced-junction rules remain separate from inherited sequence annotations.
Module J · junction inspection
Engineered junctions compared against natural flexible linkers. This is a sequence observation, not an engineering tier or a prediction of a bispecific outcome. It does not affect candidate ordering.
Natural-boundary reference
We use gaps of 3–100 residues between immediately adjacent, non-overlapping Pfam Domain annotations in reviewed UniProt proteins. Full-protein sequence checksums must match the Pfam release. Unclassified boundaries, overlapping domains, non-standard residues and ambiguous cross-stratum windows are excluded. Each retained window has 15 residues on either side of its boundary. The reference is natural interdomain boundaries, not bispecific outcomes.
Disorder proxy: metapredict distribution 3.1.1, V3 network, checkpoint 3209c42d91a77dc5828618c7835ebc5dd912f56d43d0111d3c3c36138d9739a8. Residues at or above 0.5 use the documented disorder threshold. A gap is flexible-proxy if at least 80% of its residues meet that threshold; structured-proxy if at most 20% do. The 80% homogeneity rule is a stated method choice, not a calibrated biological threshold. Low predicted disorder does not establish mechanical rigidity. metapredict documentation.
| Stratum | Eligible unique windows | Retained windows | Retained proteins |
|---|---|---|---|
| flexible_proxy | 3029 | 3029 | 1390 |
| structured_proxy | 65169 | 25000 | 15156 |
Before proxy inference, 25,000 proteins were selected by a reproducible accession hash from 74,944 eligible proteins. After inference and deduplication, the same hash-sampling rule and 25,000-window cap applied to both strata. All 3029 flexible windows survived that cap; the structured population was sampled from 65169 to 25000. The strata must not be interpreted as uncapped population proportions.
Reference dependence and resolution
The flexible reference contains 3,029 windows, 1,554 distinct gaps, 1,390 source proteins and 916 protein clusters at 50% identity. There are 1,475 gaps with both boundaries and 79 with one retained boundary. Paired boundaries share a gap; multiple gaps can share a protein; homologous proteins can share a cluster. The windows are not independent samples.
Full source proteins were clustered with MMseqs2 at 50% aligned-residue identity, requiring 80% bidirectional sequence coverage, using a single-step connected-component graph and sensitivity 7.5. Connected components include transitive relationships; every pair within a cluster need not share 50% identity. Software version 21fbeafa3eaed712b82b5743b78f1a36690e7d51. This full-length coverage rule can miss shared local or domain homology. Cluster counts summarize redundancy and do not establish independence or a formal effective sample size. MMseqs2 method and parameter definitions.
| Boundary direction | Windows | Gaps | Proteins | 50% protein clusters |
|---|---|---|---|---|
| domain→linker | 1513 | 1513 | 1355 | 914 |
| linker→domain | 1516 | 1516 | 1357 | 915 |
The reported percentile remains a descriptive window-weighted empirical rank. Its arithmetic step size is not independent biological resolution. Independent information is bounded by the underlying gaps and further limited by protein and homology dependence; 3,029 windows do not provide 3,029 independent observations. No confidence interval or inferential precision is calculated from the window count. Any future uncertainty analysis must resample whole protein clusters and retain their gaps and paired boundaries together.
Fallback (a): only the flexible stratum supplies percentiles. Gly-Ser junctions use their matching boundary direction, never the pooled corpus: 1513 domain-to-linker windows and 1516 linker-to-domain windows. Other boundary chemistries abstain when no matching comparison is available.
Sources: Pfam 38.2, release 2026-01 (month precision), based on UniProt 2025_03; UniProtKB 2026_03, release 02-Sep-2026. Extraction commit d31e7823289f7db3321ce65568f623b6e3f428be; window artifact SHA-256 fbd72c7a36033224250b8db217a54270c51e0a50a373e1b4183536a75f54b33e. Source checksums, proxy parameters and counts are recorded in each run manifest.
Masked likelihood and its limits
ESM-2 esm2_t33_650M_UR50D, without fine-tuning, masks each residue in turn. Pseudo-perplexity is the exponential of the mean negative log-probability assigned to the actual masked residues. Masks are batched; BOS/EOS tokens are not scored. Higher values mean the sequence is less expected by this language model. The three largest negative log-probabilities identify contributing residues, with chain and sequential coordinates. All residues in the window provide context; a window entirely inside a preserved parent domain is never scored.
Reference and candidate windows require the identical checkpoint and inference policy. Cache keys include the window hash and that policy. A percentile is withheld until all 3,029 flexible windows have real scores. It is the fraction of matching-direction natural reference windows with strictly lower pseudo-perplexity; ties are not broken. The empirical reference distribution accompanies the percentile. Predictive performance for expression, aggregation or pairing has not been established for any threshold. The percentile is reported for inspection only and does not affect ordering. ESM-2 method.
Comparison with Phase 1 liabilities
Convergence requires an exact overlap on the same chain and sequential residue coordinate with an actual Phase 1 liability. In the uncalibrated raw-coordinate audit of public-example Tandem scFv BSD2-000181, none of the 18 reported contributors across six boundary observations overlaps an actual Phase 1 liability. W110, M107 and the other contributors lie in preserved parent segments, which Phase 1 excludes from junction penalties. Methionine or tryptophan identity alone is not convergence. ESM surprisal is not an oxidation detector; even an overlap would not validate chemical reactivity or a bispecific outcome. This audit does not require or report a reference percentile; calibration remains withheld until the complete reference batch is verified.
How to cite
Ahmed Elbasty; Saket Kembhavi. Frontier Computational Biology Lab. Synba software 0.6.0, engineering ruleset 0.4.0. No DOI assigned. LLM assistance was used in code and documentation; authors retain responsibility.
Ahmed Elbasty · Grand Blanc High School
Saket Kembhavi · Grand Blanc High School
Corresponding author and lab contact: ahmedmohamedelbasty20@gmail.com. Lab website. This is a software citation; no journal publication or DOI is claimed.
