PtcRunner.Kernel.CommandContractAuthority (PtcRunner v0.14.0)

Sealed behavior and path scope for a classified contract failure.

The authority travels with bounded classification evidence, independently of any selected diagnostic path. A command source can therefore bind to the classifying contract before a path is admitted, preventing a path minted from another contract or tagged-union branch from certifying itself. Before a tagged-union branch matches, only its shared discriminator is in scope.

Summary

Types

t()

Functions

valid?(authority)

Types

t()

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

Functions

valid?(authority)

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