PtcRunner.Kernel.ValueContractClassification (PtcRunner v0.14.0)

Internal sealed evidence for one value-contract classification.

The public classification map deliberately omits branch indexes and schema material. This value carries the exact contract behavior and path schema separately so diagnostic authority can remain branch-specific after a union match, or limited to the shared discriminator before a branch matches, without widening model-facing feedback.

Summary

Types

t()

Functions

valid?(classification)

Types

t()

@type t() :: %PtcRunner.Kernel.ValueContractClassification{
  attestation: binary(),
  behavior_hash: binary(),
  path_schema: map() | nil
}

Functions

valid?(classification)

@spec valid?(term()) :: boolean()