the intermediate representation of trident — a typed graph IR between source language and triton assembly (TASM)
TIR captures program structure (nodes, operation types, nesting depth, branch count, loop bounds, memory access patterns) in a form suitable for both classical optimization and neural techniques for trident. the compilation pipeline: trident source → TIR → TASM → Triton VM → STARK proof