B2[2]/Z100 Raw Evidence Collection for the Maximum-13 Computational Resolution

This record preserves the raw computational evidence collection for the reported B2[2]/Z100 result. The reported conclusion is that a 13-element B2[2] subset of Z/100Z exists and no 14-element subset was found in the final normalized exhaustive branches. The archive includes raw branch outputs, solver sources, run metadata, workflow snapshots, CNF/DRAT files, and recorded verification logs. The package is supplied for independent mathematical and computational review. The original collection manifest uses staging-path prefixes and a v8 t=3 timeout record is retained only as provenance; the accompanying verification note supplies the actual-entry audit and states the claim boundary. This is not a peer-reviewed or formally verified result, and TheoremDB status remains computational resolution pending external review.