Using manifests to document the system state