feat(交付物理): 关上 Card 写路径并准备 0.7.0

.github/workflows/ci.yml

@@ -98,6 +98,7 @@ jobs:
           test -x "$smoke_root/sdist-venv/bin/dyro"
           test ! -e "$smoke_root/sdist-venv/bin/dyro-bridge"
           test ! -e "$smoke_root/sdist-venv/bin/dyro-mcp"
+          "$smoke_root/sdist-venv/bin/python" "$GITHUB_WORKSPACE/tools/verify_bundle_stranger.py" "$smoke_root/sdist-venv/bin/dyro"
 
   windows-dispatch-import:
     name: Windows dispatch import / fail-closed smoke

.github/workflows/pypi-publish.yml

@@ -105,6 +105,11 @@ jobs:
               raise SystemExit(f"release tag {actual!r} must equal {expected!r}")
           PY
 
+      - name: Refuse 1.0.0 without delivery-physics gates
+        env:
+          RELEASE_TAG: ${{ github.event.release.tag_name || inputs.release_tag }}
+        run: uv run python tools/verify_release_gates.py --release-tag "$RELEASE_TAG"
+
       - name: Build distributions
         run: uv run python -m build
 
@@ -162,6 +167,7 @@ jobs:
           test ! -e "$smoke_root/sdist-venv/bin/dyro-mcp"
           DYRO_LOCAL_AGENT_DISPATCH_HOME="$smoke_root/sdist-dispatch-home" "$smoke_root/sdist-venv/bin/dyro" dispatch doctor >"$smoke_root/sdist-doctor.json"
           uv run python -c "import json; json.load(open('$smoke_root/sdist-doctor.json'))"
+          "$smoke_root/sdist-venv/bin/python" "$GITHUB_WORKSPACE/tools/verify_bundle_stranger.py" "$smoke_root/sdist-venv/bin/dyro"
 
       - name: Validate distribution metadata
         run: uv run python -m twine check --strict dist/dyro-*.whl dist/dyro-*.tar.gz

CHANGELOG.md

@@ -2,6 +2,20 @@
 
 ## Unreleased
 
+## 0.7.0 - 2026-08-16
+
+- First delivery-physics release: Proof objects, Capability Cards, the Host
+  Compiler, and `verify-bundle`. This is not the published `0.6.9` Peer Wave
+  train and is not `1.0.0`.
+- A Card without `execute` refuses write dispatch, Peer Wave binding, and
+  `task run`. PATH discovery is not a Card. A dispatch-ready provider without a
+  Card remains the explicit second write door from 0.6.9.
+- Core bound contracts no longer silently set `allow_unconfined_provider`.
+- `merge_task` still refuses missing review or signoff files, but only a failed
+  complete predicate is labeled `PROOF_DECAYED`.
+- Console summary stays `proof_inspection=not_inspected`; `dyro objective
+  attention` is the Proof-rebinding entry.
+
 ## 0.6.9 - 2026-08-15
 
 - Make multi-harness writes a Core peer wave: each task worktree has one

README.de.md

@@ -4,9 +4,13 @@
 
 **DyroEngineeringFlow · `dyro` CLI** ist eine local-first Plattform für Engineering-Automatisierung und Delivery-Steuerung in Multi-Repository-Teams. Sie vereint Entwicklungslinien, Git-Worktrees, Agent-Launcher, Task-Gates, unabhängige Reviews und Merge-Audit in einer versionierten Workspace-Konfiguration.
 
+**Dyro ist eine local-first Delivery-Physik-Engine für mehrere Repositories: Sie entscheidet, was wahr werden kann, wann diese Wahrheit zerfällt, und wer die Welt ändern darf.**
+
+`dyro proof verify` bindet den aktuellen Workspace neu. `dyro proof verify-bundle` prüft nur portable Integrität: der Aufrufer muss jedes `--git-dir` mit den gepinnten Objekten übergeben (Vereinigungssuche, keine Repo-Map). Fehlende Objekte sind `inconclusive`. Integrity `live` ist nicht merge.
+
 **Engineering von der Aufgabe bis zur Auslieferung in Bewegung halten.**
 
-Nicht an Codex, Claude oder eine Fachdomäne gekoppelt. Jedes Team liefert ein `dyro.toml`-Profile für Repositories, Layouts, Agent-Adapter und Delivery-Policy; Geschäftsregeln, Modellkosten und Release-Praktiken bleiben im Profile.
+Jedes Team liefert ein `dyro.toml`-Profile für Repositories, Layouts, Agent-Adapter und Delivery-Policy; Geschäftsregeln, Modellkosten und Release-Praktiken bleiben im Profile.
 
 ## Was erzwungen wird
 

README.es.md

@@ -4,9 +4,13 @@
 
 **DyroEngineeringFlow · `dyro` CLI** es una plataforma local-first de automatización de ingeniería y control de entrega para equipos multi-repositorio. Integra líneas de desarrollo, Git worktrees, lanzadores de agentes, puertas de tarea, revisión independiente y auditoría de merge en una configuración de workspace versionada.
 
