Release 0.0.56

Author: fern-api[bot]

src/axiomatic/__init__.py

@@ -5,24 +5,23 @@
     BundleSettingsValue,
     Computation,
     ComputationArgumentsValue,
+    CostFunction,
     ExecuteCodeResponse,
     ExtractTextResponse,
     FindMappingResponse,
-    Formalization,
-    FormalizationError,
     FormalizeCircuitResponse,
     FormalizeResponse,
     GenerateCodeResponse,
     GenerateComponentCodeResponse,
     HttpValidationError,
     InteractiveResponse,
-    MdResponse,
     Net,
     Netlist,
     NetlistPlacementsValueValue,
     OptimizationHistory,
     OptimizeNetlistResponse,
     Parameter,
+    ParameterConstraint,
     ParseResponse,
     PdkType,
     PicInstance,
@@ -33,15 +32,15 @@
     RefineComponentCodeResponse,
     SolutionResponse,
     SolutionResponseSolutionValue,
-    Statement,
     StatementDictionary,
-    StatementFeedback,
-    StatementFeedbackDictionary,
-    StatementType,
+    StatementValidation,
+    StatementValidationDictionary,
+    StructureConstraint,
     StructureFunctionCall,
     StructureFunctionCallArgumentsValue,
     StructureFunctionCallExpectedResult,
     SummarizerResponse,
+    UnformalizableStatement,
     UserRequirement,
     ValidateNetlistResponse,
     ValidateResponse,
@@ -65,24 +64,23 @@
     "BundleSettingsValue",
     "Computation",
     "ComputationArgumentsValue",
+    "CostFunction",
     "ExecuteCodeResponse",
     "ExtractTextResponse",
     "FindMappingResponse",
-    "Formalization",
-    "FormalizationError",
     "FormalizeCircuitResponse",
     "FormalizeResponse",
     "GenerateCodeResponse",
     "GenerateComponentCodeResponse",
     "HttpValidationError",
     "InteractiveResponse",
-    "MdResponse",
     "Net",
     "Netlist",
     "NetlistPlacementsValueValue",
     "OptimizationHistory",
     "OptimizeNetlistResponse",
     "Parameter",
+    "ParameterConstraint",
     "ParseResponse",
     "PdkType",
     "PicInstance",
@@ -93,15 +91,15 @@
     "RefineComponentCodeResponse",
     "SolutionResponse",
     "SolutionResponseSolutionValue",
-    "Statement",
     "StatementDictionary",
-    "StatementFeedback",
-    "StatementFeedbackDictionary",
-    "StatementType",
+    "StatementValidation",
+    "StatementValidationDictionary",
+    "StructureConstraint",
     "StructureFunctionCall",
     "StructureFunctionCallArgumentsValue",
     "StructureFunctionCallExpectedResult",
     "SummarizerResponse",
+    "UnformalizableStatement",
     "UnprocessableEntityError",
     "UserRequirement",
     "ValidateNetlistResponse",

src/axiomatic/types/__init__.py

@@ -4,24 +4,23 @@
 from .bundle_settings_value import BundleSettingsValue
 from .computation import Computation
 from .computation_arguments_value import ComputationArgumentsValue
+from .cost_function import CostFunction
 from .execute_code_response import ExecuteCodeResponse
 from .extract_text_response import ExtractTextResponse
 from .find_mapping_response import FindMappingResponse
-from .formalization import Formalization
-from .formalization_error import FormalizationError
 from .formalize_circuit_response import FormalizeCircuitResponse
 from .formalize_response import FormalizeResponse
 from .generate_code_response import GenerateCodeResponse
 from .generate_component_code_response import GenerateComponentCodeResponse
 from .http_validation_error import HttpValidationError
 from .interactive_response import InteractiveResponse
-from .md_response import MdResponse
 from .net import Net
 from .netlist import Netlist
 from .netlist_placements_value_value import NetlistPlacementsValueValue
 from .optimization_history import OptimizationHistory
 from .optimize_netlist_response import OptimizeNetlistResponse
 from .parameter import Parameter
+from .parameter_constraint import ParameterConstraint
 from .parse_response import ParseResponse
 from .pdk_type import PdkType
 from .pic_instance import PicInstance
