Witness Oath Expiry Afteruse Receipt Lens

This lens checks that an old witness oath cannot be consumed as current proof after the witness, custody surface, expiry basis, or harmed reader has changed.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_oath_row_visible: true
  original_testimony_row_visible: true
  oath_expiry_or_explicit_absence_visible: true
  witness_identity_or_explicit_absence_visible: true
  requested_afteruse_visible: true
  current_reader_or_sponsor_visible: true
  harmed_or_excluded_reader_visible_or_explicit_absence: true
  proof_bridge_or_explicit_absence_visible: true
  future_reader_consumes_oath_state: true
  player_can_certify_renew_split_attach_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_witness_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, fixed day/week cadence, raw witness count, dashboard state, lens health, or an oath row that no future reader is trying to consume.

Checks

1. Docket Separates Old Oath From Current Proof

witness_oath_expiry_docket:
  source_oath_row: required
  original_testimony_row: required
  original_witness_or_absence: required
  oath_expiry_or_absence: required
  requested_afteruse: required
  current_reader_or_sponsor: required
  custody_surface_change_or_absence: required
  proof_bridge_or_absence: required
  harmed_or_excluded_reader: required
  selected_oath_posture: required
  oath_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

  • certify_oath_still_current;
  • renew_witness_oath;
  • split_old_testimony_from_new_use;
  • attach_oath_afteruse_receipt;
  • publish_expiry_notice;
  • quarantine_expired_oath_claim;
  • false_oath_afteruse_default;
  • future_effect_any.

3. Default Mutates Future Play

false_oath_afteruse_default:
  false_clean_oath_claim: true
  source_oath_row_or_absence: required
  hidden_or_expired_oath_basis: required
  capturing_reader_or_sponsor: required
  harmed_or_excluded_reader: required
  oath_afteruse_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 witness-oath afteruse becomes executable in the game-content rollup.