Calculation record

Independent exact moment checks for the full-operator splitting bound.

Research context

Interpret numerical checks within the assumptions and limitations documented in these notes.