classiq 0.77.0__py3-none-any.whl → 0.78.0__py3-none-any.whl

classiq/model_expansions/transformers/type_qualifier_inference.py

@@ -0,0 +1,183 @@
+import ast
+import functools
+import itertools
+from collections.abc import Collection, Iterator, Sequence
+from contextlib import contextmanager
+
+from classiq.interface.exceptions import ClassiqInternalExpansionError
+from classiq.interface.generator.functions.type_qualifier import TypeQualifier
+from classiq.interface.model.allocate import Allocate
+from classiq.interface.model.bind_operation import BindOperation
+from classiq.interface.model.control import Control
+from classiq.interface.model.invert import Invert
+from classiq.interface.model.model_visitor import ModelVisitor
+from classiq.interface.model.phase_operation import PhaseOperation
+from classiq.interface.model.port_declaration import PortDeclaration
+from classiq.interface.model.power import Power
+from classiq.interface.model.quantum_expressions.amplitude_loading_operation import (
+    AmplitudeLoadingOperation,
+)
+from classiq.interface.model.quantum_expressions.arithmetic_operation import (
+    ArithmeticOperation,
+)
+from classiq.interface.model.quantum_expressions.quantum_expression import (
+    QuantumExpressionOperation,
+)
+from classiq.interface.model.quantum_function_call import QuantumFunctionCall
+from classiq.interface.model.quantum_statement import QuantumStatement
+from classiq.interface.model.within_apply_operation import WithinApply
+
+from classiq.model_expansions.visitors.variable_references import VarRefCollector
+
+
+class TypeQualifierInference(ModelVisitor):
+    """
+    This class assumes that function calls are topologically sorted, so it traverses
+    the list of function calls and infers the type qualifiers for each function call
+    without going recursively into the function calls.
+    The function definition ports are modified inplace.
+    """
+
+    def __init__(self, support_unused_ports: bool = True) -> None:
+        self._signature_ports: dict[str, PortDeclaration] = dict()
+        self._inferred_ports: dict[str, PortDeclaration] = dict()
+        self._support_unused_ports = (
+            support_unused_ports  # could be turned off for debugging
+        )
+
+    @contextmanager
+    def infer_ports(self, ports: Collection[PortDeclaration]) -> Iterator[bool]:
+        for port in ports:
+            if port.type_qualifier is TypeQualifier.Inferred:
+                self._inferred_ports[port.name] = port
+            else:
+                self._signature_ports[port.name] = port
+
+        yield len(self._inferred_ports) > 0
+
+        self._set_unused_as_const()
+        self._signature_ports.clear()
+        self._inferred_ports.clear()
+
+    def _set_unused_as_const(self) -> None:
+        unresolved_ports = [
+            port
+            for port in self._inferred_ports.values()
+            if port.type_qualifier is TypeQualifier.Inferred
+        ]
+        if not self._support_unused_ports and len(unresolved_ports) > 0:
+            raise ClassiqInternalExpansionError(
+                f"Unresolved inferred ports detected: {', '.join(port.name for port in unresolved_ports)}. "
+                "All ports must have their type qualifiers resolved."
+            )
+        for port in unresolved_ports:
+            port.type_qualifier = TypeQualifier.Const
+
+    def _reduce_qualifier(self, candidate: str, qualifier: TypeQualifier) -> None:
+        if candidate in self._inferred_ports:
+            self._inferred_ports[candidate].type_qualifier = TypeQualifier.and_(
+                self._inferred_ports[candidate].type_qualifier, qualifier
+            )
+
+    def run(
+        self, ports: Collection[PortDeclaration], body: Sequence[QuantumStatement]
+    ) -> None:
+        with self.infer_ports(ports) as should_infer:
+            if should_infer:
+                self.visit(body)
+
+    def visit_QuantumFunctionCall(self, call: QuantumFunctionCall) -> None:
+        for handle, port in call.handles_with_params:
+            self._reduce_qualifier(handle.name, port.type_qualifier)
+
+    def visit_Allocate(self, alloc: Allocate) -> None:
+        self._reduce_qualifier(alloc.target.name, TypeQualifier.QFree)
+
+    def visit_BindOperation(self, bind_op: BindOperation) -> None:
+        reduced_qualifier = self._get_reduced_qualifier(bind_op)
+        for handle in itertools.chain(bind_op.in_handles, bind_op.out_handles):
+            self._reduce_qualifier(handle.name, reduced_qualifier)
+
+    def _get_reduced_qualifier(self, bind_op: BindOperation) -> TypeQualifier:
+        handles = itertools.chain(bind_op.in_handles, bind_op.out_handles)
+        op_vars = {handle.name for handle in handles}
+
+        signature_ports = {
+            name: self._signature_ports[name]
+            for name in op_vars.intersection(self._signature_ports)
+        }
+        known_inferred_ports = {
+            name: self._inferred_ports[name]
+            for name in op_vars.intersection(self._inferred_ports)
+            if self._inferred_ports[name].type_qualifier is not TypeQualifier.Inferred
+        }
+        min_qualifier = self._get_min_qualifier(known_inferred_ports, signature_ports)
+        if not all(
+            port.type_qualifier is min_qualifier for port in signature_ports.values()
+        ):
+            raise ClassiqInternalExpansionError(
+                f"Bind operation {bind_op} has inconsistent type qualifiers: "
+                f"{signature_ports}, {known_inferred_ports}"
+            )
+
+        return min_qualifier
+
+    @staticmethod
+    def _get_min_qualifier(
+        known_inferred_ports: dict[str, PortDeclaration],
+        signature_ports: dict[str, PortDeclaration],
+    ) -> TypeQualifier:
+        known_ports = tuple(
+            itertools.chain(signature_ports.values(), known_inferred_ports.values())
+        )
+        if len(known_ports) == 0:
+            return TypeQualifier.Quantum
+        elif len(known_ports) == 1:
+            return known_ports[0].type_qualifier
+        else:
+            return functools.reduce(
+                TypeQualifier.and_, (port.type_qualifier for port in known_ports)
+            )
+
+    @staticmethod
+    def _extract_expr_vars(expr_op: QuantumExpressionOperation) -> list[str]:
+        vrc = VarRefCollector(
+            ignore_duplicated_handles=True, ignore_sympy_symbols=True, unevaluated=True
+        )
+        vrc.visit(ast.parse(expr_op.expression.expr))
+        return [handle.name for handle in vrc.var_handles]
+
+    def visit_ArithmeticOperation(self, arith: ArithmeticOperation) -> None:
+        result_var = arith.result_var.name
+        self._reduce_qualifier(result_var, TypeQualifier.QFree)
+        for expr_var in self._extract_expr_vars(arith):
+            self._reduce_qualifier(expr_var, TypeQualifier.Const)
+
+    def visit_AmplitudeLoadingOperation(
+        self, amp_load: AmplitudeLoadingOperation
+    ) -> None:
+        result_var = amp_load.result_var.name
+        self._reduce_qualifier(result_var, TypeQualifier.Quantum)
+        for expr_var in self._extract_expr_vars(amp_load):
+            self._reduce_qualifier(expr_var, TypeQualifier.Const)
+
+    def visit_PhaseOperation(self, phase_op: PhaseOperation) -> None:
+        for expr_var in self._extract_expr_vars(phase_op):
+            self._reduce_qualifier(expr_var, TypeQualifier.Const)
+
+    def visit_Control(self, control: Control) -> None:
+        for control_var in self._extract_expr_vars(control):
+            self._reduce_qualifier(control_var, TypeQualifier.Const)
+        self.visit(control.body)
+        if control.else_block is not None:
+            self.visit(control.else_block)
+
+    def visit_Invert(self, invert: Invert) -> None:
+        self.visit(invert.body)
+
+    def visit_Power(self, power: Power) -> None:
+        self.visit(power.body)
+
+    def visit_WithinApply(self, within_apply: WithinApply) -> None:
+        self.visit(within_apply.compute)
+        self.visit(within_apply.action)

