Module shared_stats 

Cross-process exploration statistics.

All statistics live in MAP_SHARED memory so they are visible across fork() boundaries. Atomic operations use Relaxed ordering because the fork tree is sequential (parent waits on each child).

Structs

ExplorationStats

Snapshot of exploration statistics for test assertions.

SharedRecipe

Shared recipe storage for the bug-finding timeline.

SharedStats

Global exploration statistics in shared memory.

Constants

MAX_RECIPE_ENTRIES

Maximum number of recipe entries.

Functions

decrement_energy^⚠

Try to consume one unit of energy. Returns true if successful.

get_bug_recipe

Get the bug recipe if one was captured.

get_exploration_stats

Get a snapshot of the current exploration statistics.

init_shared_recipe

Allocate and initialize shared recipe storage.

init_shared_stats

Allocate and initialize shared stats.

reset_shared_recipe^⚠

Reset shared recipe for a new seed in multi-seed exploration.

reset_shared_stats^⚠

Reset shared stats for a new seed in multi-seed exploration.