k-refactor

在可观察 green 基线上实施已批准的行为等价结构改动。