Grey market machines are always a pain. For your 7DK machine there isn't an equivalent machine which is somewhat surprising. Usually there is.
Here's what I've found. SENR6127 & 6237 are for a French-built 6BL-prefix 312 of a similar time-frame to your machine.
I've also found that there was another Japanese-built 312 machine from the same era as your 7DK for which information is available, Serial Number prefix 6GK. Strangely enough in the Cat system wherever 7DK machine is mentioned, the same parts/procedures are also mentioned as applying to 6GK. To me another confirmation that the 6GK is more similar than the Frnech-built 6BL.
Personally I would favour the Japanese built machine to be more similar to yours than one built in France, but I'll let you make your own mind up. Here are the 2 schematics you asked for (no idea why there are 2, they both cover 6BL1-Up) plus 2 others for the 6GK-prefix machine. 6GK393, which is the Serial Number break in that range, is somewhere around the build date of your 7DK machine, so unfortunately I can't say with any certainty which of the 6GK Electrical Schematics would be more relevant to your machine, or if indeed they are more relevant than the ones you originally asked for.