Remark: A guard is not a report comparison

The condition $j=0$ is an exact clock test. It is not inferred from a rounded edge length. At the event, newly born edge slots have limiting length zero, but for sufficiently small positive dyadic $s$ their rounded reports can also be zero. The particle deficit is likewise a fixed symbolic identifier, not an estimate extracted from a length report.