Servo Ghostty

Servo-Ghostty Web Terminal Skill

Full-color terminal with tile parity using Servo browser engine

Overview

This skill provides integration between Servo browser engine and ghostty-web terminal, delivering:

• Full color support: CSS Color Level 4 (Display P3, Rec. 2020, Oklch)
• Tile parity: CSS Grid for tmux-like splits
• GPU acceleration: WebRender compositor
• WebSocket transport: Existing ghostty-web :7070

Winner: Servo beats Ladyworm (3x faster, 6x less code, 100% tile parity)

Architecture

Ghostty Native (macOS)
    ↓
ghostty-web WebSocket :7070 (Zig, 515 LOC)
    ↓
Servo Browser Engine (Rust)
    ↓
WebRender GPU Compositor
    ↓
HTML/CSS Tile Grid
    ↓
    ├─ Terminal tiles (Canvas 2D)
    ├─ Worlds/t navigation
    ├─ Chartered Flights routes
    ├─ BCI colors (Oklch)
    └─ Gay seed color trajectories

Quick Start

1. Install Dependencies

# Servo (prebuilt binary)
brew install servo

# Or build from source
git clone https://github.com/servo/servo
cd servo
./mach build --release

# Verify
servo --version

2. Run Ghostty-Web Server

# Start existing ghostty-web WebSocket server
/Users/bob/i/zig-syrup/zig-out/bin/ghostty-web
# → Listening on ws://localhost:7070

3. Launch Servo Terminal

# Run Servo with terminal HTML
cd ~/i/asi/skills/servo-ghostty
servo examples/ghostty-terminal.html

# Or embedded mode
cargo run --bin servo-ghostty-embed

Bundled Resources

Scripts

Examples

References

Recipes

Features

CSS Color Level 4 Support

All color spaces supported in Servo today:

/* sRGB (legacy) */
color: rgb(255 128 64);

/* Display P3 (HDR wide gamut) */
color: color(display-p3 1 0.5 0.25);

/* Rec. 2020 (ultra-wide gamut) */
color: color(rec2020 0.9 0.6 0.3);

/* Lab (perceptual lightness) */
color: lab(50% 40 -20);

/* Oklch (perceptual polar, BEST) */
color: oklch(60% 0.15 120);

/* Color mixing */
background: color-mix(in oklch, blue, white 30%);

BCI Integration:

// Map phenomenal state to Oklch
function bciFeedbackColor(valence, arousal) {
  // Low valence = focused = blue-purple
  const hue = valence < 27 ? 280 : 120;
  const chroma = arousal / 100 * 0.2;
  const lightness = 50 + (valence - 30) * 2;

  return `oklch(${lightness}% ${chroma} ${hue})`;
}

// Update tile background
tile.style.background = bciFeedbackColor(25.3, 47.8);
// → oklch(40.6% 0.0956 280) (focused purple)

Tile Layouts (CSS Grid)

Ghostty-like splits with zero custom code:

<div class="ghostty-grid">
  <!-- 2x2 grid -->
  <canvas class="tile" id="term1"></canvas>
  <canvas class="tile" id="term2"></canvas>
  <canvas class="tile" id="term3"></canvas>
  <canvas class="tile" id="term4"></canvas>
</div>

.ghostty-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;  /* Vertical split */
  grid-template-rows: 1fr 1fr;     /* Horizontal split */
  gap: 2px;
  height: 100vh;
}

.tile {
  background: oklch(15% 0.02 240);
  border: 1px solid oklch(30% 0.05 240);
}

Dynamic resizing (JavaScript):

function splitVertical(tileId) {
  const tile = document.getElementById(tileId);
  tile.style.gridColumn = 'span 1';  // Half width
}

function splitHorizontal(tileId) {
  const tile = document.getElementById(tileId);
  tile.style.gridRow = 'span 1';  // Half height
}

WebSocket Integration

Connect to ghostty-web server:

const ws = new WebSocket('ws://localhost:7070');
ws.binaryType = 'arraybuffer';

