docs: the build output design of revision 3 is landed (#743, 2026.9.30.1)

Author: speak-agent

.agents/docs/2026-09-29-build-progress-display-design.md

@@ -6,6 +6,9 @@ status: landed
 # Build progress: each step's line states its outcome, and one status line states the build
 
 - Status: landed (revision 2). Implemented in #742, released as 2026.9.29.5
+  (the parts listed in section 6 of
+  `2026-09-30-build-output-refinement-design.md` are replaced by revision 3,
+  #743, 2026.9.30.1)
 - Date: 2026-09-29
 - Origin: the cross-verification of #742 on the validation project (run
   36562019799). `mcpp build --workspace` printed its last `Compiling` line at

.agents/docs/2026-09-30-build-output-refinement-design.md

@@ -1,14 +1,14 @@
 ---
 subject: design
-status: active
+status: landed
 ---
 
 # Build output, revision 3: every package that does work is named, the live display is one line drawn in one write, and a repeated warning is stated once per file
 
-- Status: active (a proposal for review; draft 3, after review rounds 1
-  and 2 of section 5). It refines `2026-09-29-build-progress-display-design.md`
-  (revision 2, landed in #742, released as 2026.9.29.5) and replaces the
-  parts listed in section 6.
+- Status: landed (revision 3). Implemented in #743, released as 2026.9.30.1.
+  It refines `2026-09-29-build-progress-display-design.md` (revision 2,
+  landed in #742, released as 2026.9.29.5) and replaces the parts listed in
+  section 6.
 - Date: 2026-09-30
 - Origin: a report on `mcpp build` in the xlings repository with mcpp
   2026.9.29.5. It raised three questions: why the build prints warnings;

.agents/docs/README.md

@@ -30,7 +30,7 @@ Records that declare one. Everything else is listed by date below.
 
 ### design
 
-- [Build output, revision 3: every package that does work is named, the live display is one line drawn in one write, and a repeated warning is stated once per file](2026-09-30-build-output-refinement-design.md) — active
+- [Build output, revision 3: every package that does work is named, the live display is one line drawn in one write, and a repeated warning is stated once per file](2026-09-30-build-output-refinement-design.md) — landed
 - [The workspace as the unit of build: one graph per configuration, one scheduler, product directories, and a reusable graph module](2026-09-29-workspace-build-graph-design.md) — landed
 - [Build progress: each step's line states its outcome, and one status line states the build](2026-09-29-build-progress-display-design.md) — landed
 - [An ecosystem design for mcpp and xlings: one authority per fact, and the work that follows from it](2026-09-28-ecosystem-design-and-optimisation-plan.md) — landed
@@ -110,7 +110,7 @@ Records that declare one. Everything else is listed by date below.
 
 ### 2026-09
 
-- [Build output, revision 3: every package that does work is named, the live display is one line drawn in one write, and a repeated warning is stated once per file](2026-09-30-build-output-refinement-design.md) — active
+- [Build output, revision 3: every package that does work is named, the live display is one line drawn in one write, and a repeated warning is stated once per file](2026-09-30-build-output-refinement-design.md) — landed
 - [The workspace as the unit of build: one graph per configuration, one scheduler, product directories, and a reusable graph module](2026-09-29-workspace-build-graph-design.md) — landed
 - [Build progress: each step's line states its outcome, and one status line states the build](2026-09-29-build-progress-display-design.md) — landed
 - [Two days of mcpp and xlings: a review of what merged, what is known, and what is open](2026-09-28-ecosystem-review-of-two-days-of-mcpp-and-xlings.md) — active