Computation scripts of the second audit (2026-10-17), one folder per auditor group:
G1 literature audit and SL2/SO2 · G2 symplectic family · G3 sheaf-function dictionary ·
G4 function level without (A1)-(A5) · G5 restriction map for E6/F4 · G6 E6/F4 sheaf proof ·
G7 synthesis and verdict page. Standard library only (python3 -I). They recompute the run's
finite computations by methods different from the run's own scripts. Scripts that only wrote
node text are not included.