Open-source citation-backed math engines for Moroccan law (severance, tax, notary). Companion to the Mo7ami platform — mo7ami.ai