License Display State Readback Lens

This lens observes whether the producer-license board display is implemented as a reconciled state surface instead of a clean UI label.

Entry Oracle

The packet must open from a future reader trying to consume a displayed license cell label:

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 lens fails if the entry is a timer, calendar cleanup, dashboard warning, raw free-slot count, or generic UI refresh.

Bound Packet

The lens expects these pages:

• License Display State Readback;
• License Display State Readback;
• Producer License UI;
• License Slot Release Receipt;
• License Exemption Freeze Grant;
• Producer License Encumbrance;
• License Display State Docket;
• License Display State Readback;
• False License Display Default;
• executable sibling license-display-state-readback.lens.ts;
• evaluator registration storyteller.lens.license_display_state_readback.v1.

Checks

1. Display and source row are separate

The docket must name:

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

2. Branches diverge

The readback must expose all branch families:

• certify_display_matches_row;
• restore_stale_label;
• narrow_display_scope;
• publish_display_correction;
• quarantine_display_cell;
• delegate_display_authority;
• false_license_display_default;
• future_effect_any.

3. Default mutates future play

The default event must record:

false_license_display_default:
  false_clean_display_claim: true
  source_license_slot_row: required
  displayed_cell_label: required
  hidden_or_mismatched_slot_state: required
  consuming_reader: required
  harmed_or_omitted_reader: required
  display_state_after: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

4. Runtime rollup status is explicit

This is a direct-wiki contract. It is bound for evaluator coverage now and should be promoted into playable game-content objects when the producer-license runtime rollup is refreshed.

Adjacency

• License Slot Release Receipt owns whether a slot is actually released.
• License Exemption Freeze Grant owns exception state.
• Producer License Encumbrance owns pledged authority.
• Weekly Broadcast Cycle Audit owns cycle closure.

This lens owns only the displayed label becoming trusted evidence.