teal papers / BarTide collection

Bangel Spreadsheets - IF / HOW / THEN logic

MJPE-COMPLETE-20260925-BANGEL-SPREADSHEETS-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

Bangel Spreadsheets / Teal

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

IF / HOW / THEN CONTRACT
IF
A workbook edit supplies typed cells, an expected revision and dependency/simulation context.

HOW
Preserve immutable revisions, deterministic recalculation, concurrency checks and audit evidence; keep Pearl simulation partitions distinct from measured cells.

THEN
Return a new revision with recalculation evidence, or reject/hold a conflict. Results do not authorize external effects.

TYPED EVIDENCE
- Cell: typed measurement or UNKNOWN
- Revision: immutable workbook identity
- DependencyGraph: declared edges
- RecalculationReceipt: exact input/output revisions

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 stale revision or incompatible unit must not overwrite prior work or coerce missing values to zero.

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

DISCOVERY NAMES
Bangel-SPREADSHEETS; Bangel Spreadsheets
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_mvp_prepasskey.
REFERENCE_MVP_PREPASSKEY

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

Original references: See paper text and source PDF.