test(fixtures): add type_info: None to Hypothesis/Definition/Variable literals

echidna::core::{Hypothesis, Definition, Variable} gained an
`Option<TypeInfo>` `type_info` field (likely part of the type-system
decoration layer in feat 8c46e2b / 53af277 etc.) but the following
fixture call sites were not updated, breaking cargo check --all-targets:

- tests/common/generators.rs:71  (Hypothesis)
- tests/common/generators.rs:94  (Definition)
- tests/common/generators.rs:113 (Variable)
- tests/common/mod.rs:44         (Hypothesis)
- benches/proof_benchmarks.rs:39 (Hypothesis)
- tests/sanity_suite.rs:53       (Variable — make_proof_state Bool)
- tests/sanity_suite.rs:76       (Variable — make_proof_state_int Int)
- tests/sanity_suite.rs:510      (Variable — adversarial contradiction test)

All 8 sites get `type_info: None,` — safe default for property-based /
benchmark / sanity fixtures that don't need type-info decoration.

After fix: cargo test --test neural_property_tests --test aspect_tests
--test e2e_prover_test --test security_aspect_tests --test sanity_suite
passes (32 test units across the 5 binaries).

Known remaining cargo check --all-targets breakage, NOT fixed here:
examples/aspect_tagging_demo.rs:7 — unresolved import of
`echidna::aspect::NeuralTagger`. Separate defect, tracked independently.

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

Author: hyperpolymath

benches/proof_benchmarks.rs

@@ -40,6 +40,7 @@ fn bench_proof_state_construction(c: &mut Criterion) {
                                 name: format!("h_{i}"),
                                 ty: Term::Const("Prop".to_string()),
                                 body: None,
+                                type_info: None,
                             }],
                             target: Term::App {
                                 func: Box::new(Term::Const("eq".to_string())),

tests/common/generators.rs

@@ -72,6 +72,7 @@ pub fn arb_hypothesis() -> impl Strategy<Value = Hypothesis> {
         name,
         ty,
         body,
+        type_info: None,
     })
 }
 
@@ -95,6 +96,7 @@ pub fn arb_definition() -> impl Strategy<Value = Definition> {
         name,
         ty,
         body,
+        type_info: None,
     })
 }
 
@@ -110,7 +112,11 @@ pub fn arb_theorem() -> impl Strategy<Value = Theorem> {
 
 /// Strategy for generating a variable
 pub fn arb_variable() -> impl Strategy<Value = Variable> {
-    (var_name(), arb_term()).prop_map(|(name, ty)| Variable { name, ty })
+    (var_name(), arb_term()).prop_map(|(name, ty)| Variable {
+        name,
+        ty,
+        type_info: None,
+    })
 }
 
 /// Strategy for generating contexts

tests/common/mod.rs

@@ -45,6 +45,7 @@ pub fn multi_goal_proof_state() -> ProofState {
                     name: "h".to_string(),
                     ty: Term::Const("P".to_string()),
                     body: None,
+                    type_info: None,
                 }],
                 target: Term::Const("Q".to_string()),
             },

tests/sanity_suite.rs

@@ -53,6 +53,7 @@ fn make_proof_state(bool_vars: &[&str], axioms: &[&str], goal_term: &str) -> Pro
         ctx.variables.push(Variable {
             name: v.to_string(),
             ty: Term::Const("Bool".to_string()),
+            type_info: None,
         });
     }
     for ax in axioms {
@@ -76,6 +77,7 @@ fn make_proof_state_int(int_vars: &[&str], axioms: &[&str], goal_term: &str) ->
         ctx.variables.push(Variable {
             name: v.to_string(),
             ty: Term::Const("Int".to_string()),
+            type_info: None,
         });
     }
     for ax in axioms {
@@ -510,6 +512,7 @@ async fn sanity_goal_set_inconsistency() {
     ctx.variables.push(echidna::core::Variable {
         name: "P".to_string(),
         ty: echidna::core::Term::Const("Bool".to_string()),
+        type_info: None,
     });
     let state = ProofState {
         goals: vec![