Sanitized public index

Mathematical Bindings

This public explorer is generated from sanitized public data only. It binds formulas, statuses, source lanes, evidence identifiers, and negative results without exposing local paths or private source names.

Boundary: the explorer is publication-safe, not exhaustive private provenance. Repository-relative paths, logical source identifiers, and evidence IDs replace local machine paths.