A Resolver that injects a Hybrid Logical Clock (HLC) into the AST.

The generated tick is a tuple: {lamport_clock, lexical_index}.

• lamport_clock (Partial Order): Represents causal dependency depth. If B depends on A, then Clock(B) > Clock(A).
• lexical_index (Total Order): Represents sequential order in the source file. Used to break ties deterministically.