From 2220c6659bdc366829d7ed56a746e427d0dd13c2 Mon Sep 17 00:00:00 2001
From: zanderbyte-certora <zanderbyte@certora.com>
Date: Wed, 30 Jul 2025 13:10:03 +0300
Subject: [PATCH] next period logic bug

---
 .../034_nextPeriod_advancement_failure.patch        | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 certora/mutations/034_nextPeriod_advancement_failure.patch

diff --git a/certora/mutations/034_nextPeriod_advancement_failure.patch b/certora/mutations/034_nextPeriod_advancement_failure.patch
new file mode 100644
index 0000000..d2b607b
--- /dev/null
+++ b/certora/mutations/034_nextPeriod_advancement_failure.patch
@@ -0,0 +1,13 @@
+diff --git a/contracts/Periods.sol b/contracts/Periods.sol
+index 189fb02..817d09c 100644
+--- a/contracts/Periods.sol
++++ b/contracts/Periods.sol
+@@ -29,7 +29,7 @@ contract Periods {
+   }
+ 
+   function _nextPeriod(Period period) internal pure returns (Period) {
+-    return Period.wrap(Period.unwrap(period) + 1);
++    return Period.wrap(Period.unwrap(period));
+   }
+ 
+   function _periodStart(Period period) internal view returns (Timestamp) {