Oxygen Mask Filter Label Afteruse Receipt Lens
Observable promise
The oxygen-mask choir can leave behind one filter label that later readers want to spend as clean proof that every masked voice consented, breathed safely, and entered route custody. This lens keeps that afteruse narrow: the label can certify a named filter-batch interval, but it cannot become universal breath consent, sedation permission, memorial voice custody, or whole-choir medical clearance.
Entry oracle
trigger_kind: state_pressure
source_filter_label_row_visible: true
mask_batch_visible_or_explicit_absence: true
choir_member_visible_or_explicit_absence: true
cited_breath_scope_visible: true
requested_afteruse_visible: true
harmed_claimant_visible_or_explicit_absence: true
proof_bridge_or_explicit_absence_visible: true
future_reader_consumes_filter_state: true
no_fixed_turn_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if the filter label appears because of a fixed turn, dashboard/lens health, or raw count gate rather than a state-pressure attempt to reuse the Oxygen Mask Choir proof.
Docket oracle
oxygen_mask_filter_label_docket must keep the source filter label row, mask batch, visible or absent choir member, cited breath scope, requested later use, future reader/route, harmed claimant or explicit absence, proof bridge, selected posture, afteruse state, future reader effect, and counter deltas separate. It must explicitly set universal_clean_breath: false.
Branch oracle
The review must expose these branch families, each with relief, cost, future_route_effects, and durable deltas: certify_filter_interval, restrict_filter_reader, attach_choir_member_bridge, reopen_harmed_breath_claimant, split_filter_from_sedation_authority, quarantine_filter_afteruse, false_filter_default, and future_effect_any.
Default oracle
The false-clean default records a hidden or overbroad breath scope, a capturing reader/route, harmed claimant absence, filter_afteruse_state_after: falsely_clean, future_reader_effect: recovery_only, at least three counter deltas, and a durable mutation.
Durable replay oracle
lens/replays/oxygen-mask-filter-label-afteruse-receipt.certify-interval.replay.json must be exported by the game CLI from a lens-scoped durable session and must resolve storyteller.rite.oxygen_mask_filter_label_afteruse_review.v1 with choice 0. The replay may use real docket/source cards from content rollup, but must not satisfy the lens by borrowing unrelated oxygen liability lanes.