use std::path::PathBuf;
use std::sync::atomic::{AtomicUsize, Ordering};
use std::sync::Arc;
use std::time::{Duration, SystemTime};
use pixtuoid_core::state::MAX_FLOORS;
use anyhow::Result;
use pixtuoid_core::source::antigravity::AntigravitySource;
use pixtuoid_core::source::claude_code::ClaudeCodeSource;
use pixtuoid_core::source::codex::CodexSource;
use pixtuoid_core::source::manager::SourceManager;
use pixtuoid_core::state::ActivityState;
use pixtuoid_core::{AgentEvent, Reducer, SceneState, TaggedReceiver, Transport};
use tokio::sync::{mpsc, watch};
pub type SceneRx = watch::Receiver<Arc<SceneState>>;
const FALLBACK_DESKS: usize = 16;
pub struct RunConfig {
pub socket: Option<PathBuf>,
pub projects_root: Option<PathBuf>,
pub codex_sessions_root: Option<PathBuf>,
pub pack_dir: Option<PathBuf>,
pub desk_cap: Option<usize>,
pub headless: bool,
pub config_path: PathBuf,
pub pets: Vec<crate::tui::pet::Pet>,
}
pub fn run(cfg: RunConfig, theme_name: String) -> Result<()> {
let theme = crate::tui::theme::theme_by_name(&theme_name).ok_or_else(|| {
let valid: Vec<&str> = crate::tui::theme::ALL_THEMES
.iter()
.map(|t| t.name)
.collect();
anyhow::anyhow!("unknown theme: {theme_name}. Valid: {}", valid.join(", "))
})?;
let rt = tokio::runtime::Builder::new_multi_thread()
.enable_all()
.build()?;
rt.block_on(async move { run_async(cfg, theme).await })
}
async fn run_async(cfg: RunConfig, theme: &'static crate::tui::theme::Theme) -> Result<()> {
let RunConfig {
socket,
projects_root,
codex_sessions_root,
pack_dir,
desk_cap,
headless,
config_path,
pets,
} = cfg;
let mut cc_src = ClaudeCodeSource::default_paths();
if let Some(s) = socket {
cc_src.socket_path = s;
}
if let Some(p) = projects_root {
cc_src.projects_root = p;
}
let ag_src = AntigravitySource::default_paths();
let mut codex_src = CodexSource::default_paths();
if let Some(p) = codex_sessions_root {
codex_src.sessions_root = p;
}
let (tx, rx) = mpsc::channel::<(Transport, AgentEvent)>(256);
let boot_caps: [usize; MAX_FLOORS] = match (desk_cap, headless) {
(Some(cap), true) => [cap; MAX_FLOORS],
(None, true) => [FALLBACK_DESKS; MAX_FLOORS],
(cap, false) => cap_boot_capacities(compute_boot_capacities(), cap),
};
let (scene_tx, scene_rx) = watch::channel(Arc::new(SceneState::new(boot_caps)));
let floor_caps: Arc<[AtomicUsize; MAX_FLOORS]> =
Arc::new(std::array::from_fn(|i| AtomicUsize::new(boot_caps[i])));
tokio::spawn(reducer_task(rx, scene_tx, Arc::clone(&floor_caps)));
let _source_handles = SourceManager::new()
.with_source(Box::new(cc_src))
.with_source(Box::new(ag_src))
.with_source(Box::new(codex_src))
.spawn(tx);
if headless {
headless_loop(scene_rx).await
} else {
crate::tui::run_tui(
scene_rx,
pack_dir,
floor_caps,
theme,
config_path,
desk_cap,
pets,
)
.await
}
}
async fn reducer_task(
mut rx: TaggedReceiver,
scene_tx: watch::Sender<Arc<SceneState>>,
floor_caps: Arc<[AtomicUsize; MAX_FLOORS]>,
) {
let mut reducer = Reducer::new();
let initial_caps: [usize; MAX_FLOORS] =
std::array::from_fn(|i| floor_caps[i].load(Ordering::Relaxed));
let mut scene = SceneState::new(initial_caps);
let mut sweep_interval = tokio::time::interval(Duration::from_secs(1));
sweep_interval.set_missed_tick_behavior(tokio::time::MissedTickBehavior::Skip);
loop {
for (i, a) in floor_caps.iter().enumerate() {
scene.floor_capacities[i] = a.load(Ordering::Relaxed);
}
tokio::select! {
event = rx.recv() => {
let Some((transport, ev)) = event else { break };
let now = SystemTime::now();
tracing::debug!(?transport, ?ev, "event");
reducer.apply(&mut scene, ev, now, transport);
if scene_tx.send(Arc::new(scene.clone())).is_err() {
tracing::warn!("scene channel closed — renderer dropped");
break;
}
}
_ = sweep_interval.tick() => {
reducer.tick(&mut scene, SystemTime::now());
if scene_tx.send(Arc::new(scene.clone())).is_err() {
tracing::warn!("scene channel closed — renderer dropped");
break;
}
}
}
}
}
async fn headless_loop(mut scene_rx: SceneRx) -> Result<()> {
tracing::info!("pixtuoid headless mode — Ctrl-C to quit");
let mut prev_summary = String::new();
loop {
tokio::select! {
_ = tokio::time::sleep(Duration::from_millis(200)) => {
let snapshot = scene_rx.borrow_and_update().clone();
let summary = summarize(&snapshot);
if summary != prev_summary {
println!("{summary}");
prev_summary = summary;
}
}
_ = tokio::signal::ctrl_c() => {
tracing::info!("shutting down");
return Ok(());
}
}
}
}
fn compute_boot_capacities() -> [usize; MAX_FLOORS] {
match crossterm::terminal::size().ok() {
Some((cols, rows)) => boot_capacities_for(cols, rows),
None => [FALLBACK_DESKS; MAX_FLOORS],
}
}
pub(crate) fn boot_capacities_for(cols: u16, rows: u16) -> [usize; MAX_FLOORS] {
std::array::from_fn(|i| {
let seed = (i as u64).wrapping_mul(crate::tui::floor::FLOOR_SEED_MULTIPLIER);
let cap = capacity_for_terminal(cols, rows, seed);
if cap == 0 {
FALLBACK_DESKS
} else {
cap
}
})
}
fn cap_boot_capacities(base: [usize; MAX_FLOORS], cap: Option<usize>) -> [usize; MAX_FLOORS] {
match cap {
Some(c) => base.map(|x| x.min(c)),
None => base,
}
}
pub(crate) fn capacity_for_terminal(cols: u16, rows: u16, floor_seed: u64) -> usize {
let buf_h = rows.saturating_sub(1) * 2;
pixtuoid_core::layout::SceneLayout::compute_with_seed(
cols,
buf_h,
pixtuoid_core::layout::MAX_VISIBLE_DESKS,
floor_seed,
)
.map(|l| l.home_desks.len())
.unwrap_or(0)
}
fn summarize(scene: &SceneState) -> String {
let agents: Vec<String> = scene
.agents
.values()
.map(|a| {
let state = match &a.state {
ActivityState::Idle => "idle".to_string(),
ActivityState::Active { detail, .. } => {
format!("active({})", detail.as_deref().unwrap_or("?"))
}
ActivityState::Waiting { reason } => format!("waiting({reason})"),
};
format!("{}@{}:{}", a.label, a.desk_index, state)
})
.collect();
format!("agents=[{}]", agents.join(", "))
}
#[cfg(test)]
mod tests {
use super::*;
fn floor_seed(i: u64) -> u64 {
i.wrapping_mul(crate::tui::floor::FLOOR_SEED_MULTIPLIER)
}
#[test]
fn capacity_for_normal_terminal() {
let cap = capacity_for_terminal(192, 48, 0);
assert!(cap > 0 && cap <= pixtuoid_core::layout::MAX_VISIBLE_DESKS);
}
#[test]
fn capacity_for_small_terminal() {
let cap = capacity_for_terminal(80, 35, 0);
assert!(cap > 0, "80x35 should fit at least one desk");
}
#[test]
fn capacity_for_tiny_terminal_returns_zero() {
assert_eq!(capacity_for_terminal(10, 10, 0), 0);
}
#[test]
fn capacity_for_zero_rows_returns_zero() {
assert_eq!(capacity_for_terminal(192, 0, 0), 0);
}
#[test]
fn capacity_matches_renderer_formula() {
let cols: u16 = 160;
let rows: u16 = 50;
let buf_h = rows.saturating_sub(1) * 2;
let expected = pixtuoid_core::layout::SceneLayout::compute_with_seed(
cols,
buf_h,
pixtuoid_core::layout::MAX_VISIBLE_DESKS,
0,
)
.map(|l| l.home_desks.len())
.unwrap_or(0);
assert_eq!(capacity_for_terminal(cols, rows, 0), expected);
}
#[test]
fn seed_can_produce_distinct_capacities() {
let mut found = false;
'outer: for cols in [120u16, 140, 160, 180, 200, 220, 240] {
for rows in [30u16, 36, 40, 48, 56, 64] {
let mut unique = std::collections::HashSet::new();
for i in 0..MAX_FLOORS as u64 {
unique.insert(capacity_for_terminal(cols, rows, floor_seed(i)));
}
if unique.len() > 1 {
found = true;
break 'outer;
}
}
}
assert!(
found,
"expected at least one terminal size in the swept range where \
per-floor seeds produce distinct capacities"
);
}
#[test]
fn boot_capacities_uses_each_floor_seed() {
let caps = boot_capacities_for(192, 48);
let expected: [usize; MAX_FLOORS] = std::array::from_fn(|i| {
let c = capacity_for_terminal(192, 48, floor_seed(i as u64));
if c == 0 {
FALLBACK_DESKS
} else {
c
}
});
assert_eq!(caps, expected);
}
#[test]
fn boot_capacities_falls_back_to_default_on_tiny_terminal() {
let caps = boot_capacities_for(10, 10);
assert_eq!(caps, [FALLBACK_DESKS; MAX_FLOORS]);
}
#[test]
fn summarize_reports_each_activity_state() {
use pixtuoid_core::source::{Activity, AgentEvent};
use pixtuoid_core::AgentId;
let mut scene = SceneState::new([8; MAX_FLOORS]);
let mut reducer = Reducer::new();
let now = SystemTime::now();
let seat = |reducer: &mut Reducer, scene: &mut SceneState, id: AgentId| {
reducer.apply(
scene,
AgentEvent::SessionStart {
agent_id: id,
source: "claude-code".into(),
session_id: "s".into(),
cwd: std::path::PathBuf::from("/repo"),
parent_id: None,
},
now,
Transport::Hook,
);
};
let a = AgentId::from_transcript_path("/p/a.jsonl");
seat(&mut reducer, &mut scene, a);
reducer.apply(
&mut scene,
AgentEvent::ActivityStart {
agent_id: a,
activity: Activity::Typing,
tool_use_id: Some("t1".into()),
detail: Some("Edit: foo.rs".into()),
},
now,
Transport::Hook,
);
let b = AgentId::from_transcript_path("/p/b.jsonl");
seat(&mut reducer, &mut scene, b);
reducer.apply(
&mut scene,
AgentEvent::Waiting {
agent_id: b,
reason: "permission".into(),
},
now,
Transport::Hook,
);
let c = AgentId::from_transcript_path("/p/c.jsonl");
seat(&mut reducer, &mut scene, c);
let summary = summarize(&scene);
assert!(summary.starts_with("agents=["), "got: {summary}");
assert!(summary.contains("active(Edit: foo.rs)"), "got: {summary}");
assert!(summary.contains("waiting(permission)"), "got: {summary}");
assert!(summary.contains(":idle"), "got: {summary}");
assert!(summary.contains('@'), "got: {summary}");
}
#[test]
fn run_with_unknown_theme_errors_before_runtime() {
let cfg = RunConfig {
socket: None,
projects_root: None,
codex_sessions_root: None,
pack_dir: None,
desk_cap: None,
headless: true,
config_path: std::path::PathBuf::from("/tmp/pixtuoid-test-config.toml"),
pets: vec![],
};
let err = run(cfg, "definitely-not-a-theme".into()).unwrap_err();
assert!(err.to_string().contains("unknown theme"), "got: {err}");
}
#[test]
fn explicit_cap_clamps_to_layout_capacity_not_above() {
let base = boot_capacities_for(192, 48);
let layout_max = *base.iter().max().unwrap();
assert_eq!(
cap_boot_capacities(base, Some(layout_max + 100)),
base,
"cap above layout capacity must clamp down to the layout, not inflate"
);
assert!(cap_boot_capacities(base, Some(1)).iter().all(|&c| c <= 1));
assert_eq!(cap_boot_capacities(base, None), base);
}
}