classiq 0.43.3__py3-none-any.whl → 0.45.0__py3-none-any.whl

classiq/__init__.py

@@ -14,9 +14,8 @@ from classiq.interface.generator.model import *  # noqa: F403
 from classiq.interface.generator.model import __all__ as _md_all
 from classiq.interface.generator.quantum_program import QuantumProgram
 from classiq.interface.generator.types.builtin_enum_declarations import *  # noqa: F403
-from classiq.interface.ide.show import show
 
-from classiq import applications, exceptions, execution, synthesis
+from classiq import applications, execution, synthesis
 from classiq._internals import logger
 from classiq._internals.async_utils import (
     enable_jupyter_notebook,
@@ -38,6 +37,10 @@ from classiq.applications.combinatorial_optimization import (
 )
 from classiq.applications.finance import construct_finance_model
 from classiq.applications.grover import construct_grover_model
+from classiq.applications.hamiltonian.pauli_decomposition import (
+    hamiltonian_to_matrix,
+    matrix_to_hamiltonian,
+)
 from classiq.applications.qsvm import construct_qsvm_model
 from classiq.executor import (
     execute,
@@ -46,6 +49,7 @@ from classiq.executor import (
 )
 from classiq.qmod import *  # noqa: F403
 from classiq.qmod import __all__ as _qmod_all
+from classiq.show import show
 from classiq.synthesis import (
     set_constraints,
     set_execution_preferences,
@@ -71,7 +75,6 @@ if _is_notebook():
 _sub_modules = [
     "analyzer",
     "applications",
-    "exceptions",
     "execution",
     "open_help",
     "qmod",
@@ -95,6 +98,8 @@ __all__ = (
         "set_execution_preferences",
         "set_quantum_program_execution_preferences",
         "show",
+        "hamiltonian_to_matrix",
+        "matrix_to_hamiltonian",
     ]
     + _md_all
     + _sub_modules

classiq/_internals/api_wrapper.py

@@ -8,6 +8,8 @@ import classiq.interface.pyomo_extension
 from classiq.interface.analyzer import analysis_params, result as analysis_result
 from classiq.interface.analyzer.analysis_params import AnalysisRBParams
 from classiq.interface.chemistry import ground_state_problem, operator
+from classiq.interface.enum_utils import StrEnum
+from classiq.interface.exceptions import ClassiqAPIError, ClassiqValueError
 from classiq.interface.execution.jobs import (
     ExecutionJobDetailsV1,
     ExecutionJobsQueryResultsV1,
@@ -20,9 +22,7 @@ from classiq.interface.model.model import Model
 from classiq.interface.server import routes
 
 from classiq._internals.client import client
-from classiq._internals.enum_utils import StrEnum
 from classiq._internals.jobs import JobPoller
-from classiq.exceptions import ClassiqAPIError, ClassiqValueError
 
 ResultType = TypeVar("ResultType", bound=pydantic.BaseModel)
 CLASSIQ_ACCEPT_HEADER = "X-Classiq-Accept-Version"

classiq/_internals/authentication/auth0.py

@@ -5,7 +5,7 @@ from typing import Any, Dict, Optional, Union
 from httpx import AsyncClient, Response, codes
 from pydantic import BaseSettings, Field
 
-from classiq.exceptions import ClassiqAuthenticationError
+from classiq.interface.exceptions import ClassiqAuthenticationError
 
 
 class AuthSettings(BaseSettings):

classiq/_internals/authentication/device.py

@@ -3,9 +3,13 @@ import webbrowser
 from datetime import timedelta
 from typing import Any, Dict, Iterable, Optional, TypeVar
 
+from classiq.interface.exceptions import (
+    ClassiqAuthenticationError,
+    ClassiqExpiredTokenError,
+)
+
 from classiq._internals.async_utils import poll_for
 from classiq._internals.authentication.auth0 import Auth0, Tokens
-from classiq.exceptions import ClassiqAuthenticationError, ClassiqExpiredTokenError
 
 T = TypeVar("T")
 

classiq/_internals/authentication/token_manager.py

@@ -4,14 +4,15 @@ import threading
 import warnings
 from typing import Optional, Sequence, Type
 
+from classiq.interface.exceptions import (
+    ClassiqAuthenticationError,
+    ClassiqPasswordManagerSelectionError,
+)
+
 from classiq._internals.authentication import password_manager as pm
 from classiq._internals.authentication.auth0 import Auth0
 from classiq._internals.authentication.device import DeviceRegistrar, Tokens
 from classiq._internals.config import Configuration
-from classiq.exceptions import (
-    ClassiqAuthenticationError,
-    ClassiqPasswordManagerSelectionError,
-)
 
 PASSWORD_MANAGERS: Sequence[Type[pm.PasswordManager]] = [
     pm.KeyringPasswordManager,

classiq/_internals/client.py

@@ -19,15 +19,15 @@ from typing import (
 )
 
 import httpx
-from packaging.version import Version
 from typing_extensions import ParamSpec
 
 from classiq.interface._version import VERSION as _VERSION
+from classiq.interface.exceptions import ClassiqAPIError, ClassiqExpiredTokenError
+from classiq.interface.interface_version import INTERFACE_VERSION
 
 from classiq._internals import config
 from classiq._internals.authentication import token_manager
 from classiq._internals.host_checker import HostChecker
-from classiq.exceptions import ClassiqAPIError, ClassiqExpiredTokenError
 
 _FRONTEND_VARIANT: str = "classiq-sdk"
 _INTERFACE_VARIANT: str = "classiq-interface-sdk"
@@ -161,12 +161,9 @@ class Client:
         self._api_prefix = self._make_api_prefix()
         self._session_id: Optional[str] = None
 
-    @classmethod
-    def _make_api_prefix(cls) -> str:
-        if _VERSION == cls._UNKNOWN_VERSION:
-            return cls._LATEST_VERSION_API_PREFIX
-        parsed_version = Version(_VERSION)
-        return f"/api/v{parsed_version.major}-{parsed_version.minor}"
+    @staticmethod
+    def _make_api_prefix() -> str:
+        return f"/api/v{INTERFACE_VERSION}"
 
     def make_versioned_url(self, url_postfix: str) -> str:
         return self._api_prefix + url_postfix

classiq/_internals/config.py

@@ -8,10 +8,9 @@ import configargparse  # type: ignore[import]
 import pydantic
 from pydantic import BaseModel
 
+from classiq.interface.enum_utils import StrEnum
 from classiq.interface.server.routes import DEFAULT_IDE_FE_APP
 
-from classiq._internals.enum_utils import StrEnum
-
 DEFAULT_HOST = "https://api.classiq.io"
 
 

classiq/_internals/host_checker.py

@@ -1,6 +1,8 @@
 from __future__ import annotations
 
 import logging
+import warnings
+from datetime import datetime
 from typing import TYPE_CHECKING, Optional
 
 import httpx
@@ -8,10 +10,10 @@ import pydantic
 from packaging.version import Version
 from pydantic import BaseModel
 
+from classiq.interface.exceptions import ClassiqAPIError, ClassiqDeprecationWarning
+from classiq.interface.interface_version import INTERFACE_VERSION
 from classiq.interface.server.global_versions import DeprecationInfo, GlobalVersions
 
-from classiq.exceptions import ClassiqAPIError
-
 if TYPE_CHECKING:
     from classiq._internals.client import Client
 
@@ -26,9 +28,23 @@ class HostVersions(BaseModel):
 class HostChecker:
     _UNKNOWN_VERSION = "0.0.0"
 
-    def __init__(self, client: Client, client_version: str) -> None:
+    def __init__(
+        self,
+        client: Client,
+        client_version: str,
+        interface_version: str = INTERFACE_VERSION,
+    ) -> None:
         self._client = client
         self._client_version = client_version
+        self._interface_version = interface_version
+
+    def _get_interface_version(self) -> Optional[str]:
+        global_interfaces = GlobalVersions.parse_obj(
+            self._client.sync_call_api(
+                "get", "/interface_versions", use_versioned_url=False
+            )
+        )
+        return global_interfaces.deployed.get(self._interface_version, None)
 
     def _get_host_version(self) -> str:
         host = HostVersions.parse_obj(self._client.sync_call_api("get", "/versions"))
@@ -56,18 +72,16 @@ class HostChecker:
 
     def check_host_version(self) -> None:
         try:
-            raw_host_version = self._get_host_version()
+            interface_version = self._get_interface_version()
         except httpx.ConnectError:
             _logger.warning(
                 "Version check failed - host unavailable.",
             )
         else:
-            if not self._check_matching_versions(
-                raw_host_version, self._client_version
-            ):
+            if interface_version is None:
                 raise ClassiqAPIError(
-                    f"Classiq API version mismatch: 'classiq' version is "
-                    f"{self._client_version}, backend version is {raw_host_version}. {_VERSION_UPDATE_SUGGESTION}"
+                    f"You are using an unsupported version of Classiq SDK - {self._client_version}. "
+                    f"{_VERSION_UPDATE_SUGGESTION}"
                 )
 
     def check_deprecated_version(self) -> None:
@@ -80,8 +94,15 @@ class HostChecker:
         else:
             if deprecation_info is None:
                 return
-            _logger.warning(
-                "The current version of 'classiq' has been deprecated, and will not be supported as of %s. %s",
-                deprecation_info.removal_date.date(),
-                _VERSION_UPDATE_SUGGESTION,
+            removal_date = (
+                deprecation_info.removal_date.date()
+                if isinstance(deprecation_info.removal_date, datetime)
+                else deprecation_info.removal_date
+            )
+            warnings.warn(
+                f"The current version of 'classiq' has been deprecated, and"
+                f" will not be supported as of {removal_date}. "
+                f"{_VERSION_UPDATE_SUGGESTION}",
+                ClassiqDeprecationWarning,
+                stacklevel=2,
             )

classiq/_internals/jobs.py

@@ -5,12 +5,12 @@ from typing import Callable, Dict, Iterable, Optional, Set, TypeVar
 import httpx
 import pydantic
 
+from classiq.interface.exceptions import ClassiqAPIError
 from classiq.interface.jobs import JobDescription, JobID, JSONObject
 
 from classiq._internals.async_utils import poll_for
 from classiq._internals.client import client, try_again_on_failure
 from classiq._internals.config import SDKMode
-from classiq.exceptions import ClassiqAPIError
 
 _URL_PATH_SEP = "/"
 GeneralJobDescription = JobDescription[JSONObject]
@@ -169,7 +169,7 @@ class JobPoller:
         self, model: pydantic.BaseModel, timeout_sec: Optional[float]
     ) -> GeneralJobDescription:
         # TODO: we can't use model.dict() - it doesn't serialize complex class.
-        # This was added because JSON serializer doesn't serialize complex type, and pydantic does.
-        # We should add support for smarter json serialization.
+        # This was added because JSON serializer doesn't serialize complex and UUID,
+        # while pydantic does. We should add support for smarter json serialization.
         body = json.loads(model.json())
         return await self.run(body, timeout_sec)

classiq/analyzer/analyzer.py

@@ -10,6 +10,7 @@ import plotly.graph_objects as go
 
 from classiq.interface.analyzer import analysis_params
 from classiq.interface.backend.quantum_backend_providers import AnalyzerProviderVendor
+from classiq.interface.exceptions import ClassiqAnalyzerError
 from classiq.interface.generator import quantum_program as generator_result
 
 from classiq._internals import async_utils, client
@@ -20,7 +21,6 @@ from classiq.analyzer.analyzer_utilities import (
     ProviderNameEnum,
 )
 from classiq.analyzer.url_utils import circuit_page_uri, client_ide_base_url
-from classiq.exceptions import ClassiqAnalyzerError
 
 find_ipywidgets = find_spec("ipywidgets")
 VBox = Any

classiq/analyzer/analyzer_utilities.py

@@ -2,10 +2,10 @@ from typing import Dict, List, Union
 
 from classiq.interface.analyzer import analysis_params
 from classiq.interface.backend.quantum_backend_providers import AnalyzerProviderVendor
+from classiq.interface.exceptions import ClassiqAnalyzerError
 from classiq.interface.generator.quantum_program import QuantumProgram
 
 from classiq._internals.api_wrapper import ApiWrapper
-from classiq.exceptions import ClassiqAnalyzerError
 
 DeviceName = str
 ProviderName = str

classiq/analyzer/rb.py

@@ -8,9 +8,9 @@ import plotly.graph_objects as go
 
 from classiq.interface.analyzer.analysis_params import AnalysisRBParams
 from classiq.interface.analyzer.result import RbResults
+from classiq.interface.exceptions import ClassiqAnalyzerError
 
 from classiq._internals.api_wrapper import ApiWrapper
-from classiq.exceptions import ClassiqAnalyzerError
 from classiq.executor import BackendPreferencesAndResult
 
 

classiq/applications/chemistry/chemistry_model_constructor.py

@@ -50,7 +50,7 @@ from classiq.applications.chemistry.ansatz_parameters import (
 from classiq.applications.chemistry.chemistry_execution_parameters import (
     ChemistryExecutionParameters,
 )
-from classiq.exceptions import ClassiqError
+from classiq.interface.exceptions import ClassiqError
 from classiq.qmod.utilities import qmod_val_to_expr_str
 
 _LADDER_OPERATOR_TYPE_INDICATOR_TO_QMOD_MAPPING: Dict[str, str] = {
@@ -154,7 +154,6 @@ _HAE_GATE_MAPPING: Dict[str, QuantumFunctionCall] = {
     ),
     "crx": QuantumFunctionCall(
         function="CRX",
-        designated_params={"theta": Expression(expr="angle")},
         positional_args=[
             Expression(expr="angle"),
             HandleBinding(name="q1"),
@@ -325,11 +324,17 @@ def _get_hea_function(hea_parameters: HEAParameters) -> QuantumFunctionCall:
             ),
             Expression(expr=f"{hea_parameters.reps}"),
             [
-                QuantumLambdaFunction(body=[_HAE_GATE_MAPPING[gate]])
+                QuantumLambdaFunction(
+                    pos_rename_params=["angle", "q"],
+                    body=[_HAE_GATE_MAPPING[gate]],
+                )
                 for gate in hea_parameters.one_qubit_gates
             ],
             [
-                QuantumLambdaFunction(body=[_HAE_GATE_MAPPING[gate]])
+                QuantumLambdaFunction(
+                    pos_rename_params=["angle", "q1", "q2"],
+                    body=[_HAE_GATE_MAPPING[gate]],
+                )
                 for gate in hea_parameters.two_qubit_gates
             ],
             HandleBinding(name="qbv"),
@@ -378,9 +383,10 @@ save({{{_MOLECULE_PROBLEM_RESULT!r}: {_MOLECULE_PROBLEM_RESULT}}})
 
 
 def _is_parametric_gate(call: QuantumFunctionCall) -> bool:
-    return len(call.designated_params) > 0 or any(
-        isinstance(arg, Expression) for arg in call.positional_args
-    )
+    # FIXME: call call.params instead (CAD-21568)
+    return any(
+        arg for arg in call.positional_args if isinstance(arg, Expression)
+    ) or any(isinstance(arg, Expression) for arg in call.positional_args)
 
 
 def _get_execution_result_post_processing_statements(

classiq/applications/combinatorial_helpers/allowed_constraints.py

@@ -15,6 +15,9 @@ def is_constraint_sum_less_than_one(
         isinstance(expression, LessThan)
         and isinstance(expression.args[0], Add)
         and all(isinstance(arg, Symbol) for arg in expression.args[0].args)
-        and expression.args[1] == _INEQUALITY_UPPER_LIMIT
+        and (
+            expression.args[1] == _INEQUALITY_UPPER_LIMIT
+            or expression.args[1] == float(_INEQUALITY_UPPER_LIMIT)
+        )
         and encoding_type is None
     )

classiq/applications/combinatorial_helpers/arithmetic/isolation.py

@@ -1,7 +1,7 @@
 from sympy import Eq, Expr, GreaterThan, LessThan, Rational, Symbol, solve
 from sympy.core.relational import Relational
 
-from classiq.exceptions import ClassiqCombOptNoSolutionError
+from classiq.interface.exceptions import ClassiqCombOptNoSolutionError
 
 
 def isolate(expression: Expr, var: Symbol) -> Expr:

classiq/applications/combinatorial_helpers/encoding_mapping.py

@@ -7,9 +7,9 @@ from pyomo.core.base import _GeneralVarData
 from pyomo.core.expr.visitor import clone_expression, identify_variables
 
 from classiq.interface.combinatorial_optimization.encoding_types import EncodingType
+from classiq.interface.exceptions import ClassiqCombOptError
 
 from classiq.applications.combinatorial_helpers import pyomo_utils
-from classiq.exceptions import ClassiqCombOptError
 
 
 @dataclass

classiq/applications/combinatorial_helpers/encoding_utils.py

@@ -14,8 +14,9 @@ from pyomo.core.expr.numeric_expr import (
 )
 from sympy import Expr
 
+from classiq.interface.exceptions import ClassiqCombOptNoSolutionError
+
 from classiq.applications.combinatorial_helpers import pyomo_utils
-from classiq.exceptions import ClassiqCombOptNoSolutionError
 
 _INTEGER_TYPES = [pyo.NonNegativeIntegers, pyo.Integers, pyo.PositiveIntegers]
 

classiq/applications/combinatorial_helpers/optimization_model.py

@@ -12,6 +12,7 @@ from classiq.interface.chemistry.operator import PauliOperator
 from classiq.interface.combinatorial_optimization import sense
 from classiq.interface.combinatorial_optimization.encoding_types import EncodingType
 from classiq.interface.combinatorial_optimization.solver_types import QSolver
+from classiq.interface.exceptions import ClassiqCombOptError
 
 from classiq.applications.combinatorial_helpers import (
     encoding_utils,
@@ -33,7 +34,6 @@ from classiq.applications.combinatorial_helpers.transformations.fixed_variables
 from classiq.applications.combinatorial_helpers.transformations.penalty_support import (
     is_model_penalty_supported,
 )
-from classiq.exceptions import ClassiqCombOptError
 
 
 class OptimizationModel:

classiq/applications/combinatorial_helpers/pauli_helpers/pauli_utils.py

@@ -1,9 +1,9 @@
 from typing import List
 
+from classiq.interface.exceptions import ClassiqNonNumericCoefficientInPauliError
 from classiq.interface.generator.functions.qmod_python_interface import QmodPyStruct
 from classiq.interface.helpers.custom_pydantic_types import PydanticPauliList
 
-from classiq.exceptions import ClassiqNonNumericCoefficientInPauliError
 from classiq.qmod.builtins import PauliTerm
 from classiq.qmod.builtins.enums import Pauli
 

classiq/applications/combinatorial_helpers/pyomo_utils.py

@@ -18,11 +18,10 @@ from pyomo.core.expr.sympy_tools import (
     Sympy2PyomoVisitor,
 )
 
+from classiq.interface.exceptions import ClassiqValueError
 from classiq.interface.generator.expressions.expression import Expression
 from classiq.interface.generator.types.struct_declaration import StructDeclaration
 
-from classiq.exceptions import ClassiqValueError
-
 ListVars = List[_GeneralVarData]
 
 

classiq/applications/combinatorial_helpers/transformations/encoding.py

@@ -9,11 +9,11 @@ from pyomo.core.expr.relational_expr import EqualityExpression
 
 from classiq.interface.combinatorial_optimization.encoding_types import EncodingType
 from classiq.interface.combinatorial_optimization.solver_types import QSolver
+from classiq.interface.exceptions import ClassiqCombOptInvalidEncodingTypeError
 
 from classiq.applications.combinatorial_helpers import encoding_utils, pyomo_utils
 from classiq.applications.combinatorial_helpers.encoding_mapping import EncodingMapping
 from classiq.applications.combinatorial_helpers.encoding_utils import ONE_HOT_SUFFIX
-from classiq.exceptions import ClassiqCombOptInvalidEncodingTypeError
 
 
 def _make_invalid_encoding_type_error(

classiq/applications/combinatorial_helpers/transformations/fixed_variables.py

@@ -7,6 +7,11 @@ from pyomo.core.expr.relational_expr import EqualityExpression
 from pyomo.core.expr.visitor import identify_variables
 from pyomo.repn.standard_repn import _GeneralVarData
 
+from classiq.interface.exceptions import (
+    ClassiqCombOptNoSolutionError,
+    ClassiqCombOptTrivialProblemError,
+)
+
 from classiq.applications.combinatorial_helpers import (
     encoding_utils,
     pyomo_utils,
@@ -20,10 +25,6 @@ from classiq.applications.combinatorial_helpers.sympy_utils import (
     sympyify_expression,
     sympyify_vars,
 )
-from classiq.exceptions import (
-    ClassiqCombOptNoSolutionError,
-    ClassiqCombOptTrivialProblemError,
-)
 
 
 def remove_fixed_variables(model: ConcreteModel) -> ConcreteModel:

classiq/applications/combinatorial_helpers/transformations/ising_converter.py

@@ -5,6 +5,7 @@ import sympy as sp
 from pyomo.core.base import _GeneralVarData
 
 from classiq.interface.chemistry.operator import PauliOperator
+from classiq.interface.exceptions import ClassiqCombOptNotSupportedProblemError
 from classiq.interface.helpers import custom_pydantic_types
 
 from classiq.applications.combinatorial_helpers import memory
@@ -13,7 +14,6 @@ from classiq.applications.combinatorial_helpers.sympy_utils import (
     sympyify_expression,
     sympyify_vars,
 )
-from classiq.exceptions import ClassiqCombOptNotSupportedProblemError
 
 PYOMO_PARSING_ERROR_MESAGE = "Parsing of this pyomo model is not supported."
 

classiq/applications/combinatorial_helpers/transformations/sign_seperation.py

@@ -13,7 +13,7 @@ from sympy import (
     simplify,
 )
 
-from classiq.exceptions import ClassiqCombOptError
+from classiq.interface.exceptions import ClassiqCombOptError
 
 
 def sign_separation(expr: Expr) -> LessThan:

classiq/applications/combinatorial_optimization/combinatorial_optimization_model_constructor.py

@@ -9,7 +9,6 @@ from classiq.interface.generator.functions.classical_type import (
     ClassicalArray,
     ClassicalList,
     Real,
-    Struct,
 )
 from classiq.interface.generator.functions.port_declaration import (
     PortDeclarationDirection,
@@ -24,6 +23,7 @@ from classiq.interface.model.port_declaration import PortDeclaration
 from classiq.interface.model.quantum_function_call import QuantumFunctionCall
 from classiq.interface.model.quantum_type import QuantumBitvector
 
+from classiq import Struct
 from classiq.applications.combinatorial_helpers.combinatorial_problem_utils import (
     compute_qaoa_initial_point,
     convert_pyomo_to_global_presentation,

classiq/applications/finance/finance_model_constructor.py

@@ -1,6 +1,7 @@
 from math import floor, log
 from typing import Union
 
+from classiq.interface.exceptions import ClassiqError
 from classiq.interface.finance.function_input import FinanceFunctionInput
 from classiq.interface.finance.gaussian_model_input import GaussianModelInput
 from classiq.interface.finance.log_normal_model_input import LogNormalModelInput
@@ -20,7 +21,6 @@ from classiq.interface.model.variable_declaration_statement import (
 )
 
 from classiq.applications.libraries.qmci_library import QMCI_LIBRARY
-from classiq.exceptions import ClassiqError
 from classiq.qmod.utilities import qmod_val_to_expr_str
 
 _OUTPUT_VARIABLE_NAME = "payoff_estimation"
@@ -96,14 +96,15 @@ def construct_finance_model(
                         function="qmci",
                         positional_args=[
                             QuantumLambdaFunction(
+                                pos_rename_params=["state", "ind"],
                                 body=[
                                     QuantumFunctionCall(
                                         function=finance_function,
                                         positional_args=[
                                             Expression(expr=finance_model),
                                             Expression(expr=finance_function_object),
-                                            HandleBinding(name="arg0"),
-                                            HandleBinding(name="arg1"),
+                                            HandleBinding(name="state"),
+                                            HandleBinding(name="ind"),
                                         ],
                                     ),
                                 ],

classiq/applications/grover/grover_model_constructor.py

@@ -34,7 +34,7 @@ def _arithmetic_oracle_ios(
     for _, reg in definitions:
         ios.append(
             SlicedHandleBinding(
-                name=handle_name,
+                base_handle=HandleBinding(name=handle_name),
                 start=Expression(expr=f"{cursor}"),
                 end=Expression(expr=f"{cursor + reg.size}"),
             )
@@ -47,12 +47,13 @@ def _construct_arithmetic_oracle(
     predicate_function: str,
     definitions: List[Tuple[str, RegisterUserInput]],
 ) -> QuantumFunctionCall:
-    predicate_var_binding = _arithmetic_oracle_ios(definitions, "arg0")
-    predicate_var_binding.append(HandleBinding(name="arg1"))
+    predicate_var_binding = _arithmetic_oracle_ios(definitions, "state")
+    predicate_var_binding.append(HandleBinding(name="oracle"))
     return QuantumFunctionCall(
         function="phase_oracle",
         positional_args=[
             QuantumLambdaFunction(
+                pos_rename_params=["state", "oracle"],
                 body=[
                     QuantumFunctionCall(
                         function=predicate_function,
@@ -60,7 +61,7 @@ def _construct_arithmetic_oracle(
                     ),
                 ],
             ),
-            HandleBinding(name="arg0"),
+            HandleBinding(name="packed_vars"),
         ],
     )
 
@@ -132,12 +133,13 @@ def construct_grover_model(
                         positional_args=[
                             Expression(expr=f"{num_reps}"),
                             QuantumLambdaFunction(
+                                pos_rename_params=["packed_vars"],
                                 body=[
                                     _construct_arithmetic_oracle(
                                         _PREDICATE_FUNCTION_NAME,
                                         definitions,
                                     )
-                                ]
+                                ],
                             ),
                             HandleBinding(name="packed_vars"),
                         ],