teal papers / BarTide collection

Teal Robotics - IF / HOW / THEN logic

MJPE-COMPLETE-20260925-TEAL-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

Teal Robotics / Teal

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

IF / HOW / THEN CONTRACT
IF
A simulation or shadow-control proposal matches the preserved minority-risk profile and required gate evidence is available.

HOW
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.

THEN
Return the bounded proposal gate result. No continuous-time control-barrier proof, physical actuation or live-trading capability is inferred.

TYPED EVIDENCE
- Proposal: preserved shadow-control schema
- MinorityRisk: PMOS-MINORITY-GATE/1 input
- IndependentReview: separately bound verdict
- GateOutcome: PASS, HOLD or DENY

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 known near miss or absent independent review must not be bypassed by an attractive forecast.

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

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

Original references: See paper text and source PDF.