Align checksums with bDS2.

This commit is contained in:
2026-07-21 21:18:47 +02:00
parent 8e78a5fc2b
commit b3bf134980
16 changed files with 162 additions and 110 deletions

View File

@@ -51,6 +51,8 @@ entity PostTranslation {
status: PostTranslationStatus
file_path: String
checksum: String?
-- Caller-supplied content change signal. Publish preserves it;
-- filesystem rebuild/sync clears it to match bDS2.
created_at: Timestamp
updated_at: Timestamp
published_at: Timestamp?
@@ -143,6 +145,7 @@ rule PublishTranslation {
ensures: TranslationFileWritten(translation)
ensures: translation.content = null
-- Content moves to filesystem
-- translation.checksum is preserved unchanged.
}
rule ReopenPublishedTranslation {