https://www.quantamagazine.org/mathematician-solves-computer-science-conjecture-in-two-pages-20190725/

Computation was missing a tapering function to complement it's mathematical truncation eval()

So it should be:
n^3 sort
2^(n-1) truncate
sqrt(n) {Val, <, =, >, keyword} comparison/tapering (memoization/)
Container (mathematical set) assignment.

Last steps should be:
Availability check
Assignment to subscriber
Blackout

Integran Order Sort