Deterministic Absolute Gay-Lussac isochoric gas law ((P_atm + P_cold)/T_K_cold = (P_atm + P_hot)/T_K_hot) + Antoine saturated water-vapor phase-change pressure jump engine (.json, .csv) built for Hoosier Racing Tire, Toyo Proxes RR, Nankang AR-1, Prisma Electronics — zero-upload ephemeral Wasm RAM execution.
Running ephemeral Wasm verification…