urt-rs / docs /research /QVM_STRING_MEMORY.md
nmarshall's picture
qvm: execute original string helpers
dd27994
|
Raw History Blame Contribute Delete
734 Bytes

Actual QVM string helpers across aligned and unaligned memory

RE-804. Reproduce with python3 scripts/analyze_qvm_string_memory.py; focused validation: cargo xtask test-group string-memory. Machine report.

128 original-instruction fixtures vary source/destination alignment, NUL positions, long names and non-UTF8 bytes.32 wrapper cases verify valid capacities1/2/4/32 and exact terminal NUL. Independent byte-string oracles check lengths, return pointers and all destination guard bytes. Source word lookahead is given initialized padding; overlap and native ABI/error paths are not claimed.

Original executable/native runtime and complete Linux/macOS Rust/Bevy/Solari acceptance remain unverified.