@nahisaho/musubix-core 1.8.5 → 2.0.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.github/skills/musubix-sdd-workflow/SKILL.md +86 -13
- package/AGENTS.md +49 -17
- package/package.json +3 -3
|
@@ -16,9 +16,11 @@ Before starting any development task:
|
|
|
16
16
|
2. Check `steering/rules/constitution.md` for the 9 constitutional articles
|
|
17
17
|
3. Review existing specs in `storage/specs/`
|
|
18
18
|
|
|
19
|
-
## Workflow
|
|
19
|
+
## Complete Workflow
|
|
20
20
|
|
|
21
|
-
###
|
|
21
|
+
### Phase 1: Requirements Definition
|
|
22
|
+
|
|
23
|
+
#### Step 1: Create Requirements Document (Article IV - EARS Format)
|
|
22
24
|
|
|
23
25
|
Create requirements using EARS patterns:
|
|
24
26
|
|
|
@@ -41,7 +43,19 @@ EARS Patterns:
|
|
|
41
43
|
- **Unwanted**: `THE [system] SHALL NOT [behavior]`
|
|
42
44
|
- **Optional**: `IF [condition], THEN THE [system] SHALL [response]`
|
|
43
45
|
|
|
44
|
-
|
|
46
|
+
#### Step 2-3: Requirements Review Loop
|
|
47
|
+
|
|
48
|
+
Review requirements for:
|
|
49
|
+
- EARS format compliance
|
|
50
|
+
- Completeness and clarity
|
|
51
|
+
- Testability
|
|
52
|
+
- Traceability readiness
|
|
53
|
+
|
|
54
|
+
**Repeat until no issues remain.**
|
|
55
|
+
|
|
56
|
+
### Phase 2: Design
|
|
57
|
+
|
|
58
|
+
#### Step 4: Create Design Document (Article VII - Design Patterns)
|
|
45
59
|
|
|
46
60
|
Create C4 model design documents:
|
|
47
61
|
|
|
@@ -65,7 +79,19 @@ Design document template:
|
|
|
65
79
|
[Component details]
|
|
66
80
|
```
|
|
67
81
|
|
|
68
|
-
|
|
82
|
+
#### Step 5-6: Design Review Loop
|
|
83
|
+
|
|
84
|
+
Review design for:
|
|
85
|
+
- Requirement coverage
|
|
86
|
+
- SOLID principles compliance
|
|
87
|
+
- Design pattern appropriateness
|
|
88
|
+
- Traceability to requirements
|
|
89
|
+
|
|
90
|
+
**Repeat until no issues remain.**
|
|
91
|
+
|
|
92
|
+
### Phase 3: Task Decomposition
|
|
93
|
+
|
|
94
|
+
#### Step 7: Generate Tasks
|
|
69
95
|
|
|
70
96
|
Generate implementation tasks from design:
|
|
71
97
|
|
|
@@ -81,23 +107,30 @@ Generate implementation tasks from design:
|
|
|
81
107
|
## 受入基準
|
|
82
108
|
- [ ] Criterion 1
|
|
83
109
|
- [ ] Criterion 2
|
|
110
|
+
|
|
111
|
+
## 見積もり
|
|
112
|
+
[4時間以内を推奨]
|
|
84
113
|
```
|
|
85
114
|
|
|
86
|
-
|
|
115
|
+
#### Step 8-9: Task Review Loop
|
|
116
|
+
|
|
117
|
+
Review tasks for:
|
|
118
|
+
- Appropriate granularity (≤4 hours)
|
|
119
|
+
- Clear acceptance criteria
|
|
120
|
+
- Complete traceability chain
|
|
121
|
+
|
|
122
|
+
**Repeat until no issues remain.**
|
|
123
|
+
|
|
124
|
+
### Phase 4: Implementation
|
|
125
|
+
|
|
126
|
+
#### Step 10: Coding & Unit Testing (Article III - Test-First)
|
|
87
127
|
|
|
88
|
-
|
|
128
|
+
For each task, follow Red-Green-Blue cycle:
|
|
89
129
|
|
|
90
130
|
1. **Red**: Write failing test first
|
|
91
131
|
2. **Green**: Write minimal code to pass
|
|
92
132
|
3. **Blue**: Refactor while keeping tests green
|
|
93
133
|
|
|
94
|
-
### Step 5: Traceability Validation (Article V)
|
|
95
|
-
|
|
96
|
-
Ensure 100% traceability:
|
|
97
|
-
```
|
|
98
|
-
REQ-* → DES-* → TSK-* → Code → Test
|
|
99
|
-
```
|
|
100
|
-
|
|
101
134
|
Add requirement IDs in code comments:
|
|
102
135
|
```typescript
|
|
103
136
|
/**
|
|
@@ -105,6 +138,46 @@ Add requirement IDs in code comments:
|
|
|
105
138
|
*/
|
|
106
139
|
```
|
|
107
140
|
|
|
141
|
+
#### Step 11: Integration Testing
|
|
142
|
+
|
|
143
|
+
When required by the task:
|
|
144
|
+
- Run integration tests
|
|
145
|
+
- Verify component interactions
|
|
146
|
+
- Ensure end-to-end flows work correctly
|
|
147
|
+
|
|
148
|
+
### Phase 5: Documentation & Completion
|
|
149
|
+
|
|
150
|
+
#### Step 12: Update CHANGELOG.md
|
|
151
|
+
|
|
152
|
+
Document all changes:
|
|
153
|
+
- New features
|
|
154
|
+
- Bug fixes
|
|
155
|
+
- Breaking changes
|
|
156
|
+
- Migration notes
|
|
157
|
+
|
|
158
|
+
#### Step 13: Update Other Documentation
|
|
159
|
+
|
|
160
|
+
If necessary, update:
|
|
161
|
+
- README.md
|
|
162
|
+
- USER-GUIDE.md
|
|
163
|
+
- API-REFERENCE.md
|
|
164
|
+
- AGENTS.md
|
|
165
|
+
|
|
166
|
+
#### Step 14: Git Commit & Push
|
|
167
|
+
|
|
168
|
+
```bash
|
|
169
|
+
git add .
|
|
170
|
+
git commit -m "feat/fix/chore: description"
|
|
171
|
+
git push
|
|
172
|
+
```
|
|
173
|
+
|
|
174
|
+
## Traceability Validation (Article V)
|
|
175
|
+
|
|
176
|
+
Ensure 100% traceability throughout:
|
|
177
|
+
```
|
|
178
|
+
REQ-* → DES-* → TSK-* → Code → Test
|
|
179
|
+
```
|
|
180
|
+
|
|
108
181
|
## CLI Commands
|
|
109
182
|
|
|
110
183
|
```bash
|
package/AGENTS.md
CHANGED
|
@@ -8,14 +8,14 @@
|
|
|
8
8
|
|
|
9
9
|
| 項目 | 詳細 |
|
|
10
10
|
|------|------|
|
|
11
|
-
| **バージョン** |
|
|
11
|
+
| **バージョン** | 2.0.0 (Deep Symbolic + Advanced Learning) |
|
|
12
12
|
| **言語** | TypeScript |
|
|
13
13
|
| **ランタイム** | Node.js >= 20.0.0 |
|
|
14
14
|
| **パッケージマネージャ** | npm >= 10.0.0 |
|
|
15
15
|
| **ビルドシステム** | モノレポ(npm workspaces) |
|
|
16
16
|
| **テストフレームワーク** | Vitest |
|
|
17
|
-
| **テスト数** |
|
|
18
|
-
|
|
|
17
|
+
| **テスト数** | 1660+ (全合格) |
|
|
18
|
+
| **パッケージ数** | 19 |
|
|
19
19
|
| **Agent Skills** | 12 (Claude Code対応) |
|
|
20
20
|
|
|
21
21
|
---
|
|
@@ -28,32 +28,44 @@
|
|
|
28
28
|
packages/
|
|
29
29
|
├── core/ # @nahisaho/musubix-core
|
|
30
30
|
├── mcp-server/ # @nahisaho/musubix-mcp-server
|
|
31
|
-
├── security/ # @nahisaho/musubix-security
|
|
31
|
+
├── security/ # @nahisaho/musubix-security
|
|
32
32
|
├── formal-verify/ # @nahisaho/musubix-formal-verify
|
|
33
33
|
├── yata-client/ # @nahisaho/musubix-yata-client
|
|
34
34
|
├── yata-local/ # @nahisaho/yata-local
|
|
35
35
|
├── yata-global/ # @nahisaho/yata-global
|
|
36
36
|
├── yata-ui/ # @nahisaho/yata-ui
|
|
37
|
+
├── yata-scale/ # @nahisaho/yata-scale (v2.0.0 NEW!)
|
|
37
38
|
├── pattern-mcp/ # @nahisaho/musubix-pattern-mcp
|
|
38
39
|
├── ontology-mcp/ # @nahisaho/musubix-ontology-mcp
|
|
39
40
|
├── wake-sleep/ # @nahisaho/musubix-wake-sleep
|
|
40
|
-
|
|
41
|
+
├── sdd-ontology/ # @nahisaho/musubix-sdd-ontology
|
|
42
|
+
├── dfg/ # @nahisaho/musubix-dfg (v2.0.0 NEW!)
|
|
43
|
+
├── lean/ # @nahisaho/musubix-lean (v2.0.0 NEW!)
|
|
44
|
+
├── library-learner/# @nahisaho/musubix-library-learner (v2.0.0 NEW!)
|
|
45
|
+
├── neural-search/ # @nahisaho/musubix-neural-search (v2.0.0 NEW!)
|
|
46
|
+
└── synthesis/ # @nahisaho/musubix-synthesis (v2.0.0 NEW!)
|
|
41
47
|
```
|
|
42
48
|
|
|
43
49
|
| パッケージ | npm | 役割 |
|
|
44
50
|
|-----------|-----|------|
|
|
45
51
|
| `packages/core/` | `@nahisaho/musubix-core` | コアライブラリ - CLI、EARS検証、コード生成、設計パターン |
|
|
46
52
|
| `packages/mcp-server/` | `@nahisaho/musubix-mcp-server` | MCPサーバー - 19ツール、3プロンプト |
|
|
47
|
-
| `packages/security/` | `@nahisaho/musubix-security` |
|
|
53
|
+
| `packages/security/` | `@nahisaho/musubix-security` | セキュリティ分析 - 脆弱性検出、シークレット検出、テイント解析 |
|
|
48
54
|
| `packages/formal-verify/` | `@nahisaho/musubix-formal-verify` | 形式検証 - Z3統合、Hoare検証、EARS→SMT変換 |
|
|
49
55
|
| `packages/yata-client/` | `@nahisaho/musubix-yata-client` | YATAクライアント - 知識グラフ連携 |
|
|
50
|
-
| `packages/yata-local/` | `@nahisaho/yata-local` |
|
|
51
|
-
| `packages/yata-global/` | `@nahisaho/yata-global` |
|
|
52
|
-
| `packages/yata-ui/` | `@nahisaho/yata-ui` |
|
|
56
|
+
| `packages/yata-local/` | `@nahisaho/yata-local` | YATA Local - SQLiteベースローカル知識グラフ |
|
|
57
|
+
| `packages/yata-global/` | `@nahisaho/yata-global` | YATA Global - 分散型知識グラフプラットフォーム |
|
|
58
|
+
| `packages/yata-ui/` | `@nahisaho/yata-ui` | YATA UI - Web可視化・管理インターフェース |
|
|
59
|
+
| `packages/yata-scale/` | `@nahisaho/yata-scale` | **YATA Scale** - 分散シャーディング・キャッシュ (v2.0.0 NEW!) |
|
|
53
60
|
| `packages/pattern-mcp/` | `@nahisaho/musubix-pattern-mcp` | パターン学習 - 抽出・圧縮・ライブラリ |
|
|
54
61
|
| `packages/ontology-mcp/` | `@nahisaho/musubix-ontology-mcp` | オントロジー - N3Store・推論エンジン |
|
|
55
62
|
| `packages/wake-sleep/` | `@nahisaho/musubix-wake-sleep` | Wake-Sleep学習サイクル |
|
|
56
63
|
| `packages/sdd-ontology/` | `@nahisaho/musubix-sdd-ontology` | SDD方法論オントロジー |
|
|
64
|
+
| `packages/dfg/` | `@nahisaho/musubix-dfg` | **DFG/CFG抽出** - データフロー・制御フロー解析 (v2.0.0 NEW!) |
|
|
65
|
+
| `packages/lean/` | `@nahisaho/musubix-lean` | **Lean 4統合** - 定理証明・EARS変換 (v2.0.0 NEW!) |
|
|
66
|
+
| `packages/library-learner/` | `@nahisaho/musubix-library-learner` | **ライブラリ学習** - APIパターン抽出 (v2.0.0 NEW!) |
|
|
67
|
+
| `packages/neural-search/` | `@nahisaho/musubix-neural-search` | **ニューラル検索** - 意味的コード検索 (v2.0.0 NEW!) |
|
|
68
|
+
| `packages/synthesis/` | `@nahisaho/musubix-synthesis` | **プログラム合成** - ニューラル誘導合成 (v2.0.0 NEW!) |
|
|
57
69
|
|
|
58
70
|
### Core パッケージモジュール
|
|
59
71
|
|
|
@@ -513,17 +525,37 @@ npx musubix learn best-practices --format markdown
|
|
|
513
525
|
### 推奨ワークフロー
|
|
514
526
|
|
|
515
527
|
```
|
|
528
|
+
【Phase 1: 要件定義】
|
|
516
529
|
1. steering/ を読む
|
|
517
|
-
2.
|
|
518
|
-
3.
|
|
519
|
-
4.
|
|
520
|
-
|
|
521
|
-
|
|
522
|
-
|
|
530
|
+
2. 要件定義書を作成(EARS形式)
|
|
531
|
+
3. 要件定義書のレビューと修正
|
|
532
|
+
4. 問題がなくなるまで3を繰り返す
|
|
533
|
+
|
|
534
|
+
【Phase 2: 設計】
|
|
535
|
+
5. 設計書を作成(C4モデル)
|
|
536
|
+
6. 設計書のレビューと修正
|
|
537
|
+
7. 問題がなくなるまで6を繰り返す
|
|
538
|
+
|
|
539
|
+
【Phase 3: タスク分解】
|
|
540
|
+
8. タスク分解(設計→実装タスク)
|
|
541
|
+
9. タスク分解のレビューと修正
|
|
542
|
+
10. 問題がなくなるまで9を繰り返す
|
|
543
|
+
|
|
544
|
+
【Phase 4: 実装】
|
|
545
|
+
11. タスクごとに:
|
|
546
|
+
- コーディング(Red-Green-Blue)
|
|
547
|
+
- ユニットテスト実行
|
|
548
|
+
- テスト結果をもとに修正
|
|
549
|
+
12. 必要に応じて統合テスト
|
|
550
|
+
|
|
551
|
+
【Phase 5: 完了】
|
|
552
|
+
13. CHANGELOG.md を更新
|
|
553
|
+
14. 必要に応じてその他ドキュメント更新
|
|
554
|
+
15. Git コミット・プッシュ
|
|
523
555
|
```
|
|
524
556
|
|
|
525
557
|
---
|
|
526
558
|
|
|
527
559
|
**Agent**: GitHub Copilot / Claude
|
|
528
|
-
**Last Updated**: 2026-01-
|
|
529
|
-
**Version**:
|
|
560
|
+
**Last Updated**: 2026-01-08
|
|
561
|
+
**Version**: 2.0.0
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@nahisaho/musubix-core",
|
|
3
|
-
"version": "
|
|
3
|
+
"version": "2.0.1",
|
|
4
4
|
"description": "MUSUBIX Core Library - Neuro-Symbolic Integration Engine",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"main": "./dist/index.js",
|
|
@@ -68,7 +68,7 @@
|
|
|
68
68
|
},
|
|
69
69
|
"dependencies": {
|
|
70
70
|
"@modelcontextprotocol/sdk": "1.25.1",
|
|
71
|
-
"@nahisaho/musubix-ontology-mcp": "^
|
|
71
|
+
"@nahisaho/musubix-ontology-mcp": "^2.0.0",
|
|
72
72
|
"chalk": "^5.3.0",
|
|
73
73
|
"commander": "^11.1.0",
|
|
74
74
|
"ora": "^8.0.0",
|
|
@@ -81,7 +81,7 @@
|
|
|
81
81
|
"vitest": "^4.0.16"
|
|
82
82
|
},
|
|
83
83
|
"peerDependencies": {
|
|
84
|
-
"@nahisaho/musubix-yata-client": "
|
|
84
|
+
"@nahisaho/musubix-yata-client": "^2.0.0"
|
|
85
85
|
},
|
|
86
86
|
"peerDependenciesMeta": {
|
|
87
87
|
"@nahisaho/musubix-yata-client": {
|