Centralize web routing under Omni/Web with single server process

t-615·WorkTask·
·
·
Created2 days ago·Updated2 days ago

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.

Timeline (6)

🔄[human]Open → InProgress2 days ago
💬[human]2 days 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 days ago
💬[human]2 days 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.