obsidian-vault/personal/projects/balda/execution-broker.md

Execution Broker — эксплуатация

Проверено: 2026-10-16 по исходникам, работающим контейнерам и реальным запускам. Приёмка закрыта в согласованном проверенном объёме; Broker готов к релизу и боевой эксплуатации в принятых конфигурациях.

Развёрнутый комплект

Компонент	Текущее состояние
Репозиторий	/Users/admin/Developer/execution-broker, codex/production-readiness; основной комплект fee5409, Broker hotfix 1b09e0f
Broker	sha256:921bb903be546b4703ed17d994cda3357421729a72383dfb1199c84f25349122, версия 0.1.0-rc.32+approval30.1b09e0f; исправленные macOS assets и workflow закреплены отдельно
Gateway	sha256:f13b362a49100050a1ae8a70db1a9c7a4d7e059dc7d71b413dc29b681ab21f99, версия 0.1.0-rc.32+nested-sandbox; проверенный nested-v1 включён только для linux-codex-default
Prism	execution-prism-adapter:fee5409, версия 0.1.0-rc.32
Smoke worker	execution-broker-worker:fee5409; один SHA256 image pin в Broker и gateway
OpenCode worker	execution-broker-executors:workflow-alias-20261015, image sha256:99e4c786a47fe03877dd4d8186528a5e4fe8676f5677116f89c8543e1d942734; одинаковый pin в Broker/gateway, оба workflow docker/story и opencode/story, Go SDK 1.26.9
Codex Linux worker	sha256:e9e1ab5e8c0f9f7c64d441d68a5c3c6db34462e641bbeb7b38367d1c9a194fea; согласованные Broker/gateway/worker pins b09f2be2, reviewer deny, nested-v1. Runner/Callee/Codex binaries побайтно совпадают с прежним принятым 5e8568bd; новая policy прошла production Story, отмену и restart/reuse
macOS bootstrap	Codex: macos-codex-review-probe-20261016.tar.gz, SHA256 463f47ce73bc76e02082faa8b34f3619a135012ee1f077bff5aa536cd7843d62, Runner с Darwin zombie-group fix, workflow b09f2be2 и ограниченный ACP audit. Claude/OpenCode сохраняют *-c5f63ef.tar.gz; Xcode — macos-xcode-fee5409.tar.gz. Старые assets/config сохранены
Оба Balda	Чистый upstream b5f7d5b4, image sha256:6703dfc84b0d383cd0bbdd014a803074963a1ce87a11ae036b46cd3a3c0389bd; подробности в personal/projects/balda/setup
Managed plugin	rc32 у обоих, Enabled=true, Drifted=false; прежние plugin data, revisions и marketplace сохранены
Release archives	0.1.0-rc.33 candidate, source ae92c15; четыре runtime archives и plugin в dist/, SHA256 и native binary-only checks на всех четырёх платформах проверены. make check/race/vet прошли. Публикации нет; rc32 сохранён

Docker socket и daemon group отсутствуют у coding workers. Административный доступ к Docker остаётся у gateway. Основные модели, home volumes и история обоих Balda сохранены; сессии не сбрасывались. Серверная проверка Codex auth: models endpoint отвечает HTTP 200 у обоих инстансов. У @balda дополнительно проверена реальная генерация в ephemeral read-only сессии: AUTH_OK, turn.completed, exit 0. Исходный аккаунт сохранён; Balda перечитал credentials после обычного перезапуска.

Инструменты и артефакты

execution_profiles показывает разрешённые tooling profiles. Подготовка окружения задаётся декларативно: platform, версии, approved packages/archives, SHA256 и readiness probes. Новый стек требует подходящего operator profile; Makefile сам по себе не устанавливает зависимости.

В текущем контуре Go 1.26.9 задан стандартным profile для Linux OpenCode и четырёх macOS workers. Специального Go installer в Runner больше нет. Tooling cache хранит проверенные immutable archives, ограничен 4 GiB; фактические версии сохраняются в tooling.json. Временные build products выполняются внутри приватного каталога run; общий Linux /tmp остаётся noexec.

Отдельный Git cache хранит immutable bundles по repository/commit с лимитом 4 GiB, durable deadline holds и отдельными run-scoped токенами. Disposable checkouts не разделяют mutable worktree и upstream credentials. В production linux-smoke подключён к внутренней control-сети Broker; cache/inputs/tooling требуют рабочего маршрута к Broker, одного публичного HTTPS clone недостаточно.

