https://jq1.io/tags/semantic-toolchain/ Recent content in semantic-toolchain on jq1.io Hugo -- gohugo.io en Sun, 30 Aug 2026 14:09:21 -0600 https://jq1.io/posts/topology_compiler_semantic_toolchain/ Sun, 30 Aug 2026 14:09:21 -0600 https://jq1.io/posts/topology_compiler_semantic_toolchain/ Previously, the routing policy language gave cloud network engineers a way to express topology intent through four algebraic primitives. Declare deny > allow > segments > default, run terraform plan, and the compiler emits the correct route set. The algebra and its mental model should simplify cloud network topology. And it does. But correctness by construction answers “is this valid?” It doesn’t answer “is this what I meant?” A policy can be structurally correct and semantically wrong.