keleusma 0.2.2

Total Functional Stream Processor with definitive WCET and WCMU verification, targeting no_std + alloc embedded scripting
Documentation
# Script Examples

Standalone Keleusma scripts. Each file demonstrates one feature axis. Run any of them with:

````
keleusma run examples/scripts/<file>.kel
````

| File | Topic | Feature |
|------|-------|---------|
| [`01_arithmetic.kel`]./01_arithmetic.kel | Primitives and operators | `Word`, `Float`, `bool`, arithmetic, comparison, casts |
| [`02_struct_field.kel`]./02_struct_field.kel | Composite types | Struct declaration, construction, field access |
| [`03_enum_match.kel`]./03_enum_match.kel | Pattern matching | Enum declaration, variant construction, `match` |
| [`04_for_in.kel`]./04_for_in.kel | Bounded iteration | `for` over arrays and ranges |
| [`05_pipeline.kel`]./05_pipeline.kel | Pipeline operator | `\|>` left-to-right composition |
| [`06_multiheaded.kel`]./06_multiheaded.kel | Function dispatch | Pattern-matched parameter heads |
| [`07_refinement.kel`]./07_refinement.kel | Refinement types | `newtype Name = Underlying where predicate;` with compile-time literal elision and runtime construction check |
| [`08_method_dispatch.kel`]./08_method_dispatch.kel | Traits and impls | Receiver-style method calls |
| [`09_big_numbers.kel`]./09_big_numbers.kel | Big-number arithmetic | Pattern-matched checked arms binding `(high, low)` halves of an `i128` intermediate |
| [`10_multbyte.kel`]./10_multbyte.kel | Byte-typed arithmetic | Multiplication on `Byte` operands |
| [`11_signed.kel`]./11_signed.kel | Signed compiled module | `signed` modifier on the entry function, Ed25519 signature flow through the CLI |

All scripts in this directory's top level are atomic-total (`fn main`), so they run end to end through the CLI. For yield-driven and stream-driven examples, see the Rust embedding examples under [`examples/`](../).

## Example-specific scripts

The Rust embedding examples ship their own Keleusma script rosters in subdirectories of this folder. These scripts are not meant to be run standalone through `keleusma run`; they are loaded by their respective host through `include_str!` or hot reloaded from disk.

| Directory | Companion host | Description |
|-----------|---------------|-------------|
| [`piano_roll/`]./piano_roll/ | [`examples/piano_roll.rs`]../piano_roll.rs | Ten songs (`piano_roll_0.kel` through `piano_roll_9.kel`) for the SDL3 audio piano-roll example. See [`book/src/PIANO_ROLL.md`]../../book/src/PIANO_ROLL.md. |
| [`rogue/`]./rogue/ | [`examples/rogue/main.rs`]../rogue/main.rs | Nineteen scripts driving the SDL3 roguelike. Game-tick loop, dungeon generator, player artificial intelligence, combat math, book-keeping, autopickup decision, movement resolution, ten monster artificial-intelligence archetypes including three `loop main` archetypes (Boss, Tracker, Hunter), two item-effect scripts. See [`book/src/ROGUE.md`]../../book/src/ROGUE.md. |