Release 0.0.60

Author: fern-api[bot]

pyproject.toml

@@ -3,7 +3,7 @@ name = "axiomatic"
 
 [tool.poetry]
 name = "axiomatic"
-version = "0.0.59"
+version = "0.0.60"
 description = ""
 readme = "README.md"
 authors = []

reference.md

@@ -973,6 +973,77 @@ client.formalization.solution.find(
 </dl>
 
 
+</dd>
+</dl>
+</details>
+
+## Fso Lens
+<details><summary><code>client.fso.lens.<a href="src/axiomatic/fso/lens/client.py">generate</a>(...)</code></summary>
+<dl>
+<dd>
+
+#### 📝 Description
+
+<dl>
+<dd>
+
+<dl>
+<dd>
+
+Generate GDS factory code to create a PIC component
+</dd>
+</dl>
+</dd>
+</dl>
+
+#### 🔌 Usage
+
+<dl>
+<dd>
+
+<dl>
+<dd>
+
+```python
+from axiomatic import Axiomatic
+
+client = Axiomatic(
+    api_key="YOUR_API_KEY",
+)
+client.fso.lens.generate(
+    query="query",
+)
+
+```
+</dd>
+</dl>
+</dd>
+</dl>
+
+#### ⚙️ Parameters
+
+<dl>
+<dd>
+
+<dl>
+<dd>
+
+**query:** `str` 
+    
+</dd>
+</dl>
+
+<dl>
+<dd>
+
+**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
+    
+</dd>
+</dl>
+</dd>
+</dl>
+
+
 </dd>
 </dl>
 </details>
@@ -1142,25 +1213,13 @@ Validates a set of statements against a netlist.
 <dd>
 
 ```python
-from axiomatic import (
-    Axiomatic,
-    Computation,
-    Netlist,
-    PicInstance,
-    StatementDictionary,
-)
+from axiomatic import Axiomatic, Computation, Netlist, StatementDictionary
 
 client = Axiomatic(
     api_key="YOUR_API_KEY",
 )
 client.pic.circuit.validate(
-    netlist=Netlist(
-        instances={
-            "key": PicInstance(
-                component="component",
-            )
-        },
-    ),
+    netlist=Netlist(),
     statements=StatementDictionary(),
     mapping={
         "key": Computation(
@@ -1317,20 +1376,14 @@ Map variables in the constraints to computations on the netlist.
 <dd>
 
 ```python
-from axiomatic import Axiomatic, Netlist, PicInstance, StatementDictionary
+from axiomatic import Axiomatic, Netlist, StatementDictionary
 
 client = Axiomatic(
     api_key="YOUR_API_KEY",
 )
 client.pic.circuit.mapping(
     statements=StatementDictionary(),
-    netlist=Netlist(
-        instances={
-            "key": PicInstance(
-                component="component",
-            )
-        },
-    ),
+    netlist=Netlist(),
 )
 
 ```
@@ -1571,21 +1624,14 @@ from axiomatic import (
     Computation,
     Netlist,
     Parameter,
-    PicInstance,
     StatementDictionary,
 )
 
 client = Axiomatic(
     api_key="YOUR_API_KEY",
 )
 client.pic.circuit.optimize(
-    netlist=Netlist(
-        instances={
-            "key": PicInstance(
-                component="component",
-            )
-        },
-    ),
+    netlist=Netlist(),
     statements=StatementDictionary(),
     mapping={
         "key": Computation(

src/axiomatic/__init__.py

@@ -13,6 +13,7 @@
     FormalizeResponse,
     GenerateCodeResponse,
     GenerateComponentCodeResponse,
+    GenerateLensCodeResponse,
     HttpValidationError,
     InteractiveResponse,
     Net,
@@ -49,10 +50,11 @@
     ValidationErrorLocItem,
     VerifyCircuitCodeResponse,
     VerifyResponse,
-    Z3Expression,
+    Z3ExpressionInput,
+    Z3ExpressionOutput,
 )
 from .errors import UnprocessableEntityError
-from . import code_execution, document, experimental, formalization, generic, lean, pic, requirements
+from . import code_execution, document, experimental, formalization, fso, generic, lean, pic, requirements
 from .client import AsyncAxiomatic, Axiomatic
 from .environment import AxiomaticEnvironment
 from .version import __version__
@@ -73,6 +75,7 @@
     "FormalizeResponse",
     "GenerateCodeResponse",
     "GenerateComponentCodeResponse",
+    "GenerateLensCodeResponse",
     "HttpValidationError",
     "InteractiveResponse",
     "Net",
@@ -110,12 +113,14 @@
     "ValidationErrorLocItem",
     "VerifyCircuitCodeResponse",
     "VerifyResponse",
-    "Z3Expression",
+    "Z3ExpressionInput",
+    "Z3ExpressionOutput",
     "__version__",
     "code_execution",
     "document",
     "experimental",
     "formalization",
+    "fso",
     "generic",
     "lean",
     "pic",

src/axiomatic/base_client.py

@@ -13,6 +13,7 @@
 from .generic.client import GenericClient
 from .document.client import DocumentClient
 from .code_execution.client import CodeExecutionClient
+from .fso.client import FsoClient
 from .pic.client import PicClient
 from .core.request_options import RequestOptions
 from .core.pydantic_utilities import parse_obj_as
@@ -25,6 +26,7 @@
 from .generic.client import AsyncGenericClient
 from .document.client import AsyncDocumentClient
 from .code_execution.client import AsyncCodeExecutionClient
+from .fso.client import AsyncFsoClient
 from .pic.client import AsyncPicClient
 
 
@@ -97,6 +99,7 @@ def __init__(
         self.generic = GenericClient(client_wrapper=self._client_wrapper)
         self.document = DocumentClient(client_wrapper=self._client_wrapper)
         self.code_execution = CodeExecutionClient(client_wrapper=self._client_wrapper)
+        self.fso = FsoClient(client_wrapper=self._client_wrapper)
         self.pic = PicClient(client_wrapper=self._client_wrapper)
 
     def trigger_error_sentry_debug_get(
@@ -253,6 +256,7 @@ def __init__(
         self.generic = AsyncGenericClient(client_wrapper=self._client_wrapper)
         self.document = AsyncDocumentClient(client_wrapper=self._client_wrapper)
         self.code_execution = AsyncCodeExecutionClient(client_wrapper=self._client_wrapper)
+        self.fso = AsyncFsoClient(client_wrapper=self._client_wrapper)
         self.pic = AsyncPicClient(client_wrapper=self._client_wrapper)
 
     async def trigger_error_sentry_debug_get(

src/axiomatic/core/client_wrapper.py

@@ -16,7 +16,7 @@ def get_headers(self) -> typing.Dict[str, str]:
         headers: typing.Dict[str, str] = {
             "X-Fern-Language": "Python",
             "X-Fern-SDK-Name": "axiomatic",
-            "X-Fern-SDK-Version": "0.0.59",
+            "X-Fern-SDK-Version": "0.0.60",
         }
         headers["X-API-Key"] = self.api_key
         return headers

src/axiomatic/fso/__init__.py

@@ -0,0 +1,5 @@
+# This file was auto-generated by Fern from our API Definition.
+
+from . import lens
+
+__all__ = ["lens"]

src/axiomatic/fso/client.py

@@ -0,0 +1,18 @@
+# This file was auto-generated by Fern from our API Definition.
+
+from ..core.client_wrapper import SyncClientWrapper
+from .lens.client import LensClient
+from ..core.client_wrapper import AsyncClientWrapper
+from .lens.client import AsyncLensClient
+
+
+class FsoClient:
+    def __init__(self, *, client_wrapper: SyncClientWrapper):
+        self._client_wrapper = client_wrapper
+        self.lens = LensClient(client_wrapper=self._client_wrapper)
+
+
+class AsyncFsoClient:
+    def __init__(self, *, client_wrapper: AsyncClientWrapper):
+        self._client_wrapper = client_wrapper
+        self.lens = AsyncLensClient(client_wrapper=self._client_wrapper)

src/axiomatic/fso/lens/__init__.py

@@ -0,0 +1,2 @@
+# This file was auto-generated by Fern from our API Definition.
+