Skip to main content
Advertisement
  • Loading metrics

From prompts to genomes: A constraint-first framework for AI-driven sequence design across life and viruses

A constraint-first framework for future ‘prompt-to-genome’ AI across Bacteria, Archaea, Eukaryota, and viruses is proposed. Genome-scale models can now generate long DNA sequences, and experimentally viable genome-scale designs have begun to appear, but sequence generation alone does not establish biological feasibility. Constraints should not require designs to remain within natural sequence space; rather, they should define testable boundaries for function, inheritance, lifecycle coherence and safe use, including new-to-nature designs. We propose a two-part system. First, a Constraint Compiler translates natural-language prompts into machine-checkable specifications defining scope, context, objectives, assumptions and governance requirements. Second, a modular Validator Stack (C1–C6) evaluates candidate designs for sequence integrity, gene and regulatory plausibility, genome completeness, comparative coherence, systems-level feasibility, and safety and governance. Extreme prompts serve as stress tests to expose hidden assumptions, conflicting objectives, and refusal points, complemented by adversarial testing and risk assessment. A phased roadmap and community benchmarks are proposed to measure specification accuracy, biological feasibility, robustness, and governance performance. The goal is to move prompt-to-genome systems from impressive generation toward reliable, auditable, and accountable biological design.

1. The new bottleneck: Feasibility, not fluency

Recent genome-scale AI models have moved from long-sequence generation toward experimentally testable design. Evo and Evo 2 demonstrate genomic modeling and generation from molecular to genome scale [1,2], while genome language models have now produced viable bacteriophages with substantial evolutionary novelty [3]. These advances make ‘prompt-to-genome’ workflows increasingly plausible, but they do not make feasibility equivalent to sequence fluency. Genomes still depend on coordinated replication, inheritance, regulation, epigenetic state, and lifecycle requirements. Additionally, viral genomes depend on packaging and host context [4–9]. Biological constraints should not be interpreted as requiring generated sequences to remain within naturally observed sequence space. A central promise of generative biology is new-to-nature design: sequences may diverge substantially from known homologues while remaining functional [3]. The relevant boundary is therefore not naturalness itself, but compatibility with physical, molecular, hereditary, and system-level requirements of the intended function. The same novelty can also increase uncertainty because similarity-based evidence becomes weaker, strengthening the need for functional validation and safety assessment.

An important distinction is therefore needed between sequence-conditioned generation and specification-conditioned design. Current genome language models primarily generate candidates from nucleotide context and learned sequence distributions rather than directly translating arbitrary natural-language requirements into compliant genomes. In the recent bacteriophage demonstration, genome models supplied candidate sequences, while external constraints on sequence quality, coding content, host tropism, genetic architecture, and evolutionary diversity were used to select designs for experimental testing [3]. Thus, demonstrated capability resides in the complete design pipeline (i.e., generator, filtering, ranking, and validation) rather than in the generator alone. A future prompt-to-genome system would additionally require biological requirements expressed in natural language to become explicit, jointly satisfiable constraints before generation.

Extreme prompts expose additional scale-dependent constraints. In eukaryotes, for example, a ‘bigger genome’ does not imply more genes: genome expansion often reflects repeats and transposable elements [10–13]. A generator that lengthens a plant genome without accounting for gene structure, repeats, or inheritance could therefore produce plausible-looking but biologically incoherent sequences. In bacteria, feasibility includes replicon organization and segregation [4,14]. In eukaryotes, feasibility additionally depends on chromosome architecture and extensive noncoding sequence, while in viruses, packaging, lifecycle, and host compatibility [5–7]. Prompt-to-genome should therefore be treated as a hierarchy of design tasks rather than a single endpoint:

  1. Gene-level: Coding and regulatory elements and noncoding RNA (including isoforms)
  2. Module: Operons, pathways, cassettes, and viral segments
  3. Replicon: Chromosome, replicon with architecture, and inheritance constraints
  4. Whole genomes: Complete cellular or viral genome

Feasibility requirements increase with scale. Underspecified prompts should be converted into explicit assumptions before generation, and outputs should be returned as a constrained design space, validator-linked feasibility report, or auditable refusal (Fig 1).

thumbnail
Fig 1. Constraint-first prompt-to-genome workflow across life and viruses.

