Centralize web routing under Omni/Web with single server process

t-615·WorkTask·
·
·
Created2 months ago·Updated1 week ago·pipeline runs →

Dependencies

Description

Edit

Implement a unified web server module under Omni/Web that routes /tasks (Ava/Task), /news, and /files in one Warp process. Update Ava to start this unified server and simplify beryllium Caddy to proxy all requests to 8079.

Git Commits

1d13b506Centralize web routing under Omni.Web
Coder Agent9 weeks ago6 files

Timeline (9)

🔄[human]Open → InProgress2 months ago
💬[human]2 months ago

Implemented unified Omni.Web router and switched Ava to start it. Changes in 1d13b506: new Omni/Web.hs routes /news and /files, defaults to Ava (/tasks + control plane); Omni.Ava.Web now exports initWebDb; Omni.Serve exports app for composition; Caddy simplified to single reverse proxy to :8079; beryllium note updated. Verification: lint (Haskell + Nix), typecheck.sh Omni/Web.hs Omni/Ava/Core.hs Omni/Ava/Web.hs Omni/Serve.hs, bild Omni/Web.hs Omni/Ava/Core.hs, bild --test Omni/Serve.hs Omni/Ava/Core.hs.

🔄[human]InProgress → Review2 months ago
💬[human]2 months ago

Shipped to beryllium: Omni/Ide/push.sh Omni/Ava/Core.hs (ava store path /nix/store/r9mgvj8fwiisrb3a964851yc7702wv7c-ava) and Omni/Ide/push.sh Omni/Dev/Beryllium.nix. Triggered deployer and verified 200 via curl for /, /tasks, /news/, /files/, /health on both http://127.0.0.1 and https://beryllium.oryx-ide.ts.net. Discovered follow-up: Caddy admin routes still include deployer-managed /news/* and /files/* upstreams (8071/8070), so created t-616 discovered-from t-615.

💬[human]1 week ago

Ava verified: last comment from human author documents shipping/deployment with concrete evidence. Moving to Verified.

🔄[human]Review → Verified1 week ago