Teal Robotics - Terminology and reconciliation
Teal Robotics / Grey
MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida
CANONICAL PROJECT NAME
Teal Robotics
DEFINITION
Preserved simulation and shadow-control gate using native Bangel minority-risk source and near-miss templates.
RELATIONSHIP
A distinct plugin under Bangel Robotics and the MJos predictive integration.
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
- Proposal: preserved shadow-control schema
- MinorityRisk: PMOS-MINORITY-GATE/1 input
- IndependentReview: separately bound verdict
- GateOutcome: PASS, HOLD or DENY
EQUIVALENCE RULE
Related names aid discovery. They do not merge capability, mathematical meaning, evidence state or permission boundaries.
DISCOVERY NAMES
Teal Robotics Verified Control Barrier Function; PMOS-MINORITY-GATE/1
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.
The manifest explicitly says no completed independent family runtime, no continuous-time CBF proof, no live trading and no physical actuation.
SOURCE REFERENCES
- plugins/mj_predictive/src/mj_predictive/_teal/PLUGIN.json · line 1
https://github.com/Mjos23/bangel-language/blob/229548f13a4856455b3d30d408cf845fb5b557fc/plugins/mj_predictive/src/mj_predictive/_teal/PLUGIN.json#L1