The design corpus.
Live at HEAD — the specs below are the contract, and the runs are shipped. Start with the PRD; everything else drills into a single concern — the architecture, the run catalog, the Effect-TS DSL, GitHub Actions integration, BYOC deployment, the cost model, and the trust & threat model — with the delivery roadmap in Project.
Overview
Specs
Components, per-execution lifecycle, storage, fan-out, platform limits.
RunsRun catalog — inputs, outputs, and platform primitives for each shipped run.
DSLEffect-TS DSL — defineRun, step, capabilities, and the primitives recipes ride on.
GHA IntegrationThree trigger modes (Action / Webhook / Schedule), HMAC auth, Cron Triggers, check-runs callback.
BYOC DeploymentBindings, secrets, wrangler config, GitHub App setup, local dev.
CostCost model, worked estimates, head-to-head with GHA pricing.
Trust & Threat ModelTrust assumptions, system-boundary auth, adversary catalog, controls in place, known gaps.