Registers, Lanes, and Berry Phase: Lifting Siunertaq from Batch Graphs to the Complex Plane (opens in new tab)

The previous article is here: This is the second follow-up to and . The short version of both: we model build graphs as norm-bounded quivers, verify them with Z3/Yices before any effect fires, and orchestrate steps using JCL-inspired ADTs backed by Dhall and Spring Batch + Pekko. The previous posts worked at the graph level: vertices, edges, the shape of dependencies. This one goes one level down — to registers. The insight that forced this descent was noticing that Ref[IO, Array[Byte]] is a ...