uor-foundation 0.3.0

// @generated by uor-crate from uor-ontology — do not edit manually

//! `reduction/` namespace — Sequential composition of the foundation's nine inter-algebra maps into a parameterized reduction pipeline. Defines stages, phase gates, rollback, and epochs..
//!
//! Space: Kernel

use crate::enums::VerificationDomain;
use crate::enums::WittLevel;
use crate::HostTypes;

/// The composite endofunctor ψ = ψ_9 ∘ … ∘ ψ_1, parameterized by Ω = e^{iπ/6}.
pub trait EulerReduction<H: HostTypes> {
    /// The base phase parameter Ω for this reduction (e.g., e^{iπ/6}).
    fn phase_parameter(&self) -> &H::HostString;
    /// The number of stages in this reduction.
    fn stage_count(&self) -> u64;
    /// The cumulative phase angle at which the reduction converges.
    fn convergence_angle(&self) -> &H::HostString;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The ordered list of ψ-maps that compose this reduction.
    fn composed_of_maps(&self) -> &[Self::TermExpression];
}

/// Schedule Ω⁰, Ω¹, …, Ω⁵ assigning a phase angle to each stage of the reduction.
pub trait PhaseRotationScheduler<H: HostTypes> {
    /// String representation of the rotation schedule Ω⁰, Ω¹, …, Ω⁵.
    fn rotation_schedule(&self) -> &H::HostString;
    /// The base angle π/6 from which the schedule is derived.
    fn base_angle(&self) -> &H::HostString;
}

/// The angle at which the reduction terminates (default: π).
pub trait TargetConvergenceAngle<H: HostTypes> {
    /// The target convergence angle (default: π).
    fn target_angle(&self) -> &H::HostString;
}

/// Validation at each stage boundary checking that the accumulated phase angle matches the expected Ω^k.
pub trait PhaseGateAttestation<H: HostTypes> {
    /// Associated type for `ReductionStep`.
    type ReductionStep: ReductionStep<H>;
    /// The reduction stage at which this gate is applied.
    fn gate_stage(&self) -> &Self::ReductionStep;
    /// The expected phase angle Ω^k at this gate.
    fn gate_expected_phase(&self) -> &H::HostString;
    /// Whether the phase gate check passed or failed.
    fn gate_result(&self) -> bool;
}

/// Recovery operation when a phase gate fails: z → z̄. Involutory: applying twice yields the original value.
pub trait ComplexConjugateRollback<H: HostTypes> {
    /// Associated type for `ReductionStep`.
    type ReductionStep: ReductionStep<H>;
    /// The reduction stage to which execution rolls back on gate failure.
    fn rollback_target(&self) -> &Self::ReductionStep;
}

/// A named stage of the reduction. The standard reduction has six stages (Initialization through Convergence).
pub trait ReductionStep<H: HostTypes> {
    /// Zero-based index of this stage in the reduction.
    fn stage_index(&self) -> u64;
    /// Human-readable name of this reduction stage.
    fn stage_name(&self) -> &H::HostString;
    /// The expected phase angle Ω^k at this stage.
    fn expected_phase(&self) -> &H::HostString;
    /// Associated type for `StatePredicate`.
    type StatePredicate: crate::kernel::predicate::StatePredicate<H>;
    /// A typed predicate evaluated on the current ReductionState. Must be satisfied to enter this stage.
    fn entry_guard(&self) -> &Self::StatePredicate;
    /// A typed predicate that must be satisfied before the reduction advances past this stage.
    fn exit_guard(&self) -> &Self::StatePredicate;
    /// Associated type for `Effect`.
    type Effect: crate::kernel::effect::Effect<H>;
    /// The effect applied by this stage upon successful exit.
    fn stage_effect(&self) -> &Self::Effect;
}

/// State of reduction execution at a specific point, including the current stage, phase angle, and pinned mask.
pub trait ReductionState<H: HostTypes> {
    /// Associated type for `ReductionStep`.
    type ReductionStep: ReductionStep<H>;
    /// The reduction stage at which execution is currently positioned.
    fn current_stage(&self) -> &Self::ReductionStep;
    /// The accumulated phase angle at the current point.
    fn phase_angle(&self) -> &H::HostString;
    /// Bit mask of sites that are pinned (resolved) at this point.
    fn pinned_mask(&self) -> u64;
    /// The number of free (unresolved) sites at this point.
    fn free_rank(&self) -> u64;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The site state descriptor within a reduction state.
    fn site_state(&self) -> &Self::TermExpression;
}

