mod archive_search

module archive_search

Residual archive search: local events, floors, cheap novelty loop. Residual archive search: explore, then spend what the fingerprints owe.

This is not Config::recommended. That preset keeps its measured rates. Large-budget ras records local-topology keys and energy classes on the explore hop. Leftover evaluations go to residual-field holes (new draws that can open a class) and to unsaturated keys on non-incumbent floors, not to another polish of the incumbent key. Small-budget molecular and slab walks stay on their own branch.

Functions

fn archive_search<'g, R: Rng + ?Sized>(cfg: &Config, start: ArrayView1<f64>, ledger: &mut Ledger, relax: Relax<'_>, mut grad: Option<&mut GradFn<'g>>, archive: &mut Archive, rng: &mut R) -> ArchiveOutcome

One worker on a shared Archive, until the ledger is empty.

Large-budget: skip-return explore, then residual hops on unsaturated local keys. The caller’s recommended defaults are not written.

Structs and Unions

struct Archive

Shared catalogue, floors, residual field, and pending locks.

catalog: Catalog

Local-topology events.

floors: FloorBook

Energy classes.

residual: ResidualField

GMRF residual on the class graph.

drop: DropModel

Remaining-drop model.

reps: Vec<Array1<f64>>

One representative structure per floor.

key_reps: HashMap<u64, Array1<f64>>

First structure that exhibited each local key.

key_floor: HashMap<u64, usize>

Energy class on which each local key was first seen.

pending_floors: HashSet<usize>

Floor currently being fully quenched.

pending_residual: bool

Whether a residual full quench is in flight.

Implementations

impl Archive

Functions

fn new() -> Self

Empty shared state.

Traits implemented

impl Default for Archive

struct ArchiveOutcome

What one archive run produced.

best: f64

Lowest quenched energy.

best_state: Option<Array1<f64>>

Structure attaining it.

screens: usize

Screen passes paid.

full: usize

Full quenches paid.

returned: usize

Screens discarded as returning to the incumbent attractor.

same_floor: usize

Screens discarded as a saturated floor.

floors: usize

Distinct energy classes at the end.

events: usize

Distinct local-topology events at the end.

artn: usize

ARTn / stall-symmetry escapes attempted.

charged: usize

Charged evaluations spent (copied from the ledger).

best_at: usize

Ledger spend when best last improved.