Prompts are compiled to specifications, candidates are evaluated by a modular Validator Stack (C1-C6), and outputs are a constrained design space, a detailed validation report, or a refusal notice.

https://doi.org/10.1371/journal.pcbi.1014865.g001

2. A Constraint Compiler: Turning prompts into executable biological specifications

Simple ‘prompt-to-sequence’ systems usually leave key requirements implicit. A Constraint Compiler should translate prompts into a formal, machine-checkable specification before sequence generation. Existing design languages and standards such as Eugene, SBOL, Cello and CELLM show how biological intent can be represented as enforceable rules [15–18]. Proto now extends this direction into composable generative workflows across DNA, RNA, proteins and other modalities, incorporating predictive models, multi-objective design and natural-language specification through AI agents [19]. Proto therefore represents an emerging step toward specification-conditioned design because it separates sequences, generators, constraints and optimizers while allowing complex design programs to be specified through natural-language interfaces. Proto is also complementary to the framework proposed here: it addresses how generative design programs can be composed and optimized, whereas the Constraint Compiler defines an auditable biological-and-governance contract that downstream validators must test. At a narrower scale, DNA-Diffusion demonstrates conditional generation of regulatory DNA followed by computational and experimental activity testing [20], illustrating how generator-specific objectives can sit beneath a broader validation architecture. The compiled specification should define target scope (i.e., gene, module, replicon or whole genome), measurable functional goals, hard constraints, soft optimization objectives, assumptions about environment and containment, and governance fields such as intended use, synthesis-screening requirements and refusal triggers. Missing context should trigger clarification rather than silent inference.

Large language models can assist with interpreting user intent, but formal tools should encode and verify the resulting contract [17–19]. Feasibility should be treated as a multi-layer test suite rather than a single score. This mirrors genome assessment, where no single metric is sufficient: QUAST provides assembly diagnostics [21], BUSCO estimates conserved gene completeness [22], CheckM evaluates microbial completeness and contamination [23], Prokka standardizes prokaryotic annotation [24], and OrthoFinder supports comparative orthology analysis [25]. These tools were not designed as generative-AI validators but illustrate how complementary diagnostics can be composed. The proposed stack, whose implementation will differ by biological domain and design scale, is:

  1. C1: Sequence integrity (alphabet, forbidden motifs, assembly and syntax).
  2. C2: Gene and regulatory plausibility (ORFs, splicing, regulatory grammar and viral organization).
  3. C3: Genome and content completeness (required components; BUSCO- or CheckM-style tests).
  4. C4: Comparative and annotation coherence (annotation, orthology and architecture).
  5. C5: Systems-level feasibility (physiology, lifecycle and FBA/COBRA-style tests where applicable) [26–28].
  6. C6: Safety, biosecurity and governance (risk tiering, synthesis screening and auditable refusal).

Relying on a single evaluation score can encourage proxy optimization and obscure failures elsewhere in the stack. Following Clarke’s Second Law [29], deliberately extreme prompts can therefore be used to stress-test three limit classes: physical impossibility, biological incoherence and governance refusal. Examples include:

  1. “Increase the genome size 50-fold but make all of it functional.”
  2. “Create a Mars-compatible plant genome.”
  3. “Create a plant virus genome capable of invading mammals.”
  4. “Design a toxin-resistant bacterial genome that produces a new antifungal compound.”
  5. “Create an organismal genome that consumes 20 times less energy than known organisms.”

Each prompt should return either a design with explicit uncertainty or a machine-readable failure or refusal reason (Fig 2). Optimizing any single measure, such as gene density or BUSCO completeness, risks Goodhart effects [30,31]. Robustness, evolvability, ecological containment, and gene-flow risk should therefore be implemented as domain-specific tests within the relevant C1-C6 layer rather than collapsed into one score.

thumbnail
Fig 2. Example prompt and validator/refusal outputs.

The system returns a versioned specification, a structured C1-C6 report, or an auditable refusal with safe redirection.

https://doi.org/10.1371/journal.pcbi.1014865.g002

