MingaEditor.Renderer.RenderReceipt (Minga v0.1.0)

Focused Renderer-to-Editor process receipt.

Receipts contain only editor-owned transition results and frame correlation metadata. Resident stores, window render caches, adapter caches, font state, acknowledgement leases, and message-store cursors never cross back.

Summary

Types

t()

Functions

correlate(receipt, revision)

Returns the receipt correlated to the normalized Editor intent revision.

from_output(output, frame_seq, sent_at, intent_revision)

Builds a focused receipt from a completed pipeline frame.

Types

t()

@type t() :: %MingaEditor.Renderer.RenderReceipt{
  click_regions: MingaEditor.Shell.Traditional.ClickRegions.t() | nil,
  focus_tree: MingaEditor.FocusTree.t() | nil,
  frame_seq: non_neg_integer(),
  intent_revision: non_neg_integer(),
  keyframe?: boolean(),
  layout: MingaEditor.Layout.t() | nil,
  render_sent_at: integer(),
  shell_id: atom(),
  shell_identity: MingaEditor.Shell.Identity.t() | nil,
  window_observations: %{
    optional(MingaEditor.Window.id()) =>
      MingaEditor.Renderer.WindowObservation.t()
  }
}

Functions

correlate(receipt, revision)

@spec correlate(t(), non_neg_integer()) :: t()

Returns the receipt correlated to the normalized Editor intent revision.

from_output(output, frame_seq, sent_at, intent_revision)

@spec from_output(
  MingaEditor.RenderPipeline.Input.t(),
  non_neg_integer(),
  integer(),
  non_neg_integer()
) ::
  t()

Builds a focused receipt from a completed pipeline frame.