License Display State Readback

License Display State Readback makes the producer-license board label a scoped evidence surface. The mechanism exists because a cell can display available, frozen, blackout, temporary_exemption, linked_slot, or reserved while the underlying row still carries release debt, exemption scope, blackout scar, borrowed-forward capacity, encumbrance, or recovery-only state.

The display is useful only when it can point back to a source row and forward to the reader that wants to trust it.

Entry Contract

Open the mechanism when all are true:

entry_state:
  trigger_kind: state_pressure
  source_license_slot_row_visible: true
  displayed_cell_label_visible: true
  underlying_slot_state_visible: true
  display_update_authority_visible: true
  proof_anchor_or_explicit_absence_visible: true
  requested_future_use_visible: true
  harmed_reader_or_explicit_absence_visible: true
  future_reader_consumes_display_state: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_slot_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The mechanism must not open from a mere UI redraw, a calendar cleanup, a dashboard pass, or a raw free-slot number.

Display Row

license_display_state_docket:
  source_license_slot_row: required
  displayed_cell_label: required
  underlying_slot_state: required
  display_update_authority: required
  proof_anchor_or_absence: required
  requested_future_use: required
  harmed_or_omitted_reader: required
  display_state_after: required
  future_reader_or_route_effect: required

The row is invalid if source state and displayed state collapse into one field. A visible available cell is not the same thing as clean capacity; a visible frozen cell is not the same thing as a valid audit freeze; a visible blackout cell is not the same thing as resolved blackout custody.

Branch Contract

Valid branches:

• certify_display_matches_row: the display and source row match, and the next consumer receives a display receipt.
• restore_stale_label: a stale or misleading label is reverted before future use.
• narrow_display_scope: one reader can trust the label while other readers require an addendum.
• publish_display_correction: a public, lawful, sponsor, or management correction records the mismatch.
• quarantine_display_cell: the cell cannot be spent until release, exemption, encumbrance, blackout, or audit state is read back.
• delegate_display_authority: a named authority can maintain the display, but later readers can contest it.
• false_license_display_default: the label is consumed as clean authority while the underlying row disagrees.
• future_effect_any: at least one later reader or route consumes the display state.

Every constructive branch must carry relief, cost, and future reader effect.

Display States

Display state	Meaning	Required future consequence
certified_match	The label matches the source row.	Future consumer keeps the receipt.
stale_label_restored	The label was wrong and has been restored.	Intake or release waits for row readback.
scoped_display	Only named readers may trust the label.	Other readers require addendum.
public_correction	The mismatch is published.	Public, sponsor, lawful, or management scar remains.
quarantined_cell	No reader may spend the label yet.	Capacity is blocked or costlier.
delegated_display	A holder carries display authority.	Delegated review is required later.
false_display_default	The label was consumed as clean proof.	Future route becomes hostile, blocked, costlier, or recovery-only.

Default and Recovery

Arm False License Display Default when a label is used to bypass a source slot row, hide blackout or exemption state, erase encumbrance, or make a dashboard-green label stand in for a receipt.

Recovery requires a visible scar: reopen the docket, restore the label, narrow display scope, publish a correction, quarantine the cell, delegate authority with contest terms, or force the consuming reader into a costlier or recovery-only route.

Non-Goals

• Not a broad producer-license pressure surface.
• Not a release receipt.
• Not an exemption or freeze grant.
• Not a replacement for the underlying slot state machine.
• Not a front-end implementation task; this is the in-world contract that makes displayed state playable.