Remove claim ".fence.size guarantees the template is larger" since this is no longer true. Update debugging pool design to record the newly discovered portability requirement.