classiq 0.81.0__py3-none-any.whl → 0.82.0__py3-none-any.whl

classiq/analyzer/show_interactive_hack.py

@@ -27,10 +27,16 @@ def is_classiq_studio() -> bool:
     return bool(os.environ.get("OPENVSCODE"))
 
 
-def get_app_url(data_id: DataID, circuit: QuantumProgram) -> str:
+def get_app_url(
+    data_id: DataID, circuit: QuantumProgram, include_query: bool = True
+) -> str:
     return urljoin(
         client_ide_base_url(),
-        circuit_page_uri(circuit_id=data_id.id, circuit_version=circuit.version),
+        circuit_page_uri(
+            circuit_id=data_id.id,
+            circuit_version=circuit.version,
+            include_query=include_query,
+        ),
     )
 
 
@@ -95,7 +101,7 @@ async def handle_remote_app(circuit: QuantumProgram, display_url: bool = True) -
 
     renderer = get_visualization_renderer()
     if display_url:
-        app_url = get_app_url(circuit_dataid, circuit)
+        app_url = get_app_url(circuit_dataid, circuit, include_query=False)
         print(f"Quantum program link: {app_url}")  # noqa: T201
     await renderer(circuit_dataid, circuit)
 
@@ -111,7 +117,7 @@ async def _show_interactive(self: QuantumProgram, display_url: bool = True) -> N
             Whether to print the url
 
     Links:
