Спрашивали, где можно посмотреть результат этого метода.

В процессе TLA+ доказательства Claude (Fable) обнаружил, что при изменении количества workers в конфигурации сервиса Transactional Outbox и Transactional Inbox могут терять сообщения.

Предложенные им варианты были работающими, но существенно усложняли интерфейс библиотек. Тогда я и решил попробовать этот метод для расширения списка вариантов решения.

В результате он предложил решение, которое мне не встречалось ни в одной из Transactional Outbox/Inbox библиотек на пяти языках, с которыми имею дело. И, если честно, я даже не догадывался о том, что так можно было. И, видимо, Claude тоже не догадывался. По крайней мере до сего момента он мне его не предлагал ни разу. Иными словами, он это решение не из долговременной памяти вытянул, а синтезировал в соответствии с 1-м з-ном диалектики.

Посмотреть результат можно здесь для Outbox:
- https://github.com/krew-solutions/ascetic-ddd-rust/commit/803bcaf4d0d5550aaebd7045110a2cc6330760a0

И для Inbox:
- https://github.com/krew-solutions/ascetic-ddd-rust/commit/cba3b3348464d282085200b29e312227fb5d47dc