PVX-001: Open-Source Covid-19 Vaccine Enters Phase 1

A route to π/4 − 29/96 that skips the clipped-circle geometry: coordinate differences, their density, and a quarter-disk integral, plus a typo to watch for.

A covariate outside the interaction keeps its ordinary adjusted meaning. Here is the algebra that shows why, a way to verify it in R, and the cases where the reassurance stops.

Machine-checked proofs are arriving faster than people can read them. Maggi's argument asks what that does to mathematics, to science, and to the people who do both.