Module traversal 

Bounded directory paging and recursive traversal resource accounting.

Structs

DavCancellationToken

Cloneable cancellation source shared by a transport response and product backend work.

DavDirectoryPageLimits

Maximum directory entries accepted from one product page.

DavDirectoryPageState

Opaque cursor state retained between bounded directory page requests.

DavNeverCancelled

Cancellation checkpoint used when the caller has no cancellation source.

DavTraversalBudget

Allocation-free recursive traversal budget state.

DavTraversalError

Recursive traversal failure with partial-execution accounting.

DavTraversalLimits

Hard limits for recursive resource traversal.

DavTraversalProgress

Current recursive traversal accounting.

DavValidatedDirectoryPage

Validated entries returned by one bounded page request.

Enums

DavDirectoryPageValidationError

Invalid product page classification.

DavDirectoryReadError

Failure while requesting the next bounded directory page.

DavTraversalErrorKind

Typed recursive traversal stop reason.

Traits

DavCancellation

Cancellation checkpoint controlled by the product or transport adapter.

Functions

read_next_directory_page

Requests and validates the next directory page.

validate_directory_page

Validates product page bounds, ordering and cursor progress before protocol consumption.