/// Guard-effect pair governing stage transitions in the reduction. The guard must be satisfied before the effect is applied.
pub trait ReductionRule<H: HostTypes> {
    /// Associated type for `GuardedTransition`.
    type GuardedTransition: crate::kernel::predicate::GuardedTransition<H>;
    /// A typed GuardedTransition from predicate/ governing the stage transition.
    fn transition_guard(&self) -> &Self::GuardedTransition;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The effect applied when this transition fires.
    fn transition_effect(&self) -> &Self::TermExpression;
    /// Whether this transition advances to the next stage.
    fn transition_advance(&self) -> bool;
}

/// Temporal segment of reduction execution. Each epoch represents one complete pass through the reduction stages.
pub trait Epoch<H: HostTypes> {
    /// Zero-based index of this epoch in the reduction execution.
    fn epoch_index(&self) -> u64;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// Metadata or summary datum for this epoch.
    fn epoch_datum(&self) -> &Self::TermExpression;
}

/// Transition between epochs. Carries metadata about the epoch boundary crossing.
pub trait EpochBoundary<H: HostTypes> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The type of epoch boundary crossing (e.g., normal, forced, timeout).
    fn epoch_boundary_type(&self) -> &Self::TermExpression;
    /// Whether grounding was preserved across the epoch boundary.
    fn preserved_grounding(&self) -> bool;
}

/// A Boolean expression over the reduction state. The atomic guard unit.
pub trait PredicateExpression<H: HostTypes> {
    /// The state field this predicate tests.
    fn predicate_field(&self) -> &H::HostString;
    /// The comparison operator (e.g., '=', '<', '>=').
    fn predicate_operator(&self) -> &H::HostString;
    /// The value against which the field is compared.
    fn predicate_value(&self) -> &H::HostString;
}

/// A conjunction of PredicateExpressions that must hold for a transition to fire.
pub trait GuardExpression<H: HostTypes> {
    /// Associated type for `PredicateExpression`.
    type PredicateExpression: PredicateExpression<H>;
    /// The predicate expressions that compose this guard.
    fn guard_predicates(&self) -> &[Self::PredicateExpression];
}

/// State changes applied when a transition fires. Contains PropertyBind steps.
pub trait TransitionEffect<H: HostTypes> {
    /// Associated type for `PropertyBind`.
    type PropertyBind: PropertyBind<H>;
    /// The property bind steps applied by this effect.
    fn effect_bindings(&self) -> &[Self::PropertyBind];
}

/// A single site pinning: target site + value.
pub trait PropertyBind<H: HostTypes> {
    /// The target site identifier for this binding.
    fn bind_target(&self) -> &H::HostString;
    /// The value to pin the target site to.
    fn bind_value(&self) -> &H::HostString;
}

/// Advancement from one ReductionStep to the next.
pub trait ReductionAdvance<H: HostTypes> {
    /// Associated type for `ReductionStep`.
    type ReductionStep: ReductionStep<H>;
    /// The source stage of the advancement.
    fn advance_from(&self) -> &Self::ReductionStep;
    /// The target stage of the advancement.
    fn advance_to(&self) -> &Self::ReductionStep;
}

/// A sliding window over recent epochs providing BaseContext.
pub trait ServiceWindow<H: HostTypes> {
    /// The number of recent epochs in this service window.
    fn window_size(&self) -> u64;
    /// The starting epoch offset of this service window.
    fn window_offset(&self) -> u64;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// Reference to the base context provided by this service window.
    fn base_context_ref(&self) -> &Self::TermExpression;
}

/// An atomic group of state changes within the reduction.
pub trait ReductionTransaction<H: HostTypes> {
    /// The execution policy for this transaction (e.g., AllOrNothing, BestEffort).
    fn transaction_policy(&self) -> &H::HostString;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The outcome of this transaction (e.g., committed, rolled back).
    fn transaction_outcome(&self) -> &Self::TermExpression;
    /// The scope of sites affected by this transaction.
    fn transaction_scope(&self) -> &Self::TermExpression;
    /// Current status of this transaction (e.g., pending, committed).
    fn transaction_status(&self) -> &Self::TermExpression;
}

/// Successful termination (FullGrounding).
pub trait PipelineSuccess<H: HostTypes> {
    /// Whether full grounding was achieved.
    fn grounding_reached(&self) -> bool;
    /// The final grounding level achieved on pipeline success.
    fn final_grounding(&self) -> &H::HostString;
}

/// Typed failure: DispatchMiss, GroundingFailure, ConvergenceStall, etc.
pub trait PipelineFailureReason<H: HostTypes> {
    /// The kind of pipeline failure (e.g., DispatchMiss, ConvergenceStall).
    fn failure_kind(&self) -> &H::HostString;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The reduction stage at which the pipeline failure occurred.
    fn failure_stage(&self) -> &Self::TermExpression;
}

