Bounded semantic exploration

Unfold every
ordering of the race.

The semantic trace is incomplete.

Record inspect, edit, and approve on the ledger first.

Time is still folded.

Select Explore Futures to interleave the recorded human and agent operations and reveal every ordering.