fact: Definition GithubSchema := Query Structure Schema [ relation REPOSITORIES has schema <PROJECT_NAME :: string, STAR :: nat>; relation COMMITS has schema <PROJECT_NAME :: string, HASH :: hash, CREATED_AT :: nat> ] enforcing [ attribute PROJECT_NAME for COMMITS references REPOSITORIES ].
imports: Fiat.QueryStructure.Automation.MasterPlan