AutoRealm is open-source under the GNU license. As such, it should not infringe anything to convert the font and make the new symbol set available to others.
Carta, on the other hand, is an Adobe font and has a much stronger license. That license is here: http://www.paratype.com/help/license/linotype.asp .
Disclaimer: I am not a lawyer. I am therefore unqualified to give legal advice, so there.