Even a well-specified compiler can be challenged by ambiguous or adversarial prompts, including attempts to hide intent or distribute it across requests. Prompt-to-genome systems therefore require repeated adversarial testing of both intent interpretation and sequence-level outputs, alongside general risk-management frameworks such as the NIST AI RMF, GenAI Profile and ARIA [32–34]. Biological-model red teaming is now becoming concrete: SafeProtein provides a domain-specific framework and benchmark for adversarial evaluation of protein foundation models [35]. Comparable benchmarked stress testing should be developed for genomic generators rather than assuming that prompt-level safeguards alone are sufficient.

3. Bioethics, biosafety, and biosecurity as first-class constraints

A ‘prompt-to-bio’ system can reduce the distance between biological intent and an operational design, increasing both misuse and accidental-harm risks. Bioethics, biosafety and biosecurity should therefore be represented in the specification rather than appended after generation. WHO guidance and NASEM analyses provide general principles for responsible life-science and synthetic-biology governance [36,37], while biological-AI work increasingly treats model capability itself as a dual-use object requiring evaluation [38]. Compliance with nucleic-acid synthesis and procurement screening remains a complementary control [39–41]. Recent genomic-AI safety work similarly argues that safeguards must span the innovation pipeline rather than depend on model-level refusal alone [42]. A 2026 consensus white paper further proposes defense in depth across sensitive training-data governance, model-lifecycle risk assessment and safety benchmarking, tiered deployment, and nucleic-acid synthesis governance [43]. For prompt-to-genome systems, this suggests three operational layers:

  1. Upstream: Capability assessment, safety benchmarks, red teaming, and auditable refusal before deployment [35,38,42,43].
  2. Midstream: Deployment tiering plus synthesis and procurement screening [39–41,44].
  3. Downstream: Fragment-aware screening, enforceable standards and monitoring for implementation gaps [45–48].

Governance should itself be benchmarked rather than expressed only as policy. Shared prompt sets, structured constraint graphs, validator packs, adversarial tests and risk-weighted reports should measure scientific performance alongside false acceptance, false refusal, auditability and failure under prompt mutation. Report templates should preserve the specification, validator outcomes, governance decision and red-team coverage.

4. Roadmap

‘Start small’ should mean beginning with testable contracts, not abandoning an architecture that can later scale from genes and modules to replicons and whole genomes. Existing systems already occupy different layers of such an architecture. Evo/Evo 2 provide long-context genomic modeling and genome-scale generation [1,2]. DNA-Diffusion conditionally generates regulatory DNA and was benchmarked by reporter assays and endogenous gene modulation [20]. Nucleotide Transformer provides predictive genomic representations across diverse downstream tasks [49], while Caduceus emphasizes bidirectional, reverse-complement-equivariant long-range modeling and variant-effect benchmarks [50]. Proto composes generators, predictive constraints, and optimizers into multi-objective workflows, including experimentally tested intron and promoter-repressor designs [19]. In the proposed framework, these systems can serve as generators, scorers, or optimization components, while C1-C6 define the broader acceptance and governance contract around them. A phased implementation could proceed as follows:

  1. Phase 0—Spec-first scaffolding: Implement a prompt-to-specification schema and clarification loop, drawing on SBOL/Eugene-style representations [15,16] and, where useful, Proto-like program composition [19].
  2. Phase 1—C1/C2 validators for genes and modules: Implement robust syntax and gene-structure validators, like domain-aware ORF logic and splice plausibility. Add lightweight “module validity” checks for forbidden elements, regulatory grammar, and compositional constraints, similar to constraint languages such as Eugene [15]. The system is allowed to form sequences, but only alongside the pass/fail validator output.
  3. Phase 2—Assembly- and content-based validators (C3/C4): Adopt “community-grade” genome/gene-set validators as a plug-in layer. For example, assembly and completeness toolchains have already normalized what “diagnostic reports” look like (e.g., QUAST, BUSCO, CheckM, standardized annotations) [21–24]. Extend C4 beyond annotation to coherence checks via orthology and comparative signals where appropriate [25]. The key principle is that validator stacks should be swappable and testable independent of the generator.
  4. Phase 3—Systems feasibility (C5) as a first-class test: Translate “phenotype prompts” into testable constraints with constraint-based modeling covering growth feasibility, flux capacity, tradeoff envelopes, and condition dependence [26–28]. This stage marks the framework’s shift towards engineering, turning prompts into specifications and specifications into testable criteria.
  5. Phase 4—Governance operationalization (C6): Integrate capability tiering, refusal reports, and red-team evaluation as core quality criteria [32–35,38,42,43], while maintaining compatibility with synthesis-screening and implementation safeguards [39–41,44–48].