ws.onopen = () => {
  // Send INIT frame
  const init = encodeInitFrame({
    width: 80,
    height: 24,
    color_depth: 24  // True color
  });
  ws.send(init);
};

ws.onmessage = (event) => {
  const frame = new DataView(event.data);
  const type = frame.getUint8(4);

  switch (type) {
    case 0x01: // OUTPUT
      renderVTSequence(frame);
      break;
    case 0x02: // DIRTY_REGION
      updateRegion(frame);
      break;
    case 0x05: // SPATIAL
      updateFocus(frame);
      break;
  }
};

Performance

Workflows

Workflow 1: Basic Terminal

# 1. Start ghostty-web
ghostty-web &

# 2. Launch Servo terminal
servo examples/ghostty-terminal.html

# 3. Type in terminal → see output
# Input flows: Servo → WebSocket → ghostty-web → Ghostty

Workflow 2: Multi-Tile Layout

# 1. Open multi-tile example
servo examples/tiles-demo.html

# 2. Split vertically (Ctrl+|)
# 3. Split horizontally (Ctrl+-)
# 4. Navigate tiles (Ctrl+hjkl)

# CSS Grid automatically handles layout

Workflow 3: BCI Color Feedback

# 1. Start BCI bridge
python ~/i/bridge-9-flox/bridge_9_phase5_duckdb.py &

# 2. Start Servo terminal with BCI colors
servo examples/ghostty-bci-colors.html

# 3. BCI phenomenal state → Oklch colors
# valence: 25.3 → oklch(40.6% 0.0956 280)  [focused purple]
# valence: 35.0 → oklch(60% 0.05 120)      [relaxed green]

Workflow 4: Chartered Flights Visualization

# 1. Load Chartered Flights routes
servo examples/chartered-flights-viz.html

# 2. Flight routes colored by tile
# fibred → #49b0f2 (blue)
# sheaf  → #54c1ed (cyan)
# decomp → #6fc6f9 (light blue)
# rewrite → #7d13cb (purple)
# agents → #5fb501 (green)

# 3. Animate flight path with color trajectory

Integration with Worlds/t

Map 5 Worlds/t tiles to CSS Grid:

<div class="worlds-grid">
  <!-- Row 1: fibred, sheaf -->
  <div class="tile fibred">Julia REPL</div>
  <div class="tile sheaf">Org Timeline</div>

  <!-- Row 2: decomp, rewrite -->
  <div class="tile decomp">Entity Graph</div>
  <div class="tile rewrite">Random Walker</div>

  <!-- Row 3: agents (centered) -->
  <div class="tile agents">Babashka REPL</div>
</div>

.worlds-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  grid-template-rows: 1fr 1fr 1fr;
  gap: 4px;
}

.tile.fibred { background: oklch(50% 0.15 220); }  /* Blue */
.tile.sheaf  { background: oklch(55% 0.10 200); }  /* Cyan */
.tile.decomp { background: oklch(60% 0.12 210); }  /* Light blue */
.tile.rewrite { background: oklch(40% 0.20 300); } /* Purple */
.tile.agents { background: oklch(45% 0.18 120); }  /* Green */

.tile.agents {
  grid-column: 1 / -1;  /* Span full width */
}

GF(3) Trifurcation

Servo skill classification: +1 (Generator)

Servo (+1: generates rendering)
  ⊗
ghostty-web (0: mediates WebSocket)
  ⊗
Ghostty Native (-1: validates VT output)
  =
0 (mod 3) ✓ CONSERVED

Skill Balance:

• Generator (+1): Servo creates visual output
• Ergodic (0): WebSocket coordinates state
• Validator (-1): Ghostty verifies terminal semantics

Testing

Test 1: Color Accuracy

./scripts/test-colors.sh

# Tests:
# ✓ sRGB → Display P3 conversion
# ✓ Oklch perceptual uniformity
# ✓ BCI valence → hue mapping
# ✓ Gay seed → Oklch conversion

Test 2: Tile Splitting

servo examples/tiles-demo.html