/// A pre-execution validation: feasibility, dispatch coverage, coherence.
pub trait PreflightCheck<H: HostTypes> {
    /// The kind of preflight check (e.g., feasibility, dispatch coverage).
    fn preflight_kind(&self) -> &H::HostString;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The result of the preflight check (e.g., pass, fail).
    fn preflight_result(&self) -> &Self::TermExpression;
    /// Zero-based execution order for preflight checks. Lower indices execute first. BudgetSolvencyCheck (order 0) must precede all others.
    fn preflight_order(&self) -> u64;
}

/// Result of a preflight check: feasibility witness or infeasibility witness.
pub trait FeasibilityResult<H: HostTypes> {
    /// The kind of feasibility result (e.g., Feasible, Infeasible).
    fn feasibility_kind(&self) -> &H::HostString;
    /// The witness justifying the feasibility or infeasibility result.
    fn feasibility_witness(&self) -> &H::HostString;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The kind of infeasibility detected.
    fn infeasibility_kind(&self) -> &Self::TermExpression;
}

/// Lifecycle of a partitioned context lease: Pending → Active → Released/Expired/Suspended.
pub trait LeaseState<H: HostTypes> {
    /// The lifecycle phase of a lease (e.g., Pending, Active, Released).
    fn lease_phase(&self) -> &H::HostString;
}

/// A context lease with lifecycle tracking.
pub trait ManagedLease<H: HostTypes> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// Unique identifier for this managed lease.
    fn managed_lease_id(&self) -> &Self::TermExpression;
    /// Associated type for `LeaseState`.
    type LeaseState: LeaseState<H>;
    /// The current lifecycle state of this managed lease.
    fn lease_lifecycle(&self) -> &Self::LeaseState;
    /// The epoch at which this managed lease expires.
    fn expiry_epoch(&self) -> u64;
    /// The total site budget allocated to this managed lease.
    fn lease_budget(&self) -> u64;
}

/// Snapshot of lease state at a point in time.
pub trait LeaseCheckpoint<H: HostTypes> {
    /// The epoch index at which this checkpoint was taken.
    fn checkpoint_epoch(&self) -> u64;
    /// Associated type for `ReductionState`.
    type ReductionState: ReductionState<H>;
    /// The reduction state captured at this checkpoint.
    fn checkpoint_state(&self) -> &Self::ReductionState;
    /// The remaining site budget at this checkpoint.
    fn lease_remaining_budget(&self) -> u64;
}

/// Flow control when reduction produces faster than downstream can consume.
pub trait BackPressureSignal<H: HostTypes> {
    /// The current back-pressure level (e.g., Low, Medium, High).
    fn pressure_level(&self) -> &H::HostString;
    /// The threshold at which back-pressure activates.
    fn pressure_threshold(&self) -> H::Decimal;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The source stage emitting back-pressure.
    fn source_stage(&self) -> &Self::TermExpression;
    /// The target stage receiving back-pressure.
    fn target_stage(&self) -> &Self::TermExpression;
}

/// Queries postponed to a future epoch.
pub trait DeferredQuerySet<H: HostTypes> {
    /// The number of queries in this deferred set.
    fn deferred_count(&self) -> u64;
    /// The epoch in which these queries were deferred.
    fn deferral_epoch(&self) -> u64;
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The reason for deferring these queries.
    fn deferral_reason(&self) -> &Self::TermExpression;
}

/// Transfer of a lease from one computation to another.
pub trait SubleaseTransfer<H: HostTypes> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The lease being transferred from.
    fn source_lease_ref(&self) -> &Self::TermExpression;
    /// The lease being transferred to.
    fn target_lease_ref(&self) -> &Self::TermExpression;
    /// The site budget transferred between leases.
    fn transferred_budget(&self) -> u64;
    /// Whether the sublease transfer has been completed.
    fn transfer_completed(&self) -> bool;
}

/// Predicate comparing a state field against a value.
pub trait ComparisonPredicate<H: HostTypes>: PredicateExpression<H> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The state field tested by this comparison predicate.
    fn comparison_field(&self) -> &Self::TermExpression;
    /// The comparison operator (e.g., '=', '<', '>=').
    fn comparison_operator(&self) -> &Self::TermExpression;
    /// The value against which the comparison is made.
    fn comparison_value(&self) -> &Self::TermExpression;
}

/// Conjunction (AND) of multiple predicates.
pub trait ConjunctionPredicate<H: HostTypes>: PredicateExpression<H> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// A conjunct predicate in a conjunction.
    fn conjuncts(&self) -> &[Self::TermExpression];
}

