Replaces TheLockHoldsThroughMostOfItsDurationAndEndsAfter with a theory over Duration 1 and 2 at 0.25 s ticks. Builds. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>