ABI Layer 3: monotone safety under policy composition (#34) #90

Job	Run time
rust-ci / Detect Cargo.toml	4s
rust-ci / Cargo check + clippy + fmt	4s
rust-ci / Cargo audit (security)	0s
rust-ci / Coverage (tarpaulin + codecov)	0s
rust-ci / Cargo test	0s
	8s

Provide feedback