spec(docs): reach the body-language carve-out from the language-layer-separation section [docs] - #1799
Conversation
…-separation section [docs] `docs/3.-Task.md` の `## 言語レイヤー分離` は issue / commit / PR の body 言語を `LI_PLUS_PROJECT_LANGUAGE` に束ねながら、carve-out を述べず正本も名指していなかった。同一ファイル内の `### Issue Format`(#1731 / PR #1773 でポインタ済)と委譲プロンプト節(本文に明記済)が既にポインタを持つのに対し、当該節だけが持たない非対称であった。 親 issue の判定どおり、修理はポインタの追加であり節同士の整理ではない。3箇所を実読して射程を突き合わせた結果は以下: - `:146-150` `### Issue Format` = issue のみ(ポインタ済) - `:275-281` `## 言語レイヤー分離` = issue + commit + PR(本 commit の対象) - `:289-293` 委譲プロンプトの成果物言語 = 委譲プロンプト内の例示成果物(別軸。host workspace と `LI_PLUS_REPO` の契約が衝突する当の場所であり、本文への明記は重複ではない) 1つ目と2つ目は重なるが、2つ目が上位集合であり collapse できる関係にない。ポインタが「絞った再掲」の側に付き、広い一般記述の側に付かなかったのがこの非対称の由来である。 形は先例 `docs/3.-Task.md:150` / `rules/operations/main-agent-procedures.md:62` / `docs/2.-Evolution.md:158` に合わせ、識別ラベル1つ(操作対象が `LI_PLUS_REPO` 自身のとき届かない)+ 正本のポインタ + 同一の締めに留めた。carve-out 本文は再掲していない——正本は `rules/operations/operations.md` の `## Operations Rules` 1箇所のままであり、写しは増えていない。統治条項そのもの(届く先が同リポジトリ自身の governance であること / この値が host workspace に対して解決すること)は運ばせていない。`### Issue Format` 側と委譲プロンプト側は変更していない。 掃引を本 issue で閉じた。`grep -rn "LI_PLUS_PROJECT_LANGUAGE" --include="*.md" .` を再実行し 36 hits。本件の修理後、束ねている出現で carve-out にも正本にも触れていないものは残っていない。 release type = patch(docs の到達性修理であり、user/system observable な挙動変化を持たない)。 検証: 73 tests OK。`docs/3.-Task.md` は well-formed UTF-8、BOM 無し、mojibake 無し、LF 統一。 #1794
smileygames
left a comment
There was a problem hiding this comment.
自己レビュー(親、semi_auto)
受入条件の照合 — pass。
issue #1794 の判定(3つ目のポインタを足す。節の整理ではない)が実装に一致している。差分は docs/3.-Task.md 1ファイル 1行のみで、### Issue Format 側と委譲プロンプト側は未変更。制約どおり。
追加行の粒度を先例と突き合わせて独立に検証した。:282 が運ぶのは識別ラベル(どの carve-out か)+ 正本ポインタ + 同一の締めであり、命題 (a) のみ。正本 rules/operations/operations.md:67 が持つ「何が代わりに governance するか」は運んでいない。docs/3.-Task.md:150 と docs/2.-Evolution.md:158 が同じ形であり、house form が保たれている。PR #1793 の初稿が踏んだ「正本の命題を言い直したうえで言い直していないと宣言する」欠陥は再現していない。
掃引の不在主張を親が独立に再実行 — 成立。
grep -rn "LI_PLUS_PROJECT_LANGUAGE" --include="*.md" .(workspace/ 除外)= 37 hits。うち body 言語を束ねる出現をすべて列挙し、carve-out を述べているか正本を名指しているかを1件ずつ確認した。該当しない残余は無い。docs/6.-Adapter.md:82 は hook marker の説明であり成果物の body 言語を束ねていないため対象外。docs/C.-Update.md / docs/D.-Installation.md / Li+update.md はパラメータ定義であり、#1775 / PR #1793 で処理済みの面。
連鎖は閉じた。 #1731 -> #1775 -> #1794 の3リンクで終わり、4つ目は生じていない。これは PR #1793 の post-merge 観測が明示的に見張っていた対象であり、「per-file の引き取りが収束していない証拠」は出なかった。
ブレーキ判定 — brake 1 は非該当(記録)
rules/evolution/initiator-autonomy.md Self-evolution PR definition は2条件の同時成立を要求する。条件1(initiator path)は成立するが、条件2(governed surface)は成立しない。変更ファイルは docs/3.-Task.md のみであり、同節が Excluded に列挙する record surface(docs/**)である。
Record surfaces —
docs/**, the wiki,README.md,LICENSE,NOTICE. Read on demand as a record of past judgment or as description. Nothing here is loaded as instruction, so no behavior is constrained, and a wrong line costs one re-read at retrieval time.
変更ファイル集合は親が git diff --name-only origin/main...HEAD で独立に確認済(1ファイル)。したがって brake 1 は必須ではなく、実行しない。L1 Model Layer source を触らないため brake 2 も非該当。
実装者はこの literal を報告したうえで判定を親に委ねており、越権はない。
リリース種別
patch。 rules/operations/release-version-rule.md の判定軸に照らし、docs の到達性修理であって user/system observable な挙動変化を伴わない。semi_auto の patch は人間ゲート無しで AI 直接マージ。L1 brake 2 override は非該当。
検証
python -m unittest discover -s tests = 73 tests OK(親が main の baseline でも同数 OK を確認済)。CI green。
次段
マージへ進む。繰り越し事項なし。
Closes #1794
docs/3.-Task.mdの## 言語レイヤー分離が issue / commit / PR の body 言語をLI_PLUS_PROJECT_LANGUAGEに束ねながら carve-out を述べず正本も名指していなかった非対称を、ポインタ1行の追加で閉じる。判定
親 issue の判定どおり、ポインタで足りる。節同士の整理ではない。3箇所を実読して射程を突き合わせた:
:146-150### Issue Format:275-281## 言語レイヤー分離:289-293委譲プロンプトの成果物言語3つ目は別軸である。委譲プロンプトの例示は host workspace と
LI_PLUS_REPOの契約が衝突する当の場所であり、そこで carve-out が本文に書かれているのは重複ではなく、その節が解決しなければならない問題そのものである。1つ目と2つ目は重なるが、2つ目が上位集合(commit / PR を含む)であり、1つ目は issue へ絞った再掲であるため collapse できる関係にない。変更
docs/3.-Task.md:282に1行を追加した(+1行、他に変更なし)。形は先例
docs/3.-Task.md:150/rules/operations/main-agent-procedures.md:62/docs/2.-Evolution.md:158に合わせ、識別ラベル1つ + 正本のポインタ + 同一の締めに留めた。識別ラベルは「操作対象のリポジトリがLI_PLUS_REPOのリポジトリ自身である場合にLI_PLUS_PROJECT_LANGUAGEがボディ言語へ届かない」のみであり、統治条項そのもの(届く先が同リポジトリ自身の governance であること / この値が host workspace に対して解決すること)は運ばせていない。carve-out 本文は再掲していない——正本はrules/operations/operations.mdの## Operations Rules1箇所のままで、写しは増えていない。### Issue Format側と委譲プロンプト側は変更していない。掃引(本 issue で閉じる)
grep -rn "LI_PLUS_PROJECT_LANGUAGE" --include="*.md" .を再実行、36 hits。本 PR の修理後、束ねている出現で carve-out にも正本にも触れていないものは残っていない。内訳:adapter/claude/CLAUDE.md:94/adapter/codex/AGENTS.md:100(Workspace_Language_Contract)、Li+update.md:35-37、docs/C.-Update.md:61-65、docs/D.-Installation.md:216、docs/B.-Configuration.md:82、docs/4.-Operations.md:63-69、skills/task-subagent-prompt/SKILL.md:57、docs/3.-Task.md:293rules/operations/main-agent-procedures.md:61-62、docs/3.-Task.md:150、skills/evolution-decision-structure-write/SKILL.md:93、docs/2.-Evolution.md:158、rules/model/liplus-coding-rule.md:53、docs/3.-Task.md:282(本 PR で追加)rules/operations/operations.md:61-67adapter/codex/hooks-config.md:204、docs/6.-Adapter.md:82、docs/G.-Sheepdog-Engineering.md:173、docs/B.-Configuration.md:97、docs/D.-Installation.md:65、Li+config.md:32、adapter/*/CLAUDE.md:112/AGENTS.md:118(precedence 行)したがって #1731 -> #1775 -> #1794 の連鎖は本 PR で閉じ、4つ目のリンクは生じない。
release type
patch(docs の到達性修理であり、user/system observable な挙動変化を持たない)。
検証
python -m unittest discover -s tests)docs/3.-Task.mdは well-formed UTF-8、BOM 無し、mojibake 無し、LF 統一