teal papers / BarTide collection

Bangel Robotics - IF / HOW / THEN logic

MJPE-COMPLETE-20260925-BANGEL-ROBOTICS-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 Robotics / Teal

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

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

TYPED EVIDENCE
- Observation: value or UNKNOWN with unit
- AcquisitionTime: timestamp and clock domain
- RobotContext: declared coordinate frame
- Advisory: result, uncertainty and effect boundary

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
A missing observation or changed coordinate frame without a transform must remain a typed error or HOLD.

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

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.