Repository navigation

Model the runner microVM in .dag: the prerequisite is a refusal, and it belongs to the topology rather than to virtualization - #9578

Merged

briansrls merged 3 commits into

mainfrom

session/cool-seal-638-microvm-runner

Sep 2, 2026

Merged

Model the runner microVM in .dag: the prerequisite is a refusal, and it belongs to the topology rather than to virtualization#9578
briansrls merged 3 commits into
mainfrom
session/cool-seal-638-microvm-runner

Commits on Aug 28, 2026
- Per-registration Firecracker microVMs: MVP proven by execution, and the prerequisite that makes it sound
  
  Brian Searls
  and
  claude
  committed
  f42e42a
- Model the runner microVM in .dag: the prerequisite is a refusal, and it belongs to the topology rather than to virtualization
  
  Brian Searls
  and
  claude
  committed
  ab9ee5f
- Ground the VM size in std.measure: HardwareThreadCount and Mebibyte, not bare Int
  
  Brian Searls
  and
  claude
  committed
  92e932b