A realistic ecosystem may keep validators, safe prompt sets, scoring and reporting broadly open while applying stronger controls to higher-risk generators or operational workflows. The objective is not one universal model, but a modular contract in which every accepted design carries an explicit specification, validator evidence, and governance decision.

5. Conclusion

Genome-scale generative biology has begun to move beyond sequence fluency: genome-scale models can generate coherent long DNA, and viable AI-designed bacteriophages demonstrate that functional whole-genome design is beginning to emerge [2,3]. This progress strengthens rather than removes the need for constraint-first systems. Constraints should not force designs to imitate nature; they should make the conditions for feasibility, uncertainty, and safe use explicit, especially as models explore new-to-nature sequence space. We propose a Constraint Compiler that converts natural-language intent into a testable specification and a modular C1-C6 Validator Stack spanning sequence integrity, biological coherence, systems feasibility, and governance. Progress should be judged through shared contracts, validator suites, adversarial tests, and reporting standards rather than generation demonstrations alone.

Acknowledgments

ChatGPT (OpenAI; GPT-5.2 and GPT-5.6) was used to assist with initial outlining, revision planning, and language editing. Grammarly was used for grammatical checks. AI-assisted suggestions were checked by the authors against the cited literature, and the authors take responsibility for all scientific interpretations and final wording. No research data or analyses were generated using these tools, and the final figures were prepared manually by the authors.

