3 commits

Author	SHA1	Message	Date
myrmidex	a2663be938	31 - Add buffer multiplier validation	2026-06-20 00:53:29 +02:00
myrmidex	3163a95f37	31 - Add single-overflow-per-scenario invariant	2026-06-20 00:28:29 +02:00
myrmidex	7855e41e84	31 - Add allocation-type invariant	2026-06-19 23:38:24 +02:00