Bump version to 0.4.7 (regen pass)

The initial v0.4.7 commit was generated with a stale cargo binary still
carrying CARGO_PKG_VERSION="0.4.6"; foundation/src/lib.rs's Version: doc
banner and foundation/README.md / lean4/README.md / root README.md all
read 0.4.6, tripping CI's drift gate on the v0.4.7 tag's release run.

Re-runs uor-crate, uor-lean, uor-build, uor-docs, uor-website with a
freshly-rebuilt binary so the regenerated artifacts agree with the
workspace version.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: afflom

README.md

@@ -9,7 +9,7 @@ structure based on Z/(2^n)Z.
 
 ## Ontology
 
-Version 0.4.6: 34 namespaces · 473 classes · 948 properties · 3601 named individuals
+Version 0.4.7: 34 namespaces · 473 classes · 948 properties · 3601 named individuals
 
 All terms are encoded as typed Rust data in `spec/` (`uor-ontology`) and exported as:
 - `foundation/` (`uor-foundation`) — typed Rust traits (published to crates.io)

foundation/README.md

@@ -16,7 +16,7 @@ typed Rust traits. Import and implement.
 
 ```toml
 [dependencies]
-uor-foundation = "0.4.6"
+uor-foundation = "0.4.7"
 ```
 
 ### HostTypes (target §4.1 W10)

foundation/src/lib.rs

@@ -2,7 +2,7 @@
 
 //! UOR Foundation — typed Rust traits for the complete ontology.
 //!
-//! Version: 0.4.6
+//! Version: 0.4.7
 //!
 //! This crate exports every ontology class as a trait, every property as a
 //! method, and every named individual as a constant. Implementations import

lean4/README.md

@@ -1,7 +1,7 @@
 # UOR Foundation — Lean 4 Formalization
 
 Machine-generated Lean 4 structures, enums, and constants for the
-[UOR Foundation](https://uor.foundation/) ontology (v0.4.6).
+[UOR Foundation](https://uor.foundation/) ontology (v0.4.7).
 
 **Do not edit manually** — regenerated by [UOR-Framework](https://github.com/UOR-Foundation/UOR-Framework).