Repository navigation
source body behavior only reasoning relocates
Li+ source 本文(rules/ / skills/ / adapter/)の嵩は理由そのものに在る。2026-08-31 の 3 PR(#1833 −677 / #1836 docs −1,351 / #1837 −437)と PR #1841(SKILL.md +4,924 のうち射程の限定文が約 1,720 = 35%)が同じ方向を指した。理由を残したまま周辺を削る道は量を動かさない。
では理由を本文から抜いてよいか。ここに正面衝突がある——skills/evolution-impression-literal-detection/SKILL.md の Negative list は「既知の誤読を防ぐ説明的論拠」を保護対象として明示しており、その保護条件は「削除して振る舞い意味と改訂安定性の両方が変わらない場合にのみ impression literal」である。理由を抜く行為はこの保護に触れる。
行き先の軸で解ける。二つのテストは競合しない。
rules/model/liplus-coding-rule.md の Body States Behavior が置く判別テスト(その文を読んだ者の行いが変わるか)は、Negative list の除去テストと骨格が同じで行き先だけが違う。あちらの行き先は削除、こちらの行き先は移設である。
Negative list が守っているのは改訂安定性であって、本文へ据え置くことそれ自体ではない。移設に Judgment record: <slug> ポインタが伴えば、論拠は名指しで retrieval 可能な位置に残り、改訂安定性はポインタが担う。したがって保護はポインタによって満たされ、抜き取りは Negative list に触れない。
裏返しが成立条件になる。**ポインタ無しの抜き取りは、Negative list が禁じている「改訂安定性を損なう削除」そのものである。**規則はこれを禁止として literal に持つ。
| 判定 | 行き先 | 読む面 |
|---|---|---|
| 理由(納得するかどうかだけが変わる) | 移設 + ポインタ |
rules/model/liplus-coding-rule.md Body States Behavior |
| impression literal(振る舞い意味も改訂安定性も変わらない) | 削除 | skills/evolution-impression-literal-detection/SKILL.md |
同じ句が両方に掛かることがある。その場合に効くのは上の解決である——移設は削除ではないため、Negative list の保護は移設を阻却しない。
AI 側の当初案は「記録が先、剥ぎ取りは後」だった。Master の指摘で反転している。これは Li+ の規則ではなくその場で足された条件であり、rules/model/subtractive-structural-beauty.md の二値(必須か不要か、必須にできないなら安全網を書くな)を通らない。
守ろうとした危険(どこにも無い論拠を消す)は成立しない。剥ぎ取った文面は git 履歴に残り、判断記録は PR の diff から後で書ける。そして順序は着手可能性を左右する——全節の記録を先に書く形は、着手前に作業が積み上がって大きな構造リファクタを成立させない。
受容した残余: 剥ぎ取りから記録までの間、論拠は git 履歴にのみ在り judgment record の retrieval からは遠い。期間限定の不便であって損失ではない。
- 「理由」の多くは禁止として書き直せる。「二つ目の写しはずれるから、ここには書かない」は「ここには書かない」で振る舞いが決まる。#1837 で個別判定した弁明 17 箇所のうち相当数がこの形だった。
- **再議を防ぐ機構は既にある。**判断記録(wiki)と、それを引く
skills/evolution-judgment-learning——同 skill の発火条件は文字どおり「既存の規則に異議を唱える/変更を提案するとき」である。本文が抱える理由は、その二つ目の写しにあたる。
規則を新設した PR #1842 に対し、親の判断で brake 1 を掛けた(起票が Master 主導のため rules/evolution/initiator-autonomy.md Self-evolution PR definition の条件 1 を満たさず、義務ではない)。N=3 の評価者が軸 B で 2 件、いずれも 3/3 で報告した——新設した節自身が、自分の書いた判別テストに違反している。
| 箇所 | 抜いた句 | 判定 |
|---|---|---|
Body States Behavior 行き先段落 |
「二つのテストは骨格を共有し、あちらの行き先は削除である」 | 直後の指示文だけで行き先は決まる。変わるのは「なぜ似ているか」の理解のみ = 理由 |
| 同 ポインタ段落 | 「ポインタが改訂安定性を担う(Negative list が保護する性質)」 | 直前の禁止だけで完結。末尾句は「なぜその禁止が在るか」のみ供給 = 理由 |
同じ 2 句を固定軸(impression-literal 検出)は 3/3 で保護対象と判定し、2 体がこれを「二つの権威あるテストの緊張」として著者へ差し戻した。著者の裁定は上記 Current resolution のとおり——緊張は行き先の軸で解ける。両方を受理し、本 entry へ移設してポインタを立てた。
新設と同時に自分へ適用されたことで、規則は施行例を 1 件持って着地している。
- 本 entry を生んだ issue #1838 の成果物は
rules/model/liplus-coding-rule.mdへの一項追加のみ。既存本文への適用(実際の剥ぎ取り)は別の作業単位 - 規則の scope は
rules//skills//adapter/の本文。docs/は届かない(記録面であり、rules/evolution/initiator-autonomy.mdGoverned surface の非該当側)。ただし docs mirror は一次ソースを再構成できることが要件のため、ポインタは mirror にも写る - 判断記録の不在は剥ぎ取りの阻却条件にならない。ただし記録を書くことは剥ぎ取った作業単位の必須項目
**指摘を却下し 2 句を本文へ据え置く案。**固定軸の Negative list が 3/3 で保護と判定しているため、字面としては通る。却下の理由は、その保護が守っている対象が改訂安定性であってインライン配置ではないこと——ポインタが同じ性質を担うなら、据え置きは規則の初適用を自分に対してだけ免除する形になる。新設した規則が自分自身を通らないまま着地すれば、適用側 issue が最初に引く先例がその免除になる。
**「規則を新設した節だけは例外」と literal に書く案。**射程の限定文を足す形であり、まさに PR #1841 で測った 35% を生む動作。rules/model/subtractive-structural-beauty.md の二値に反する。
-
relates to
always-on-duplication-removal-direction— あちらは境界を跨ぐかでどちらの写しを残すかを決める軸、本判断は句の性質(振る舞いか理由か)で本文に残すか移設するかを決める軸。どちらも削除跡にポインタを残す点で形が同じ -
relates to
subtractive-structural-beauty-framing— 判別テスト(読んだ者の行いが変わるか)は、内側の感覚ではなく観察可能な load-bearing 性質で切る形の一適用 -
relates to
brake1-firing-closed-by-criterion— 列挙でなく基準で閉じる同型。本件も「どの句が理由か」を列挙せずテスト 1 本で閉じている
- 本文から理由を抜こうとしていて、跡にポインタが無い → その抜き取りは本判断の許可範囲外であり、Negative list が禁じる削除にあたる
- 固定軸の Negative list を根拠に「この論拠は本文へ据え置くべき」と言われた → 保護対象は改訂安定性であってインライン配置ではない。ポインタが立つかを先に見る
- 骨格の同じ二つのテストのどちらを当てるか迷った → 判定が理由なら移設(本節)、impression literal なら削除(同 skill)。行き先が違うだけで骨格は同じ
- 「記録を先に書いてから剥ぐ」順序が提案された → Master の指摘で反転済み。剥いだ diff がそのまま記録の材料になる
この 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 の言い直し・位置づけは持たない
- サブエージェント起動の着地点の目安と数値の出典