It seems to me that this would be best ensured by writing the codebase in a custom language the compiler of which would put a loop around the whole code but the

It seems to me that this would be best ensured by writing the codebase in a custom language the compiler of which would put a loop around the whole code but the language itself wouldn't have loops. This could be yet another instance of "patterns mean 'I've run out of language'".