symbolicai 1.6.0__tar.gz → 1.7.0__tar.gz

{symbolicai-1.6.0 → symbolicai-1.7.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: symbolicai
-Version: 1.6.0
+Version: 1.7.0
 Summary: A Neurosymbolic Perspective on Large Language Models
 Author-email: Marius-Constantin Dinu <marius@extensity.ai>, Leoveanu-Condrei Claudiu <leo@extensity.ai>
 License: BSD 3-Clause License
@@ -52,7 +52,7 @@ Requires-Dist: tqdm>=4.66.3
 Requires-Dist: python-box>=7.1.1
 Requires-Dist: pandas>=2.2.2
 Requires-Dist: scikit-learn>=1.5.0
-Requires-Dist: torch>=2.2.2
+Requires-Dist: torch<2.10.0
 Requires-Dist: torchaudio>=2.2.2
 Requires-Dist: torchvision>=0.17.2
 Requires-Dist: PyYAML>=6.0.1

{symbolicai-1.6.0 → symbolicai-1.7.0}/docs/source/ENGINES/neurosymbolic_engine.md

@@ -126,6 +126,28 @@ print(res)
 print(metadata["thinking"])
 ```
 
+### Claude 1M Context (Reasoning Models, Runtime Opt-In)
+
+For Anthropic reasoning models, you can opt into 1M context per request using `long_context_1m=True`.
+This is runtime-only and is not configured via `symai.config.json`.
+
+```python
+from symai import Symbol
+
+# Supported aliases in this mode:
+# - claude-opus-4-6
+# - claude-sonnet-4-5
+res = Symbol("Analyze this very long corpus...").query(
+    "Extract a structured timeline of key events.",
+    model="claude-opus-4-6",
+    long_context_1m=True,
+)
+print(res)
+```
+
+If `long_context_1m=True` is used with an unsupported model alias, SymbolicAI warns via `UserMessage`
+and falls back to the standard 200K context behavior.
+
 ### Gemini (Google)
 
 ```python

{symbolicai-1.6.0 → symbolicai-1.7.0}/docs/source/FEATURES/contracts.md

@@ -72,7 +72,7 @@ class MyContractedClass(Expression):
     If `True`, attempts to automatically correct output validation failures (from your `post` method or type mismatches) using LLM-based type and semantic remediation.
 *   `accumulate_errors` (bool, default: `False`):
     Controls whether error messages from multiple failed validation attempts (during remediation) are accumulated and provided to the LLM in subsequent retry attempts. See more details in the "Error Accumulation" section below.
-*   `verbose` (bool, default: `False`):
+    *   `verbose` (bool, default: `False`):
     If `True`, enables detailed logging of the contract's internal operations, including prompts sent to the LLM and validation steps.
     *   `remedy_retry_params` (dict, default: `{ "tries": 5, "delay": 0.5, "max_delay": 15, "jitter": 0.1, "backoff": 2, "graceful": False }`):
         A dictionary configuring the retry behavior for both type and semantic validation/remediation functions.
@@ -85,6 +85,43 @@ class MyContractedClass(Expression):
             - Exceptions from validation/remediation are suppressed and `self.contract_exception` remains `None`.
             - The automatic final output type check (which would raise a `TypeError` for mismatched return types) is skipped, preventing upstream errors.
             This lets your `forward` method receive invalid or missing results without interruption and implement custom fallback logic.
+        *   `dynamic_engine` (optional): A `symai.components.DynamicEngine` instance used for zero-shot fallback and remedy retries. When provided, retry/remedy calls run inside that engine context instead of the currently active default engine.
+
+#### Optional: Run contract remedies on a dynamic engine
+
+You can force retry/remedy attempts to execute on a different model by passing `dynamic_engine` inside
+`remedy_retry_params`.
+
+```python
+import os
+from symai import Expression
+from symai.components import DynamicEngine
+from symai.strategy import contract
+
+repair_engine = DynamicEngine(
+    model="claude-opus-4-6",
+    api_key=os.environ["ANTHROPIC_API_KEY"],
+)
+
+@contract(
+    pre_remedy=True,
+    post_remedy=True,
+    remedy_retry_params={
+        "tries": 3,
+        "delay": 0.4,
+        "max_delay": 4.0,
+        "jitter": 0.15,
+        "backoff": 1.8,
+        "graceful": False,
+        "dynamic_engine": repair_engine,
+    },
+)
+class MyContractedClass(Expression):
+    ...
+```
+
+This keeps your main engine selection unchanged while routing contract correction passes through
+the specified dynamic engine.
 
 ### 2. Input and Output Data Models
 **Note**: You can use native Python types directly in your `pre`, `act`, `post`, and `forward` method signatures (e.g., `str`, `int`, `list[int]`, `dict[str, int]`, `Optional[...]`, `Union[...]`), or mix them with traditional `LLMDataModel` types in hybrid scenarios (e.g., LLMDataModel inputs with list outputs). The system will dynamically generate internal LLMDataModel wrappers (with a single `value` field) for validation and automatically unwrap the `value` field back to your native data on return, making simple use cases more concise than defining full Pydantic models.

{symbolicai-1.6.0 → symbolicai-1.7.0}/pyproject.toml

@@ -34,7 +34,7 @@ dependencies = [
     "python-box>=7.1.1",
     "pandas>=2.2.2",
     "scikit-learn>=1.5.0",
-    "torch>=2.2.2",
+    "torch<2.10.0", # weird errors, things like "no torch.Tensor"
     "torchaudio>=2.2.2",
     "torchvision>=0.17.2",
     "PyYAML>=6.0.1",

{symbolicai-1.6.0 → symbolicai-1.7.0}/symai/__init__.py

@@ -31,7 +31,7 @@ os.environ["TOKENIZERS_PARALLELISM"] = "false"
 # Create singleton instance
 config_manager = settings.SymAIConfig()
 
-SYMAI_VERSION = "1.6.0"
+SYMAI_VERSION = "1.7.0"
 __version__ = SYMAI_VERSION
 __root_dir__ = config_manager.config_dir
 

{symbolicai-1.6.0 → symbolicai-1.7.0}/symai/backend/engines/neurosymbolic/engine_anthropic_claudeX_chat.py

@@ -64,6 +64,7 @@ class ClaudeXChatEngine(Engine, AnthropicMixin):
                 and "4-0" not in self.config.get("NEUROSYMBOLIC_ENGINE_MODEL")
                 and "4-1" not in self.config.get("NEUROSYMBOLIC_ENGINE_MODEL")
                 and "4-5" not in self.config.get("NEUROSYMBOLIC_ENGINE_MODEL")
+                and "4-6" not in self.config.get("NEUROSYMBOLIC_ENGINE_MODEL")
             )
         ):
             return "neurosymbolic"

