Formal inverse on actual tests

This is not independence from arbitrary global Green realizations on different curved completions. Transport through $\iota$ is the rewriting of these same retained compact pairings, not a construction across the worldsheet.