Bug apple#23

dkovba · dkovba · commit be4dc936c9f0 · 2026-03-04T16:03:40.000-08:00
diff --git a/Sources/ContainerizationEXT4/EXT4+Formatter.swift b/Sources/ContainerizationEXT4/EXT4+Formatter.swift
@@ -1367,8 +1367,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
`@@ -1367,8 +1367,12 @@ extension Date {`
`1367`	`1367`	`return 0x8000_0000`
`1368`	`1368`	`}`
`1369`	`1369`
`1370`		`- if s > 0x3_7fff_ffff {`
`1371`		`- return 0x3_7fff_ffff`
	`1370`	`+ // Bug #23 (HIGH): Upper clamp used 0x3_7fff_ffff instead of the correct EXT4 34-bit`
	`1371`	`+ // seconds field maximum 0x3_ffff_ffff (2^34 − 1). Values between these two constants`
	`1372`	`+ // passed unchecked, writing bits above bit 33 and corrupting the nanosecond field.`
	`1373`	`+ // Same fix: sonnet-fix.`
	`1374`	`+ if s > 0x3_ffff_ffff {`
	`1375`	`+ return 0x3_ffff_ffff`
`1372`	`1376`	`}`
`1373`	`1377`
`1374`	`1378`	`// Bug #1 (CRITICAL): UInt64(s) traps with a Swift runtime precondition failure when s is`