This is a rule processor for transforming IdP assertions. It is described in doc/mapping.pdf. There are currently two language implementations, one in Python and one in Java which can be found in the python and java sub-directories respectively.