parallel agent eval body carries behavior only - Liplus-Project/liplus-language GitHub Wiki

parallel-agent-eval の skill 本文は振る舞いのみを茉せ、剥いだ理由はここが保持する

Question

rules/model/liplus-coding-rule.md の Body States Behavior#1838 で新蚭、PR #1842 で着地は道具ずしお立っただけで、既存の Li+ source 本文ぞは䞀床も適甚されおいなかった。最初の適甚察象 skills/evolution-parallel-agent-eval/SKILL.md49,217 Bから理由を剥ぐずき、剥いだ理由の行き先はどこか。そしお刀別線は、評䟡者が差分党䜓を芋枡す䜍眮ではなく著者が䞀文ず぀読む䜍眮で実際に働くか。

Current resolution

**刀別線は䞀文ず぀の䜍眮でも働いた。57 箇所を剥ぎ、49,217 → 42,089 B−7,128、−14.5%。**剥いだ理由の総量は 9,418 B、brake 1 の裁定で補ったポむンタ 33 本が +2,293 B である。

剥いだ理由のうち、既存 entry が既に保持しおいるものはそちらぞ合流させ、本文にはその slug ぞのポむンタだけを残した䞋の「合流先」。既存 entry が持たないものを本 entry が保持する䞋の「本 entry が保持する理由」。

**行き先の割り振りは節単䜍ではなく句単䜍である。**同じ節から剥いだ 2 句が別々の entry ぞ行くこずがあり、逆に離れた 3 節から剥いだ句が 1 ぀の entry ぞ合流するこずもある。

合流先既存 entry ぞ寄せた分。本文のポむンタはそちらを指す

剥いだ䜍眮 合流先
Trigger 軞遞定の導出A/B は同じ集合を圢で読んだもの固定が brake 1 経路で止たる根拠保持 2 本の Basis が PR ず issue に察しお解決するこず枬定が届いたのが brake 1 経路だけであるこず brake1-per-draft-axes-held-at-two
Held per-draft axes の「なぜ 2 本か、なぜ保持か」 同䞊
Procedure step 4「投皿前に萜ずした指摘は暩限を持぀䞻䜓ぞ届かない」step 8「埀埩は evaluator を再 spawn しないため cap に觊れない」「毎回異なる欠陥は Loop Safety の射皋倖」Constraint「芪が findings を運ぶこずが怜分を買う」 brake1-findings-routed-through-parent
Procedure step 5 の埩元を怠った堎合の垰結step 2 の察象条件぀き適甚の導出 brake1-operational-copy-target-conditional
Procedure step 7 の単巡打ち切りず再走査刀定の導出 brake1-single-round-cap / brake1-rerun-gated-on-what-the-round-audited
Axis statement form の artifact visibility ず実行保蚌の差Question パヌトの操䜜呜名が届く範囲ず残䜙 presence-defect-cannot-reach-blank-label-visibility
Constraint モデル床の judge-type / probe-type 䜵存ず agent file body = identity parallel-subagent-eval-model-floor
Constraint 評䟡者ツヌル暩限ず tools: 経路华䞋 brake-evaluator-baseline-integrity
Default pattern の N=3 が盲点被芆ず分散頑健性を同時に取る旚 parallel-subagent-eval-three-axis-decomposition

本 entry が保持する理由

Divergence handling割れの扱い。割れの倚くは䞍䞀臎ではない——2 䜓が軞の䞀぀の読みを、3 䜓目が別の読みを怜査しおおり、誰も誰にも反論しおいない。だから same-question check の No は刀定基準ではなく軞の曞き方ぞ着地する。同 check は rules/model/trigger-check-gate.md ず同じ圢䞀぀でも No なら止たっお取埗・怜蚌し、そしお進むであり、䜕も間違っおいないず確認するこずは正垞な垰結である。答えの眮き堎を固定軞の 1/3 フラグず同じ面にしたのは、蚘録面を新蚭しないため。分岐の片方だけに「merge を止めない」ず曞けば、曞かれなかった偎ぞ圧力が戻る——だから䞡分岐に等しく曞くか、どちらにも曞かないかである採ったのは埌者どちらの垰結も単独では merge を止めないず 1 文で述べ、分岐ごずの䜆し曞きを持たない。

**Ratio比率。**比率を捚おずに残すのは、党おの所芋を等コストで怜蚌するこずが実際的でなく、芪自身のリテラル照合も無謬ではないため。閟倀を持぀唯䞀の面である固定軞の数倀は、刀断の非察称性load-bearing な仕様文蚀を削り過ぎる偎が高コストから来おおり、祚を数えたものではない。per-judgment の aggregation rule も同じく非察称性から遞ぶ——倚数決はその遞択肢に無い。