{symbolicai-1.6.0 → symbolicai-1.7.0}/symai/backend/engines/neurosymbolic/engine_anthropic_claudeX_reasoning.py

@@ -66,6 +66,7 @@ class ClaudeXReasoningEngine(Engine, AnthropicMixin):
                 or "4-0" in self.config.get("NEUROSYMBOLIC_ENGINE_MODEL")
                 or "4-1" in self.config.get("NEUROSYMBOLIC_ENGINE_MODEL")
                 or "4-5" in self.config.get("NEUROSYMBOLIC_ENGINE_MODEL")
+                or "4-6" in self.config.get("NEUROSYMBOLIC_ENGINE_MODEL")
             )
         ):
             return "neurosymbolic"
@@ -348,9 +349,48 @@ class ClaudeXReasoningEngine(Engine, AnthropicMixin):
 
         return {"role": "user", "content": user_text}
 
+    def _build_output_config(self, response_format):
+        if response_format is None:
+            return NOT_GIVEN
+
+        if response_format["type"] == "json_schema":
+            schema = response_format.get("schema")
+            if schema is None and response_format.get("json_schema") is not None:
+                schema = response_format["json_schema"].get("schema", response_format["json_schema"])
+            if schema is None:
+                return NOT_GIVEN
+            return {"format": {"type": "json_schema", "schema": schema}}
+
+        if response_format["type"] == "json_object":
+            schema = response_format.get("schema")
+            if schema is None:
+                return NOT_GIVEN
+            return {"format": {"type": "json_schema", "schema": schema}}
+
+        return NOT_GIVEN
+
     def _prepare_request_payload(self, argument):
         kwargs = argument.kwargs
         model = kwargs.get("model", self.model)
