Module validate 

Graph validation interface.

Structs

GraphDescBuf

Owned, no-alloc descriptor (arrays are stored by value).

Traits

GraphValidator

An interface for descriptor validation (borrowed/owned/buffer).

Functions

validate_acyclic_alloc

Validate acyclicity using Kahn’s algorithm (requires alloc).

validate_acyclic_buf

Validate acyclicity without allocation using fixed-size arrays on the stack.

validate_ports

Validates graph ports, including any number of synthetic ingress “monitor edges”.