Crosswake.ProofLane.PhysicalIphoneContract (crosswake v0.2.3)

View Source

Closed, versioned vocabulary for a single physical-iPhone proof run.

It intentionally carries neither device identity nor host/adopter values.

Summary

Functions

assertions()

@spec assertions() :: [
  %{
    id: String.t(),
    owner: :device_local | :backend_authority | :evidence_promotion
  }
]

device_class()

@spec device_class() :: :physical_iphone

ios_runtime_line(value)

@spec ios_runtime_line(term()) :: {:ok, String.t()} | {:error, String.t()}

schema_version()

@spec schema_version() :: pos_integer()

validate_report(report)

@spec validate_report(term()) :: :ok | {:error, String.t()}