Module bind 

Bind abstract vortex.stat expressions to a concrete stats representation.

Stats rewrite rules describe pruning in terms of vortex.stat(input, aggregate_fn) placeholders so the rewrite is independent of where statistics are stored. These stat placeholders are abstract because they name the statistic needed for a proof, but not how that statistic is represented by a specific layout or reader.

Binding is the later pass that replaces each abstract placeholder with the representation used by a caller: zone-map field references, file-level stat literals, or typed nulls for missing stats. This lets all callers share the same falsification rules while keeping layout-specific stat storage behind StatBinder.

Traits

StatBinder

A target that can bind abstract statistics to concrete expressions.

Functions

bind_stats

Bind all vortex.stat expressions in predicate.