schema=f323-directory-durability-evidence-v1
date=2026-08-07
python=3.12.3
pytest=9.1.1
ruff=0.15.20
mpirun=Open_MPI_4.1.6
filesystem=overlayfs

[static]
py_compile=pass
ruff=pass
git_diff_check=pass

[tests]
fault_injection_pytest=7_passed_0_subtests_0.46s
targeted_pytest=116_passed_10_subtests_13.63s
full_pytest=627_passed_38_subtests_92.05s

[syscall_trace]
file_fsync=present
rename_stage_to_public=present
public_directory_fsync=present_before_source_directory_fsync
source_directory_fsync=present
strace_exit_code=0

[normal_single]
temp_dir=/tmp/symcc-f323-normal-single.wWYpzv
exit_code=0
processes=3
masters=1
workers=2
corpus_files=3
analysis_observations=3
generated_observations=3
unique_child_files=1
worker_shutdown_acks=2/2
standalone_work_directories=0

[normal_multi]
temp_dir=/tmp/symcc-f323-normal-multi.qMyY6z
exit_code=0
processes=8
masters=2
workers=6
corpus_files=13
analysis_observations=13
generated_observations=13
unique_child_files=1
analysis_by_master=0:5,1:8
worker_shutdown_acks=6/6
standalone_work_directories=0

[microbenchmark]
rounds=5
samples_per_round=100
aggregate_samples=500
payload_bytes=4096
rename_only_median_us=17.236
durable_replace_median_us=2897.566
durable_replace_p95_us=2991.771
median_added_us=2880.331
performance_claim=none_reliability_cost_only

[boundaries]
physical_power_cut_tested=false
coverage_benchmark=false
solver_throughput_benchmark=false
global_exactly_once=false
atomic_multi_file_visibility=false