[global]
# Redis connection URL for job queuing
redis_url = "redis://localhost:6379"

# WebSocket Server Configuration
# Handles WebSocket connections for job dispatching
[websocket_server]
host = "127.0.0.1"
port = 8443
redis_url = "redis://127.0.0.1/"
auth = false
tls = false
# cert = "/path/to/cert.pem"  # Uncomment and set path for TLS
# key = "/path/to/key.pem"   # Uncomment and set path for TLS
# tls_port = 8444           # Uncomment for separate TLS port

# Circles configuration - maps circle names to lists of member public keys
[websocket_server.circles]
# Example circle configuration:
# "admin" = ["04abc123...", "04def456..."]
# "users" = ["04ghi789...", "04jkl012..."]
# "ws" = []  # Public circle (no auth required)

# OSIS Actor Configuration
# Handles OSIS (HeroScript) execution
[osis_actor]
binary_path = "actor_osis"