Fix BinOp Debug format in closure-body grammar error

`syn::BinOp` does not implement `Debug` on the CI Rust toolchain, so the
emit_term_for_binary fallback arm's `format!("...{:?}...", other)` failed
to compile. Replace the formatted message with a fixed-string version
that lists the recognised operators without quoting the offending one
(its span is already attached via `new_spanned`).

Bump version to 0.3.6 (uor-foundation@0.3.5 was already published before
the consumer-smoke step in v0.3.5's CI failed, so the index claims that
slot — bumping to land the BinOp fix and the ADR-013/TR-08 + ADR-029
substrate work).

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

Author: afflom

Cargo.lock

@@ -18,7 +18,7 @@ members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.3.5"
+version = "0.3.6"
 edition = "2021"
 rust-version = "1.83"
 license = "Apache-2.0"

Cargo.toml

@@ -1556,13 +1556,10 @@ fn emit_term_for_binary(
         syn::BinOp::BitXor(_) => quote! { ::uor_foundation::PrimitiveOp::Xor },
         syn::BinOp::BitAnd(_) => quote! { ::uor_foundation::PrimitiveOp::And },
         syn::BinOp::BitOr(_) => quote! { ::uor_foundation::PrimitiveOp::Or },
-        ref other => {
+        _ => {
             return Err(syn::Error::new_spanned(
                 expr,
-                format!(
-                    "closure violation: binary operator `{:?}` is not in the closure-body grammar; recognised operators are arithmetic (+, -, *), bitwise (^, &, |), and byte-level comparison (<=, <, >=, >)",
-                    other
-                ),
+                "closure violation: binary operator is not in the closure-body grammar; recognised operators are arithmetic (+, -, *), bitwise (^, &, |), and byte-level comparison (<=, <, >=, >)",
             ));
         }
     };

codegen/src/sdk_macros.rs

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

foundation/README.md

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

foundation/src/lib.rs

@@ -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.3.5).
+[UOR Foundation](https://uor.foundation/) ontology (v0.3.6).
 
 **Do not edit manually** — regenerated by [UOR-Framework](https://github.com/UOR-Foundation/UOR-Framework).
 

lean4/README.md

@@ -1509,13 +1509,10 @@ fn emit_term_for_binary(
         syn::BinOp::BitXor(_) => quote! { ::uor_foundation::PrimitiveOp::Xor },
         syn::BinOp::BitAnd(_) => quote! { ::uor_foundation::PrimitiveOp::And },
         syn::BinOp::BitOr(_) => quote! { ::uor_foundation::PrimitiveOp::Or },
-        ref other => {
+        _ => {
             return Err(syn::Error::new_spanned(
                 expr,
-                format!(
-                    "closure violation: binary operator `{:?}` is not in the closure-body grammar; recognised operators are arithmetic (+, -, *), bitwise (^, &, |), and byte-level comparison (<=, <, >=, >)",
-                    other
-                ),
+                "closure violation: binary operator is not in the closure-body grammar; recognised operators are arithmetic (+, -, *), bitwise (^, &, |), and byte-level comparison (<=, <, >=, >)",
             ));
         }
     };