+**Dyro es un motor de física de entrega local-first para varios repositorios: decide qué puede volverse verdadero, cuándo decae esa verdad y quién puede cambiar el mundo.**
+
+`dyro proof verify` reenlaza el workspace actual. `dyro proof verify-bundle` solo comprueba integridad portable: el llamador debe pasar cada `--git-dir` que contenga los objetos fijados (búsqueda en unión, no un mapa de repos). Sin objetos el resultado es `inconclusive`. Integrity `live` no es merge.
+
 **Mantén la ingeniería en movimiento de la tarea a la entrega.**
 
-No está acoplado a Codex, Claude ni a ningún dominio de negocio. Cada equipo aporta un Profile `dyro.toml` para repositorios, layouts, adaptadores de agente y política de entrega; las reglas de negocio, el coste de modelos y las prácticas de release permanecen en ese Profile.
+Cada equipo aporta un Profile `dyro.toml` para repositorios, layouts, adaptadores de agente y política de entrega; las reglas de negocio, el coste de modelos y las prácticas de release permanecen en ese Profile.
 
 ## Lo que impone
 

README.fr.md

@@ -4,9 +4,13 @@
 
 **DyroEngineeringFlow · `dyro` CLI** est une plateforme local-first d'automatisation d'ingénierie et de contrôle de livraison pour les équipes multi-dépôts. Elle regroupe lignes de développement, Git worktrees, lanceurs d'agents, portes de tâches, revue indépendante et audit de fusion dans une configuration d'espace de travail versionnée.
 
+**Dyro est un moteur de physique de livraison local-first pour dépôts multiples : il décide ce qui peut devenir vrai, quand cette vérité se dégrade, et qui peut changer le monde.**
+
+`dyro proof verify` relie l'espace de travail courant. `dyro proof verify-bundle` ne vérifie que l'intégrité portable : l'appelant doit fournir chaque `--git-dir` contenant les objets épinglés (recherche en union, pas une carte de dépôts). Sans objets le résultat est `inconclusive`. Integrity `live` n'est pas merge.
+
 **Faire avancer l'ingénierie de la tâche à la livraison.**
 
-Non couplé à Codex, Claude ou un domaine métier. Chaque équipe fournit un Profile `dyro.toml` pour les dépôts, layouts, adaptateurs d'agent et politique de livraison ; les règles métier, le coût des modèles et les pratiques de release restent dans ce Profile.
+Chaque équipe fournit un Profile `dyro.toml` pour les dépôts, layouts, adaptateurs d'agent et politique de livraison ; les règles métier, le coût des modèles et les pratiques de release restent dans ce Profile.
 
 ## Ce qu'il impose
 

README.ko.md

@@ -4,9 +4,13 @@
 
 **DyroEngineeringFlow · `dyro` CLI**는 여러 저장소를 사용하는 팀을 위한 로컬 우선 엔지니어링 자동화 및 배포 제어 플랫폼입니다. 개발 라인, Git worktree, Agent 실행, 작업 게이트, 독립 검토, 병합 감사를 버전 관리 가능한 워크스페이스 설정으로 통합합니다.
 
+**Dyro는 로컬 우선 멀티 저장소 전달 물리 엔진입니다. 무엇이 참이 될 수 있는지, 그 참이 언제 감쇠하는지, 누가 세계를 바꿀 수 있는지를 결정합니다.**
+
+`dyro proof verify`는 현재 워크스페이스를 다시 묶습니다. `dyro proof verify-bundle`은 이식 가능한 무결성만 검사합니다. 호출자는 고정된 객체가 있는 모든 `--git-dir`을 넘겨야 합니다(합집합 검색, repo 맵 아님). 객체가 없으면 `inconclusive`입니다. 무결성 `live`는 merge가 아닙니다.
+
 **작업에서 배포까지 엔지니어링이 계속 흐르게 합니다.**
 
-Codex, Claude 또는 특정 비즈니스 도메인에 종속되지 않습니다. 각 팀은 `dyro.toml` Profile에서 저장소, 레이아웃, Agent adapter, 배포 정책을 정의하며, 비즈니스 규칙·모델 비용·릴리스 관행은 Profile에 둡니다.
+각 팀은 `dyro.toml` Profile에서 저장소, 레이아웃, Agent adapter, 배포 정책을 정의하며, 비즈니스 규칙·모델 비용·릴리스 관행은 Profile에 둡니다.
 
 ## 강제하는 것
 

README.md

@@ -4,11 +4,15 @@
 
 **DyroEngineeringFlow · `dyro` CLI** is a local-first engineering automation and delivery control platform for multi-repository teams. It brings development lines, Git worktrees, agent launchers, task gates, independent review, and merge audit into versioned workspace configuration.
 
