Struct ApplicationPermit 

pub struct ApplicationPermit<'turn, 'd> { /* private fields */ }

One non-duplicable application transition admitted by a driver turn.

The permit is created only by spending one unit from the turn ledger. Its invariant driver brand lets a driver-owned consumer require the same branded lifetime instead of relying on a runtime owner comparison.

A permit cannot be duplicated:

use dope_core::driver::schedule::ApplicationPermit;

fn duplicate<'turn, 'd>(permit: ApplicationPermit<'turn, 'd>) {
    let moved = permit;
    drop(permit);
    drop(moved);
}