Record STQ-03 free space evidence

This commit is contained in:
Mario Fetka
2026-07-23 08:41:45 +02:00
parent 78c2593042
commit 5aeccb4fe7
2 changed files with 33 additions and 1 deletions
+1 -1
View File
@@ -108,7 +108,7 @@ inputs and outputs is absent from the ZIP.
| --- | --- | --- | --- | --- |
| STQ-01 | New users receive independent stores and standard folders | [PASS](test-evidence/0.7-r1.md#stq-01) | | |
| STQ-02 | Local message survives Queue-to-Store delivery byte-for-byte | [PASS](test-evidence/0.7-r1.md#stq-02) | | |
| STQ-03 | Queue free-space calculation is correct on 32/64-bit and reserves space | | | |
| STQ-03 | Queue free-space calculation is correct on 32/64-bit and reserves space | [PASS](test-evidence/0.7-r1.md#stq-03) | | |
| STQ-04 | Full-disk and unreadable-spool failures defer safely without mail loss | | | |
| STQ-05 | Retry, expiry, bounce, listing, hold/release, and deletion | | | |
| STQ-06 | Concurrent delivery/read/move/delete/restart preserves integrity | | | |
+32
View File
@@ -1446,3 +1446,35 @@ configuration and aliases readable to the test runner had aggregate
fingerprint
`2bd12226858159f3d6565c2368210b6e57a916257e0943317efa3f34bedfe5cc`.
No external mail, SMTP relay, collector source, or LMTP endpoint was used.
## STQ-03
Result: **PASS**
Commit `78c25930` centralised the Queue free-space calculation in
`BongoQueueAvailableBytes()` and made both the monitor and `QDSPC` require
free space to be strictly greater than the configured reserve. The test
suite covers values above 32 bits, the exact-reserve boundary, values below
the reserve, and arithmetic at `UINT64_MAX`. The 32-bit helper was also
compiled and run with `-m32`. The complete rebuilt suite passed 85 of 85
tests in 10.49 seconds.
The commit was pushed to `master`, installed as
`mail-mta/bongo-9999::bongo` with GCC 15.3.0, and exercised against the live
Queue on 2026-07-23:
```sh
./contrib/testing/queue-disk-space-check.sh
```
```text
STQ-03 PASS free-before=65388068864 free-after=65388068864 reserve=5242880 reported=65382825984 block=4096
```
The reported value is exactly 5 MiB below the bracketed filesystem
free-space measurements and therefore within the permitted one-block
tolerance. This also proves that the live protocol and administration
client preserve the value above `UINT32_MAX`. Bongo remained active/running
as manager PID 1206471 with systemd result `success`. No Queue entry, Store
object, external mail, SMTP relay, collector source, or LMTP endpoint was
created or used by this test.