Supported claims
- Simulation-validated deterministic molecular logic.
- Layered computational abstraction from logic to integration.
- Runtime sequencing feasibility under bounded assumptions.
Not claimed
- Clinical deployment.
- In vivo therapeutic validation.
- Error-free behavior under unconstrained conditions.