chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI #266

Job	Run time
rust-ci / Detect Cargo.toml	4s
rust-ci / Coverage (tarpaulin + codecov)	2m 51s
rust-ci / Cargo check + clippy + fmt	15s
rust-ci / Cargo audit (security)	3m 5s
rust-ci / Cargo test	35s
	6m 50s

Provide feedback