A1. Consume the returned premise while the model stays fixed

The agent repeatedly retrieves an already usable maintenance procedure. The trace shows that the controller never marks the outstanding premise as supplied. An engineer can change the surrounding software but has no training access.

SYSE.47 constructs per-attempt state for the missing premise, qualified source/applicability, unresolved execution attempt and remaining budget. A usable procedure return supplies the premise and enters the existing action step. Another identical lookup needs a missing or defeated premise or justified refresh; otherwise the controller proceeds to the required current-target observation or returns the exact gap.

The model endpoint/settings, instruction templates, tool contracts, permissions and persistent memory policy/store remain fixed. Changed input selection follows the new routing. This changes execution; it does not establish model learning.

SYSE.46 compares the incumbent and revised controller on ordinary progress, genuinely missing information, a changed applicable rule and interrupted effects. Record receiving-result correctness, useful restraint, needed and redundant calls, unresolved effects and total effort. A repair that suppresses fresh access fails even if it saves calls.

When the claim includes persistence, compare four occasions: the initial repeated-lookup failure; immediate use of the repaired controller; an equivalent fresh task after the service’s normal restart interval with the same recoverable configuration and intended support; and a separate source change requiring a new precondition. In the last case, the agent must obtain and use the reachable new rule. An unavailable source instead warrants an exact missing-condition return.

Keep delayed and shifted final cases outside tuning. Record configuration, support actually available, evaluator basis and intervening updates at each occasion. A hidden provider update prevents a controller-only persistence attribution; newly retained support changes the performing arrangement. The required observations are specified here, not asserted as measured successes.