/// Disjunction (OR) of multiple predicates.
pub trait DisjunctionPredicate<H: HostTypes>: PredicateExpression<H> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// A disjunct predicate in a disjunction.
    fn disjuncts(&self) -> &[Self::TermExpression];
}

/// Negation (NOT) of a single predicate.
pub trait NegationPredicate<H: HostTypes>: PredicateExpression<H> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The predicate being negated.
    fn negated_predicate(&self) -> &Self::TermExpression;
}

/// Predicate testing membership of an element in a set.
pub trait MembershipPredicate<H: HostTypes>: PredicateExpression<H> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The set against which membership is tested.
    fn membership_set(&self) -> &Self::TermExpression;
    /// The element being tested for set membership.
    fn membership_element(&self) -> &Self::TermExpression;
}

/// Predicate testing whether grounding exceeds a threshold.
pub trait GroundingPredicate<H: HostTypes>: PredicateExpression<H> {
    /// The grounding threshold above which the predicate holds.
    fn grounding_threshold(&self) -> u64;
}

/// Predicate testing whether a site coverage target is met.
pub trait SiteCoveragePredicate<H: HostTypes>: PredicateExpression<H> {
    /// The site coverage target expression.
    fn coverage_target(&self) -> u64;
}

/// Predicate testing equality of two expressions.
pub trait EqualsPredicate<H: HostTypes>: PredicateExpression<H> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The left-hand side of an equality test.
    fn equality_left(&self) -> &Self::TermExpression;
    /// The right-hand side of an equality test.
    fn equality_right(&self) -> &Self::TermExpression;
}

/// Predicate testing that a field is non-null.
pub trait NonNullPredicate<H: HostTypes>: PredicateExpression<H> {
    /// The field that must be non-null.
    fn non_null_field(&self) -> u64;
}

/// Predicate testing whether a query is a subtype of a given type.
pub trait QuerySubtypePredicate<H: HostTypes>: PredicateExpression<H> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The query type reference for subtype testing.
    fn query_type_ref(&self) -> &Self::TermExpression;
}

/// The typed input graph submitted to the reduction pipeline. Packages a root Term, target quantum level, verification domains, and thermodynamic budget. Stage 0 accepts exactly one CompileUnit and initializes the reduction state vector from it.
pub trait CompileUnit<H: HostTypes> {
    /// Associated type for `TermExpression`.
    type TermExpression: crate::kernel::schema::TermExpression<H>;
    /// The root term expression of a CompileUnit — the top-level syntactic node from which all sub-expressions descend.
    fn root_term(&self) -> &Self::TermExpression;
    /// The quantum level at which this CompileUnit operates.
    fn unit_witt_level(&self) -> WittLevel;
    /// The Landauer-bounded energy budget for this CompileUnit's resolution, measured in k_B T ln 2 units.
    fn thermodynamic_budget(&self) -> &H::HostString;
    /// The verification domain(s) targeted by this CompileUnit.
    fn target_domains(&self) -> &[VerificationDomain];
    /// Associated type for `Element`.
    type Element: crate::kernel::address::Element<H>;
    /// Content-addressable identifier computed as the u:Element of the root term’s transitive closure. Computed by stage_initialization, not declared by the submitter. Excludes budget, domains, and quantum level to enable memoization.
    fn unit_address(&self) -> &Self::Element;
}

/// An ontology fact describing a single field on a reduction:PipelineFailureReason variant. The v0.2.1 Rust codegen walks FailureField individuals filtered by ofFailure to assemble the PipelineFailure enum's variant fields. Adding a new field to a failure variant requires only adding a new FailureField individual.
pub trait FailureField<H: HostTypes> {
    /// The PipelineFailureReason (or class) this field belongs to.
    fn of_failure(&self) -> &H::HostString;
    /// Snake_case name of the Rust field on the generated PipelineFailure variant.
    fn field_name(&self) -> &H::HostString;
    /// Rust type for the field, expressed as a literal type string the codegen emits verbatim (e.g., "&'static str", "usize", "ReductionStep").
    fn field_type(&self) -> &H::HostString;
}

/// Declarative bound for SAT-fragment deciders. The v0.2.1 pipeline driver reads these individuals at codegen time to emit the bounded iterative Tarjan SCC (2-SAT) and unit propagation (Horn-SAT) implementations.
pub trait SatBound<H: HostTypes> {
    /// Maximum variable count the SAT decider supports.
    fn max_var_count(&self) -> u64;
    /// Maximum clause count the SAT decider supports.
    fn max_clause_count(&self) -> u64;
    /// Maximum literals per clause (2 for 2-SAT, higher for Horn).
    fn max_literals_per_clause(&self) -> u64;
}

