BarTide

teal papers / BarTide collection

Mika / MK Physics - IF / HOW / THEN logic

MJPE-COMPLETE-20260925-MIKA-PHYSICS-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

Mika / MK Physics / Teal

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

IF / HOW / THEN CONTRACT
IF
A JP representation identifies quantities, units, control volume, scale and available measurement evidence.

HOW
Classify applicable physics, check dimensional compatibility and conservation boundaries, and carry uncertainty into the representation. Keep not-applicable distinct from a passed physical test.

THEN
Return a scoped physics representation or unresolved requirement. A valid equation is not a measured physical result.

TYPED EVIDENCE
- Quantity: value, unit and uncertainty
- ControlVolume: declared boundary
- ScaleProfile: explicit scale
- PhysicsReceipt: applicable, not-applicable or HOLD

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
Incompatible units or a missing control volume must produce a refusal or HOLD before physical interpretation.

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

DISCOVERY NAMES
Mika; MK; MK-PHYSICS
These names aid search; current compiler naming remains Elsa.

SOURCE STATUS AND LIMITS
Historical reference or specification recovered. Its source status remains visible and is not promoted to a current standalone implementation.
Recovered status: documented_reference.
Documented domain role does not establish a currently deployed standalone engine.

SOURCE REFERENCES
- Recovered nonwhite collection, page 1303
  https://drive.google.com/file/d/1RpxuVZjdCHSITNXIZZuWacJ1BNBAPCLv/view#page=1303

Original references: See paper text and source PDF.