Runtime.DeviceArenaCertificate

a launch as the certificate sees it: its phase, the ordinals of the expanded schedule it stands for (base + the sum of k * stride over its generators, 0 <= k < count, outermost first), and, for each parameter word, intervals covering every value the word takes over them -- one per iteration of an enclosing repeat while few, their hull beyond that -- with what an enclosing repeat is accumulating: the sums of the positive and negative deltas naming the word, whether they are one delta naming each of its ordinals at most once, that delta, and those ordinals

78recursive unrestricted deviceArenaIntervalsTail