Release v4.56.0

Added

• Commands can describe generated UUID-backed values and a scalar returns <property> contract. Both compilers parse, validate and print these declarations; executable binding rejects them with PLAY0268 until their semantics are supported (part of #300)
• Commands can describe a returns block with named fields and inferred or explicit types. Specifications can state generated-value fixtures and scalar or record return expectations; these remain syntax-only (part of #303)
• Monaco and VS Code provide highlighting, completion, hover and diagnostics for generated values and response contracts, including their syntax-only availability (part of #300)
• MCP exposes response contracts and generated-value fixtures for inspection and revision-checked typed authoring. The event model board shows response details and excludes generated values from command request fields (part of #303)

Changed

• The command, specification, grammar and MCP documentation describe generated values and response contracts, with examples and the current execution limitations (part of #300)