Online, computable and punctual structure theory. - Matthew Askes; Rod Downey (Log. J. IGPL, 2023)