Module validate 

Functions

lanes_simulate_stack^⚠

Stack type simulation (underflow, type mismatches, and lane/location group checks). Runs without an arch spec (duplicate-only group checks).

lanes_validate_addresses^⚠

Architecture-dependent validation (addresses + capability constraints).

lanes_validate_structure^⚠

Structural validation (arity bounds, initial_fill ordering, etc.)

lanes_validation_error_message^⚠

Error message at index. Returns NULL if index is out of range. Pointer is valid until the handle is freed.

lanes_validation_errors_count^⚠

Number of errors in the handle.

lanes_validation_errors_free^⚠

Free a validation errors handle.