The descriptions of the various operations here does not cover the exact details about the expected behavior and corner cases, but just the broader conceptual parts. Details are kept in integration tests and acceptance tests in the reference code for two reasons:
- To ensure documentation and reality (implementation) does not drift apart
- Enable automatic verification of components and their interaction.
Describe that details about expected behaviour in various situations is kept in integration tests to ensure documentation does not drift apart from realityThe tests can be found here.