+**Dyro is a local-first multi-repository delivery physics engine: it decides what can become true, when that truth decays, and who may change the world.**
+
+`dyro proof verify` rebinds the current workspace. `dyro proof verify-bundle` checks portable integrity only: the caller must pass every `--git-dir` that contains the pinned objects (union search, not a repo map). Missing objects are `inconclusive`. Integrity `live` is not merge.
+
 **Keep engineering moving from task to delivery.**
 
 ![Dyro — multi-repository delivery control](docs/assets/dyro-github-cover-long-running-work-v5.png)
 
-DyroEngineeringFlow is not coupled to Codex, Claude, or any business domain. Each team supplies a `dyro.toml` Profile for repositories, layouts, agent adapters, and delivery policy; business rules, model cost, and release practices stay in that Profile.
+Each team supplies a `dyro.toml` Profile for repositories, layouts, agent adapters, and delivery policy; business rules, model cost, and release practices stay in that Profile.
 
 ## Local web Console
 

README.pt-BR.md

@@ -4,9 +4,13 @@
 
 **DyroEngineeringFlow · `dyro` CLI** é uma plataforma local-first de automação de engenharia e controle de entrega para equipes multi-repositório. Une linhas de desenvolvimento, Git worktrees, lançadores de agentes, portões de tarefa, revisão independente e auditoria de merge em uma configuração de workspace versionada.
 
+**Dyro é um motor de física de entrega local-first para vários repositórios: decide o que pode se tornar verdadeiro, quando essa verdade decai e quem pode mudar o mundo.**
+
+`dyro proof verify` religa o workspace atual. `dyro proof verify-bundle` verifica só a integridade portátil: o chamador deve passar cada `--git-dir` que contém os objetos fixados (busca em união, não um mapa de repos). Sem objetos o resultado é `inconclusive`. Integrity `live` não é merge.
+
 **Manter a engenharia em movimento da tarefa à entrega.**
 
-Não está acoplado a Codex, Claude ou a qualquer domínio de negócio. Cada equipe fornece um Profile `dyro.toml` para repositórios, layouts, adaptadores de agente e política de entrega; regras de negócio, custo de modelos e práticas de release ficam nesse Profile.
+Cada equipe fornece um Profile `dyro.toml` para repositórios, layouts, adaptadores de agente e política de entrega; regras de negócio, custo de modelos e práticas de release ficam nesse Profile.
 
 ## O que impõe
 

README.ru.md

@@ -4,9 +4,13 @@
 
 **DyroEngineeringFlow · `dyro` CLI** — local-first платформа автоматизации инженерии и контроля поставки для multi-repository команд. Она объединяет линии разработки, Git worktree, запуск агентов, gate задач, независимый review и аудит merge в версионируемой конфигурации workspace.
 
+**Dyro — локальный движок физики поставки для нескольких репозиториев: он решает, что может стать истиной, когда эта истина затухает и кто может менять мир.**
+
+`dyro proof verify` заново привязывает текущий workspace. `dyro proof verify-bundle` проверяет только переносимую целостность: вызывающий должен передать каждый `--git-dir` с закреплёнными объектами (поиск по объединению, не карта репозиториев). Без объектов результат `inconclusive`. Integrity `live` — это не merge.
+
 **Держать инженерию в движении от задачи до поставки.**
 
-Не привязан к Codex, Claude или бизнес-домену. Каждая команда задаёт Profile `dyro.toml` для репозиториев, layout, адаптеров агентов и политики поставки; бизнес-правила, стоимость моделей и практики релиза остаются в Profile.
+Каждая команда задаёт Profile `dyro.toml` для репозиториев, layout, адаптеров агентов и политики поставки; бизнес-правила, стоимость моделей и практики релиза остаются в Profile.
 
 ## Что обеспечивается
 

README.zh-CN.md

@@ -4,9 +4,13 @@
 
 **DyroEngineeringFlow · `dyro` CLI** 是面向多仓团队的本地优先工程自动化与交付控制平台。它将开发线、Git worktree、Agent 启动、任务门禁、独立复核和合并审计统一到可版本化的工作区配置中。
 
+**Dyro 是本地优先的多仓交付物理引擎：决定什么能变成真，真值何时衰减，以及谁有权改世界。**
+
+`dyro proof verify` 重绑当前工作区。`dyro proof verify-bundle` 只核便携完整性：调用方必须传入包含已钉对象的每个 `--git-dir`（并集查找，不是仓库映射）。缺对象为 `inconclusive`。完整性 `live` 不是 merge。
+
 **让工程从任务到交付持续流转。**
 
-DyroEngineeringFlow 不绑定 Codex、Claude 或任何业务领域。每个团队通过 `dyro.toml` Profile 定义仓库、目录布局、Agent adapter 与交付策略；业务规则、模型成本和发布实践始终留在各自的 Profile 中。
+每个团队通过 `dyro.toml` Profile 定义仓库、目录布局、Agent adapter 与交付策略；业务规则、模型成本和发布实践始终留在各自的 Profile 中。
 
 ## 本地 Web 控制台