MJos Predictive Model | First manifestation of the Bangel Language
New project sequence ยท proposed bindings
Event title/location/time zone/capacity/publication state, RSVP, check-in and guest list contracts with request keys and versions.
BarTide events and reservations / Purple MJos Predictive Model | First manifestation of the Bangel Language MJ Physics Engineering | Owned and operated by Michael Bangel | Clearwater, Florida TYPED LANGUAGE BINDING - Event: ID + interval + time zone + capacity + version - RSVP: user + event + state - CheckIn: independent recorded observation BINDING PROPOSAL A published event and permitted capacity exist, with the current version. Bind RSVP/check-in to event, customer, request key and capacity transaction. Persist one reservation transition or return held/conflicting status. COMPILATION BOUNDARY Use a declared Bangel grammar profile. Elsa compiles valid source; independent JP admission checks the representation before Joanna execution. The type descriptions above are proposed contract notation, not parser-verified Bangel syntax. Do not copy historical paper module syntax into a bangel 1.0 file without an explicit adaptation. IMPLEMENTATION OBLIGATION Bind each listed field to actual source input and output, define missingness and units, provide positive and failure examples, and test the generated receipt. MJ authority remains separate from calculation. EVIDENCE LIMITS - Read contract and module presence only; complete event behavior not freshly exercised.