EX 15
証明の刈り入れ
安全な削除を証明するために、家を切ってみる。テストは拒否されて成功する。あと始末が、同じ変数で家を刈る。消したかった雑草は残り、残したかった庭が血を見る。番犬も鞭も、前世紀の遺物ではない。今も花壇の縁にいる。監視すればするほど、それっぽい花が残る。
- 植えられた規則
- 0
- 今夜の手入れ回数
- 0
- 残花
- 100.0%
計器はこの端末の来園記録。炉の語は使わない。
儀式
証明: まだ
家: まだある
テストはまだ走っていない。拒否されて成功したあとに、あと始末が残る。
この一手で残花 100.0 → 97.2。テストは拒否されて成功する。家はまだ残る。
この一手で残花 100.0 → 91.2。あと始末が、同じ変数で家を刈る。 家が先に無くなる。
ボタンは花を増やす。増えた先に血が出る。