fact: Definition SchedulerSchema := Query Structure Schema [ relation "Processes" has schema <"pid" :: W, "state" :: State, "cpu" :: W> where (UniqueAttribute ``"pid") ] enforcing [].
imports: Fiat.QueryStructure.Automation.MasterPlan Bedrock.Memory