From b3fd54ebdd4e46c3944353b136c72a993e622604 Mon Sep 17 00:00:00 2001 From: shitianfang Date: Fri, 11 Sep 2026 16:46:32 +0000 Subject: [PATCH] docs: the thesis is the map, not the mathematics MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Both READMEs opened by calling build2me a way to turn building software into doing mathematics. That is the mechanism — a contract plus its gate is a statement plus a proof checker — not the point. The point, and what "What this is for" already leads with, is that a project maps its own solution space before and while it is built: what is solved, what is open, what was tried and failed. The mathematics is how that map is kept from lying. One line per README; nothing else touched. Co-Authored-By: Claude Opus 5 (1M context) --- README.md | 4 ++-- README.zh-CN.md | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index f91fe20..7ddcbbb 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ # build2me -**Turn building software into doing mathematics — so a swarm of agents can work -in parallel without coordinating, and without a human reviewing code.** +**Map the solution space before you build the software — so a swarm of agents can +work in parallel without coordinating, and without a human reviewing code.** Work is split into immutable contracts, each carrying the command that decides whether it is satisfied. Agents pick contracts off a ranked frontier without diff --git a/README.zh-CN.md b/README.zh-CN.md index c9d399f..d7c5e3b 100644 --- a/README.zh-CN.md +++ b/README.zh-CN.md @@ -1,6 +1,6 @@ # build2me（中文） -**一句话：把「写软件」改造成「做数学证明」，好让几十个 agent 同时开工——不用互相协调，也不用人来审代码。** +**一句话：在 build 软件之前，先绘制解空间的地图——好让几十个 agent 同时开工，不用互相协调，也不用人来审代码。** [协议全文](PROTOCOL.md)（英文） · [桩语义](STUBS.md) · [DAG 图](docs/DAG.md) · [Race 001](races/001-deprecation-cascade.md) · [English](README.md)