F-27 Rerun Execution Map / F-27 重演执行映射机制

immutable_incident_ledger:
  cue_instance: F-27 / recovery cycle R6
  spoken_call_count: 1
  intended_execution_count: 1
  physical_actuation_count: 2
  aired_actuation_count: 2
  first_receipt: F27-A1
  second_receipt: F27-A2-FULL
  duplicate_execution_scar_preserved: true

The forensic aired master may preserve two movements, but its executable cue count is always 0. A corrected rerun derivative begins with no physical permission. It becomes loadable only after the chosen branch emits its downstream checksum, rehearsal, clearance, reader, blocking, or retirement requirement.

Exact gate

The rite requires three producer flags plus eight exact in-hand cards. Six cards are gained only by the producer’s complete_second_travel option. The inherited headset timecode and first actuation receipt remain source cards from CS-09.

Wrong cards, aliases, duplicate assignments, virtual placeholders, catalog-only cards, absent producer flags, the partial-trip flag, omitted choice, invalid choice, and selected-option map mismatch all fail. The rite is one-shot and consumes only future_route.double_fire_version_fork_required.

Mapping rules

• A new cue ID is not a new clearance.
• A forensic air master is never a motor program.
• A visible telemetry overlay proves incident history but does not authorize reuse.
• Reauthoring two-step blocking requires a new execution epoch, performer reblock, rehearsal, and two-pulse safety gate.
• Retiring F-27 preserves the incident record while removing the asset from future automation.
• The duplicate-execution scar and both physical receipts are never consumed.

Unsafe default

reuse_double_travel_as_clean_f27 arms F-27 Unarbitrated Double-Travel Default. The imported program may fire twice again, or crew may manually jog to the aired second position without a cue. Both outcomes clear pending flags, preserve the incident ledger, and create a new operational scar.