Remove dead routing code from eval.py

README.md

@@ -24,8 +24,7 @@ Each gate is a threshold logic unit: `output = step(weights · inputs + bias)`.
 |------|-------------|
 | `arithmetic.safetensors` | 23,494 tensors encoding 7,828 gates |
 | `eval.py` | Test harness (206,124 tests) |
-| `convert_to_explicit_inputs.py` | Builds tensors and infers gate connectivity |
-| `routing.json` | Signal routing for complex circuits |
+| `build.py` | Builds tensors and infers gate connectivity |
 
 ## Circuits
 

eval.py

@@ -48,7 +48,6 @@ class TestResult:
 @dataclass
 class EvalContext:
     tensors: Dict[str, torch.Tensor]
-    routing: Dict[str, List[str]]
     gates: List[str]
     signals: Dict[str, int]
     name_to_id: Dict[str, int] = field(default_factory=dict)
@@ -82,15 +81,6 @@ def load_model(path: str = "./arithmetic.safetensors") -> Tuple[Dict[str, torch.
     return tensors, gates, signals, name_to_id
 
 
-def load_routing(path: str = "./routing.json") -> Dict[str, List[str]]:
-    """Load routing configuration."""
-    try:
-        with open(path, 'r') as f:
-            return json.load(f)
-    except FileNotFoundError:
-        return {}
-
-
 def evaluate_gate(ctx: EvalContext, gate: str, inputs: torch.Tensor) -> torch.Tensor:
     """Evaluate a single threshold gate."""
     weight_key = f"{gate}.weight"
@@ -1928,7 +1918,6 @@ def print_summary(results: List[TestResult], ctx: EvalContext,
 def main():
     parser = argparse.ArgumentParser(description="Unified evaluator for threshold-calculus circuits")
     parser.add_argument("--model", default="./arithmetic.safetensors", help="Path to model file")
-    parser.add_argument("--routing", default="./routing.json", help="Path to routing file")
     parser.add_argument("--category", "-c", action="append", help="Test specific category (can repeat)")
     parser.add_argument("--circuit", action="append", help="Test specific circuit (can repeat)")
     parser.add_argument("--quick", "-q", action="store_true", help="Quick mode (fewer test cases)")
@@ -1947,13 +1936,11 @@ def main():
 
     print(f"Loading model from {args.model}...")
     tensors, gates, signals, name_to_id = load_model(args.model)
-    routing = load_routing(args.routing)
 
     print(f"Loaded {len(tensors)} tensors, {len(gates)} gates, {len(signals)} signals")
 
     ctx = EvalContext(
         tensors=tensors,
-        routing=routing,
         gates=gates,
         signals=signals,
         name_to_id=name_to_id,