specsall articlesFri, 25 Sep 2026HA Postgres + bouncer + app-instance + LB control plane1398 words / 0 links / 0 images / 3 snippetsStatus: draft / not implemented as a whole. Of the phased plan, only the Fri, 25 Sep 2026Postgres with automatic failover: salmon provisions, Patroni decides1266 words / 0 links / 0 images / 0 snippetsStatus: draft / not implemented. A design sketch to react to, not a committed Fri, 25 Sep 2026Per-node state machines: a supervised tree over a folded graph10233 words / 1 links / 0 images / 15 snippetsStatus: milestones 1 to 9 below are implemented, each marked landed with Fri, 25 Sep 2026Lighter-weight process isolation for services: systemd hardening, bubblewrap, firejail1896 words / 0 links / 0 images / 3 snippetsStatus: draft / not implemented. This is a design sketch to react to, not a Fri, 25 Sep 2026Pinning an application's traffic to a chosen interface via dedicated network namespaces1334 words / 0 links / 0 images / 4 snippetsStatus: draft / not implemented. This is a design sketch to react to, not a Fri, 25 Sep 2026Specs432 words / 19 links / 0 images / 0 snippetsThe design sketches under specs/, each headed by a Status line saying what of it has shipped. Fri, 25 Sep 2026Two-node Postgres with salmon-driven switchover and failover4058 words / 0 links / 0 images / 2 snippetsStatus: implemented — phases 1 to 6 of the phased plan and the disaster Fri, 25 Sep 2026Local qemu VMs + tap/bridge networking for recipe testing1470 words / 0 links / 0 images / 5 snippetsStatus: phases 1 to 5 of the phased plan are implemented: Fri, 25 Sep 2026Future work: what a running world knows, and who gets to see it1233 words / 0 links / 0 images / 0 snippetsStatus: ideas, not a plan. Four notes taken after trying run serve with the Fri, 25 Sep 2026Pull mode: a `serve` that fetches its own declarations4505 words / 0 links / 0 images / 3 snippetsStatus: milestones 1 to 7 below are implemented (Salmon.Actions.Follow, Fri, 25 Sep 2026Implementation progress: `specs/qemu-test-vms.md`2905 words / 0 links / 0 images / 3 snippetsStatus: living doc, update as work continues. Companion to Fri, 25 Sep 2026Property-based testing for `run serve`1526 words / 0 links / 0 images / 1 snippetsStatus: v1 implemented, in salmon-ops-recipes/test/Test/ServeModelSpec.hs. Fri, 25 Sep 2026A generic salmon server: `serve` behind an API, with clients that show the DAG3531 words / 0 links / 0 images / 0 snippetsStatus: milestones 1 to 8 below are implemented (--json via Fri, 25 Sep 2026Multi-user / privilege separation: running parts of a graph as a lesser identity2950 words / 0 links / 0 images / 9 snippetsStatus: draft / not implemented. This is a design sketch to react to, not a Fri, 25 Sep 2026Advanced querying: targeting `run` at a subset of nodes1690 words / 0 links / 0 images / 8 snippetsStatus: implemented. query show/query plan/query extract-directive, Fri, 25 Sep 2026GCP Support Plan for Salmon1291 words / 0 links / 0 images / 17 snippetsStatus: phase 1 (gcloud-first) is implemented through all ten steps of §15: Fri, 25 Sep 2026Salmon as PID 1: an init system whose unit graph is a real DAG5433 words / 0 links / 0 images / 4 snippetsStatus: the init system itself is not implemented — milestones 1 to 6 Fri, 25 Sep 2026Terraform integration: consuming (and optionally driving) existing Terraform-managed infra1439 words / 0 links / 0 images / 4 snippetsStatus: draft / not implemented. This is a design sketch to react to, not a Fri, 25 Sep 2026What is left of `specs/per-node-state-machines.md`9772 words / 0 links / 0 images / 3 snippetsStatus: living plan, update as work continues. As of this writing every other topicsdocs7how-to1reference1