-
-
Notifications
You must be signed in to change notification settings - Fork 0
wiki sync code notation strip
wiki sync の cross-reference / sidebar 整合性アサーションが ](<x>) を抽出するとき、コードスパンやフェンス内の記法をどう扱うか。
抽出の前にコード記法を除去する。除去は 5 形式(HTML コメント / HTML 要素 / フェンスドコードブロック / インデントコードブロック / インラインコードスパン)を対象とし、この順序で、各パスを本文全体に適用してから次のパスへ進む。区切りはバッククォート N 個の run として突き合わせ、長さを固定値で書かない。フェンスは 3 個以上のバッククォートまたはチルダの run のみからなる行で開き、同じ文字の同じ長さ以上の run で閉じる。
sidebar 側は当時 _Sidebar.md に記法が無く偽陽性は出ていなかったが、同じ抽出方式であるため予防的に同じ除去を適用する。
- depends on: wiki sync 時の _Sidebar.md 整合性 assertion — 除去対象となる抽出方式そのものを導入した判断。本 entry はその抽出の入力側を条件付ける
アサーションの仕様文自身が ](<x>) 記法をインラインコードスパン内で使ってパターンを説明している。したがって仕様どおりに実行すると必ず自己一致する。2026-07-26 の v1.19.11(tag build-2026-07-26.3)で実測したところ、docs/4.-Operations.md(wiki ミラー)の 2 箇所と wiki entry wiki-sync-sidebar-integrity-check.md の 1 箇所、計 3 件が「未解決リンク」として報告された。仕様は 1 件でも STOP と定めているため、以後すべてのリリースの wiki sync が恒久的に停止する状態だった。コード記法を除去して再抽出すると実リンク 66 件はすべて解決し、真の未解決リンクはゼロ。よって wiki の整合性問題ではなくアサーションの抽出ロジックの欠陥。
初版の修正はインラインコードスパンのみを対象にしていた。PR #1551 の brake 1(N=3)が 4 点を指摘して現在の形になった:
- 除去順序が未指定だと、インラインスパンのパスがフェンスより先に走ったときフェンス自身のバッククォート run が区切りと誤認され、無関係なテキストを飲み込む
- カバレッジがトリプルバッククォートのフェンスとシングルバッククォートのスパンだけを名指ししており、チルダフェンス / インデントブロック / HTML の code 要素が同じリスクを持つのに漏れていた
- 区切り長がハードコードで、run として突き合わせていなかった
- sidebar 側 rationale の末尾一文(「まだ偽陽性を出していない」)は、その上の除去ステップが無条件である以上 push surplus。3 体中 2 体が指摘し削除
- アサーションの停止側の挙動(STOP & escalate、自動修正なし)は変更しない。変えたのは抽出の入力のみ
- 仕様は
skills/operations-on-wiki-sync/SKILL.mdとdocs/4.-Operations.mdの双方にあるため同一 PR で整合させる
採用 = 抽出前の多段除去 + 順序の明示 + run 長の突き合わせ。
却下 = インラインスパンのみの単純除去(フェンス内の記法で同じ偽陽性が再発する)。却下 = アサーション自身の仕様文をコード記法以外の書き方に変える(記法の説明としての可読性を失い、他の文書での再発も防げない)。
このアサーションが追加されてから #1547 までのリリースでも同じ 3 件は存在していたはずである。にもかかわらず sync が停止した記録が無い。つまりアサーションが仕様どおりには実行されていなかった可能性が高い。手順が recall 依存であることの実例として、rules/model/subtractive-structural-beauty.md の procedure-vs-structure 二分に照らして観測する価値がある(過去 run の実行実態は未調査)。
この 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-K)
- 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
判断構造
- 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
- skill の発火条件は description 内に置く
- subagent parallel-width cap
- brake1 operational-copy target-conditional
- 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 完了条件フィールドの射程