Drug-Target Binding Affinity Classification (PWDR) L1-521
Unclaimed Principle — open for contribution
This Principle is declared in the catalog but has no reference solver, no pinned dataset, and is not registered on-chain. There is no reward pool. Submitting a cert against this Principle today will record the cert for reproducibility but pay zero PWM.
To claim it as a Bounty #7 contribution: open a PR adding (1) a reference solver, (2) ≥1 dataset pinned to IPFS, (3) updates to the L3 manifest with dataset CIDs. After verifier-agent triple-review, the founders' 3-of-5 multisig signs PWMRegistry.register() and the Principle becomes mineable.
Forward model E
Drug-Target Binding Affinity Classification (PWDR): wraps L1-294 DFT analytical core with established medicinal-chemistry affinity-class thresholds. Stage 1 (analytical, from L1-294): compute drug-target binding free energy Delta-G_binding via FEP / TI / MM-PBSA / DFT-corrected docking using DFT-derived atomic charges and force-field parameters. Stage 2 (deterministic threshold): apply standard medicinal-chemistry thresholds at Delta-G = {-5, -7, -9, -11} kcal/mol to assign categorical label. Difficulty tier delta = 5. Mismatch parameters: force_field_uncertainty, sampling_convergence_error, water_model_uncertainty, protein_flexibility_truncation, drug_protonation_state, conformational_search_incompleteness.
L-DAG
Well-posedness W
- Existence:
- true
- Uniqueness:
- conditional
- Stability:
- conditional
- κ:
- 100
Existence guaranteed within Omega bounds. Uniqueness conditional on adequate sampling (typically ≥100 ns of FEP for druglike ligands) and convergent thermodynamic cycle. Stability dominated by force_field_uncertainty (~1-2 kcal/mol systematic error) and sampling_convergence_error. Joint Hadamard well-posedness for the coupled DFT + MD + FEP + threshold forward established by Wang 2015 (FEP+ benchmark), Mey 2020 (best practices for FEP), Cournia 2020 (relative binding free energy review), Lipinski 1997 (Rule of 5), Veber 2002 (drug-likeness rules), Hopkins 2004 (ligand efficiency).
Solvability C
- Solver class:
- linear-operator + statistical sampling [FEP / TI / replica-exchange MD] + categorical-readout [affinity threshold] | machine-learned [deep neural force fields, Schrodinger FEP+] | linear-operator + deep neural [DeepBind, AtomNet]
- Convergence rate q:
- 0.5
- Complexity:
- O((N_atoms_drug + N_atoms_target)^2 * simulation_time_ns * N_lambda_windows) for FEP; expensive for large complexes