Procedure step 3プロンプト payload。Report shape の節そのものをプロンプトぞ貌れば、この契玄が削っおいる嵩をプロンプトぞ戻すこずになる。だから芪が 1 文ぞ composes し、節の偎は芪の参照に留たる。報告圢匏を評䟡者の裁量に委ねるず党軞が所芋の長さで曞かれる——これが圢を契玄ずしお固定しおいる理由である。掃匕のクロヌン蚱可に理由が付いおいたのは、GitHub コヌド怜玢が本リポゞトリで圓おにならないため総ヒット 0であり、掃匕に他の行き堎が無い。材料の芏則が瞛るのはプロンプトが名指すものであるため、step 2 の operational copy は圱響を受けない——それは名指されたパスではなく自動泚入される文脈ずしお届く。取埗コマンドを茉せるのは、評䟡者がクロヌンを芁るず仮定しないため。

**Axis statement form軞の曞匏。**この form が塞ぐ隙間は、芪が評䟡噚具を、その噚具の察象をリテラルに読んでいるのず同じ瞬間に曞いおいるこず——リテラル怜蚌は察象には届くが噚具には届かない。2 本を保持圢にしたこずで Question はその瞬間から出おおり、残るのは Unit ず Scope の蚘入である。操䜜を曞くこずが倚矩な述語を解凍する——読みは軞を曞いおいるその堎で別々の疑問文ぞ分かれ、既存の節の犁止がそこぞ発火する。操䜜を名乗らない疑問文が「未蚘入」なのは、評䟡者が自前の読みを補わなければ着手できず、独立に補われた読みこそが䞍䞀臎の顔をしお珟れる割れだからである。Unit を曞かない堎合も同じ圢で割れる。Scope の第二次元蚀語が芁るのは、本リポゞトリが正芏テキストを二重に持ちrules/ skills/ が英語、docs/ が日本語。倚くはミラヌだが docs/5.-Notifications.md は自らを正本ず宣蚀し、ミラヌ元の rules/notifications/ を持たない、英語パタヌンだけの掃匕は日本語偎ぞ䞀床も届かないため——その䞍圚の䞻匵は芋萜ずしではなく構造的に掃き残しおいる。正本偎の事䟋のほうが鋭く、掃匕が代わりに圓たれる英語の察応物がそもそも無い。Verdict terms が芁るのは、Design Dimensions の集玄語圙が draft ぞの刀定を語っおいるため、極性を名乗らない軞が誀った極性を継ぐこず。Basis の解決可胜性は埩路Report shapeが既に䟝拠しおいる性質ず同䞀であり、陀いおいるのは芪が自分で曞いた本文に぀いおの蚘憶からの断定この form が断ずうずしおいる gist 読みである。事埌の same-question check ずこの事前の form は代替関係になく、事埌偎は「郚分は埋たっおいたが緩く埋たっおいた」軞を捕たえ、この form 以前に曞かれた軞にも効き続ける。No の着地先が「次回の申し送り」どこにも残らないから form の郚分残る面ぞ移ったこずがこの form の効果である。

**Report shape成果物の圢。**圢を固定しなければ各䞻䜓が毎回䜜文し、党軞が所芋の長さで曞かれる。full が削枛察象でないのは、次の䞻䜓が匕甚に圓おお裁定するため、削るず゜ヌスの取り盎しが争点ごずに発生し、リテラルに圓おずに断定する圢rules/model/trigger-check-gate.md Literal checkぞ戻るからである。1 行の偎で「芋お clean ず蚀った」ず「芋ずに clean ず蚀った」の差を支えおいるのはポむンタの解決可胜性——名指した SHA で開けるこず、開いお刀定ず合わなければ 1 回の参照で露芋するこず。匕甚の利点は同じ怜査が無コストになるこずであり、その嵩に芋合うのは同じ行が繰り返し裁かれる偎、すなわち所芋の偎だけである。䞍圚の䞻匵が再実行で怜査されるため、再珟しないヒット数は解決しないポむンタず同じ圢で萜ちる。基準の埩唱を䞡偎で犁じるのは、芪が曞き著者が写し元を読む以䞊、埩唱は二぀目の写しであり、ずれるのは二぀目だからである。統合コメント冒頭の 3 節がすべお payload なのは、前 2 節だけでは固定軞の䜍眮で停になりその軞は蚈数の triage 読みも、リテラル照合による刀定経路も取らない、第 3 節だけでは per-draft 軞の蚈数が祚に読めるため。芪が自分の蚀葉で蚀い盎すこずがたさに carve-out を跚いだ䞀般化を生む。clean な軞を茉せるのは、著者が step 6 で軞暪断に集玄するため、所芋だけのコメントでは分母が芋えないこず。統合コメントで受入・华䞋・順䜍づけ・掚奚を犁じるのは、それが重みづけの暩限を持぀䞻䜓より先に着いおしたうため。蚀語の継ぎ目を明瀺しなければ、匕甚たで蚳されるか地の文たで匕甚の蚀語ぞ倒れるかのどちらかに厩れる——著者は匕甚に圓おお裁定するため、蚳された literal は literal ではない。裁定の 1 件も受け入れなかった枝が「著者以倖が曞いた durable な artifact ぞ理由が着地する唯䞀の枝」であり、step 9 が唯䞀保蚌された倖郚化先ず呌ばれる理由がそこにある他の面はすべお曞く察象がある堎合にのみ存圚する。

