# MOTO v1.1.02

## Changes
- Standardized retryable provider/OAuth failures on shared workflow backoff across Aggregator, Compiler, Autonomous proof, and LeanOJ paths.
- Changed automatic brainstorm progression from 5 accepted submissions to 7 accepted submissions before proof or paper handoff, while preserving the manual force-paper override.
- Assistant proof-memory model failures now display as live activity errors, preserve reusable packs/cooldown state, and parse LM Studio/Gemma legacy-channel JSON correctly.
- Clarified in the prompt engineering that the assitant role provided proofs should be judged by the AI and not assumed useful to the problem solving. This fixes the assistants previous ability to steer the AI off track with unrelated proof retrievals.

## Bug Fixes
- Settings panels now immediately refresh OpenRouter/OAuth/Sakana credential availability after keys or logins change.
- Assistant proof-memory now normalizes unique proof IDs to canonical search IDs so Gemma/LM Studio selections do not fail.

  Authored by Patrick White, Patrick@Intrafere.com

Author: Pat

tests/test_proof_context_regressions.py

@@ -29,6 +29,7 @@
     save_manual_compiler_prompt,
 )
 from backend.shared.config import system_config
+from backend.shared.api_client_manager import RetryableProviderError
 from backend.shared.models import (
     ProofCandidate,
     ProofCheckRequest,
@@ -1418,33 +1419,32 @@ async def record_failed_candidate(self, *_args, **_kwargs):
         stage._prepare_candidate = fake_prepare_candidate
         stage._run_smt_check = fake_smt_check
         try:
-            result = await stage.run(
-                content="brainstorm source",
-                source_type="brainstorm",
-                source_id="topic_001",
-                user_prompt="prove things",
-                submitter_model="model",
-                submitter_context=4000,
-                submitter_max_tokens=1000,
-                validator_model="validator",
-                validator_context=4000,
-                validator_max_tokens=1000,
-                broadcast_fn=broadcast,
-                novel_proofs_db=FakeProofDb(),
-                theorem_candidates=[candidate],
-                append_to_source=False,
-                checkpoint_callback=checkpoint,
-            )
+            with self.assertRaises(RetryableProviderError) as exc:
+                await stage.run(
+                    content="brainstorm source",
+                    source_type="brainstorm",
+                    source_id="topic_001",
+                    user_prompt="prove things",
+                    submitter_model="model",
+                    submitter_context=4000,
+                    submitter_max_tokens=1000,
+                    validator_model="validator",
+                    validator_context=4000,
+                    validator_max_tokens=1000,
+                    broadcast_fn=broadcast,
+                    novel_proofs_db=FakeProofDb(),
+                    theorem_candidates=[candidate],
+                    append_to_source=False,
+                    checkpoint_callback=checkpoint,
+                )
         finally:
             proof_formalization_module.api_client_manager.generate_completion = old_generate_completion
             system_config.lean4_enabled = old_lean4_enabled
 
-        self.assertTrue(result.had_error)
-        self.assertIn("TRANSIENT PROVIDER ERROR", result.error_message)
-        self.assertEqual(result.total_candidates, 1)
-        self.assertIn("error", checkpoint_statuses)
-        self.assertIn("proof_check_complete", events)
+        self.assertIn("TRANSIENT PROVIDER ERROR", str(exc.exception))
+        self.assertIn("provider_paused", checkpoint_statuses)
         self.assertNotIn("proof_attempts_exhausted", events)
+        self.assertNotIn("proof_check_complete", events)
 
     async def test_codex_transient_identification_error_does_not_mark_no_candidates(self):
         old_lean4_enabled = system_config.lean4_enabled
@@ -1473,30 +1473,30 @@ class FakeProofDb:
         old_generate_completion = proof_identification_module.api_client_manager.generate_completion
         proof_identification_module.api_client_manager.generate_completion = raise_codex_gateway_timeout
         try:
-            result = await stage.run(
-                content="brainstorm source",
-                source_type="brainstorm",
-                source_id="topic_identification_timeout",
-                user_prompt="prove things",
-                submitter_model="model",
-                submitter_context=4000,
-                submitter_max_tokens=1000,
-                validator_model="validator",
-                validator_context=4000,
-                validator_max_tokens=1000,
-                broadcast_fn=broadcast,
-                novel_proofs_db=FakeProofDb(),
-                append_to_source=False,
-                checkpoint_callback=checkpoint,
-            )
+            with self.assertRaises(RetryableProviderError) as exc:
+                await stage.run(
+                    content="brainstorm source",
+                    source_type="brainstorm",
+                    source_id="topic_identification_timeout",
+                    user_prompt="prove things",
+                    submitter_model="model",
+                    submitter_context=4000,
+                    submitter_max_tokens=1000,
+                    validator_model="validator",
+                    validator_context=4000,
+                    validator_max_tokens=1000,
+                    broadcast_fn=broadcast,
+                    novel_proofs_db=FakeProofDb(),
+                    append_to_source=False,
+                    checkpoint_callback=checkpoint,
+                )
         finally:
             proof_identification_module.api_client_manager.generate_completion = old_generate_completion
             system_config.lean4_enabled = old_lean4_enabled
 
-        self.assertTrue(result.had_error)
-        self.assertIn("OpenAI Codex failed", result.error_message)
-        self.assertIn("error", checkpoint_statuses)
-        self.assertIn("proof_check_complete", events)
+        self.assertIn("OpenAI Codex failed", str(exc.exception))
+        self.assertEqual(checkpoint_statuses, [])
+        self.assertNotIn("proof_check_complete", events)
         self.assertNotIn("proof_check_no_candidates", events)
 
     async def test_malformed_identification_output_does_not_mark_no_candidates(self):