cargo / rdfs-certificate

rdfs-certificate 0.1.0

processes: 330
operations: 8.7K
packages: 34
compiler runs: 18
connections: 1
build time: 19s
job time: 19s
capture: 132 KB
records: 16K
bytes / record: 8.3

RDFS forward chaining that records every derivation step in the oo-cert/1 certificate format an independent Lean 4 checker re-verifies, plus a consequence delta between two graphs

Build behaviourcompiled and nothing more

10 downloads · Apache-2.0 OR MIT · published 2026-10-20 · source certificate ontology rdf rdfs reasoning View on crates.io Release

Artifact

file · retained · product · graph v2

Checks

14 of 14 clear

Build behavior✓✓✓✓✓✓✓✓

Supply chain✓✓✓✓✓

Pipeline✓

Detections

No detections

No abnormal activity detected across 8.7K flows.

Network

1 peers

static.crates.io:8080 the package manager · cargo (ontomark) via crates.io · 2,428 files · went into an output ecosystem

Dependencies34	Build behaviour
bitflags2.13.2
block-buffer0.12.1
cfg-if1.0.5
cpufeatures0.3.1
crypto-common0.2.2
digest0.11.3
errno0.3.14
fastrand2.5.0
getrandom0.3.4	build script
hybrid-array0.4.15
ld-linux-x86-64.so.2	system library
libc0.2.190	build script
libc.so.6	system library
libgcc_s.so.1	system library
libm.so.6	system library
libmvec.so.1	system library
linux-raw-sys0.12.1
once_cell1.21.4
proc-macro21.0.107	build script
quote1.0.47	build script
r-efi5.3.0
rustix1.1.5	build script
serde1.0.229	build script
serde_core1.0.229	build script
serde_derive1.0.229	proc macro
sha20.11.0
syn3.0.8
tempfile3.27.0
typenum1.20.1
unicode-ident1.0.26
wasip21.0.4+wasi-0.2.12
windows-link0.2.1
windows-sys0.61.2
wit-bindgen0.57.1	build script, not runprebuilt objects

Versions1	Risk	Vulns	Published
0.1.0	none	none	1d ago

1 of 1 jobs captured: build-test success · Generated 2026-10-21 · run 5c4739cc-2d83-400c-be92-c4cc1dd2e963

analysis 0.1.0 · 2026-10-21 · bee3716 · graph v2