Home

Li+ (liplus) Language

Li+ は、AI と現実のズレを前提にした開発のための言語／プロトコルです。
AI の推論や説明を信頼せず、実行結果だけを事実として扱うことを中心に設計されています。

Li+ は新しいプログラミング言語や構文を定義しません。
代わりに、AI がどのように振る舞い、どこで止まり、何を根拠に修正するかという
判断と責任の構造を定義します。

この Wiki は 人間向けの解釈レイヤーです。
Li+.md は AI 向けの正本仕様であり、
本 Wiki はそれを人間が理解・運用するための説明です。

---

What Li+ Is

• 実行を唯一の現実とする AI 開発プロトコル
• AI が 安全に間違えられる 構造を提供する
• 正しさを「推論」ではなく「証拠」で判断する
• 人間の最終判断と責任を明確に残す

---

What Li+ Is NOT

• 新しいプログラミング言語ではない
• 正しさや品質を保証しない
• AI に全権を委ねる仕組みではない
• 完全自動開発を目的としない

---

Core Loop

Li+ は次のループを基本とします。

1. SPEC
   Issue に自然言語で仮説・意図・制約を書く
2. IMPLEMENT
   AI が実装・テスト・設定・ドキュメントを生成する
3. EXECUTE
   CI や実行環境で実際に動かす
4. OBSERVE
   ログ・差分・成果物を観測する
5. ADJUST
   AI が証拠を基に仮説を修正する

このループは何度でも繰り返されます。
終了するかどうかは人間が決めます。

---

Evidence over Confidence

Li+ において「事実」として扱われるのは次のものだけです。

• 実行結果
• ログ
• 差分（diff）
• 成果物（artifacts）

AI の説明や自信は、事実ではありません。

---

Release Model (v0.4.x)

Li+ v0.4.x では、リリース責任を明確に分離します。

• pre-release

  • AI が生成した結果
  • 現時点での最善案
  • 人間の承認は含まれない

• latest

  • 人間が実機・実運用で確認
  • 問題ないと判断したもの
  • 現実として採用されるリリース

AI は pre-release を事実として扱ってはいけません。
事実として扱えるのは latest のみです。

---

Where to Go Next

• Roles：各主体の責任範囲
• Time Semantics：未来の扱い
• Policies & Conventions：運用ルール
• FAQ：よくある誤解