pink papers / BarTide collection

Bangel Robotics - Gateway, lifecycle and evidence

MJPE-COMPLETE-20260925-BANGEL-ROBOTICS-PINK

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 Robotics / Pink

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

PURPOSE AND PROJECT PLACEMENT
Robotics-focused measurement programming with typed evidence, unit-aware source and bounded computation through Elsa, JP and Joanna.

IDENTITY AND RELATIONSHIPS
Domain identity of Bangel Language; Teal Robotics is a separate bounded plugin.

REQUEST TO RESULT
IF
A robotics measurement declares quantity, units, coordinate frame, acquisition context and source profile.

HOW
Express bounded measurement logic in Bangel; Elsa compiles, JP admission checks the representation and Joanna provides computation evidence. Distinguish observed state, simulation and planned hardware bindings.

THEN
Return a measurement or advisory with uncertainty. Physical actuation requires a separate evidenced host contract.

RELEASE REQUIREMENT
Bind inputs, decisions and results to the exact source profile. Preserve reproducible procedure, expected behavior, observed outcome and reviewer. Documentary completion does not substitute for implementation or execution evidence.

DISCOVERY NAMES
Bangel Robotics Programming Language
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_domain_identity.
Software calculations and receipts do not establish a physical robot or actuation backend.

SOURCE REFERENCES
- README.md · line 1
  https://github.com/Mjos23/bangel-language/blob/229548f13a4856455b3d30d408cf845fb5b557fc/README.md#L1
- language/python/src/bangel/identity.py · line 6
  https://github.com/Mjos23/bangel-language/blob/229548f13a4856455b3d30d408cf845fb5b557fc/language/python/src/bangel/identity.py#L6

RECOVERED HISTORICAL CONTEXT
- Historical scope: Applies the measurement language to robotics examples with explicit PASS, HOLD and missing-measurement behavior.

Original references: See paper text and source PDF.