git/metabuilder
1
0
Fork 0
mirror of https://github.com/johndoe6345789/metabuilder.git synced 2026-05-03 10:14:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #112 from johndoe6345789/codex/implement-graph-workflow

Browse Source 
Fix package consistency quantifier guard
This commit is contained in:
johndoe6345789
2025-12-27 15:27:34 +00:00
committed by GitHub
parent d27436b9d6 919f8f2948
commit c661b9cb6d
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
spec/metabuilder.tla
+3 -2
View File
@@ -320,8 +320,9 @@ DataConsistency ==
\* Package consistency: installed packages must be in installed or disabled state
PackageConsistency ==
\A t \in Tenants, p \in installedPackages[t]:
packageStates[p] \in {"installed", "disabled", "installing"}
\A t \in Tenants:
\A p \in installedPackages[t]:
packageStates[p] \in {"installed", "disabled", "installing"}
\* DBAL safety: no queries processed in error state
DBALSafety ==