Fix comparing 2 high resolution points in time when more than a second has elapsed

CHANGELOG.md

@@ -1,5 +1,11 @@
 # Changelog
 
+## [Unreleased]
+
+### Fixed
+
+- When comparing 2 high resolution points in time, if the elapsed time between the 2 is higher than a second it could return that the start point is ahead of the end one.
+
 ## 4.0.1 - 2025-01-19
 
 ### Fixed

proofs/pointInTime/highResolution.php

@@ -0,0 +1,40 @@
+<?php
+declare(strict_types = 1);
+
+use Innmind\TimeContinuum\PointInTime\HighResolution;
+use Innmind\BlackBox\Set;
+
+return static function() {
+    yield proof(
+        'HighResolution::aheadOf() on different seconds',
+        given(
+            Set\Integers::above(0),
+            Set\Integers::above(0),
+            Set\Integers::between(0, 999_999_999),
+            Set\Integers::between(0, 999_999_999),
+        )->filter(static fn($start, $end) => $start < $end),
+        static function($assert, $start, $end, $startNanoseconds, $endNanoseconds) {
+            $start = HighResolution::of($start, $startNanoseconds);
+            $end = HighResolution::of($end, $endNanoseconds);
+
+            $assert->true($end->aheadOf($start));
+            $assert->false($start->aheadOf($end));
+        },
+    );
+
+    yield proof(
+        'HighResolution::aheadOf() in same second',
+        given(
+            Set\Integers::above(0),
+            Set\Integers::between(0, 999_999_999),
+            Set\Integers::between(0, 999_999_999),
+        )->filter(static fn($_, $start, $end) => $start < $end),
+        static function($assert, $second, $start, $end) {
+            $start = HighResolution::of($second, $start);
+            $end = HighResolution::of($second, $end);
+
+            $assert->true($end->aheadOf($start));
+            $assert->false($start->aheadOf($end));
+        },
+    );
+};

src/PointInTime/HighResolution.php

@@ -52,6 +52,10 @@ public function aheadOf(self $other): bool
             return true;
         }
 
+        if ($this->seconds < $other->seconds) {
+            return false;
+        }
+
         return $this->nanoseconds > $other->nanoseconds;
     }