Has anyone ever documented what the encoding and disk format is on
these floppies?
I haven't, but it's clearly GCR, and the encoder/decoder circuit is very
similar ot that used in a Commodore disk drive (for example an 8050). I
have no idea if the encoder ROM cotnents are the same.
-tony