docs(proof): correct stale proof-status; disclose axiom dependence #248

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

Provide feedback