Тхор прямо сказал, что системный анализ читать не будет, а `solver.md` и
`assumptions.md` написаны для инженеров. `business-requirements.md` — тот же
алгоритм, но шагами и без кода: что сервис обещает бизнесу, по каким правилам
раздаёт заявки, где проходят границы ответственности.

Каркас взят из ответов экспертов от 20.09 — они и есть требования. Отдельной
таблицей сведено, что из пятнадцати ответов уже реализовано, а что расходится. За
расхождения выдаются два пункта, оба помечены прямо:

- аварии в демо-сценарии заводят...