HPC Tier Module

Molecular Design Studio - GPU-bound provable sampler + exact cited verification (no AI)

The research-grade composing surface of the verifiable molecular-design engine.

This tool runs inside GDBS HPC. What it computes and the authorities it applies are below.

What it is

The research-grade composing surface of the verifiable molecular-design engine. It builds a REAL materials/polymer (or small-molecule aromatic) combinatorial chemical space from a cited scaffold plus a monomer/linker/side-group fragment library, brute-force enumerates the whole index space on the GPU (one thread per combinatorial index) for a property vector, a CITED energy V and a Gibbs log-weight, re-reduces the log-partition function on a 16-limb GeoNum GPU tree, and runs a symmetric single-site Metropolis-Hastings walker that PROVABLY targets the Gibbs measure exp(-beta V) toward the user property targets - the exact detailed-balance residual of the kernel is measured and reported under its own sampler-correctness band. Every returned candidate is RE-VERIFIED exactly on its explicit atom-bond graph: MW from IUPAC 2021 standard atomic masses, logP by Hansch-Leo 1979, TPSA by Ertl 2000, pKa by Hammett where applicable, HBD/HBA/rotatable-bonds/rings by their standard definitions, with Lipinski 2001 and Veber 2002 as derived flags, plus an integer-exact validity report and its deterministic seed provenance. There is NO learned model, no training, and no tuning of the energy to the target. GeoNum trust reads UNTRACKED with a reason (the pipeline routes no kernel drift); the reported bands describe the COMPUTATION, never whether a molecule is good, novel, or synthesizable, and no claim is made that the geometric embedding is chemically special (the alternative embedding benchmarked information-equivalent to Weisfeiler-Leman). This is the pre-cluster design and triage step that runs BEFORE expensive HPC docking and FEP, not a substitute for them.

Honest scope

Deterministic and citation-backed: every figure is exact arithmetic or a cited rule. Any year- or jurisdiction-indexed value is a confirmable input, never an eternal hardcode. This is a computation tool, not professional (legal, tax, medical, or financial) advice - confirm against the controlling authority for your context.

Authorities cited

Get an email when tools like this one change

Leave your email and we will tell you when we add or update Scientific Computing & Physics tools like this one, at most once a month.

We email you once to confirm. After that, unsubscribe from any issue in one click. Your address goes to VaultSync only (privacy).

Related tools

Run it on your own data

Open it inside GDBS to save runs to Sandbox, attach results to a Worklog case, or share through a Gate client portal - all in the browser, nothing uploaded to anyone’s cloud.

GDBS by VaultSync Solutions Inc. - Verifiable Computation. gdbs.getvaultsync.com