Add canonical rule examples for <One> MC↔MIS reductions

The test `canonical_rule_examples_cover_exactly_authored_direct_reductions`
requires every registered `#[reduction]` edge to have a matching
canonical `RuleExampleSpec`. The new `<SimpleGraph, One>` edges for
`MaximumClique ↔ MaximumIndependentSet` had no corresponding example
entries, so the test failed in CI (Code Coverage + Test jobs).

Add parallel `_one` variants of the existing i32 examples, reusing the
same P4/P5 graph shapes and solutions (the target configs are identical
because the reduction is vertex-identity).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: GiggleLiu

src/rules/maximumclique_maximumindependentset.rs

@@ -76,25 +76,46 @@ impl ReduceTo<MaximumIndependentSet<SimpleGraph, One>> for MaximumClique<SimpleG
 pub(crate) fn canonical_rule_example_specs() -> Vec<crate::example_db::specs::RuleExampleSpec> {
     use crate::export::SolutionPair;
 
-    vec![crate::example_db::specs::RuleExampleSpec {
-        id: "maximumclique_to_maximumindependentset",
-        build: || {
-            let source = MaximumClique::new(
-                SimpleGraph::new(4, vec![(0, 1), (1, 2), (2, 3)]),
-                vec![1i32; 4],
-            );
-            crate::example_db::specs::rule_example_with_witness::<
-                _,
-                MaximumIndependentSet<SimpleGraph, i32>,
-            >(
-                source,
-                SolutionPair {
-                    source_config: vec![0, 1, 1, 0],
-                    target_config: vec![0, 1, 1, 0],
-                },
-            )
+    vec![
+        crate::example_db::specs::RuleExampleSpec {
+            id: "maximumclique_to_maximumindependentset",
+            build: || {
+                let source = MaximumClique::new(
+                    SimpleGraph::new(4, vec![(0, 1), (1, 2), (2, 3)]),
+                    vec![1i32; 4],
+                );
+                crate::example_db::specs::rule_example_with_witness::<
+                    _,
+                    MaximumIndependentSet<SimpleGraph, i32>,
+                >(
+                    source,
+                    SolutionPair {
+                        source_config: vec![0, 1, 1, 0],
+                        target_config: vec![0, 1, 1, 0],
+                    },
+                )
+            },
         },
-    }]
+        crate::example_db::specs::RuleExampleSpec {
+            id: "maximumclique_to_maximumindependentset_one",
+            build: || {
+                let source = MaximumClique::new(
+                    SimpleGraph::new(4, vec![(0, 1), (1, 2), (2, 3)]),
+                    vec![One; 4],
+                );
+                crate::example_db::specs::rule_example_with_witness::<
+                    _,
+                    MaximumIndependentSet<SimpleGraph, One>,
+                >(
+                    source,
+                    SolutionPair {
+                        source_config: vec![0, 1, 1, 0],
+                        target_config: vec![0, 1, 1, 0],
+                    },
+                )
+            },
+        },
+    ]
 }
 
 #[cfg(test)]

src/rules/maximumindependentset_maximumclique.rs

@@ -76,22 +76,46 @@ impl ReduceTo<MaximumClique<SimpleGraph, One>> for MaximumIndependentSet<SimpleG
 pub(crate) fn canonical_rule_example_specs() -> Vec<crate::example_db::specs::RuleExampleSpec> {
     use crate::export::SolutionPair;
 
-    vec![crate::example_db::specs::RuleExampleSpec {
-        id: "maximumindependentset_to_maximumclique",
-        build: || {
-            let source = MaximumIndependentSet::new(
-                SimpleGraph::new(5, vec![(0, 1), (1, 2), (2, 3), (3, 4)]),
-                vec![1i32; 5],
-            );
-            crate::example_db::specs::rule_example_with_witness::<_, MaximumClique<SimpleGraph, i32>>(
-                source,
-                SolutionPair {
-                    source_config: vec![1, 0, 1, 0, 1],
-                    target_config: vec![1, 0, 1, 0, 1],
-                },
-            )
+    vec![
+        crate::example_db::specs::RuleExampleSpec {
+            id: "maximumindependentset_to_maximumclique",
+            build: || {
+                let source = MaximumIndependentSet::new(
+                    SimpleGraph::new(5, vec![(0, 1), (1, 2), (2, 3), (3, 4)]),
+                    vec![1i32; 5],
+                );
+                crate::example_db::specs::rule_example_with_witness::<
+                    _,
+                    MaximumClique<SimpleGraph, i32>,
+                >(
+                    source,
+                    SolutionPair {
+                        source_config: vec![1, 0, 1, 0, 1],
+                        target_config: vec![1, 0, 1, 0, 1],
+                    },
+                )
+            },
         },
-    }]
+        crate::example_db::specs::RuleExampleSpec {
+            id: "maximumindependentset_to_maximumclique_one",
+            build: || {
+                let source = MaximumIndependentSet::new(
+                    SimpleGraph::new(5, vec![(0, 1), (1, 2), (2, 3), (3, 4)]),
+                    vec![One; 5],
+                );
+                crate::example_db::specs::rule_example_with_witness::<
+                    _,
+                    MaximumClique<SimpleGraph, One>,
+                >(
+                    source,
+                    SolutionPair {
+                        source_config: vec![1, 0, 1, 0, 1],
+                        target_config: vec![1, 0, 1, 0, 1],
+                    },
+                )
+            },
+        },
+    ]
 }
 
 #[cfg(test)]