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

Copy Markdown View Source

Bounded report boundary for ExecutionOutcome.v1.

The raw payload remains owned by ExecutionOutcome.v1. This contract only carries shapes, refs, and scan results that are safe to persist in evidence reports.

Summary

Types

t()

Functions

contract_version()
dump(boundary)
from_outcome!(outcome, opts \\ [])
new(value)
new!(value)
scan_result(status)

Types

t()

@type t() :: %ExecutionPlane.Contracts.ExecutionEvidenceBoundary.V1{
  bounded_exit_code_or_response_shape: map(),
  bounded_status: String.t(),
  claim_check_ref_or_null: String.t() | nil,
  contract_version: String.t(),
  input_fingerprint_ref: String.t(),
  outcome_ref: String.t(),
  owner_repo: String.t(),
  persistence_posture: map() | nil,
  redacted_preview_ref_or_null: String.t() | nil,
  scan_result: map(),
  schema_ref: String.t()
}

Functions

contract_version()

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

dump(boundary)

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

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()

scan_result(status)

@spec scan_result(String.t()) :: map()