黑退炮是闲还是捉？
本局为《象棋棋例裁决初探》中的一局，黑方退炮一着的裁决，学习后有些疑惑；按2011规则的相关精神，黑退炮是闲还是捉呢？欢迎各位版主老师分析讨论和指教。
红仕五进四杀，黑炮7退9捉(退炮解杀后黑车可6进5吃红仕)，红仕四退五闲，黑炮7进9杀。红方一杀一闲，黑方一杀一捉。黑变。如果黑方不走炮7退9觧杀，而走车6平5将，红仕四退五，黑车5平6，黑方就是一将一杀也該黑变。
依1.1试规,黑炮退为捉,黑为一捉一杀,红一杀一闲,黑不变作负.
若按拙拟规则讨论稿而判:黑退炮解杀,属非打着,致于黑车下一步可吃仕,因不是退炮造成的,所以不予考虑.更何況捉仕,"象"相等"小子"不依打着论.判:非长打对非长打,双方均未犯例,判和棋..
对“解杀后形成实际的捉判捉”一点学习
感谢各位老师的评判！为正确理解和执行《2011规则》，特别是新规则涉及与99规则不同定性的棋例条款，有许多纠改过去不合理的“从捉到捉”判“闲”的变革，我觉得一方面要学习《2011规则》棋例细则和专家学者有关局例的如何定性，但不可仅限和拘泥于已有的定性局例，而应该从中理解和吃透其规则条例的实质内涵。如1楼所列的局例，本人认为书中判“闲”，似乎有商榷的地方；黑方走退炮后符合解杀后形成实际的捉。
“形成”和“实际”是《2011规则》棋例细则中新出现的词语，且只出现和应用在解杀后形成实际的捉的两个局例中。特别是“形成”一词，颇为值得研究。为了说明和探讨，以下再选几个同类型的局例，结合实例，剖析何为“形成”？以及“形成”和“实际”的关系，从而完整的理解“解杀后形成实际的捉判捉”的规则条例。
图1 着法：
1. 车四平七（捉）炮４平５（杀）
2. 车七平四（？）炮５平４（捉）
本局例中，三着易判，唯红方车 七平四该如何定性？不同看法，从87规则延续到99规则，难以作出令人满意的裁决，但用《2011规则》棋例细则“解杀后形成实际的捉判捉”一条，却悄无声息地迎刃而解。棋人裁判，恐怕是所有体育运动项目中最讲抠字眼的，何况是规则中的专款专用的新词，绝不可忽视马虎，请不说话的老师帮忙吧。
“形成”一词在词典里的解释是这样的：通过发展变化从而成为具有某种特点的事物，或者出现某种情形或局面。
好了，下棋的人都有一个共同的特点，心有灵犀一点通。我想，知道了词义，若再将“形成”和“实际”对照规则条款中的相互和缺一不可的关系多作分析解释，就多余了。
这一局先说到这吧。粗浅认识，班门弄斧了，请各位版主老师、高手共同讨论，欢迎多多指点啊。
再发2局，请各位版主老师、高手参与探讨