ai-dispatch 10.20.0

Multi-AI CLI team orchestrator
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262

// Exhaustive contract tests for task outcome derivation and verification rules.
// Exports: none; loaded by outcome.rs under `#[cfg(test)]`.
// Deps: crate::types public outcome and status re-exports.

use crate::types::{outcome::UnverifiedReason, verify_required, TaskOutcome, TaskStatus, VerifyStatus};

const GOLDEN_TABLE: [(TaskStatus, VerifyStatus, bool, TaskOutcome); 120] = [
    (TaskStatus::Waiting, VerifyStatus::Pending, false, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::Pending, true, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::Passed, false, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::Passed, true, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::Failed, false, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::Failed, true, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::Skipped, false, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::Skipped, true, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::TimedOut, false, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::TimedOut, true, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::InfrastructureFailure, false, TaskOutcome::InProgress),
    (TaskStatus::Waiting, VerifyStatus::InfrastructureFailure, true, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::Pending, false, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::Pending, true, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::Passed, false, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::Passed, true, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::Failed, false, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::Failed, true, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::Skipped, false, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::Skipped, true, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::TimedOut, false, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::TimedOut, true, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::InfrastructureFailure, false, TaskOutcome::InProgress),
    (TaskStatus::Pending, VerifyStatus::InfrastructureFailure, true, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::Pending, false, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::Pending, true, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::Passed, false, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::Passed, true, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::Failed, false, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::Failed, true, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::Skipped, false, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::Skipped, true, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::TimedOut, false, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::TimedOut, true, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::InfrastructureFailure, false, TaskOutcome::InProgress),
    (TaskStatus::Running, VerifyStatus::InfrastructureFailure, true, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::Pending, false, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::Pending, true, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::Passed, false, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::Passed, true, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::Failed, false, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::Failed, true, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::Skipped, false, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::Skipped, true, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::TimedOut, false, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::TimedOut, true, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::InfrastructureFailure, false, TaskOutcome::InProgress),
    (TaskStatus::AwaitingInput, VerifyStatus::InfrastructureFailure, true, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::Pending, false, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::Pending, true, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::Passed, false, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::Passed, true, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::Failed, false, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::Failed, true, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::Skipped, false, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::Skipped, true, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::TimedOut, false, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::TimedOut, true, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::InfrastructureFailure, false, TaskOutcome::InProgress),
    (TaskStatus::Stalled, VerifyStatus::InfrastructureFailure, true, TaskOutcome::InProgress),
    (TaskStatus::Done, VerifyStatus::Pending, false, TaskOutcome::Delivered),
    (TaskStatus::Done, VerifyStatus::Pending, true, TaskOutcome::Unverified(UnverifiedReason::NoResult)),
    (TaskStatus::Done, VerifyStatus::Passed, false, TaskOutcome::Verified),
    (TaskStatus::Done, VerifyStatus::Passed, true, TaskOutcome::Verified),
    (TaskStatus::Done, VerifyStatus::Failed, false, TaskOutcome::Broken),
    (TaskStatus::Done, VerifyStatus::Failed, true, TaskOutcome::Broken),
    (TaskStatus::Done, VerifyStatus::Skipped, false, TaskOutcome::Delivered),
    (TaskStatus::Done, VerifyStatus::Skipped, true, TaskOutcome::Unverified(UnverifiedReason::NoResult)),
    (TaskStatus::Done, VerifyStatus::TimedOut, false, TaskOutcome::Unverified(UnverifiedReason::TimedOut)),
    (TaskStatus::Done, VerifyStatus::TimedOut, true, TaskOutcome::Unverified(UnverifiedReason::TimedOut)),
    (TaskStatus::Done, VerifyStatus::InfrastructureFailure, false, TaskOutcome::Unverified(UnverifiedReason::Infrastructure)),
    (TaskStatus::Done, VerifyStatus::InfrastructureFailure, true, TaskOutcome::Unverified(UnverifiedReason::Infrastructure)),
    (TaskStatus::Merged, VerifyStatus::Pending, false, TaskOutcome::Delivered),
    (TaskStatus::Merged, VerifyStatus::Pending, true, TaskOutcome::Unverified(UnverifiedReason::NoResult)),
    (TaskStatus::Merged, VerifyStatus::Passed, false, TaskOutcome::Verified),
    (TaskStatus::Merged, VerifyStatus::Passed, true, TaskOutcome::Verified),
    (TaskStatus::Merged, VerifyStatus::Failed, false, TaskOutcome::Broken),
    (TaskStatus::Merged, VerifyStatus::Failed, true, TaskOutcome::Broken),
    (TaskStatus::Merged, VerifyStatus::Skipped, false, TaskOutcome::Delivered),
    (TaskStatus::Merged, VerifyStatus::Skipped, true, TaskOutcome::Unverified(UnverifiedReason::NoResult)),
    (TaskStatus::Merged, VerifyStatus::TimedOut, false, TaskOutcome::Unverified(UnverifiedReason::TimedOut)),
    (TaskStatus::Merged, VerifyStatus::TimedOut, true, TaskOutcome::Unverified(UnverifiedReason::TimedOut)),
    (TaskStatus::Merged, VerifyStatus::InfrastructureFailure, false, TaskOutcome::Unverified(UnverifiedReason::Infrastructure)),
    (TaskStatus::Merged, VerifyStatus::InfrastructureFailure, true, TaskOutcome::Unverified(UnverifiedReason::Infrastructure)),
    (TaskStatus::Failed, VerifyStatus::Pending, false, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::Pending, true, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::Passed, false, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::Passed, true, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::Failed, false, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::Failed, true, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::Skipped, false, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::Skipped, true, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::TimedOut, false, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::TimedOut, true, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::InfrastructureFailure, false, TaskOutcome::Failed),
    (TaskStatus::Failed, VerifyStatus::InfrastructureFailure, true, TaskOutcome::Failed),
    (TaskStatus::Skipped, VerifyStatus::Pending, false, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::Pending, true, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::Passed, false, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::Passed, true, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::Failed, false, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::Failed, true, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::Skipped, false, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::Skipped, true, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::TimedOut, false, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::TimedOut, true, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::InfrastructureFailure, false, TaskOutcome::Skipped),
    (TaskStatus::Skipped, VerifyStatus::InfrastructureFailure, true, TaskOutcome::Skipped),
    (TaskStatus::Stopped, VerifyStatus::Pending, false, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::Pending, true, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::Passed, false, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::Passed, true, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::Failed, false, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::Failed, true, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::Skipped, false, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::Skipped, true, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::TimedOut, false, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::TimedOut, true, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::InfrastructureFailure, false, TaskOutcome::Stopped),
    (TaskStatus::Stopped, VerifyStatus::InfrastructureFailure, true, TaskOutcome::Stopped),
];

