Runtime invariant to rule count in a single-pass boundary execution model · HackerTrans