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: trueThe 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: required2. 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: true4. 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.