# Manual tests:
# 1. Split vertical: 1 tile → 2 columns
# 2. Split horizontal: 1 tile → 2 rows
# 3. Resize tiles: Drag separator
# 4. Close tile: CSS Grid auto-reflows

Test 3: WebSocket Protocol

# Terminal 1: ghostty-web
ghostty-web

# Terminal 2: Servo terminal
servo examples/ghostty-terminal.html

# Terminal 3: Send test frames
python scripts/test-websocket.py

# Verify:
# ✓ INIT handshake
# ✓ OUTPUT rendering
# ✓ DIRTY_REGION updates
# ✓ INPUT forwarding

Test 4: Performance

# Run benchmark
python scripts/benchmark-servo.py

# Metrics:
# ✓ 60 fps sustained (1000 frames)
# ✓ <16ms frame time (95th percentile)
# ✓ <150MB memory (4 tiles)
# ✓ <10ms input latency

Comparison: Servo vs Ladyworm

Winner: Servo (3x faster, 6x less code, 100% tile parity)

Deployment

Development (Local)

# 1. Clone skill
cd ~/i/asi/skills/servo-ghostty

# 2. Install Servo
./scripts/install-servo.sh

# 3. Run full stack
./scripts/run-terminal.sh

Production (Embedded)

# Build Servo embedding
cd scripts
cargo build --release --bin servo-ghostty-embed

# Run embedded
./target/release/servo-ghostty-embed \
  --ghostty-ws ws://localhost:7070 \
  --width 1920 --height 1080 \
  --tiles 4

Integration with ASI

# Python skill invocation
from asi_skills import invoke_skill

result = invoke_skill('servo-ghostty', {
    'action': 'launch',
    'tiles': 2,
    'layout': 'vertical',
    'bci_colors': True,
    'worlds_navigation': True
})

# Returns:
# {
#   'servo_pid': 12345,
#   'websocket_url': 'ws://localhost:7070',
#   'html_url': 'file:///tmp/ghostty-term-12345.html',
#   'status': 'running'
# }

Files Summary

Roadmap

Phase 1: Core Terminal ✅ (Week 1-2)

• Servo embedding (200 LOC)
• HTML/CSS terminal UI (300 LOC)
• WebSocket client (300 LOC)
• Basic tile layout (CSS Grid)

Phase 2: Color Integration (Week 3)

• Oklch color spaces
• BCI phenomenal state → colors
• Gay seed → color trajectory
• Display P3 calibration

Phase 3: Worlds/t Integration (Week 4)

• 5-tile layout (fibred, sheaf, decomp, rewrite, agents)
• Navigation (h/j/k/l)
• Chartered Flights visualization
• GF(3) trit display

Phase 4: Production (Week 5-6)

• Performance optimization
• Error handling
• Documentation
• ASI skill integration

Support

Debugging

# Enable Servo debug mode
RUST_LOG=servo=debug servo examples/ghostty-terminal.html

# WebSocket traffic
websocat -t ws://localhost:7070 | hexdump -C

# CSS inspection
servo --devtools examples/ghostty-terminal.html

Common Issues

Issue: Servo can't find shared libraries

# Fix: Set LD_LIBRARY_PATH (Linux) or DYLD_LIBRARY_PATH (macOS)
export DYLD_LIBRARY_PATH=/usr/local/lib:$DYLD_LIBRARY_PATH

Issue: WebSocket connection refused

# Fix: Start ghostty-web first
ghostty-web &
sleep 2
servo examples/ghostty-terminal.html

Issue: Colors look wrong

# Fix: Calibrate display profile
# macOS: System Preferences → Displays → Color
# Ensure Display P3 profile selected

References

• Servo: https://servo.org
• WebRender: https://github.com/servo/webrender
• CSS Color Level 4: https://www.w3.org/TR/css-color-4/
• ghostty-web: /Users/bob/i/zig-syrup/src/ghostty_web_server.zig
• Comparison doc: /Users/bob/i/LADYWORM-VS-SERVO-COMPARISON.md

License

MIT (same as Servo)

Ω