Behaviour worth knowing

The published contract does not yet encode the behavioural exceptions supplied in the integration brief. Verified operation response declarations appear below. Exception documentation will be generated once those details are added to the contract.