Yes, I am actually aware of that, but I´ve found every definition of k, books and wikipedia included, to be of value between 0 and 1 positive, disregarding the arrange of the transformer points. The arrange on the pic above consists basicaly of 2 metal squares, a red one and a striped white one, each one in different metal layers of a BiCMOS process, so they are vertically coupled. The squares are geometrically inverted with respect to the vertical axis so the red square has its terminals on the left and the white has them on the right. The coupling between them is therefore "inverted" so to say, anyway, the k and M values should be positive in any case I assume.