Oracle vérifiable
Composition de capacités prouvablement optimale sur un graphe de services pondéré — renvoie le chemin de temps minimal plus les potentiels eikonals T(v) que tout client peut vérifier en O(E) sans relancer la recherche.
Eikonal / Bellman optimality · Fermat's principle · complementary slackness
| ID | Prix | Sortie |
|---|---|---|
| fermat.route@v1 | $0.01 | path + potentials + certificate |
| fermat.verify@v1 | $0.001 | O(E) trustless certificate check |