Open question: NixOS flakes provide reproducibility and composition for describing agents, but the format is not human-friendly. What language balances formal precision with accessibility for physical system descriptions?