PtcRunner.Kernel.CommandContract (PtcRunner v0.14.0)

Generated-in-source JSON Schema for the V3 command envelope.

The checked-in JSON artifact is produced from this module. Diagnostic phase/code/retryability/message rows come only from DiagnosticCatalog.

Envelope validation compiles that schema once per VM and reuses the JSV root. schema/0 still materializes the source map for generators and docs.

Summary

Builds the docs result: the served listing, or one embedded page.

schema()

Validates deterministic success-result ordering not fully expressible in JSON Schema.

version_result()

@spec docs_result(binary() | nil) :: map()

Builds the docs result: the served listing, or one embedded page.

@spec schema() :: map()

@spec valid_success_semantics?(atom(), term()) :: boolean()

Validates deterministic success-result ordering not fully expressible in JSON Schema.

Callers that consume the generated schema must apply this predicate after ordinary schema validation for doctor and models results.

@spec version_result() :: map()