python3 check_core.py --archive build/libpure-execution.a --layout build/core-layout --output "results/2026-09-24-idle-work-binding/core.json"
{
  "passed": true,
  "failures": [],
  "budget": {
    "profile": "current-storage-execution-core",
    "max_text_bytes": 6144,
    "max_data_bytes": 0,
    "max_bss_bytes": 0,
    "layout_max_bytes": {
      "domain_bytes": 200,
      "work_slot_bytes": 224,
      "ticket_bytes": 24,
      "prepared_program_bytes": 680
    },
    "archive_members": [
      "runtime.o",
      "evaluate.o"
    ],
    "external_symbols_allowed": [
      "memcpy",
      "memmove",
      "memset",
      "strlen"
    ],
    "scope": "Release object sections and C bookkeeping, validated with GNU tools on Linux AArch64. Not total RAM, process RSS, stack, linked libraries, parser, storage, network or UI. 6 KiB is a regression ceiling for this profile, not a universal runtime size promise."
  },
  "layout": {
    "domain_bytes": 200,
    "work_slot_bytes": 224,
    "ticket_bytes": 24,
    "prepared_program_bytes": 680,
    "pointer_bytes": 8
  },
  "sections": {
    "text": 6076,
    "data": 0,
    "bss": 0
  },
  "members": [
    "runtime.o",
    "evaluate.o"
  ],
  "external_symbols": [
    "memcpy",
    "strlen"
  ],
  "size_output": "   text\t   data\t    bss\t    dec\t    hex\tfilename\n   5156\t      0\t      0\t   5156\t   1424\truntime.o (ex /home/eunhhu/work/pure/prototypes/connections/build/libpure-execution.a)\n    920\t      0\t      0\t    920\t    398\tevaluate.o (ex /home/eunhhu/work/pure/prototypes/connections/build/libpure-execution.a)\n",
  "archive_sha256": "a02135602c3b18129cc9b80cb808994426d0c7869754eac1370c304294ad0be4",
  "layout_binary_sha256": "db112a9cfd8deed80b9bfbff7628958fdb290cadab1efc7223d8d15ef4c4c389",
  "budget_sha256": "b4eceaffce900144470dd29076164039b8729bad4ba849789d212e7c952f5082",
  "platform": "Linux-6.18.39+rpt-rpi-2712-aarch64-with-glibc2.41",
  "size_tool": "GNU size (GNU Binutils for Debian) 2.44"
}
cc  -O2 -g -std=c17 -Wall -Wextra -Wpedantic -Werror edit.c store.c store-port.c program.c runtime.c evaluate.c   -o build/pure-edit
cc  -O2 -g -std=c17 -Wall -Wextra -Wpedantic -Werror server.c store.c store-port.c flow.c program.c runtime.c evaluate.c   -o build/pure-connections
python3 check_profile.py --build build --output "results/2026-09-24-idle-work-binding/default-profile.json"
{
  "passed": true,
  "failures": [],
  "profile": "linux-aarch64-gcc14-default-document-hosts",
  "scope": "Review thresholds for release-built default CLI and HTTP adapter on the recorded Linux AArch64/GCC 14 toolchain. These section sizes exclude shared libc, heap, stack, mapped files, kernel buffers, and optional GTK/TLS hosts. Any failure requires a cost review, not automatic relaxation.",
  "budget_sha256": "8b1eb0dd4844757705c24a0674142e76d9ee83fdce80a841e87a08e757f1183d",
  "platform": "Linux-6.18.39+rpt-rpi-2712-aarch64-with-glibc2.41",
  "binaries": {
    "pure-edit": {
      "sections": {
        "text": 35967,
        "data": 944,
        "bss": 16
      },
      "needed": [
        "libc.so.6"
      ],
      "sha256": "dfe2b9d03c87eed8cde0d598b182dfc8aa4bba85eca1b64849c77e9c4ef302d3"
    },
    "pure-connections": {
      "sections": {
        "text": 43938,
        "data": 1068,
        "bss": 16
      },
      "needed": [
        "libc.so.6"
      ],
      "sha256": "1b7555764d059bca2be05e406d42305dfc68e3fd87813bcfcfaa390945467a8d"
    }
  }
}
build/pure-compile examples/editor.pure build/embedded-plan.h
python3 check_profile.py --build build --budget fixed-budget.json --output "results/2026-09-24-idle-work-binding/fixed-profile.json"
{
  "passed": true,
  "failures": [],
  "profile": "linux-aarch64-gcc14-fixed-document-runner",
  "scope": "Release-linked CLI and HTTP document hosts with one build-time prepared app. The source parser and compiler are separate build tools. These text ceilings apply only to the recorded Linux AArch64/GCC 14 toolchain and exclude libc, heap, stack, and storage files.",
  "budget_sha256": "2b7e550992abb1872e52846dec712fab59b78692b776fd7e648d7976299f4b2a",
  "platform": "Linux-6.18.39+rpt-rpi-2712-aarch64-with-glibc2.41",
  "binaries": {
    "pure-edit-fixed": {
      "sections": {
        "text": 19404,
        "data": 920,
        "bss": 16
      },
      "needed": [
        "libc.so.6"
      ],
      "sha256": "3d2bf30330330ca377d28db0a7d8f4598365c3cfba9c2d43dc5843246fff19b5"
    },
    "pure-connections-fixed": {
      "sections": {
        "text": 26549,
        "data": 1028,
        "bss": 16
      },
      "needed": [
        "libc.so.6"
      ],
      "sha256": "2869469f4c40674c6904729141005c7705bbc5130019d1ce091ffb135bffe60a"
    }
  }
}
python3 check_micro_memory.py --build build --fixed --output "results/2026-09-24-idle-work-binding/fixed-memory.json"
{
  "passed": true,
  "failures": [],
  "profile": "linux-aarch64-gcc14-native-document-cli-memory",
  "variant": "fixed-program",
  "scope": "Peak process RSS via a small fork/wait4 helper on Linux AArch64. Covers this CLI, libc, the embedded prepared program, store, and one 1 MiB document workload; excludes filesystem cache, kernel buffers, other processes, selected TLS/GTK hosts, and other applications. These are regression ceilings for this toolchain, not a universal memory guarantee.",
  "samples": {
    "small_edit_rss_kib": 1088,
    "one_mib_edit_rss_kib": 2128,
    "one_mib_show_rss_kib": 1088
  },
  "budget_sha256": "53144cabe646e0478f25f4e770ce01bad06f4984ef47f5160d212c02c0b7569f",
  "binary_sha256": "3d2bf30330330ca377d28db0a7d8f4598365c3cfba9c2d43dc5843246fff19b5",
  "platform": "Linux-6.18.39+rpt-rpi-2712-aarch64-with-glibc2.41"
}
cc  -O2 -g -std=c17 -Wall -Wextra -Wpedantic -Werror test-runtime.c program.c runtime.c evaluate.c store.c store-port.c   -o build/test-runtime
cc  -O2 -g -std=c17 -Wall -Wextra -Wpedantic -Werror -DPURE_STORE_TEST test-splice.c program.c runtime.c evaluate.c store.c store-port.c   -o build/test-splice
build/test-flow
{"transfer":"partial-consumption-and-single-release","storage":"mapped-ranges-snapshot-budget-conflict-failure-uncertain-crash-overflow-empty"}
build/test-program
{"program":"prepare-views-preserve-guards-types-effects-and-atomic-install","boundary_semantic_comparisons":3584}
build/test-fields
{"fields":"named-layouts-unaligned-u32le-tail-dynamic-ranges-aliases-failures-limits","data_boundary_cases":48}
python3 check.py --server build/pure-connections --runtime-test build/test-runtime --splice-test build/test-splice --editor build/pure-edit --store-source store.c --output "results/2026-09-24-idle-work-binding/full-check.json"
{
  "kind": "prepared-connection-correctness-not-performance",
  "checks": [
    "fragmented request and binary bytes round trip",
    "conditional create and stale revision preserve committed bytes",
    "writer contention and invalid extent fail without overwriting data",
    "two native writers cannot both create the same expected revision",
    "incomplete request never commits and releases its allocation",
    "borrowed read remains the same snapshot during another commit",
    "receiver reset aborts an outstanding borrowed transfer",
    "unsupported framing and oversized payload are rejected before effects",
    "existing workbench manipulation restores in a fresh runtime and reports conflict",
    "invalid or non-idle restore preserves local state and does not adopt remote revision",
    "revision above JavaScript safe integer round trips without numeric coercion",
    "unread acknowledgment does not undo commit or permit a stale retry",
    "empty body has a valid lifetime and stored revision",
    "committed authoring state survives process restart",
    "slow consumer retains its lease; budget rejects another; deadline releases it",
    "connection slots stay bounded and recover after header deadlines",
    "authored nested read maps only final demand while preserving parent bounds and revision",
    "unused checked view still fails even when response range would be valid",
    "authored write and reply share selected input; invalid parent prevents the storage effect",
    "body-free response preserves read existence and malformed-object errors",
    "input-backed response survives partial send and releases on finish or abort without undoing commit",
    "invalid authored program fails preparation before creating storage or accepting requests",
    "text client uses character selection; named numeric fields select and persist the matching UTF-8 bytes",
    "truncated layouts and invalid data-dependent ranges never change storage; empty and end selections remain valid",
    "changed declaration order and unaligned numeric fields determine access; aliases add no dynamic steps",
    "unused dynamic field selection retains its validation before the write effect",
    "named variable tail reads use the same file version and charge only the selected suffix",
    "data-dependent response keeps and charges the original input through partial transmission",
    "native authored byte edit and fresh native process restore UTF-8 content",
    "native stale revision and invalid byte position preserve the committed document",
    "native convenience editor derives unaligned reordered field positions from the authored program",
    "raw native apply runs another authored input contract without changing the executor",
    "native CLI and external HTTP share revisions and the same authored storage effect in both directions",
    "partial or invalid edit input never modifies the stored document",
    "two processes cannot both splice the same expected document revision",
    "1 MiB document changes with 11 input credits; larger input is rejected before an effect"
  ],
  "prepared_connections": {
    "excerpt": {
      "read": {
        "to_end": false,
        "offset": 32,
        "length": 16,
        "minimum_source_bytes": 80
      },
      "write": {
        "to_end": true,
        "offset": 0,
        "length": 0,
        "minimum_source_bytes": 0
      },
      "reply_input": false,
      "view_definitions": 2,
      "range_definitions": 2,
      "runtime_view_steps": 0,
      "write_step": 0,
      "reply_step": 0,
      "prepared_program_bytes": 680,
      "steps": [],
      "write_effect": "write",
      "splice_offset": {
        "value": 0,
        "from_u32le": false
      },
      "splice_remove": {
        "value": 0,
        "from_u32le": false
      }
    },
    "write": {
      "read": {
        "to_end": true,
        "offset": 0,
        "length": 0,
        "minimum_source_bytes": 0
      },
      "write": {
        "to_end": false,
        "offset": 5,
        "length": 4,
        "minimum_source_bytes": 12
      },
      "reply_input": true,
      "view_definitions": 3,
      "range_definitions": 2,
      "runtime_view_steps": 0,
      "write_step": 0,
      "reply_step": 0,
      "prepared_program_bytes": 680,
      "steps": [],
      "write_effect": "write",
      "splice_offset": {
        "value": 0,
        "from_u32le": false
      },
      "splice_remove": {
        "value": 0,
        "from_u32le": false
      }
    }
  },
  "field_connections": {
    "selection": {
      "read": {
        "to_end": true,
        "offset": 0,
        "length": 0,
        "minimum_source_bytes": 0
      },
      "write": {
        "to_end": false,
        "offset": 0,
        "length": 0,
        "minimum_source_bytes": 8
      },
      "reply_input": true,
      "view_definitions": 2,
      "range_definitions": 1,
      "runtime_view_steps": 1,
      "write_step": 1,
      "reply_step": 1,
      "prepared_program_bytes": 680,
      "steps": [
        {
          "source_step": 0,
          "source": {
            "offset": 8,
            "length": 0,
            "to_end": true
          },
          "offset": {
            "value": 0,
            "from_u32le": true
          },
          "length": {
            "value": 4,
            "from_u32le": true
          }
        }
      ],
      "write_effect": "write",
      "splice_offset": {
        "value": 0,
        "from_u32le": false
      },
      "splice_remove": {
        "value": 0,
        "from_u32le": false
      }
    },
    "reordered": {
      "read": {
        "to_end": true,
        "offset": 0,
        "length": 0,
        "minimum_source_bytes": 0
      },
      "write": {
        "to_end": false,
        "offset": 0,
        "length": 0,
        "minimum_source_bytes": 11
      },
      "reply_input": true,
      "view_definitions": 4,
      "range_definitions": 1,
      "runtime_view_steps": 1,
      "write_step": 1,
      "reply_step": 1,
      "prepared_program_bytes": 680,
      "steps": [
        {
          "source_step": 0,
          "source": {
            "offset": 11,
            "length": 0,
            "to_end": true
          },
          "offset": {
            "value": 7,
            "from_u32le": true
          },
          "length": {
            "value": 3,
            "from_u32le": true
          }
        }
      ],
      "write_effect": "write",
      "splice_offset": {
        "value": 0,
        "from_u32le": false
      },
      "splice_remove": {
        "value": 0,
        "from_u32le": false
      }
    },
    "field_get": {
      "read": {
        "to_end": true,
        "offset": 11,
        "length": 0,
        "minimum_source_bytes": 11
      },
      "write": {
        "to_end": true,
        "offset": 0,
        "length": 0,
        "minimum_source_bytes": 0
      },
      "reply_input": false,
      "view_definitions": 1,
      "range_definitions": 0,
      "runtime_view_steps": 0,
      "write_step": 0,
      "reply_step": 0,
      "prepared_program_bytes": 680,
      "steps": [],
      "write_effect": "write",
      "splice_offset": {
        "value": 0,
        "from_u32le": false
      },
      "splice_remove": {
        "value": 0,
        "from_u32le": false
      }
    }
  },
  "document_edits": {
    "large_document_bytes": 1048576,
    "small_edit_input_bytes": 11,
    "storage_rewrites_full_extent": true,
    "storage_scratch_bytes": 4096,
    "kind": "correctness-and-admission-not-total-memory-or-performance"
  },
  "server_runs": [
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 6,
      "payload_budget": 4194304,
      "peak_connections": 1,
      "accepted": 1,
      "commits": 0,
      "gets": 0,
      "conflicts": 1,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 1,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 0,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 1048583,
      "payload_budget": 4194304,
      "peak_connections": 2,
      "accepted": 42,
      "commits": 12,
      "gets": 15,
      "conflicts": 4,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 32,
      "ingress_prefix_copy_bytes": 14227,
      "borrowed_output_bytes": 2115420,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 2553,
      "payload_budget": 4194304,
      "peak_connections": 1,
      "accepted": 2,
      "commits": 0,
      "gets": 2,
      "conflicts": 0,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 2,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 2556,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 1048576,
      "payload_budget": 1048576,
      "peak_connections": 8,
      "accepted": 12,
      "commits": 0,
      "gets": 3,
      "conflicts": 0,
      "budget_rejections": 1,
      "expired": 9,
      "releases": 3,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 1048582,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 80,
      "payload_budget": 4194304,
      "peak_connections": 1,
      "accepted": 2,
      "commits": 2,
      "gets": 0,
      "conflicts": 0,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 2,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 0,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 16,
      "payload_budget": 16,
      "peak_connections": 1,
      "accepted": 3,
      "commits": 0,
      "gets": 1,
      "conflicts": 0,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 1,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 16,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 16,
      "payload_budget": 16,
      "peak_connections": 1,
      "accepted": 2,
      "commits": 0,
      "gets": 1,
      "conflicts": 0,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 1,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 16,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 12,
      "payload_budget": 4194304,
      "peak_connections": 1,
      "accepted": 5,
      "commits": 1,
      "gets": 2,
      "conflicts": 1,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 5,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 12,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 0,
      "payload_budget": 1,
      "peak_connections": 1,
      "accepted": 3,
      "commits": 0,
      "gets": 1,
      "conflicts": 0,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 0,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 0,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 1048576,
      "payload_budget": 1048576,
      "peak_connections": 2,
      "accepted": 7,
      "commits": 2,
      "gets": 3,
      "conflicts": 0,
      "budget_rejections": 2,
      "expired": 0,
      "releases": 5,
      "ingress_prefix_copy_bytes": 8006,
      "borrowed_output_bytes": 3145734,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 54,
      "payload_budget": 4194304,
      "peak_connections": 1,
      "accepted": 20,
      "commits": 3,
      "gets": 4,
      "conflicts": 1,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 17,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 57,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 19,
      "payload_budget": 4194304,
      "peak_connections": 1,
      "accepted": 2,
      "commits": 1,
      "gets": 1,
      "conflicts": 0,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 2,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 8,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 14,
      "payload_budget": 4194304,
      "peak_connections": 1,
      "accepted": 4,
      "commits": 1,
      "gets": 1,
      "conflicts": 0,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 3,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 3,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 34,
      "payload_budget": 4194304,
      "peak_connections": 1,
      "accepted": 3,
      "commits": 3,
      "gets": 0,
      "conflicts": 0,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 3,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 0,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 23,
      "payload_budget": 23,
      "peak_connections": 1,
      "accepted": 3,
      "commits": 0,
      "gets": 2,
      "conflicts": 0,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 1,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 23,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 1048584,
      "payload_budget": 1048584,
      "peak_connections": 2,
      "accepted": 4,
      "commits": 1,
      "gets": 2,
      "conflicts": 0,
      "budget_rejections": 1,
      "expired": 0,
      "releases": 3,
      "ingress_prefix_copy_bytes": 3998,
      "borrowed_output_bytes": 2097091,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 9,
      "payload_budget": 4194304,
      "peak_connections": 1,
      "accepted": 1,
      "commits": 1,
      "gets": 0,
      "conflicts": 0,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 1,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 1,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 29,
      "payload_budget": 4194304,
      "peak_connections": 1,
      "accepted": 10,
      "commits": 1,
      "gets": 4,
      "conflicts": 1,
      "budget_rejections": 0,
      "expired": 0,
      "releases": 10,
      "ingress_prefix_copy_bytes": 7,
      "borrowed_output_bytes": 113,
      "server_structure_bytes": 41528
    },
    {
      "active": 0,
      "retained_payload_bytes": 0,
      "peak_retained_payload_bytes": 11,
      "payload_budget": 11,
      "peak_connections": 1,
      "accepted": 2,
      "commits": 1,
      "gets": 0,
      "conflicts": 0,
      "budget_rejections": 1,
      "expired": 0,
      "releases": 1,
      "ingress_prefix_copy_bytes": 0,
      "borrowed_output_bytes": 3,
      "server_structure_bytes": 41528
    }
  ],
  "storage": "immutable-byte-extents-v1",
  "execution_core": {
    "runtime_tests": "passed",
    "domain_bytes": 200,
    "work_slot_bytes": 224,
    "ticket_bytes": 24,
    "prepared_program_bytes": 680,
    "forwarding_chain": 1024,
    "native_storage_pipeline": true,
    "idle_slot_binding": true
  },
  "execution_core_test_sha256": "80aaa8831c44101fc03364d393dd99ac1f3ca3fa861e2561447adad6d965ac0a",
  "document_edit_units": {
    "splice_tests": "passed",
    "checks": [
      "authored-fields-and-atomic-parse-failure",
      "binary-edit-oracle-and-old-snapshot",
      "bounds-conflict-size-overflow",
      "publication-failures-and-uncertain-durability",
      "cancel-admission-and-borrowed-reply"
    ]
  },
  "document_edit_test_sha256": "43bff520b326cfe3f17fa0e0b48efc27e393f6cb7bfff3051fe0115b23e4e5fb",
  "editor_sha256": "dfe2b9d03c87eed8cde0d598b182dfc8aa4bba85eca1b64849c77e9c4ef302d3",
  "binary_sha256": "1b7555764d059bca2be05e406d42305dfc68e3fd87813bcfcfaa390945467a8d",
  "environment": {
    "platform": "Linux-6.18.39+rpt-rpi-2712-aarch64-with-glibc2.41",
    "machine": "aarch64",
    "python": "3.14.7",
    "node": "v24.20.0"
  },
  "source_sha256": {
    "prototypes/connections/store.c": "44702e9414c26d1ee336b2e36e6713560013c2c8d0091a8900042e2468f88015",
    "prototypes/connections/flow.c": "3957de06e33985a8310954af07b33c2a1d02a4afdf9bd112d06c99c0b5df7749",
    "prototypes/connections/flow.h": "289ff43d191270066e238235023f096946f3f561ec5825d2f6c26006db5fc421",
    "prototypes/connections/store.h": "e3cf5f169be02e40f1274105046f29a63a46cd153beaf204d33d6100b9c869b8",
    "prototypes/connections/program.c": "d7186634d2bfd83bbaf87ea3bafdec8d14be8f556cbf3d9877d07e0074b4b389",
    "prototypes/connections/program.h": "b9ea0af3759150637ccba9362ccb73be374ed85b449b0461fc61fb14ee50e8bc",
    "prototypes/connections/runtime.c": "ead1331794f8e4fb851e21eb7f7d3e7c408316d7481c51996e6ee62a81665a0c",
    "prototypes/connections/runtime.h": "beff8a8a10f21c017987d69682bb279701d5627227aca60029a711b9e64cca85",
    "prototypes/connections/result.h": "00b6cf02262039fd90b197eb781f38c9771beaa8d65f394cba6d3f8d0b2ae79d",
    "prototypes/connections/evaluate.c": "ee8b91efc733b9d305711b7cbb7b502ae5d3917e06f750b7f62b632ed0ea6d04",
    "prototypes/connections/store-port.c": "d6bf17878b325e039360816edcbf8d68e41b373cf3e6128d7795e11ae21fdd6f",
    "prototypes/connections/store-port.h": "a262bac93463bfe9939ca0bdc5989d1665aafc007d61e93c28ffc36478b1fde6",
    "prototypes/connections/test-runtime.c": "8c275bf564a674f0f8232026d0d7612df48f10054af75a43af5ed0bce7653e24",
    "prototypes/connections/server.c": "e8632667de6feaf4d495f87abb159775650e3e4eaf6713b9dfdc5f82807c2bf9",
    "prototypes/connections/check.py": "546ab85ba3495daa09a6299b23e05308718287b77bde326849ce9c26c8068eb2",
    "prototypes/connections/check_edits.py": "7699eb4bda57ad860acf7be6da3e6de56d6b9a3dcf3b9ff9c7df104f5bcb9224",
    "prototypes/connections/edit.c": "f39a7c411afa80812aec6e7a7250cdc833e97cffef8d0cce25d960fe435784f6",
    "prototypes/connections/test-splice.c": "2415188c89ff413f10d55a8cf1902e76c585cc4102f01d504bbf84dbe8d90a8f",
    "prototypes/connections/test-flow.c": "2cd2618015ba6806b1a733af0fc7d0ed6aec48fdec117d18c3a8160f534e130b",
    "prototypes/connections/test-program.c": "a1b65be05ab2e4e5ccbc56cd1e03e17b0d885f15dc027bf295371ec821e19cc8",
    "prototypes/connections/test-fields.c": "e5856ae1985dc8407565ebf7b65702478a34a05081c955f127a10d3cdc900507",
    "prototypes/connections/Makefile": "f9a0c9fa7d0f40d6d72bc72a429dd36e136e27207aa6b0c01df9505d82189b6d",
    "prototypes/connections/core-layout.c": "e3123bdf74edb99556b05d7cd3a36b6119ec30829541b0ddba2e23e5900b089d",
    "prototypes/connections/check_core.py": "f80ead11764e870f0bde434c93233d518e5874fdb32f77444e7bd8bbe7398a10",
    "prototypes/connections/core-budget.json": "b4eceaffce900144470dd29076164039b8729bad4ba849789d212e7c952f5082",
    "prototypes/connections/examples/editor.pure": "8ca6c191b98bf53a592ce24f2b5cd040e41f05c4ccdda7a072d5d7f79870c06a",
    "prototypes/connections/examples/storage.pure": "6f2fd3733f46b762836405f40a9720de0b865f92a8bcbf9388dda0532c903c74",
    "prototypes/connections/examples/excerpt.pure": "7ca1b9a4b6a06c32b95e37bcdeb2202ef912ffbf16163f7eea2b00574c703c16",
    "prototypes/connections/examples/selection.pure": "90a19a080dd31b532163b8063057beee4701d8f74163ac4083833a1d664fe986",
    "prototypes/connections/examples/select-text.py": "3211ce21bf6058f0131544959272587af4edb3fd5a956aee0a940ab19888f944",
    "prototypes/workbench/remote.mjs": "6f5aa2bc5a3c88749b2b688c5631eed9e4a5ab41d72eca168bfb67941a8cff2f",
    "prototypes/workbench/cli.mjs": "55a5ead56fc8ad4c3f2391505fc3dbfa477ccff5b68fc208f700da24d5e194da",
    "prototypes/workbench/web/core.wasm": "e5187c44f8d2df952a85e4cf8102b71dbec6c43420893b3544a6f8514a1bff5c",
    "prototypes/workbench/web/runtime.mjs": "9cf12270bb39b3d6ce0384c56df8bdfabfd9459d3375cc7819290a5fe3e5db54",
    "prototypes/workbench/web/compiler.mjs": "349139612d1f7da5f75ef21c65aa697963b760cb35321150fc36f67f3b40adf1",
    "prototypes/workbench/web/project.mjs": "8af4cd1a60bbb217c896be20c7c6b8d33989f2166d06e736bf1479d8ecdc8b35",
    "prototypes/workbench/examples/direct.pure": "57177e5197d75a6185cd3ac5df2be920ddba9a9b0fcc2dddab3560b815249f0a"
  }
}
python3 check_micro_memory.py --build build --output "results/2026-09-24-idle-work-binding/source-memory.json"
{
  "passed": true,
  "failures": [],
  "profile": "linux-aarch64-gcc14-native-document-cli-memory",
  "variant": "source-program",
  "scope": "Peak process RSS via a small fork/wait4 helper on Linux AArch64. Covers this CLI, libc, program parsing, store, and one 1 MiB document workload; excludes filesystem cache, kernel buffers, other processes, selected TLS/GTK hosts, and other applications. These are regression ceilings for this toolchain, not a universal memory guarantee.",
  "samples": {
    "small_edit_rss_kib": 1056,
    "one_mib_edit_rss_kib": 2080,
    "one_mib_show_rss_kib": 1056
  },
  "budget_sha256": "53144cabe646e0478f25f4e770ce01bad06f4984ef47f5160d212c02c0b7569f",
  "binary_sha256": "dfe2b9d03c87eed8cde0d598b182dfc8aa4bba85eca1b64849c77e9c4ef302d3",
  "platform": "Linux-6.18.39+rpt-rpi-2712-aarch64-with-glibc2.41"
}