QUALIFICATION RECORD · IP-4273
UCS Solver
Deterministic binary-linear optimization runtime with an independently checkable solution certificate and native-core plugin boundary.
Public evidence basis
- Stage / release
- 1.0
- Evidence
- The controlled product-release layer includes executable reference surfaces and qualification records. Request the exact selected release bundle.
- Process
- Release-specific / not generalized
- PDK
- Release-specific / not generalized
- External qualification
- Not asserted by this website release