Facility Route Afterimage Docket

Facility Route Afterimage Docket records a later claim that an old facility access result still proves current route access.

The docket is valid only when a future reader is about to consume the route afterimage. It is not a passive map history note.

Docket Shape

facility_route_afterimage_docket:
  source_facility_access_row: required
  prior_route_state: required
  current_node_or_edge_state: required
  afterimage_reader: required
  claimed_reuse: required
  harmed_or_displaced_reader: required
  proof_bridge_or_absence: required
  selected_afterimage_posture: required
  facility_route_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

The card fails if it records only route open, access ok, room was certified, map refreshed, or old seal still valid.

Required Separation

• source_facility_access_row names the old Facility Access Map row, room collision, or equivalent source.
• prior_route_state names what the old access decision actually resolved.
• current_node_or_edge_state names what has changed before reuse.
• afterimage_reader names who wants to consume the old result.
• claimed_reuse names the false or scoped claim being made.
• harmed_or_displaced_reader names who loses if the old route is treated as current or records explicit absence.
• proof_bridge_or_absence names the evidence that can bridge the old route to the current state.
• future_reader_or_route_effect names what later play can do with the result.

Miss Pressure

If the docket is missing when a future reader consumes a facility route afterimage, arm False Facility Route Afterimage Default.