-        [Visualization tool](https://docs.classiq.io/latest/reference-manual/analyzer/quantum-program-visualization-tool/)
+        [Visualization tool](https://docs.classiq.io/latest/user-guide/analysis/quantum-program-visualization-tool/)
     """
     await handle_remote_app(self, display_url)
 

classiq/analyzer/url_utils.py

@@ -24,8 +24,9 @@ def circuit_page_search_params(circuit_version: str) -> str:
     )
 
 
-def circuit_page_uri(circuit_id: str, circuit_version: str) -> str:
+def circuit_page_uri(circuit_id: str, circuit_version: str, include_query: bool) -> str:
     url = urljoin(f"{routes.ANALYZER_CIRCUIT_PAGE}/", circuit_id)
-    query_string = circuit_page_search_params(circuit_version)
-    url += QUERY_START_MARK + query_string
+    if include_query:
+        query_string = circuit_page_search_params(circuit_version)
+        url += QUERY_START_MARK + query_string
     return url

classiq/applications/qnn/qlayer.py

@@ -273,6 +273,6 @@ class QLayer(nn.Module):
             self._epsilon,
         )
 
-    def _cleanup(self) -> None:
+    def teardown(self) -> None:
         if hasattr(self, "_session"):
             self._session.close()

classiq/interface/_version.py

@@ -3,5 +3,5 @@ from packaging.version import Version
 # This file was generated automatically
 # Please don't track in version control (DONTTRACK)
 
-SEMVER_VERSION = '0.81.0'
+SEMVER_VERSION = '0.82.0'
 VERSION = str(Version(SEMVER_VERSION))

classiq/interface/backend/backend_preferences.py

@@ -30,9 +30,6 @@ class BackendPreferences(BaseModel):
     """
     Preferences for the execution of the quantum program.
 
-    For more details, refer to:
-    [BackendPreferences](https://docs.classiq.io/latest/reference-manual/python-sdk/?h=backend#classiq.Preferences.backend_preferences)
-
     Attributes:
         backend_service_provider (str): Provider company or cloud for the requested backend.
         backend_name (str): Name of the requested backend or target.

classiq/interface/executor/execution_preferences.py

@@ -29,7 +29,8 @@ class ExecutionPreferences(pydantic.BaseModel):
     Execution preferences for running a quantum program.
 
     For more details, refer to:
-    `ExecutionPreferences example: [ExecutionPreferences](https://docs.classiq.io/latest/reference-manual/executor/?h=execution+pref#execution-preferences)..
+    ExecutionPreferences example: [ExecutionPreferences](https://docs.classiq.io/latest/user-guide/execution/#execution-preferences)..
+
 
     Attributes:
         noise_properties (Optional[NoiseProperties]): Properties defining the noise in the quantum circuit. Defaults to `None`.

classiq/interface/generator/compiler_keywords.py

@@ -5,4 +5,4 @@ INPLACE_ARITH_AUX_VAR_PREFIX = "_tmp"
 
 
 def generate_original_function_name(name: str) -> str:
-    return name.split(f"_{EXPANDED_KEYWORD}")[0]
+    return name.split(f"_{LAMBDA_KEYWORD}")[0].split(f"_{EXPANDED_KEYWORD}")[0]

classiq/interface/generator/quantum_program.py

@@ -1,4 +1,5 @@
 import uuid
+import warnings
 from datetime import datetime, timezone
 from pathlib import Path
 from typing import Optional, Union
@@ -8,6 +9,7 @@ from typing_extensions import TypeAlias
 
 from classiq.interface.compression_utils import decompress
 from classiq.interface.exceptions import (
+    ClassiqDeprecationWarning,
     ClassiqMissingOutputFormatError,
     ClassiqStateInitializationError,
 )
@@ -72,6 +74,8 @@ class QuantumProgram(VersionedModel, CircuitCodeInterface):
     compressed_debug_info: Optional[bytes] = pydantic.Field(default=None)
     program_id: str = pydantic.Field(default_factory=get_uuid_as_str)
     execution_primitives_input: Optional[PrimitivesInput] = pydantic.Field(default=None)
+    synthesis_warnings: Optional[list[str]] = pydantic.Field(default=None)
+    should_warn: bool = pydantic.Field(default=False)
 
     def __str__(self) -> str:
         return self.model_dump_json(indent=2)
@@ -198,3 +202,12 @@ class QuantumProgram(VersionedModel, CircuitCodeInterface):
             FunctionDebugInfoInterface.model_validate(debug_info_dict)
             for debug_info_dict in decompressed_debug_info_dict_list
         ]
+
+    def raise_warnings(self) -> None:
+        """
+        Raises all warnings that were collected during synthesis.
+        """
+        if self.synthesis_warnings is None:
+            return
+        for warning in self.synthesis_warnings:
+            warnings.warn(warning, ClassiqDeprecationWarning, stacklevel=2)

classiq/interface/generator/types/compilation_metadata.py

@@ -1,10 +1,19 @@
-from pydantic import BaseModel, Field, NonNegativeInt
+from pydantic import BaseModel, Field, NonNegativeInt, PrivateAttr
 
 
 class CompilationMetadata(BaseModel):
     should_synthesize_separately: bool = Field(default=False)
     occurrences_number: NonNegativeInt = Field(default=1)
+    _occupation_number: NonNegativeInt = PrivateAttr(default=0)
     unchecked: list[str] = Field(default_factory=list)
     atomic_qualifiers: list[str] = Field(
         default_factory=list, exclude=True
-    )  # TODO remove after deprecation https://classiq.atlassian.net/browse/CLS-2671
+    )  # TODO remove after deprecation https://classiq.atlassian.net/browse/CLS-2671                                                                                                                                                                                       atomic_qualifiers: list[str] = Field(default_factory=list)
+
+    @property
+    def occupation_number(self) -> NonNegativeInt:
+        return self._occupation_number
+
+    @occupation_number.setter
+    def occupation_number(self, value: NonNegativeInt) -> None:
+        self._occupation_number = value

classiq/model_expansions/interpreters/base_interpreter.py

@@ -75,6 +75,8 @@ from classiq.qmod.utilities import qmod_val_to_expr_str
 
 
 class BaseInterpreter:
+    skip_type_modifier_validation: bool = False
+
     def __init__(self, model: Model) -> None:
         validate_model(model)
         self._model = model

classiq/model_expansions/quantum_operations/call_emitter.py

@@ -424,9 +424,9 @@ class CallEmitter(Generic[QuantumStatementT], Emitter[QuantumStatementT], VarSpl
         unchecked = self._functions_compilation_metadata.get(
             func_context.name, CompilationMetadata()
         ).unchecked
-        TypeQualifierValidation().run(
-            func_def.port_declarations, func_def.body, unchecked
-        )
+        TypeQualifierValidation(
+            skip_validation=self._interpreter.skip_type_modifier_validation
+        ).run(func_def.port_declarations, func_def.body, unchecked)
 
     @staticmethod
     def _should_override_type_qualifiers(func_context: FunctionContext) -> bool:

classiq/model_expansions/transformers/type_qualifier_inference.py

@@ -1,13 +1,17 @@
 import ast
 import functools
 import itertools
+import warnings
 from collections.abc import Collection, Iterator, Sequence
 from contextlib import contextmanager
 
 from classiq.interface.exceptions import (
-    ClassiqExpansionError,
+    ClassiqDeprecationWarning,
     ClassiqInternalExpansionError,
 )
+from classiq.interface.generator.functions.port_declaration import (
+    PortDeclarationDirection,
+)
 from classiq.interface.generator.functions.type_qualifier import TypeQualifier
 from classiq.interface.model.allocate import Allocate
 from classiq.interface.model.bind_operation import BindOperation
@@ -40,7 +44,21 @@ def _inconsistent_type_qualifier_error(
         f"The type modifier of variable '{port_name}' does not conform to the function signature: "
         f"expected '{expected.name}', but found '{actual.name}'.\n"
         f"Tip: If the final role of the variable in the function matches '{expected.name}', "
-        f"you may use the `unchecked` flag to instruct the compiler to disregard individual operations."
+        f"you may use the `unchecked` flag to instruct the compiler to disregard individual operations.\n"
+        # TODO add earliest date of enforcement. See https://classiq.atlassian.net/browse/CLS-2709.
+    )
+
+
+def _inconsistent_type_qualifier_in_binding_error(
+    expected: TypeQualifier, known_qualifiers: dict[str, TypeQualifier]
+) -> str:
+    actual = ", ".join(
+        f"{name}: {qualifier.name}" for name, qualifier in known_qualifiers.items()
+    )
+    return (
+        f"The variable binding has inconsistent type modifiers: "
+        f"Expected modifier: {expected.name}, Actual modifiers: {actual}"
+        # TODO add earliest date of enforcement. See https://classiq.atlassian.net/browse/CLS-2709.
     )
 
 
@@ -52,14 +70,21 @@ class TypeQualifierValidation(ModelVisitor):
     The function definition ports are modified inplace.
     """
 
-    def __init__(self, support_unused_ports: bool = True) -> None:
+    def __init__(
+        self, *, skip_validation: bool = False, support_unused_ports: bool = True
+    ) -> None:
         self._signature_ports: dict[str, PortDeclaration] = dict()
         self._inferred_ports: dict[str, PortDeclaration] = dict()
         self._unchecked: set[str] = set()
+
+        self._initialized_vars: dict[str, TypeQualifier] = dict()
+        self._bound_vars: list[set[str]] = []
+
         self._conjugation_context: bool = False
         self._support_unused_ports = (
             support_unused_ports  # could be turned off for debugging
         )
+        self._skip_validation = skip_validation
 
     @contextmanager
     def validate_ports(
@@ -72,9 +97,12 @@ class TypeQualifierValidation(ModelVisitor):
                 self._signature_ports[port.name] = port
         self._unchecked.update(unchecked)
 
-        yield len(self._inferred_ports) > 0 or any(
-            port.type_qualifier is not TypeQualifier.Quantum
-            for port in self._signature_ports.values()
+        yield len(self._inferred_ports) > 0 or (
+            any(
+                port.type_qualifier is not TypeQualifier.Quantum
+                for port in self._signature_ports.values()
+            )
+            and not self._skip_validation
         )
 
         self._set_unused_as_const()
@@ -115,19 +143,39 @@ class TypeQualifierValidation(ModelVisitor):
             )
             return
 
-        if candidate not in self._signature_ports or candidate in self._unchecked:
+        if self._skip_validation or candidate in self._unchecked:
             return
 
+        if candidate in self._signature_ports:
+            self._validate_signature_qualifier(candidate, qualifier)
+
+        elif candidate in self._initialized_vars:
+            self._initialized_vars[candidate] = TypeQualifier.and_(
+                self._initialized_vars[candidate], qualifier
+            )
+
+    def _validate_signature_qualifier(
+        self, candidate: str, qualifier: TypeQualifier
+    ) -> None:
         signature_qualifier = self._signature_ports[candidate].type_qualifier
         if signature_qualifier is not TypeQualifier.and_(
             signature_qualifier, qualifier
         ):
-            raise ClassiqExpansionError(
+            warnings.warn(
                 _inconsistent_type_qualifier_error(
                     candidate, signature_qualifier, qualifier
-                )
+                ),
+                ClassiqDeprecationWarning,
+                stacklevel=1,
             )
 
+    def _add_initialized_qualifier(self, var: str, qualifier: TypeQualifier) -> None:
+        if var in self._inferred_ports or var in self._signature_ports:
+            return
+        if self._conjugation_context and qualifier is TypeQualifier.QFree:
+            qualifier = TypeQualifier.Const
+        self._initialized_vars[var] = qualifier
+
     def run(
         self,
         ports: Collection[PortDeclaration],
@@ -137,59 +185,92 @@ class TypeQualifierValidation(ModelVisitor):
         with self.validate_ports(ports, unchecked) as should_validate:
             if should_validate:
                 self.visit(body)
+                self._update_bound_vars()
+
+    def _update_bound_vars(self) -> None:
+        merged_bound_vars = _merge_overlapping(self._bound_vars)
+        for bound_vars in merged_bound_vars:
+            reduced_qualifier = self._get_reduced_qualifier(bound_vars)
+            for var in bound_vars:
+                self._validate_qualifier(var, reduced_qualifier)
 
     def visit_QuantumFunctionCall(self, call: QuantumFunctionCall) -> None:
         for handle, port in call.handles_with_params:
             self._validate_qualifier(handle.name, port.type_qualifier)
+            if port.direction is PortDeclarationDirection.Output:
+                self._add_initialized_qualifier(handle.name, port.type_qualifier)
+
+        if self._has_inputs(call):
+            bound_vars = {
+                handle.name
+                for handle, port in call.handles_with_params
+                if port.direction is not PortDeclarationDirection.Inout
+            }
+            self._bound_vars.append(bound_vars)
+
+    @staticmethod
+    def _has_inputs(call: QuantumFunctionCall) -> bool:
+        return any(
+            port.direction is PortDeclarationDirection.Input
+            for _, port in call.handles_with_params
+        )
 
     def visit_Allocate(self, alloc: Allocate) -> None:
         self._validate_qualifier(alloc.target.name, TypeQualifier.QFree)
+        self._add_initialized_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._validate_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)
+        var_names = {
+            handle.name
+            for handle in itertools.chain(bind_op.in_handles, bind_op.out_handles)
+        }
+        self._bound_vars.append(var_names)
+        for handle in bind_op.out_handles:
+            self._add_initialized_qualifier(handle.name, TypeQualifier.Inferred)
+
+    def _get_reduced_qualifier(self, bound_vars: set[str]) -> TypeQualifier:
+        signature_qualifier = {
+            name: self._signature_ports[name].type_qualifier
+            for name in bound_vars.intersection(self._signature_ports)
         }
-        known_inferred_ports = {
-            name: self._inferred_ports[name]
-            for name in op_vars.intersection(self._inferred_ports)
+        known_inferred_qualifiers = {
+            name: self._inferred_ports[name].type_qualifier
+            for name in bound_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)
+        known_initialized_qualifiers = {
+            name: self._initialized_vars[name]
+            for name in bound_vars.intersection(self._initialized_vars)
+            if self._initialized_vars[name] is not TypeQualifier.Inferred
+        }
+        known_qualifiers = (
+            signature_qualifier
+            | known_inferred_qualifiers
+            | known_initialized_qualifiers
+        )
+        min_qualifier = self._get_min_qualifier(list(known_qualifiers.values()))
         if not all(
-            port.type_qualifier is min_qualifier for port in signature_ports.values()
+            type_qualifier is min_qualifier
+            for type_qualifier in signature_qualifier.values()
         ):
-            raise ClassiqInternalExpansionError(
-                f"Bind operation {bind_op} has inconsistent type qualifiers: "
-                f"{signature_ports}, {known_inferred_ports}"
+            warnings.warn(
+                _inconsistent_type_qualifier_in_binding_error(
+                    min_qualifier, known_qualifiers
+                ),
+                ClassiqDeprecationWarning,
+                stacklevel=1,
             )
 
         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:
+    def _get_min_qualifier(qualifiers: list[TypeQualifier]) -> TypeQualifier:
+        if len(qualifiers) == 0:
             return TypeQualifier.Const
-        elif len(known_ports) == 1:
-            return known_ports[0].type_qualifier
+        elif len(qualifiers) == 1:
+            return qualifiers[0]
         else:
-            return functools.reduce(
-                TypeQualifier.and_, (port.type_qualifier for port in known_ports)
-            )
+            return functools.reduce(TypeQualifier.and_, qualifiers)
 
     @staticmethod
     def _extract_expr_vars(expr_op: QuantumExpressionOperation) -> list[str]:
@@ -204,6 +285,8 @@ class TypeQualifierValidation(ModelVisitor):
         self._validate_qualifier(result_var, TypeQualifier.QFree)
         for expr_var in self._extract_expr_vars(arith):
             self._validate_qualifier(expr_var, TypeQualifier.Const)
+        if not arith.is_inplace:
+            self._add_initialized_qualifier(result_var, TypeQualifier.QFree)
 
     def visit_AmplitudeLoadingOperation(
         self, amp_load: AmplitudeLoadingOperation
@@ -234,3 +317,37 @@ class TypeQualifierValidation(ModelVisitor):
         with self.conjugation_context():
             self.visit(within_apply.compute)
         self.visit(within_apply.action)
+
+
+def _merge_overlapping(bound_vars: Sequence[Collection[str]]) -> list[set[str]]:
+    """
+    Merges overlapping sets of bound variables.
+    Two sets overlap if they share at least one variable.
+    """
+    all_bound_vars = bound_vars
+    merged_bound_vars: list[set[str]] = []
+    loop_guard: int = 10
+    idx: int = 0
+
+    for _ in range(loop_guard):
+        idx += 1
+
+        merged_bound_vars = []
+        modified: bool = False
+        for current_bound_vars in all_bound_vars:
+            for existing in merged_bound_vars:
+                if existing.intersection(current_bound_vars):
+                    existing.update(current_bound_vars)
+                    modified = True
+                    break
+            else:
+                merged_bound_vars.append(set(current_bound_vars))
+
+        if not modified:
+            break
+        all_bound_vars = merged_bound_vars
+
+    if idx == loop_guard - 1:
+        raise ClassiqInternalExpansionError
+
+    return merged_bound_vars

classiq/qmod/native/pretty_printer.py

@@ -97,11 +97,14 @@ class DSLPrettyPrinter(ModelVisitor):
         self,
         decimal_precision: Optional[int] = DEFAULT_DECIMAL_PRECISION,
         emit_open_lib_functions: bool = False,
+        compilation_metadata: Optional[dict[str, CompilationMetadata]] = None,
     ) -> None:
         self._level = 0
         self._decimal_precision = decimal_precision
         self._emit_open_lib_functions = emit_open_lib_functions
-        self._compilation_metadata: dict[str, CompilationMetadata] = {}
+        self._compilation_metadata: dict[str, CompilationMetadata] = (
+            compilation_metadata or {}
+        )
 
     def visit(self, node: NodeType) -> str:
         res = super().visit(node)

classiq/qmod/semantics/error_manager.py

@@ -73,9 +73,15 @@ class ErrorManager:
     def has_errors(self) -> bool:
         return len(self._errors) > 0
 
-    def report_errors(self, error_type: type[Exception]) -> None:
+    def report_errors(
+        self, error_type: type[Exception], mask: Optional[list[int]] = None
+    ) -> None:
         if self.has_errors():
-            errors = self.annotated_errors
+            errors = (
+                self.annotated_errors
+                if mask is None
+                else [self.annotated_errors[idx] for idx in mask]
+            )
             self.clear()
             raise error_type("\n\t" + "\n\t".join(errors))
 

classiq/synthesis.py

@@ -27,7 +27,7 @@ def show(quantum_program: QuantumProgram, display_url: bool = True) -> None:
             Whether to print the url
 
     Links:
-        [Visualization tool](https://docs.classiq.io/latest/reference-manual/analyzer/quantum-program-visualization-tool/)
+        [Visualization tool](https://docs.classiq.io/latest/user-guide/analysis/quantum-program-visualization-tool/)
     """
     QuantumProgram.model_validate(quantum_program)
     quantum_program.show()  # type: ignore[attr-defined]
@@ -54,7 +54,10 @@ async def synthesize_async(
     serialized_model: SerializedModel,
 ) -> QuantumProgram:
     model = Model.model_validate_json(serialized_model)
-    return await ApiWrapper.call_generation_task(model)
+    quantum_program = await ApiWrapper.call_generation_task(model)
+    if quantum_program.should_warn:
+        quantum_program.raise_warnings()
+    return quantum_program
 
 
 def synthesize(
@@ -202,7 +205,7 @@ def set_execution_preferences(
     Returns:
         SerializedModel: The model with the attached execution preferences.
 
-    For more examples please see: [set_execution_preferences](https://docs.classiq.io/latest/reference-manual/executor/?h=set_execution_preferences#usage)
+    For more examples please see: [set_execution_preferences](https://docs.classiq.io/latest/user-guide/execution/#execution-preferences)
     """
     if execution_preferences is None:
         if kwargs:

{classiq-0.81.0.dist-info → classiq-0.82.0.dist-info}/METADATA

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

{classiq-0.81.0.dist-info → classiq-0.82.0.dist-info}/RECORD

@@ -22,8 +22,8 @@ classiq/analyzer/__init__.py,sha256=1ASEd3a5BLznMq_uD4ogR6buanALXfJIONZYmCweAgA,
 classiq/analyzer/analyzer.py,sha256=GOCuI9YpNCOGuA139j9gCMheu8qBDuj0wixNg-cyXpU,6648
 classiq/analyzer/analyzer_utilities.py,sha256=PT_WsLygmAx4Hf7-VGBzKi6xHclIy5FYelCkdtChe1k,3658
 classiq/analyzer/rb.py,sha256=gUQPYEcy99rLcV-MQG87HSbiQP4IP_Qz3KKqqeq2T2E,4934
-classiq/analyzer/show_interactive_hack.py,sha256=NsPORQS55zoZQ8E9es8Dcd54GkjBjz8qCHlxafNTYlU,4601
-classiq/analyzer/url_utils.py,sha256=I819GIoqFOiGN92BeUuwh8dmpjZ0343fuzkzmooNMjI,778
+classiq/analyzer/show_interactive_hack.py,sha256=iSHMUHXcK90_HpOc9hAUEbNyKpwotyVEkSiM_JZc9Oo,4726
+classiq/analyzer/url_utils.py,sha256=VkZCzidnFRIAGShn0u1PO3BFJvN5776_szco8Y7Vejs,829
 classiq/applications/__init__.py,sha256=gb2dQI2ZuiU3c77hUAAY0D-BIW4YLD-9W5dKzOmMR1U,306
 classiq/applications/chemistry/__init__.py,sha256=_OGx8E8znq8jpjnHCSj89NpjxkcFZZ7endS5JLCybBM,1094
 classiq/applications/chemistry/ansatz_parameters.py,sha256=2YXfTOGrsCc6xMpLiGhnIQfI6iBXvlWOS9DY862fgJc,673
@@ -77,7 +77,7 @@ classiq/applications/qnn/datasets/datasets_utils.py,sha256=LgerS3HPe82gVTMg6YLWF
 classiq/applications/qnn/gradients/__init__.py,sha256=md5sLINVaPeZUHJUe1ZtIcqLN_V_I2RKfBe3mO3zZs4,102
 classiq/applications/qnn/gradients/quantum_gradient.py,sha256=FtyrLbpN4lqOlrj86LFtUGvTUZs_Jajblzrau5a0-CE,1169
 classiq/applications/qnn/gradients/simple_quantum_gradient.py,sha256=QT1wh9SpSFtRH0-OxRsWxCKHlDjLumNwyVAcmR9r78w,5020
-classiq/applications/qnn/qlayer.py,sha256=qO5lcI6ZuCXYi6Nim4GoInD6aRQGv0XjaXBZg8UNORc,9066
+classiq/applications/qnn/qlayer.py,sha256=AfLgvNfWQpF-srLbGC4DIZYCm7PLPQ7sHI0B_J_pgtc,9066
 classiq/applications/qnn/torch_utils.py,sha256=vCUsTyvDCSwY9Z9rcK9QslEzAVag3caTHFXXH8iblUg,4430
 classiq/applications/qnn/types.py,sha256=mDElTam102OolLt1KWrVHZPW_9jNTUyhohJLEN-SOs0,835
 classiq/applications/qsvm/__init__.py,sha256=ctM9hllKY9zuc3Ps8YgLBrDXgPInJNwJ3nVpTurs8MY,191
@@ -92,7 +92,7 @@ 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=TKmDU2L_TTzt9MBR8Quyy7bepvvJDlCgTBbwmdB_bAM,197
+classiq/interface/_version.py,sha256=Ix5e6xFImhy-iSvj9753jWO9sgM59o-d24vgjYUfS2A,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
@@ -104,7 +104,7 @@ classiq/interface/applications/iqae/iqae_result.py,sha256=S13A_mQKRTBaqO2NKJEJlg
 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
-classiq/interface/backend/backend_preferences.py,sha256=apW0rA9nQSrU8NUa9piFPfoKiMQWQJnUILewn73DVqc,21539
+classiq/interface/backend/backend_preferences.py,sha256=VMuUG0k6q4S3-ao_tN-01zHz86maOTFiSCvXCM8W0YQ,21370
 classiq/interface/backend/ionq/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/interface/backend/ionq/ionq_quantum_program.py,sha256=f8w1XvgIggaM_w9TF0_wkQHB3wamXg5kHMNsgtCsH3k,1235
 classiq/interface/backend/pydantic_backend.py,sha256=XfG1u_8ZEq382P5LTHYEhjkDH7UZYY_1sl1O-RImSmk,1610
@@ -152,7 +152,7 @@ classiq/interface/execution/primitives.py,sha256=HU0-ZjlFfL6DVtOHPqSwDxSwEJhGoce
 classiq/interface/executor/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/interface/executor/constants.py,sha256=DtSx-1HArWE0hHjOZHY9WJBevt3hP7M8SrYO3eM3dgo,31
 classiq/interface/executor/estimation.py,sha256=lJEmN3Uj9bW0EY7JEZvzItwEybbBHSn7zYFz89L8fqo,389
-classiq/interface/executor/execution_preferences.py,sha256=Tnd9yS42Nk28f8Ds78lC-b8ohwwOLvcqwaBVVHw1OPE,2931
+classiq/interface/executor/execution_preferences.py,sha256=lGnJVPUJv04W5H7ZqWeEy1eCpXmMh34lim9Mz8IX_PY,2909
 classiq/interface/executor/execution_request.py,sha256=bf5qEF4eeb2UQ2DIriW-DBTRmPcDYiWs9QsfmzyhYEg,2441
 classiq/interface/executor/execution_result.py,sha256=z_D0KpnxKelnkxg6b1WkTWRbLZI7Dm7Q5juNWWdIZx0,2876
 classiq/interface/executor/optimizer_preferences.py,sha256=koqBO5YDzO3iBH71a8oe4hK-ib8M1yUPWJbC_m-Nzn4,4427
@@ -208,7 +208,7 @@ classiq/interface/generator/circuit_code/circuit_code.py,sha256=B9k2du6_fo_-bItN
 classiq/interface/generator/circuit_code/types_and_constants.py,sha256=BVodYSj6CSXATNDaVkwpBls0NuXtPWzj9UfKp8Sx-hM,1414
 classiq/interface/generator/circuit_outline.py,sha256=w67uw-cQw5DlZBmzh2XC_Vi5yAvFWB2qxVLVrR2JHII,213
 classiq/interface/generator/commuting_pauli_exponentiation.py,sha256=prx80q_d3d8M3_Qsvy-o70VLa4wcxVsjyVoM1YMULiQ,1728
-classiq/interface/generator/compiler_keywords.py,sha256=bDcNqbRsOMABA0JXoMJ5AKWLGS-vFbti2mnW4fCu-io,235
+classiq/interface/generator/compiler_keywords.py,sha256=27QflHm-lInYlq6GH65hNLQM5WsSjKPUMFDwmcK16X0,266
 classiq/interface/generator/complex_type.py,sha256=tQ-2vUkXhpWz7dOMmcRTfd3tMJfXDvFkdy-KkQwe2FA,480
 classiq/interface/generator/constant.py,sha256=cLhRil6sof0UyYRU4lKdm_aBRcmmz7dtvX5bbNpb7N8,309
 classiq/interface/generator/control_state.py,sha256=eioObKxQt-g69NF3_-2QhLwO2mA5BIkFJnvqolwGFxk,2745
@@ -301,7 +301,7 @@ classiq/interface/generator/qft.py,sha256=SDLcPWYxshDfPl-tAfhpRFb30NpPRRFpje5Jrr
 classiq/interface/generator/qpe.py,sha256=C6CddpuD196TUVpUEvvlA9uaRLmFlTkwrHheaWbGojY,6526
 classiq/interface/generator/qsvm.py,sha256=Ry2iTC2NIoh0u9BsuwVaO-ICUBbRIF7Of9scJG4sGFs,3056
 classiq/interface/generator/quantum_function_call.py,sha256=BlqclMwh_Qj6_yXUTIBM23eLdQ_X3x_KTQ4WWwBN4JY,24123
-classiq/interface/generator/quantum_program.py,sha256=t5dd_5ClUBAFuVZFOD3sf_9Fn2fuH5d1ie-BF-_skEM,7674
+classiq/interface/generator/quantum_program.py,sha256=FqGksHqL6Xvu5eO3Z0ERoEzU9KLsZ-1xREAhepo6kgE,8166
 classiq/interface/generator/randomized_benchmarking.py,sha256=D6KI_1fMF5oBydaal2WLmTSit6xSMtz0yDAIZMMO89Q,635
 classiq/interface/generator/range_types.py,sha256=X6CtSyimlpISz9QNbCdqqQkRg1pOGHEQCXy4aEeSwA4,2044
 classiq/interface/generator/register_role.py,sha256=moerPIO9gQUuG5pe43TemmScSVjTK7_gi-qbrhIgLOA,1147
@@ -332,7 +332,7 @@ classiq/interface/generator/synthesis_metadata/synthesis_execution_data.py,sha25
 classiq/interface/generator/transpiler_basis_gates.py,sha256=ffnVjysrQVFq1MSjmlFia4akK9w3cIlLvAa-8_MOY9o,2450
 classiq/interface/generator/types/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/interface/generator/types/builtin_enum_declarations.py,sha256=1LB7uwf53QOu-f5TfQyGYlkYmhTi8zAhtHMvZPOr-vM,2330
-classiq/interface/generator/types/compilation_metadata.py,sha256=amM7R3e89Ztt1bw9wxDHtZnueHRC_6pvnATZQY8NRTI,439
+classiq/interface/generator/types/compilation_metadata.py,sha256=Xt3VhOu5xjheHWgffhC2TD2RU9hIUMGtIuUm4P781K0,997
 classiq/interface/generator/types/enum_declaration.py,sha256=Bz52SsXHAai205Utv-3NOolUP0HYT8KnMuUF16Iq_y0,3385
 classiq/interface/generator/types/qstruct_declaration.py,sha256=Qw6cHW_elZmrs4UO0z7lgS7TWb0hEUEJ5Ur-Ko0bCR4,485
 classiq/interface/generator/types/struct_declaration.py,sha256=2qKVV-pdqeUGiwKh2-5W2Ci4z0aQG4TG91MuQ82fa_A,959
@@ -426,7 +426,7 @@ classiq/model_expansions/expression_evaluator.py,sha256=zMGmVvBvItaz_rX3XqFLrkDZ
 classiq/model_expansions/function_builder.py,sha256=5CKygDYo6dpGVS_88UxTBL9z7gP8VaNLPh3xcUlP-8o,8185
 classiq/model_expansions/generative_functions.py,sha256=pdesJ83Ze_G4yZPPuwneuwMJJEyOXIF_rfdYRScr3lE,8078
 classiq/model_expansions/interpreters/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-classiq/model_expansions/interpreters/base_interpreter.py,sha256=8l-52QAK-_DfoIGjDf47tsO1STcY5ltkyjJryf_sU9U,11986
+classiq/model_expansions/interpreters/base_interpreter.py,sha256=12Eny-z7BdHKDROhKJxfUn5QmxwumlpthNp3R9U8FpI,12035
 classiq/model_expansions/interpreters/frontend_generative_interpreter.py,sha256=8Q1na4j4u6bFy8TG3xIyoEjCOIql0UiqukS1zko-0BY,4284
 classiq/model_expansions/interpreters/generative_interpreter.py,sha256=pdZHvhKLWvhMe7di7qKwGk29irappWrdW28YWXVoowQ,13054
 classiq/model_expansions/model_tables.py,sha256=dlrOGRS2x4Fd_dzClIcV7V8edmbbQzePv9eqxtJQrpo,620
@@ -438,7 +438,7 @@ classiq/model_expansions/quantum_operations/assignment_result_processor.py,sha25
 classiq/model_expansions/quantum_operations/bind.py,sha256=FK6ZoYoG3Y5uUyCU0q1ZqB9BcyoTdpY0imkRkhJlx3k,5753
 classiq/model_expansions/quantum_operations/block_evaluator.py,sha256=06EYOb5CVDUvqYXKk-s-rcoY3rQ2Dr2XWUkqNzT0N0w,4734
 classiq/model_expansions/quantum_operations/bounds.py,sha256=hvy7mJaM5ReHewvoLg3yIdJrxrFWQ6BUwWvJnbTnn0g,1171
-classiq/model_expansions/quantum_operations/call_emitter.py,sha256=D_cBSWRv3sPUcgdIIS1nVzC3eiJGP_Ok8hILJBkwR4A,18716
+classiq/model_expansions/quantum_operations/call_emitter.py,sha256=JqBdTsYP3I-KjITXdia53WAe9ho65PgTd4POlj-cZ9U,18779
 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=320bpN7oyMrIlo4guEEUFbM0YLABTxDh9xGj96nVdu8,11155
@@ -457,7 +457,7 @@ 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=dRFFkt9Iovyeh1TfsUYQoevsV9OHoppHN36Fy0Mnvqw,9672
+classiq/model_expansions/transformers/type_qualifier_inference.py,sha256=GV18wM-CYGYzX0oJQyh5GdX48cPQEJtv2_e2oNt8yX4,13867
 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
@@ -516,7 +516,7 @@ classiq/qmod/global_declarative_switch.py,sha256=30QOkNsDdsVdk14TNx-AetFbBskoXGp
 classiq/qmod/model_state_container.py,sha256=ZLP-yGf9syJy3uH6Bm5NhesoVfihADidvNP4tYYZwgs,2147
 classiq/qmod/native/__init__.py,sha256=gm0L3ew0KAy0eSqaMQrvpnKWx85HoA1p9ADaAlyejdA,126
 classiq/qmod/native/expression_to_qmod.py,sha256=5UakdOGiJFJkPthFD7FrO2Z4mQsqZMNOg9xHTAmPVC4,7389
-classiq/qmod/native/pretty_printer.py,sha256=k-ed_vmtl54U25BTJP9IWFmE2ufyoTbwDgVwqGBXnrk,18301
+classiq/qmod/native/pretty_printer.py,sha256=nB6i-AbUP4doKTubGxl7bCb3IrrKontckgmoX5ng9Xg,18428
 classiq/qmod/pretty_print/__init__.py,sha256=jhR0cpXumOJnyb-zWnvMLpEuUOYPnnJ7DJmV-Zxpy1I,132
 classiq/qmod/pretty_print/expression_to_python.py,sha256=Ej_xAJApE6mvesmgVNCXKu4G3owwdTysw1m6xn3Vpww,7797
 classiq/qmod/pretty_print/pretty_printer.py,sha256=Glz9EbTGbxwNatLukz4YrX1yaHfkLlzbamhcA-a2KWk,25499
@@ -533,7 +533,7 @@ classiq/qmod/semantics/annotation/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeR
 classiq/qmod/semantics/annotation/call_annotation.py,sha256=I94YDffDP-PDx3-r8XRFtg7D8B07OyuwnWOGwJVOOOA,3804
 classiq/qmod/semantics/annotation/model_annotation.py,sha256=gzsX3RrcaTPYBxxplbXaE3pBlQQvVkLGrK-xewzdVMA,329
 classiq/qmod/semantics/annotation/qstruct_annotator.py,sha256=_TplU5rqUqEyXF7K_HLC9OyJ6YRA6Pu0Z6dYaLhEuk4,1911
-classiq/qmod/semantics/error_manager.py,sha256=vR7bV9wBJa9a0khLvBeCn_RO4uURY_v1dy8Gdh4_L7U,3037
+classiq/qmod/semantics/error_manager.py,sha256=iSx2IjmTqiWv292OdH-wZT6C54js-xzc8HEqMNhTKO0,3215
 classiq/qmod/semantics/lambdas.py,sha256=vtJ37ZRHHI_ieGU2A0JvMst6mwkC2FdOgfT_UkerDN0,1266
 classiq/qmod/semantics/static_semantics_visitor.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 classiq/qmod/semantics/validation/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -551,8 +551,8 @@ classiq/qmod/type_attribute_remover.py,sha256=NZmTXAsngWqthXjE8n-n6yE72fiWTFM12-
 classiq/qmod/utilities.py,sha256=oWpvPWu_wnuA_GrGBrheO0OIrdxTlKGbFwAy54FAsdg,5573
 classiq/qmod/write_qmod.py,sha256=QddTcpXsjLahq3ZATGTIKZW3aj99RtG6MPUHZTKaw38,3508
 classiq/quantum_program.py,sha256=q4vTnRqNr4VWjrZPJVreX3L_C3s60Nnb1GOp3Wv3SJ0,2088
-classiq/synthesis.py,sha256=nP8lMJ5FqCuR8tJoOgrytm7lRsKtWbXW6mooDfgJxFI,8650
+classiq/synthesis.py,sha256=KbOaQOseDmmaMPHQyt03ESE7HlXikHHmNvqfWjOIDiQ,8742
 classiq/visualization.py,sha256=q-GepvUJf2-tDqof0isaNwWAlf3W3_1dxvlsak1U0ng,983
-classiq-0.81.0.dist-info/METADATA,sha256=BKaL0bG3mP42oeRH2efI276xOBM4AvXjh6t73M-8ikY,3382
-classiq-0.81.0.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
-classiq-0.81.0.dist-info/RECORD,,
+classiq-0.82.0.dist-info/METADATA,sha256=XyFtdBiBb4g5dvvnZ1-1afXvaiQ8iKSK5ztHhF19a5k,3382
+classiq-0.82.0.dist-info/WHEEL,sha256=b4K_helf-jlQoXBBETfwnf4B04YC67LOev0jo4fX5m8,88
+classiq-0.82.0.dist-info/RECORD,,