teal papers / BarTide collection

Bangel Native SDK - IF / HOW / THEN logic

MJPE-COMPLETE-20260925-BANGEL-NATIVE-SDK-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

Bangel Native SDK / Teal

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

IF / HOW / THEN CONTRACT
IF
A C# host supplies Bangel source and explicitly selects a managed compiler or separate reference-process client.

HOW
Use the syntax, semantics, Elsa compiler, admission, Joanna runtime and numerics boundaries; bind results to the actual package and source revision.

THEN
Return typed diagnostics or an admitted computation receipt. Documentation alone does not establish a fresh .NET build or cross-host parity.

TYPED EVIDENCE
- SourceText: filename and Bangel content
- CompilerInterface: IElsaCompiler
- CompilationResult: typed IR or diagnostic
- ManagedReceipt: source-bound Joanna result

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
Compile an incompatible-unit example and inspect its diagnostic; establish native execution only with fresh package hashes and results.

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

DISCOVERY NAMES
Bangel.Sdk; Bangel for C# and .NET
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/dotnet/README.md · line 7
  https://github.com/Mjos23/bangel-language/blob/229548f13a4856455b3d30d408cf845fb5b557fc/language/dotnet/README.md#L7

RECOVERED HISTORICAL CONTEXT
- Historical scope: Managed compiler/runtime integration, SDK, command-line tools and a bounded C# translation surface.

Original references: See paper text and source PDF.