From 127a34a21b0f7b737e91f6ec06f2ee3408befb2d Mon Sep 17 00:00:00 2001 From: Brummel Date: Sun, 10 May 2026 13:06:10 +0200 Subject: [PATCH] design-md-consolidation 4.2: strip ailang-docwriter agent workflow detail from Verification section; rule survives --- docs/DESIGN.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/DESIGN.md b/docs/DESIGN.md index e0feabe..bec3282 100644 --- a/docs/DESIGN.md +++ b/docs/DESIGN.md @@ -1969,8 +1969,8 @@ ail run — build + execute (tempdir), passthro hash. 5. **CI pin** of the outputs in `tests/expected/`. 6. **Rustdoc cleanliness**: `cargo doc --no-deps` runs warning-free. - Maintained by the `ailang-docwriter` agent; fixing a - rustdoc warning is part of the iteration that introduced it, not a follow-up. + Fixing a rustdoc warning is part of the iteration that + introduced it, not a follow-up. ## What is not (yet) supported