@@ -32,15 +31,15 @@
 from .refine_component_code_response import RefineComponentCodeResponse
 from .solution_response import SolutionResponse
 from .solution_response_solution_value import SolutionResponseSolutionValue
-from .statement import Statement
 from .statement_dictionary import StatementDictionary
-from .statement_feedback import StatementFeedback
-from .statement_feedback_dictionary import StatementFeedbackDictionary
-from .statement_type import StatementType
+from .statement_validation import StatementValidation
+from .statement_validation_dictionary import StatementValidationDictionary
+from .structure_constraint import StructureConstraint
 from .structure_function_call import StructureFunctionCall
 from .structure_function_call_arguments_value import StructureFunctionCallArgumentsValue
 from .structure_function_call_expected_result import StructureFunctionCallExpectedResult
 from .summarizer_response import SummarizerResponse
+from .unformalizable_statement import UnformalizableStatement
 from .user_requirement import UserRequirement
 from .validate_netlist_response import ValidateNetlistResponse
 from .validate_response import ValidateResponse
@@ -55,24 +54,23 @@
     "BundleSettingsValue",
     "Computation",
     "ComputationArgumentsValue",
+    "CostFunction",
     "ExecuteCodeResponse",
     "ExtractTextResponse",
     "FindMappingResponse",
-    "Formalization",
-    "FormalizationError",
     "FormalizeCircuitResponse",
     "FormalizeResponse",
     "GenerateCodeResponse",
     "GenerateComponentCodeResponse",
     "HttpValidationError",
     "InteractiveResponse",
-    "MdResponse",
     "Net",
     "Netlist",
     "NetlistPlacementsValueValue",
     "OptimizationHistory",
     "OptimizeNetlistResponse",
     "Parameter",
+    "ParameterConstraint",
     "ParseResponse",
     "PdkType",
     "PicInstance",
@@ -83,15 +81,15 @@
     "RefineComponentCodeResponse",
     "SolutionResponse",
     "SolutionResponseSolutionValue",
-    "Statement",
     "StatementDictionary",
-    "StatementFeedback",
-    "StatementFeedbackDictionary",
-    "StatementType",
+    "StatementValidation",
+    "StatementValidationDictionary",
+    "StructureConstraint",
     "StructureFunctionCall",
     "StructureFunctionCallArgumentsValue",
     "StructureFunctionCallExpectedResult",
     "SummarizerResponse",
+    "UnformalizableStatement",
     "UserRequirement",
     "ValidateNetlistResponse",
     "ValidateResponse",

src/axiomatic/types/md_response.py renamed to src/axiomatic/types/cost_function.py

@@ -2,15 +2,19 @@
 
 from ..core.pydantic_utilities import UniversalBaseModel
 import typing
-from ..core.pydantic_utilities import IS_PYDANTIC_V2
 import pydantic
+from .z_3_expression import Z3Expression
+from ..core.pydantic_utilities import IS_PYDANTIC_V2
+
 
+class CostFunction(UniversalBaseModel):
+    type: typing.Optional[typing.Literal["COST_FUNCTION"]] = None
+    text: str = pydantic.Field()
+    """
+    The natural language content of the statement.
+    """
 
-class MdResponse(UniversalBaseModel):
-    markdown: str
-    images: typing.Dict[str, str]
-    interline_equations: typing.List[str]
-    inline_equations: typing.List[str]
+    formalization: typing.Optional[Z3Expression] = None
 
     if IS_PYDANTIC_V2:
         model_config: typing.ClassVar[pydantic.ConfigDict] = pydantic.ConfigDict(extra="allow", frozen=True)  # type: ignore # Pydantic v2

src/axiomatic/types/formalization.py

