splice 2.6.13

Span-safe refactoring kernel for 7 languages with Magellan code graph integration
Documentation 
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

# cargo-deny configuration
# https://embarkstudios.github.io/cargo-deny/checks/cfg.html

[graph]
targets = [
    { triple = "x86_64-unknown-linux-gnu" },
    { triple = "x86_64-pc-windows-msvc" },
]

[advisories]
version = 2

# === NOT APPLICABLE — we do not trigger these code paths ===
# RUSTSEC-2026-0002: lru IterMut violates Stacked Borrows
#   We never call IterMut on LRU caches. Only affects mutable iteration.
# RUSTSEC-2026-0097: rand unsound with custom logger using rand::rng()
#   We do not register custom loggers that call rand::rng().
#
# === FIXED — resolved in our code ===
# RUSTSEC-2026-0008: git2 Buf struct UB
#   Fixed in magellan (git2 bumped 0.19 -> 0.20.4).
#   Mirage still shows it because it depends on published magellan 3.3.9
#   (which still uses git2 0.19). Will clear on next magellan publish.
#
# === MONITORED — upstream unmaintained, no CVE, no upgrade path ===
# RUSTSEC-2025-0141: bincode 1.3.3 unmaintained — crate abandoned, no replacement
# RUSTSEC-2025-0119: number_prefix 0.4.0 unmaintained — needs indicatif to switch
ignore = [
    "RUSTSEC-2026-0002",
    "RUSTSEC-2026-0097",
    "RUSTSEC-2026-0008",
    "RUSTSEC-2025-0141",
    "RUSTSEC-2025-0119",
]

[licenses]
version = 2
allow = [
    "Apache-2.0",
    "MIT",
    "BSD-2-Clause",
    "BSD-3-Clause",
    "ISC",
    "Unicode-DFS-2016",
    "Unicode-3.0",
    "MPL-2.0",
    "CC0-1.0",
    "OFL-1.1",
    "GPL-3.0-only",
    "GPL-3.0",
    "Zlib",
    "BSL-1.0",
    "Apache-2.0 WITH LLVM-exception",
]
exceptions = [
    { allow = ["OpenSSL"], name = "ring", version = "*" },
    { allow = ["OpenSSL"], name = "openssl-sys", version = "*" },
]

[[licenses.clarify]]
name = "ring"
version = "*"
expression = "MIT AND ISC AND OpenSSL"
license-files = [
    { path = "LICENSE", hash = 0xbd0eed23 },
]

[bans]
multiple-versions = "warn"
wildcards = "warn"
highlight = "all"

[sources]
unknown-registry = "warn"
unknown-git = "warn"
allow-git = []