Module analysis 

Analysis utilities for the reduction graph.

Detects primitive reduction rules that are dominated by composite paths, using asymptotic normalization plus monomial-dominance comparison.

This analysis is sound but incomplete: it reports Dominated only when the symbolic comparison is trustworthy, and Unknown when metadata is too weak to compare safely.

Structs

DominatedRule

A primitive reduction rule proven dominated by a composite path.

UnknownComparison

A candidate comparison that could not be decided soundly.

Enums

ComparisonStatus

Result of comparing one primitive rule against one composite path.

Functions

compare_overhead

Compare two overheads across all common fields.

find_dominated_rules

Find all primitive reduction rules dominated by composite paths.

format_problem_variant