symbolicai 1.2.0__tar.gz → 1.3.0__tar.gz

{symbolicai-1.2.0 → symbolicai-1.3.0}/.gitignore

@@ -162,3 +162,4 @@ symsh
 .bash_history
 .conversation_state
 .symai
+.codex

symbolicai-1.3.0/AGENTS.md

@@ -0,0 +1,76 @@
+# Repository Guidelines
+
+Guidance for coding agents and contributors.
+
+## Architecture Overview
+SymbolicAI is a neuro-symbolic Python framework. `Symbol`/`Expression` route work to pluggable engines (LLMs, search,
+scrape, vector DBs) configured via `symai.config.json`.
+
+### Key Components
+- `symai/symbol.py` — `Symbol` primitive (syntactic vs semantic view).
+- `symai/strategy.py` — contract system (`@contract`) and validation/retry flow.
+- `symai/backend/engines/` — provider implementations (`neurosymbolic/`, `search/`, `scrape/`, `index/`, …).
+- `symai/extended/interfaces/` — higher-level interfaces that select/compose engines.
+- `symai/endpoints/`, `symai/server/` — FastAPI endpoints and optional local servers.
+
+## Project Structure
+- `symai/` — library source (import path `symai`).
+- `tests/` — pytest suite.
+- `docs/` — documentation sources; `examples/` — runnable examples.
+- `assets/`, `public/` — static files; `scripts/` — dev utilities (not public API).
+
+## Setup, Lint, and Tests
+Environment (Python 3.10+), using `uv`:
+
+```bash
+uv sync --python 3.10
+source .venv/bin/activate
+```
+
+Extras / locked installs:
+
+```bash
+uv sync --frozen
+uv sync --extra scrape   # or: --extra all
+```
+
+Lint/format (Ruff; `ruff.toml`):
+
+```bash
+ruff check symai --config ruff.toml
+ruff format symai
+```
+
+Tests:
+
+```bash
+pytest
+pytest -m mandatory
+pytest -q --tb=no tests/test_imports.py
+```
+
+CLI entrypoints (after install): `symchat`, `symsh`, `symconfig`, `symserver`.
+
+## Configuration & Secrets
+- Config precedence: `./symai.config.json`, `{venv}/.symai/symai.config.json`, then `~/.symai/symai.config.json`.
+- Common keys: `NEUROSYMBOLIC_ENGINE_MODEL`, `NEUROSYMBOLIC_ENGINE_API_KEY`, `SYMAI_WARNINGS=0`, `SUPPORT_COMMUNITY`.
+- Inspect active config with `symconfig`.
+- Never commit API keys, tokens, or generated artifacts (`dist/`, caches, logs).
+
+## Style Notes
+- 4-space indentation, 100-char lines, double quotes (`ruff.toml`).
+- Prefer clear names (`snake_case` functions/modules, `CapWords` classes, `UPPER_SNAKE_CASE` constants).
+
+## Agent Workflow Rules (Project-Specific)
+- Ask for clarification instead of guessing on ambiguous behavior or invariants.
+- Treat type hints as contracts; do not add runtime type checks except at trust boundaries (CLI/env, JSON/network, disk).
+- Prefer minimal diffs; edit existing code over adding new files unless necessary.
+- Do not add/modify `tests/` or run tests unless explicitly requested; if requested, run the narrowest relevant `pytest` command.
+- When you change Python files: run `ruff check <changed_files> --output-format concise --config ruff.toml` and fix issues.
+- Keep search local-first (`rg`); follow imports instead of repo-wide “random scanning”.
+- If adding a regex, include a short comment explaining what it matches.
+- Update `TODO.md` when tasks are completed, added, or re-scoped.
+
+## Commit & PR Notes
+- Commit messages commonly use `(<type>) <summary>`: `(feat)`, `(fix)`, `(chore)`, `(feature)`.
+- PRs: describe intent + user impact, link issues, note config/env var changes, and include validation commands + results.

