Symbiont REPLガイド¶

ブランチの実行状況： 非同期の組み込み関数は、呼び出し元の識別情報を保持します。 ブリッジはプロジェクトルートを固定し、既定の reason() / tool_call() 呼び出しは 保護された実行ジャーナルを必要とし、公開の監査参照を返します。直接の推論呼び出しにも ジャーナルが必要で、その公開参照は :audit で一覧できます。関数とビヘイビアの宣言は 入力をまたいで保持され、実行中のビヘイビアは補助関数のスナップショットを保持します。 従来形式の REPL 構文は、エージェント単位の正式なサンドボックス選択を実装していません。 サポートされないティア、サンドボックス、リソース、実行ポリシーを明示した要求は、 登録時に失敗するようになりました。現在のカバー範囲については DSL 呼び出しコンテキストおよび ブランチガイドを参照してください。

他の言語¶

インタラクティブな TUI をお探しですか？ symbi shell（Beta）は、本ガイドが扱うのと同じ repl_core エンジンを、LLM オーケストレーター、完全なコマンドカタログ（/spawn、/run、/chain など）、およびリモートアタッチでラップしたものです。IDE 統合のためのスクリプタブルな JSON-RPC サーフェスが必要なときは REPL を、同じランタイムに対する対話的なオーサリングが必要なときは shell を使用してください。

機能¶

• インタラクティブDSL評価：Symbiont DSLコードをリアルタイムで実行
• エージェントライフサイクル管理：エージェントの作成、開始、停止、一時停止、再開、破棄
• 実行モニタリング：統計とトレースによるエージェント実行のリアルタイム監視
• ポリシー強制：組み込みポリシーチェックとケイパビリティゲーティング
• セッション管理：REPLセッションのスナップショットとリストア
• JSON-RPCプロトコル：stdio経由のJSON-RPCによるプログラムアクセス
• LSPサポート：IDE統合のためのLanguage Server Protocol

はじめに¶

REPLの起動¶

# インタラクティブREPLモード
symbi repl

# JSON-RPCサーバーモード（stdio経由、IDE統合用）
symbi repl --stdio

注意： --config フラグはまだサポートされていません。設定はデフォルトの symbiont.toml の場所から読み取られます。カスタム設定サポートは将来のリリースで予定されています。

基本的な使い方¶

各宣言は 1 行で入力します：

agent Greeter {}
function greet(value: string) { return upper(value) }
behavior Welcome { steps { return greet(args) } }
:agents
:agent start <id>
:agent execute <id> Welcome hello

<id> は Greeter に対して表示された UUID に置き換えてください。最後のコマンドは HELLO を返します。宣言と起動の時点ではビヘイビアは実行されません。省略可能なコマンド引数は、args という 1 つの文字列として渡されます。定義は保持されますが、ローカル変数と引数は次の呼び出しには引き継がれません。モジュールの登録に失敗しても、それ以前の定義が置き換えられることはありません。実行時エラーは表示され続け、クライアントは次のコマンドを受け付けられます。print() による診断出力は、構造化レスポンスとは独立して stderr に送られます。

symbi run が使用する正式な agent name(...) { with ... } 言語は、別個の解析経路です。従来形式の REPL のセキュリティティアやサンドボックスモードは、その実行設定ではありません。登録処理は、従来形式のティア／サンドボックスモードの明示、値の入ったリソース指定、実行ポリシーを、定義を公開する前に拒否します。制約ブロックやケイパビリティリストの重複も解析時に失敗します。ケイパビリティのみの宣言は、従来の検査を維持します。ツールの作用はプロジェクトの境界とガバナンス下のディスパッチャーを使用し、許可するゲートが設定されていない限り、ツール要求は拒否されます。直接の LLM 呼び出し、コンポジション、パターン呼び出しでは、プロバイダー呼び出しごとに署名付きジャーナルが必要です。既存の結果型は変更されません。公開参照には :audit を使用してください。通信には、設定済みのゲートと登録済みの受信者が必要です。send_to は永続的な開始を確認応答し、その終端ジャーナルが後の完了を記録します。race は最初に成功したものを返し、残りの呼び出しをキャンセルします。これらの制御は、正式なソース選択や推論予算の合算を保証するものではありません。

