InverseVetting

Check 1 of leaf-probe §LPD-13: prove a definition's inverse on seeded samples before it is trusted.

In the namespace construct::eval. Declared in src/libs/libconstruct/construct/eval/InverseVetting.hpp.

Detailed description

For each parameter set (the defaults, then seeded values in each parameter's declared range) and each point that the op can return (`p = op(z)` for seeded `z`), the inverse must give `x` with `|op(x) − p|` within LeafProbe::tolerance(p), a finite `x`, and the same `x` on a second run. Points come from the op's own image, because no inverse can pass a point that the op never returns.

A pure function of the definition and the seed: no state, no signal. InverseVettingService runs it off the GUI thread and records the verdict.