operations rule carries behavior only

rules/operations/operations.md の常時ロード本文は場面での振る舞いだけを載せ、索引と label 辞書の写しは持たない

Question

常時ロードされる rules/operations/operations.md の本文に、rules/model/liplus-coding-rule.md Body States Behavior の識別線（読んだ者の行いが変わるか）を 2 周目として当てたとき、何が本文に残り、外したものはどこが保持するか。

Current resolution

本文は Operations Rules、Autonomous Run Stop Condition、Post-L1-Merge Runtime Observation（起点・観測セット・繰り越し・禁止）、Operations Label の Rules と Responsibilities だけを持つ。レイヤー位置とトリガー索引は持たず、label 辞書の写し（promotion marker）とそれを同期させる規則も持たない。

PR #2129（issue #2127）で 11,100 B → 9,134 B（−1,966 B、−17.7%）。1 周目（理由の剥ぎ取り）は operations-adapter-bodies-carry-behavior-only にある。本 entry は 2 周目で、主に外したのは説明・案内・写しである。

外したものの合流先

外した記述	合流先
## Operations Layer の Layer Position（Layer = / Requires = / Load timing = / Read when:）、Foregrounds、Reads through	frontmatter（layer: L4-operations、alwaysApply: true）、docs/4.-Operations.md 冒頭の層境界の段落。main-agent-procedures-carry-behavior-only が ## Position を外したのと同型で、新しい置き場は作らない
同節の [TRIGGER_INDEX]	docs/4.-Operations.md「イベント駆動トリガー」表（元の索引より行が多い）
Operations Label の「label は AI の可読性とフィルタリングのため」	docs/4.-Operations.md ラベル運用の責務。rules/task/task.md Autonomy も #2136 で外れ、理由は task-rule-carries-behavior-only が持つ
Operations Label の ### Marker（promotion）	rules/task/task.md の Marker（同じ定義）。閾値へのポインタは #2136 で外れ、rules/evolution/promotion-judgment.md Issue Creation Metadata が marker を自身で名指す
Post-L1 の Invocation anchor の理由句（実行主体がメインで operations skill はメインに発火しない）	operations-adapter-bodies-carry-behavior-only（1 周目で記録済み）、docs/4.-Operations.md L1 節
Post-L1 の within ~5 min inside that session（観測セットの見出し）	同じ節の Start point
Post-L1 Separation の各軸の時期の括弧句	docs/4.-Operations.md L1 節「既存の観測軸との分離」

本 entry が保持する判断

• トリガー索引を常時ロード面から外した判断。 索引は各手順の置き場所を案内するだけで、場面での行いを変えない。索引の行き先は 2 種類しかなく、どちらも索引を経由せずに届く。skill は description 一致で invoke され（adapter が「adapter 側のトリガー表は持たない」と定める経路）、rules/operations/main-agent-procedures.md は常時ロードである。索引を常時ロード面に置いても、届き方は何も増えない。一方で、節の移設や skill の削除のたびに、索引は古くなりうる二つ目の案内として残る。索引は docs の表だけが持つ。
• ### Sync を移さずに外した判断。 Sync は source を編集する者の保守規則（issue #2127 の仮説 2）であり、振る舞いではある。ただし同期の相手は operations.md 側の label 辞書で、その実体は ### Marker の 1 行だけだった。その 1 行が task.md の写しとして外れると、同期する対象が operations.md に残らず、規則は空になる。docs の写し（docs/3.-Task.md、docs/4.-Operations.md）を正本の task.md に追随させる義務は、skills/operations-on-docs-ownership/SKILL.md の grep-sweep（重複した規範文・docs ミラー）が一般形で持つ。そのため skill へ移す文面は無い。
• task.md の retired labels ポインタを直した判断。 task.md は「label の方針と廃止 label は operations.md を見よ」と書いていたが、operations.md は 1 周目より前から廃止履歴を持っていなかった。履歴は docs/4.-Operations.md ラベル運用の表にある。ポインタは節名付きの rules/operations/operations.md Operations Label へ直し、廃止履歴への案内は docs 側（docs/3.-Task.md）に置いた。

