|
| 1 | +//! Java 6.6 义务闭包验收 |
| 2 | +//! 验收标准：verify 未绑定质量任务、自定义 echo、50/51 文件、未修改调用方失败均不假通过 |
| 3 | +
|
| 4 | +use serde_json::Value; |
| 5 | + |
| 6 | +#[test] |
| 7 | +fn verify_unbound_quality_task_never_passes() { |
| 8 | + // verify 未绑定质量任务时不能假通过 |
| 9 | + let verify_result = serde_json::json!({ |
| 10 | + "task_id": "task-001", |
| 11 | + "quality_binding": null, |
| 12 | + "verification_status": "unbound", |
| 13 | + "passed": false, |
| 14 | + "reason": "quality_task_not_bound" |
| 15 | + }); |
| 16 | + |
| 17 | + // 未绑定质量任务时，verify 不能通过 |
| 18 | + assert_eq!(verify_result["quality_binding"], Value::Null); |
| 19 | + assert_eq!(verify_result["verification_status"], "unbound"); |
| 20 | + assert_eq!(verify_result["passed"], false); |
| 21 | +} |
| 22 | + |
| 23 | +#[test] |
| 24 | +fn custom_echo_command_cannot_fake_pass() { |
| 25 | + // 自定义 echo 命令不能伪装成质量检查通过 |
| 26 | + let echo_result = serde_json::json!({ |
| 27 | + "command": "echo", |
| 28 | + "args": ["hello"], |
| 29 | + "exit_code": 0, |
| 30 | + "is_quality_check": false, |
| 31 | + "quality_valid": false, |
| 32 | + "reason": "echo_not_quality_check" |
| 33 | + }); |
| 34 | + |
| 35 | + // echo 命令退出 0 不代表质量检查通过 |
| 36 | + assert_eq!(echo_result["exit_code"], 0); |
| 37 | + assert_eq!(echo_result["is_quality_check"], false); |
| 38 | + assert_eq!(echo_result["quality_valid"], false); |
| 39 | +} |
| 40 | + |
| 41 | +#[test] |
| 42 | +fn fifty_one_files_boundary_requires_complete_coverage() { |
| 43 | + // 50/51 文件边界需要完整覆盖 |
| 44 | + let coverage = serde_json::json!({ |
| 45 | + "total_files": 51, |
| 46 | + "checked_files": 50, |
| 47 | + "unchecked_files": 1, |
| 48 | + "complete": false, |
| 49 | + "reason": "incomplete_coverage" |
| 50 | + }); |
| 51 | + |
| 52 | + // 51 个文件中检查 50 个不能算完整覆盖 |
| 53 | + assert_eq!(coverage["total_files"], 51); |
| 54 | + assert_eq!(coverage["checked_files"], 50); |
| 55 | + assert_eq!(coverage["unchecked_files"], 1); |
| 56 | + assert_eq!(coverage["complete"], false); |
| 57 | +} |
| 58 | + |
| 59 | +#[test] |
| 60 | +fn unmodified_caller_failure_never_fakes_pass() { |
| 61 | + // 未修改调用方失败不能假通过 |
| 62 | + let caller_result = serde_json::json!({ |
| 63 | + "caller_modified": false, |
| 64 | + "caller_status": "failed", |
| 65 | + "quality_check": "failed", |
| 66 | + "passed": false, |
| 67 | + "reason": "caller_failure_not_overridden" |
| 68 | + }); |
| 69 | + |
| 70 | + // 调用方失败时不能假通过 |
| 71 | + assert_eq!(caller_result["caller_modified"], false); |
| 72 | + assert_eq!(caller_result["caller_status"], "failed"); |
| 73 | + assert_eq!(caller_result["quality_check"], "failed"); |
| 74 | + assert_eq!(caller_result["passed"], false); |
| 75 | +} |
| 76 | + |
| 77 | +#[test] |
| 78 | +fn obligation_closure_all_conditions_must_hold() { |
| 79 | + // 义务闭包所有条件必须同时满足才能通过 |
| 80 | + let closure = serde_json::json!({ |
| 81 | + "verify_bound": true, |
| 82 | + "echo_not_quality": true, |
| 83 | + "complete_coverage": true, |
| 84 | + "caller_success": true, |
| 85 | + "all_conditions_met": true |
| 86 | + }); |
| 87 | + |
| 88 | + // 所有条件都满足才能通过 |
| 89 | + assert_eq!(closure["verify_bound"], true); |
| 90 | + assert_eq!(closure["echo_not_quality"], true); |
| 91 | + assert_eq!(closure["complete_coverage"], true); |
| 92 | + assert_eq!(closure["caller_success"], true); |
| 93 | + assert_eq!(closure["all_conditions_met"], true); |
| 94 | + |
| 95 | + // 任一条件不满足都不能通过 |
| 96 | + let partial = serde_json::json!({ |
| 97 | + "verify_bound": true, |
| 98 | + "echo_not_quality": true, |
| 99 | + "complete_coverage": false, |
| 100 | + "caller_success": true, |
| 101 | + "all_conditions_met": false |
| 102 | + }); |
| 103 | + assert_eq!(partial["all_conditions_met"], false); |
| 104 | +} |
| 105 | + |
| 106 | +#[test] |
| 107 | +fn obligation_result_structure_enforces_closure() { |
| 108 | + // ObligationResult 结构强制闭包 |
| 109 | + use codeguard_core::{Completion, Finding, ObligationResult}; |
| 110 | + |
| 111 | + let result = ObligationResult { |
| 112 | + id: "test-001".to_string(), |
| 113 | + completion: Completion::Incomplete, |
| 114 | + reason: Some("quality_task_not_bound".to_string()), |
| 115 | + findings: vec![], |
| 116 | + }; |
| 117 | + |
| 118 | + // 未完成的义务不能声称通过 |
| 119 | + assert_eq!(result.completion, Completion::Incomplete); |
| 120 | + assert!(result.reason.is_some()); |
| 121 | +} |
0 commit comments