Calculation record
Check a full Dirac normal extension, its canonical norm and local source.
The half-cylinder and its spectral boundary condition are conditional.
The calculation does not derive normal binding or an IDWT mass operator.
Research context
- Normal Dirac extension and the canonical mass coefficient
A full Dirac field on a conditional spatial half-cylinder induces the absolute tangential Dirac operator, while its kinetic norm cancels a constant bulk mass factor and local scalar contact excites complementary normal profiles.
- 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.