B2[2]/Z100 Raw Evidence Collection for the Maximum-13 Computational Resolution (Corrected Complete Release)

This version supersedes the earlier raw-evidence upload for B2[2]/Z100 and provides the corrected complete raw-evidence release. It preserves the latest v10 exact-search outputs for g=1, t=2,3,4 (255 final branches plus one regression control), the v8 final branches t=5,...,45 (41 complete branches; v8 t=2,3,4 retained only as superseded provenance, including a timeout at t=3), the latest v9 g=2,3 outputs (67 branches, all marked EXHAUSTED_NO_WITNESS), and the original plus fresh clean-room DRAT evidence for g=4,5,6,7. The package includes source snapshots, workflow-at-run files, run provenance, raw logs, CNF/DRAT files, corrected authoritative manifests, and verification scripts. SHA-256 of this ZIP: 254031fc2fab17027e389900ca63e704d170eba6ad6861e235db3fe9be46727a. This is a computational evidence release for independent review, not a peer-reviewed or formally verified theorem. TheoremDB status remains computational resolution pending external review; no global nonexistence theorem is claimed here.