athena_approx_error_transport
Transport approximation error through a Lipschitz envelope using witness pairs, yielding certified error bounds for queries under a declared Lipschitz constant.
Instructions
Transport witnessed approximation error through a caller-declared Lipschitz envelope consistent with supplied witness pairs. Geometric nearest, global-envelope, and radius-eligible transport witnesses remain distinct; certificate is conditional on the declared bound.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| queries | Yes | ||
| witnesses | Yes | ||
| feature_order | Yes | ||
| margin_safety | No | ||
| lipschitz_bound | Yes | ||
| max_transport_radius | No |