guarantee-based-coding 0.2.1__tar.gz → 0.2.3__tar.gz

{guarantee_based_coding-0.2.1/guarantee_based_coding.egg-info → guarantee_based_coding-0.2.3}/PKG-INFO

@@ -1,108 +1,108 @@
-Metadata-Version: 2.4
-Name: guarantee-based-coding
-Version: 0.2.1
-Summary: Make code safely modifiable even when not fully understood — turn implicit inter-module dependencies into explicit, executable, verifiable guarantees.
-Author: Jesse-x86
-License-Expression: Apache-2.0
-Project-URL: Homepage, https://github.com/Jesse-x86/guarantee-based-coding
-Project-URL: Repository, https://github.com/Jesse-x86/guarantee-based-coding
-Keywords: guarantee,testing,ai-coding,mcp,code-safety
-Classifier: Development Status :: 3 - Alpha
-Classifier: Intended Audience :: Developers
-Classifier: Programming Language :: Python :: 3
-Classifier: Topic :: Software Development :: Testing
-Requires-Python: >=3.10
-Description-Content-Type: text/markdown
-License-File: LICENSE
-Requires-Dist: typer[all]
-Requires-Dist: pydantic
-Requires-Dist: mcp<2.0,>=1.0
-Dynamic: license-file
-
-# Guarantee-Based Coding (GBC)
-
-**与其指望 AI 更聪明，不如让再笨的 agent 也改不坏你的代码。**
-
-**English version: [docs/en/README.md](docs/en/README.md)**
-
-GBC 把「这次改动会不会悄悄碰坏别处」从一种担心，变成可以当场验证的事实：你在意的行为被登记成
-一条条带测试的**保证（guarantee）**，每次改完一跑——全绿就安心，有红就精确告诉你碰坏了谁、谁在
-依赖它。
-
----
-
-## 🚀 快速开始
-
-```bash
-pipx install guarantee-based-coding
-gbc setup        # 打印本地化接线指南：怎么把 MCP / skills 接入你的 agent
-```
-
-装好后 `gbc` 命令即在 PATH 上。完整上手（安装 → 接入 agent → 冒烟验证）见
-**[docs/zh/quick-start.md](./docs/zh/quick-start.md)**。
-
-想让 agent 替你接入？把 **[docs/zh/onboarding-agent.md](./docs/zh/onboarding-agent.md)** 交给它。
-
----
-
-> 🚧 **交互式 demo 施工中**：旧的演示套件已废弃，新的交互式演示正在筹备。目前请直接读文档上手。
-
----
-
-## 📚 文档
-
-| 你想 | 看这里 |
-|------|--------|
-| 装好并跑起来 | [快速开始](./docs/zh/quick-start.md) |
-| 懂 GBC 在保护什么 | [核心概念](./docs/zh/concepts.md) |
-| 在 GBC 下安全改代码 | [工作流](./docs/zh/workflow.md) |
-| 查命令 / 工具 / executor | [参考手册](./docs/zh/reference.md) |
-| 你是 agent，被要求接入 GBC | [Agent 上手](./docs/zh/onboarding-agent.md) |
-
-English docs: [docs/en/](./docs/en/)。
-
----
-
-## 核心想法
-
-代码之间的依赖本质上是一组**保证**。模块 A 依赖模块 B，不是依赖它的实现细节，而是依赖它的某些
-行为承诺——返回值的类型、格式、语义。把这些保证从隐含变成**显式、可执行、可验证**，正确性的判定
-就从「AI 觉得自己改对了」变成「所有被依赖的保证仍通过」——一个可机械验证的布尔条件。
-
-![无 GBC vs 有 GBC](docs/assets/workflow-comparison.svg)
-
-GBC **不是**另一个要挑战 Cursor / Aider 的 AI 编程助手，而是填补它们在大型项目里缺的一环：
-**机器可判定的变更边界**。它与那些 agent 配合——改前查依赖树，改后必须跑通所有相关保证；也区别
-于 CI——CI 是事后的，GBC 是准入制的门禁，错误在落地前就被拦在 agent 的上下文里。
-
-完整概念、架构图、与已有概念（Design by Contract / 测试）的区别，见
-[核心概念](./docs/zh/concepts.md)。
-
----
-
-## 当前状态
-
-GBC 目前是一个可用的 Python 分发包（`pipx install guarantee-based-coding`），自身用 GBC 管理自己的
-`.gbc/`（dogfooding）：
-
-- ✅ 核心保证机制（具名 id、多对一、出生即绿、退休保护、反查）
-- ✅ 多语言 executor 配置
-- ✅ CLI + MCP 双接口（含意图文档 `gbc doc` 全进 MCP）
-- ✅ 意图文档子系统（`gbc doc` / web 编辑器）
-- ✅ 随包分发的接线指南（`gbc setup`）与 CLI-only agent 的 skill 包
-- ✅ 原子文件写入 + 备份
-
-
-**诚实的局限**：保护能力上限 = 测试质量（测试只走 happy path 就是虚假安全感）；依赖需主动登记，
-覆盖率随项目增长需持续投入；每次验证真实跑测试，有一定延迟。详见
-[核心概念 · 局限性](./docs/zh/concepts.md#局限性诚实地说)。
-
----
-
-## 许可
-
-本项目采用 [Apache-2.0](./LICENSE) 许可证。
-
-## 联系
-
-如果你对这个方向感兴趣，欢迎 star、issue 或者直接联系我。
+Metadata-Version: 2.4
+Name: guarantee-based-coding
+Version: 0.2.3
+Summary: Make code safely modifiable even when not fully understood — turn implicit inter-module dependencies into explicit, executable, verifiable guarantees.
+Author: Jesse-x86
+License-Expression: Apache-2.0
+Project-URL: Homepage, https://github.com/Jesse-x86/guarantee-based-coding
+Project-URL: Repository, https://github.com/Jesse-x86/guarantee-based-coding
+Keywords: guarantee,testing,ai-coding,mcp,code-safety
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Software Development :: Testing
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: typer[all]
+Requires-Dist: pydantic
+Requires-Dist: mcp<2.0,>=1.0
+Dynamic: license-file
+
+# Guarantee-Based Coding (GBC)
+
+**与其指望 AI 更聪明，不如让再笨的 agent 也改不坏你的代码。**
+
+**English version: [docs/en/README.md](docs/en/README.md)**
+
+GBC 把「这次改动会不会悄悄碰坏别处」从一种担心，变成可以当场验证的事实：你在意的行为被登记成
+一条条带测试的**保证（guarantee）**，每次改完一跑——全绿就安心，有红就精确告诉你碰坏了谁、谁在
+依赖它。
+
+---
+
+## 🚀 快速开始
+
+```bash
+pipx install guarantee-based-coding
+gbc setup        # 打印本地化接线指南：怎么把 MCP / skills 接入你的 agent
+```
+
+装好后 `gbc` 命令即在 PATH 上。完整上手（安装 → 接入 agent → 冒烟验证）见
+**[docs/zh/quick-start.md](./docs/zh/quick-start.md)**。
+
+想让 agent 替你接入？把 **[docs/zh/onboarding-agent.md](./docs/zh/onboarding-agent.md)** 交给它。
+
+---
+
+> 🚧 **交互式 demo 施工中**：旧的演示套件已废弃，新的交互式演示正在筹备。目前请直接读文档上手。
+
+---
+
+## 📚 文档
+
+| 你想 | 看这里 |
+|------|--------|
+| 装好并跑起来 | [快速开始](./docs/zh/quick-start.md) |
+| 懂 GBC 在保护什么 | [核心概念](./docs/zh/concepts.md) |
+| 在 GBC 下安全改代码 | [工作流](./docs/zh/workflow.md) |
+| 查命令 / 工具 / executor | [参考手册](./docs/zh/reference.md) |
+| 你是 agent，被要求接入 GBC | [Agent 上手](./docs/zh/onboarding-agent.md) |
+
+English docs: [docs/en/](./docs/en/)。
+
+---
+
+## 核心想法
+
+代码之间的依赖本质上是一组**保证**。模块 A 依赖模块 B，不是依赖它的实现细节，而是依赖它的某些
+行为承诺——返回值的类型、格式、语义。把这些保证从隐含变成**显式、可执行、可验证**，正确性的判定
+就从「AI 觉得自己改对了」变成「所有被依赖的保证仍通过」——一个可机械验证的布尔条件。
+
+![无 GBC vs 有 GBC](docs/assets/workflow-comparison.svg)
+
+GBC **不是**另一个要挑战 Cursor / Aider 的 AI 编程助手，而是填补它们在大型项目里缺的一环：
+**机器可判定的变更边界**。它与那些 agent 配合——改前查依赖树，改后必须跑通所有相关保证；也区别
+于 CI——CI 是事后的，GBC 是准入制的门禁，错误在落地前就被拦在 agent 的上下文里。
+
+完整概念、架构图、与已有概念（Design by Contract / 测试）的区别，见
+[核心概念](./docs/zh/concepts.md)。
+
+---
+
+## 当前状态
+
+GBC 目前是一个可用的 Python 分发包（`pipx install guarantee-based-coding`），自身用 GBC 管理自己的
+`.gbc/`（dogfooding）：
+
+- ✅ 核心保证机制（具名 id、多对一、出生即绿、退休保护、反查）
+- ✅ 多语言 executor 配置
+- ✅ CLI + MCP 双接口（含意图文档 `gbc doc` 全进 MCP）
+- ✅ 意图文档子系统（`gbc doc` / web 编辑器）
+- ✅ 随包分发的接线指南（`gbc setup`）与 CLI-only agent 的 skill 包
+- ✅ 原子文件写入 + 备份
+
+
+**诚实的局限**：保护能力上限 = 测试质量（测试只走 happy path 就是虚假安全感）；依赖需主动登记，
+覆盖率随项目增长需持续投入；每次验证真实跑测试，有一定延迟。详见
+[核心概念 · 局限性](./docs/zh/concepts.md#局限性诚实地说)。
+
+---
+
+## 许可
+
+本项目采用 [Apache-2.0](./LICENSE) 许可证。
+
+## 联系
+
+如果你对这个方向感兴趣，欢迎 star、issue 或者直接联系我。

{guarantee_based_coding-0.2.1 → guarantee_based_coding-0.2.3}/gbc/__init__.py

@@ -18,4 +18,4 @@
 显式、可执行、可验证的保证。本包是该方法的实现，也是它的第一个使用者。
 """
 
-__version__ = "0.2.1"
+__version__ = "0.2.3"

{guarantee_based_coding-0.2.1 → guarantee_based_coding-0.2.3}/gbc/app/core/guarantee.py

@@ -241,9 +241,10 @@ def remove_dependency(
 ) -> None:
     """撤销一条依赖（add_dependency 的逆操作，同样维护双向一致）。
 
-    - gid 非 None：只摘掉这一个保证依赖（consumer 边去掉 gid，provider 反向边去掉 consumer），
-      symbol 边若还挂着别的保证则保留。
-    - gid 为 None：整条 symbol 边连同它挂的所有保证一起撤销，并从各保证的 dependents 摘除 consumer。
+    - gid 非 None：只摘掉这一个保证依赖，保留 symbol 边（可退为免费依赖）。
+    - gid 为 None：整条 symbol 边连同它挂的所有保证一起撤销。
+    两种撤销都仅在 consumer 不再通过任何 symbol 依赖同一 provider 的同一保证时，
+    才从该保证的 dependents 摘除 consumer。
     """
     symbol = f"{provider}:{symbol_name}"
     dep = _find_dependency(consumer_meta, symbol)
@@ -251,19 +252,25 @@ def remove_dependency(
         raise GuaranteeNotFoundError(target_file=consumer, guarantee_path=symbol)
 
     def _detach(target_gid: str) -> None:
+        if any(
+            remaining.symbol.startswith(f"{provider}:")
+            and target_gid in remaining.guarantees
+            for remaining in consumer_meta.depends_on
+        ):
+            return
         guarantee = provider_meta.provides.get(target_gid)
         if guarantee and consumer in guarantee.dependents:
             guarantee.dependents.remove(consumer)
 
     if gid is None:
+        consumer_meta.depends_on.remove(dep)
         for g in list(dep.guarantees):
             _detach(g)
-        consumer_meta.depends_on.remove(dep)
         return
 
     if gid in dep.guarantees:
         dep.guarantees.remove(gid)
-    _detach(gid)
+        _detach(gid)
     # symbol 边变空（无保证）后是否保留：保留——它仍是一条有效的免费 symbol 依赖。