Module gas 

Gas-metering instrumentation.

Injects a gas_tick call at:

• Every for loop iteration header
• Every action / function call site
• Every update() call boundary

When the counter exceeds the limit, the runtime traps.

Functions

emit_gas_tick

Emit instructions that increment the gas counter and trap if exhausted.