cargo-allow 0.1.3

Source-tree exception ledger and policy scanner for Rust repositories.
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

use crate::artifact_schema_support::{
    assert_enum_equals, assert_required_fields, assert_schema_type_equals, governed_kind_enum,
    parse_schema, required_schema_pointer,
};
use serde_json::Value;

#[test]
fn prune_schema_locks_stale_cleanup_artifact_contract() {
    let schema = parse_schema(
        "prune",
        include_str!("../../../docs/schemas/prune.schema.json"),
    );

    assert_required_fields("prune", &schema, &["mode", "summary", "stale_entries"]);

    let mode = required_schema_pointer("prune", &schema, "/properties/mode");
    assert_eq!(
        mode.get("additionalProperties").and_then(Value::as_bool),
        Some(false),
        "prune mode should reject unknown fields"
    );
    assert_required_fields(
        "prune mode",
        mode,
        &[
            "dry_run",
            "write_requested",
            "explicit_dry_run",
            "written_path",
        ],
    );
    assert_eq!(
        schema
            .pointer("/properties/mode/properties/dry_run/type")
            .and_then(Value::as_str),
        Some("boolean"),
        "prune mode dry_run should be boolean"
    );
    assert_eq!(
        schema
            .pointer("/properties/mode/properties/write_requested/type")
            .and_then(Value::as_str),
        Some("boolean"),
        "prune mode write_requested should be boolean"
    );
    assert_eq!(
        schema
            .pointer("/properties/mode/properties/explicit_dry_run/type")
            .and_then(Value::as_str),
        Some("boolean"),
        "prune mode explicit_dry_run should be boolean"
    );
    assert_schema_type_equals(
        "prune mode written_path",
        &schema,
        "/properties/mode/properties/written_path/type",
        &["string", "null"],
    );

    let summary = required_schema_pointer("prune", &schema, "/properties/summary");
    assert_eq!(
        summary.get("additionalProperties").and_then(Value::as_bool),
        Some(false),
        "prune summary should reject unknown fields"
    );
    assert_required_fields("prune summary", summary, &["stale_entries"]);
    assert_eq!(
        schema
            .pointer("/properties/summary/properties/stale_entries/type")
            .and_then(Value::as_str),
        Some("integer"),
        "prune summary stale_entries should be an integer"
    );

    assert_eq!(
        schema
            .pointer("/properties/stale_entries/items/$ref")
            .and_then(Value::as_str),
        Some("#/$defs/stale_entry"),
        "prune stale_entries should use stale entry rows"
    );
    let stale_entry = required_schema_pointer("prune", &schema, "/$defs/stale_entry");
    assert_eq!(
        stale_entry
            .get("additionalProperties")
            .and_then(Value::as_bool),
        Some(false),
        "prune stale entries should reject unknown fields"
    );
    assert_required_fields(
        "prune stale entry",
        stale_entry,
        &[
            "id",
            "kind",
            "family",
            "owner",
            "classification",
            "scope",
            "reason",
        ],
    );
    assert_enum_equals(
        "prune stale entry kind",
        &schema,
        "/$defs/stale_entry/properties/kind/enum",
        &governed_kind_enum(),
    );
}