ワークスペースのビルド後に RPC とターミナルのスモークテストを再現するには、次を実行します：

python3 scripts/test-repl-session.py --binary target/debug/repl-cli --report /tmp/repl-session.json

REPLコマンド¶

エージェント管理¶

モニタリングコマンド¶

メモリコマンド¶

Webhookコマンド¶

レコーディングコマンド¶

セッションコマンド¶

DSL機能¶

エージェント定義¶

metadata {
  version = "2.1.0"
  description = "Analyzes datasets with privacy protection"
}

agent data_analyzer(data: DataSet, options: AnalysisOptions) -> AnalysisResults {
  capabilities = ["data_read", "analysis"]

  policy privacy {
    allow: read(data) if true
    deny: write(any)
  }

  with memory = "ephemeral", sandbox = "tier1" {
    return analyze(data, options);
  }
}

エージェントのビヘイビアはエージェントの with ブロック（および function 定義）の中に 記述します — 独立した behavior 構文は存在しません。ポリシールール （allow / deny / require / audit）がエージェントに許可される操作を制御します。 完全な文法については DSLガイド と DSL仕様 を参照してください。

組み込み関数¶

計画中の組み込み関数： read_file()、read_csv()、write_results()、analyze()、transform_data() などの高度なI/O関数はまだ実装されていません。これらは将来のリリースで予定されています。

データ型¶

# 基本型
let name = "Alice"          # String
let age = 30               # Integer
let height = 5.8           # Number
let active = true          # Boolean
let empty = null           # Null

# コレクション
let items = [1, 2, 3]      # List
let config = {             # Map
  "host": "localhost",
  "port": 8080
}

# 時間とサイズの単位
let timeout = 30s          # Duration
let max_size = 100MB       # Size

アーキテクチャ¶

コンポーネント¶

symbi repl
├── repl-cli/          # CLIインターフェースとJSON-RPCサーバー
├── repl-core/         # コアREPLエンジンとエバリュエーター
├── repl-proto/        # JSON-RPCプロトコル定義
└── repl-lsp/          # Language Server Protocol実装

コアコンポーネント¶

• DslEvaluator：ランタイム統合付きでDSLプログラムを実行
• ReplEngine：評価とコマンドハンドリングを調整
• ExecutionMonitor：実行統計とトレースを追跡
• RuntimeBridge：ポリシー強制のためにSymbiontランタイムと統合
• SessionManager：スナップショットとセッション状態を処理

JSON-RPCプロトコル¶

REPLはプログラムアクセスのためにJSON-RPC 2.0をサポートしています：

// DSLコードを評価
{
  "jsonrpc": "2.0",
  "method": "evaluate",
  "params": {"input": "let x = 42"},
  "id": 1
}

// レスポンス
{
  "jsonrpc": "2.0",
  "result": {"value": "42", "type": "integer"},
  "id": 1
}

セキュリティとポリシー強制¶

ケイパビリティチェック¶

REPLはエージェントセキュリティブロックで定義されたケイパビリティ要件を強制します：

agent SecureAgent {
  name: "Secure Agent"
  security {
    capabilities: ["filesystem", "network"]
  }
}

behavior ReadFile {
  input { path: string }
  output { content: string }
  steps {
    # エージェントが "filesystem" ケイパビリティを持っているかチェック
    require capability("filesystem")
    # 注意：read_file()は計画中の組み込み関数です（まだ実装されていません）。
    # この例はケイパビリティチェックの動作を示しています。
    let content = read_file(path)
    return content
  }
}

ポリシー統合¶

REPLはSymbiontポリシーエンジンと統合してアクセス制御と監査要件を強制します。

デバッグとモニタリング¶

実行トレース¶

:monitor traces 10

Recent Execution Traces:
  14:32:15.123 - AgentCreated [Agent: abc-123] (2ms)
  14:32:15.125 - AgentStarted [Agent: abc-123] (1ms)
  14:32:15.130 - BehaviorExecuted [Agent: abc-123] (5ms)
  14:32:15.135 - AgentPaused [Agent: abc-123]

統計¶

:monitor stats

