That's a good summary, thanks! So in addition to not timeboxing the user code what's interesting about this is the heuristics we came up with for trapping poten

That's a good summary, thanks! So in addition to not timeboxing the user code what's interesting about this is the heuristics we came up with for trapping potential infinite loops in JS.