fix: add missing file/line fields to WeakPoint initializers

The WeakPoint struct gained file and line fields (for GitHub Actions
annotations), but several test helpers and benchmarks were not updated,
causing compilation failures.

https://claude.ai/code/session_01HTks5HmV7XHW6ZtiEfp9dN

Author: claude

benches/scan_bench.rs

@@ -96,6 +96,8 @@ fn bench_location_extraction(c: &mut Criterion) {
             category: panic_attack::types::WeakPointCategory::UnsafeCode,
             severity: panic_attack::types::Severity::High,
             location: Some("test.rs:10".to_string()),
+            file: None,
+            line: None,
             description: "test".to_string(),
             recommended_attack: vec![],
         };

src/a2ml/mod.rs

@@ -827,6 +827,8 @@ mod tests {
             weak_points: vec![WeakPoint {
                 category: WeakPointCategory::UncheckedError,
                 location: Some("src/main.rs:10".to_string()),
+                file: Some("src/main.rs".to_string()),
+                line: Some(10),
                 severity: Severity::Medium,
                 description: "unchecked result".to_string(),
                 recommended_attack: vec![AttackAxis::Concurrency],

src/kanren/core.rs

@@ -1052,6 +1052,8 @@ mod tests {
         WeakPoint {
             category,
             location: Some(location.to_string()),
+            file: None,
+            line: None,
             severity: Severity::Medium,
             description: description.to_string(),
             recommended_attack: vec![],

tests/panll_tests.rs

@@ -68,6 +68,8 @@ fn test_panll_export_summary_reflects_report() {
         vec![WeakPoint {
             category: WeakPointCategory::UnsafeCode,
             location: Some("src/lib.rs".to_string()),
+            file: None,
+            line: None,
             severity: Severity::Critical,
             description: "unsafe block".to_string(),
             recommended_attack: vec![],
@@ -93,13 +95,17 @@ fn test_panll_export_constraints_from_critical_wp() {
             WeakPoint {
                 category: WeakPointCategory::UnsafeCode,
                 location: Some("src/danger.rs".to_string()),
+                file: None,
+                line: None,
                 severity: Severity::Critical,
                 description: "transmute usage".to_string(),
                 recommended_attack: vec![AttackAxis::Memory],
             },
             WeakPoint {
                 category: WeakPointCategory::PanicPath,
                 location: Some("src/safe.rs".to_string()),
+                file: None,
+                line: None,
                 severity: Severity::Medium,
                 description: "unwrap call".to_string(),
                 recommended_attack: vec![],

tests/property_tests.rs

@@ -180,6 +180,8 @@ fn prop_weak_point_location_validity() {
         category: WeakPointCategory::UnsafeCode,
         severity: Severity::High,
         location: None,
+        file: None,
+        line: None,
         description: "test".to_string(),
         recommended_attack: vec![],
     };
@@ -233,13 +235,17 @@ fn prop_no_duplicate_weak_points_at_same_location() {
             category: WeakPointCategory::UnsafeCode,
             severity: Severity::High,
             location: Some("test.rs:10".to_string()),
+            file: None,
+            line: None,
             description: "unsafe block 1".to_string(),
             recommended_attack: vec![],
         },
         WeakPoint {
             category: WeakPointCategory::UnsafeCode,
             severity: Severity::High,
             location: Some("test.rs:10".to_string()),
+            file: None,
+            line: None,
             description: "unsafe block 2".to_string(),
             recommended_attack: vec![],
         },

tests/report_tests.rs

@@ -16,13 +16,17 @@ fn make_assail_report() -> AssailReport {
             WeakPoint {
                 category: WeakPointCategory::UnsafeCode,
                 location: Some("src/main.rs".to_string()),
+                file: None,
+                line: None,
                 severity: Severity::Critical,
                 description: "2 unsafe blocks in src/main.rs".to_string(),
                 recommended_attack: vec![AttackAxis::Memory, AttackAxis::Concurrency],
             },
             WeakPoint {
                 category: WeakPointCategory::PanicPath,
                 location: Some("src/lib.rs".to_string()),
+                file: None,
+                line: None,
                 severity: Severity::Medium,
                 description: "5 unwrap/expect calls in src/lib.rs".to_string(),
                 recommended_attack: vec![AttackAxis::Memory],
@@ -132,6 +136,8 @@ fn test_robustness_score_clamped_to_zero() {
         assail.weak_points.push(WeakPoint {
             category: WeakPointCategory::UnsafeCode,
             location: Some(format!("src/file{}.rs", i)),
+            file: None,
+            line: None,
             severity: Severity::Critical,
             description: format!("critical issue {}", i),
             recommended_attack: vec![],

tests/sarif_tests.rs

@@ -18,13 +18,17 @@ fn make_test_report() -> AssailReport {
                 severity: Severity::Critical,
                 description: "unsafe block found".to_string(),
                 location: Some("src/main.rs:10".to_string()),
+                file: Some("src/main.rs".to_string()),
+                line: Some(10),
                 recommended_attack: vec![AttackAxis::Memory],
             },
             WeakPoint {
                 category: WeakPointCategory::PanicPath,
                 severity: Severity::Medium,
                 description: "unwrap on Option".to_string(),
                 location: Some("src/lib.rs:42".to_string()),
+                file: Some("src/lib.rs".to_string()),
+                line: Some(42),
                 recommended_attack: vec![],
             },
         ],