Elsa Compiler - Terminology and reconciliation
Elsa Compiler / Grey
MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida
CANONICAL PROJECT NAME
Elsa Compiler
DEFINITION
Compiles Bangel source through parsing, name resolution, unit and semantic checks, lowering and verification into typed JP-IR.
RELATIONSHIP
Current compiler in the Bangel toolchain; carries the historical semantic-recovery role.
CURRENT FAMILY TERMINOLOGY
MJ Physics Engineering: company identity.
Bangel Language: language identity.
Elsa: the compiler.
JP: the explicitly versioned representation; protocol and profile remain distinct.
Joanna: runtime, processing and execution evidence.
MJos Operating System: operating-system identity; the name does not establish a bootable implementation.
MJos Predictive Model: separately identified predictive model; forecasts remain distinct from observations and authority.
MJ: governing context and bounded permission where an applicable profile supplies it.
PROJECT TYPES
- SourceText: UTF-8 Bangel source
- GrammarProfile: explicit version
- Effects: declared closed set
- CompileResult: JP-IR or source-spanned diagnostic
EQUIVALENCE RULE
Related names aid discovery. They do not merge capability, mathematical meaning, evidence state or permission boundaries.
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.