teal papers / BarTide collection

MJ root and permit boundary

TR-CORE-MJ-BOUNDARY

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.

Terminology revised · September 12 evidence

TEAL LIBRARY RERUN  |  12 SEPTEMBER 2026  |  Michael Patrick Bangel
29
TEAL-RERUN-03-B002 | SOURCE_REVIEW_ONLY
TR-CORE-MJ-BOUNDARY / MJ root and permit boundary
IF
A family result proposes an external or resource effect.
HOW
Keep proposed root admission, family compilation, CAPO handoff, resource lease and current proof gates
distinct. Current general-language MJ metadata does not implement the complete proposed root host.
THEN
A calculation receipt cannot mint capacity, transfer a lease to a peer, or grant physical authority. Unbound
host contracts remain open.
CURRENT EVIDENCE
This requirement paper is source-grounded. Native .NET, C++/Rust/R host checks and physical execution
were not rerun.
REMAINING REQUIREMENT
Use the source and recorded case evidence to close remaining per-branch, native-host and full-contract coverage gaps.
SOURCE REFERENCES
bangel:specs/roles/ROLE-CONTRACT-RECONCILIATION.md

Original references: See paper text and source PDF.