I wonder if anyone would happen to know if there is original paper documentation of the original program code for Super Mario Bros. (for the Nintendo Entertainment System) dating from 1985, with all the 6502 instructions included?

I'm asking this because I wonder if the Spiny Egg behavior was written incorrectly here, too, as it was in the game's ROM.

~Ben