Storyteller Wiki

Ticket Taker Clicker Afteruse Receipt Lens / 验票员计数器后用回执 Lens

3 min read

Ticket Taker Clicker Afteruse Receipt Lens / 验票员计数器后用回执 Lens

This lens observes whether Ticket Taker Clicker Afteruse Receipt keeps a gate clicker count from becoming universal proof of attendance, consent, refund waiver, or route-asset legitimacy.

A passing implementation proves that a clicker count row is playable as evidence only with source gate, operator or explicit absence, count scope, requested afteruse, harmed or omitted reader, selected posture, state after, and future route effect.

Entry oracle

entry_state_required:
  trigger_kind: state_pressure
  clicker_count_row_visible: true
  gate_operator_or_absence_visible: true
  ticket_window_or_gate_visible: true
  count_scope_or_correction_visible: true
  requested_afteruse_visible: true
  harmed_or_omitted_reader_visible: true
  future_reader_or_route_consumes_clicker_state: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_attendance_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry opens from fixed chronology, raw crowd count, dashboard state, lens health, or a generic attendance proof without the count row and future reader.

Bound packet

The lens expects these pages:

Docket oracle

验票员计数器案卷 or equivalent must record:

ticket_taker_clicker_docket:
  clicker_count_row:
    clicker_id: gate.clicker.north-balcony.07
    counted_surface: north balcony rain-readmission gate
  gate_operator_or_absence:
    operator: usher Vale or explicit_absence
  ticket_window_or_gate:
    gate: north balcony rain-readmission gate
  count_scope_or_correction:
    scope: bodies crossed threshold, not consent or waiver
  requested_afteruse:
    use: sponsor attendance proof, refund waiver, route asset audience density, archive legitimacy
  harmed_or_omitted_reader:
    reader: late-accessibility readmission row or explicit_absence
  clicker_state_after:
    state: certified_count_only | reader_restricted | corrected_with_addendum | split_required | quarantined | refused_with_scar | false_clean_default | recovery_only
  future_reader_or_route_effect:
    effect: named_count_required | named_reader_only | addendum_required | split_required | quarantined | recovery_only

The lens fails if the docket only records attendance counted, house full, ticket valid, refund denied, or audience asset created.

Review oracle

验票员计数器后用复核 must require clicker count row, gate operator or explicit absence, gate/window, count scope, requested afteruse, harmed reader, future route, and selected branch.

Accepted branch families:

  • certify_clicker_scope;
  • restrict_count_reader;
  • attach_count_correction;
  • split_attendance_from_consent;
  • quarantine_clicker_afteruse;
  • refuse_clicker_afteruse_with_scar;
  • false_clicker_default;
  • future_effect_any.

Every constructive branch must include relief, cost, and future effect.

Default oracle

计数器伪净默认 must fire or arm when a clicker count is cited as clean attendance consent, refund waiver, or route-asset legitimacy while source scope is hidden.

false_clicker_default:
  false_clean_clicker_claim: true
  hidden_or_overbroad_count_scope: <gap>
  counted_row_claimed_clean: <row>
  harmed_or_omitted_reader: <reader or explicit_absence>
  clicker_state_after: false_clean_default
  future_reader_effect: recovery_only
  counter_deltas_min: 3
  durable_mutation: true

The default fails if it changes only flavor, morale, or generic ticket pressure.

Replay oracle

The durable replay must come from a lens-scoped session whose id starts with lens-storyteller-lens-ticket-taker-clicker-afteruse-receipt-v1-, assign storyteller.rite.ticket_taker_clicker_afteruse_review.v1, and choose certify_clicker_scope.

Progress metric

ticketTakerClickerAfteruseProgress = 0..8:

  • 0: no clicker count row.
  • 1: source clicker count row exists.
  • 2: gate operator or explicit absence is visible.
  • 3: ticket window/gate and count scope or correction are visible.
  • 4: requested afteruse, harmed reader, and future reader are visible.
  • 5: docket separates count row, operator, requested afteruse, state after, and future effect.
  • 6: review exposes at least six branch families with relief, cost, and future effect.
  • 7: default records false clean clicker claim, hidden scope, harmed reader, and future mutation.
  • 8: durable replay exercises a scoped certification branch and exports game-cli provenance.

Non-goals

  • Not raw attendance counting.
  • Not generic ticket validation.
  • Not a refund workflow by itself.
  • Not valid if a clicker count becomes universal consent, waiver, or route-asset proof.

Graph View