Teal Robotics - Gate, sentinel and audit
Teal Robotics / Angel
MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida
GATE
A simulation or shadow-control proposal matches the preserved minority-risk profile and required gate evidence is available.
Required scope, evidence identity, input shape and applicable independent review must be present.
SENTINEL
Apply the preserved Bangel risk source and near-miss templates through Elsa, independent JP admission and Joanna. Keep source hashes, thresholds and independent vetoes explicit.
Watch stale evidence, changed source roots, unsupported type conversions and requests beyond the named profile.
AUDIT RECEIPT
Record request identity, source version, assumptions, input, proposed result, actual outcome and reasons for HOLD or DENY. One successful stage does not override another's veto.
SPECIFIC CHALLENGE
A known near miss or absent independent review must not be bypassed by an attractive forecast.
BOUNDED RESULT
Return the bounded proposal gate result. No continuous-time control-barrier proof, physical actuation or live-trading capability is inferred.
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