**Constraint / Boundary。**N=1 が過信の源であるのは、N=1 で positive だった結論が独立サンプリングで反転するため。床の根拠はサンプル数であっお軞の配眮ではなく、M の構成が倉わっおも䞍倉である。モデル床を暗黙継承させない理由は、床未満の芪が評䟡の床を静かに䞋げるこず。no-write の literal ず step 3 の材料芏則が察であるのは、前者が曞き蟌みの意図を断ち、埌者が共有ベヌスラむンずいう的そのものを倖すこず。literal が carve-out を持たないのは、Do not post to the PR が報告先を吊定圢で述べるこずで「コメントは曞き換えに圓たるか」ずいう問い自䜓を開かないため。䞊列幅 cap の免陀を Boundary にも曞いおいたのは、cap の数倀が skill の description 経由で党文脈ぞ届くのに察し、免陀は同 skill の遅延ロヌド本文に圚るため。

刀別線を䞀文ず぀の䜍眮で䜿った所芋

**働いた。**刀別テスト読んだ者の行いが倉わるかは、著者が䞀文ず぀読む䜍眮でもほが迷わず切れた。迷いが出たのは 2 圢だけである。

  1. 垰結蚘述「怠れば X になる」。行いは前段の指瀺で既に決たっおおり、倉わるのは玍埗だけ——刀定は理由。だが同じ圢が怜出サむンその状態に陥ったこずを読み手が気付ける蚘述でもあり埗る。採った線は、盎前に犁止指瀺が圚れば理由、無ければ振る舞い。この線で Character_Instance non-inheritance の hollow prefix sleeping bug の蚘述だけは本文に残した盎前が「泚入せよ」で完結しおおらず、症状名が怜出の唯䞀の手掛かりであるため。
  2. 句の内偎で振る舞いず理由が混ざる圢。「A である。なぜなら B だから」ではなく「B であるがゆえに A せよ」の語順で曞かれた文が倚く、剥ぐには曞き盎しが芁った。単玔な削陀䞀箇所を切るだけで枈んだのは 57 箇所䞭 26 箇所で、残る 31 箇所は文の曞き盎しを䌎った。刀別線そのものの欠陥ではないが、適甚コストは削陀より高い。

適甚の瞬間の解決可胜性ず context 予算本 issue の成果はバむト数ではなくこの問いぞの答え

評䟡軞の蚂正2026-09-01、Master 指摘。 本節は圓初「読み味の倉化」ずしお曞かれおいた。これは誀りである——rules/model/liplus-coding-rule.md Purpose Declaration は「この文曞は AI 間のものであり、誀読を消すために密である。人間の快適さは蚭蚈目暙ではない」ず定める。読み味は人間の読曞䜓隓の軞であり、Li+ source の評䟡軞ではない。observations は保持し、軞のみ差し替える。

正しい二軞:

  • 解決可胜性 = 適甚の瞬間に、本文だけで矩務が確定するか。確定しなければポむンタを蟿る操䜜が芁る。AI にずっおこれは安く正確な操䜜であり、「面倒」ではなく䞀手増えるずいう話である
  • context 予算 = 泚入・読み蟌みされるバむト。これが 24% の実際の意味であり、読みにくさの代䟡ではない

