MingaEditor.Renderer.RecoveryHandler (Minga v0.1.0)

Owns connection reset, timeout recovery, and targeted window recovery.

Summary

Types

request_result()

Functions

adapted(state, last_applied, reason)

Starts one fresh-generation retry only after consuming explicit adaptation evidence.

keyframe(state, intent, seq, pushed_at)

Forces a same-connection keyframe while retaining acknowledged presentation leases.

keyframe_sync(state, intent, seq, pushed_at)

Renders a synchronous same-connection keyframe without abandoning presentation leases.

request(state, failed_generation, last_applied_frame_seq)

reset(state, intent, seq, pushed_at)

reset_sync(state, intent, seq, pushed_at)

Resets frontend state and renders a synchronous recovery keyframe.

transaction(state, rejected_attempt)

Starts transaction recovery from the latest semantic intent.

window(state, rejected_attempt, window_id)

Recovers one missed retained window without resetting unrelated frontend state.

Types

request_result()

@type request_result() :: :recovery_started | :stale

Functions

adapted(state, last_applied, reason)

@spec adapted(MingaEditor.Renderer.State.t(), non_neg_integer(), atom()) ::
  {:noreply, MingaEditor.Renderer.State.t()}

Starts one fresh-generation retry only after consuming explicit adaptation evidence.

keyframe(state, intent, seq, pushed_at)

@spec keyframe(
  MingaEditor.Renderer.State.t(),
  MingaEditor.RenderPipeline.Intent.t(),
  non_neg_integer(),
  integer()
) :: {:reply, :ok, MingaEditor.Renderer.State.t()}

Forces a same-connection keyframe while retaining acknowledged presentation leases.

keyframe_sync(state, intent, seq, pushed_at)

@spec keyframe_sync(
  MingaEditor.Renderer.State.t(),
  MingaEditor.RenderPipeline.Intent.t(),
  non_neg_integer(),
  integer()
) ::
  {:reply,
   {:ok, MingaEditor.Renderer.RenderReceipt.t()} | {:error, Exception.t()},
   MingaEditor.Renderer.State.t()}

Renders a synchronous same-connection keyframe without abandoning presentation leases.

request(state, failed_generation, last_applied_frame_seq)

@spec request(MingaEditor.Renderer.State.t(), non_neg_integer(), non_neg_integer()) ::
  {:reply, request_result(), MingaEditor.Renderer.State.t()}

reset(state, intent, seq, pushed_at)

@spec reset(
  MingaEditor.Renderer.State.t(),
  MingaEditor.RenderPipeline.Intent.t(),
  non_neg_integer(),
  integer()
) :: {:reply, :ok, MingaEditor.Renderer.State.t()}

reset_sync(state, intent, seq, pushed_at)

@spec reset_sync(
  MingaEditor.Renderer.State.t(),
  MingaEditor.RenderPipeline.Intent.t(),
  non_neg_integer(),
  integer()
) ::
  {:reply,
   {:ok, MingaEditor.Renderer.RenderReceipt.t()} | {:error, Exception.t()},
   MingaEditor.Renderer.State.t()}

Resets frontend state and renders a synchronous recovery keyframe.

transaction(state, rejected_attempt)

@spec transaction(
  MingaEditor.Renderer.State.t(),
  MingaEditor.Renderer.FrameAttempt.t()
) ::
  {:noreply, MingaEditor.Renderer.State.t()}

Starts transaction recovery from the latest semantic intent.

window(state, rejected_attempt, window_id)

@spec window(
  MingaEditor.Renderer.State.t(),
  MingaEditor.Renderer.FrameAttempt.t(),
  non_neg_integer()
) ::
  {:noreply, MingaEditor.Renderer.State.t()}

Recovers one missed retained window without resetting unrelated frontend state.