"""Conditional nonlinear mixed-response contrast between two mediator classes. The same rational heat coefficient serves both fixed class configurations. Common outer-cycle and bridge channels cancel before transcendental enclosure. This evaluates an analytic coefficient and its error budget, never a nonlinear trajectory, an acquired source or a previously saved response. """ from __future__ import annotations from dataclasses import dataclass from fractions import Fraction as Q from ..mathematics._rational_interval import INTERVAL_METHOD, I from ._sine_class_contrast import _contrast_decision from .relational_sine_class_mediation import _CONTACTS, _EDGES, _NODES from .relational_sine_class_nonlinear_protocol import ( _HEAT_ORDER, _heat_cubic_channels, _heat_truncation_bounds, _ideal_heat_remainder, ) from .relational_sine_class_superposition import ( _admit_probe_primitives, _ClassProbeHistoryBound, _probe_event_ledger, ) from .relational_sine_port_composition import _parameters __all__ = ( "SineClassNonlinearOrganization", "bound_sine_class_nonlinear_organization", ) @dataclass(frozen=True) class SineClassNonlinearOrganization: """Bounds for D=M1-M2 with separately admitted sources in the two classes. Each class's four histories share its complete reached source; the sources of the two classes need not have equal residual errors. Original component form/phase error caps and separate zero sums are conditional premises. Exact rational endpoint pairs are authoritative; interval fields are outward projections. An unresolved sign is a method outcome, not class independence. One uniform event ledger applies separately to each class. Equal bounds do not assert equal states, work or histories. The optional zero-contrast comparator supplies D=0 and its own eight scalar errors; its record-set separation requires 16*delta, whereas a recorded contrast sign requires 8*delta. """ first_probe_amplitude: Q second_probe_amplitude: Q delay: Q total_duration: Q endpoint_radius: Q readout_error_bound: Q radius: Q contact_work_allowance: Q first_probe_work_allowance: Q second_probe_work_allowance: Q gamma_bounds: I mediator_class_cosine_bounds: tuple[I, I] mediator_cosine_difference_bounds: tuple[Q, Q] bootstrap_margin: Q source_comparison_margin: Q heat_cubic_channel_coefficients: tuple[Q, Q, Q] mediator_heat_polynomial_coefficient: Q heat_uniform_tail_upper_bound: Q mediator_heat_truncation_error_upper_bound: Q mediator_heat_coefficient_bounds: tuple[Q, Q] heat_class_contrast_coefficient_bounds: tuple[Q, Q] gamma_fourth_scaled_heat_contrast_bounds: tuple[Q, Q] per_history_ideal_remainder_upper_bounds: tuple[Q, ...] per_class_mixed_remainder_upper_bound: Q ideal_contrast_remainder_upper_bound: Q source_contrast_error_upper_bound: Q total_true_contrast_error_upper_bound: Q readout_contrast_error_upper_bound: Q true_contrast_bounds: tuple[Q, Q] true_contrast_interval: I recorded_contrast_bounds: tuple[Q, Q] recorded_contrast_interval: I predicted_orientation: int oriented_true_contrast_lower_bound: Q | None recorded_sign_margin: Q | None zero_contrast_comparator_separation_margin: Q | None strict_recorded_sign_noise_ceiling: Q | None true_contrast_sign_certified: bool recorded_contrast_sign_certified: bool zero_contrast_record_sets_disjoint: bool exact_contrast_zero: bool contact_work_bounds: I contact_work_upper_bound: Q contact_work_margin: Q joined_initial_radius_squared_upper_bound: Q joined_initial_excess_storage_upper_bound: Q identity_barrier_lower_bound: Q joined_initial_identity_certified: bool contact_work_within_allowance: bool uniform_history_bounds: tuple[_ClassProbeHistoryBound, ...] all_identities_certified: bool all_work_within_allowances: bool status: str compared_classes: tuple[tuple[int, ...], ...] = ((1, 1, 1), (1, 2, 1)) class_contrast_coefficients: tuple[int, int] = (1, -1) history_order: tuple[str, ...] = ("neither", "first_only", "second_only", "both") mixed_readout_coefficients: tuple[int, ...] = (1, -1, -1, 1) heat_channel_order: tuple[str, ...] = ("outer_cosine", "mediator_cosine", "bridge") canceled_heat_channels: tuple[str, ...] = ("outer_cosine", "bridge") nodes: tuple[int, ...] = _NODES edges: tuple[tuple[int, int], ...] = _EDGES contacts: tuple[tuple[int, int], ...] = _CONTACTS donor_node: int = 4 receiver_node: int = 22 heat_polynomial_order: int = _HEAT_ORDER clock: str = "tau=e*t; e=1023/1024" coefficient_method: str = "exact_mediator_heat_polynomial32_contraction_tail_v1" interval_method: str = INTERVAL_METHOD scope: tuple[str, ...] = ( "contrast_is_class1_mixed_response_minus_class2_mixed_response", "same_complete_full54_law_support_capacity_clock_and_events_for_both_classes", "four_histories_share_one_actual_source_within_each_class_only", "class_source_errors_may_differ_and_have_separate_conditional_component_zero_sums", "common_outer_and_bridge_heat_channels_cancel_before_interval_enclosure", "restricted_mediator_cubic_operator_uses_actual_full_graph_degrees", "analytic_heat_coefficient_is_not_a_nonlinear_flow_or_observation", "each_full_law_mixed_remainder_and_each_actual_source_error_are_retained", "eight_scalar_reading_errors_give_eight_delta_recorded_contrast_uncertainty", "sixteen_delta_compares_with_explicit_zero_true_contrast_and_its_own_eight_errors", "failure_of_sufficient_separation_does_not_prove_equality_or_record_overlap", "uniform_event_bounds_apply_to_each_class_without_equating_actual_histories", "work_and_identity_conditions_are_independent_of_contrast_resolution", "no_source_acquisition_cached_verdict_response_fitting_or_physical_identification", ) def to_dict(self): from ..sdk.relational_reports import _project return { "schema": "tnfr.sine-class-nonlinear-organization.v1", "report": _project(self), } def bound_sine_class_nonlinear_organization( *, first_probe_amplitude, second_probe_amplitude, delay, total_duration, endpoint_radius, readout_error_bound, radius, contact_work_allowance, first_probe_work_allowance, second_probe_work_allowance, ) -> SineClassNonlinearOrganization: """Bound the fixed class contrast from ten primitives and no response data. Amplitudes are signed, 0<=delay<=total_duration<=2, 0