/// `ALL` is a fixed-size array, so a new enum variant does not break it and the
/// golden table would silently stop covering the whole product. These matches go
/// non-exhaustive the moment a variant is added, which drags whoever added it
/// into this file — where the next step is to extend `ALL` and the table.
#[test]
fn all_lists_stay_in_step_with_their_enums() {
    for status in TaskStatus::ALL {
        match status {
            TaskStatus::Waiting
            | TaskStatus::Pending
            | TaskStatus::Running
            | TaskStatus::AwaitingInput
            | TaskStatus::Stalled
            | TaskStatus::Done
            | TaskStatus::Merged
            | TaskStatus::Failed
            | TaskStatus::Skipped
            | TaskStatus::Stopped => {}
        }
    }
    for verify_status in VerifyStatus::ALL {
        match verify_status {
            VerifyStatus::Pending
            | VerifyStatus::Passed
            | VerifyStatus::Failed
            | VerifyStatus::Skipped
            | VerifyStatus::TimedOut
            | VerifyStatus::InfrastructureFailure => {}
        }
    }
    assert_eq!(TaskStatus::ALL.len(), 10);
    assert_eq!(VerifyStatus::ALL.len(), 6);
}

#[test]
fn golden_cartesian_derivation_table() {
    let expected_cell_count = TaskStatus::ALL.len() * VerifyStatus::ALL.len() * 2;
    assert_eq!(GOLDEN_TABLE.len(), expected_cell_count);

    for status in TaskStatus::ALL {
        for verify_status in VerifyStatus::ALL {
            for verify_required in [false, true] {
                let matches = GOLDEN_TABLE.iter().filter(|cell| {
                    cell.0 == status && cell.1 == verify_status && cell.2 == verify_required
                });
                let cells: Vec<_> = matches.collect();
                assert_eq!(
                    cells.len(),
                    1,
                    "golden table must contain exactly one cell for status={}, verify_status={}, verify_required={verify_required}",
                    status.as_str(),
                    verify_status.as_str(),
                );
                assert_eq!(
                    TaskOutcome::derive(status, verify_status, verify_required),
                    cells[0].3,
                    "status={}, verify_status={}, verify_required={verify_required}",
                    status.as_str(),
                    verify_status.as_str(),
                );
            }
        }
    }
}