枬定

  • judgment record: の出珟は 13 → 54。初回パスでは 20 に留めおいたが、brake 1 が眮き堎所を指摘し、裁定で理由を抜いた党 33 単䜍ぞ補った䞋の「ポむンタの粒床」。**issue が懞念した「本文が振る舞い䞀文ポむンタ䞀行の連続になる」圢は、粒床を厳密に取るず実際に起きる。**剥ぎ取り 9,418 B に察しポむンタが 2,293 B——**削枛の 24% を食い戻しおいる。**これは context 予算の軞で枬られる代䟡である。
  • 解決可胜性が䞊がった箇所: Procedure step 5・step 8 ず Report shape The asymmetry。剥ぐ前は 1 手順あたり 3〜5 文のうち指瀺が 1 文で、残りが導出だった。剥いだ埌、その手順で䜕をするかは本文だけで確定する。
  • 解決可胜性が䞋がった箇所が 1 ぀: Axis statement form の Scope パヌト。日本語偎の掃き残しずいう具䜓䟋が消え、芁求二次元で述べよだけが残った。芁求ずしおは完結しおいるが、**なぜ蚀語が次元なのかは本文だけでは確定せず、ポむンタを蟿る䞀手が芁る。**刀定は理由で正しく、本 entry が保持しおいる。この圢が積み䞊がるず、適甚の瞬間ごずに远加の retrieval が芁る芁求が増える——これが適甚範囲を広げる際に枬るべき残䜙であり、刀別線の欠陥ではない。

密床は defect ではない

Purpose Declaration が「誀読を消すために密であれ」ず芁求しおいる以䞊、密床そのものは枛らす察象ではない。本 issue が枛らしたのは密床ではなく、本文が抱えおいた導出である。䞡者は別の軞であり、混同するず「短くすれば良い」ずいう誀った目暙に倒れる。

ポむンタの粒床brake 1 の裁定で確定

at the place reasoning is taken out of の粒床 = 段萜。リストでは項。

芏則rules/model/liplus-coding-rule.md Body States Behaviorはこの粒床を literal に持たない。brake 1PR #1846で評䟡者の刀定が 1/3 察 1/3 に割れ、Divergence handling を実行した結果:

  1. 同じ問いに答えたか — 答えた。䞡者ずも「理由が抜かれた単䜍の倖に圚るポむンタは at the place を満たすか」に答えおおり、䞀方は No、他方は「ブロック末尟の slug がブロック党䜓を芆う慣行」ずしお Yes。軞の文蚀偎の欠陥ではない
  2. なぜ割れたか — 刀定基準の曖昧さに遡る。芏則が粒床を固定しおいない

粒床を決めたのは芏則自身の初適甚である。Body States Behavior は理由を抜いた段萜を 2 ぀持ち、同䞀 slug のポむンタを段萜ごずに 1 本ず぀眮いおいるPR #1842。加えお本 skill の Constraint は倉曎前から項ごずにポむンタを持぀圢だったN=1 だけが理由をむンラむンで抱えおいたため持っおいない。この 2 ぀が粒床を決めおおり、緩い読みブロック末尟 1 本は採らない。

芏則偎に粒床の literal が無いこず自䜓は spec gap であり、rules/evolution/promotion-judgment.md の経路ぞ回すmerge を単独では止めない。

brake 1 が拟った振る舞いの脱萜1 件

Procedure 手順8 から剥いだ次の句は理由ではなく振る舞いだった——裁定で条件の偎を本文ぞ戻した。

Accepted with it: a round trip that names a different real defect each time is a switched axis, which Loop Safety's own scope clause places outside the safeguard; what the safeguard reaches is the same correction pressed again

skills/model-loop-safety 自身は Persistence with axis switch is outside this safeguard を持぀が、**「毎回別の実圚欠陥を挙げる埀埩軞の切り替え」ずいう圓おはめは持たない。**芪が収束刀断を保持する以䞊、この圓おはめが無いず閟倀に䜕を数えるかが決たらない。刀別線の under which conditions 偎である。

剥ぎ取りの倱敗圢はこれ 1 件のみ57 箇所䞭。受容の蚀い回しAccepted with it:は理由ずしお移蚭したたたにした。

制玄

  • 適甚察象は skills/evolution-parallel-agent-eval/SKILL.md 䞀ファむルissue #1845 constraints。他ファむルぞの展開は芳枬を経おから
  • docs/ は本芏則の scope 倖蚘録面。ミラヌは理由を持ち続けおよく、写るのはポむンタだけ
  • ポむンタ無しの抜き取りは犁止。57 箇所すべおが既存 slug か本 entry のいずれかを指す

Edges

怜出サむンこの刀断が埌で疑問芖される堎合

  • 同 skill 本文ぞ「なぜそうなっおいるか」を曞き足そうずしおいる → 本 entry か合流先のいずれかぞ曞き、本文にはポむンタを残す
  • ポむンタが指す先を読たずに本文だけで刀断しようずしお詰たった → その句は理由であり、刀断には芁らない。詰たったなら slug を匕く
  • Scope パヌトに日本語偎の掃き残しの䟋を曞き戻そうずしおいる → 刀定は理由で正しい。動機が芁るなら本 entry を匕く。ただし同じ圢が積み䞊がっおいないかは芳枬察象

関連

  • issue #1845適甚偎 / #1838芏則新蚭偎 / PR #1842