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.