Experiment formal simulator rust unit results 01 - kmosoti/FabricO11y GitHub Wiki
Simulator Rust unit results 01
Observed2026-10-15 at frozen source1a923e70bed65b899382c7aad06590ae11d46855/tree5b49e6b9502c53adddf0d1ec6fef797266d67a30, unchanged helper source1073e32336f04959ac9f78ac9f5ac97d02860c605037c98dcc1f2f8fbce045e4. X189 silence window closed19:00:35Z with no findings; exact pinned driver ran once. Source checkout6bd5250 remained clean.
python3 -B /run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/run-step-simulator-documentation-01.py simulator-native-rust-unit-01 17179869184 env PYTHONPATH=tools python3 -B /run/media/kmosoti/data/FabricO11y/results/candidate-build-fresh-8fb6f413179b-01/run-simulator-rust-unit-01.py
Actual inner cargo test --offline --locked --example spindle_sim native_witness_ -- --test-threads=1 exited0 and executed exactly seven named tests, zero failed/ignored. The immutable admitted bundle and copied registry inventory47646ea10bb1e5fe179fc11ce36e0fe11acb6f5dacd9aa7d09c0c9a6d18577ce were verified; no symlinks/unexpected registry files admitted. Actual Rust1.99.0/b940084d7 and host OpenSSL3.5.9/-lssl/-lcrypto. Native Fedora source logic only; no Debian ABI, frozen package or syscall publication certification.
Default16/20GiB high/max, noSwap,1800s; serial16GiB DATA reserve and sampled15GiB owned-growth limit. Peak1,494,462,464bytes, recordedOOM0, outer exit0/stop confirmed in32.47s. Observed owned growth samples reached7,652,338,822bytes; sampling is not a hard peak bound.
Cleanup exposed an incorrect runner assumption: FABRIC_SCRATCH_ROOT names DATA/scratch while the launcher removes only its work-* temporary. Success-owned unit-source/unit-cargo/unit-target remained. Their actual birth times19:00:46-54Z join this run; source clone/private cargo mkdir required fresh paths. Explicit bounded closeout removed those three owned directories, exit0/all absent; original receipts/logs, source bundle and canonical cache retained. The raw runner receipt is unchanged; separate cleanup receipt corrects its prospective cleanup statement. Future runner freshness/cleanup correction remains queued and NOT RUN.
Exact seven names and inner/outer/cleanup hashes: DATA/results/candidate-build-fresh-8fb6f413179b-01/simulator-rust-unit-results-01.json. DATA=/run/media/kmosoti/data/FabricO11y. No active fabric-work service remained at closeout. Browser/R3 followups and native syscall controls stay unrun; meter29% invoked the reporting-margin stop under30% total.