03_explicit_state.md

Example 03 — Explicit State

Illustrative explicit-state slice for the conservative native compilation corridor
FROG — Free Open Graphical Language

---

Overview

This example illustrates a bounded explicit-state slice in which local memory remains explicit across the compiler corridor.

---

Illustrative Shape

input ----\
          +--- delay/state --- result
initial --/

---

Why this Example Matters

A serious compilation corridor must eventually handle explicit local memory without rewriting it as hidden persistence. This example therefore closes the first minimal state-bearing slice of the conservative corridor.

---

Architectural Reading

• Expression: explicit state-bearing construct
• Language: explicit local-memory legality and initialization meaning
• IR: explicit state participation and initialization carriers
• Lowering: explicit state-cell or equivalent faithful memory lowering
• Backend contract: explicit state and initialization commitments for the consumer

---

Related Conformance Case

Conformance/valid/compiler/03_explicit_state_is_consumable

---

Summary

This example is the illustrative mirror of the first explicit-state positive compiler-corridor anchor.