spec(evolution): bind state-form requirement to edge presence + convert-on-touch (skills/)

[liplus-lin-lay]

概要

Closes #1436

skills/evolution-decision-structure-write/SKILL.md (L2 Evolution Layer) の1ファイルのみを変更する。Decision Structure entry の state-form 要件を edge 有無に条件づけ、既存 entry を update / supersede する際の convert-on-touch を Procedure に追加する。

変更点 (2つ)

変更1 — state-form 要件を edge 有無に bind (<entry-shape-state-form-vs-event-form> セクション)

従来の「全新規 entry に state-form 推奨」という一律 stance を edge-conditional rule に精緻化した。

• edge (特に supersede / conflict) を宣言する entry は state-form 必須。最新の判断状態が subject でないと supersede path が現在状態に収束しないため。
• edge を持たない settled entry は event-form 許容。edgeless settled entry を state-form に変換しても情報利得はない (churn のみ)。「current judgment state」が「what was decided when」に勝るのは判断が更新されるときだけで、edgeless settled entry には更新圧がない。

既存の state-form / event-form 説明と forward guidance は保持。既存 edgeless entry の一括移行は明示的に除外した (既存の "do not retroactively rewrite" guidance と整合する1文を追加)。

変更2 — convert-on-touch を追加 (<procedure> step 3 Branch judgment)

「Related existing entry can absorb the update」分岐と「Existing entry has been invalidated -> supersede edge 追加」分岐の両方に、既存 entry を update / supersede のために触る瞬間に、その entry を state-form に変換し edge を描く clause を追加した。write は既にその edit で発生しているので、後回しの migration pass (recall 依存で信頼できない) に頼らず load-bearing な瞬間に変換を piggyback する。

レビュー補足

• レイヤ = L2 Evolution Layer。brake 2 (L1 human review) は不要。brake 1 (parallel-subagent-eval) は parent 側で実行予定。
• 既存タグ / GFM-safe 空行 / kebab-case tag wrapping 規約は保持。H1/H2 見出しは未変更。
• 変更ファイルは1つ (skills/evolution-decision-structure-write/SKILL.md) のみ。wiki は未変更。

[liplus-lin-lay]

AI セルフレビュー

Scope 適合

• 変更ファイルは skills/evolution-decision-structure-write/SKILL.md の1ファイルのみ。wiki 未変更。issue #1436 の target file / constraints と一致。branch は main + 当該1コミットのみ。
• 既存タグ (<entry-shape-state-form-vs-event-form> / <procedure> 等)、GFM-safe 空行、kebab-case tag wrapping 規約を保持。H1/H2 見出しは未変更。

変更1 (Entry shape — edge-conditional)

• 「全新規 entry に state-form 推奨」の一律 stance を edge 有無で条件分岐させた。supersede path 収束の要件 (edge declaring entry -> state-form 必須) と churn 回避 (edgeless settled -> event-form 許容) を behavior-bearing な語で記述。既存 reasoning (semantic graph / not time-ordered log) と forward guidance は削除せず保持。一括移行除外を既存の "do not retroactively rewrite" と同じ箇所に畳み込み subtractive に追加。

変更2 (convert-on-touch)

• update 分岐と supersede 分岐の2箇所に、load-bearing な write の瞬間に state-form 変換 + edge 描画を済ませる clause を各1文で追加。recall 依存の後回し migration を避ける根拠を簡潔に明示。各分岐1文に収め over-write を回避。

subtractive-structural-beauty 適合

• impression / rhetoric ("just in case" / "for completeness") は不使用。behavior-bearing words のみ。新規 top-level セクションは追加せず、既存2セクションの inline refinement に留めた (anti-requirements 準拠)。

注記

• レイヤ = L2。brake 2 不要。brake 1 (parallel-subagent-eval) は parent 側で実施予定のため本 PR では未実行。merge は実施しない (parent 判断に委ねる)。

[liplus-lin-lay]

brake-1 verdict (parallel-subagent-eval)

Evolution_Initiator_Autonomy brake 1。N=3, M=all 4 axes, P=1。L2 Evolution Layer (L1 不触) のため brake 2 不要。aggregation = 誤採用コスト大につき AND (全会一致)、impression-literal は固定軸 2/3 閾値。content 整合性軸評価のため .claude operational-copy 不適用。

軸	A	B	C
1 impression-literal（固定）	none	none	none
2 semantic consistency	CONSISTENT	CONSISTENT	CONSISTENT
3 subtractive compliance	OK	OK	OK
4 convert-on-touch soundness	SOUND	SOUND	SOUND

brake-1 PASS (全 4 軸全会一致)。

• Axis2: edge-conditional state-form は既存 Relation taxonomy (line 88「state-form entries are recommended to declare applicable edges」) + Maintenance refactor framing と整合する tightening。contradiction なし。
• Axis4: convert-on-touch は update / supersede という 既に編集が発生している 分岐にのみ束ねられ、recall 依存の「後で移行」を作らない (subtractive procedure-vs-structure binary と整合)。
• Axis3: inline 精緻化のみ、新セクション/タグなし、mass-migration を二重に fence off。
• Axis1: 追加行は behavior 文のみ、rationale 1 行は required/acceptable split を gate する load-bearing。

process note: 本 brake-1 は当初 parent が PR 番号を未取得のまま #1439 と推測起動し空振り (eval が「存在しない、捏造しない」と正しく拒否、偽 verdict は GraphQL で landed せず)。実 PR #1437 で再実行した本結果が正。learning = create 結果 return 前に番号を確定しない。

[smileygames]

やってみようか。