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: true

The 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:

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.