親の前提が未達なら contains の集約で達成にしない

[MotimotiNotch]

Fixes #7

症状

cascadeSatisfyContainsParents() が親を自動達成にする条件で contains しか見ておらず、requires と contains を両方持つノードが前提未達のまま達成済みになる。さらに cascadeSatisfyRequires() がそこから遡るので、未達だった前提まで芋づるに書き換わる。

resolveState() は一貫してそのノードを BLOCKED と判定しており、カスケード側だけが別の質問をしていた。

姉妹プロジェクト（Sirube、同じ engine を移植したもの）が2026-09-02に実データで踏んだ。目的ノードが requires と contains を同時に持った瞬間に出て、目的が勝手に達成済みになり前提7件が巻き込まれた。

直し方

1. 判定に requires を足す
2. 集約の引き金を requiredBy 側にも広げる — contains を持つ親には固有の作業が無いので、最後に埋まったのが前提側でも「もうやることが無い」ことに変わりはない。contains を持たない親は弾くので requires の意味は変わらない

1 だけ直すと、最後に前提を満たしたときに集約が走らず親が永久に立たなくなる。 Sirube側がテストで踏んだ落とし穴。

テスト

既存テスト1件（cascadeSatisfyContainsParents also cascades the newly-satisfied parent's own requires）が修正前の挙動をそのまま固定していた——子が揃えば親の requires が未達でも親が立ち、その前提も巻き込む、という内容。バグを仕様として書いてあったので、親の前提が満たされている形に書き換えた。

回帰テスト4件を追加:

• 前提未達なら親を立てない／前提を巻き込まない
• 最後に埋まったのが前提側でも集約する
• requires だけの依存ノードは立てない（引き金を広げても requires の意味は変わらない）
• カスケードの判定は resolveState と食い違わない

typecheck clean / 108 tests green（+4）。

既存データの被害

scratch/scan-issue-7-damage.ts（新規、読み取り専用）で走査し、0件。実データ・devデータとも requires と contains を両方持つノードがそもそも1件も無く、このリポジトリでは踏んでいなかった。

実機確認

テスト用の目標（contains 2件 ＋ requires 1件）をdevデータに作り、UIから確認済み:

1. 子2件を達成にしても親は未達のまま、前提も巻き込まれない
2. 続けて前提を達成にすると、その瞬間に親が自動で達成になる

のっちの実機UXチェック済み。

🤖 Generated with Claude Code

https://claude.ai/code/session_01GK23a3A9J1eeGHFKaYgpga