git/metabuilder
1
0
Fork 0
mirror of https://github.com/johndoe6345789/metabuilder.git synced 2026-04-24 13:54:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: guard package consistency quantifier

Browse Source
This commit is contained in:
johndoe6345789
2025-12-27 15:27:21 +00:00
parent 111760c7a5
commit 919f8f2948
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
spec/metabuilder.tla
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 ==