Merge remote-tracking branch 'origin/agent/fix-discrete-log-example-budget' into HEAD

Author: Grace Lee Rui Yue

src/jacobian/domains/number_theory/discrete_logarithm.py

@@ -168,7 +168,7 @@ def _obligation(
                 "base": 2,
                 "target": 1,
                 "modulus": 3,
-                "resource_budget": {"wall_seconds": 1},
+                "resource_budget": {"wall_seconds": 5},
             },
         ),
     ),

tests/unit/domains/number_theory/test_discrete_logarithm_protocol.py

@@ -3,12 +3,21 @@
 import pytest
 from pydantic import ValidationError
 
+from jacobian.domains.number_theory.discrete_logarithm import (
+    DISCRETE_LOGARITHM_CAPABILITY,
+)
 from jacobian.domains.number_theory.discrete_logarithm_protocol import (
     PROTOCOL,
     DiscreteLogarithmWorkerResult,
 )
 
 
+def test_discrete_logarithm_example_budgets_isolated_worker_startup() -> None:
+    example = DISCRETE_LOGARITHM_CAPABILITY.invocation_examples[0]
+
+    assert example.input["resource_budget"]["wall_seconds"] == 5
+
+
 def test_discrete_logarithm_worker_result_rejects_unknown_fields() -> None:
     with pytest.raises(ValidationError, match="extra_forbidden"):
         DiscreteLogarithmWorkerResult.model_validate(