Skip to content
Open-Source Registry

cargo / cordis-kernel / 0.2.0

cordis-kernel 0.2.0

bitbison: clean, behavior clean, dependencies clean, posture not checked, pipeline clean, 1 of 1 jobs captured clean
processes
659
operations
11K
packages
20
compiler runs
16
connections
1
job time
45s
capture
122 KB
records
19K
bytes / record
6.3

Build behaviourcompiled and nothing more

run a6227fbe-9e86-4a81-adb9-94379eb6de38 · built 2026-10-12 · complete

Artifact

file · retained · product · graph v2
1

Checks

14 of 14 clear
Build behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 11K flows.

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (cordis-verus) via crates.io · 723 files · went into an output ecosystem
Dependencies20Build behaviour
ld-linux-x86-64.so.2system library
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
proc-macro21.0.107build script
quote1.0.47build script
verus_builtin_macros0.0.0-2026-09-20-0158proc macro
verus_prettyplease0.0.0-2026-09-06-0133build script
verus_state_machines_macros0.0.0-2026-09-06-0133proc macro
vstd0.0.0-2026-09-20-0158build script
convert_case0.4.0
equivalent1.0.2
hashbrown0.17.1
indexmap2.14.2
syn2.0.119
synstructure0.13.2
unicode-ident1.0.26
verus_builtin0.0.0-2026-09-16-0054
verus_syn0.0.0-2026-09-06-0133

Raw data

capture
122 KB
records
19,152
bytes per record
6.3

Loading a sample of the capture

Want to see more? E-mail us at hello@bitbison.io about your use case.

1 of 1 jobs captured: build-test success · Generated 2026-10-12 · run a6227fbe-9e86-4a81-adb9-94379eb6de38

analysis 0.1.0 · 2026-10-11 · d6246d3 · graph v2