From b1ce1927022d374198441afafeb27199fc8a052a Mon Sep 17 00:00:00 2001 From: eunhhu Date: Thu, 24 Sep 2026 17:14:54 +0100 Subject: Establish native micro runtime checkpoint --- .../2026-09-24-release-callback/async-core.json | 55 +++++++++++++++++++++ .../results/2026-09-24-release-callback/core.json | 53 ++++++++++++++++++++ .../micro-package-check.json | 12 +++++ .../pure-document-micro-linux-aarch64.tar.gz | Bin 0 -> 22758 bytes .../pure-source-preview.tar.gz | Bin 0 -> 333037 bytes .../2026-09-24-release-callback/runtime.json | 1 + .../source-package-check.json | 15 ++++++ 7 files changed, 136 insertions(+) create mode 100644 prototypes/connections/results/2026-09-24-release-callback/async-core.json create mode 100644 prototypes/connections/results/2026-09-24-release-callback/core.json create mode 100644 prototypes/connections/results/2026-09-24-release-callback/micro-package-check.json create mode 100644 prototypes/connections/results/2026-09-24-release-callback/pure-document-micro-linux-aarch64.tar.gz create mode 100644 prototypes/connections/results/2026-09-24-release-callback/pure-source-preview.tar.gz create mode 100644 prototypes/connections/results/2026-09-24-release-callback/runtime.json create mode 100644 prototypes/connections/results/2026-09-24-release-callback/source-package-check.json (limited to 'prototypes/connections/results/2026-09-24-release-callback') diff --git a/prototypes/connections/results/2026-09-24-release-callback/async-core.json b/prototypes/connections/results/2026-09-24-release-callback/async-core.json new file mode 100644 index 0000000..6e5371e --- /dev/null +++ b/prototypes/connections/results/2026-09-24-release-callback/async-core.json @@ -0,0 +1,55 @@ +{ + "passed": true, + "failures": [], + "budget": { + "profile": "selected-owner-thread-async-effects", + "max_text_bytes": 8192, + "max_data_bytes": 0, + "max_bss_bytes": 0, + "layout_max_bytes": { + "domain_bytes": 128, + "work_slot_bytes": 224, + "ticket_bytes": 24, + "prepared_program_bytes": 680, + "effect_bytes": 128 + }, + "archive_members": [ + "runtime-async.o", + "evaluate.o" + ], + "external_symbols_allowed": [ + "memcpy", + "memmove", + "memset", + "strlen" + ], + "scope": "Selected compact owner-thread completion extension without opt-in PURE_RUNTIME_METRICS. Host I/O and worker stacks are excluded. The default execution core and fixed document packages do not link this profile." + }, + "layout": { + "domain_bytes": 128, + "work_slot_bytes": 224, + "ticket_bytes": 24, + "prepared_program_bytes": 680, + "pointer_bytes": 8, + "effect_bytes": 128 + }, + "sections": { + "text": 7372, + "data": 0, + "bss": 0 + }, + "members": [ + "runtime-async.o", + "evaluate.o" + ], + "external_symbols": [ + "memcpy", + "strlen" + ], + "size_output": " text\t data\t bss\t dec\t hex\tfilename\n 6452\t 0\t 0\t 6452\t 1934\truntime-async.o (ex /home/eunhhu/work/pure/prototypes/connections/build/libpure-execution-async.a)\n 920\t 0\t 0\t 920\t 398\tevaluate.o (ex /home/eunhhu/work/pure/prototypes/connections/build/libpure-execution-async.a)\n", + "archive_sha256": "e6b90a42ca7dc894483c920d59c606895a83d16fe2e6b4f1d0a6d36a83d7efb5", + "layout_binary_sha256": "be9307acf8264bc1b333dc05fa0e4b162f912ce8e8b82e3d20eddf49e269d42c", + "budget_sha256": "33afabc20949bc322af9e86b946d39147cd714e32d4e095bc0cc404d11aa79ad", + "platform": "Linux-6.18.39+rpt-rpi-2712-aarch64-with-glibc2.41", + "size_tool": "GNU size (GNU Binutils for Debian) 2.44" +} diff --git a/prototypes/connections/results/2026-09-24-release-callback/core.json b/prototypes/connections/results/2026-09-24-release-callback/core.json new file mode 100644 index 0000000..6182c51 --- /dev/null +++ b/prototypes/connections/results/2026-09-24-release-callback/core.json @@ -0,0 +1,53 @@ +{ + "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": 128, + "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": "Compact release object sections and C bookkeeping, without opt-in PURE_RUNTIME_METRICS, 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": 128, + "work_slot_bytes": 224, + "ticket_bytes": 24, + "prepared_program_bytes": 680, + "pointer_bytes": 8 + }, + "sections": { + "text": 5980, + "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 5060\t 0\t 0\t 5060\t 13c4\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": "c5f05b1fb9d51f244687425a1b1d2f8922f6f899f0b617b4de490c730d106e97", + "layout_binary_sha256": "04c008fb7e0b1ecc8435bce6fbc4478de6180a54da6538d8742acb9b51992fe3", + "budget_sha256": "e418419db6231305342ea8780149948e0e41e28b3afb937268e80b4695d3d5cd", + "platform": "Linux-6.18.39+rpt-rpi-2712-aarch64-with-glibc2.41", + "size_tool": "GNU size (GNU Binutils for Debian) 2.44" +} diff --git a/prototypes/connections/results/2026-09-24-release-callback/micro-package-check.json b/prototypes/connections/results/2026-09-24-release-callback/micro-package-check.json new file mode 100644 index 0000000..9db433b --- /dev/null +++ b/prototypes/connections/results/2026-09-24-release-callback/micro-package-check.json @@ -0,0 +1,12 @@ +{ + "archive_sha256": "722d68e58d948810c4a181d0dc832ad97bc5c65b5f5629d1af5866aff920e0b5", + "archive_bytes": 22758, + "selected_hosts": [ + "pure-edit" + ], + "checks": [ + "relocated archive has only declared files and every file hash matches", + "extracted native CLI creates and restores the real document", + "editing the packaged .pure source changes the executed reply" + ] +} diff --git a/prototypes/connections/results/2026-09-24-release-callback/pure-document-micro-linux-aarch64.tar.gz b/prototypes/connections/results/2026-09-24-release-callback/pure-document-micro-linux-aarch64.tar.gz new file mode 100644 index 0000000..44f9c7f Binary files /dev/null and b/prototypes/connections/results/2026-09-24-release-callback/pure-document-micro-linux-aarch64.tar.gz differ diff --git a/prototypes/connections/results/2026-09-24-release-callback/pure-source-preview.tar.gz b/prototypes/connections/results/2026-09-24-release-callback/pure-source-preview.tar.gz new file mode 100644 index 0000000..68e4f0a Binary files /dev/null and b/prototypes/connections/results/2026-09-24-release-callback/pure-source-preview.tar.gz differ diff --git a/prototypes/connections/results/2026-09-24-release-callback/runtime.json b/prototypes/connections/results/2026-09-24-release-callback/runtime.json new file mode 100644 index 0000000..6f6527d --- /dev/null +++ b/prototypes/connections/results/2026-09-24-release-callback/runtime.json @@ -0,0 +1 @@ +{"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,"release_reentrancy_guard":true} diff --git a/prototypes/connections/results/2026-09-24-release-callback/source-package-check.json b/prototypes/connections/results/2026-09-24-release-callback/source-package-check.json new file mode 100644 index 0000000..459429c --- /dev/null +++ b/prototypes/connections/results/2026-09-24-release-callback/source-package-check.json @@ -0,0 +1,15 @@ +{ + "archive_sha256": "cff657597c0cc33bd9185c8460e0d84f0843da20a786578324ac612fa255c2b4", + "archive_bytes": 333037, + "source_files": 170, + "checks": [ + "every extracted source file matches the manifest", + "clean C17, both real terminal PTY scenarios and fixed/source CLI document RSS checks pass", + "source-loaded CLI and parser-free CLI share the real stored document", + "editing .pure changes the native source-loaded reply", + "clean selected page store exports mixed revisions to the default flat store", + "clean one-MiB document fans out to two same-process Pure domains with independent conflict and release", + "clean Linux release behavior, code, dependency and RSS gates pass", + "clean source-loaded terminal editor PTY scenarios pass" + ] +} -- cgit v1.2.3