safe-rewriting-advisor

Safe Rewriting Advisor

Category: Graph Optimization + Remediation Type: Strategic Edge Removal Analysis Language: Julia Status: Production Ready Version: 1.0.0 Date: December 22, 2025

Overview

Strategic selective edge removal maintaining spectral gap ≥ 0.25. Analyzes edge criticality via betweenness centrality to identify which proof dependencies can be safely removed without breaking system connectivity (Ramanujan property).

Key Data Structures

struct EdgeImportance
    edge_id::Tuple{Int, Int}
    betweenness_centrality::Float64
    gap_sensitivity::Float64
    redundancy_score::Float64
    recommendation::String
end

struct RewritePlan
    edges_to_remove::Vector{Tuple{Int, Int}}
    edges_to_split::Vector{Tuple{Int, Int}}
    cycle_breakers::Vector{String}
    expected_gap_before::Float64
    expected_gap_after::Float64
    safe::Bool
    complexity::String
end

Key Functions

• compute_edge_importance(adjacency): Betweenness centrality analysis
• identify_redundant_edges(edges): Find safe-to-remove edges
• generate_rewrite_plan(adjacency, gap): Strategic remediation
• generate_rewrite_report(adjacency, gap): Human-readable analysis

Mathematical Foundation

Edge Criticality Classification

gap_sensitivity > 80%  : CRITICAL - essential for connectivity
40-80%                 : IMPORTANT - remove only if necessary
< 40%                  : REDUNDANT - safe to remove

Uses betweenness centrality to measure how many paths depend on each edge. Recommends cycle-breaking via intermediate theorems for low-gap systems.

Usage

using SafeRewriting

# Analyze current system
plan = generate_rewrite_plan(adjacency, current_gap)

# Check if transformation is safe
if plan.safe && plan.expected_gap_after >= 0.25
    println("✓ Safe to apply $(length(plan.edges_to_remove)) edge removals")
    println("  Gap projection: $(plan.expected_gap_before) → $(plan.expected_gap_after)")
end

# Get recommendations
report = generate_rewrite_report(adjacency, current_gap)