@@ -13,7 +13,7 @@ class OptimizationHistory(UniversalBaseModel):
     """
 
     all_settings: typing.List[typing.Dict[str, typing.Optional[typing.Any]]]
-    all_costs: typing.List[float]
+    all_costs: typing.List[typing.List[float]]
 
     if IS_PYDANTIC_V2:
         model_config: typing.ClassVar[pydantic.ConfigDict] = pydantic.ConfigDict(extra="allow", frozen=True)  # type: ignore # Pydantic v2

src/axiomatic/types/optimization_history.py

@@ -1,14 +1,15 @@
 # This file was auto-generated by Fern from our API Definition.
 
 from ..core.pydantic_utilities import UniversalBaseModel
+import typing
 from .netlist import Netlist
 from .optimization_history import OptimizationHistory
 from ..core.pydantic_utilities import IS_PYDANTIC_V2
-import typing
 import pydantic
 
 
 class OptimizeNetlistResponse(UniversalBaseModel):
+    best_cost: typing.List[float]
     optimized_netlist: Netlist
     history: OptimizationHistory
 

src/axiomatic/types/optimize_netlist_response.py

@@ -0,0 +1,26 @@
+# This file was auto-generated by Fern from our API Definition.
+
+from ..core.pydantic_utilities import UniversalBaseModel
+import typing
+import pydantic
+from .z_3_expression import Z3Expression
+from ..core.pydantic_utilities import IS_PYDANTIC_V2
+
+
+class ParameterConstraint(UniversalBaseModel):
+    type: typing.Optional[typing.Literal["PARAMETER_CONSTRAINT"]] = None
+    text: str = pydantic.Field()
+    """
+    The natural language content of the statement.
+    """
+
+    formalization: typing.Optional[Z3Expression] = None
+
+    if IS_PYDANTIC_V2:
+        model_config: typing.ClassVar[pydantic.ConfigDict] = pydantic.ConfigDict(extra="allow", frozen=True)  # type: ignore # Pydantic v2
+    else:
+
+        class Config:
+            frozen = True
+            smart_union = True
+            extra = pydantic.Extra.allow

src/axiomatic/types/parameter_constraint.py

@@ -1,14 +1,16 @@
 # This file was auto-generated by Fern from our API Definition.
 
 from ..core.pydantic_utilities import UniversalBaseModel
-from .md_response import MdResponse
-from ..core.pydantic_utilities import IS_PYDANTIC_V2
 import typing
+from ..core.pydantic_utilities import IS_PYDANTIC_V2
 import pydantic
 
 
 class ParseResponse(UniversalBaseModel):
-    content: MdResponse
+    markdown: str
+    images: typing.Optional[typing.Dict[str, str]] = None
+    interline_equations: typing.Optional[typing.List[str]] = None
+    inline_equations: typing.Optional[typing.List[str]] = None
 
     if IS_PYDANTIC_V2:
         model_config: typing.ClassVar[pydantic.ConfigDict] = pydantic.ConfigDict(extra="allow", frozen=True)  # type: ignore # Pydantic v2

src/axiomatic/types/parse_response.py

@@ -2,35 +2,23 @@
 
 from ..core.pydantic_utilities import UniversalBaseModel
 import typing
-from .statement import Statement
-import pydantic
+from .cost_function import CostFunction
+from .structure_constraint import StructureConstraint
+from .parameter_constraint import ParameterConstraint
+from .unformalizable_statement import UnformalizableStatement
 from ..core.pydantic_utilities import IS_PYDANTIC_V2
+import pydantic
 
 
 class StatementDictionary(UniversalBaseModel):
     """
-    A dictionary of statements with their ids by type.
+    A dictionary of statements by type.
     """
 
-    cost_functions: typing.Optional[typing.List[Statement]] = pydantic.Field(default=None)
-    """
-    The cost functions.
-    """
-
-    structure_constraints: typing.Optional[typing.List[Statement]] = pydantic.Field(default=None)
-    """
-    The structure constraints.
-    """
-
-    parameter_constraints: typing.Optional[typing.List[Statement]] = pydantic.Field(default=None)
-    """
-    The parameter constraints.
-    """
-
-    query_summarizers: typing.Optional[typing.List[Statement]] = pydantic.Field(default=None)
-    """
-    The query summarizers.
-    """
+    cost_functions: typing.Optional[typing.List[CostFunction]] = None
+    structure_constraints: typing.Optional[typing.List[StructureConstraint]] = None
+    parameter_constraints: typing.Optional[typing.List[ParameterConstraint]] = None
+    unformalizable_statements: typing.Optional[typing.List[UnformalizableStatement]] = None
 
     if IS_PYDANTIC_V2:
         model_config: typing.ClassVar[pydantic.ConfigDict] = pydantic.ConfigDict(extra="allow", frozen=True)  # type: ignore # Pydantic v2