Establish native micro runtime checkpoint

1 files changed, 114 insertions, 0 deletions

diff --git a/research/experiments/003-json-fanout/results/2026-09-22-linux-aarch64/verification.json b/research/experiments/003-json-fanout/results/2026-09-22-linux-aarch64/verification.json
new file mode 100644
index 0000000..ca94ae7
--- /dev/null
+++ b/research/experiments/003-json-fanout/results/2026-09-22-linux-aarch64/verification.json
@@ -0,0 +1,114 @@
+{
+  "native": [
+    "borrow: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "borrow: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "borrow: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "borrow: empty input, final JSON without newline, first duplicate member",
+    "borrow: eight invalid JSON/schema cases with retained owners",
+    "borrow: cancellation preserves each branch prefix and releases all shared owners",
+    "borrow: parser allocation charged and refused within total budget",
+    "copy: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy: empty input, final JSON without newline, first duplicate member",
+    "copy: eight invalid JSON/schema cases with retained owners",
+    "copy: cancellation preserves each branch prefix and releases all shared owners",
+    "copy: parser allocation charged and refused within total budget",
+    "shared_copy: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "shared_copy: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "shared_copy: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "shared_copy: empty input, final JSON without newline, first duplicate member",
+    "shared_copy: eight invalid JSON/schema cases with retained owners",
+    "shared_copy: cancellation preserves each branch prefix and releases all shared owners",
+    "shared_copy: parser allocation charged and refused within total budget",
+    "threshold2: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold2: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold2: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold2: empty input, final JSON without newline, first duplicate member",
+    "threshold2: eight invalid JSON/schema cases with retained owners",
+    "threshold2: cancellation preserves each branch prefix and releases all shared owners",
+    "threshold2: parser allocation charged and refused within total budget",
+    "threshold8: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold8: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold8: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold8: empty input, final JSON without newline, first duplicate member",
+    "threshold8: eight invalid JSON/schema cases with retained owners",
+    "threshold8: cancellation preserves each branch prefix and releases all shared owners",
+    "threshold8: parser allocation charged and refused within total budget",
+    "compact: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "compact: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "compact: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "compact: empty input, final JSON without newline, first duplicate member",
+    "compact: eight invalid JSON/schema cases with retained owners",
+    "compact: cancellation preserves each branch prefix and releases all shared owners",
+    "compact: parser allocation charged and refused within total budget",
+    "copy_no_pool: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy_no_pool: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy_no_pool: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy_no_pool: empty input, final JSON without newline, first duplicate member",
+    "copy_no_pool: eight invalid JSON/schema cases with retained owners",
+    "copy_no_pool: cancellation preserves each branch prefix and releases all shared owners",
+    "copy_no_pool: parser allocation charged and refused within total budget",
+    "identical selections copied once and live until the final consumer",
+    "last-owner compaction keeps the delayed decoded value valid",
+    "overlong NDJSON record refused without leaked source",
+    "actual /dev/full failure releases multiple owners",
+    "SIGTERM during delayed fan-out releases all owners"
+  ],
+  "asan_ubsan": [
+    "borrow: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "borrow: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "borrow: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "borrow: empty input, final JSON without newline, first duplicate member",
+    "borrow: eight invalid JSON/schema cases with retained owners",
+    "borrow: cancellation preserves each branch prefix and releases all shared owners",
+    "borrow: parser allocation charged and refused within total budget",
+    "copy: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy: empty input, final JSON without newline, first duplicate member",
+    "copy: eight invalid JSON/schema cases with retained owners",
+    "copy: cancellation preserves each branch prefix and releases all shared owners",
+    "copy: parser allocation charged and refused within total budget",
+    "shared_copy: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "shared_copy: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "shared_copy: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "shared_copy: empty input, final JSON without newline, first duplicate member",
+    "shared_copy: eight invalid JSON/schema cases with retained owners",
+    "shared_copy: cancellation preserves each branch prefix and releases all shared owners",
+    "shared_copy: parser allocation charged and refused within total budget",
+    "threshold2: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold2: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold2: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold2: empty input, final JSON without newline, first duplicate member",
+    "threshold2: eight invalid JSON/schema cases with retained owners",
+    "threshold2: cancellation preserves each branch prefix and releases all shared owners",
+    "threshold2: parser allocation charged and refused within total budget",
+    "threshold8: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold8: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold8: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "threshold8: empty input, final JSON without newline, first duplicate member",
+    "threshold8: eight invalid JSON/schema cases with retained owners",
+    "threshold8: cancellation preserves each branch prefix and releases all shared owners",
+    "threshold8: parser allocation charged and refused within total budget",
+    "compact: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "compact: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "compact: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "compact: empty input, final JSON without newline, first duplicate member",
+    "compact: eight invalid JSON/schema cases with retained owners",
+    "compact: cancellation preserves each branch prefix and releases all shared owners",
+    "compact: parser allocation charged and refused within total budget",
+    "copy_no_pool: 1 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy_no_pool: 2 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy_no_pool: 3 consumer(s), UTF-8/escapes/NUL/empty, slot reuse",
+    "copy_no_pool: empty input, final JSON without newline, first duplicate member",
+    "copy_no_pool: eight invalid JSON/schema cases with retained owners",
+    "copy_no_pool: cancellation preserves each branch prefix and releases all shared owners",
+    "copy_no_pool: parser allocation charged and refused within total budget",
+    "identical selections copied once and live until the final consumer",
+    "last-owner compaction keeps the delayed decoded value valid",
+    "overlong NDJSON record refused without leaked source",
+    "actual /dev/full failure releases multiple owners",
+    "SIGTERM during delayed fan-out releases all owners"
+  ]
+}