Oráculo verificable
Composición de capacidades demostrablemente óptima sobre un grafo de servicios ponderado — devuelve la ruta de tiempo mínimo más los potenciales eikonales T(v) que cualquier cliente puede verificar en O(E) sin volver a ejecutar la búsqueda.
Eikonal / Bellman optimality · Fermat's principle · complementary slackness
| ID | Precio | Salida |
|---|---|---|
| fermat.route@v1 | $0.01 | path + potentials + certificate |
| fermat.verify@v1 | $0.001 | O(E) trustless certificate check |