/// Declarative timing bound for reduction pipeline stages. Values in nanoseconds at the v0.2.1 reference hardware.
pub trait TimingBound<H: HostTypes> {
    /// Preflight-stage time budget in nanoseconds at the v0.2.1 reference hardware.
    fn preflight_budget_ns(&self) -> u64;
    /// Runtime-stage time budget in nanoseconds at the v0.2.1 reference hardware.
    fn runtime_budget_ns(&self) -> u64;
}

/// Stage 0: initialize state vector to identity.
pub mod stage_initialization {
    /// `expectedPhase`
    pub const EXPECTED_PHASE: &str = "Ω⁰";
    /// `stageIndex`
    pub const STAGE_INDEX: i64 = 0;
    /// `stageName`
    pub const STAGE_NAME: &str = "Initialization";
}

/// Stage 1: dispatch resolver (δ selects).
pub mod stage_declare {
    /// `expectedPhase`
    pub const EXPECTED_PHASE: &str = "Ω¹";
    /// `stageIndex`
    pub const STAGE_INDEX: i64 = 1;
    /// `stageName`
    pub const STAGE_NAME: &str = "Declare";
}

/// Stage 2: produce valid ring address (G grounds).
pub mod stage_factorize {
    /// `expectedPhase`
    pub const EXPECTED_PHASE: &str = "Ω²";
    /// `stageIndex`
    pub const STAGE_INDEX: i64 = 2;
    /// `stageName`
    pub const STAGE_NAME: &str = "Factorize";
}

/// Stage 3: resolve constraints (Π terminates).
pub mod stage_resolve {
    /// `expectedPhase`
    pub const EXPECTED_PHASE: &str = "Ω³";
    /// `stageIndex`
    pub const STAGE_INDEX: i64 = 3;
    /// `stageName`
    pub const STAGE_NAME: &str = "Resolve";
}

/// Stage 4: accumulate without contradiction (α consistent).
pub mod stage_attest {
    /// `expectedPhase`
    pub const EXPECTED_PHASE: &str = "Ω⁴";
    /// `stageIndex`
    pub const STAGE_INDEX: i64 = 4;
    /// `stageName`
    pub const STAGE_NAME: &str = "Attest";
}

/// Stage 5: extract coherent output (P projects).
pub mod stage_extract {
    /// `expectedPhase`
    pub const EXPECTED_PHASE: &str = "Ω⁵";
    /// `stageIndex`
    pub const STAGE_INDEX: i64 = 5;
    /// `stageName`
    pub const STAGE_NAME: &str = "Extract";
}

/// Terminal stage: reduction has reached the convergence angle π.
pub mod stage_convergence {
    /// `expectedPhase`
    pub const EXPECTED_PHASE: &str = "π";
    /// `stageIndex`
    pub const STAGE_INDEX: i64 = 6;
    /// `stageName`
    pub const STAGE_NAME: &str = "Convergence";
}

/// Phase gate at stage 0 boundary: checks Ω⁰ = 1.
pub mod gate_initialization {
    /// `gateExpectedPhase`
    pub const GATE_EXPECTED_PHASE: &str = "Ω⁰";
    /// `gateResult`
    pub const GATE_RESULT: bool = true;
    /// `gateStage` -> `stage_initialization`
    pub const GATE_STAGE: &str = "https://uor.foundation/reduction/stage_initialization";
}

/// Phase gate at stage 1 boundary: checks Ω¹.
pub mod gate_declare {
    /// `gateExpectedPhase`
    pub const GATE_EXPECTED_PHASE: &str = "Ω¹";
    /// `gateResult`
    pub const GATE_RESULT: bool = true;
    /// `gateStage` -> `stage_declare`
    pub const GATE_STAGE: &str = "https://uor.foundation/reduction/stage_declare";
}

/// Phase gate at stage 2 boundary: checks Ω².
pub mod gate_factorize {
    /// `gateExpectedPhase`
    pub const GATE_EXPECTED_PHASE: &str = "Ω²";
    /// `gateResult`
    pub const GATE_RESULT: bool = true;
    /// `gateStage` -> `stage_factorize`
    pub const GATE_STAGE: &str = "https://uor.foundation/reduction/stage_factorize";
}

