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
52
53
54
55
56
57
58
59
60
61
62
|
{
"date": "2026-09-23",
"scope": "Named boundary fields and data-dependent byte selection; correctness and source lifetimes, not a 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-field-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-field-connections/sanitized.json",
"core_checks": {
"test-flow": {
"native": "passed",
"asan_ubsan": "passed"
},
"test-program": {
"native": "passed",
"asan_ubsan": "passed",
"boundary_semantic_comparisons": 3584
},
"test-fields": {
"native": "passed",
"asan_ubsan": "passed",
"data_boundary_cases": 48
},
"leak_detection_disabled": false
},
"unit_binary_sha256": {
"build/test-flow": "81bb00a859ffc6dad647159514e80d97ff2897687f6e904610fdd3b70ea30878",
"build/test-program": "c15f0f40c50a10b57d456e064d5b64d5a4cbef29bda55495fda0b4648105a866",
"build/test-fields": "8b274b9fe8b8c45198f8d536186aeefe0aecd8564f56d903cc4a634624889e00",
"build/sanitized/test-flow": "bff35676c65fcb9cd5cf3ee2daa1da33067c6648e436ad62d72ada4609542f93",
"build/sanitized/test-program": "e6487158d71ef075771965b4d80c7c116c689174a7cd2dee4f9e5a465def4325",
"build/sanitized/test-fields": "30852cde86252c52ff244f544b847ef05683ab0b33ed4dd4a134fe5fdd49a940"
},
"integration_scenarios_each": 28,
"previous_scenarios": 22,
"field_scenarios": 6,
"source_snapshots": "sources/",
"source_hashes_equal": true,
"source_snapshots_match_records": true,
"final_binaries_match_records": true,
"prepared_connections_equal": true,
"field_connections_equal": true,
"prepared_program_bytes": 648,
"previous_prepared_program_bytes": 112,
"native_dynamic_dependencies_ldd": [
"\tlinux-vdso.so.1 (0x00007fff973d8000)",
"\tlibc.so.6 => /lib/aarch64-linux-gnu/libc.so.6 (0x00007fff97190000)",
"\t/lib/ld-linux-aarch64.so.1 (0x00007fff973a0000)"
],
"limitations": [
"Declared boundary layouts are not a universal storage schema or application object model",
"Only u32le, fixed bytes, and a final variable byte field; no general arithmetic or schema version negotiation",
"Dynamic ranges operate on PUT input; GET numeric-dependent ranges are rejected",
"One storage effect per handler, no read-modify-write, branches or feedback loops",
"Program always reserves room for eight dynamic range steps, including programs that use none",
"Source receive allocation remains fully retained/charged even when a small selection is returned",
"Server byte fields do not validate UTF-8; the example Python client preserves code-point boundaries",
"Logical payload bounds exclude mapping pages, page cache, disk, OS sockets and client allocations",
"Synchronous storage can delay other connections and timeout enforcement",
"Linux AArch64 only; macOS, real power loss, and large-service performance not tested"
]
}
|