{symbolicai-1.2.0 → symbolicai-1.3.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: symbolicai
-Version: 1.2.0
+Version: 1.3.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

{symbolicai-1.2.0 → symbolicai-1.3.0}/symai/__init__.py

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

{symbolicai-1.2.0 → symbolicai-1.3.0}/symai/backend/engines/neurosymbolic/engine_openai_responses.py

@@ -115,8 +115,10 @@ class OpenAIResponsesEngine(Engine, OpenAIMixin):
 
     def _is_reasoning_model(self) -> bool:
         return self.model in SUPPORTED_REASONING_MODELS or self.model in {
+            "gpt-5.2-chat-latest",
             "gpt-5.1-chat-latest",
             "gpt-5-pro",
+            "gpt-5.2-pro",
             "o3-pro",
         }
 
@@ -319,7 +321,7 @@ class OpenAIResponsesEngine(Engine, OpenAIMixin):
             payload["top_p"] = kwargs["top_p"]
 
         if self._is_reasoning_model():
-            if self.model == "gpt-5-pro":
+            if self.model in {"gpt-5-pro", "gpt-5.2-pro"}:
                 reasoning = {"effort": "high"}
             else:
                 reasoning = kwargs.get("reasoning", {"effort": "medium"})

{symbolicai-1.2.0 → symbolicai-1.3.0}/symai/backend/engines/search/engine_parallel.py

@@ -74,7 +74,8 @@ class SearchResult(Result):
         self._citations: list[Citation] = []
         try:
             results = self._coerce_results(value)
-            text, citations = self._build_text_and_citations(results)
+            task_meta = self._extract_task_metadata(value)
+            text, citations = self._build_text_and_citations(results, task_meta=task_meta)
             self._value = text
             self._citations = citations
         except Exception as e:
@@ -87,13 +88,26 @@ class SearchResult(Result):
         results = raw.get("results", []) if isinstance(raw, dict) else getattr(raw, "results", None)
         if not results:
             return []
-        coerced: list[dict[str, Any]] = []
+        coerced = []
         for item in results:
             if item is None:
                 continue
             coerced.append(_item_to_mapping(item))
         return coerced
 
+    def _extract_task_metadata(self, raw: Any) -> dict[str, Any] | None:
+        if not isinstance(raw, dict):
+            return None
+        task_output = raw.get("task_output")
+        if task_output is None:
+            return None
+        output_value = task_output.get("output") if isinstance(task_output, dict) else None
+        return {
+            "reasoning": raw.get("task_reasoning"),
+            "answer": output_value,
+            "confidence": raw.get("task_confidence"),
+        }
+
     def _normalize_url(self, url: str) -> str:
         parts = urlsplit(url)
         scheme = parts.scheme.lower() if parts.scheme else "https"
@@ -139,11 +153,40 @@ class SearchResult(Result):
         cleaned = re.sub(r"\n{3,}", "\n\n", cleaned)
         return cleaned.strip()
 
-    def _build_text_and_citations(self, results: list[dict[str, Any]]):
-        pieces: list[str] = []
-        citations: list[Citation] = []
+    def _build_text_and_citations(
+        self, results: list[dict[str, Any]], *, task_meta: dict[str, Any] | None = None
+    ):
+        pieces = []
+        citations = []
         cursor = 0
-        seen_urls: set[str] = set()
+
+        if task_meta:
+            reasoning = task_meta.get("reasoning")
+            answer = task_meta.get("answer")
+            confidence = task_meta.get("confidence")
+
+            if reasoning:
+                block = f"<reasoning>\n{reasoning}\n</reasoning>"
+                pieces.append(block)
+                cursor += len(block)
+
+            if answer:
+                if pieces:
+                    pieces.append("\n\n")
+                    cursor += 2
+                block = f"<answer>\n{answer}\n</answer>"
+                pieces.append(block)
+                cursor += len(block)
+
+            if confidence:
+                if pieces:
+                    pieces.append("\n\n")
+                    cursor += 2
+                block = f"<answer_confidence>\n{confidence}\n</answer_confidence>"
+                pieces.append(block)
+                cursor += len(block)
+
+        seen_urls = set()
         cid = 1
         separator = "\n\n---\n\n"
 
@@ -158,13 +201,8 @@ class SearchResult(Result):
 
             title = str(item.get("title") or "") or urlsplit(normalized_url).netloc
             excerpts = item.get("excerpts") or []
-            excerpt_parts: list[str] = []
-            for ex in excerpts:
-                if not isinstance(ex, str):
-                    continue
-                sanitized = self._sanitize_excerpt(ex)
-                if sanitized:
-                    excerpt_parts.append(sanitized)
+            excerpt_parts = [self._sanitize_excerpt(ex) for ex in excerpts]
+            excerpt_parts = [p for p in excerpt_parts if p]
             if not excerpt_parts:
                 continue
 
@@ -255,16 +293,14 @@ class ExtractResult(Result):
         super().__init__(value, **kwargs)
         try:
             results = self._coerce_results(value)
-            content_parts: list[str] = []
+            content_parts = []
             for r in results:
-                excerpts = r.get("excerpts") or []
                 full = r.get("full_content")
-                if isinstance(full, str):
+                if full is not None:
                     content_parts.append(full)
-                elif full is not None:
-                    content_parts.append(str(full))
-                elif excerpts:
-                    content_parts.extend([s for s in excerpts if isinstance(s, str)])
+                else:
+                    excerpts = r.get("excerpts") or []
+                    content_parts.extend(excerpts)
             self._value = "\n\n".join(content_parts)
         except Exception as e:
             self._value = None
@@ -276,7 +312,7 @@ class ExtractResult(Result):
         results = raw.get("results", []) if isinstance(raw, dict) else getattr(raw, "results", None)
         if not results:
             return []
-        coerced: list[dict[str, Any]] = []
+        coerced = []
         for item in results:
             if item is None:
                 continue
@@ -344,8 +380,8 @@ class ParallelEngine(Engine):
     def _normalize_include_domains(self, domains: list[str] | None) -> list[str]:
         if not isinstance(domains, list):
             return []
-        seen: set[str] = set()
-        out: list[str] = []
+        seen = set()
+        out = []
         for d in domains:
             netloc = self._extract_netloc(d)
             if not netloc or netloc in seen:
@@ -361,8 +397,8 @@ class ParallelEngine(Engine):
     def _normalize_exclude_domains(self, domains: list[str] | None) -> list[str]:
         if not isinstance(domains, list):
             return []
-        seen: set[str] = set()
-        out: list[str] = []
+        seen = set()
+        out = []
         for d in domains:
             netloc = self._extract_netloc(d)
             if not netloc or netloc in seen:
@@ -382,7 +418,7 @@ class ParallelEngine(Engine):
             text = value.strip()
             return [text] if text else []
         if isinstance(value, list):
-            cleaned: list[str] = []
+            cleaned = []
             for item in value:
                 if item is None:
                     continue
@@ -429,7 +465,7 @@ class ParallelEngine(Engine):
         excerpts = {"max_chars_per_result": max_chars_per_result}
         include = self._normalize_include_domains(kwargs.get("allowed_domains"))
         exclude = self._normalize_exclude_domains(kwargs.get("excluded_domains"))
-        source_policy: dict[str, Any] | None = None
+        source_policy = None
         if include or exclude:
             source_policy = {}
             if include:
@@ -457,7 +493,7 @@ class ParallelEngine(Engine):
 
         include = self._normalize_include_domains(kwargs.get("allowed_domains"))
         exclude = self._normalize_exclude_domains(kwargs.get("excluded_domains"))
-        source_policy: dict[str, Any] | None = None
+        source_policy = None
         if include or exclude:
             source_policy = {}
             if include:
@@ -542,7 +578,7 @@ class ParallelEngine(Engine):
         source_policy: dict[str, Any] | None,
         task_spec: Any,
     ):