Durable смена окружения использует явно заданный operator checkpoint: остановка Callee и credential fence → snapshot исходников с сохранением base ancestry → cleanup старого worker → execution_reconfigure → отдельный owner approval → новая immutable среда и фиксированный continuation. Task и исходный deadline сохраняются; максимум две замены, один admission на checkpoint, отмена охватывает цепочку. Ожидание approval не резервирует worker capacity. Это opt-in политика workflow; в стандартных coding packs checkpoints по умолчанию не включены. Произвольный live graph не сериализуется и не переигрывается. Требуется execution/v3.

Artifact inputs реализованы и развёрнуты через execution/v2: до восьми файлов, суммарно до 1 GiB, точные source run/name/SHA256 и исходная сессия. Source run должен быть терминальным с cleanup=done; transactional retention holds защищают принятые зависимости. Передача возобновляется до начала исполнения.

Продолжения и одобрения

Generic webhook в текущем Balda запускает изолированное задание. Канонический канал исходной сессии остаётся Mattermost; Telegram approval не меняет её locator. Продолжение исходной сессии использует balda.state и balda.session.wait; попытка и наблюдатель сохраняются до Start/retry. Потерянный admission восстанавливается через execution_lookup, отмена закрывает и поздний идентичный запрос. Прежние callback routes Broker приостановлены; недоставленные cursors сохранены.

Telegram approval bot получает вопрос только для явно выбранных сессий; иначе вопрос принадлежит исходной беседе. В текущем контуре telegram_approvals.timeout_seconds=1800: окно ответа — 30 минут. min_run_ttl_seconds=3600 требует для новых запусков выбранных сессий общий TTL не меньше часа; более короткий запрос получает approval_window_too_short до admission. TTL включает очередь, планирование, ожидание ответа и исполнение; исходный deadline остаётся жёсткой границей и при появлении вопроса не продлевается. Сообщение сначала отправляется без кнопок, message ID сохраняется в state, затем публикуются controls. Рестарт завершает прерванную публикацию или renewal без повторного callback. Устаревшая копия очищается при callback до сохранения update cursor. Ответ владельца передаётся через bound execution_respond; модель не подменяет его. execution_retry сохраняет точный task, Story, revision, executor и действительное одобрение; новый scope требует нового решения. Для environment checkpoint используется execution_reconfigure; обычный retry таких runs запрещён.

Managed lifecycle и native wait restart проверены на развёрнутом Balda. Реальный conversational smoke прошёл: модель использовала исходные Story/Task, подтвердила observer/recovery waits, дождалась фактического Telegram-ответа владельца и получила succeeded, cleanup=done. Все шесть артефактов скачаны с проверкой SHA256; единственный итоговый ответ подтверждён через Mattermost API в исходной беседе, оставшиеся waits отменены. Приватные доказательства: state/balda-channel-context-20261015/. Outage/restart реальной модельной беседы также прошёл: Balda получила HTTP 502, затем Broker/Prism/Balda были перезапущены; сохранились тот же run/Story, provider thread и исходный deadline. После фактического Telegram approval подтверждены succeeded, шесть скачанных SHA256-проверенных артефактов, cleanup=done, закрытие Story/Task и единственное сообщение о завершении restart-приёмки в исходном Mattermost. Native waits отменены, duplicate admission и остаточных worker container/volume нет. Существующие сессии принимают новый capability snapshot через обычный /reset; обновление само их не сбрасывает.

Проверки

2026-10-16 принят protected host-loss recovery реальных аккаунтов: владелец разрешил зашифрованную копию на независимом HTPC; GPG recipient создан только там, master keys зашифрованы в памяти Mac, ciphertext и matching vault переданы по pinned SSH и SHA256-проверены. На физическом Linux без Keychain Mac native rc33 issuer восстановил Codex/Claude/DeepSeek, выполнил issue/checkpoint/release, read-only API каждого провайдера ответил HTTP 200. Временные plaintext key-files удалены; backup, private recipient, runtime archive и restore helper сохранены отдельно от lease workspace с правами 0700/0600. Рабочие vault/account/session не изменены. Доказательства: state/broker-acceptance-20261016/offhost-working-restore-verification.json, offhost-retention-verification.json, offhost-before-lease-release.json.

