The Spec Follows the Code
I wanted to write a protocol for cross-SP data access and then build against it. It came out the other way around: first implemented and audited across five service providers, then reconciled §4/§5/§6 with what had proven correct. The new IdP mechanism the spec assumed was already there — just shaped differently.