Public verification summary
Calculation version 1.1.0 · Evidence revision 2026-09-08.signed-set
O2 expected values and inverse solution sets (candidates, solution_type, status, code) on the published vectors. Same-runtime binary64 is declared; O3 is not required for this algebraic model.
This summary records the outcome of the verification run. The full test corpus, oracle implementations, reference tables and generators are retained privately. Their digests identify those artifacts; a digest alone does not let a reader independently reproduce the full verification run.
Not applicablec35073178dd64b76e1d9f90fe7691cab10fa7a7f739ca359eaa976d0af8ac3d4Use the capability's public input schema and examples to call the versioned REST API or MCP. These interfaces remain available without downloading the validation infrastructure. A successful example checks that example; it does not establish that the complete private suite has been independently reproduced.
REST and MCP documentation