classiq/model_expansions/utils/text_utils.py

@@ -10,7 +10,9 @@ def they(items: list) -> str:
     return "it" if len(items) == 1 else "they"
 
 
-def readable_list(items: list) -> str:
+def readable_list(items: list, quote: bool = False) -> str:
+    if quote:
+        items = [repr(str(item)) for item in items]
     if len(items) == 1:
         return str(items[0])
-    return f"{', '.join(items[:-1])} and {items[-1]}"
+    return f"{', '.join(items[:-1])}{',' if len(items) > 2 else ''} and {items[-1]}"

classiq/model_expansions/visitors/symbolic_param_inference.py

@@ -73,7 +73,6 @@ class SymbolicParamInference(ModelVisitor):
             else nameables_to_dict(additional_signatures)
         )
         self._inferred_funcs: set[str] = set()
-        self._call_stack: list[str] = []
         self._scope: Mapping[str, ClassicalType] = {}
         self._scope_operands: dict[str, QuantumOperandDeclaration] = {}
 
@@ -81,9 +80,6 @@ class SymbolicParamInference(ModelVisitor):
         for func in self._functions.values():
             self._infer_func_params(func)
 
-    def _is_recursive_call(self, func: str) -> bool:
-        return func in self._call_stack
-
     @contextmanager
     def function_context(
         self,
@@ -91,8 +87,6 @@ class SymbolicParamInference(ModelVisitor):
         scope: Mapping[str, ClassicalType],
         scope_operands: dict[str, QuantumOperandDeclaration],
     ) -> Iterator[None]:
-        if func_name is not None:
-            self._call_stack.append(func_name)
         prev_scope = self._scope
         self._scope = scope
         prev_scope_ops = self._scope_operands
@@ -100,12 +94,11 @@ class SymbolicParamInference(ModelVisitor):
         yield
         self._scope = prev_scope
         self._scope_operands = prev_scope_ops
-        if func_name is not None:
-            self._call_stack.pop()
 
     def _infer_func_params(self, func: NativeFunctionDefinition) -> None:
         if func.name in self._inferred_funcs:
             return
+        self._inferred_funcs.add(func.name)
         scope = {param.name: param.classical_type for param in func.param_decls}
         scope_operands = func.operand_declarations_dict
         with self.function_context(func.name, scope, scope_operands):
@@ -114,7 +107,6 @@ class SymbolicParamInference(ModelVisitor):
                     self._process_compile_time_expression(expr.expr)
             self._set_enums_generative(func)
             self.visit(func.body)
-        self._inferred_funcs.add(func.name)
 
     def _set_enums_generative(self, decl: AnonQuantumFunctionDeclaration) -> None:
         for param in decl.positional_arg_declarations:
@@ -144,9 +136,6 @@ class SymbolicParamInference(ModelVisitor):
 
     def visit_QuantumFunctionCall(self, call: QuantumFunctionCall) -> None:
         self._process_compile_time_expressions(call.function)
