Skip to content

spec(docs): reach the body-language carve-out from the language-layer-separation section [docs] - #1799

Merged
smileygames merged 1 commit into
mainfrom
1794-body-language-carve-out-in-language-layer-separation
Aug 24, 2026
Merged

spec(docs): reach the body-language carve-out from the language-layer-separation section [docs]#1799
smileygames merged 1 commit into
mainfrom
1794-body-language-carve-out-in-language-layer-separation

Conversation

@smileygames

Copy link
Copy Markdown
Member

Closes #1794

docs/3.-Task.md## 言語レイヤー分離 が issue / commit / PR の body 言語を LI_PLUS_PROJECT_LANGUAGE に束ねながら carve-out を述べず正本も名指していなかった非対称を、ポインタ1行の追加で閉じる。

判定

親 issue の判定どおり、ポインタで足りる。節同士の整理ではない。3箇所を実読して射程を突き合わせた:

箇所 射程 carve-out
:146-150 ### Issue Format issue のみ ポインタ済(#1731 / PR #1773
:275-281 ## 言語レイヤー分離 issue + commit + PR 無し(本 PR の対象)
: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 Rules 1箇所のままで、写しは増えていない。

### Issue Format 側と委譲プロンプト側は変更していない。

掃引(本 issue で閉じる)

grep -rn "LI_PLUS_PROJECT_LANGUAGE" --include="*.md" . を再実行、36 hits。本 PR の修理後、束ねている出現で carve-out にも正本にも触れていないものは残っていない。内訳:

  • carve-out を本文に述べている: adapter/claude/CLAUDE.md:94 / adapter/codex/AGENTS.md:100Workspace_Language_Contract)、Li+update.md:35-37docs/C.-Update.md:61-65docs/D.-Installation.md:216docs/B.-Configuration.md:82docs/4.-Operations.md:63-69skills/task-subagent-prompt/SKILL.md:57docs/3.-Task.md:293
  • 正本を名指すポインタ: rules/operations/main-agent-procedures.md:61-62docs/3.-Task.md:150skills/evolution-decision-structure-write/SKILL.md:93docs/2.-Evolution.md:158rules/model/liplus-coding-rule.md:53docs/3.-Task.md:282(本 PR で追加)
  • 正本そのもの: rules/operations/operations.md:61-67
  • 束ねる記述ではない(marker 名 / 設定表 / 値の独立性の記述): adapter/codex/hooks-config.md:204docs/6.-Adapter.md:82docs/G.-Sheepdog-Engineering.md:173docs/B.-Configuration.md:97docs/D.-Installation.md:65Li+config.md:32adapter/*/CLAUDE.md:112 / AGENTS.md:118(precedence 行)

したがって #1731 -> #1775 -> #1794 の連鎖は本 PR で閉じ、4つ目のリンクは生じない。

release type

patch(docs の到達性修理であり、user/system observable な挙動変化を持たない)。

検証

  • 73 tests OK(python -m unittest discover -s tests
  • docs/3.-Task.md は well-formed UTF-8、BOM 無し、mojibake 無し、LF 統一

…-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 smileygames left a comment

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

自己レビュー(親、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:150docs/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 surfacesdocs/**, 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。

次段

マージへ進む。繰り越し事項なし。

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

spec(docs): body-language carve-out does not reach the language-layer-separation section in docs/3.-Task.md

1 participant