๐
Constraint DSL
Hard constraints reject violators; soft constraints apply weighted penalties. Standard operators against band gap, bulk modulus, θD, κ, hardness, density, formation energy.
๐ฏ
Target-profile presets
Semiconductor, narrow- and wide-gap, room-temp superconductor, thermoelectric, ultra-hard, battery cathode, LED emitter — one-click starting points.
๐งช
Element-scope rules
Allowed / required / excluded element lists, maximum elements per formula, stoichiometry bounds, charge neutrality, oxidation plausibility.
โก
Tier-1 engine validation
Every candidate passes through the materials engine: band gap, effective mass, dielectric, bulk modulus, θD, density — sub-millisecond per prediction.
๐
Tier-2 GPU lattice validation
Top-N candidates pass through a GPU lattice dynamics stage that flags synthetically unstable structures before you commit synthesis time.
๐งญ
Pareto front ranking
Multi-objective search returns the Pareto-optimal set alongside the fitness-ranked list. Choose by fitness or by dominance.
๐งฌ
Lineage & pipeline trace
Each candidate carries parent IDs, the operator that produced it, the repair origin, the generation pass, and per-stage timings.
๐ค
Export & interpret
CSV, Excel, JSON, and PDF export. AI interpretation generates a reviewer-ready narrative explaining why each candidate survived.