Repository navigation
provenance retrieval reachability
rule 本文から来歴を降ろす規律は、来歴が git log / git blame と issue・PR への RAG に残ることを前提にしている。その前提は実際に成立しているか。
成立している。ただし前提が名指ししている経路においてのみであり、gh issue view による直接参照は広い帯で失われている。
2026-08-15 に発行済み通番 1〜1749 の全数走査で確定した。
Liplus-Project/liplus-lin-lay の凍結に伴う、同アカウント作成物の不可視化。削除でも移行でも権限設定でもない。
判定は authorship の分布による。解決する 402 件の作成者は smileygames 350 / lipluscodex 48 / app/github-actions 3 / smile202205 1 であり、liplus-lin-lay 作成物は 1 件も残っていない。解決する番号帯(1-270 と 1727-1749 が連続、間は疎)は他アカウントの作成分布とそのまま一致し、空白帯 1021-1527 / 1623-1726 は同アカウントが作成を担っていた期間に対応する。
| 面 | 状態 | 実測 |
|---|---|---|
git log / git blame
|
健全 | docs 側の不解決 100 件のうち 97 件、wiki 側 193 件のうち 178 件が git log --grep で到達可能 |
| issue・PR への RAG | 健全 | github-rag-mcp の索引が凍結前の本文を保持。空白帯の entry が本文由来のクエリで dense/sparse 両軸 1 位から返る |
gh issue view 直接参照 |
不可 | 空白帯は全て 404 |
rules/ / skills/
|
露出ゼロ | 番号走査で 0 件 |
docs/ |
露出あり | distinct 引用 113 件中、解決 13 |
| wiki | 露出あり | distinct 引用 210 件中、解決 17 |
どの面からも引けない番号は 15 件(993 / 1222 / 1426 / 1427 / 1428 / 1430 / 1542 / 1597 / 1642 / 1645 / 1646 / 1647 / 1673 / 1707 / 1724)。
RAG 索引は Master のアカウント上の単一インスタンスであり、凍結前の状態を保持しているにすぎない。再構築が走れば同じ 404 を引く。索引が保持していることは測定された事実であって、保証ではない。 前提の成立はこの条件の下にある。
-
depends on
rules-hold-criteria-not-provenance— 本 entry は同 entry が到達性を預けた先を測ったものであり、同 entry の規律が成立しなければ測る対象そのものが無い。 -
depends on
liplus-structure-as-retrieval-surface— retrieval 面への配置という設計そのものが前提。
直近のサイクルで rule 本文から retrieval 側へ移した引用がまとまった量あり、その移送先が答えるかは未確認のままだった。PR #1747 の実装中に「本文が参照する番号の多くが解決しない」という観測が独立に二者から上がり、規律の土台が抜けている可能性が立った。
- 原因を断定せずに状態から確定させること。404 が返る事実だけからは削除・移行・可視性・権限のいずれとも決まらない。authorship 分布が決め手になった。
- 調査は非破壊。issue / PR の状態を変更しない。
- 対処の設計は本判断の射程外。まず状態を確定させる。
採用 = 規律は維持する。 規律が名指ししている経路(git と RAG)は生きており、失われている gh issue view は規律が経路として挙げていない。移送先が答えないという懸念は成立しなかった。
却下 = 到達性が失われたとみなして rule 本文への番号復帰を認める案。復帰させても凍結された issue は引けないままであり、番号を本文に戻す代償だけが残る。原因が本文の側にないため、本文の側の修理は効かない。
残る軸(本判断の射程外):
- 凍結解除の申し立ては未実施。これが実際の修理であり、
rules/model/role-separation.mdの human = final judge により Master の判断領域にある。AI 側からは実行しない。 - 15 件の不到達および RAG 索引の単一障害点の扱い。
この 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 の言い直し・位置づけは持たない
- サブエージェント起動の着地点の目安と数値の出典