Herman, Japanese rules texts with precedental rulings or comments gave very specific examples. Two very similar shapes can have very different rulings. Also therefore, I do not overinterpret a bent-4 precedent. When there was an attempt to generalise a precedent, such an attempt was not welcome.
The Japanese 1989 Rules' pass-for-a-specific-ko rule cannot be applied literally because it creates contradictions to intentions. The Japanese 2003 Rules' generic-pass-for-ko rule should be applied for J1989 interpretation because it agrees to intentions whereever the J1989 rules writers were careful enough with their examples. For one bent-4, both ko-pass variants have the same behaviour.
http://home.snafu.de/jasiek/j1989c.html
http://home.snafu.de/jasiek/j2003.html
Xylol, in hypothetical analysis, a "pass" does not releave a [basic] ko ban. It requires the different (and artificial) move type "ko-pass" to releave a ko ban.
Proof-play is only imagined / hypothetical / executed with independent playing material / temporarily executed and then position and prisoners are restored. Therefore one does not lose points by playing to fill territory in proof-play.
Bill, it is not clear whether ko-pass is the only means of lifting a ko ban. It is (in theory) possible to have a ko, destroy it and resurrect it in the same local shape much later. Is it still the same ko? Undefined.
palapiku, territory scoring does not need special ko rules:
http://home.snafu.de/jasiek/sj.html