Readme.md

FROG Examples — Compiler Corridor

Illustrative positive slices for the first conservative native compilation corridor
FROG — Free Open Graphical Language

---

Contents

• 1. Overview
• 2. Scope
• 3. Relation with Conformance
• 4. Published Example Order
• 5. Summary

---

1. Overview

This subdirectory provides illustrative positive slices for the first conservative native compilation corridor.

These examples are intended to mirror the first named positive compiler-corridor conformance cases without replacing them.

---

2. Scope

The initial positive compiler-corridor mirror is intentionally conservative and targets the first declared profile corridor:

native_cpu_llvm

The examples are:

01_pure_arithmetic.md
02_structured_control.md
03_explicit_state.md

---

3. Relation with Conformance

These examples mirror the corresponding positive conformance cases:

Examples/compiler/01_pure_arithmetic.md
   <->
Conformance/valid/compiler/01_pure_arithmetic_is_consumable

Examples/compiler/02_structured_control.md
   <->
Conformance/valid/compiler/02_structured_control_is_consumable

Examples/compiler/03_explicit_state.md
   <->
Conformance/valid/compiler/03_explicit_state_is_consumable

The example illustrates. The conformance case asserts the staged truth surface.

---

4. Published Example Order

The canonical order is:

01_pure_arithmetic.md
02_structured_control.md
03_explicit_state.md

This mirrors the same closure order used by the positive compiler corridor:

pure computation
   ->
structured control
   ->
explicit state

---

5. Summary

This subdirectory provides the first bounded example mirror of the positive compiler corridor for native_cpu_llvm.