@ -0,0 +1,465 @@
Design recommendation after correctness investigation, upstream review, and browser performance testing. The currently retained feature-worktree implementation is the minimal unsliced eager repair; the recommended time-sliced implementation described below has been benchmarked experimentally but has not yet replaced that patch.
PuzzleScript issue #947 reports that fast navigation through a very large source file can leave chunks with permanently incorrect syntax highlighting. The problem has two related but distinct aspects: