Invariants / DC-STORE-06

DC-STORE-06

DC derived declared

VolatileDB uses ValidateAll after unclean shutdown; NoValidation acceptable during clean operation as optimization

Source: Project constitution §3, T-INGRESS-01

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references