F-27 Double-Fire Rerun Arbitration Lens / F-27 双执行重演仲裁 Lens

Lens question

After one call produces two completed and aired F-27 actuations, can the implementation preserve the immutable incident ledger while preventing a forensic broadcast master from silently becoming a future motor program?

1. Producer-bound entry

entry_state:
  trigger_kind: producer_outcome
  source_event: storyteller.event.false_cue_sheet_initials_afteruse_default.v1
  source_option: complete_second_travel
  cue_execution_idempotency.default.complete_second_travel: true
  cue_execution_idempotency.state.duplicate_execution_scar: true
  future_route.double_fire_version_fork_required: true
  spoken_call_count: 1
  intended_execution_count: 1
  physical_actuation_count: 2
  aired_actuation_count: 2
  six_outcome_cards_gained_by_complete_travel: true
  inherited_source_cards: [cue_initials_headset_timecode, cue_initials_rail_execution_receipt]
  rejects_trip_after_partial_travel: true
  rejects_manual_reset_and_dual_receipt_required: true
  no_fixed_turn_trigger: true
  no_dashboard_or_lens_health_trigger: true

2. Exact runtime gate

The rite requires all three producer flags, rejects both partial-trip flags, and assigns eight exact in-hand cards. Six must be gained only by the complete-travel producer option; two are inherited exact CS-09 source cards. The rite is non-repeatable and consumes only future_route.double_fire_version_fork_required.

3. Incident and rerun invariant

rerun_mapping_invariant:
  immutable_spoken_call_count: 1
  immutable_physical_actuation_count: 2
  forensic_air_master_executable_cue_count: 0
  corrected_rerun_manifest: R7-F27-V2
  corrected_manifest_physical_permission: false
  duplicate_execution_scar_preserved: true
  both_actuation_receipts_preserved: true

4. Seven operational branches

  • issue_single_travel_rerun_manifest rerun_single_actuation_checksum_required;
  • rekey_second_travel_as_new_cue_instance new_cue_id_rehearsal_and_clearance_required;
  • split_live_and_recovery_reader_manifests version_specific_reader_manifest_required;
  • attach_call_actuation_overlay_to_manifest dual_receipt_overlay_required_on_reuse;
  • rehearse_two_step_blocking_under_new_epoch performer_reblock_and_two_pulse_safety_gate_required;
  • retire_f27_and_substitute_static_scene static_scenic_substitution_and_asset_retirement_required;
  • reuse_double_travel_as_clean_f27 f27_unarbitrated_double_travel_default_pending.

Every branch has a unique operational mapping state, relief, cost, and exactly five matching counter deltas. Only the first branch issues R7-F27-V2; issuance still grants no physical permission.

5. Default execution and closure

The unsafe branch arms f27_version_arbitration.default_pending. F-27 Unarbitrated Double-Travel Default must execute both stable outcomes, clear both pending flags, preserve the original duplicate scar and receipts, emit different future requirements, and close after either outcome.

6. Distinctness

Safe continuity forks, asset-provenance hearings, edit corrections, and broadcast-law conversion may consume the emitted requirements later. None substitutes for the operational mapping among a spoken call, two motor edges, two settled positions, blocking, and a future automation manifest.

7. Authority boundary

authority_boundary:
  provesNamedCueCallAndPhysicalActuationCountOnly: true
  preservesBothActuationReceipts: true
  grantsAdditionalCueCall: false
  grantsCallerAuthority: false
  grantsRiggingSafetyClearance: false
  grantsPerformerConsent: false
  grantsEditReusePermission: false
  grantsSponsorClearance: false
  grantsArchiveOwnership: false
  grantsLegalContinuityIdentity: false
  grantsUniversalBroadcastPermission: false

8. Durable producer replay

The replay must resolve the committed CS-09 default through complete_second_travel, prove the six new cards were gained, then resolve this rite with all eight exact cards and choice issue_single_travel_rerun_manifest. It must consume the fork duty, preserve the incident scar, issue R7-F27-V2, emit rerun_single_actuation_checksum_required, and remove the one-shot rite from availability.