Bug apple#23

dkovba · dkovba · commit 50110d07ea9e · 2026-03-10T23:15:11.000-07:00
diff --git a/Sources/ContainerizationEXT4/EXT4+Formatter.swift b/Sources/ContainerizationEXT4/EXT4+Formatter.swift
@@ -1372,8 +1372,12 @@ extension Date {
             return 0x8000_0000
         }
 
-        if s > 0x3_7fff_ffff {
-            return 0x3_7fff_ffff
+        // Bug #23 (HIGH): Upper clamp used 0x3_7fff_ffff instead of the correct EXT4 34-bit
+        // seconds field maximum 0x3_ffff_ffff (2^34 − 1). Values between these two constants
+        // passed unchecked, writing bits above bit 33 and corrupting the nanosecond field.
+        // Same fix: sonnet-fix.
+        if s > 0x3_ffff_ffff {
+            return 0x3_ffff_ffff
         }
 
         // Bug #1 (CRITICAL): UInt64(s) traps with a Swift runtime precondition failure when s is

Original file line number	Diff line number	Diff line change
`@@ -1372,8 +1372,12 @@ extension Date {`
`1372`	`1372`	`return 0x8000_0000`
`1373`	`1373`	`}`
`1374`	`1374`
`1375`		`- if s > 0x3_7fff_ffff {`
`1376`		`- return 0x3_7fff_ffff`
	`1375`	`+ // Bug #23 (HIGH): Upper clamp used 0x3_7fff_ffff instead of the correct EXT4 34-bit`
	`1376`	`+ // seconds field maximum 0x3_ffff_ffff (2^34 − 1). Values between these two constants`
	`1377`	`+ // passed unchecked, writing bits above bit 33 and corrupting the nanosecond field.`
	`1378`	`+ // Same fix: sonnet-fix.`
	`1379`	`+ if s > 0x3_ffff_ffff {`
	`1380`	`+ return 0x3_ffff_ffff`
`1377`	`1381`	`}`
`1378`	`1382`
`1379`	`1383`	`// Bug #1 (CRITICAL): UInt64(s) traps with a Swift runtime precondition failure when s is`