Core Character Pool Slot Claim Lens

This lens observes whether the first-chapter core character pool is consumed through scoped slot receipts instead of raw starter-roster labels.

Entry Oracle

The packet must open from a future reader trying to consume a core-pool role:

entry_state:
  trigger_kind: state_pressure
  source_core_pool_row_present: true
  candidate_or_explicit_absence_visible: true
  claimed_slot_role_visible: true
  requested_route_or_schedule_use_visible: true
  pool_function_scope_visible_or_explicit_absence: true
  excluded_function_or_reader_visible: true
  claim_holder_or_explicit_absence_visible: true
  future_reader_consumes_pool_slot_state: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_character_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is a timer, chapter counter, raw character count, dashboard cleanup, or lens-health check.

Bound Packet

The lens expects these pages:

• Core Character Pool Slot Claim;
• Core Character Pool Slot Claim;
• Core Character Pool v1;
• Core Character Pool Slot Docket;
• Core Character Pool Slot Claim Review;
• False Pool Slot Default;
• executable sibling core-character-pool-slot-claim.lens.ts;
• evaluator registration storyteller.lens.core_character_pool_slot_claim.v1.

Checks

1. Source pool role and future use are separate

The docket must name:

core_character_pool_slot_docket:
  source_core_pool_row: required
  candidate_or_absence: required
  claimed_pool_function: required
  pool_function_scope_or_absence: required
  requested_route_or_schedule_use: required
  excluded_function_or_reader: required
  claim_holder_or_absence: required
  claim_state_after: required
  future_reader_or_route_effect: required

2. Branches diverge

The review must expose all branch families:

• certify_source_role;
• narrow_slot_use;
• split_pool_claim;
• substitute_candidate;
• reserve_with_debt;
• publish_explicit_absence;
• false_pool_slot_default;
• future_effect_any.

3. Default mutates future play

The default event must record:

false_pool_slot_default:
  false_clean_pool_claim: true
  hidden_or_mismatched_pool_row: required
  capturing_reader: required
  harmed_or_omitted_reader: required
  claim_state_after: required
  future_reader_or_route_effect: required
  counter_deltas_min: 3
  durable_mutation: true

Adjacency

• Core Character Pool v1 owns the static first-chapter starter roster.
• Chapter One Outline owns first-week structural pressure.
• Route Matrix owns route tag families.
• Encounter Availability Routing owns whether a person is reachable later.
• Branch Eligibility Receipts owns unavailable choices after a branch is tested.

This lens owns only the missing read between static pool role and first route/schedule consumption.