Teal Robotics - Observational lifecycle
Teal Robotics / Brown
MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida
OBSERVATIONAL LIFECYCLE
Preserved simulation and shadow-control gate using native Bangel minority-risk source and near-miss templates.
ORIGIN AND CANDIDATE
Preserve request, source identity and anticipated context. A proposal or forecast is not an acquired observation.
EVIDENCE INTAKE
A simulation or shadow-control proposal matches the preserved minority-risk profile and required gate evidence is available.
BOUNDED TRANSFORMATION
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.
RESULT AND RECONCILIATION
Return the bounded proposal gate result. No continuous-time control-barrier proof, physical actuation or live-trading capability is inferred.
STATE PROFILE RULE
Identify the applicable R/R0/R1/N1-N9/R2 profile before assigning state labels. Historical R1 meanings differ; lower-case neural r0/r9 is separate from runtime R-states and MjQ states. Preserve the original event, missing prerequisite and each later correction.
REENTRY CHALLENGE
A known near miss or absent independent review must not be bypassed by an attractive forecast.
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