Do we get all the code of an ORMIT™-OpenJava Oracle Forms migration? Including the source of the compatibility service (OFCS)?

Yes. Every migration project includes a perpetual licence for the code, with all its source code, the compatibility service included. A proof of concept doesn't include the full source code of the compatibility service.