Elsa Compiler - Syntax and typed expression
Elsa Compiler / Purple
MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida
TYPED BANGEL BINDING
- SourceText: UTF-8 Bangel source
- GrammarProfile: explicit version
- Effects: declared closed set
- CompileResult: JP-IR or source-spanned diagnostic
PRECONDITION
The source unit declares its Bangel grammar, dependencies and effects, and its exact bytes are available.
SEMANTIC OBLIGATION
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.
POSTCONDITION
Return typed JP-IR or a compile refusal. Compilation does not admit execution or grant MJ permission.
COMPILATION RULE
Elsa is the compiler. Use a declared Bangel grammar profile, independently admit the applicable JP representation and execute through Joanna only where that path is implemented. These fields are documentary contract notation, not parser-verified source. A shared .bangel extension does not prove grammar equivalence.
PROFILE RELATIONSHIP
Current compiler in the Bangel toolchain; carries the historical semantic-recovery role.
IMPLEMENTATION CHECK
An unresolved name, incompatible unit or prohibited recursion must yield its contract diagnostic rather than usable admitted IR.
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.