Runtime Environment [jump cannon]

[MonsieurNicolas]

• make host object comparison deep
• write some unit tests
• wasmi - go no/go
  • switch to stellar-specific wasmi fork
  • merge wasmi integrated gas metering
  • upgrade wasmi fork to the v1 API since they've deprecated the old one
• add storage backend for contracts and contract data
• prohibit FP ops or else normalize FP values and FP environment
• support contract "specs" / schemas / signatures / types
  • add host object vocabulary to represent types as first class values
  • add host functions for constructing types
  • add host functions for checking value conformance to a type
  • check contract arguments match spec on invocation
  • check contract spec-compatibility on upgrade
• event/logging subsystem add event/log recording and reporting machinery for contracts #3487
• record and export host metrics to core
• tracy integration WIP: Rust Tracy #3433
• support host-crate multi-versioning in core: Initial support for contract-host multi-versioning. #3471
• consolidate XDR definitions between C++ and Rust
  • move XDR to submodule: Move xdr next to submodule #3470
  • check XDR consistency between Rust and C++: Cross-check XDR file hashes between Rust and C++. #3452
• tighten "security" semantics
  • never accept ScStatus values as input or store in objects
  • enforce host-object read encapsulation: read tickets rs-soroban-env#132
  • enforce non-reentry flag for cross-contract calls
• update CAP-46 to reflect recent changes
  • subtransactions and rollback
  • vast expansion of ScStatusType and ScStatus
  • renaming pos_i64 back to u63
  • not-completely-empty section on metering
  • read encapsulation, non-reentry, scstatus prohibition
  • replace "C++" with "rust" in various places
  • update references to PRs and repos
• support host function API versioning #3488
• security review
• host function metering machinery #3489 / Improve cost model / budget machinery rs-soroban-env#160
• performance testing
  • support & annotate tracy tracing in host crate
• fuzzing

[graydon]

Done as much as we're going to do (one section skipped).