doc: expand runtime.adoc with gas tokens, builtins, and cairo-native

[eytan-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[eytan-starkware]

• doc: expand runtime.adoc with gas tokens, builtins, and cairo-native #9768 👈 (View in Graphite)
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[cursor]

PR Summary

Low Risk
Low risk documentation-only change; no runtime or compiler behavior is modified.

Overview
Updates runtime.adoc to document an additional native execution option via cairo-native (Sierra → LLVM → machine code).

Clarifies Starknet gas accounting by explicitly listing tracked token types and describing static gas cost computation and withdraw_gas() usage, and expands the builtins section with per-builtin descriptions plus notes about dedicated memory segments and implicit-argument access.

^{Reviewed by Cursor Bugbot for commit 39df217. Bugbot is set up for automated code reviews on this repo. Configure here.}

[orizi]

@orizi reviewed all commit messages and made 1 comment.
Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on eytan-starkware and TomerStarkware).

---

docs/reference/src/components/cairo/modules/language_semantics/pages/runtime.adoc line 73 at r2 (raw file):

- **Blake** — Blake2s hash computation
- **RangeCheck96** — 96-bit range checking (used by circuit operations)
- **AddMod**, **MulMod** — modular arithmetic for circuit builtins

Suggestion:

- **RangeCheck** — validates that values fall within a given range (used by integer operations)
- **Pedersen** — Pedersen hash computation
- **Poseidon** — Poseidon hash computation
- **Bitwise** — bitwise AND, OR, XOR operations
- **EcOp** — elliptic curve point operations
- **Blake** — Blake2s hash computation
- **RangeCheck96** — 96-bit range checking (used by circuit operations)
- **AddMod**, **MulMod** — modular arithmetic for circuit builtins

[eytan-starkware]

@eytan-starkware made 1 comment.
Reviewable status: 0 of 1 files reviewed, 1 unresolved discussion (waiting on orizi and TomerStarkware).

---

docs/reference/src/components/cairo/modules/language_semantics/pages/runtime.adoc line 73 at r2 (raw file):

- **Blake** — Blake2s hash computation
- **RangeCheck96** — 96-bit range checking (used by circuit operations)
- **AddMod**, **MulMod** — modular arithmetic for circuit builtins

Done.

[orizi]

@orizi reviewed all commit messages and made 1 comment.
Reviewable status: 0 of 1 files reviewed, 2 unresolved discussions (waiting on eytan-starkware and TomerStarkware).

---

docs/reference/src/components/cairo/modules/language_semantics/pages/runtime.adoc line 70 at r3 (raw file):

- **Bitwise** — bitwise AND, OR, XOR operations
- **EcOp** — elliptic curve point operations
- **Blake** — Blake2s compression function

blake is an opcode extension - not a builtin.