MJPE-COMPLETE-20260925-ELSA-COMPILER-RAINBOW · Rainbow · Review draft

Elsa Compiler - Cross-system expression

Source-backed documentary sequence — execution not rerun

Elsa Compiler / Rainbow

MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida

CROSS-SYSTEM RELATIONSHIP

Current compiler in the Bangel toolchain; carries the historical semantic-recovery role.

PROPOSED EXPRESSION PATH

Purpose -> declared MJ scope -> Bangel expression -> Elsa compilation -> independently admitted JP -> Joanna evidence where implemented -> applicable independent review -> bounded result.

PROJECT ADAPTER

- SourceText: UTF-8 Bangel source
- GrammarProfile: explicit version
- Effects: declared closed set
- CompileResult: JP-IR or source-spanned diagnostic

ADAPTER PROCEDURE

IF
The source unit declares its Bangel grammar, dependencies and effects, and its exact bytes are available.

HOW

Parse source, resolve names and modules, check types, units and effects, then lower accepted syntax to the declared JP representation. Preserve source spans and precise diagnostics on refusal.

THEN

Return typed JP-IR or a compile refusal. Compilation does not admit execution or grant MJ permission.

INTEGRATION STATUS

This path is documentary unless the cited source implements it. Preserve profile, context, clock, units and evidence class at each handoff. A catalog entry or logo does not install a runtime or complete a missing adapter.

DISCOVERY NAMES

Elsa/1; ELSA-SEMANTICS
These names aid search; current compiler naming remains Elsa.

SOURCE STATUS AND LIMITS

Current source inspected; these documentary bindings do not report newly executed software or physical tests.
Recovered status: implementation_source.
Use only the exact named source scope; a documentary sequence is not deployment or an authority grant.

SOURCE REFERENCES

- language/python/src/bangel/compiler.py · line 59
https://github.com/Mjos23/bangel-language/blob/229548f13a4856455b3d30d408cf845fb5b557fc/language/python/src/bangel/compiler.py#L59
- specs/roles/ROLE-CONTRACT-RECONCILIATION.md · line 14
https://github.com/Mjos23/bangel-language/blob/229548f13a4856455b3d30d408cf845fb5b557fc/specs/roles/ROLE-CONTRACT-RECONCILIATION.md#L14
- Recovered nonwhite collection, page 1375
https://drive.google.com/file/d/1RpxuVZjdCHSITNXIZZuWacJ1BNBAPCLv/view#page=1375

RECOVERED HISTORICAL CONTEXT

- Historical scope: Compiles Bangel source and checks its meaning before producing the typed representation consumed by JP and Joanna.