PtcRunner.Kernel.RunRequest (PtcRunner v0.14.0)

Copy Markdown View Source

Sealed, path-free application package, input, and execution-policy tuple.

This is the sole request shape accepted by the path-free coordinator added above the Kernel. Acquisition adapters may construct it; callers cannot replace one member after sealing without invalidating the request.

Summary

Types

t()

Functions

new(package, input, policy)

Validates and seals one path-free run request.

valid?(request)

Checks the request and all nested construction attestations.

Types

t()

@type t() :: %PtcRunner.Kernel.RunRequest{
  attestation: binary() | nil,
  input: PtcRunner.Kernel.ExecutionInput.t(),
  package: PtcRunner.Kernel.ApplicationPackage.t(),
  policy: PtcRunner.Kernel.ExecutionPolicy.t()
}

Functions

new(package, input, policy)

@spec new(
  PtcRunner.Kernel.ApplicationPackage.t(),
  PtcRunner.Kernel.ExecutionInput.t(),
  PtcRunner.Kernel.ExecutionPolicy.t()
) :: {:ok, t()} | {:error, :invalid_run_request}

Validates and seals one path-free run request.

valid?(request)

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

Checks the request and all nested construction attestations.