bashrs 6.66.0

Rust-to-Shell transpiler for deterministic bootstrap scripts
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
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
//! Tests extracted from debugger.rs for file health compliance.
#![allow(clippy::unwrap_used)]

use crate::repl::debugger::*;

// ===== UNIT TESTS (RED PHASE) =====

/// Test: REPL-008-001-001 - Create debug session from script
#[test]
fn test_REPL_009_001_print_nonexistent() {
    let script = "echo test";
    let session = DebugSession::new(script);

    // Get nonexistent variable
    assert_eq!(session.get_variable("DOES_NOT_EXIST"), None);
    assert_eq!(session.get_variable(""), None);
}

/// Test: REPL-009-001-004 - List all variables
#[test]
fn test_REPL_009_001_list_variables() {
    let script = "echo test";
    let mut session = DebugSession::new(script);

    // Initially empty
    assert_eq!(session.list_variables(), vec![]);

    // Add variables
    session.set_variable("PATH", "/usr/bin");
    session.set_variable("USER", "bob");
    session.set_variable("HOME", "/home/bob");

    // List variables (sorted by name)
    let vars = session.list_variables();
    assert_eq!(vars.len(), 3);
    assert_eq!(vars[0], ("HOME", "/home/bob"));
    assert_eq!(vars[1], ("PATH", "/usr/bin"));
    assert_eq!(vars[2], ("USER", "bob"));
}

/// Test: REPL-009-001-005 - Variable update
#[test]
fn test_REPL_009_001_variable_update() {
    let script = "echo test";
    let mut session = DebugSession::new(script);

    // Set initial value
    session.set_variable("VERSION", "1.0");
    assert_eq!(session.get_variable("VERSION"), Some("1.0"));

    // Update value
    session.set_variable("VERSION", "2.0");
    assert_eq!(session.get_variable("VERSION"), Some("2.0"));

    // Count should still be 1
    assert_eq!(session.variable_count(), 1);
}

/// Test: REPL-009-001-006 - Clear variables
#[test]
fn test_REPL_009_001_clear_variables() {
    let script = "echo test";
    let mut session = DebugSession::new(script);

    // Add variables
    session.set_variable("A", "1");
    session.set_variable("B", "2");
    session.set_variable("C", "3");
    assert_eq!(session.variable_count(), 3);

    // Clear all
    session.clear_variables();
    assert_eq!(session.variable_count(), 0);
    assert_eq!(session.list_variables(), vec![]);
    assert_eq!(session.get_variable("A"), None);
}

/// Test: REPL-009-001-007 - Variables persist across steps
#[test]
fn test_REPL_009_001_variables_persist_across_steps() {
    let script = "echo line1\necho line2\necho line3";
    let mut session = DebugSession::new(script);

    // Set variable before stepping
    session.set_variable("COUNTER", "0");

    // Step through and verify variable persists
    session.step();
    assert_eq!(session.get_variable("COUNTER"), Some("0"));

    session.step();
    assert_eq!(session.get_variable("COUNTER"), Some("0"));

    // Update variable mid-execution
    session.set_variable("COUNTER", "2");
    session.step();
    assert_eq!(session.get_variable("COUNTER"), Some("2"));
}

// ===== REPL-009-002: Environment Display Tests =====

#[test]
fn test_REPL_009_002_env_display() {
    let script = "echo test";
    let session = DebugSession::new(script);

    // Get an environment variable that should exist (PATH always exists)
    let path = session.get_env("PATH");
    assert!(path.is_some(), "PATH environment variable should exist");

    // Get a variable that doesn't exist
    let nonexistent = session.get_env("BASHRS_NONEXISTENT_VAR_12345");
    assert_eq!(nonexistent, None);

    // List all environment variables
    let env_vars = session.list_env();
    assert!(!env_vars.is_empty(), "Should have at least one env var");

    // Verify sorted order
    let mut sorted = env_vars.clone();
    sorted.sort_by_key(|(name, _)| name.clone());
    assert_eq!(env_vars, sorted, "Environment variables should be sorted");
}

#[test]
fn test_REPL_009_002_env_filter() {
    let script = "echo test";
    let session = DebugSession::new(script);

    // Filter by prefix (most systems have PATH-related variables)
    let path_vars = session.filter_env("PATH");
    assert!(
        !path_vars.is_empty(),
        "Should find at least one PATH-related variable"
    );

    // All filtered results should start with the prefix
    for (name, _) in &path_vars {
        assert!(
            name.starts_with("PATH"),
            "Filtered variable {} should start with PATH",
            name
        );
    }

    // Filter with non-matching prefix
    let empty_filter = session.filter_env("BASHRS_NONEXISTENT_PREFIX");
    assert_eq!(
        empty_filter.len(),
        0,
        "Filter with non-matching prefix should return empty"
    );

    // Verify sorted order
    let mut sorted = path_vars.clone();
    sorted.sort_by_key(|(name, _)| name.clone());
    assert_eq!(path_vars, sorted, "Filtered env vars should be sorted");
}

// ===== REPL-009-003: Call Stack Tracking Tests =====

