refactor: prepare enabling strict provenance lints

[mkroening]

These are extracted from #649.

[github-actions]

Benchmark Results

Benchmark	Current: 29a1f74	Previous: b966ab4	Performance Ratio
startup_benchmark Build Time	111.58 s	111.96 s	1.00
startup_benchmark File Size	0.91 MB	0.91 MB	1.00
Startup Time - 1 core	0.91 s (±0.03 s)	0.93 s (±0.02 s)	0.98
Startup Time - 2 cores	0.92 s (±0.02 s)	0.93 s (±0.03 s)	0.99
Startup Time - 4 cores	0.94 s (±0.03 s)	0.93 s (±0.03 s)	1.01
multithreaded_benchmark Build Time	113.33 s	114.77 s	0.99
multithreaded_benchmark File Size	1.02 MB	1.01 MB	1.00
Multithreaded Pi Efficiency - 2 Threads	88.33 % (±9.16 %)	88.97 % (±7.38 %)	0.99
Multithreaded Pi Efficiency - 4 Threads	43.42 % (±3.90 %)	44.09 % (±3.63 %)	0.98
Multithreaded Pi Efficiency - 8 Threads	25.10 % (±2.06 %)	25.36 % (±1.99 %)	0.99
micro_benchmarks Build Time	295.28 s	295.64 s	1.00
micro_benchmarks File Size	1.02 MB	1.02 MB	1.00
Scheduling time - 1 thread	174.89 ticks (±29.18 ticks)	178.23 ticks (±25.33 ticks)	0.98
Scheduling time - 2 threads	102.74 ticks (±16.16 ticks)	98.66 ticks (±14.00 ticks)	1.04
Micro - Time for syscall (getpid)	10.41 ticks (±6.41 ticks)	11.98 ticks (±4.92 ticks)	0.87
Memcpy speed - (built_in) block size 4096	56370.41 MByte/s (±41736.91 MByte/s)	63152.99 MByte/s (±45587.10 MByte/s)	0.89
Memcpy speed - (built_in) block size 1048576	14259.01 MByte/s (±11892.13 MByte/s)	15668.33 MByte/s (±12904.18 MByte/s)	0.91
Memcpy speed - (built_in) block size 16777216	9618.12 MByte/s (±7757.65 MByte/s)	10465.02 MByte/s (±8568.62 MByte/s)	0.92
Memset speed - (built_in) block size 4096	57767.39 MByte/s (±42296.82 MByte/s)	63370.25 MByte/s (±45752.42 MByte/s)	0.91
Memset speed - (built_in) block size 1048576	14675.68 MByte/s (±12144.77 MByte/s)	15907.38 MByte/s (±12989.07 MByte/s)	0.92
Memset speed - (built_in) block size 16777216	9854.46 MByte/s (±7897.85 MByte/s)	10679.75 MByte/s (±8675.34 MByte/s)	0.92
Memcpy speed - (rust) block size 4096	55346.78 MByte/s (±40211.41 MByte/s)	56435.01 MByte/s (±41692.91 MByte/s)	0.98
Memcpy speed - (rust) block size 1048576	13299.19 MByte/s (±10842.62 MByte/s)	14141.32 MByte/s (±11788.91 MByte/s)	0.94
Memcpy speed - (rust) block size 16777216	9798.21 MByte/s (±7931.98 MByte/s)	10587.80 MByte/s (±8680.27 MByte/s)	0.93
Memset speed - (rust) block size 4096	55816.80 MByte/s (±40505.30 MByte/s)	57311.29 MByte/s (±42263.04 MByte/s)	0.97
Memset speed - (rust) block size 1048576	13598.67 MByte/s (±10994.03 MByte/s)	14556.89 MByte/s (±12036.69 MByte/s)	0.93
Memset speed - (rust) block size 16777216	10021.60 MByte/s (±8056.93 MByte/s)	10801.86 MByte/s (±8787.27 MByte/s)	0.93
alloc_benchmarks Build Time	293.84 s	295.50 s	0.99
alloc_benchmarks File Size	0.98 MB	0.98 MB	1.00
Allocations - Allocation success	100.00 %	100.00 %	1
Allocations - Deallocation success	100.00 %	100.00 %	1
Allocations - Pre-fail Allocations	100.00 %	100.00 %	1
Allocations - Average Allocation time	22185.14 Ticks (±1162.10 Ticks)	22283.43 Ticks (±1951.06 Ticks)	1.00
Allocations - Average Allocation time (no fail)	22185.14 Ticks (±1162.10 Ticks)	22283.43 Ticks (±1951.06 Ticks)	1.00
Allocations - Average Deallocation time	3009.39 Ticks (±1436.43 Ticks)	2877.16 Ticks (±1320.24 Ticks)	1.05
mutex_benchmark Build Time	295.50 s	295.15 s	1.00
mutex_benchmark File Size	1.02 MB	1.02 MB	1.00
Mutex Stress Test Average Time per Iteration - 1 Threads	38.68 ns (±4.58 ns)	37.34 ns (±4.31 ns)	1.04
Mutex Stress Test Average Time per Iteration - 2 Threads	29.54 ns (±3.26 ns)	30.54 ns (±3.08 ns)	0.97

This comment was automatically generated by workflow using github-action-benchmark.