From 500624d2523c4444c4112ed57507cc20da603e6f Mon Sep 17 00:00:00 2001 From: nichinichisou Date: Mon, 19 Oct 2026 11:41:33 +0800 Subject: [PATCH] fix(search): record the time limit when it ends a conversion part's bounds When the deadline ended the bound compilation of a conversion part, the joint search folded the remaining teams under the pool-wide bound and returned without setting the engine's stop reason. The check now goes through the engine's expiry test, so the result reports the time limit as its exit reason, as every other deadline stop does. Co-Authored-By: Claude Opus 5.5 --- crates/ournotes-search/src/search/physical/joint_search.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/ournotes-search/src/search/physical/joint_search.rs b/crates/ournotes-search/src/search/physical/joint_search.rs index a412258..e1d5a8b 100644 --- a/crates/ournotes-search/src/search/physical/joint_search.rs +++ b/crates/ournotes-search/src/search/physical/joint_search.rs @@ -235,7 +235,7 @@ pub(super) fn joint_regimes( } // The deadline ended this part's bounds: its teams stay unexplored under the pool-wide envelope, and no // later part starts. - Err(_) if e.budget.expired() => { + Err(_) if e.expired() => { bound_pending(e)?; return Ok(()); }