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) — prefer lanes_simulate_stack_with_arch, which enables the arch-dependent lane-group checks (consistency, bus membership, AOD geometry).

lanes_simulate_stack_with_arch^⚠

Stack type simulation with arch-dependent lane/location group checks (consistency, bus membership, AOD complete-grid geometry).

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.