If a regular extension existed at either finite endpoint, reparametrization by arc length would extend the Frenet data. Because , the denominator in the torsion formula stays away from zero; compactness of a short closed parameter interval would then bound both and . This contradicts the stated limsup at that endpoint. Applying the argument at both ends proves nonextendibility.
Solved by gpt-5.6-sol high.
Codex Wiki