Ruling Enforcement Load Lens
This lens observes whether a valid ruling remains playable work instead of becoming a clean universal key. It binds Ruling Enforcement Load into card, rite, default, replay, and evaluator evidence.
Entry Oracle
The packet opens only when a future reader tries to consume an existing ruling or equivalent proof row:
entry_state:
trigger_kind: state_pressure
valid_ruling_or_equivalent_row_present: true
enforcement_load_row_present_or_expected: true
future_reader_attempts_to_use_ruling: true
source_ruling_preserved: true
carrier_or_explicit_absence_visible: true
protected_boundary_or_explicit_absence_visible: true
proof_bridge_or_explicit_absence_visible: true
player_can_roster_publish_seal_compress_protect_quarantine_or_default: true
no_fixed_turn_trigger: true
no_fixed_day_or_week_trigger: true
no_raw_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if the ruling opens from a fixed week, generic legal trouble, dashboard state, raw count, or lens health rather than a concrete future reader.
Bound Packet
The lens expects these pages and artifacts:
- Ruling Enforcement Load;
- Ruling Enforcement Load;
- Ruling Enforcement Load Docket;
- Ruling Enforcement Load Review;
- Enforcement Load Default;
- executable sibling
ruling-enforcement-load.lens.ts; - evaluator registration
storyteller.lens.ruling_enforcement_load_review.v1; - durable lens-scoped replay evidence for constructive service and underfill/default.
Checks
1. Docket preserves the old ruling and names the load
The docket must record source ruling, ruling state, enforcement load row, load kind, obligated party, required surface, authority or explicit absence, carrier or explicit absence, proof bridge or explicit absence, protected boundary or explicit absence, future reader, and default risk.
2. Review branches diverge
The review must expose these branch families:
lawful_roster;public_receipt_roster;proof_chain_service;sponsor_management_compression;boundary_protection_narrow_use;quarantine;underfill_default;future_effect_any.
Each non-default branch must preserve the source ruling, mutate relief, cost, and future reader effect, and move at least three counters.
3. Default mutates future play
The default event must record missing/false service, default narrator, future reader effect, false-service claimant row or explicit absence, at least three counter deltas, and a durable mutation.
4. Replay evidence is lens-scoped
Generated replay evidence must come from durable sessions named lens-storyteller-lens-ruling-enforcement-load-review-v1-*, select the review rite, and prove both a constructive service posture and the underfill/default branch.