Forced Main Slot Collision / 强制主档撞槽机制

This mechanism turns the forced main with no free license slot rule into a branchable state machine.

It is not a timer. It opens when a specific compulsory main contract is visible and the producer-license board cannot accept it without displacing, folding, borrowing, deferring, refusing, or defaulting something.

State-triggered entry

entry_state_required:
  trigger_kind: state_pressure
  forced_main_contract_visible: true
  license_slots_total_visible: true
  license_slots_free: 0
  occupied_or_scarred_slots_visible: true
  incoming_main_reader_visible: true
  no_free_slot_forced_main: true
  player_can_assign_resolution_or_explicit_refusal: true
  no_fixed_turn_trigger: true

Core objects

Object	Meaning	Required field
forced_main_slot_docket	visible collision record	forced main, board state, candidate slots, future reader
candidate_slot	occupied, reserved, folded, scarred, or blocked slot	state, current reader, release cost, harmed reader
resolution_branch	chosen way to make or refuse capacity	branch, authority, cost, future effect
deplatforming_default	corporate/city narration when capacity is hidden or overfilled	narrator, false claim, license state after

Branch contract

Every non-default branch must mutate three surfaces:

• one immediate relief surface;
• one displaced, harmed, or cost surface;
• one future reader or route effect.

Allowed branch families:

• preempt_existing_slot
• fold_blackout_slot
• borrow_scoped_capacity
• defer_with_public_receipt
• refuse_with_scar
• producer_deplatforming_default

No branch may create silent free capacity.

States

license_collision_states:
  - full_board
  - forced_main_pending
  - preempted_with_receipt
  - folded_forward
  - borrowed_scoped_capacity
  - deferred_main
  - refused_for_now
  - producer_deplatformed
  - recovery_only_license

Integration

• Broadcast Schedule remains the capacity surface.
• Blackout Incidents supplies folded and scarred slots.
• broadcast-capacity-liability-cascade reads borrowed, folded, and displaced capacity.
• schedule-preemption-claims reads preempted or delayed off-slot claims.
• blackout-residue-claiming reads blackout slots folded forward as inventory.

Non-goals

• Not a new calendar phase.
• Not a general schedule optimizer.
• Not a hidden fail state.
• Not a license-slot reward.
• Not valid if the incoming main, displaced reader, and future route effect are absent.