From 2f41865ec549ecdf499cf12f20525a989668791d Mon Sep 17 00:00:00 2001
From: igneum-labs <337424239+igneum-labs@users.noreply.github.com>
Date: Thu, 8 Oct 2026 18:30:19 +0000
Subject: [PATCH] lease: the top class widened to the P01 campaign, the object
 matrix, the census, the family gate, review, fast-time and freeze cases and
 their owners (the coordinator, 8 Oct 2026 19:2x BST, as build-7/8/9 join the
 pool)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 infra/build-server/lease.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/infra/build-server/lease.sh b/infra/build-server/lease.sh
index 00bc17b52..321e45802 100755
--- a/infra/build-server/lease.sh
+++ b/infra/build-server/lease.sh
@@ -124,8 +124,11 @@ run_pool() {
   local want="$1"; shift; local label="" owner="${IGNEUM_AGENT:-unknown}" nice=10 min="" reserve="${LEASE_POOL_RESERVE:-8}" class="" rank mem=""
   while [ $# -gt 0 ]; do case "$1" in --label) label="$2"; shift 2 ;; --owner) owner="$2"; shift 2 ;; --nice) nice="$2"; shift 2 ;; --min) min="$2"; shift 2 ;; --class) class="$2"; shift 2 ;; --priority) class=v5; shift ;; --mem) mem="$2"; shift 2 ;; --) shift; break ;; *) say "unknown option $1"; exit 2 ;; esac; done
   if [ -z "$class" ]; then
-    case "$owner" in release|shipper|build-server) class=release ;; class-v5) class=v5 ;; measure*) class=measure ;; esac
-    [ -n "$class" ] || case "$label" in *release*|*canary*|*pair*) class=release ;; *"v5 gate"*|*"v5 kit"*) class=v5 ;; *measure*) class=measure ;; *) class=adv ;; esac
+    # the top class widened (the coordinator, 8 Oct 2026 19:2x BST, with build-7/8/9 joining): the P01 campaign, the object matrix,
+    # the census, the family gate, the review verdicts, the fast-time and freeze cases, and their owners (hash lane, ci-steward, census,
+    # lane D, enforced-proving, the node lane's object gates) take every freed core before v5, measure and adv
+    case "$owner" in release|shipper|build-server|hash-lane*|ci-steward|steward|census*|lane-d|family-gate|enforced-proving|node-lane|node-gates) class=release ;; class-v5) class=v5 ;; measure*) class=measure ;; esac
+    [ -n "$class" ] || case "$label" in *release*|*canary*|*pair*|*P01*|*"object matrix"*|*census*|*"family gate"*|*review*|*fast-time*|*freeze*) class=release ;; *"v5 gate"*|*"v5 kit"*) class=v5 ;; *measure*) class=measure ;; *) class=adv ;; esac
   fi
   # ranks: release 0, v5 1, measure 2 (the "ca4 research" label first among them: rank 2, the other measure rows rank 3; the founder's
   # efficiency priority through main, 7 Oct 2026 21:40 BST), adv 4