Style comment. The state and reason fields are variable-length integers, which makes them quite like RFC 9000 Error Codes. For consistency, my suggestion is to use MACRO_CASE for the values defined in this document. E.g instead of Property Violation use PROPERTY_VIOLATION. This can make it easier to slot into existing enum-based handling or logging systems.
Style comment. The state and reason fields are variable-length integers, which makes them quite like RFC 9000 Error Codes. For consistency, my suggestion is to use MACRO_CASE for the values defined in this document. E.g instead of
Property ViolationusePROPERTY_VIOLATION. This can make it easier to slot into existing enum-based handling or logging systems.