keleusma 0.1.1

Total Functional Stream Processor with definitive WCET and WCMU verification, targeting no_std + alloc embedded scripting
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

# Roadmap

> **Navigation**: [Documentation Root](../README.md)

Development phases for Keleusma.

## Phase Overview

| Phase | Name | Description | Status |
|-------|------|-------------|--------|
| V0.0 | Bootstrap | Crate extraction, documentation, standalone release | In Progress |
| V0.1 | Language Completion | Type checker, for-in expressions, semantic analysis | Planned |
| V0.2 | Tooling | Error formatting, REPL, language server protocol | Planned |
| V0.3 | Structural ISA | Structural ISA, arena memory, structural verification | Complete |
| V0.4 | Certification | WCET analysis, hot code swapping, safety-critical tooling. See [RELATED_WORK.md](../reference/RELATED_WORK.md) Section 7 for certification gap analysis | Planned |

## Contents

| Document | Description |
|----------|-------------|
| [PHASE_0_BOOTSTRAP.md](./PHASE_0_BOOTSTRAP.md) | Current phase: extraction and documentation |