mod ride_execution

module ride_execution

Budgeted execution of coordinator-issued transition-search work. Budgeted execution of coordinator-issued transition-search experiments.

One worker turns a same-system ride claim into either producer-side stationary structures or classified negative evidence. All potential calls, including the final stationary evaluations needed to construct records, pass through one hard counter. The receiving coordinator independently re-evaluates the structures and certifies the saddle index.

Functions

fn connected_destination<W>(work: &CatalogRideWork, report: &CatalogRideReport, witness: &W) -> Option<CatalogCandidate>
where
    W: ExactStructureWitness + ?Sized

Return the certified endpoint that is not the coordinator-issued source.

A usable one-sided ride contains exactly one endpoint equivalent to its claimed source. Reports with the wrong work identity, no source endpoint, or two source-equivalent endpoints do not define a connected proposal.

fn execute_catalog_ride<S, W>(surface: &S, descriptor_space: &DescriptorSpace, work: &CatalogRideWork, species: &[u32], masses: ArrayView1<'_, f64>, frozen_atoms: &[bool], config: &CatalogRideExecutionConfig, witness: &W) -> CatalogRideReport
where
    S: PesSurface + ?Sized,
    W: ExactStructureWitness + ?Sized

Execute one exclusive claim and construct evidence for coordinator review.

The work source, local-environment target, ranked Gaussian mode, solver, and sign all come from the coordinator claim. The returned cost includes every producer evaluation and never exceeds config.maximum_evaluations.

Structs and Unions

struct CatalogRideExecutionConfig

Producer controls for one claimed transition-search experiment.

exploration: PesExplorationConfig

rgmin, rgsaddle, IRC, and receiving-index numerical controls.

localization_radius: f64

Gaussian localization radius in descriptor length units.

maximum_evaluations: u64

Hard number of producer PES evaluations permitted for the experiment.

producer_event_sequence: u64

First producer event identity assigned to returned stationary records.

producer_charged_work: u64

Producer cumulative PES counter before this experiment starts.