1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
{
"date": "2026-09-23",
"scope": "Authored storage/response connections, prepared range semantics, lifetime correctness; no performance comparison",
"compiler": "cc (Debian 14.2.0-19) 14.2.0",
"os_page_size_bytes": 16384,
"cwd": "prototypes/connections",
"native_command": "make check EVIDENCE=results/2026-09-23-prepared-connections/native.json",
"sanitized_command": "make check BUILD=build/sanitized CFLAGS='-std=c17 -O1 -g -Wall -Wextra -Wpedantic -Werror -fsanitize=address,undefined -fno-omit-frame-pointer' EVIDENCE=results/2026-09-23-prepared-connections/sanitized.json",
"core_checks": {
"test-flow": {
"native": "passed",
"asan_ubsan": "passed"
},
"test-program": {
"native": "passed",
"asan_ubsan": "passed",
"boundary_semantic_comparisons": 3584
},
"leak_detection_disabled": false
},
"unit_binary_sha256": {
"build/test-flow": "63830f166dc326d95e91a30b24bba1f750de05c50b60cf454616b35eef1634dc",
"build/test-program": "cb8e9de15301090fda719144bd0fbbbeb9e6e91a14b2bae8e434df2ac510b527",
"build/sanitized/test-flow": "1b608d5ad31b21180e8a4bce0c0ceee79db281c93ef2e7adf0261ca0b5f96df2",
"build/sanitized/test-program": "4396abe70699580d8c27d74aeb50713a9452e6f4060289b97e2d48d5c478666d"
},
"integration_scenarios_each": 22,
"original_storage_scenarios": 16,
"authored_connection_scenarios": 6,
"source_snapshots": "sources/",
"source_hashes_equal": true,
"source_snapshots_match_records": true,
"final_binaries_match_records": true,
"prepared_connections_equal": true,
"native_dynamic_dependencies_ldd": [
"\tlinux-vdso.so.1 (0x00007ffee8528000)",
"\tlibc.so.6 => /lib/aarch64-linux-gnu/libc.so.6 (0x00007ffee82e0000)",
"\t/lib/ld-linux-aarch64.so.1 (0x00007ffee84f0000)"
],
"limitations": [
"Fixed byte-range authoring profile, not the general application language or graph runtime",
"One registered storage effect per handler; constant ranges, no dynamic branches or feedback loops",
"The native connection authoring parser is separate from the existing UI/scalar parser",
"runtime_view_steps is a structural description, not a measured instruction count",
"Logical payload bounds exclude mmap page rounding, page cache, disk retention, sockets and client allocations",
"Selecting input bytes for a reply retains and charges the complete original receive allocation",
"Synchronous storage calls delay other connections and timeout enforcement",
"Linux AArch64 only; macOS and real power loss have not been tested",
"Unpublished files left by crashes have no automatic recovery/collection policy"
]
}
|
