//! Phase 255 P2: Common utilities for JoinIR pattern lowering
//!
//! This module provides shared helper functions used across different pattern
//! lowering implementations, eliminating code duplication and ensuring consistency.

mod ast_helpers;
mod carrier_binding_policy;
mod contract_error;
mod joinir_helpers; // Phase 256.8.5: JoinModule helpers

pub(crate) use ast_helpers::var;
pub(crate) use carrier_binding_policy::{decide_carrier_binding_policy, CarrierBindingPolicy};
pub(crate) use contract_error::{finalize_extract, ContractViolation, ExtractDecision};
pub(crate) use joinir_helpers::get_entry_function; // Phase 256.8.5
