teal papers / BarTide collection

Elsa Compiler - IF / HOW / THEN logic

MJPE-COMPLETE-20260925-ELSA-COMPILER-TEAL

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

Updated collection edition: BarTide branding and navigation added September 26, 2026. The original paper text below retains its historical scope. Inclusion does not claim its research is implemented in BarTide.

Source-backed documentary sequence — execution not rerun

Elsa Compiler / Teal

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

IF / HOW / THEN CONTRACT
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.

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

FAILURE AND MISSINGNESS
Preserve UNKNOWN separately from zero and source identity separately from truth. Missing required evidence remains a typed error or HOLD under the named profile. Failed permission remains DENY.

PROJECT CHALLENGE
An unresolved name, incompatible unit or prohibited recursion must yield its contract diagnostic rather than usable admitted IR.

RECONCILIATION
Append later results or discrepancies to the original evidence; do not rewrite a prediction into an earlier observation.

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.

Original references: See paper text and source PDF.