Clearance Evidence Disposition Receipt Lens

This lens checks that a prior clearance cannot later be spent as clean proof unless the removed evidence or explicit absence has a visible disposition receipt.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_clearance_operation_visible: true
  cleared_body_or_evidence_visible: true
  clearance_authority_visible: true
  disposition_surface_visible: true
  harmed_or_excluded_reader_visible_or_explicit_absence: true
  requested_future_use_visible: true
  future_reader_consumes_clearance_state: true
  player_can_bind_contest_suppress_residue_transfer_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_clearance_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, fixed day/week, raw clearance count, dashboard state, or lens-health state.

Checks

1. Docket Preserves Clearance, Evidence, Reader, And Future Use

clearance_evidence_disposition_docket:
  source_clearance_operation: required
  clearance_authority: required
  cleared_body_or_evidence_or_absence: required
  source_pressure: required
  disposition_surface: required
  custody_or_witness_anchor: required
  requested_future_use: required
  future_reader: required
  harmed_or_excluded_reader: required
  selected_disposition_posture: required
  clearance_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• bind_to_official_record;
• publish_public_counterreceipt;
• attach_lawful_cordon_receipt;
• stamp_edit_residue;
• transfer_to_archive_custody;
• quarantine_clearance_claim;
• false_clean_clearance_default;
• future_effect_any.

3. Default Mutates Future Play

false_clean_clearance_default:
  false_clean_clearance_claim: true
  source_clearance_operation_or_absence: required
  hidden_or_unhandled_evidence: required
  capturing_reader: required
  harmed_or_excluded_reader: required
  clearance_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 bound to an evaluator entry. Runtime source objects and durable replay can be added later if the clearance disposition lane becomes executable in the game-content rollup.