Execution Monitor Statistics:
  Total Executions: 42
  Successful: 38
  Failed: 4
  Success Rate: 90.5%
  Average Duration: 12.3ms
  Total Duration: 516ms
  Active Executions: 2

エージェントデバッグ¶

:agent debug abc-123

Agent Debug Information:
  ID: abc-123-def-456
  Name: Data Analyzer
  Version: 2.1.0
  State: Running
  Created: 2024-01-15 14:30:00 UTC
  Description: Analyzes datasets with privacy protection
  Author: data-team@company.com
  Available Functions/Behaviors: 5
  Required Capabilities: 2
    - data_read
    - analysis
  Resource Configuration:
    Memory: 512MB
    CPU: 2
    Storage: 1GB

IDE統合¶

Language Server Protocol¶

REPLは repl-lsp クレートを通じてIDE統合のためのLSPサポートを提供します。LSPサーバーはREPL自体とは別に起動されます：

# LSPサーバーはrepl-lspクレートによって提供され、
# エディタのLSPクライアント設定によって起動されます（symbi replフラグ経由ではありません）。

注意： --lsp フラグは symbi repl ではサポートされていません。LSPは repl-lsp クレートで実装されており、エディタのLSP設定を通じて構成する必要があります。

サポートされる機能¶

• シンタックスハイライト
• エラー診断
• テキスト同期

計画中の機能（まだ実装されていません）： - コード補完 - ホバー情報 - 定義へ移動 - シンボル検索

ベストプラクティス¶

開発ワークフロー¶

1. シンプルな式から始める：基本的なDSL構文をテスト
2. エージェントを段階的に定義：最小限のエージェント定義から開始
3. ビヘイビアを個別にテスト：統合前にビヘイビアを定義してテスト
4. モニタリングを活用：デバッグのために実行モニタリングを利用
5. スナップショットを作成：重要なセッション状態を保存

パフォーマンスのヒント¶

• 定期的に :monitor clear でモニタリングデータをリセット
• :monitor traces <limit> でトレース履歴を制限
• 未使用のエージェントを破棄してリソースを解放
• 複雑なセッション状態にはスナップショットを使用

セキュリティに関する考慮事項¶

• エージェントには常に適切なケイパビリティを定義
• 開発段階でポリシー強制をテスト
• 信頼できないコードにはサンドボックスモードを使用
• セキュリティイベントの実行トレースを監視

トラブルシューティング¶

よくある問題¶

エージェント作成の失敗

Error: Missing capability: filesystem

実行タイムアウト

Error: Maximum execution depth exceeded

ポリシー違反

Error: Policy violation: data access denied

デバッグコマンド¶

# エージェント状態を確認
:agent debug <agent-id>

# 実行トレースを表示
:monitor traces 50

# システム統計を確認
:monitor stats

# デバッグスナップショットを作成
:snapshot

例¶

シンプルなエージェント¶

agent Calculator {
  name: "Basic Calculator"
  version: "1.0.0"
}

behavior Add {
  input { a: number, b: number }
  output { result: number }
  steps {
    return a + b
  }
}

# ビヘイビアをテスト
let result = Add(5, 3)
print("5 + 3 =", result)

データ処理エージェント¶

agent DataProcessor {
  name: "Data Processing Agent"
  version: "1.0.0"

  security {
    capabilities: ["data_read", "data_write"]
  }

}

behavior ProcessCsv {
  input { file_path: string }
  output { summary: ProcessingSummary }

  steps {
    require capability("data_read")

    # 注意：read_csv()、transform_data()、write_results()は計画中の
    # 組み込み関数です（まだ実装されていません）。この例はデータ処理
    # ビヘイビアの意図されたパターンを示しています。
    let data = read_csv(file_path)
    let processed = transform_data(data)

    require capability("data_write")
    write_results(processed)

    return {
      "rows_processed": len(data),
      "status": "completed"
    }
  }
}

関連ドキュメント¶

• DSLガイド - 完全なDSL言語リファレンス
• ランタイムアーキテクチャ - システムアーキテクチャ概要
• セキュリティモデル - セキュリティ実装の詳細
• APIリファレンス - 完全なAPIドキュメント