From c54441d2a45d0e67c2162be5f01f7c45d276bde0 Mon Sep 17 00:00:00 2001 From: gunbc-ci-auto-heal Date: Sat, 12 Sep 2026 03:30:53 +0000 Subject: [PATCH] A refusal that claimed admission passed when nothing evaluated it harness_bind_candidate's bound-offer arm said "the serving offer bound and its route is admissible". That branch never calls spark_first_party_admission, so nothing evaluated provider-use admission for the turn: the sentence outran its own execution, and a reader could take the producer EXISTING for the producer having RUN. It did exactly that -- the sentence was relayed upward and reached the operator as a statement about a decision nobody made. The wording now carries the distinction the arm is about: the offer bound, and admission cannot yet be evaluated because the turn's exact Work identity is unestablished. It names the producer and says plainly that it has not run. This is the correction from the operator-routed review of #11083, which merged as bd326638a. The route-and-policy slice it landed is not reopened: an attributable allocation establishing a route's location, with observed and operator-asserted kept apart, and a provider-use producer that reuses product.fabric.provider_admission with DispositionNotEngaged instead of invented clearances, both stand. What was wrong was a sentence about them. Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_01WT6FDJa7Nyh9SJv25sM1Ui --- dag/gunbc/harness/harness_seat.dag | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/dag/gunbc/harness/harness_seat.dag b/dag/gunbc/harness/harness_seat.dag index 69afe82fcb9..2335e6fb4e7 100644 --- a/dag/gunbc/harness/harness_seat.dag +++ b/dag/gunbc/harness/harness_seat.dag @@ -455,10 +455,18 @@ fn harness_no_candidate(acc: HarnessCandidates, note: String, retryable: Bool) - // route satisfies what the demand asked for -- and keeps the offer and the demand comparable by the // equality the fabric uses. // +// AND THE REFUSAL SAYS THAT ADMISSION WAS NOT EVALUATED, NOT THAT IT PASSED. The sentence here once +// read "the serving offer bound and its route is admissible", which outran its own execution: this +// branch never calls spark_first_party_admission, so nothing evaluated provider-use admission for +// this turn, and a reader -- including one reporting upward, which is how it reached the operator -- +// could take a producer's EXISTENCE for a producer having RUN. That distinction is the whole subject +// of this arm, so the wording carries it: admission cannot yet be evaluated, and the producer exists +// and has not run (operator-routed review of #11083). +// // Restoration trigger: a launch receipt that reads the weights, tokenizer and runtime closure off a // running engine, SUFFICIENT FOR gunbc.serving.turn_demand serving_turn_work to return TurnWorkBound // for a harness turn -- at which point the demand and work identities exist, the admission producer -// above is called with them, and bind_candidate has everything it compares. +// is called with them, and bind_candidate has everything it compares. fn harness_bind_candidate(acc: HarnessCandidates, group: FabricGroup, endpoint: ServingRouteEndpoint, launch: VllmEndpointProcessLaunch, standing: HarnessBackendStanding, requirement: ServingModelRequirement, seats: Nat, now: EpochSecs) -> HarnessCandidates { match bind_spark_serving_offer( principal: "gunbc" as NonEmptyStr, @@ -478,7 +486,7 @@ fn harness_bind_candidate(acc: HarnessCandidates, group: FabricGroup, endpoint: acc: acc, note: seat_bind_detail( group: group, - text: "the serving offer bound and its route is admissible, but a serving turn has no Work identity: nothing observes the weights, tokenizer and runtime closure a launch loaded, so gunbc.serving.turn_demand cannot bind a source manifest and product.fabric.selection bind_candidate has no work to compare the permit against", + text: "The serving offer bound. Provider-use admission cannot yet be evaluated for this turn because its exact Work identity is unestablished: nothing observes the weights, tokenizer and runtime closure a launch loaded, so gunbc.serving.turn_demand cannot bind a source manifest, and product.fabric.selection bind_candidate has no work to compare a permit against. gunbc.spark.first_party_serving spark_first_party_admission EXISTS and has NOT RUN for this turn", ), retryable: false, )