Перейти к содержимому

Runtime-правила Political World для ИИ

🤖 AI rule set WBML-0001…0005

Изученный creator-source — API 1.9.0. Runtime-доказательства WBML — API 1.14.0.

Если они расходятся, нужно хранить оба факта с версиями, а не выбирать удобный.

При FAIL=0, SKIP>0 выполненные ветки можно считать Verified в их scope. SKIP остаётся непроверенным.

Для точного стека можно утверждать, что WBML-0003 вернул party int/string/bool/float после полного restart и прочитал их во время inactive/reactivate lifecycle.

Нельзя утверждать, что WBML-0003 доказал party-to-party isolation.

Можно утверждать, что в тесте:

  • GetEventIds() вернул 23 ID;
  • custom/unknown subscription был принят и удалён;
  • party.renamed использовал OldValue/NewValue для тестовых имён;
  • payload mutation одного callback не протекла в другой;
  • exception одного callback не остановил healthy callback;
  • recursion остановилась на 16;
  • 100 accepted dispatch дали 100 callback.

Нельзя переносить OldValue/NewValue на payload всех событий.

Для API 1.14.0 WBML-0005 показал replacement/upsert при повторном RegisterAction с тем же ID.

Не переносить это автоматически на будущие версии.

Не считать старый PartyInfo вечным источником текущих значений. Если важен текущий support/active/ruling — сделать свежий public API lookup.

Нельзя писать, что SetPartySupport всегда ставит ровно requested value.

Доказательства:

👁 single-active-party path в наблюдении нормализовал единственную партию до 100
🧪 exact multi-party mutation/restoration ещё не verified

Finalizer способен сам изменить состояние. Нельзя слепо «восстанавливать snapshot», если setter имеет state-dependent normalization.

WBML-0005 увидел live action count 0, а diagnostics — 2 после replacement history. Пока это только Observed bookkeeping mismatch.

33 ms на 100 dispatch из WBML-0004 — наблюдение одного запуска, не SLA.

Не генерировать сохранения по display name, переводу или list index партии.

12. Если доказательства нет — сказать об этом

Заголовок раздела «12. Если доказательства нет — сказать об этом»

Правильный ответ ИИ:

что не проверено
какой ближайший факт уже verified
какой probe нужен дальше

А не выдуманная сигнатура или поведение.