/// Phase gate at stage 3 boundary: checks Ω³.
pub mod gate_resolve {
    /// `gateExpectedPhase`
    pub const GATE_EXPECTED_PHASE: &str = "Ω³";
    /// `gateResult`
    pub const GATE_RESULT: bool = true;
    /// `gateStage` -> `stage_resolve`
    pub const GATE_STAGE: &str = "https://uor.foundation/reduction/stage_resolve";
}

/// Phase gate at stage 4 boundary: checks Ω⁴.
pub mod gate_attest {
    /// `gateExpectedPhase`
    pub const GATE_EXPECTED_PHASE: &str = "Ω⁴";
    /// `gateResult`
    pub const GATE_RESULT: bool = true;
    /// `gateStage` -> `stage_attest`
    pub const GATE_STAGE: &str = "https://uor.foundation/reduction/stage_attest";
}

/// Phase gate at stage 5 boundary: checks Ω⁵.
pub mod gate_extract {
    /// `gateExpectedPhase`
    pub const GATE_EXPECTED_PHASE: &str = "Ω⁵";
    /// `gateResult`
    pub const GATE_RESULT: bool = true;
    /// `gateStage` -> `stage_extract`
    pub const GATE_STAGE: &str = "https://uor.foundation/reduction/stage_extract";
}

/// The canonical Euler reduction instance with Ω = e^{iπ/6} and 6 stages.
pub mod euler_reduction_instance {
    /// `convergenceAngle`
    pub const CONVERGENCE_ANGLE: &str = "π";
    /// `phaseParameter`
    pub const PHASE_PARAMETER: &str = "e^{iπ/6}";
    /// `stageCount`
    pub const STAGE_COUNT: i64 = 6;
}

/// The canonical phase rotation schedule for the 6-stage reduction.
pub mod phase_schedule {
    /// `baseAngle`
    pub const BASE_ANGLE: &str = "π/6";
    /// `rotationSchedule`
    pub const ROTATION_SCHEDULE: &str = "Ω⁰, Ω¹, Ω², Ω³, Ω⁴, Ω⁵";
}

/// The default convergence target angle π.
pub mod convergence_target {
    /// `targetAngle`
    pub const TARGET_ANGLE: &str = "π";
}

/// The canonical complex conjugate rollback operation: z → z̄.
pub mod conjugate_rollback {
    /// `rollbackTarget` -> `stage_initialization`
    pub const ROLLBACK_TARGET: &str = "https://uor.foundation/reduction/stage_initialization";
}

/// Failure: no resolver matched the dispatch query.
pub mod dispatch_miss {
    /// `failureKind`
    pub const FAILURE_KIND: &str = "DispatchMiss";
}

/// Failure: grounding to a valid ring address failed.
pub mod grounding_failure {
    /// `failureKind`
    pub const FAILURE_KIND: &str = "GroundingFailure";
}

/// Failure: reduction stalled before reaching convergence angle.
pub mod convergence_stall {
    /// `failureKind`
    pub const FAILURE_KIND: &str = "ConvergenceStall";
}

/// Failure: accumulation detected a logical contradiction.
pub mod contradiction_detected {
    /// `failureKind`
    pub const FAILURE_KIND: &str = "ContradictionDetected";
}

/// Failure: coherence constraint violated during extraction.
pub mod coherence_violation {
    /// `failureKind`
    pub const FAILURE_KIND: &str = "CoherenceViolation";
}

/// Failure: the CompileUnit's root term produced a value of a shape other than the caller-declared expected shape. Introduced in v0.2.2 W14 as part of the typed pipeline::run::\<T\> entry point.
pub mod shape_mismatch {
    /// `failureKind`
    pub const FAILURE_KIND: &str = "ShapeMismatch";
}

/// Successful termination: all sites saturated.
pub mod full_grounding_success {
    /// `groundingReached`
    pub const GROUNDING_REACHED: bool = true;
}

/// Preflight: checks that the reduction can reach convergence.
pub mod feasibility_check {
    /// `preflightKind`
    pub const PREFLIGHT_KIND: &str = "Feasibility";
    /// `preflightOrder`
    pub const PREFLIGHT_ORDER: i64 = 1;
}

/// Preflight: checks that every dispatch query has a resolver.
pub mod dispatch_coverage_check {
    /// `preflightKind`
    pub const PREFLIGHT_KIND: &str = "DispatchCoverage";
    /// `preflightOrder`
    pub const PREFLIGHT_ORDER: i64 = 2;
}

/// Preflight: checks package-level coherence constraints.
pub mod package_coherence_check {
    /// `preflightKind`
    pub const PREFLIGHT_KIND: &str = "PackageCoherence";
    /// `preflightOrder`
    pub const PREFLIGHT_ORDER: i64 = 3;
}