2026-10-16 отдельно принята natural access-token expiry Claude на Docker: token истёк 2026-10-15, свежий worker обновил сессию и успешно выполнил specify/design/breakdown. До реализации run отменён; Broker сохранил новый cache того же account/organization, освободил identity и удалил worker/volume. Пять артефактов проверены по размеру/SHA256. Доказательство: state/broker-acceptance-20261016/claude-expiry-verification.json. Upstream revocation, повторный browser login и macOS native refresh остаются отдельными непроверенными пунктами.

• Полные race/vet Broker на macOS ARM64 и Linux ARM64; Callee adapter, source/binary govulncheck — 0 reachable vulnerabilities, secret scan — без находок.
• Развёрнутый Balda source b5f7d5b4: чистый upstream без локальных патчей. Полный race, lint, architecture, SQLite/PostgreSQL integration, migration validators, govulncheck (0 reachable), replay/NATS/ingress, managed plugin lifecycle и native wait restart прошли. Обновление сохранило авторизации, прежние provider threads, locator/snapshots и все 2277 прежних событий основного инстанса. Общие MCP совпадают; Eagle Asana readonly подтверждён. Backups и proofs: state/balda-upstream-merged-20261015/.
• Production service acceptance: настоящий Callee Human → restart Broker/Prism → resume → шесть артефактов с проверенными SHA256 и provenance Git cache → succeeded, cleanup=done; Task и Story закрыты.
• Реальная Balda-сессия: исправленный Mattermost-контекст → durable waits → Broker smoke → фактический Telegram approval → шесть скачанных артефактов с проверенными SHA256 → cleanup=done → итог в исходной Mattermost-беседе. Доставка и отсутствие дубликата подтверждены readonly API.
• Настоящая macOS VM: verified Go archive через scoped tunnel, tooling.json, один XCTest без ошибок и сохранённый xcresult; восемь артефактов с проверенными SHA256, включая repository.json, VM cleanup подтверждён.
• Codex на macOS: production gate принят 2026-10-16 на installed Virfield 8bfff9f. Story eb-3b52387d73c10e8d64ad1ef2, итоговый run run-12f093299e237f03a7bb9b70327efcc5 использовал реально сохранённый owner-approved plan. Reviewer фактически выполнил os.open и получил EPERM; восемь артефактов повторно скачаны и сверены по size/SHA256, независимый checkout прошёл четыре теста, содержит ровно два новых committed файла и остаётся чистым. Prism Story closed, succeeded, cleanup=done; все три credential identity unrevoked/unowned, Virfield workers/jobs — 0, девять goldens сохранены. Две более ранние свежие VM Story/restart и три исторические pre-bootstrap ошибки сохранены в прежних receipts. Текущая проверка закрывает macOS readiness и Codex denied-write.
• Реальные Make/C, Python, Node и JVM проекты на macOS и Linux; Docker builder/Runner/Callee cache hit и изменение Node SDK; durable смена окружения с двумя рестартами и одним выполнением внешнего действия; отдельная проверка реального go run при /tmp noexec.
• Artifact input transfer/restart/cleanup и установка из Linux ARM64 release archive без исходников и Go прошли.
• Runtime archives: все четыре платформы — native. Linux AMD64 проверен на физическом htpc x86_64; Darwin AMD64 — на MacBook Pro 13″ 2014, Intel i5-4278U, macOS 12.6.8 (21G725), Python 3.8.9 через pinned Virfield SSH. Оба AMD64-прогона проверили семь binaries, MCP/auth rejection, synthetic vault import/revoke, SQLite backup и graceful shutdown; рабочие provider credentials не использовались.

Сервисные fixtures не подтверждают выбор tools и доставку результата моделью в настоящей беседе.

Принятый объём и ограничения

2026-10-16 владелец явно ответил «Да, закрыть в проверенном режиме»: закрыта приёмка подтверждённых конфигураций с перечисленными ниже непроверенными ограничениями. Публикация релиза не выполнялась.

