Calculation record
Characteristic obstructions and a constructive normal-frame control.
These checks concern specified smooth spatial inclusions. Characteristic
class and tubular-neighborhood theorems are mathematical inputs, with their
applications proved in the accompanying note. No physical sector is selected.
Research context
- Diagnostic catalog
Reproduction commands and scope descriptions for every local finite diagnostic and helper.
Interpret numerical checks within the assumptions and limitations documented in these notes.