Callboard Thumbtack Afteruse Receipt Lens / 公告板图钉后用回执 Lens

Callboard Thumbtack Afteruse Receipt Lens

This lens checks that a removed callboard thumbtack cannot later be consumed as proof of cue authority, posting consent, sponsor notice, archive custody, or blame assignment unless the game preserves the tack head, hole pattern or explicit absence, rust bloom, board witness, replacement notice, requested afteruse, future reader, selected posture, after-state, and future route effect.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  tack_head_visible: true
  hole_pattern_or_explicit_absence_visible: true
  rust_bloom_visible: true
  board_witness_visible: true
  replacement_notice_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_callboard_state: true
  player_can_certify_bind_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_tack_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Checks

1. Docket Preserves Posting Provenance

callboard_thumbtack_docket:
  tack_head: required
  hole_pattern_or_absence: required
  rust_bloom: required
  board_witness: required
  replacement_notice: required
  requested_afteruse: required
  future_reader_or_route: required
  selected_tack_posture: required
  tack_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required
  universal_call_authority: false

2. Review Branches Diverge

Required branch families:

• certify_hole_pattern;
• bind_board_witness;
• reopen_replacement_notice;
• split_posting_from_blame;
• quarantine_tack_afteruse;
• false_callboard_tack_default;
• future_effect_any.

Each branch must name relief, cost, counters, and future route effects.

3. Default Mutates Future Play

false_callboard_tack_default:
  false_call_authority: true
  tack_head_or_absence: required
  hidden_or_overbroad_posting_scope: required
  capturing_reader_or_route: required
  replacement_notice_or_absence: required
  tack_afteruse_state_after: false_callboard_tack_default
  future_reader_effect: recovery_only
  counter_deltas_min: 3
  durable_mutation: true

Progress Metric

Satisfied when the sibling TypeScript binding, focused card/rite/event content, runtime Jest assertions, and a lens-scoped durable replay show one selected branch changing named counters and future route state without treating the callboard thumbtack as universal cue authority, posting consent, sponsor notice, archive custody, or blame assignment.