/// The default service window: 3 epochs, zero offset.
pub mod default_service_window {
    /// `windowOffset`
    pub const WINDOW_OFFSET: i64 = 0;
    /// `windowSize`
    pub const WINDOW_SIZE: i64 = 3;
}

/// Advancement from Initialization to Declare.
pub mod advance_init_to_declare {
    /// `advanceFrom` -> `stage_initialization`
    pub const ADVANCE_FROM: &str = "https://uor.foundation/reduction/stage_initialization";
    /// `advanceTo` -> `stage_declare`
    pub const ADVANCE_TO: &str = "https://uor.foundation/reduction/stage_declare";
}

/// An all-or-nothing atomic reduction transaction.
pub mod atomic_transaction {
    /// `transactionPolicy`
    pub const TRANSACTION_POLICY: &str = "AllOrNothing";
}

/// A trivially satisfied guard with no predicates.
pub mod empty_guard {}

/// The identity effect: no state changes.
pub mod identity_effect {}

/// A predicate that always evaluates to true.
pub mod true_predicate {
    /// `predicateField`
    pub const PREDICATE_FIELD: &str = "*";
    /// `predicateOperator`
    pub const PREDICATE_OPERATOR: &str = "true";
    /// `predicateValue`
    pub const PREDICATE_VALUE: &str = "*";
}

/// A no-op property binding that changes nothing.
pub mod noop_bind {
    /// `bindTarget`
    pub const BIND_TARGET: &str = "none";
    /// `bindValue`
    pub const BIND_VALUE: &str = "unchanged";
}

/// Lease is pending activation.
pub mod pending {
    /// `leasePhase`
    pub const LEASE_PHASE: &str = "Pending";
}

/// Lease is active and resources are allocated.
pub mod active {
    /// `leasePhase`
    pub const LEASE_PHASE: &str = "Active";
}

/// Lease has been explicitly released.
pub mod released {
    /// `leasePhase`
    pub const LEASE_PHASE: &str = "Released";
}

/// Lease has expired due to timeout.
pub mod expired {
    /// `leasePhase`
    pub const LEASE_PHASE: &str = "Expired";
}

/// Lease is temporarily suspended.
pub mod suspended {
    /// `leasePhase`
    pub const LEASE_PHASE: &str = "Suspended";
}

/// Preflight result: reduction is feasible.
pub mod feasibility_witness {
    /// `feasibilityKind`
    pub const FEASIBILITY_KIND: &str = "Feasible";
}

/// Preflight result: reduction is infeasible.
pub mod infeasibility_witness {
    /// `feasibilityKind`
    pub const FEASIBILITY_KIND: &str = "Infeasible";
    /// `feasibilityWitness`
    pub const FEASIBILITY_WITNESS: &str = "obstruction detected";
}

/// Preflight: timing feasibility check.
pub mod preflight_timing {
    /// `preflightKind`
    pub const PREFLIGHT_KIND: &str = "Timing";
    /// `preflightOrder`
    pub const PREFLIGHT_ORDER: i64 = 4;
}

/// Preflight: runtime timing bounds check.
pub mod runtime_timing {
    /// `preflightKind`
    pub const PREFLIGHT_KIND: &str = "RuntimeTiming";
    /// `preflightOrder`
    pub const PREFLIGHT_ORDER: i64 = 5;
}

/// Preflight: verifies thermodynamicBudget ≥ bitsWidth(unitWittLevel) × ln 2. Rejects the CompileUnit if the budget is absent or insufficient. Must execute before all other preflights (preflightOrder 0). Cost is O(1) per CS_4.
pub mod budget_solvency_check {
    /// `preflightKind`
    pub const PREFLIGHT_KIND: &str = "BudgetSolvency";
    /// `preflightOrder`
    pub const PREFLIGHT_ORDER: i64 = 0;
}

/// Default back-pressure signal with medium threshold.
pub mod back_pressure_default {
    /// `pressureLevel`
    pub const PRESSURE_LEVEL: &str = "Medium";
    /// `pressureThreshold`
    #[allow(clippy::approx_constant)]
    pub const PRESSURE_THRESHOLD: f64 = 0.75;
}

/// DispatchMiss field carrying the query IRI that failed to dispatch.
pub mod dispatch_miss_query_iri_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "query_iri";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "&'static str";
    /// `ofFailure` -> `DispatchMiss`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/DispatchMiss";
}

/// DispatchMiss field carrying the dispatch table IRI that failed to find a matching rule.
pub mod dispatch_miss_table_iri_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "table_iri";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "&'static str";
    /// `ofFailure` -> `DispatchMiss`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/DispatchMiss";
}

