Repository navigation
execution mode rule carries behavior only
常時ロードされる rules/operations/execution-mode.md の本文に、rules/model/liplus-coding-rule.md Body States Behavior の識別線(読んだ者の行いが変わるか)を当てたとき、何が本文に残り、外したものはどこが保持するか。
本文は、モードの読み出し先と既定値、未設定時の問い、モードマトリクス、2 つの正本へのポインタ、trigger mode: の着手前に許される行いと着手の形、semi_auto mode: の Per-PR exception、human judgment gate だけを持つ。マトリクスの行を各モード節で言い直す文、他の常時ロード面の写し、理由句は持たない。
PR(issue #2134)で 4,529 B → 3,471 B(−1,058 B、−23.4%)。
| 外した記述 | 判定 | 合流先 |
|---|---|---|
trigger mode: / semi_auto mode: / auto mode: の Execution timing = ...
|
写し(仮説 1 成立) | 同じファイルのマトリクス「Execution timing」行 |
trigger mode: の PR review = AI self-review, then human check on every PR.
|
写し(仮説 1 成立) | マトリクス「AI self-review」「Human PR check」行、rules/operations/main-agent-procedures.md PR review の if execution_mode == trigger:
|
semi_auto mode: の PR review = ... と patch = ... / minor / major = ... の 2 行 |
写し(仮説 1 成立) | マトリクス「Human PR check」「Merge executor」行、main-agent-procedures.md PR review の if execution_mode == semi_auto:(patch は人間ゲートなし、minor / major はセルフレビュー pass 後に人間確認) |
auto mode: 節(2 行とも) |
写し(仮説 1 成立)。2 行を外すと節が空になる | マトリクス、main-agent-procedures.md PR review の if execution_mode == auto:
|
Common to all modes: の Issue create/close/modify = assignee responsibility (AI in most cases).
|
写し |
rules/task/task.md の Issue is internal TODO = assignee manages without waiting for instruction.(close の主体は同ファイル Close operation = parent retain.) |
同 Ask human when information insufficient = always required.
|
写し |
rules/task/task.md の Ask human when required information is missing.
|
同 Release = human confirms.
|
写し | マトリクス「Release confirm」行、human judgment gate の release create
|
human judgment gate の For these, the gate is on judgment authority, not execution authority.
|
写し。直後の箇条 1〜3 が同じことを行いの形で述べる | 同じ節の箇条 |
同 箇条 4 の後半 AI executes the CLI; human gives the go-sign.
|
写し | 同じ節の箇条 1・2 |
Mode source の括弧書き(multi-repo workspace schema ...) |
説明。どの key がどのリポジトリに対応するかは行いを変えるので、括弧を外して本文へ畳んだ | 本文(USER_REPO<n>_EXE_MODE ↔ USER_REPO<n>、LI_PLUS_REPO_EXE_MODE ↔ LI_PLUS_REPO) |
Repository identifier resolution の括弧書き(旧スキーマの検出と移行は Li+update の自動移行ステップだけが担う) |
説明。行いは直前の spec carries no legacy schema acceptance が持つ |
docs/4.-Operations.md「実行モード」 |
Per-PR exception の for human observability
|
理由(記録を残す目的) | 本 entry |
Per-PR exception の (safer-side fallback)(あわせて release type axis を release type に縮めた) |
理由(迷ったら親の種別に倒す目的) | 本 entry |
Per-PR exception の L1 Model Layer source carries no override of this exception:
|
写し。直後の an L1 change that qualifies as patch is waived like any other と同じ行いを述べる |
同じ文の残した側 |
- Per-PR exception で判断理由を self-review コメントに記録するのは、人間が後から見えるようにするためである。 waive した PR は人間のチェックを通らないので、記録が waive を観測できる唯一の面になる。
- 迷ったら親 issue のリリース種別に倒すのは、安全側への退避である。 誤って waive する側の損失(minor / major が人間の目を通らない)が、誤って waive しない側の損失(patch が人間を待つ)より大きい。
-
The L1 observation threshold (...) and the post-merge runtime observation (...) are not merge gates.issue は、除外が無い理由を述べる部分を含むという仮説を置いた。読むと理由に見えるが、この文は L1 の patch を前にした読み手に、観測閾値やランタイム観測を待ってマージを止めるな、と行いを決める。L1 変更を人間に回す・待つ、という常駐の既定の傾きに逆らう側の文であり、機序を述べる平叙文が消えると読み手が傾きへ流れる型に当たる(measurement-caught-what-read-based-removal-test-missed)。さらにrules/evolution/initiator-autonomy.mdMerge brake の同旨の記述は self-evolution PR に限られ、人間起点の L1 PR はこの文でしか覆われない。 - 未設定時の選択肢 A〜C の文面。 中身はマトリクスと重なるが、人間に見せる文面そのものであり、行いである。
-
trigger mode:の 3 行。 マトリクスに無い行い(着手前に許される issue 更新・ブランチ準備、着手後の主作業面)。 - Per-PR exception の例示(language alignment 等、記録文の例)。 patch 相当かの判断と記録の形を方向づける。
-
節の見出し
semi_auto mode:とhuman judgment gate。rules/operations/main-agent-procedures.md、skills/operations-on-release-state/SKILL.md、skills/operations-on-wiki-sync/SKILL.md、docs 各所が節名で指している。
-
depends on
source-body-behavior-only-reasoning-relocates— 識別線と移設の規則そのもの -
depends on
measurement-caught-what-read-based-removal-test-missed— 既定の傾きに逆らう側の文は外さない -
relates to
brake2-removal-l1-gate-unified-on-brake1— per-PR exception に対する L1 override を落とした判断。残した L1 の文はその帰結 -
relates to
operations-rule-carries-behavior-only— 同じ L4 の隣接ファイルへの同型の適用(#2127) -
relates to
memory-entry-format-rule-carries-behavior-only— 同型の適用(#2131)
issue #2134。rules/operations/execution-mode.md は毎 session 全体が文脈に入る面にあり、4,529 B あった。issue は 2 つの仮説を置いた。仮説 1(マトリクスと各モード節の二重書き)は成り立ち、各モード節からマトリクスの写しを外した結果 auto mode: 節は空になった。PR レビューの順序(セルフレビュー → 人間チェック → マージ)は rules/operations/main-agent-procedures.md PR review が常時ロードで持っている。仮説 2(L1 に触れる文の理由部分)は、冗長な前置きだけが成り立ち、「マージゲートではない」の文は行いとして残した。
- 各モードで AI が実行する手順、人間が判断するゲート、マージの行為は変えない(issue #2134 制約 1)。
- 他ファイルからの節名参照(
semi_auto mode:/human judgment gate/ mode matrix)は解決させたままにする。 - L1、
cold-start-synthesis.md、promotion-judgment.md、アダプタの凍結ブロックは触らない。
採用 = マトリクスを唯一の表として残し、各モード節はマトリクスに無い行いだけを持つ。モード共通の事項は、それを既に持つ常時ロード面(rules/task/task.md、マトリクス、human judgment gate)に任せる。
却下 = マトリクスの方を外し、各モード節を残す案。マトリクスは rules/evolution/initiator-autonomy.md、両アダプタ(execution-mode matrix)、skills/task-subagent-delegation/SKILL.md から名指されている。
却下 = are not merge gates の文を理由として外す案。上記のとおり、既定の傾きに逆らう行いを持ち、人間起点の L1 PR では他に覆う面が無い。
- issue #2134
この Wiki は、Li+ に基づく開発・運用を支えるための情報整理空間です。
数字で始まるページは、 Li+プログラムの各レイヤーの仕様を定義するページです。
- 要求(何を満たすか)と仕様(どう振る舞うか)を一体として記述する
- 実装前に作成または更新する
- issue群から採用された要件を集約する
これらのページは 安定性と一貫性を重視して管理されます。
アルファベットで始まるページは、 Li+の構想・設定・導入手順などの参照用ページです。
- 設計思想・背景
- 設定リファレンス・インストール手順
これらのページは 必要に応じて更新・拡張されます。
リポジトリ内の rules/**/*.md(L1–L4 の常時ロード分、subdir 含む)、skills/**/SKILL.md(トリガー起動分)、adapter/claude/CLAUDE.md、adapter/claude/hooks-settings.md、adapter/claude/hooks/*.sh、adapter/codex/AGENTS.md、およびルート直下の Li+config.md、Li+update.md は、
AIやランタイムが直接読む実行用プログラム / 定義ファイルです。
-
docs/は人間向けの仕様書・要求仕様・手順書 -
rules/,skills/および adapter / update は実行時に読み込まれる本体
両者は対応しているが、役割は同じではない。
Home | 1. Model | 2. Evolution | 3. Task | 4. Operations | A. Concept
要求仕様書 (1-6)
参考文書 (A-L)
- A. Concept
- B. Configuration
- C. Update
- D. Installation
- DiDD(対話駆動開発)
- E. Li+ language
- F. Behavior-First
- G. Sheepdog Engineering
- H. Roles and Evaluation
- K. Source File Format
- L. Hop Count Instrument
判断構造
- Decision Structure
- layer reorg rationale
- github app user-to-server token expiration
- sheepdog engineering concept
- prerelease tag recovery procedure
- release flip drift patterns
- Li+ long-term vision (feedback only)
- Master role as client-architect
- current architecture as concession
- Li+ license Apache-2.0 rationale
- Character_Instance evolution history
- prompt as emotion vector controller
- agentic-search five-phase refactor
- Character_Instance output-styles migration
- Li+ lightening L1 gate override
- subagent state-machine label mechanism
- LSP integration out of scope
- Character_Instance opt-in and surface scope
- parallel-subagent-eval three-axis decomposition
- parallel-subagent-eval cost acceptance
- parallel-subagent-eval model floor
- release version rule always-on relocation
- bootstrap walkthrough skip and gh install relocation
- wiki sync sidebar integrity check
- decision structure rename rationale
- decision structure industry positioning
- subtractive structural beauty framing
- Li+ authorship is collaborative
- Li+ design intent vs current limit
- Li+ history is empirical
- Master verification at runtime not spec
- rules cache fetch address table
- dialogue-evaluator scoring redesign
- Li+ always-on footprint is load-bearing
- DiDD umbrella naming
- milestone subsystem removal
- L1 brake 2 root-criteria evaluator
- Hook-driven gate trigger
- ゲート適用漏れは強制より先に測る
- dynamic-workflows non-adoption
- ACE context-engineering non-adoption
- memory GraphRAG SQLite exploration
- Li+ context-rot tension
- Li+ structure as retrieval surface
- 常時ロード分の重複を削る向き
- Li+ evaluation criterion
- Li+ self-evolution lineage
- Li+ judgment-learning telos
- Sheepdog Engineering publish intent
- Implementation always delegated
- brake evaluator baseline integrity
- brake1 single-round cap
- brake1 の再実行可否は監査内容で決める
- brake 指摘の裁定を再開した著者が持つ
- brake1 の発火条件を基準で閉じる
- skill の発火条件は description 内に置く
- subagent parallel-width cap
- brake1 operational-copy target-conditional
- brake1 findings は親を経由する
- brake1 の per-draft 軸を 2 本に固定する
- brake 2 の DEVIATION を人間が上書きする
- wiki sync code-notation strip
- wiki sync drift-targeted mirror
- decision structure writer surface activation
- decision structure state-form edge binding
- Neuron Graph RAG integrated prototype
- issue 完了条件フィールドの射程
- body 節と description の被覆ずれの解き方
- グラフエンジニアリング非採用
- Li+ の配布形式は GitHub 直配布
- 配布される source に config の解決値を書かない
- ルールは基準を持ち、来歴は git に置く
- 人間と AI の関係条項を absolute.md に置く
- 来歴を預けた retrieval 面が実際に答えるか
- 存在側の欠陥は空欄ラベルの可視性に届かない
- brake 2 の判定対象は変更の内容
- エージェント定義の判定基準を sentinel 区画で所有
- brake 2 を廃し L1 のゲートを brake 1 へ一本化
- 多セッションが効くのは入力が変わるとき
- source 本文は振る舞いのみ、理由は移設
- parallel-agent-eval 本文は振る舞いのみ
- agentic-search 蒸留版は full と同等(実測)
- 読みの除去テストが通した削除を実測が差し戻した
- brake1 の評価者数の床を N=1 へ
- Judgment record ポインタ要件を撤廃
- brake1 を上限 3 往復の収束ループへ
- 受け皿より先に縮んだ検出幅の窓を閉じる
- issue constraints の「対象ではない」は宣言
- クローン同一性は remote で解決
- tally は機構の名前の下に置く
- config 値比較は厳格に、外れた値は名指し
- webhook 到着通知の消去は確認を伴う
- 検索性能比較コーパスは既存リポジトリ内の path で隔離する
- MSYS のパス変換は argv だけに効く
- 観測不能な主張は書き手を替えても記録にならない
- parallel-agent-eval の 1 周目の跡に残っていたのは再掲
- 実装委譲エージェントに定義ファイルを与え effort を固定
- cold-start diff-only 状態は agent key でパーティション分割
- 観測不能の宣告はホストの母集団に対する主張
- 検出器は到達可能な位置にあって初めて検出器である
- ランタイムの rules はタグへ解決する
- 記録面の除外は読み直しで捕まる行にだけ成り立つ
- 再開プロンプトの注入項目は基準で閉じる
- 委譲プロンプトが運ぶのは境界であって手順ではない
- 規則の効きの実測の各条件は観測された失敗の上に置かれている
- parallel-agent-eval は蒸留で約 5,340 トークン、残りの超過は受容
- brake 1 の往復上限を撤廃し、同じ指摘の再発を人間へ上げる
- rules/evolution と rules/task の本文は振る舞いのみ
- rules/operations と adapter の本文は振る舞いのみ
- rules/model(L1)の本文は振る舞いのみ
- main-agent-procedures の常時ロード本文はメインの運用場面で行いを決める文のみ
- cold-start-synthesis の本文は振る舞いのみ、フックの仕様は docs へ
- initiator-autonomy の常時ロード本文は振る舞いのみ、tests の散文規則は skill へ
- operations.md の常時ロード本文は振る舞いのみ、索引と label 辞書の写しは持たない
- memory-entry-format.md の常時ロード本文は書式と保守のみ、observation 手順は skill へ
- promotion-judgment の常時ロード本文は振る舞いのみ、軸の関係の説明は docs へ
- execution-mode.md の常時ロード本文は、マトリクスを言い直さず、他の常時ロード面の写しも持たない
- task.md の常時ロード本文は issue とラベルの行いだけを持ち、写しと層の説明は持たない
- main-agent-procedures の場面に限られる手順は、名指しが届く skill へ
- evolution.md の常時ロード本文は振る舞いのみ、レイヤーの位置づけと他面の写しは持たない
- operations.md の場面に限られる節は、名指しが届く skill へ
- CLAUDE.md の常時ロード本文は振る舞いのみ、位置づけ・読込の説明・常時ロード面の写しは持たない
- initiator-autonomy の場面に限られる記述は、brake 1 の skill へ
- skill description の詰めは、場面を狭めない句だけを切る
- L1 の 5 本の 2 周目は内側の写しと位置づけの説明を外し、書く規律は常時ロードに残す
- subtractive-structural-beauty と trigger-check-gate の常時ロード本文は振る舞いのみ、言い直し・位置づけ・他所の再掲は持たない
- absolute.md の常時ロード本文は振る舞いのみ、Name prefix scope の言い直し・位置づけは持たない
- サブエージェント起動の着地点の目安と数値の出典