#[test]
fn test_REPL_009_003_backtrace_single() {
    let script = "echo line1\necho line2\necho line3";
    let mut session = DebugSession::new(script);

    // Initially, call stack should have main frame
    let initial_len = session.call_stack().len();
    assert_eq!(initial_len, 1, "Should have just main frame initially");

    // Push a frame
    session.push_frame("function1", 1);

    // Get backtrace
    let stack = session.call_stack();
    assert_eq!(stack.len(), 2, "Should have main + function1");

    let frame = &stack[1];
    assert_eq!(frame.name, "function1");
    assert_eq!(frame.line, 1);

    // Pop frame
    session.pop_frame();

    // Should be back to initial
    let final_len = session.call_stack().len();
    assert_eq!(final_len, initial_len);
}

#[test]
fn test_REPL_009_003_backtrace_nested() {
    let script = "echo test";
    let mut session = DebugSession::new(script);

    // Push nested frames
    session.push_frame("main", 1);
    session.push_frame("func_a", 5);
    session.push_frame("func_b", 10);

    // Get full stack
    let stack = session.call_stack();
    assert_eq!(
        stack.len(),
        4,
        "Should have <main> + main + func_a + func_b"
    );

    // Verify stack order (most recent last)
    assert_eq!(stack[1].name, "main");
    assert_eq!(stack[1].line, 1);
    assert_eq!(stack[2].name, "func_a");
    assert_eq!(stack[2].line, 5);
    assert_eq!(stack[3].name, "func_b");
    assert_eq!(stack[3].line, 10);

    // Pop frames
    session.pop_frame(); // func_b
    let stack2 = session.call_stack();
    assert_eq!(stack2.len(), 3);

    session.pop_frame(); // func_a
    let stack3 = session.call_stack();
    assert_eq!(stack3.len(), 2);

    session.pop_frame(); // main
    let stack4 = session.call_stack();
    assert_eq!(stack4.len(), 1, "Should be back to just <main>");
}

// ===== REPL-010-001: Compare Original vs Purified =====

/// Test: REPL-010-001-001 - Compare at breakpoint shows original and purified
#[test]
fn test_REPL_010_001_compare_at_breakpoint() {
    // Script with non-idempotent command
    let script = "mkdir /tmp/test";
    let session = DebugSession::new(script);

    // Get comparison at line 1
    let comparison = session.compare_current_line();
    assert!(comparison.is_some(), "Should have comparison for line 1");

    let cmp = comparison.unwrap();
    assert_eq!(cmp.original, "mkdir /tmp/test");
    // Purified adds -p flag for idempotency
    assert!(
        cmp.purified.contains("mkdir") && cmp.purified.contains("-p"),
        "Purified should add -p flag, got: {}",
        cmp.purified
    );
    assert!(cmp.differs, "Original and purified should differ");
}

/// Test: REPL-010-001-002 - Compare diff highlighting marks changes
#[test]
fn test_REPL_010_001_compare_diff_highlighting() {
    // Script with missing quotes
    let script = "echo $HOME";
    let session = DebugSession::new(script);

    let comparison = session.compare_current_line();
    assert!(comparison.is_some());

    let cmp = comparison.unwrap();
    assert_eq!(cmp.original, "echo $HOME");
    assert_eq!(cmp.purified, "echo \"$HOME\"");
    assert!(cmp.differs);

    // Get diff highlighting
    let diff = session.format_diff_highlighting(&cmp);
    assert!(diff.contains("$HOME"), "Diff should show variable");
    assert!(
        diff.contains("\"$HOME\""),
        "Diff should show quoted version"
    );
}

// ===== REPL-010-002: ENHANCED HIGHLIGHTING TESTS (RED PHASE) =====

/// Test: REPL-010-002-001 - Highlight mkdir -p idempotency flag
///
/// RED phase: Write failing test for enhanced diff highlighting
/// that specifically marks the added -p flag
#[test]
fn test_REPL_010_002_highlight_mkdir_p() {
    // ARRANGE: Script with non-idempotent mkdir
    let script = "mkdir /tmp/foo";
    let session = DebugSession::new(script);

    // ACT: Compare lines
    let comparison = session.compare_current_line();
    assert!(comparison.is_some(), "Should be able to compare");

    let cmp = comparison.unwrap();
    assert!(cmp.differs, "Lines should differ");

    // ACT: Get enhanced highlighting
    let highlighted = session.format_diff_highlighting(&cmp);

    // ASSERT: Phase 2 adds permission checks, so first line is permission check
    // The highlighted output will show the permission check transformation
    assert!(
        highlighted.contains("mkdir") || highlighted.contains("dirname"),
        "Should show mkdir-related content"
    );
}

