musubix 3.6.0 → 3.7.3

package/.github/skills/verification-loop/scripts/verify.sh

@@ -0,0 +1,305 @@
+#!/usr/bin/env bash
+# verify.sh - 6フェーズ検証スクリプト
+# Usage: ./verify.sh [quick|full]
+#
+# トレーサビリティ: REQ-VL-001, DES-VL-001
+
+set -e
+
+MODE="${1:-full}"
+REPORT_FILE=".reports/verification-$(date +%Y%m%d-%H%M%S).md"
+
+# カラー定義
+RED='\033[0;31m'
+GREEN='\033[0;32m'
+YELLOW='\033[1;33m'
+BLUE='\033[0;34m'
+NC='\033[0m' # No Color
+
+# 結果を格納する配列
+declare -A RESULTS
+declare -A DETAILS
+
+# ヘルパー関数
+log_phase() {
+    echo -e "\n${BLUE}━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━${NC}"
+    echo -e "${BLUE}Phase: $1${NC}"
+    echo -e "${BLUE}━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━${NC}"
+}
+
+log_pass() {
+    echo -e "${GREEN}✅ PASS${NC}: $1"
+}
+
+log_fail() {
+    echo -e "${RED}❌ FAIL${NC}: $1"
+}
+
+log_warn() {
+    echo -e "${YELLOW}⚠️  WARN${NC}: $1"
+}
+
+log_skip() {
+    echo -e "${YELLOW}⏭️  SKIP${NC}: $1"
+}
+
+# Phase 1: Build
+phase_build() {
+    log_phase "1. Build"
+    
+    if [ "$MODE" = "quick" ]; then
+        log_skip "Quick mode - skipping build"
+        RESULTS[build]="SKIP"
+        return 0
+    fi
+    
+    if npm run build 2>&1; then
+        log_pass "Build succeeded"
+        RESULTS[build]="PASS"
+        return 0
+    else
+        log_fail "Build failed"
+        RESULTS[build]="FAIL"
+        return 1
+    fi
+}
+
+# Phase 2: Type Check
+phase_types() {
+    log_phase "2. Type Check"
+    
+    local output
+    output=$(npx tsc --noEmit 2>&1) || true
+    local error_count
+    error_count=$(echo "$output" | grep -c "error TS" || echo "0")
+    
+    if [ "$error_count" -eq 0 ]; then
+        log_pass "No type errors"
+        RESULTS[types]="PASS"
+        DETAILS[types]="0 errors"
+        return 0
+    else
+        log_fail "$error_count type error(s)"
+        RESULTS[types]="FAIL"
+        DETAILS[types]="$error_count errors"
+        echo "$output" | head -20
+        return 1
+    fi
+}
+
+# Phase 3: Lint
+phase_lint() {
+    log_phase "3. Lint"
+    
+    if [ "$MODE" = "quick" ]; then
+        log_skip "Quick mode - skipping lint"
+        RESULTS[lint]="SKIP"
+        return 0
+    fi
+    
+    local output
+    output=$(npm run lint 2>&1) || true
+    local error_count
+    error_count=$(echo "$output" | grep -c "error" || echo "0")
+    local warn_count
+    warn_count=$(echo "$output" | grep -c "warning" || echo "0")
+    
+    if [ "$error_count" -eq 0 ]; then
+        if [ "$warn_count" -gt 0 ]; then
+            log_warn "$warn_count warning(s)"
+            RESULTS[lint]="PASS"
+            DETAILS[lint]="$warn_count warnings"
+        else
+            log_pass "No lint errors or warnings"
+            RESULTS[lint]="PASS"
+            DETAILS[lint]="clean"
+        fi
+        return 0
+    else
+        log_fail "$error_count error(s), $warn_count warning(s)"
+        RESULTS[lint]="FAIL"
+        DETAILS[lint]="$error_count errors, $warn_count warnings"
+        echo "$output" | head -20
+        return 1
+    fi
+}
+
+# Phase 4: Tests
+phase_tests() {
+    log_phase "4. Tests"
+    
+    local test_cmd="npm run test"
+    
+    if [ "$MODE" = "quick" ]; then
+        # Quick mode: 変更に関連するテストのみ
+        test_cmd="npm run test:unit -- --changed"
+    fi
+    
+    local output
+    if output=$($test_cmd 2>&1); then
+        local passed
+        passed=$(echo "$output" | grep -oP '\d+ passed' | head -1 || echo "? passed")
+        log_pass "Tests $passed"
+        RESULTS[tests]="PASS"
+        DETAILS[tests]="$passed"
+        return 0
+    else
+        log_fail "Some tests failed"
+        RESULTS[tests]="FAIL"
+        DETAILS[tests]="failed"
+        echo "$output" | tail -30
+        return 1
+    fi
+}
+
+# Phase 5: Security
+phase_security() {
+    log_phase "5. Security"
+    
+    if [ "$MODE" = "quick" ]; then
+        log_skip "Quick mode - skipping security scan"
+        RESULTS[security]="SKIP"
+        return 0
+    fi
+    
+    local output
+    output=$(npm audit --json 2>&1) || true
+    
+    local critical
+    critical=$(echo "$output" | jq '.metadata.vulnerabilities.critical // 0' 2>/dev/null || echo "0")
+    local high
+    high=$(echo "$output" | jq '.metadata.vulnerabilities.high // 0' 2>/dev/null || echo "0")
+    
+    if [ "$critical" -eq 0 ] && [ "$high" -eq 0 ]; then
+        log_pass "No critical or high vulnerabilities"
+        RESULTS[security]="PASS"
+        DETAILS[security]="0 critical, 0 high"
+        return 0
+    else
+        log_fail "$critical critical, $high high vulnerabilities"
+        RESULTS[security]="FAIL"
+        DETAILS[security]="$critical critical, $high high"
+        return 1
+    fi
+}
+
+# Phase 6: Diff
+phase_diff() {
+    log_phase "6. Diff Review"
+    
+    local stats
+    stats=$(git diff --stat HEAD~1..HEAD 2>/dev/null || git diff --stat)
+    
+    local files_changed
+    files_changed=$(echo "$stats" | tail -1 | grep -oP '\d+ file' | grep -oP '\d+' || echo "0")
+    local insertions
+    insertions=$(echo "$stats" | tail -1 | grep -oP '\d+ insertion' | grep -oP '\d+' || echo "0")
+    local deletions
+    deletions=$(echo "$stats" | tail -1 | grep -oP '\d+ deletion' | grep -oP '\d+' || echo "0")
+    
+    echo "$stats"
+    
+    RESULTS[diff]="INFO"
+    DETAILS[diff]="$files_changed files, +$insertions -$deletions"
+    
+    return 0
+}
+
+# レポート生成
+generate_report() {
+    mkdir -p .reports
+    
+    local overall="READY"
+    for phase in build types lint tests security; do
+        if [ "${RESULTS[$phase]}" = "FAIL" ]; then
+            overall="NOT READY"
+            break
+        fi
+    done
+    
+    cat << EOF > "$REPORT_FILE"
+# Verification Report
+
+**Date**: $(date +%Y-%m-%d\ %H:%M:%S)
+**Mode**: $MODE
+
+## Results
+
+| Phase | Status | Details |
+|-------|--------|---------|
+| Build | ${RESULTS[build]:-N/A} | ${DETAILS[build]:-} |
+| Types | ${RESULTS[types]:-N/A} | ${DETAILS[types]:-} |
+| Lint | ${RESULTS[lint]:-N/A} | ${DETAILS[lint]:-} |
+| Tests | ${RESULTS[tests]:-N/A} | ${DETAILS[tests]:-} |
+| Security | ${RESULTS[security]:-N/A} | ${DETAILS[security]:-} |
+| Diff | ${RESULTS[diff]:-N/A} | ${DETAILS[diff]:-} |
+
+## Overall
+
+**Status**: $overall
+
+EOF
+
+    echo ""
+    echo "╔════════════════════════════════════════════════════════════╗"
+    echo "║                   VERIFICATION REPORT                       ║"
+    echo "╠════════════════════════════════════════════════════════════╣"
+    echo "║                                                             ║"
+    printf "║  Build:     [%-4s] %-40s ║\n" "${RESULTS[build]}" ""
+    printf "║  Types:     [%-4s] %-40s ║\n" "${RESULTS[types]}" "(${DETAILS[types]:-})"
+    printf "║  Lint:      [%-4s] %-40s ║\n" "${RESULTS[lint]}" "(${DETAILS[lint]:-})"
+    printf "║  Tests:     [%-4s] %-40s ║\n" "${RESULTS[tests]}" "(${DETAILS[tests]:-})"
+    printf "║  Security:  [%-4s] %-40s ║\n" "${RESULTS[security]}" "(${DETAILS[security]:-})"
+    printf "║  Diff:      [%-4s] %-40s ║\n" "${RESULTS[diff]}" "(${DETAILS[diff]:-})"
+    echo "║                                                             ║"
+    echo "╠════════════════════════════════════════════════════════════╣"
+    printf "║  Overall:   [%-9s]  for PR                             ║\n" "$overall"
+    echo "╚════════════════════════════════════════════════════════════╝"
+    echo ""
+    echo "Report saved to: $REPORT_FILE"
+}
+
+# メイン処理
+main() {
+    echo "Starting verification ($MODE mode)..."
+    echo ""
+    
+    local failed=0
+    
+    # Phase 1: Build
+    phase_build || failed=1
+    
+    # ビルド失敗時は後続フェーズをスキップ
+    if [ "${RESULTS[build]}" = "FAIL" ]; then
+        RESULTS[types]="SKIP"
+        RESULTS[lint]="SKIP"
+        RESULTS[tests]="SKIP"
+        RESULTS[security]="SKIP"
+        RESULTS[diff]="SKIP"
+    else
+        # Phase 2: Type Check
+        phase_types || failed=1
+        
+        # 型エラー時は後続をスキップ
+        if [ "${RESULTS[types]}" = "FAIL" ]; then
+            RESULTS[lint]="SKIP"
+            RESULTS[tests]="SKIP"
+            RESULTS[security]="SKIP"
+        else
+            # Phase 3-5
+            phase_lint || failed=1
+            phase_tests || failed=1
+            phase_security || failed=1
+        fi
+        
+        # Phase 6: Diff (常に実行)
+        phase_diff
+    fi
+    
+    # レポート生成
+    generate_report
+    
+    exit $failed
+}
+
+main "$@"

