Module layered 

Certified shortest paths through staged state layers.

Structs

LayeredCell

One Bellman-table cell in a layered shortest-path certificate.

LayeredCertificate

Bellman values and backpointers proving a layered optimum.

LayeredPath

A minimum-cost path selecting one state from every layer.

Functions

layered_shortest_path

Finds the minimum-cost path selecting one state from every non-empty layer.

layered_shortest_path_with_control

Finds a layered shortest path with forbidden transitions and explicit resource control.

verify_layered_path

Verifies the Bellman recurrence, stable backpointers, selected states, and accounting evidence of a layered shortest path.