Ochenstarik 23eb3f5233 chore(agents): разбор рабочих папок с диска на 2026-08-18

Задания, отчёты и патчи, лежавшие в C:\Users\Ochenstarik\projects и в
домашней папке, перенесены в agents/. Разложено по агентам там, где имя
файла позволяло определить автора; остальное — в _salvage-2026-08-18/
и разбирается вручную.

Патчи в notes/salvage-2026-08-18/ — незакоммиченная работа из брошенных
рабочих копий: она существовала только на диске.

Тяжёлое (релизные архивы, инсталляторы, наборы данных) в репозиторий не
попало: оно лежит рядом, в Agent_projects/_archive и Agent_projects/_data.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

2026-08-18 14:19:54 +07:00

3.8 KiB

Raw Blame History

B-3R change design

Scope

Добавочный contract B3R_SPEC.md применяется вместе с полным исходным B-3. Block C исключён.

Инварианты реализации

Full pass начинает с одного link-list и одного ListEffectiveLinksAsync.
При отсутствии mutations дополнительных privileged calls нет.
При наличии любого числа mutations выполняется ровно один общий финальный link-list.
Для каждого natural key финальный count обязан быть:
- Active: ровно 1;
- Disabled или DB-less orphan: ровно 0.
События успешной mutation и orphan audit формируются только после финальной factual verification.
Для orphan audit порядок: factual verification → source-generated audit → success event.
Итог каждого examined key принадлежит ровно одному классу: Converged, Failed, Deferred.
Converged + Failed + Deferred == Examined; нарушение — программная ошибка, а не молчаливый успех.
PendingActivation относится к Deferred; Deferred не удерживает generation marker. Marker удерживает только Failed.
Lock order остаётся: sorted node locks → current effective per-Link gate. Новых lock-классов нет.
lookup_node_ip принимает только production-shape active row с валидным IPv4; reserved/missing → exit 80; malformed status/IP → exit 78.
Foreign nft comments никогда не становятся trusted keys и не мутируются.

Минимальный двухфазный full-pass design

Phase A: initial factual snapshot; natural-key reconciliation under existing locks; actual helper mutations; собрать mutated keys и preliminary states (PendingActivation, helper failures).
Phase B: если были mutation attempts, один final factual snapshot; exact-count verification всех затронутых keys; затем DB state/audit/success events.
ConvergeAsync остаётся единственным convergence core: phase/mode передаётся явно; отдельная копия connect/disconnect/error logic не допускается.

Обязательные regressions

DB-less no-op disconnect → Failed.
Persisted Disabled при отсутствующем Node → Disabled после list verification.
Mixed six-policy invariant с Converged/Failed/Deferred.
Failed удерживает marker; только Converged+Deferred marker потребляет.
10 последовательных PendingActivation passes не создают prompt hot-loop.
k mutations → два link-list; no drift → один.
production-shape reserved/active-invalid/missing helper fixtures.
Linux process integration fake поддерживает fact-first link-list protocol.
Published linux-x64 trimmed Control assembly выполняет orphan removal и пишет ожидаемый source-generated audit JSON.

Verification gates

Windows focused/full Control;
bootstrap contracts и bash -n;
Desktop x64 Release + Windows contracts;
WSL Ubuntu Linux full Control suite;
linux-x64 PublishTrimmed + ad-hoc orphan audit execution through published assembly;
git diff --check;
independent reviewer получает оба полных spec: B-3 и B-3R.

External residual

Physical acceptance требует реальных SSH/topology inputs и остаётся pending независимо от локальных tests/CI.

3.8 KiB Raw Blame History Unescape Escape