package/AGENTS.md

@@ -0,0 +1,333 @@
+# AGENTS.md — MUSUBIX v3.7.2
+
+> **AI Agent向け最適化ナレッジ** — WHEN/DO構文で明確なトリガーとアクションを定義
+
+## 🎯 クイックリファレンス
+
+| 項目 | 値 |
+|------|-----|
+| バージョン | 3.7.2 |
+| テストカバレッジ | 92%+ |
+| パッケージ数 | 28 |
+| MCP ツール | 114 |
+| Agent Skills | 15 |
+
+---
+
+## 📦 パッケージ構成
+
+| カテゴリ | パッケージ | 用途 |
+|----------|------------|------|
+| **Core** | `@musubix/core` | エンティティ・値オブジェクト |
+| | `@musubix/knowledge` | ナレッジグラフ CRUD |
+| | `@musubix/musubi` | AI要約（300字以内） |
+| | `@musubix/codegraph` | コード解析・依存関係抽出 |
+| **SDD** | `@musubix/sdd-ontology` | オントロジー管理 |
+| | `@musubix/decisions` | ADR管理・トレーサビリティ |
+| | `@musubix/synthesis` | 情報統合 |
+| **Verification** | `@musubix/formal-verify` | Lean4形式検証 |
+| | `@musubix/lean` | Lean4連携 |
+| | `@musubix/policy` | ルール駆動検証 |
+| **Agent** | `@musubix/assistant-axis` | マルチモーダル統合 |
+| | `@musubix/expert-delegation` | 専門家委譲 |
+| | `@musubix/skill-manager` | スキル動的ロード |
+| | `@musubix/agent-orchestrator` | 階層的オーケストレーション |
+| **Learning** | `@musubix/wake-sleep` | 自律学習 |
+| | `@musubix/deep-research` | 深層調査 |
+| | `@musubix/library-learner` | ライブラリ学習 |
+| **Search** | `@musubix/neural-search` | ベクトル・ハイブリッド検索 |
+| **Workflow** | `@musubix/workflow-engine` | DAGワークフロー |
+| | `@musubix/dfg` | データフローグラフ |
+| **MCP** | `@musubix/mcp-server` | MCP統合サーバー |
+| | `@musubix/ontology-mcp` | オントロジーMCP |
+| | `@musubix/pattern-mcp` | パターンMCP |
+
+---
+
+## 🛠️ CLI コマンド
+
+### 基本操作
+
+```bash
+# プロジェクト全体
+pnpm i && pnpm build && pnpm test
+
+# 個別パッケージ
+pnpm --filter @musubix/core test
+pnpm --filter @musubix/knowledge test
+```
+
+### ナレッジ操作
+
+```bash
+# 追加・検索
+musubix knowledge add --source ./src --output ./knowledge.json
+musubix knowledge search "認証" --semantic --top-k 5
+
+# コードグラフ
+musubix codegraph analyze ./src --include-dependencies
+musubix codegraph query "関数 -> 依存関係"
+```
+
+### SDD ワークフロー
+
+```bash
+# 仕様駆動開発
+musubix sdd init --domain "Eコマース" --output ./specs
+musubix sdd validate ./specs --strict
+musubix sdd generate ./specs --output ./src
+```
+
+### MCP サーバー
+
+```bash
+# 起動
+musubix-mcp serve
+musubix-mcp serve --port 3000 --skills-dir ./skills
+```
+
+---
+
+## 🔌 MCP ツール（主要）
+
+| カテゴリ | ツール | 用途 |
+|----------|--------|------|
+| **Knowledge** | `knowledge_add`, `knowledge_search`, `knowledge_import`, `knowledge_export` | ナレッジ CRUD |
+| **CodeGraph** | `codegraph_analyze`, `codegraph_query`, `codegraph_visualize` | コード解析 |
+| **SDD** | `sdd_init`, `sdd_validate`, `sdd_generate`, `sdd_trace` | 仕様駆動開発 |
+| **Wake-Sleep** | `wake_observe`, `wake_optimize`, `sleep_consolidate`, `sleep_generate` | 自律学習 |
+| **Formal** | `formal_translate`, `formal_verify`, `formal_prove` | 形式検証 |
+| **Search** | `neural_search`, `hybrid_search`, `graph_search` | 検索 |
+
+**全114ツール**: `musubix-mcp list-tools` で確認
+
+---
+
+## 📜 10憲法条項
+
+| # | 条項 | ルール |
+|---|------|--------|
+| 1 | コンテキスト最優先 | Steering/product.ja.md, structure.ja.md を必ず参照 |
+| 2 | ナレッジ駆動 | 既存知識を検索・活用してから回答 |
+| 3 | 仕様駆動 (SDD) | 要件→設計→実装→検証の順序厳守 |
+| 4 | トレーサビリティ | 決定事項は ADR として記録 |
+| 5 | 段階的詳細化 | 抽象から具体へ、一度に1レベル |
+| 6 | 自律学習 | Wake-Sleepサイクルで継続的改善 |
+| 7 | 形式検証 | 重要ロジックはLean4で証明 |
+| 8 | パターン適用 | 学習済みベストプラクティスを活用 |
+| 9 | 明示的コミュニケーション | 不明点は確認、仮定を明示 |
+| 10 | 品質最優先 | テスト・レビュー・検証を省略しない |
+
+---
+
+## 🧭 Project Memory（Steering）
+
+| ファイル | 用途 | 参照タイミング |
+|----------|------|----------------|
+| `steering/product.ja.md` | 製品ビジョン・ゴール | プロジェクト理解時 |
+| `steering/structure.ja.md` | アーキテクチャ構造 | 設計・実装時 |
+| `steering/tech.ja.md` | 技術スタック・制約 | 技術選定時 |
+| `steering/project.yml` | プロジェクトメタデータ | CI/CD設定時 |
+| `steering/rules/*.md` | ドメイン固有ルール | コード生成時 |
+
+---
+
+## 🔬 主要機能
+
+### 1. Wake-Sleep 自律学習
+
+```typescript
+// WHEN: パターン学習が必要
+// DO: Wake-Sleepサイクルを実行
+const result = await wakeSleep.observe("./src/**/*.ts");
+const patterns = await wakeSleep.consolidate(result);
+await wakeSleep.apply(patterns);
+```
+
+### 2. Knowledge Graph
+
+```typescript
+// WHEN: 情報の関連付けが必要
+// DO: エンティティとリレーションを追加
+await knowledge.addEntity({ type: "Function", name: "auth" });
+await knowledge.addRelation("auth", "uses", "jwt-library");
+const related = await knowledge.search("認証", { semantic: true });
+```
+
+### 3. CodeGraph 解析
+
+```typescript
+// WHEN: コード依存関係の把握が必要
+// DO: 解析してクエリ実行
+const graph = await codegraph.analyze("./src");
+const deps = await codegraph.query("Function -> Dependency");
+```
+
+### 4. SDD ワークフロー
+
+```typescript
+// WHEN: 新機能の仕様策定
+// DO: init → validate → generate
+await sdd.init({ domain: "Payment", output: "./specs" });
+await sdd.validate("./specs", { strict: true });
+await sdd.generate("./specs", { output: "./src" });
+```
+
+### 5. Formal Verification
+
+```typescript
+// WHEN: 重要ロジックの証明が必要
+// DO: Lean4に変換して検証
+const leanCode = await formal.translate(tsCode);
+const proof = await formal.verify(leanCode);
+```
+
+---
+
+## 📚 学習済みベストプラクティス
+
+| パターン | 適用条件 | 効果 |
+|----------|----------|------|
+| Result型 | エラーハンドリング | 型安全なエラー処理 |
+| Repository | データアクセス | 永続化層の抽象化 |
+| ValueObject | 不変データ | 値の整合性保証 |
+| AggregateRoot | 整合性境界 | トランザクション境界の明確化 |
+| CQRS | 読み書き分離 | パフォーマンス最適化 |
+| EventSourcing | 状態追跡 | 完全な監査証跡 |
+| DomainEvent | 疎結合通知 | モジュール間の依存削減 |
+| Specification | 条件カプセル化 | 再利用可能なビジネスルール |
+| Factory | 生成ロジック | 複雑なオブジェクト生成の隠蔽 |
+| Strategy | アルゴリズム切替 | 実行時の振る舞い変更 |
+
+---
+
+## 🤖 Agent Skills（15スキル）
+
+### Core Skills
+
+| スキル | トリガー | 機能 |
+|--------|----------|------|
+| `knowledge-capture` | 新情報入力時 | エンティティ抽出・関係構築 |
+| `knowledge-integration` | 統合要求時 | 複数ソースの知識統合 |
+| `structured-summary` | 要約要求時 | 構造化300字要約 |
+| `deep-research` | 調査要求時 | 多段階深層調査 |
+| `learning-extraction` | パターン発見時 | ベストプラクティス抽出 |
+
+### SDD Skills
+
+| スキル | トリガー | 機能 |
+|--------|----------|------|
+| `musubix-domain-inference` | 要件分析時 | ドメインモデル推論 |
+| `musubix-sdd-workflow` | SDD開始時 | 仕様駆動開発ガイド |
+| `musubix-code-generation` | コード生成時 | SDD準拠コード生成 |
+| `musubix-test-generation` | テスト生成時 | 仕様ベーステスト生成 |
+| `musubix-traceability` | 追跡確認時 | 要件-実装追跡 |
+
+### Documentation Skills
+
+| スキル | トリガー | 機能 |
+|--------|----------|------|
+| `musubix-adr-generation` | 決定記録時 | ADR自動生成 |
+| `musubix-c4-design` | 設計図作成時 | C4モデル生成 |
+| `musubix-technical-writing` | 文書作成時 | 技術文書生成 |
+| `musubix-best-practices` | ノウハウ整理時 | ベストプラクティス文書化 |
+| `musubix-ears-validation` | 要件検証時 | EARS構文検証 |
+
+---
+
+## 📋 AI Agent ガイドライン
+
+### WHEN: 新規タスク開始
+
+```
+DO:
+1. steering/ を読んでコンテキスト把握
+2. knowledge search で既存知識確認
+3. 関連 ADR を確認
+4. 必要なスキルを特定
+```
+
+### WHEN: コード生成
+
+```
+DO:
+1. SDD ワークフローに従う
+2. 学習済みパターンを適用
+3. テストを同時生成
+4. トレーサビリティを維持
+```
+
+### WHEN: エラー発生
+
+```
+DO:
+1. Result型でエラーをラップ
+2. コンテキスト情報を付加
+3. リカバリー戦略を検討
+4. 学習データとして記録
+```
+
+### WHEN: 不明点がある
+
+```
+DO:
+1. 仮定を明示して確認を求める
+2. 複数の選択肢を提示
+3. 決定事項は ADR に記録
+```
+
+---
+
+## 🔄 推奨ワークフロー
+
+```
+Phase 1: Context   │ steering/ 読込 → knowledge search → ADR確認
+        ↓
+Phase 2: Plan      │ スキル選定 → タスク分解 → 依存関係整理
+        ↓
+Phase 3: Execute   │ SDD準拠実装 → パターン適用 → テスト生成
+        ↓
+Phase 4: Verify    │ 形式検証 → トレーサビリティ確認 → レビュー
+        ↓
+Phase 5: Learn     │ Wake-Sleep → パターン抽出 → ナレッジ更新
+```
+
+---
+
+## 📁 ストレージ構造
+
+| ディレクトリ | 用途 |
+|--------------|------|
+| `storage/learning/` | 学習データ |
+| `storage/specs/` | SDD仕様 |
+| `storage/design/` | 設計文書 |
+| `storage/changes/` | 変更履歴 |
+| `storage/reviews/` | レビュー記録 |
+| `storage/dashboard/` | メトリクス |
+
+---
+
+## 🚨 重要な制約
+
+| 制約 | 理由 |
+|------|------|
+| Node.js 20+ | ESM・最新API |
+| TypeScript strict | 型安全性 |
+| pnpm workspace | モノレポ管理 |
+| Vitest | 高速テスト |
+| ESLint flat config | 統一リント |
+
+---
+
+## 📞 トラブルシューティング
+
+| 症状 | 対処 |
+|------|------|
+| 依存解決エラー | `pnpm i --force` |
+| 型エラー | `pnpm build` で再ビルド |
+| テスト失敗 | `pnpm --filter <pkg> test` で個別実行 |
+| MCP接続失敗 | ポート確認、`--debug` オプション |
+
+---
+
+**最終更新**: 2025-01-29 | **バージョン**: 3.7.2

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 nahisaho
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.