+        long_context_1m = bool(kwargs.get("long_context_1m", False))
+        use_long_context_1m = long_context_1m and self.supports_long_context_1m(model)
+        effective_context_tokens = self.api_max_context_tokens(model=model)
+        if effective_context_tokens is None:
+            effective_context_tokens = 200_000
+        if use_long_context_1m:
+            effective_context_tokens = self.api_max_context_tokens(
+                long_context_1m=True, model=model
+            )
+        if long_context_1m and not use_long_context_1m:
+            UserMessage(
+                "long_context_1m is only supported for claude-opus-4-6 and claude-sonnet-4-5; "
+                f"falling back to {effective_context_tokens} token context."
+            )
+
+        extra_headers = None
+        if use_long_context_1m:
+            extra_headers = {"anthropic-beta": self.long_context_beta_header()}
+
         stop = kwargs.get("stop", NOT_GIVEN)
         temperature = kwargs.get("temperature", 1)
         thinking_arg = kwargs.get("thinking", NOT_GIVEN)
@@ -368,6 +408,8 @@ class ClaudeXReasoningEngine(Engine, AnthropicMixin):
         tool_choice = kwargs.get("tool_choice", NOT_GIVEN)
         metadata_anthropic = kwargs.get("metadata", NOT_GIVEN)
         max_tokens = kwargs.get("max_tokens", self.max_response_tokens)
+        response_format = kwargs.get("response_format", argument.prop.response_format)
+        output_config = self._build_output_config(response_format)
 
         if stop != NOT_GIVEN and not isinstance(stop, list):
             stop = [stop]
@@ -377,7 +419,7 @@ class ClaudeXReasoningEngine(Engine, AnthropicMixin):
         if stop != NOT_GIVEN:
             stop = [r"{s}" for s in stop]
 
