From f9407aea436cefa17ace3192f5a8d402f7531e85 Mon Sep 17 00:00:00 2001 From: claude-bot-andresmgsl Date: Fri, 24 Jul 2026 07:47:43 +0000 Subject: [PATCH] =?UTF-8?q?docs(drill):=20the=20Leg=201=20comment=20stops?= =?UTF-8?q?=20calling=20main=20box's=20default=20=E2=80=94=20it's=20the=20?= =?UTF-8?q?BOX=5FRELEASE=20pin?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The round's one blocking point, from all three reviewers: drill.sh:387 still said the exported pin beats "box's default (main)", the exact expired claim #133 exists to remove — bootstrap's unset path has been BOX_REF="${BOX_REF:-$BOX_RELEASE}" since rig#103 landed. Rewritten like the other two spots: the why survives, the fallback is named as the BOX_RELEASE pin, main is gone. The pre-flight hazard-class block (302-306) stays untouched per the spec; the wide grep (default.*main|main.*default over drill/, drills/, README.md) now finds only that protected block. Co-Authored-By: Claude Fable 5 --- drill/drill.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/drill/drill.sh b/drill/drill.sh index 97f0799..50d2832 100644 --- a/drill/drill.sh +++ b/drill/drill.sh @@ -384,7 +384,8 @@ ok "installed tree confirms: $REPO@$REF (version $DRILL_VERSION)" phase "Leg 1 — convergence: rig bootstrap $ROLE" # ============================================================================= # BOX_REPO/BOX_REF ride the environment into bootstrap's host=yes box install, -# so the box that lands is the pinned candidate, not box's default (main). +# so the box that lands is the pinned candidate, not what bootstrap falls back +# to unexported (the BOX_RELEASE pin, since rig#103 landed). export BOX_REPO="$BOXREPO" BOX_REF="$BOXREF" t0=$SECONDS