ExecutionPlane.Contracts.LaneFact.V1 (execution_plane v0.1.0)

Copy Markdown View Source

Neutral bounded lower-lane fact.

LaneFact.v1 is the safe shape handed upward from Execution Plane lanes. Raw stdout, stderr, HTTP bodies, workflow histories, credentials, and product workflow decisions remain outside this contract.

Summary

Types

t()

Functions

contract_version()
dump(fact)
from_event!(event, opts \\ [])
from_outcome!(outcome, opts \\ [])
new(value)
new!(value)
phases()

Types

t()

@type t() :: %ExecutionPlane.Contracts.LaneFact.V1{
  contract_version: String.t(),
  evidence_refs: [String.t()],
  fact_ref: String.t(),
  family: String.t(),
  lane_id: String.t(),
  lineage: ExecutionPlane.Contracts.lineage_t(),
  max_output_bytes: pos_integer(),
  output_byte_size: non_neg_integer(),
  output_hash_ref: String.t(),
  output_ref: String.t() | nil,
  payload_shape: map(),
  phase: String.t(),
  protocol: String.t(),
  redacted_preview_ref: String.t() | nil,
  route_id: String.t(),
  sequence: non_neg_integer(),
  timestamp: String.t(),
  transport_ref: String.t()
}

Functions

contract_version()

@spec contract_version() :: String.t()

dump(fact)

@spec dump(t()) :: map()

from_event!(event, opts \\ [])

@spec from_event!(
  ExecutionPlane.Contracts.ExecutionEvent.V1.t(),
  keyword()
) :: t()

from_outcome!(outcome, opts \\ [])

@spec from_outcome!(
  ExecutionPlane.Contracts.ExecutionOutcome.V1.t(),
  keyword()
) :: t()

new(value)

@spec new(map() | keyword() | t()) :: {:ok, t()} | {:error, Exception.t()}

new!(value)

@spec new!(map() | keyword() | t()) :: t()

phases()

@spec phases() :: [String.t(), ...]