#[test]
fn success_and_unverified_predicates_are_explicit() {
    assert!(TaskOutcome::Verified.is_success());
    assert!(TaskOutcome::Delivered.is_success());
    assert!(!TaskOutcome::Unverified(UnverifiedReason::NoResult).is_success());
    assert!(!TaskOutcome::Broken.is_success());
    assert!(!TaskOutcome::Failed.is_success());
    assert!(!TaskOutcome::Stopped.is_success());
    assert!(!TaskOutcome::Skipped.is_success());
    assert!(!TaskOutcome::InProgress.is_success());

    assert!(TaskOutcome::Unverified(UnverifiedReason::TimedOut).is_unverified());
    assert!(TaskOutcome::Unverified(UnverifiedReason::Infrastructure).is_unverified());
    assert!(TaskOutcome::Unverified(UnverifiedReason::NoResult).is_unverified());
    assert!(!TaskOutcome::Verified.is_unverified());
    assert!(!TaskOutcome::Broken.is_unverified());
}

#[test]
fn report_strings_keep_outcome_and_verification_tag_vocabularies_stable() {
    assert_eq!(TaskOutcome::Verified.as_str(), "verified");
    assert_eq!(TaskOutcome::Delivered.as_str(), "delivered");
    assert_eq!(TaskOutcome::Unverified(UnverifiedReason::TimedOut).as_str(), "unverified");
    assert_eq!(TaskOutcome::Broken.as_str(), "broken");
    assert_eq!(TaskOutcome::InProgress.as_str(), "in_progress");
    assert_eq!(TaskOutcome::Broken.verification_tag(), Some("VFAIL"));
    assert_eq!(
        TaskOutcome::Unverified(UnverifiedReason::TimedOut).verification_tag(),
        Some("VTIMEOUT")
    );
    assert_eq!(
        TaskOutcome::Unverified(UnverifiedReason::Infrastructure).verification_tag(),
        Some("VINFRA")
    );
    assert_eq!(
        TaskOutcome::Unverified(UnverifiedReason::NoResult).verification_tag(),
        Some("VNORESULT")
    );
    assert_eq!(TaskOutcome::Delivered.verification_tag(), None);
}

#[test]
fn merge_candidates_include_only_delivered_outcomes() {
    assert!(TaskOutcome::Verified.is_merge_candidate());
    assert!(TaskOutcome::Delivered.is_merge_candidate());
    assert!(TaskOutcome::Unverified(UnverifiedReason::NoResult).is_merge_candidate());
    assert!(TaskOutcome::Broken.is_merge_candidate());
    assert!(!TaskOutcome::Failed.is_merge_candidate());
    assert!(!TaskOutcome::Stopped.is_merge_candidate());
    assert!(!TaskOutcome::Skipped.is_merge_candidate());
    assert!(!TaskOutcome::InProgress.is_merge_candidate());
}

#[test]
fn verify_required_reads_the_verify_column_contract() {
    assert!(!verify_required(None));
    assert!(!verify_required(Some("")));
    assert!(!verify_required(Some("none")));
    assert!(!verify_required(Some("false")));
    assert!(!verify_required(Some("skip")));
    assert!(!verify_required(Some(" none ")));
    assert!(!verify_required(Some(" false ")));
    assert!(!verify_required(Some(" skip ")));
    assert!(verify_required(Some("true")));
    assert!(verify_required(Some(" true ")));
    assert!(verify_required(Some(" auto ")));
    assert!(verify_required(Some(" cargo test ")));
}