-        name = call.func_name
-        if self._is_recursive_call(name):
-            return  # Recursion is not fully supported
         params = self._get_params(call)
         for param, arg in zip_longest(params, call.positional_args):
             if (

classiq/qmod/builtins/classical_execution_primitives.py

@@ -1,8 +1,8 @@
 from typing import Final, Optional, Union
 
+from classiq.interface.applications.iqae.iqae_result import IQAEResult
 from classiq.interface.exceptions import ClassiqError
 from classiq.interface.executor.execution_preferences import QaeWithQpeEstimationMethod
-from classiq.interface.executor.iqae_result import IQAEResult
 from classiq.interface.executor.result import (
     EstimationResult,
     EstimationResults,

classiq/qmod/qmod_variable.py

@@ -103,6 +103,9 @@ def _infer_variable_name(name: Any, depth: int) -> Any:
     return name
 
 
+_SYMBOLIC_TYPES = tuple(get_origin(t) or t for t in get_args(SymbolicTypes))
+
+
 class QVar(Symbolic):
     CONSTRUCTOR_DEPTH: int = 1
 
@@ -218,7 +221,7 @@ class QScalar(QVar, SymbolicExpr):
         )
 
     def __ior__(self, other: Any) -> Self:
-        if not isinstance(other, get_args(SymbolicTypes)):
+        if not isinstance(other, _SYMBOLIC_TYPES):
             raise TypeError(
                 f"Invalid argument {other!r} for out-of-place arithmetic operation"
             )
@@ -229,7 +232,7 @@ class QScalar(QVar, SymbolicExpr):
         return self
 
     def __ixor__(self, other: Any) -> Self:
-        if not isinstance(other, get_args(SymbolicTypes)):
+        if not isinstance(other, _SYMBOLIC_TYPES):
             raise TypeError(
                 f"Invalid argument {other!r} for in-place arithmetic operation"
             )
@@ -240,7 +243,7 @@ class QScalar(QVar, SymbolicExpr):
         return self
 
     def __iadd__(self, other: Any) -> Self:
-        if not isinstance(other, get_args(SymbolicTypes)):
+        if not isinstance(other, _SYMBOLIC_TYPES):
             raise TypeError(
                 f"Invalid argument {other!r} for in-place arithmetic operation"
             )
@@ -251,7 +254,7 @@ class QScalar(QVar, SymbolicExpr):
         return self
 
     def __imul__(self, other: Any) -> Self:
-        if not isinstance(other, get_args(SymbolicTypes)):
+        if not isinstance(other, _SYMBOLIC_TYPES):
             raise TypeError(
                 f"Invalid argument {other!r} for out of ampltiude encoding operation"
             )

classiq/qmod/utilities.py

@@ -20,6 +20,7 @@ from typing import (
     overload,
 )
 
+import sympy
 from typing_extensions import ParamSpec
 
 from classiq.interface.generator.expressions.proxies.classical.qmod_struct_instance import (
@@ -101,6 +102,9 @@ def get_source_ref(frame: FrameType) -> SourceReference:
 
 
 def qmod_val_to_expr_str(val: Any) -> str:
+    if isinstance(val, sympy.Basic):
+        return str(val)
+
     if dataclasses.is_dataclass(type(val)):
         kwargs_str = ", ".join(
             [

{classiq-0.77.0.dist-info → classiq-0.78.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: classiq
-Version: 0.77.0
+Version: 0.78.0
 Summary: Classiq's Python SDK for quantum computing
 License: Proprietary
 Keywords: quantum computing,quantum circuits,quantum algorithms,QAD,QDL

{classiq-0.77.0.dist-info → classiq-0.78.0.dist-info}/RECORD

@@ -63,6 +63,8 @@ classiq/applications/combinatorial_optimization/examples/__init__.py,sha256=A0-j
 classiq/applications/finance/__init__.py,sha256=t3HcLC2xqNtcRhYW6GAtfxPIeFceFDAmN7pjD4h-vAQ,260
 classiq/applications/hamiltonian/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/applications/hamiltonian/pauli_decomposition.py,sha256=2yBve2bpPMKo5KcYk8Pe67-oU30O78K3wzeJPg1R1GY,3968
+classiq/applications/iqae/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+classiq/applications/iqae/iqae.py,sha256=Shp0s1zGqjk120vcXZh-KB_vj6IBkU7n6qPi_05cK84,7346
 classiq/applications/qnn/__init__.py,sha256=_DQQo81JQ-LR0VY2AooqpRMj9ej9ubZfVl6ESoBPoqE,433
 classiq/applications/qnn/circuit_utils.py,sha256=QWRYnHhDgbFuEQIUYhFfShNFGgbsIB-ZcLkubztLsZQ,4345
 classiq/applications/qnn/datasets/__init__.py,sha256=HRQHIXGZOYqa4tIwUR3o31GiWVCtJOGW2xGV-gKAqUo,812
@@ -81,7 +83,7 @@ classiq/applications/qnn/types.py,sha256=mDElTam102OolLt1KWrVHZPW_9jNTUyhohJLEN-
 classiq/applications/qsvm/__init__.py,sha256=ctM9hllKY9zuc3Ps8YgLBrDXgPInJNwJ3nVpTurs8MY,191
 classiq/applications/qsvm/qsvm.py,sha256=vuc7TDHcxN9VvPRDufRmXcIVHkCpzjz2QuY48WJN6Is,177
 classiq/applications/qsvm/qsvm_data_generation.py,sha256=BIXBAxYNAvwZi1pVQJeSPTa5b5CTRaejuAlBgyy3d9E,1604
-classiq/execution/__init__.py,sha256=Xo0rp4UfoJvSvvYzavHMdichKObQtJ4pmZ0qVzlKX9c,1270
+classiq/execution/__init__.py,sha256=2rC4VBnX4oPAqOCWeIlTOmkwcy7UHG4PfYrW1qhzFPE,1279
 classiq/execution/all_hardware_devices.py,sha256=KpLefEISE03FDdgFPGggXeG7NAxBW4090gN4272Dl-E,368
 classiq/execution/execution_session.py,sha256=8a9I7h87Cpa6WfddQcK5uCyQm3_Z9grfe1yyO-Gsrec,16536
 classiq/execution/iqcc.py,sha256=fG92ZwgZl_tAih0vndZpIKksVCQuLTk5pJy2X4LRkxA,4298
@@ -90,12 +92,15 @@ classiq/execution/qnn.py,sha256=BjwJw0LXr_I_eeZuXrFTpNVcs6pFBCvzsys8ZraRZZg,2373
 classiq/execution/user_budgets.py,sha256=FY21S7fh6KwBFw5YcZhzWzIktIMifMOLc-fO772EmxE,1184
 classiq/executor.py,sha256=uLr1640-DZtdPP0T6fCsmUf1Jj7QPumyoE09mJ8lVo0,2308
 classiq/interface/__init__.py,sha256=cg7hD_XVu1_jJ1fgwmT0rMIoZHopNVeB8xtlmMx-E_A,83
-classiq/interface/_version.py,sha256=jI4kviCOmRh93vreuj-hTR8EP_FmR1Kg8OljaxaN4mY,197
+classiq/interface/_version.py,sha256=7b0-sxTat2hycP0f6hJtGISfdQDM0BEDAI7Jzel9jbo,197
 classiq/interface/analyzer/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/interface/analyzer/analysis_params.py,sha256=dM5rwSks798cxk4FWe4_X5ToRYtgZQh34F1u0XrFkK8,3881
 classiq/interface/analyzer/cytoscape_graph.py,sha256=MpeRBIYS1TfwYwiFpgTO51IE0KoxhY510pmEM3S0rbw,2361
 classiq/interface/analyzer/result.py,sha256=CJhZ7Q_VUCyKS1ivtyD9l9534efjEUY6C6Wwrb3kXak,5872
 classiq/interface/applications/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+classiq/interface/applications/iqae/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+classiq/interface/applications/iqae/generic_iqae.py,sha256=IdbdB3vJ6kUe2exSaHuSf-DtVZ_O9W_nQ3Oz0CAzR7I,8227
+classiq/interface/applications/iqae/iqae_result.py,sha256=S13A_mQKRTBaqO2NKJEJlgLl06I2Fz_C6F_4Xlp4fzQ,1770
 classiq/interface/applications/qsvm.py,sha256=4dHVSZH--sv58SvxmpDHPh9JDr4qQUZbbGCeaEv6b1I,3408
 classiq/interface/ast_node.py,sha256=-X3lke3c2Wm0fGDupj0g4cGfuRmLv4hA4EjLsJ1dHqE,941
 classiq/interface/backend/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -138,7 +143,7 @@ classiq/interface/combinatorial_optimization/solver_types.py,sha256=kcLt80fQucq_
 classiq/interface/compression_utils.py,sha256=rX4sD4_8C-liWqBICuE6VaT38yjUK_FneSA5GUmPF2A,973
 classiq/interface/debug_info/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/interface/debug_info/back_ref_util.py,sha256=plWBiBMfFIY6aYAR3NVYComsY394ysLVdk_yFy1qcC4,791
-classiq/interface/debug_info/debug_info.py,sha256=uyYEk2sqJRy5uH9mj2kImmtyH8YD_Lyg651NvWYLVD8,4603
+classiq/interface/debug_info/debug_info.py,sha256=mX-P1k-YAyDBZ8xMuKPBauzoMFGSxPYfL_LQ3kju-zE,4753
 classiq/interface/enum_utils.py,sha256=QxkxLGgON8vdSzLZzHFlPEBJoGOqoIwpESEfLfRqN0w,312
 classiq/interface/exceptions.py,sha256=fXl3esnLP03zds09BLxIJSN4aIwx2PVPX0Do8awfLjg,4418
 classiq/interface/execution/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -151,14 +156,13 @@ classiq/interface/executor/constants.py,sha256=DtSx-1HArWE0hHjOZHY9WJBevt3hP7M8S
 classiq/interface/executor/estimation.py,sha256=lJEmN3Uj9bW0EY7JEZvzItwEybbBHSn7zYFz89L8fqo,389
 classiq/interface/executor/execution_preferences.py,sha256=Tnd9yS42Nk28f8Ds78lC-b8ohwwOLvcqwaBVVHw1OPE,2931
 classiq/interface/executor/execution_request.py,sha256=bf5qEF4eeb2UQ2DIriW-DBTRmPcDYiWs9QsfmzyhYEg,2441
-classiq/interface/executor/execution_result.py,sha256=56wymbRd8ukd5QCgZ4o41MAnBHVMhBCNkxlt-zlw7_g,2867
-classiq/interface/executor/iqae_result.py,sha256=mCjbLTd4vtFOkvEEUfcSp3569wGzQOvFpZO4KKaLnmU,565
+classiq/interface/executor/execution_result.py,sha256=z_D0KpnxKelnkxg6b1WkTWRbLZI7Dm7Q5juNWWdIZx0,2876
 classiq/interface/executor/optimizer_preferences.py,sha256=koqBO5YDzO3iBH71a8oe4hK-ib8M1yUPWJbC_m-Nzn4,4427
 classiq/interface/executor/quantum_code.py,sha256=jA-4hIw5nydv7TcDZ4xPI0YP-FiSa_52SieyYjJkVHI,4258
 classiq/interface/executor/quantum_instruction_set.py,sha256=z6i6jWsXjatmyrTJW6t9XjQrO6scRgmfV1Oi2xEEu1A,592
 classiq/interface/executor/register_initialization.py,sha256=-dkivVSDkkLGkIdu0L5VaONhPCRp_JE42LiAZuHUK7k,1365
 classiq/interface/executor/result.py,sha256=aBpMCHExTCgcx9y8akMv6ZQ2re4cmzdlrTBVSUBgyz4,12249
-classiq/interface/executor/user_budget.py,sha256=h8bapLl9Uk40QZquw93pPLKMzzdwQRCe7NXleR5zUEE,1775
+classiq/interface/executor/user_budget.py,sha256=62ANvoQ3txLldIe9lR6bxc6CgOGwWQEhA9I-8B4Qvnc,1775
 classiq/interface/executor/vqe_result.py,sha256=cH66jBbZVhyU5Ud4WeoC1eKeX15aO60phEXWFrilc4E,2324
 classiq/interface/finance/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/interface/finance/finance_modelling_params.py,sha256=dmJscMXugQsBRoFd4HFtrTU8gsuZJ6sS51R4crC-PKE,347
@@ -227,7 +231,7 @@ classiq/interface/generator/expressions/handle_identifier.py,sha256=Vf1EsfzkW3tB
 classiq/interface/generator/expressions/non_symbolic_expr.py,sha256=9JzU1y6oYmDjZyZLjDQNA81X3p1Z7CGzweN6WeFAcY8,4036
 classiq/interface/generator/expressions/proxies/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/interface/generator/expressions/proxies/classical/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-classiq/interface/generator/expressions/proxies/classical/any_classical_value.py,sha256=NteWZ2pECDFPdsaHwVXkkOQANGnnhAvAZgiIXAzDeyU,1160
+classiq/interface/generator/expressions/proxies/classical/any_classical_value.py,sha256=J5y_Gz4NvkUfSslcM7beBxgzyncVeUacf_5XkYIejyM,1370
 classiq/interface/generator/expressions/proxies/classical/classical_array_proxy.py,sha256=6VRR_ghELgvFeF1KCLlyxCFGK490iDaIB5KymIgYJsM,3459
 classiq/interface/generator/expressions/proxies/classical/classical_proxy.py,sha256=2FQ5d37i2BxzfTG1HrboxhUaYxH6MFKAD-Gw-ojd6Rg,691
 classiq/interface/generator/expressions/proxies/classical/classical_scalar_proxy.py,sha256=S0ydGd4QN5x3zCqTwkj5-cOBJzjeJo0-C4JEcU3bteg,1059
@@ -257,7 +261,7 @@ classiq/interface/generator/functions/port_declaration.py,sha256=ESJE_19jOg_zS1r
 classiq/interface/generator/functions/qmod_python_interface.py,sha256=x8GA4Cr6YyfC6prGXv0A0I9G9GSnLHNito2nfN1GZDI,93
 classiq/interface/generator/functions/type_name.py,sha256=HBUN_GBRb8Qy2Q7C68oJJ92UelcxoeuWGrJ_l80rXCQ,5351
 classiq/interface/generator/functions/type_qualifier.py,sha256=I_G_W3oHLGLj-aavtKRAdObb4V37ESGLSwXMs-S9xuQ,892
-classiq/interface/generator/generated_circuit_data.py,sha256=qaZxXAJDlqPXEnZtB7V_iwDzGdbxlYNjnjazC5NT7tI,13193
+classiq/interface/generator/generated_circuit_data.py,sha256=9FRNF_qqYhPJYDagItBu4Fwl4RDLRasVHp8WcD6O3kw,13565
 classiq/interface/generator/grover_diffuser.py,sha256=c52p2_hpjBO0qUDsqFMQ_xffBIDPJlrfz3kIy2Mh2Gk,3750
 classiq/interface/generator/grover_operator.py,sha256=_VzBJ3qO0O0MJzsHf8LF7_ooXnsz1p_I5rjQQFf1Ptg,4119
 classiq/interface/generator/hadamard_transform.py,sha256=NI4oZBpDCGfaw2OTb5SL3iSGI_nDtyUgElTCO4pEKnk,673
@@ -356,7 +360,7 @@ classiq/interface/helpers/validation_helpers.py,sha256=Jt0xs5EZeEQZOBEZPRmKctHmA
 classiq/interface/helpers/versioned_model.py,sha256=ttIxi5oRkISFtTlVXU47gcamqE3hWr1YGSkS2ZQ8Y_o,677
 classiq/interface/ide/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/interface/ide/ide_data.py,sha256=TtFsBttR7L34DeRx4NaswpdyMqEyAuguEWSvGXfZtZs,2504
-classiq/interface/ide/visual_model.py,sha256=nnauOxOCJrWmc_W0Qtn7RoXlXYY3dPxr_ZPNCtHDaaE,3274
+classiq/interface/ide/visual_model.py,sha256=RLPP3BC__hBiP4oGgVMvTCecM6NH0BI031WexpJor40,3364
 classiq/interface/interface_version.py,sha256=csY-m7d0lTVBwoAgRdxkF7BShGGlSfQspVK3WF2J8cE,25
 classiq/interface/jobs.py,sha256=i8hrBR2qtptCbxNI-PVYZedH_EDehOe2i09JbJUlD1g,2339
 classiq/interface/model/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -405,11 +409,11 @@ classiq/model_expansions/atomic_expression_functions_defs.py,sha256=DW9zbtmeNWaT
 classiq/model_expansions/capturing/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/model_expansions/capturing/captured_vars.py,sha256=mAFfKhSDYDeyi_O6R_qKqyRHELFtaVPBhDSfcJTr0PU,27547
 classiq/model_expansions/capturing/mangling_utils.py,sha256=wfCsjP0pScZv9YP6JXq3oVhkS-lCFyUoZ9IROBHS3Ek,1858
-classiq/model_expansions/closure.py,sha256=yfKKAeNG94me1TgA1ywifX9bjLKcax2o5GVbmzoDhuU,5707
+classiq/model_expansions/closure.py,sha256=e0jdnKZjKyyIjKLYrVMqdO_7umDKj4hV72gLZL48bHQ,3625
 classiq/model_expansions/debug_flag.py,sha256=JWzl9FFq2CLcvTg_sh-K8Dp_xXvewsTuFKhPjTCrsrs,107
 classiq/model_expansions/evaluators/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/model_expansions/evaluators/arg_type_match.py,sha256=vri_cwnCv1E3Tmk2XOXjYvhqKJHU18upxNbkv2d7xBU,6155
-classiq/model_expansions/evaluators/argument_types.py,sha256=idaRKTDHbOW6sVc4S5aX7YFVAmRIh2eeCZR_81imaIk,1489
+classiq/model_expansions/evaluators/argument_types.py,sha256=pHCLWtc3EV9BaOoPDqwerjK5C3LjKTLPoeR0UQCnbbA,1462
 classiq/model_expansions/evaluators/classical_expression.py,sha256=BzPhVpgnsZUjp8RiNDdjTo4QXDmrpcwZE32rLwiCT9U,1371
 classiq/model_expansions/evaluators/classical_type_inference.py,sha256=fUEx0HXU3NK37HxeByxSI0iuYdf1WcdOpWc-9DH-jnM,3013
 classiq/model_expansions/evaluators/control.py,sha256=rFSP5kuQZfh0OPMuf0OmiDVlX_c0stl2mKX4tnIhAHA,4110
@@ -417,11 +421,11 @@ classiq/model_expansions/evaluators/parameter_types.py,sha256=Mvfx3gWAorgu9o8Rad
 classiq/model_expansions/evaluators/quantum_type_utils.py,sha256=s2kqPenO3qaJsiVa1bo5t4cpJ-MZeRqlVvM9TXPtyBI,7729
 classiq/model_expansions/evaluators/type_type_match.py,sha256=zo4ijsgtPNBbxBW6r3p7emDJr3LJi-P4YoiArpE5TbA,3256
 classiq/model_expansions/expression_evaluator.py,sha256=zMGmVvBvItaz_rX3XqFLrkDZiDkODa_dIl796rFgr1U,4790
-classiq/model_expansions/function_builder.py,sha256=a_IYyeqAYIZLDdw14hPnGwtNK59UK80d9Uax-PzZTSs,10534
+classiq/model_expansions/function_builder.py,sha256=oVmXhyEu6wr8Ru8LSxIqxwn9gdDoQ26SAPlNnYWCGMI,8697
 classiq/model_expansions/generative_functions.py,sha256=CefLLjnR16NGmf3l9Wt7u9jRaJMHRbwcqMrqQ-dBDSo,8075
 classiq/model_expansions/interpreters/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-classiq/model_expansions/interpreters/base_interpreter.py,sha256=mLwlApyqeDA_JVM020ubLQw6FgU_Iyp6opwnloMwlYY,12063
-classiq/model_expansions/interpreters/frontend_generative_interpreter.py,sha256=DR2jQC_17WEEcRkbleoQA6J9SMyjPZAcJ7tc71lzKJc,4918
+classiq/model_expansions/interpreters/base_interpreter.py,sha256=8l-52QAK-_DfoIGjDf47tsO1STcY5ltkyjJryf_sU9U,11986
+classiq/model_expansions/interpreters/frontend_generative_interpreter.py,sha256=-IZ7cs9gZOY93h_lsAiTQ_gnrQc-2rymoyPgaUcTuxk,4283
 classiq/model_expansions/interpreters/generative_interpreter.py,sha256=83EPG50ffb3qeciloij1OKODl1w2nLSmSkzacmhi6fw,12675
 classiq/model_expansions/model_tables.py,sha256=dlrOGRS2x4Fd_dzClIcV7V8edmbbQzePv9eqxtJQrpo,620
 classiq/model_expansions/quantum_operations/__init__.py,sha256=iLROXHuWaYKWPYJHUM_6uRNKa9-I7oDPYn1yqYFpYgM,309
@@ -431,16 +435,17 @@ classiq/model_expansions/quantum_operations/arithmetic/explicit_boolean_expressi
 classiq/model_expansions/quantum_operations/assignment_result_processor.py,sha256=UMWZQs9ey5kak7SLuUWfubdwjqYX881hMuxGcP50bTM,10792
 classiq/model_expansions/quantum_operations/bind.py,sha256=kuP09XoNw61eTBpsB9WO5zFEB09HhBYeftaABHsI3AA,5452
 classiq/model_expansions/quantum_operations/block_evaluator.py,sha256=06EYOb5CVDUvqYXKk-s-rcoY3rQ2Dr2XWUkqNzT0N0w,4734
-classiq/model_expansions/quantum_operations/call_emitter.py,sha256=ZJOIrlEfFnyDAyNQfU7wPgMB_Kyq7_nXILELx649A9A,15047
+classiq/model_expansions/quantum_operations/call_emitter.py,sha256=AM6NHTKEMAecjk-MoZHNYoB8_ne8WecwSiMG2yR5ikQ,16978
 classiq/model_expansions/quantum_operations/composite_emitter.py,sha256=AQp3cYaUUA7eEKNwmZwIq1KEdDlTKRaXiop9pXxSVZg,815
 classiq/model_expansions/quantum_operations/declarative_call_emitter.py,sha256=IHCS_jqmKcFNSyVCj5MYAe86LZKaf1vEAFTYaLAjVIs,3641
-classiq/model_expansions/quantum_operations/emitter.py,sha256=oXjzX3pfDPTSnt0RQxK4eud8RE0cSm4RBXrnV5gUkRY,9736
+classiq/model_expansions/quantum_operations/emitter.py,sha256=E2-5curYQ9i83jK3UkKrqX6zxkcuBzd89x91RjiRLXU,9953
 classiq/model_expansions/quantum_operations/expression_evaluator.py,sha256=X3hzj4SxCz100t06ot8Xvl7oqlccRIl6f_HSa0XM9kc,1579
+classiq/model_expansions/quantum_operations/function_calls_cache.py,sha256=nEcAmAllBbHacEu6V2IbwjY_IHy5cITRiYcLmzBq0XA,2969
 classiq/model_expansions/quantum_operations/handle_evaluator.py,sha256=ML3xQ_Z9yNDkf8dncoWQzEr5O8EM6CyVof52QM0Zu1U,1107
 classiq/model_expansions/quantum_operations/quantum_function_call.py,sha256=A_1wfeUNhVWEmziamCMdCJr3gvjdoNFjY4gvUepLuo4,3481
 classiq/model_expansions/quantum_operations/repeat_block_evaluator.py,sha256=kV6quFtPq8YFrYqM5JrERxDRYJrjJOBueTvNOu-qAgc,1412
 classiq/model_expansions/quantum_operations/variable_decleration.py,sha256=y9wcBFKXxcBd-YkAnNSn_1cQr9fuUoJzOtBgUlbDmrs,1672
-classiq/model_expansions/scope.py,sha256=fux2b7XfkbYae7dGUscMi7GTtCwBnntTOr4hoNdp9xY,10084
+classiq/model_expansions/scope.py,sha256=uD3mXIv4QuGbYxhnNY_HSEFgKcndsQCodGopMm_vifM,10672
 classiq/model_expansions/scope_initialization.py,sha256=5WEqxrW1WdHJEsjw3t7gWzhQrbqyj5HhooyGb1uBgDE,5872
 classiq/model_expansions/sympy_conversion/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/model_expansions/sympy_conversion/arithmetics.py,sha256=ljvzVBdVm-IkzNuKVZBnvnLDuDgg7ese3sfVzNx2PZk,1524
@@ -449,15 +454,16 @@ classiq/model_expansions/sympy_conversion/sympy_to_python.py,sha256=03fkNV_GvsUU
 classiq/model_expansions/transformers/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/model_expansions/transformers/ast_renamer.py,sha256=Ve3ix6u_xbbxqU2SF0Z4F0-4oIhN8lyUPID1O387C-U,806
 classiq/model_expansions/transformers/model_renamer.py,sha256=eQ1XLcUp4MNtIvKxJgKxg8Qe-ayl7TXRqB9vEX05YUg,5600
+classiq/model_expansions/transformers/type_qualifier_inference.py,sha256=heDDer7eLnkFLH_XXkFtDJXgy3OjaI64PVeH-FBkAX4,7758
 classiq/model_expansions/transformers/var_splitter.py,sha256=lojo3zHj4B78g2oJlYfjrnpRdlNbKMtZ5dx9q5HlubM,7871
 classiq/model_expansions/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/model_expansions/utils/counted_name_allocator.py,sha256=9LPLBm-4ZrpC_0r1rbogyF11FnLaGCUyzwWpcBJoSmA,297
 classiq/model_expansions/utils/handles_collector.py,sha256=PG18tyg7x8n8gZYC1MzY8WSPwYCThNNY92VezvKEVCM,1182
 classiq/model_expansions/utils/sympy_utils.py,sha256=nfmAj2r5NawLlANA5M2IkN3PmQoxNAYYPdaxz79uoEE,682
-classiq/model_expansions/utils/text_utils.py,sha256=rVYVPHLmnmEhsDXwn-90AEaznDyuYRf1kBhD0TMHuls,373
+classiq/model_expansions/utils/text_utils.py,sha256=oejtcnOrRzwYpFKPccUnwxRoEuElFkbWlRf0w8f5YVg,491
 classiq/model_expansions/visitors/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/model_expansions/visitors/boolean_expression_transformers.py,sha256=a8ITXY48uROZFd9MF8tXdXs14Uxh8XbBpuvRXvRehjY,8067
-classiq/model_expansions/visitors/symbolic_param_inference.py,sha256=qe99m_8eOXw82uLMMxWpewthNJMYKDisf9ev2ztPTlY,8111
+classiq/model_expansions/visitors/symbolic_param_inference.py,sha256=ye8ES6g_F6gpgklAp37W-e26OwG3Ik8WNflBxkPTWPk,7699
 classiq/model_expansions/visitors/variable_references.py,sha256=EL-xSJW7DZ00lA7cGZkFVwGRQSYnS_th6EwIIM1sruk,6817
 classiq/open_library/__init__.py,sha256=bmg_qqXCXo85hcU7_QCce-qYGrpAVSFNwTKCClsclrg,114
 classiq/open_library/functions/__init__.py,sha256=Xf4XbgHLZphUO5Qw6v5kIi3_fW77jidivjmoHDa3qe8,3358
@@ -480,7 +486,7 @@ classiq/open_library/functions/variational.py,sha256=KYoqPKYRjgUXk_10RvogV0YiCG5
 classiq/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/qmod/__init__.py,sha256=EdKNMC5UuMGpjnnEBuGWVN1lLDNlJVUsxEsHqbJrGB8,882
 classiq/qmod/builtins/__init__.py,sha256=pYNdaroGuxuXRPX3oHdwGoF5sCfHSqU9IG3uuenCmT8,1206
-classiq/qmod/builtins/classical_execution_primitives.py,sha256=Qlh1w6C8EChgX2iDnQvuf9hKxw4dBwCKsOcbwyniobc,3232
+classiq/qmod/builtins/classical_execution_primitives.py,sha256=ok1E8ezEkhVM_kJGzoFXxGUJ3IvLaQ-vrCbpGOQBGQQ,3241
 classiq/qmod/builtins/classical_functions.py,sha256=OglbvAIiL0SiegxVqsvFi-fFz-PfDaT_GYC_z-u5vUw,2256
 classiq/qmod/builtins/constants.py,sha256=FURSVt0dlIAw_xkGMyj89z4eub7vUdvUrPzaLTGUQxk,222
 classiq/qmod/builtins/enums.py,sha256=2mjLKd0vthY42r4LhNUMnjEVVYxznDuE1HOIfLRyYmk,3431
@@ -516,7 +522,7 @@ classiq/qmod/python_classical_type.py,sha256=tbdgzF8IrkF0Z9BMnBey2uk5khg4yaDAjda
 classiq/qmod/qfunc.py,sha256=islHk7znWoB5kqHLURHFrDEpRvDB3hb6YVaKATHC0Mo,3532
 classiq/qmod/qmod_constant.py,sha256=U01qRjD8e4tJ83cTeLfD7ndIyXoZu3CrJdlES-iwFAE,5202
 classiq/qmod/qmod_parameter.py,sha256=3WYO11-F8dmbZKqTokmKxzehLdb-aEPYwyiDcAFbbQ0,4554
-classiq/qmod/qmod_variable.py,sha256=H0DFV3oWaiqfSlOVpBDczNUbUIvKsOsiVUsBc_9GIuI,25917
+classiq/qmod/qmod_variable.py,sha256=wK5LrILn6wKfizR9V7rrejCw7PPGRjnl8Bol_hHCQLY,25964
 classiq/qmod/quantum_callable.py,sha256=RifbkZEmZ4COOHfluPD2jfd-qYSda2ytW173diR3tI4,2501
 classiq/qmod/quantum_expandable.py,sha256=-uohubbObpg8SVI7e-3wAJso-xgZ0slfAqlOvV1QZ_E,18647
 classiq/qmod/quantum_function.py,sha256=At5PR0oUwdEx-QVHv3Aul3JGSufJHLiwf_Rv2lW6TFo,13345
@@ -540,10 +546,10 @@ classiq/qmod/symbolic.py,sha256=DNjPwoCkDa6uZ8VQ58Ygx47dK89gFcjBjBAY5Gzx8FM,7981
 classiq/qmod/symbolic_expr.py,sha256=RZkqJqaydahlOW4Qcf5Zvj9FrxPpwxT-YCZUonYA-mI,7424
 classiq/qmod/symbolic_type.py,sha256=ded7bVfWmHFw8MoyivVDJsG5vZZVRQontOZYb1kCrTQ,162
 classiq/qmod/type_attribute_remover.py,sha256=NZmTXAsngWqthXjE8n-n6yE72fiWTFM12-TXXJ1kJ-Q,1242
-classiq/qmod/utilities.py,sha256=XoB9JU6Vn4p8ZirrUUaP-UpOInm3jwuuYjB6R_V3XLo,5467
+classiq/qmod/utilities.py,sha256=SV0NO4vLtQEzObSK1isrPjb4355tdUkclM5GGcME__A,5542
 classiq/qmod/write_qmod.py,sha256=QddTcpXsjLahq3ZATGTIKZW3aj99RtG6MPUHZTKaw38,3508
 classiq/synthesis.py,sha256=nP8lMJ5FqCuR8tJoOgrytm7lRsKtWbXW6mooDfgJxFI,8650
 classiq/visualization.py,sha256=q-GepvUJf2-tDqof0isaNwWAlf3W3_1dxvlsak1U0ng,983
-classiq-0.77.0.dist-info/METADATA,sha256=znkdzc0JaIqxKIcP-F_nAW6ywTIBISinyA_wC5jySXI,3382
-classiq-0.77.0.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
-classiq-0.77.0.dist-info/RECORD,,
+classiq-0.78.0.dist-info/METADATA,sha256=rR6BcsP9FD-byHIVPlZM_iUDwZTaWJ-o6qvitdrZNeY,3382
+classiq-0.78.0.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
+classiq-0.78.0.dist-info/RECORD,,

classiq/interface/executor/iqae_result.py

@@ -1,17 +0,0 @@
-from pydantic import BaseModel, Field
-
-from classiq.interface.executor.result import ExecutionDetails
-from classiq.interface.generator.functions.classical_type import QmodPyObject
-from classiq.interface.helpers.versioned_model import VersionedModel
-
-
-class IQAEIterationData(BaseModel):
-    grover_iterations: int
-    sample_results: ExecutionDetails
-
-
-class IQAEResult(VersionedModel, QmodPyObject):
-    estimation: float
-    confidence_interval: list[float] = Field(min_length=2, max_length=2)
-    iterations_data: list[IQAEIterationData]
-    warnings: list[str]