Область	Проверено / границы
Docker providers	Linux OpenCode/DeepSeek прошёл две полные Story на свежих workers: реальные роли, повторное выполнение quality assertions, SHA256 всех артефактов, restart Broker/issuer, credential checkpoint/reuse, cleanup=done, без нового OAuth. Linux Claude также прошёл две полные Story на свежих workers, включая restart Broker/issuer: шесть ролей, независимый повтор unit tests, SHA256 семи артефактов каждого запуска, checkpoint и cleanup подтверждены; новый OAuth не понадобился. Linux Claude прошёл также component-проверку: фактический permission-handler обеих read-only ролей отклонил инъецированные ACP-запросы записи; marker не создан. Natural expiry/refresh Claude принята отдельно; намеренный upstream revoke исключён из согласованной приёмки и не проверен. Linux Codex прошёл две полные Story на свежих workers с nested-v1: все шесть ролей, quality, независимые unit tests (4/4 и 3/3), SHA256 артефактов, restart Broker/gateway/issuer, checkpoint/reuse и cleanup. Штатный Codex fallback сохраняет Docker proc masks; отдельные AppArmor/seccomp профили сохраняют non-root, cap-drop, read-only root и no-new-privileges. Реальная попытка записи в read-only workspace отклонена. Исправление f9ca7c3, gateway развёрнут с точным worker pin; итоговая Story через production Broker/Prism также прошла все шесть ролей, quality, независимые unit tests (3/3), SHA256 артефактов и cleanup=done. Default Docker policy не поддерживает нужные namespaces. Контролируемый Codex 401/token_expired проверен на отдельном synthetic vault; реальный upstream revoke и browser login исключены из принятого объёма и не проверены. Проверка запрета записи OpenCode прошла на Linux и свежей macOS VM: обе read-only сессии получили прямые ACP-запросы записи, Callee отклонил их, marker отсутствовал; native plan policy не менялась. Это protocol fault injection, а не попытка tool call, выбранная моделью
Provider lifecycle	На Linux приняты контролируемые native отказы Codex (401/token_expired), Claude (Authentication required, reauthentication_required) и DeepSeek (invalid API key) на отдельных synthetic vault. Все runs failed/cleanup=done, credential owners освобождены, артефакты сохранены/SHA256-проверены, secret scans прошли. Natural expiry/refresh Claude принята отдельно. Реальный upstream revoke существующей авторизации и последующий browser login не выполнялись; аккаунты менять запрещено. По явному решению владельца реальный upstream revoke и последующий browser login исключены из закрываемого объёма и остаются непроверенным ограничением; отрицательные прогоны не считаются их прохождением и не доказывают macOS failure lifecycle

Источник требований — docs/work-plan.md. iPad, прикладные UI/PR workflows и права Obsidian принадлежат вызывающему проекту или Balda.

Проверка 2026-10-16

Доказательства и копии артефактов сохранены в state/broker-acceptance-20261016/. verification.json подтверждает macOS production Story, восемь повторно скачанных артефактов, независимые четыре теста, реальный reviewer EPERM и credential settlement. Source fixes перенесены в текущую ветку; функциональные изменения сохранены в ee2ed5a, чистый Staticcheck — в a80a471.

Linux rollout выполнен после явного разрешения владельца и при нуле активных runs. Реальные container config и image pack сверены: новый image e9e1ab5e8c0f, workflow b09f2be2 у Broker/gateway/worker, health 200. Старые конфиги/образы сохранены. linux-policy-promotion.json, linux-policy-live-config.json и linux-policy-sandbox.json содержат проверку pins, настоящие sandbox write-denial checks и cleanup.

Production Story run-d643dd9154d4766fe82b72805dabdc9e завершилась succeeded/cleanup=done: implementation, verifier, reviewer, quality, семь SHA256-проверенных артефактов. Независимый checkout повторил четыре unit tests и подтвердил ровно два авторских source files. Повторный fresh-worker run run-37e61ecfcc08925e14b1531ef84b8b57 пережил restart Broker/gateway/issuer во время implementation: тот же run, исходный deadline и credential owner generation170 сохранились; затем succeeded/cleanup=done, ещё семь проверенных артефактов, независимые 4/4 tests и generation172 checkpointed/unowned/unrevoked. Файлы production-linux-independent-verification.json и production-linux-restart-independent-verification.json.

