feat(proofs): complete CNO + OND pillars, verified across six provers #261

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

Provide feedback