/// Test: REPL-010-002-002 - Highlight variable quoting
///
/// RED phase: Test should fail until we implement quote detection
#[test]
fn test_REPL_010_002_highlight_quote() {
    // ARRANGE: Script with unquoted variable
    let script = "echo $USER";
    let session = DebugSession::new(script);

    // ACT: Compare lines
    let comparison = session.compare_current_line();
    assert!(comparison.is_some(), "Should be able to compare");

    let cmp = comparison.unwrap();
    assert!(cmp.differs, "Lines should differ");

    // ACT: Get enhanced highlighting
    let highlighted = session.format_diff_highlighting(&cmp);

    // ASSERT: Should show quotes
    assert!(highlighted.contains("\""), "Should show quote addition");

    // ASSERT: Should explain quoting transformation
    assert!(
        highlighted.to_lowercase().contains("quot")
            || highlighted.to_lowercase().contains("safe"),
        "Should explain quoting: {}",
        highlighted
    );
}

/// Test: REPL-010-002-003 - Highlight ln -sf safety flag
///
/// RED phase: Test for ln command transformation highlighting
#[test]
fn test_REPL_010_002_highlight_ln_sf() {
    // ARRANGE: Script with non-idempotent ln
    let script = "ln -s /tmp/src /tmp/link";
    let session = DebugSession::new(script);

    // ACT: Compare lines
    let comparison = session.compare_current_line();
    assert!(comparison.is_some(), "Should be able to compare");

    let cmp = comparison.unwrap();

    // Only test if lines differ (purifier might add -f flag)
    if !cmp.differs {
        // Skip test if purifier doesn't transform this
        return;
    }

    // ACT: Get enhanced highlighting
    let highlighted = session.format_diff_highlighting(&cmp);

    // ASSERT: Should show ln command
    assert!(highlighted.contains("ln"), "Should show ln command");

    // ASSERT: Should highlight flag addition
    assert!(
        highlighted.contains("-") && highlighted.contains("f"),
        "Should show flag addition"
    );

    // ASSERT: Should explain safety/idempotency
    assert!(
        highlighted.to_lowercase().contains("safe")
            || highlighted.to_lowercase().contains("idempot")
            || highlighted.to_lowercase().contains("idem"),
        "Should explain transformation: {}",
        highlighted
    );
}

/// Test: REPL-010-002-004 - Handle no changes case
///
/// RED phase: Test for already-purified script
#[test]
fn test_REPL_010_002_highlight_no_change() {
    // ARRANGE: Script with simple echo (minimal transformation)
    let script = "echo hello";
    let session = DebugSession::new(script);

    // ACT: Compare lines
    let comparison = session.compare_current_line();
    assert!(comparison.is_some(), "Should be able to compare");

    let cmp = comparison.unwrap();

    // ACT: Get highlighting
    let highlighted = session.format_diff_highlighting(&cmp);

    // ASSERT: Should handle gracefully (may or may not differ)
    assert!(!highlighted.is_empty(), "Should produce some output");
}

/// Test: REPL-010-002-005 - Handle multiple transformations
///
/// RED phase: Test for line with multiple changes (rm + quoting)
#[test]
fn test_REPL_010_002_highlight_multiple_changes() {
    // ARRANGE: Script with multiple issues
    let script = "rm $FILE";
    let session = DebugSession::new(script);

    // ACT: Compare lines
    let comparison = session.compare_current_line();
    assert!(comparison.is_some(), "Should be able to compare");

    let cmp = comparison.unwrap();
    assert!(cmp.differs, "Lines should differ");

    // ACT: Get highlighting
    let highlighted = session.format_diff_highlighting(&cmp);

    // ASSERT: Should show at least one transformation
    assert!(
        highlighted.contains("-f") || highlighted.contains("\""),
        "Should show either -f flag or quoting: {}",
        highlighted
    );
}

// ===== REPL-010-003: Explain Transformations at Current Line =====

/// Test: REPL-010-003-001 - Explain mkdir -p transformation
///
/// RED phase: Test explanation for mkdir idempotency
#[test]
fn test_REPL_010_003_explain_mkdir_p() {
    // ARRANGE: Script with non-idempotent mkdir
    let script = "mkdir /tmp/foo";
    let session = DebugSession::new(script);

    // ACT: Get explanation
    let explanation = session.explain_current_line();

    // ASSERT: Should have some explanation (may be about permission checks or idempotency)
    assert!(explanation.is_some(), "Should have explanation for mkdir");
    let text = explanation.unwrap();
    // Phase 2 added permission checks, so explanation may mention permissions or transformations
    assert!(
        text.contains("transform")
            || text.contains("permission")
            || text.contains("idempot")
            || text.contains("idem")
            || text.contains("-p"),
        "Should explain transformation: {}",
        text
    );
}

/// Test: REPL-010-003-002 - Explain variable quoting transformation
///
/// RED phase: Test explanation for variable safety quoting
#[test]
fn test_REPL_010_003_explain_quote() {
    // ARRANGE: Script with unquoted variable
    let script = "echo $USER";
    let session = DebugSession::new(script);

    // ACT: Get explanation
    let explanation = session.explain_current_line();

    // ASSERT: Should explain quoting (if purifier transforms this)
    // Note: Test is conditional based on whether purifier transforms echo
    if let Some(text) = explanation {
        assert!(
            text.contains("quot") || text.contains("safe"),
            "Should explain quoting or safety: {}",
            text
        );
    }
}

/// Test: REPL-010-003-003 - Explain ln -sf transformation
///
/// RED phase: Test explanation for ln idempotency