外さなかったもの

• Autonomous Run Stop Condition 冒頭の一般則（緑の静的チェックは runtime について何も立証しない、舵を誰が握っていても成り立つ）。issue は理由だけの文という仮説を置いたが、brake2-removal-l1-gate-unified-on-brake1 が、brake 2 の根本基準第 2 項（CI は現実でない）の担い手をこの L4 の文とした。そして、無人走行の条件節の外で無条件に成り立つ形へ広げると決めている。緑のチェックを runtime の正しさとして扱わない、という振る舞いを持つので残す。
• 同節の Anti-pattern: 行。 検出サイン 2 と近い。しかし「人間が朝に見るから観測を省く」は常駐の既定の傾き（人間に委ねる）の側の推論であり、それに逆らう文は読みの除去テストでは欠落が見えない型に当たりうる（measurement-caught-what-read-based-removal-test-missed）。
• Post-L1 の Do not move the anchor into an operations-* skill.、Separation の非代替、繰り越し notes が expires を動かさないこと。 どれも禁止か条件である。expires 不変は rules/evolution/memory-entry-format.md 側が述べていない。
• Operations Rules の全文。 title 行の理由句は、1 周目が distributed-source-carries-no-resolved-config-value に従って残すと決めた行である。

Edges

• depends on source-body-behavior-only-reasoning-relocates — 識別線と移設の規則そのもの
• depends on brake2-removal-l1-gate-unified-on-brake1 — Autonomous Run Stop Condition 冒頭の一般則を残す根拠
• depends on measurement-caught-what-read-based-removal-test-missed — 既定の傾きに逆らう側の文は外さない
• relates to operations-adapter-bodies-carry-behavior-only — 同じファイルの 1 周目（理由の剥ぎ取り、#2110）
• relates to main-agent-procedures-carry-behavior-only — ## Position を frontmatter に任せて外した先例
• relates to initiator-autonomy-rule-carries-behavior-only — 同型の 2 周目（#2123）

Background

issue #2127。rules/operations/operations.md は毎 session 全体が文脈に入る面にあり、11,100 B あった。issue は 3 つの仮説を置いた。仮説 1（Operations Layer は案内だけ）は成り立った。仮説 2（Sync は保守規則）も成り立ったが、Marker を外すと空になるので移す先は無かった。仮説 3 は一部だけ成り立った。Post-L1 の理由句・重複句・括弧句は外したが、Autonomous Run Stop Condition 冒頭の一般則は過去の判断が振る舞いとして置いた文だったので残した。Separation の段落も、置換の禁止として残した。

Constraints

• 各場面の手順と人間ゲートは変えない（issue #2127 制約 1）。
• メインが実行する手続きの正本は、メインが読める面に残す（rules/operations/main-agent-procedures.md The bar and its pair）。本件では何も skill へ移していない。
• 他ファイルからの節名参照（Operations Rules / PR auto-merge policy / Autonomous Run Stop Condition / Post-L1-Merge Runtime Observation / Operations Label）は解決させたままにする。
• L1、memory-entry-format.md、cold-start-synthesis.md、promotion-judgment.md、アダプタの凍結ブロックは触らない。

Conclusion

採用 = 説明・案内・写しを外し、既存の面（frontmatter、task.md、docs/4、1 周目の entry）が持つものはそちらに任せる。索引を外した判断と Sync を空として外した判断は、本 entry が持つ。

却下 = トリガー索引を skill や別の rule へ移す案。索引は invoke 経路にも常時ロード経路にも載らず、置き場所を変えても行いは変わらない。二つ目の案内として古くなる面が一つ増えるだけである。

却下 = Sync を skills/operations-on-docs-ownership/SKILL.md へ移す案。同期の相手が operations.md から消えているので、移す文面が無い。docs ミラーの同期は同 skill が一般形で既に持つ。

却下 = 削減量を増やすために Autonomous Run Stop Condition 冒頭の一般則を理由として外す案。過去の判断がこの文を L4 の担い手として置いている（issue #2127 制約 6）。

Related

• issue #2127
• PR #2129