-        return {
+        payload = {
             "model": model,
             "max_tokens": max_tokens,
             "stop_sequences": stop,
@@ -389,7 +431,12 @@ class ClaudeXReasoningEngine(Engine, AnthropicMixin):
             "metadata": metadata_anthropic,
             "tools": tools,
             "tool_choice": tool_choice,
+            "output_config": output_config,
         }
+        if extra_headers is not None:
+            payload["extra_headers"] = extra_headers
+
+        return payload
 
     def _collect_response(self, res):
         if isinstance(res, list):

{symbolicai-1.6.0 → symbolicai-1.7.0}/symai/backend/engines/neurosymbolic/engine_cerebras.py

@@ -16,6 +16,7 @@ logging.getLogger("requests").setLevel(logging.ERROR)
 logging.getLogger("urllib").setLevel(logging.ERROR)
 logging.getLogger("httpx").setLevel(logging.ERROR)
 logging.getLogger("httpcore").setLevel(logging.ERROR)
+logging.getLogger("hpack").setLevel(logging.ERROR)
 
 
 _NON_VERBOSE_OUTPUT = (

{symbolicai-1.6.0 → symbolicai-1.7.0}/symai/backend/mixin/anthropic.py

@@ -10,6 +10,7 @@ SUPPORTED_CHAT_MODELS = [
     "claude-3-haiku-20240307",
 ]
 SUPPORTED_REASONING_MODELS = [
+    "claude-opus-4-6",
     "claude-opus-4-5",
     "claude-opus-4-1",
     "claude-opus-4-0",
@@ -19,29 +20,49 @@ SUPPORTED_REASONING_MODELS = [
     "claude-sonnet-4-5",
 ]
 
+LONG_CONTEXT_1M_TOKENS = 1_000_000
+LONG_CONTEXT_1M_BETA_HEADER = "context-1m-2025-08-07"
+LONG_CONTEXT_1M_MODELS = {
+    "claude-opus-4-6",
+    "claude-sonnet-4-5",
+}
+
 
 class AnthropicMixin:
-    def api_max_context_tokens(self):
+    def supports_long_context_1m(self, model: str) -> bool:
+        return model in LONG_CONTEXT_1M_MODELS
+
+    def long_context_beta_header(self) -> str:
+        return LONG_CONTEXT_1M_BETA_HEADER
+
+    def api_max_context_tokens(self, long_context_1m: bool = False, model: str | None = None):
+        selected_model = self.model if model is None else model
+        if long_context_1m and self.supports_long_context_1m(selected_model):
+            return LONG_CONTEXT_1M_TOKENS
         if (
-            self.model == "claude-opus-4-5"
-            or self.model == "claude-opus-4-1"
-            or self.model == "claude-opus-4-0"
-            or self.model == "claude-sonnet-4-0"
-            or self.model == "claude-3-7-sonnet-latest"
-            or self.model == "claude-haiku-4-5"
-            or self.model == "claude-sonnet-4-5"
-            or self.model == "claude-3-5-sonnet-latest"
-            or self.model == "claude-3-5-sonnet-20241022"
-            or self.model == "claude-3-5-sonnet-20240620"
-            or self.model == "claude-3-opus-latest"
-            or self.model == "claude-3-opus-20240229"
-            or self.model == "claude-3-sonnet-20240229"
-            or self.model == "claude-3-haiku-20240307"
+            selected_model == "claude-opus-4-6"
+            or selected_model == "claude-opus-4-5"
+            or selected_model == "claude-opus-4-1"
+            or selected_model == "claude-opus-4-0"
+            or selected_model == "claude-sonnet-4-0"
+            or selected_model == "claude-3-7-sonnet-latest"
+            or selected_model == "claude-haiku-4-5"
+            or selected_model == "claude-sonnet-4-5"
+            or selected_model == "claude-3-5-sonnet-latest"
+            or selected_model == "claude-3-5-sonnet-20241022"
+            or selected_model == "claude-3-5-sonnet-20240620"
+            or selected_model == "claude-3-opus-latest"
+            or selected_model == "claude-3-opus-20240229"
+            or selected_model == "claude-3-sonnet-20240229"
+            or selected_model == "claude-3-haiku-20240307"
         ):
             return 200_000
         return None
 
     def api_max_response_tokens(self):
+        if self.model == "claude-opus-4-6":
+            return 128_000
+
         if (
             self.model == "claude-opus-4-5"
             or self.model == "claude-sonnet-4-0"
@@ -61,7 +82,7 @@ class AnthropicMixin:
         if (
             self.model == "claude-3-5-sonnet-20240620"
             or self.model == "claude-3-opus-latest"
-            or self.model == "clade-3-opus-20240229"
+            or self.model == "claude-3-opus-20240229"
             or self.model == "claude-3-sonnet-20240229"
             or self.model == "claude-3-haiku-20240307"
         ):

{symbolicai-1.6.0 → symbolicai-1.7.0}/symai/strategy.py

@@ -3,9 +3,11 @@ import logging
 import time
 from collections import defaultdict
 from collections.abc import Callable
+from contextlib import nullcontext
 from typing import Any, ClassVar
 
 import numpy as np
+from anthropic import transform_schema
 from beartype import beartype
 from loguru import logger
 from pydantic import BaseModel, ValidationError
@@ -14,7 +16,9 @@ from rich.markup import escape
 from rich.panel import Panel
 from rich.table import Table
 
+from .backend.settings import SYMAI_CONFIG
 from .components import Function
+from .context import CURRENT_ENGINE_VAR
 from .models import LLMDataModel, TypeValidationError, build_dynamic_llm_datamodel
 from .symbol import Expression
 from .utils import UserMessage
@@ -182,6 +186,7 @@ class TypeValidationFunction(ValidationFunction):
         self.output_data_model = None
         self.accumulate_errors = accumulate_errors
         self.verbose = verbose
+        self.dynamic_engine = self.retry_params.get("dynamic_engine")
 
     def register_expected_data_model(
         self, data_model: LLMDataModel, attach_to: str, override: bool = False
@@ -361,7 +366,8 @@ Important guidelines:
         if self.verbose:
             self.display_panel(self.remedy_function.dynamic_context, title="New Context")
 
-        json_str = self.remedy_function(seed=remedy_seeds[attempt_index], **kwargs).value
+        with (self.dynamic_engine if self.dynamic_engine is not None else nullcontext()):
+            json_str = self.remedy_function(seed=remedy_seeds[attempt_index], **kwargs).value
         logger.info("Applied remedy function with updated context!")
         return json_str
 
@@ -418,17 +424,51 @@ Important guidelines:
             violations=errors,
         )
 
+    def _build_response_format(self, kwargs: dict) -> dict:
+        response_format = kwargs.get("response_format")
+        if response_format is None:
+            response_format = {"type": "json_object"}
+        # Resolve the effective model from the most specific runtime source first.
+        # This keeps contracts working when engines are swapped dynamically and no static
+        # model is registered in config.
+        selected_model = kwargs.get("model")
+        if selected_model is None:
+            active_engine = CURRENT_ENGINE_VAR.get()
+            if active_engine is not None:
+                selected_model = getattr(active_engine, "model", None)
+        if selected_model is None:
+            selected_model = SYMAI_CONFIG.get("NEUROSYMBOLIC_ENGINE_MODEL", "")
+
+        if "claude-opus" not in selected_model:
+            return response_format
+
+        if response_format.get("type") != "json_object":
+            return response_format
+
+        # At the contract layer, `json_object` stays the generic trigger for structured output.
+        # Opus requires a concrete JSON Schema payload, so we derive it from the output model.
+        return {"type": "json_schema", "schema": transform_schema(self.output_data_model)}
+
     def forward(
         self, prompt: str, f_semantic_conditions: list[Callable] | None = None, *args, **kwargs
     ):
         self._ensure_output_model()
         validation_context = kwargs.pop("validation_context", {})
-        kwargs["response_format"] = {"type": "json_object"}
+        kwargs["response_format"] = self._build_response_format(kwargs)
         logger.info("Initializing validation…")
         self._display_verbose_panels(prompt)
 
         context = self.zero_shot_prompt(prompt=prompt)
-        json_str = super().forward(context, *args, **kwargs).value
+
+        # Zero-shot attempt; fall back to dynamic engine on failure
+        try:
+            json_str = super().forward(context, *args, **kwargs).value
+        except Exception:
+            if self.dynamic_engine is None:
+                raise
+            logger.info("Zero-shot failed; retrying with dynamic engine…")
+            with self.dynamic_engine:
+                json_str = super().forward(context, *args, **kwargs).value
 
         remedy_seeds = self.prepare_seeds(self.retry_params["tries"] + 1, **kwargs)
         logger.info(f"Prepared {len(remedy_seeds)} remedy seeds for validation attempts…")
@@ -468,7 +508,7 @@ class contract:
         post_remedy: bool = False,
         accumulate_errors: bool = False,
         verbose: bool = False,
-        remedy_retry_params: dict[str, int | float | bool] = _default_remedy_retry_params,
+        remedy_retry_params: dict[str, Any] = _default_remedy_retry_params,
     ):
         """
         A contract class decorator inspired by DbC principles. It ensures that the function's input and output

{symbolicai-1.6.0 → symbolicai-1.7.0}/symbolicai.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: symbolicai
-Version: 1.6.0
+Version: 1.7.0
 Summary: A Neurosymbolic Perspective on Large Language Models
 Author-email: Marius-Constantin Dinu <marius@extensity.ai>, Leoveanu-Condrei Claudiu <leo@extensity.ai>
 License: BSD 3-Clause License
@@ -52,7 +52,7 @@ Requires-Dist: tqdm>=4.66.3
 Requires-Dist: python-box>=7.1.1
 Requires-Dist: pandas>=2.2.2
 Requires-Dist: scikit-learn>=1.5.0
-Requires-Dist: torch>=2.2.2
+Requires-Dist: torch<2.10.0
 Requires-Dist: torchaudio>=2.2.2
 Requires-Dist: torchvision>=0.17.2
 Requires-Dist: PyYAML>=6.0.1

{symbolicai-1.6.0 → symbolicai-1.7.0}/symbolicai.egg-info/requires.txt

@@ -9,7 +9,7 @@ tqdm>=4.66.3
 python-box>=7.1.1
 pandas>=2.2.2
 scikit-learn>=1.5.0
-torch>=2.2.2
+torch<2.10.0
 torchaudio>=2.2.2
 torchvision>=0.17.2
 PyYAML>=6.0.1