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

//! Tests extracted from purifier_transforms.rs for file health compliance.
#![allow(clippy::unwrap_used)]

use crate::repl::purifier_transforms::*;

// ===== REPL-013-001: TRANSFORMATION EXPLANATION TESTS (RED PHASE) =====

#[test]
fn test_PURIFIER_COV_011_format_report_single_determinism() {
    // ARRANGE: Single determinism transformation
    let transformations = vec![TransformationExplanation::new(
        TransformationCategory::Determinism,
        "Remove $RANDOM",
        "x=$RANDOM",
        "x=0",
        "Removed $RANDOM variable",
        "Non-deterministic values are unpredictable.",
    )];

    // ACT: Format the report
    let report = format_transformation_report(&transformations);

    // ASSERT: Report contains DETERMINISM category
    assert!(report.contains("Transformation Report"));
    assert!(report.contains("DETERMINISM"));
    assert!(report.contains("Remove $RANDOM"));
    assert!(report.contains("Removed $RANDOM variable"));
}

#[test]
fn test_PURIFIER_COV_012_format_report_single_safety() {
    // ARRANGE: Single safety transformation
    let transformations = vec![TransformationExplanation::new(
        TransformationCategory::Safety,
        "Quote variables",
        "echo $var",
        "echo \"$var\"",
        "Added quotes around variables",
        "Prevents injection attacks.",
    )];

    // ACT: Format the report
    let report = format_transformation_report(&transformations);

    // ASSERT: Report contains SAFETY category
    assert!(report.contains("Transformation Report"));
    assert!(report.contains("SAFETY"));
    assert!(report.contains("Quote variables"));
    assert!(report.contains("injection attacks"));
}

#[test]
fn test_PURIFIER_COV_013_format_report_with_line_number() {
    // ARRANGE: Transformation with a line number
    let transformations = vec![TransformationExplanation::new(
        TransformationCategory::Idempotency,
        "rm → rm -f",
        "rm /tmp/file",
        "rm -f /tmp/file",
        "Added -f flag",
        "Makes deletion safe to re-run.",
    )
    .with_line_number(7)];

    // ACT: Format the report
    let report = format_transformation_report(&transformations);

    // ASSERT: Report contains line number
    assert!(report.contains("Line: 7"));
}

#[test]
fn test_PURIFIER_COV_014_format_report_multiple_transformations() {
    // ARRANGE: Multiple transformations across categories
    let transformations = vec![
        TransformationExplanation::new(
            TransformationCategory::Idempotency,
            "mkdir → mkdir -p",
            "mkdir /tmp/test",
            "mkdir -p /tmp/test",
            "Added -p flag",
            "Safe to re-run.",
        ),
        TransformationExplanation::new(
            TransformationCategory::Determinism,
            "Remove $RANDOM",
            "x=$RANDOM",
            "x=0",
            "Removed $RANDOM",
            "Reproducible output.",
        ),
        TransformationExplanation::new(
            TransformationCategory::Safety,
            "Quote variables",
            "echo $var",
            "echo \"$var\"",
            "Added quotes",
            "Prevents injection.",
        ),
    ];

    // ACT: Format the report
    let report = format_transformation_report(&transformations);

    // ASSERT: Report contains all three categories
    assert!(report.contains("IDEMPOTENCY"));
    assert!(report.contains("DETERMINISM"));
    assert!(report.contains("SAFETY"));

    // ASSERT: Report has separator between transformations
    // (second and third should be separated from previous by double newline)
    assert!(report.contains("Transformation Report"));
    assert!(report.contains("===================="));
}

#[test]
fn test_PURIFIER_COV_015_format_report_without_line_number() {
    // ARRANGE: Transformation without a line number
    let transformations = vec![TransformationExplanation::new(
        TransformationCategory::Determinism,
        "Remove timestamps",
        "elapsed=$SECONDS",
        "elapsed=0",
        "Removed time-based values",
        "Non-reproducible across runs.",
    )];

    // ACT: Format the report
    let report = format_transformation_report(&transformations);

    // ASSERT: Report does NOT contain a "Line:" entry
    assert!(
        !report.contains("Line:"),
        "Report should not contain Line: when no line number is set"
    );
}
} // mod purifier_cov_tests