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: true2. 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: true4. 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: false8. 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.