Mary / M3 Routing - Syntax and typed expression
Mary / M3 Routing / Purple
MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida
TYPED BANGEL BINDING
- AdmittedRequest: exact scope
- MJLease: bounded allocation
- CapacityEvidence: available resources
- ReturnReceipt: used and unused amounts
PRECONDITION
An admitted request has an applicable MJ lease and source-backed target capacity.
SEMANTIC OBLIGATION
Route the request and account for use, pooling and returns within the lease; mediate peer handoffs through the applicable admission boundary.
POSTCONDITION
Return routing/allocation evidence or HOLD unavailable capacity. M3 cannot mint resources, widen leases or bypass denial.
COMPILATION RULE
Elsa is the compiler. Use a declared Bangel grammar profile, independently admit the applicable JP representation and execute through Joanna only where that path is implemented. These fields are documentary contract notation, not parser-verified source. A shared .bangel extension does not prove grammar equivalence.
PROFILE RELATIONSHIP
Named family identity; separate from color-paper identity.
IMPLEMENTATION CHECK
Reject or bound a request exceeding its lease, and refuse expired lease reuse.
DISCOVERY NAMES
M3; Mary
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 1310
https://drive.google.com/file/d/1RpxuVZjdCHSITNXIZZuWacJ1BNBAPCLv/view#page=1310