This assertion is finalized. The outcome is irreversible and bonds have been settled — integrators can safely consume it.
