Reproducible research on verification boundaries, plus the earlier Nobulex receipt proto…