Отдельная отмена run-b2625286a00b071284fa48ad00952c7c во время implementer дала canceled/cleanup=done, сохранила пять хешированных артефактов и credential checkpoint; generation167→169, owner cleared, revoked=false. Собственных worker containers/volumes после трёх запусков нет. Prism спроецировал все исходы, закрыл Story eb-230154345220ae67e434f774; повторный sync пуст. Все три рабочие credential identity свободны и unrevoked. Итог — production-cycle-final.json; секреты в трёх наборах артефактов не найдены.

Итоговые make check (race/vet/scripts), Callee compatibility/race, Staticcheck (0 findings), source/binary Govulncheck и source/artifact secret scans прошли. Достижимых уязвимостей нет. Семь binaries собраны для Darwin/Linux ARM64/AMD64; это cross-build gate, не новая native archive-приёмка. Результаты — source-validation.json, cross-build.json, staticcheck-final.log.

Beads .6.4 macOS, .6.5 Linux, .4 protected host-loss recovery, .6.6, .6 и корневая Story eb-71b7971ac3fdd03b8ff6b198 закрыты; все дочерние задачи закрыты. Основание для .6.6 — явное решение владельца принять проверенный объём, а не утверждение о выполненном отзыве аккаунтов. Финальный rc33 source ae92c15 собран с согласованной документацией; все четыре exact runtime archives прошли native binary-only checks, make check/race/vet и SHA256 проверены. Итог: state/broker-acceptance-20261016/final-release-readiness.json, beads-acceptance-closure.json, rc33-release-verification.json. Публикации нет. Блокеров в согласованном объёме нет; реальный upstream revoke и browser login остаются непроверенными ограничениями. Рабочие сессии не отзывались, тестовые ресурсы очищены. Recovery-копия сохранена вне тестовых leases с проверенным исходным runtime rc33 d296c73 (до финального документационного commit).

Конфигурация и восстановление

Приватный Compose: state/deploy/compose.production.json; конфиги broker.json, worker.json, assets в state/deploy/assets. Токены находятся только в secret-файлах.

После выбора согласованного проверенного комплекта применять из репозитория:

docker-compose -f state/deploy/compose.production.json -p execution-broker up -d --no-build worker broker prism

До смены комплекта завершить runs/cleanup, сохранить state/config/image pins и исходные immutable assets. Сам Git commit deployment не меняет.

Backup перед текущим обновлением: state/backups/20261015-before-rc32. Проверены SHA256, 31 SQLite database и inert restore шести компонентов, включая encrypted credential vault. Все три credential identity были освобождены и checkpointed. Restore не запускал сервисы; master keys Keychain в backup отсутствуют. Это подтверждение восстановления production snapshot на том же хосте. Отдельная native-проверка перенесла синтетический encrypted vault с macOS ARM64 на физический Linux AMD64: отсутствие и подмена ключа отклоняются без перезаписи ciphertext, отдельный escrow key восстанавливает запись, revoke работает, fresh enrollment в новый vault с новым ключом проходит. Production credentials и Keychain keys в этом тесте не использовались. Он не заменяет escrow или повторную авторизацию реальных аккаунтов после потери хоста.

Актуальные согласованные state/home/config backups обоих Balda и exact image/binary hashes после обновления на чистый upstream b5f7d5b4: state/balda-upstream-merged-20261015/, итог — final-verification.json. Предыдущие backup и restart/native/off-host fixture receipts: state/balda-upstream-hooks-20261015/; более ранние state/home backups: state/balda-upstream-rollout-20261015/. Рабочие account/config hashes после обновления совпали с исходными. Приватные отчёты проверок основного комплекта: state/broker-rc32-rollout-20261015/. Broker hotfix: state/telegram-timeout-20261015/, включая консистентный broker.before.db с успешными integrity/foreign-key checks и сохранённый Compose для отката. Hotfix прошёл полный make check, Linux ARM64 race для Broker/config/HTTP API и govulncheck без достижимых уязвимостей. Release archives rc32 остаются неизменными и содержат исходный fee5409; hotfix развёрнут отдельным Broker image. Native Darwin AMD64 proof: state/balda-pr62-review-20261015/native-darwin-amd64.json. Проверочный скрипт поддерживает штатный Python 3.8; публичные rc32 archives не перезаписывались. Приватные отчёты не входят в release archives.

Контракты и процедуры: docs/protocol.md, docs/tooling.md, docs/environment-changes.md, docs/repository-cache.md, docs/operations.md, docs/telegram-approvals.md, docs/recovery.md, docs/testing.md.