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

Job	Run time
rust-ci / Detect Cargo.toml	4s
rust-ci / Cargo audit (security)	3m 6s
rust-ci / Cargo check + clippy + fmt	17s
rust-ci / Coverage (tarpaulin + codecov)	2m 48s
rust-ci / Cargo test	19s
	6m 34s

Provide feedback