-        task_kwargs: dict[str, Any] = {
+        task_kwargs = {
             "input": task_input,
             "processor": processor,
         }
@@ -559,7 +595,7 @@ class ParallelEngine(Engine):
             UserMessage(f"Failed to create Parallel task: {e}", raise_with=ValueError)
 
     def _fetch_task_result(self, run_id: str, *, timeout: Any, api_timeout: int | None):
-        result_kwargs: dict[str, Any] = {}
+        result_kwargs = {}
         if api_timeout is not None:
             result_kwargs["api_timeout"] = api_timeout
         if timeout is not None:
@@ -570,36 +606,40 @@ class ParallelEngine(Engine):
             UserMessage(f"Failed to fetch Parallel task result: {e}", raise_with=ValueError)
 
     def _task_result_to_search_payload(self, task_result: Any) -> dict[str, Any]:
-        payload: dict[str, Any] = {"results": []}
-        output = getattr(task_result, "output", None)
+        payload = {"results": []}
+        output = task_result.output
         if output is None:
             return payload
 
-        basis_items = getattr(output, "basis", None) or []
+        basis_items = output.basis or []
         for idx, basis in enumerate(basis_items):
             payload["results"].extend(self._basis_to_results(basis, basis_index=idx))
 
         if not payload["results"]:
             payload["results"].append(self._task_fallback_result(output, basis_items))
 
-        payload["task_output"] = getattr(output, "content", None)
-        payload["task_output_type"] = getattr(output, "type", None)
+        payload["task_output"] = output.content
+        payload["task_output_type"] = output.type
+
+        if basis_items:
+            first_basis = basis_items[0]
+            payload["task_reasoning"] = first_basis.reasoning
+            payload["task_confidence"] = first_basis.confidence
+
         return payload
 
     def _basis_to_results(self, basis: Any, *, basis_index: int) -> list[dict[str, Any]]:
-        raw_reasoning = getattr(basis, "reasoning", "") or ""
-        reasoning = raw_reasoning if isinstance(raw_reasoning, str) else str(raw_reasoning)
-        raw_field = getattr(basis, "field", "") or ""
-        field_title = raw_field if isinstance(raw_field, str) else str(raw_field)
+        reasoning = basis.reasoning or ""
+        field_title = basis.field or ""
         if not field_title.strip():
             field_title = "Parallel Task Output"
-        citations = getattr(basis, "citations", None) or []
+        citations = basis.citations or []
         if not citations:
             if not reasoning:
                 return []
             citations = [None]
 
-        results: list[dict[str, Any]] = []
+        results = []
         # Convert field titles to lowercase slugs by swapping non-alphanumerics for hyphens.
         slug = re.sub(r"[^a-z0-9]+", "-", field_title.lower()).strip("-") or "field"
         basis_url = f"parallel://task-output/{basis_index:04d}-{slug}"
@@ -609,10 +649,9 @@ class ParallelEngine(Engine):
                 title = field_title
                 excerpts = [reasoning]
             else:
-                url = str(getattr(citation, "url", "") or "")
-                title = str(getattr(citation, "title", "") or field_title)
-                raw_excerpts = getattr(citation, "excerpts", None) or []
-                excerpts = [snippet for snippet in raw_excerpts if isinstance(snippet, str)]
+                url = str(citation.url or "")
+                title = str(citation.title or field_title)
+                excerpts = citation.excerpts or []
                 if not excerpts and reasoning:
                     excerpts = [reasoning]
             results.append(
@@ -625,7 +664,7 @@ class ParallelEngine(Engine):
         return results
 
     def _task_fallback_result(self, output: Any, basis_items: list[Any]) -> dict[str, Any]:
-        content = getattr(output, "content", None)
+        content = output.content
         if isinstance(content, str):
             snippet = content
         elif isinstance(content, (dict, list)):
@@ -633,9 +672,9 @@ class ParallelEngine(Engine):
         else:
             snippet = str(content or "")
         if not snippet:
-            extra_reasoning: list[str] = []
+            extra_reasoning = []
             for basis in basis_items:
-                raw_value = getattr(basis, "reasoning", "") or ""
+                raw_value = basis.reasoning or ""
                 if isinstance(raw_value, str):
                     extra_reasoning.append(raw_value)
                 else:
@@ -665,13 +704,13 @@ class ParallelEngine(Engine):
     def forward(self, argument):
         kwargs = argument.kwargs
         # Route based on presence of URL vs Query
-        url = getattr(argument.prop, "url", None) or kwargs.get("url")
+        url = argument.prop.url or kwargs.get("url")
         if url:
             return self._extract(str(url), kwargs)
 
-        raw_query = getattr(argument.prop, "prepared_input", None)
+        raw_query = argument.prop.prepared_input
         if raw_query is None:
-            raw_query = getattr(argument.prop, "query", None)
+            raw_query = argument.prop.query
         search_queries = self._coerce_search_queries(raw_query)
         if not search_queries:
             UserMessage(
@@ -685,11 +724,11 @@ class ParallelEngine(Engine):
 
     def prepare(self, argument):
         # For scraping: store URL directly. For search: pass through query string.
-        url = argument.kwargs.get("url") or getattr(argument.prop, "url", None)
+        url = argument.kwargs.get("url") or argument.prop.url
         if url:
             argument.prop.prepared_input = str(url)
             return
-        query = getattr(argument.prop, "query", None)
+        query = argument.prop.query
         if isinstance(query, list):
             argument.prop.prepared_input = self._coerce_search_queries(query)
             return

{symbolicai-1.2.0 → symbolicai-1.3.0}/symai/backend/mixin/openai.py

@@ -22,6 +22,7 @@ SUPPORTED_CHAT_MODELS = [
     "gpt-4.1-nano",
     "gpt-5-chat-latest",
     "gpt-5.1-chat-latest",
+    "gpt-5.2-chat-latest",
 ]
 SUPPORTED_REASONING_MODELS = [
     "o3-mini",
@@ -30,6 +31,7 @@ SUPPORTED_REASONING_MODELS = [
     "o3",
     "gpt-5",
     "gpt-5.1",
+    "gpt-5.2",
     "gpt-5-mini",
     "gpt-5-nano",
 ]
@@ -40,7 +42,7 @@ SUPPORTED_EMBEDDING_MODELS = [
 ]
 SUPPORTED_RESPONSES_MODELS = [
     f"responses:{m}" for m in SUPPORTED_CHAT_MODELS + SUPPORTED_REASONING_MODELS
-] + ["responses:gpt-5-pro", "responses:o3-pro"]
+] + ["responses:gpt-5-pro", "responses:o3-pro", "responses:gpt-5.2-pro"]
 
 
 class OpenAIMixin:
@@ -86,6 +88,7 @@ class OpenAIMixin:
             or self.model == "gpt-4o-2024-11-20"
             or self.model == "gpt-4o-mini"
             or self.model == "chatgpt-4o-latest"
+            or self.model == "gpt-5.2-chat-latest"
         ):
             return 128_000
         if (
@@ -101,9 +104,11 @@ class OpenAIMixin:
         if (
             self.model == "gpt-5"
             or self.model == "gpt-5.1"
+            or self.model == "gpt-5.2"
             or self.model == "gpt-5-mini"
             or self.model == "gpt-5-nano"
             or self.model == "gpt-5-pro"
+            or self.model == "gpt-5.2-pro"
         ):
             return 400_000
         if self.model == "gpt-4.1" or self.model == "gpt-4.1-mini" or self.model == "gpt-4.1-nano":
@@ -135,6 +140,7 @@ class OpenAIMixin:
             or self.model == "chatgpt-4o-latest"
             or self.model == "gpt-5-chat-latest"
             or self.model == "gpt-5.1-chat-latest"
+            or self.model == "gpt-5.2-chat-latest"
         ):
             return 16_384
         if self.model == "gpt-4.1" or self.model == "gpt-4.1-mini" or self.model == "gpt-4.1-nano":
@@ -150,8 +156,10 @@ class OpenAIMixin:
         if (
             self.model == "gpt-5"
             or self.model == "gpt-5.1"
+            or self.model == "gpt-5.2"
             or self.model == "gpt-5-mini"
             or self.model == "gpt-5-nano"
+            or self.model == "gpt-5.2-pro"
         ):
             return 128_000
         if self.model == "gpt-5-pro":

{symbolicai-1.2.0 → symbolicai-1.3.0}/symbolicai.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: symbolicai
-Version: 1.2.0
+Version: 1.3.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

{symbolicai-1.2.0 → symbolicai-1.3.0}/symbolicai.egg-info/SOURCES.txt

@@ -1,5 +1,6 @@
 .gitbook.yaml
 .gitignore
+AGENTS.md
 CITATION.cff
 Dockerfile
 LICENSE