gh-103861: Fix Zip64 extensions not being properly applied in some cases

[pR0Ps]

This commit fixes an issue where adding a small file to a ZipFile object while forcing zip64 extensions causes an extra Zip64 record to be added to the zip, but doesn't update the min_version or file sizes.

To create a file that reproduces the issue (copied from #103861):

importzipfilewithzipfile.ZipFile("out.zip", mode="w", allowZip64=True) aszf:
withzf.open("text.txt", mode="w", force_zip64=True) aszi:
zi.write(b"some data")

Diff of information extracted by zipdetails from running the above script before and after this commit.

 0000 LOCAL HEADER #1 04034B50
-0004 Extract Zip Spec 14 '2.0'+0004 Extract Zip Spec 2D '4.5'
0005 Extract OS 00 'MS-DOS'
0006 General Purpose Flag 0000
0008 Compression Method 0000 'Stored'
000A Last Mod Time 00210000 'Mon Dec 31 19:00:00 1979'
000E CRC D9C2E91E
-0012 Compressed Length 00000009-0016 Uncompressed Length 00000009+0012 Compressed Length FFFFFFFF+0016 Uncompressed Length FFFFFFFF
001A Filename Length 0008
001C Extra Length 0014
001E Filename 'text.txt'
0026 Extra ID #0001 0001 'ZIP64'
0028 Length 0010
002A Uncompressed Size 0000000000000009
0032 Compressed Size 0000000000000009
003A PAYLOAD some data
0043 CENTRAL HEADER #1 02014B50
-0047 Created Zip Spec 14 '2.0'+0047 Created Zip Spec 2D '4.5'
0048 Created OS 03 'Unix'
-0049 Extract Zip Spec 14 '2.0'+0049 Extract Zip Spec 2D '4.5'
004A Extract OS 00 'MS-DOS'
004B General Purpose Flag 0000
004D Compression Method 0000 'Stored'
004F Last Mod Time 00210000 'Mon Dec 31 19:00:00 1979'
0053 CRC D9C2E91E
0057 Compressed Length 00000009
005B Uncompressed Length 00000009
005F Filename Length 0008
0061 Extra Length 0000
0063 Comment Length 0000
0065 Disk Start 0000
0067 Int File Attributes 0000
[Bit 0] 0 'Binary Data'
0069 Ext File Attributes 01800000
006D Local Header Offset 00000000
0071 Filename 'text.txt'
0079 END CENTRAL HEADER 06054B50
007D Number of this disk 0000
007F Central Dir Disk no 0000
0081 Entries in this disk 0001
0083 Total Entries 0001
0085 Size of Central Dir 00000036
0089 Offset to Central Dir 00000043
008D Comment Length 0000

A test has also been added that checks that these properties are correctly set.

• Issue: Writing a small file into a ZipFile while forcing zip64 extensions results in an incorrect zip file #103861

Potential reviewer based on the git blame of the changed lines: @serhiy-storchaka (182d7cd)
Potential reviewers based on the experts index: @Yhg1s, @gpshead

[gpshead]

I think this is the issue you were talking about at lunch today? (yay pycon sprints!)

[pR0Ps]

Yep, that's this one!

[pR0Ps]

@gpshead Addressed review comments

[gpshead]

github actions CI infrastructure seems broken at the moment. But I think this the PR is ready.

I undid one part of your change so it'd remain a pure bugfix: ZipInfo.FileHeader() is technically a public API - even if it seems like nothing should use it we must assume someone does. So getting rid of the old zip64=None default behavior would be an API change, so I restored that. But it should be a no-op as FileHeader is always called with an explicit zip64 bool supplied within the zipfile module itself.

I'll take another look later and rerun CI after it's healthy again.

[miss-islington]

Thanks @pR0Ps for the PR, and @gpshead for merging it 🌮🎉.. I'm working now to backport this PR to: 3.11.
🐍🍒⛏🤖

[miss-islington]

Sorry, @pR0Ps and @gpshead, I could not cleanly backport this to 3.11 due to a conflict.
Please backport using cherry_picker on command line.
cherry_picker 798bcaa1eb01de7db9ff1881a3088603ad09b096 3.11

[bedevere-bot]

GH-104534 is a backport of this pull request to the 3.11 branch.