ADR-060: source-polymorphic value carrier — complete reconciliation (0.5.0)

Replace the contrived fixed 4096-byte TermValue ceiling and DefaultHostBounds
with the source-polymorphic TermValue<'a, INLINE_BYTES> carrier (Inline /
Borrowed / Stream) + ChunkSource, enabling allocation-free streaming of
arbitrarily large payloads. The inline carrier width is derived per
application from its HostBounds via carrier_inline_bytes::<B>().

Foundation + SDK:
- Remove DefaultHostBounds and the 12 byte-width-cap HostBounds consts
  (TERM_VALUE_MAX_BYTES, ROUTE_*_BUFFER_BYTES, AXIS_OUTPUT_BYTES_CEILING,
  the 8 psi-stage *_OUTPUT_BYTES_MAX). HostBounds is now 14 consts.
- TermValue struct -> enum<'a, INLINE_BYTES>; add ChunkSource trait,
  carrier_inline_bytes + the descriptor consts (HASHER_IDENTIFIER_BYTES,
  SITE/CONSTRAINT/BETTI descriptor, PSI_STAGE_HEADER_BYTES).
- Thread <'a, const INLINE_BYTES> through Term, TermArena, Grounded,
  CompileUnit, PrismModel, FoundationClosed, the eight resolver traits +
  Has* markers, run/run_const/run_route + every driver, and all SDK macros
  (prism_model!/verb!/axis!/resolver!).
- alloc-gated TermValue::to_vec(); principal path stays alloc-free.

Consumers + verification:
- Add ReferenceHostBounds + REFERENCE_INLINE_BYTES to test-helpers.
- Migrate smoke.rs, 27 foundation integration tests, 9 examples,
  consumer-smoke off DefaultHostBounds.
- New behavior_adr_060_arbitrary_scaling.rs: folds an 8 MiB ChunkSource
  stream through the hasher with bounded resident memory, proving lossless
  scaling with no cap.

Conformance + docs:
- Update public-api snapshots, endpoint_coverage.toml, and the
  phantom_tag/driver_shape/driver_must_use/bridge_namespace/
  pipeline_run_threads_input validators for the new signatures.
- Refresh codegen doc examples (no DefaultHostBounds links; concrete
  INLINE_BYTES). Conformance: 546 pass / 0 fail.

Bump workspace to 0.5.0 (breaking).

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

Author: afflom

Cargo.lock

@@ -18,7 +18,7 @@ members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.4.15"
+version = "0.5.0"
 edition = "2021"
 rust-version = "1.83"
 license = "Apache-2.0"
@@ -30,7 +30,7 @@ authors = ["The UOR Foundation"]
 # v0.2.2 T4.1 (cleanup): uor-foundation is published to crates.io; the
 # verify crate must reference it by version + path so cargo publish
 # accepts the manifest (path-only deps are rejected for published crates).
-uor-foundation = { version = "0.4.0", path = "foundation" }
+uor-foundation = { version = "0.5.0", path = "foundation" }
 
 # Serialization
 serde = { version = "1", features = ["derive"] }

Cargo.toml

@@ -9,7 +9,7 @@ structure based on Z/(2^n)Z.
 
 ## Ontology
 
-Version 0.4.15: 34 namespaces · 474 classes · 948 properties · 3601 named individuals
+Version 0.5.0: 34 namespaces · 474 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)