Module verbs 

The one-shot verbs, and which of them holds the publish fence for its whole run.

Lifted out of bin/flint_sync.rs so the RULE — which verb claims — is a property the battery can execute rather than a line of dispatch nobody can reach from a test. a_checkout_does_not_wait_out_a_\ standing_lease in tests.rs calls lease_free_then, the same function the dispatch calls, rather than a re-implementation of it.

Enums

Step

Functions

claim_then

Take the fence, do one step, release it.

env_list

A comma list, trimmed, empties dropped. Returns None when the variable is unset or holds only separators — Some(vec![]) would be an empty scope, and checkout_scoped refuses that rather than let it mean “everything”.

lease_free_then

A verb that claims nothing up front. Two things here are not the lease and stay:

run_step

The verb bodies. Shared by both doors above so that the ONLY difference between a fenced verb and a lease-free one is the door, never a second copy of the work.

run_verb

The one door every one-shot verb goes through. The ROUTING lives here rather than in the binary’s argv match so that the battery exercises the same decision the shipped binary makes.