PtcRunner.Kernel.ExecutionInput (PtcRunner v0.14.0)

Copy Markdown View Source

Sealed selected application input and its authority class.

Input bytes, source names, and digests are intentionally absent. They do not enter application content identity. The authority class remains explicit because it controls later provider and publication policy. A contract rejection carries only ValueContract.classify/2's bounded structural classification and a sealed authority for its exact contract behavior hash and selected tagged-union branch, or only the shared discriminator before a branch matches; the rejected input never enters the error.

Summary

Types

authority()
t()

Functions

new(value, authority, contract \\ nil)

Admits, validates, and seals one selected input value.

valid?(input)

Checks the input's in-VM construction attestation.

Types

authority()

@type authority() :: :normal | :private

t()

@type t() :: %PtcRunner.Kernel.ExecutionInput{
  attestation: binary() | nil,
  authority: authority(),
  value: map()
}

Functions

new(value, authority, contract \\ nil)

@spec new(term(), authority(), PtcRunner.Kernel.ValueContract.t() | nil) ::
  {:ok, t()} | {:error, :invalid_input | {:input_contract_failed, map()}}

Admits, validates, and seals one selected input value.

valid?(input)

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

Checks the input's in-VM construction attestation.