Memory Model

This section explains how FOL talks about storage, ownership, allocation, and pointer-like behavior.

The main topics are:

• ownership
• pointers
• stack vs heap intuition
• allocation lifetime
• cross-thread memory concerns

The detailed chapters should be treated as the normative source. This index only frames the area.