References

  1. 1. Nguyen E, Poli M, Durrant MG, Kang B, Katrekar D, Li DB, et al. Sequence modeling and design from molecular to genome scale with Evo. Science. 2024;386(6723):eado9336. pmid:39541441
  2. 2. Brixi G, Durrant MG, Ku J, Naghipourfar M, Poli M, Sun G, et al. Genome modelling and design across all domains of life with Evo 2. Nature. 2026;652(8112):1349–61. pmid:41781614
  3. 3. King SH, Driscoll CL, Li DB, Guo D, Merchant AT, Brixi G. Generative design of novel bacteriophages with genome language models. Science. 2026. pmid:42561074
  4. 4. Wang X, Montero Llopis P, Rudner DZ. Organization and segregation of bacterial chromosomes. Nat Rev Genet. 2013;14(3):191–203. pmid:23400100
  5. 5. Chelikani V, Reddy VS. Revisiting the genome packaging in viruses with lessons from the giant viruses. Virus Research. 2014;189:48–56. pmid:24998349
  6. 6. Stertz S, Shaw ML. Uncovering the global host cell requirements for influenza virus replication via RNAi screening. Microbes Infect. 2011;13(5):516–25. pmid:21276872
  7. 7. Bulcha JT, Wang Y, Ma H, Tai PWL, Gao G. Viral vector platforms within the gene therapy landscape. Signal Transduct Target Ther. 2021;6(1):53. pmid:33558455
  8. 8. Yi SV. Epigenetics research in evolutionary biology: Perspectives on timescales and mechanisms. Mol Biol Evol. 2024;41(9):msae170. pmid:39235767
  9. 9. Lamka GF, Harder AM, Sundaram M, Schwartz TS, Christie MR, DeWoody JA, et al. Epigenetics in ecology, evolution, and conservation. Front Ecol Evol. 2022;10:871791.
  10. 10. Eddy SR. The C-value paradox, junk DNA and ENCODE. Curr Biol. 2012;22(21):R898-9. pmid:23137679
  11. 11. Naville M, Henriet S, Warren I, Sumic S, Reeve M, Volff JN, et al. Massive changes of genome size driven by expansions of non-coding DNA. Curr Biol. 2019;29(7):1162-1168.e6. pmid:30880010
  12. 12. Gregory TR. Synergy between sequence and size in large-scale genomics. Nat Rev Genet. 2005;6(9):699–708. pmid:16151375
  13. 13. Hassan AH, Mokhtar MM, El Allali A. Transposable elements: Multifunctional players in the plant genome. Front Plant Sci. 2024;14:1330127. pmid:38239225
  14. 14. Gogou C, Japaridze A, Dekker C. Mechanisms for chromosome segregation in bacteria. Front Microbiol. 2021;12:685687. pmid:34220773
  15. 15. Bilitchenko L, Liu A, Cheung S, Weeding E, Xia B, Leguia M, et al. Eugene—A domain specific language for specifying and constraining synthetic biological parts, devices, and systems. PLOS ONE. 2011;6(4):e18882. pmid:21559524
  16. 16. McLaughlin JA, Beal J, Mısırlı G, Grünberg R, Bartley BA, Scott-Brown J, et al. The Synthetic Biology Open Language (SBOL) Version 3: Simplified data exchange for bioengineering. Front Bioeng Biotechnol. 2020;8:1009. pmid:33015004
  17. 17. Nielsen AAK, Der BS, Shin J, Vaidyanathan P, Paralanov V, Strychalski EA, et al. Genetic circuit design automation. Science. 2016;352(6281):aac7341. pmid:27034378
  18. 18. Abello Castillo L, Gutiérrez Pescarmona M. CELLM: Bridging natural language processing and synthetic genetic circuit design with AI. ACS Synth Biol. 2025;14(9):3799–803. pmid:40905372
  19. 19. Merchant AT, Guo D, Viggiano B, Brennan-Almaraz LE, Hur E, Mai T, et al. A high-level programming language for generative biology with Proto. bioRxiv. 2026.
  20. 20. DaSilva LF, Senan S, Kribelbauer-Swietek JF, Patel ZM, Louis LK, Reddy AJ, et al. Designing synthetic regulatory elements using the generative AI framework DNA-Diffusion. Nat Genet. 2026;58(1):180–94. pmid:41437153
  21. 21. Gurevich A, Saveliev V, Vyahhi N, Tesler G. QUAST: Quality assessment tool for genome assemblies. Bioinformatics. 2013;29(8):1072–5. pmid:23422339
  22. 22. Simão FA, Waterhouse RM, Ioannidis P, Kriventseva EV, Zdobnov EM. BUSCO: Assessing genome assembly and annotation completeness with single-copy orthologs. Bioinformatics. 2015;31(19):3210–2. pmid:26059717
  23. 23. Parks DH, Imelfort M, Skennerton CT, Hugenholtz P, Tyson GW. CheckM: Assessing the quality of microbial genomes recovered from isolates, single cells, and metagenomes. Genome Res. 2015;25(7):1043–55. pmid:25977477
  24. 24. Seemann T. Prokka: Rapid prokaryotic genome annotation. Bioinformatics. 2014;30(14):2068–9. pmid:24642063
  25. 25. Emms DM, Kelly S. OrthoFinder: Phylogenetic orthology inference for comparative genomics. Genome Biol. 2019;20(1):238. pmid:31727128
  26. 26. Orth JD, Thiele I, Palsson BØ. What is flux balance analysis?. Nat Biotechnol. 2010;28(3):245–8. pmid:20212490
  27. 27. Schellenberger J, Que R, Fleming RMT, Thiele I, Orth JD, Feist AM, et al. Quantitative prediction of cellular metabolism with constraint-based models: The COBRA Toolbox v2.0. Nat Protoc. 2011;6(9):1290–307. pmid:21886097
  28. 28. Heirendt L, Arreckx S, Pfau T, Mendoza SN, Richelle A, Heinken A, et al. Creation and analysis of biochemical constraint-based models using the COBRA Toolbox v.3.0. Nat Protoc. 2019;14(3):639–702. pmid:30787451
  29. 29. Clarke AC. Profiles of the future: An inquiry into the limits of the possible. London: Gollancz;1962.
  30. 30. Goodhart CAE. Problems of monetary management: The UK experience. Monetary theory and practice. Macmillan Education UK; 1984. p. 91–121. https://doi.org/10.1007/978-1-349-17295-5_4
  31. 31. Manheim D, Garrabrant S. Categorizing variants of Goodhart’s law. 2018. https://doi.org/10.48550/arXiv.1803.04585
  32. 32. National Institute of Standards and Technology. Artificial intelligence risk management framework (AI RMF 1.0). National Institute of Standards and Technology; 2023. https://doi.org/10.6028/NIST.AI.100-1
  33. 33. National Institute of Standards and Technology. Artificial intelligence risk management framework: Generative artificial intelligence profile. 2024. https://doi.org/10.6028/NIST.AI.600-1
  34. 34. National Institute of Standards and Technology. Assessing risks and impacts of AI (ARIA): ARIA 0.1 pilot evaluation report. National Institute of Standards and Technology; 2025. https://doi.org/10.6028/NIST.AI.700-2
  35. 35. Fan J, Zhou Z, Jin R, Cong L, Wang M, Zhang Z. SafeProtein: Red-teaming framework and benchmark for protein foundation models. arXiv. 2025. https://doi.org/10.48550/arXiv.2509.03487
  36. 36. World Health Organization. Global guidance framework for the responsible use of the life sciences: mitigating biorisks and governing dual-use research. 2022.
  37. 37. National Academies of Sciences, Engineering, and Medicine. Biodefense in the age of synthetic biology. Washington, DC: The National Academies Press; 2018. https://doi.org/10.17226/24890
  38. 38. Pannu J, Bloomfield D, MacKnight R, Hanke MS, Zhu A, Gomes G, et al. Dual-use capabilities of concern of biological AI models. PLoS Comput Biol. 2025;21(5):e1012975. pmid:40338934
  39. 39. Office of Science and Technology Policy. Framework for nucleic acid synthesis screening. 2024 [cited 2026 Feb 20]. Available from: https://aspr.hhs.gov/S3/Pages/OSTP-Framework-for-Nucleic-Acid-Synthesis-Screening.aspx
  40. 40. International Gene Synthesis Consortium. IGSC harmonized screening protocol (HSP) v3.0. 2024 [cited 2026 Feb 20]. Available from: https://genesynthesisconsortium.org/wp-content/uploads/IGSC-Harmonized-Screening-Protocol-v3.0-1.pdf
  41. 41. National Institutes of Health. NOT-OD-25-012: Notification of NIH requirements regarding procurement of synthetic nucleic acids and benchtop nucleic acid synthesis equipment. 2024 [cited 2026 Feb 20]. Available from: https://grants.nih.gov/grants/guide/notice-files/NOT-OD-25-012.html
  42. 42. Hassan HA, Anžel A, İlgen B, Luchner M, Schramowski P, Blasse A, et al. A safety-centric perspective on innovation and risk in the use of artificial intelligence in genomics. Trends Genet. 2026;42(9):820–31. pmid:42062163
  43. 43. Sprang M, Hassan HA, Ektefaie Y, Schmieder A, Wasilenko A, Hanke M, et al. Opportunities, challenges and responsible innovation using generative artificial intelligence for biological sequence design. Research Square. 2026.
  44. 44. Carter SR, Boldrini L, Alexanian T. Implementing emerging customer screening standards for nucleic acid synthesis. Institute for Biosecurity and Biosafety Innovation (IBBIS). 2025 [cited 2026 Feb 20]. Available from: https://ibbis.bio/ibbis_whitepaper_2025_implementing-emerging-customer-screening-standards-for-nucleic-acid-synthesis
  45. 45. Edison R, Toner S, Esvelt KM. Assembling unregulated DNA segments bypasses synthesis screening: Regulate fragments as select agents. Nat Commun. 2026;17(1):3189. pmid:41540044
  46. 46. Beal J, Alexanian T. Creating enforceable biosecurity standards for nucleic acid providers. Eng Biol. 2025;9(1):e70003. pmid:41415623
  47. 47. Wheeler NE, Carter SR, Alexanian T, Isaac C, Yassif J, Millet P. Developing a common global baseline for nucleic acid synthesis screening. Appl Biosaf. 2024;29(2):71–8. pmid:39131178
  48. 48. Gillum DR, Moritz RL. Why implementation gaps could undermine synthetic nucleic acid oversight. Front Bioeng Biotechnol. 2025;13:1689753. pmid:41230196
  49. 49. Dalla-Torre H, Gonzalez L, Mendoza-Revilla J, Lopez Carranza N, Grzywaczewski AH, Oteri F, et al. Nucleotide Transformer: Building and evaluating robust foundation models for human genomics. Nat Methods. 2025;22(2):287–97. pmid:39609566
  50. 50. Schiff Y, Kao C-H, Gokaslan A, Dao T, Gu A, Kuleshov V. Caduceus: Bi-directional equivariant long-range DNA sequence modeling. Proc Mach Learn Res. 2024;235:43632–48. pmid:40567809