Expand description
Strict reconstruction of compiler-owned constant-evaluation evidence.
rustc’s interpreter step events expose no stable parent span. The exact companion therefore inserts entry/exit markers and records the compiler thread. This module reconstructs a nested invocation stack per compiler process and thread before any observation is allowed to cover an obligation.