yeah ofc, but you can have, for example: - runtime checks for all loops - specify required upper bounds for all loops should be enough for a massive class of

yeah ofc, but you can have, for example: - runtime checks for all loops - specify required upper bounds for all loops should be enough for a massive class of useful AI-generated subroutines. the goal is not to allow all-code, but to have predictable resource limits and btw, unlike people, AI won't be too lazy to specify those