/// GroundingFailure field carrying the morphism:GroundingMap IRI whose image missed the ring.
pub mod grounding_failure_reason_iri_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "reason_iri";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "&'static str";
    /// `ofFailure` -> `GroundingFailure`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/GroundingFailure";
}

/// ConvergenceStall field carrying the IRI of the ReductionStep at which the phase-rotation scheduler stopped advancing.
pub mod convergence_stall_stage_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "stage_iri";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "&'static str";
    /// `ofFailure` -> `ConvergenceStall`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/ConvergenceStall";
}

/// ConvergenceStall field carrying the last reduction:convergenceAngle reached, encoded as a milli-radian integer to preserve `Eq` on PipelineFailure.
pub mod convergence_stall_angle_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "angle_milliradians";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "i64";
    /// `ofFailure` -> `ConvergenceStall`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/ConvergenceStall";
}

/// ContradictionDetected field carrying the derivation:stepIndex of the accumulation step.
pub mod contradiction_detected_at_step_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "at_step";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "usize";
    /// `ofFailure` -> `ContradictionDetected`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/ContradictionDetected";
}

/// ContradictionDetected field pointing to the trace:ComputationTrace record.
pub mod contradiction_detected_trace_iri_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "trace_iri";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "&'static str";
    /// `ofFailure` -> `ContradictionDetected`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/ContradictionDetected";
}

/// CoherenceViolation field carrying the site position where the conformance:PackageCoherenceCheck failed.
pub mod coherence_violation_site_position_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "site_position";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "usize";
    /// `ofFailure` -> `CoherenceViolation`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/CoherenceViolation";
}

/// CoherenceViolation field carrying the failing constraint IRI.
pub mod coherence_violation_constraint_iri_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "constraint_iri";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "&'static str";
    /// `ofFailure` -> `CoherenceViolation`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/CoherenceViolation";
}

/// ShapeMismatch field carrying the expected shape IRI declared by the caller of pipeline::run::\<T\>.
pub mod shape_mismatch_expected_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "expected";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "&'static str";
    /// `ofFailure` -> `ShapeMismatch`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/ShapeMismatch";
}

/// ShapeMismatch field carrying the actual shape IRI produced by the CompileUnit's root term.
pub mod shape_mismatch_got_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "got";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "&'static str";
    /// `ofFailure` -> `ShapeMismatch`
    pub const OF_FAILURE: &str = "https://uor.foundation/reduction/ShapeMismatch";
}

/// LiftObstructionFailure field carrying the site position from the resolver:LiftRefinementSuggestion.
pub mod lift_obstruction_site_position_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "site_position";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "usize";
    /// `ofFailure` -> `LiftObstructionFailure`
    pub const OF_FAILURE: &str = "https://uor.foundation/failure/LiftObstructionFailure";
}

/// LiftObstructionFailure field carrying the obstruction class IRI from the LiftRefinementSuggestion.
pub mod lift_obstruction_obstruction_class_iri_field {
    /// `fieldName`
    pub const FIELD_NAME: &str = "obstruction_class_iri";
    /// `fieldType`
    pub const FIELD_TYPE: &str = "&'static str";
    /// `ofFailure` -> `LiftObstructionFailure`
    pub const OF_FAILURE: &str = "https://uor.foundation/failure/LiftObstructionFailure";
}

/// v0.2.1 2-SAT decider bounds. Drives TWO_SAT_MAX_VARS and the corresponding Lean fuel constant.
pub mod two_sat_bound {
    /// `maxClauseCount`
    pub const MAX_CLAUSE_COUNT: i64 = 512;
    /// `maxLiteralsPerClause`
    pub const MAX_LITERALS_PER_CLAUSE: i64 = 2;
    /// `maxVarCount`
    pub const MAX_VAR_COUNT: i64 = 256;
}

/// v0.2.1 Horn-SAT decider bounds.
pub mod horn_sat_bound {
    /// `maxClauseCount`
    pub const MAX_CLAUSE_COUNT: i64 = 512;
    /// `maxLiteralsPerClause`
    pub const MAX_LITERALS_PER_CLAUSE: i64 = 8;
    /// `maxVarCount`
    pub const MAX_VAR_COUNT: i64 = 256;
}

/// v0.2.1 preflight-stage time budget.
pub mod preflight_timing_bound {
    /// `preflightBudgetNs`
    pub const PREFLIGHT_BUDGET_NS: i64 = 10000000;
}

/// v0.2.1 runtime-stage time budget.
pub mod runtime_timing_bound {
    /// `runtimeBudgetNs`
    pub const RUNTIME_BUDGET_NS: i64 = 10000000;
}