Establish native micro runtime checkpoint

1 files changed, 92 insertions, 0 deletions

diff --git a/research/experiments/002-buffer-retention/results/2026-09-22-linux-aarch64/verification.json b/research/experiments/002-buffer-retention/results/2026-09-22-linux-aarch64/verification.json
new file mode 100644
index 0000000..60f0b18
--- /dev/null
+++ b/research/experiments/002-buffer-retention/results/2026-09-22-linux-aarch64/verification.json
@@ -0,0 +1,92 @@
+{
+  "native": [
+    "borrow: byte equality, accounting, cleanup, slow=False",
+    "borrow: byte equality, accounting, cleanup, slow=True",
+    "borrow: six malformed inputs with pending buffer cleanup",
+    "borrow: cancellation preserves completed output prefix and releases pending buffers",
+    "borrow: empty stream",
+    "copy: byte equality, accounting, cleanup, slow=False",
+    "copy: byte equality, accounting, cleanup, slow=True",
+    "copy: six malformed inputs with pending buffer cleanup",
+    "copy: cancellation preserves completed output prefix and releases pending buffers",
+    "copy: empty stream",
+    "threshold2: byte equality, accounting, cleanup, slow=False",
+    "threshold2: byte equality, accounting, cleanup, slow=True",
+    "threshold2: six malformed inputs with pending buffer cleanup",
+    "threshold2: cancellation preserves completed output prefix and releases pending buffers",
+    "threshold2: empty stream",
+    "threshold4: byte equality, accounting, cleanup, slow=False",
+    "threshold4: byte equality, accounting, cleanup, slow=True",
+    "threshold4: six malformed inputs with pending buffer cleanup",
+    "threshold4: cancellation preserves completed output prefix and releases pending buffers",
+    "threshold4: empty stream",
+    "threshold8: byte equality, accounting, cleanup, slow=False",
+    "threshold8: byte equality, accounting, cleanup, slow=True",
+    "threshold8: six malformed inputs with pending buffer cleanup",
+    "threshold8: cancellation preserves completed output prefix and releases pending buffers",
+    "threshold8: empty stream",
+    "pressure: byte equality, accounting, cleanup, slow=False",
+    "pressure: byte equality, accounting, cleanup, slow=True",
+    "pressure: six malformed inputs with pending buffer cleanup",
+    "pressure: cancellation preserves completed output prefix and releases pending buffers",
+    "pressure: empty stream",
+    "project: byte equality, accounting, cleanup, slow=False",
+    "project: byte equality, accounting, cleanup, slow=True",
+    "project: six malformed inputs with pending buffer cleanup",
+    "project: cancellation preserves completed output prefix and releases pending buffers",
+    "project: empty stream",
+    "copy_no_pool: byte equality, accounting, cleanup, slow=False",
+    "copy_no_pool: byte equality, accounting, cleanup, slow=True",
+    "copy_no_pool: six malformed inputs with pending buffer cleanup",
+    "copy_no_pool: cancellation preserves completed output prefix and releases pending buffers",
+    "copy_no_pool: empty stream",
+    "frame larger than buffer budget: bounded refusal versus projection",
+    "real output failure through /dev/full, pending buffers released",
+    "SIGTERM interrupts delayed sink and releases buffers"
+  ],
+  "asan_ubsan": [
+    "borrow: byte equality, accounting, cleanup, slow=False",
+    "borrow: byte equality, accounting, cleanup, slow=True",
+    "borrow: six malformed inputs with pending buffer cleanup",
+    "borrow: cancellation preserves completed output prefix and releases pending buffers",
+    "borrow: empty stream",
+    "copy: byte equality, accounting, cleanup, slow=False",
+    "copy: byte equality, accounting, cleanup, slow=True",
+    "copy: six malformed inputs with pending buffer cleanup",
+    "copy: cancellation preserves completed output prefix and releases pending buffers",
+    "copy: empty stream",
+    "threshold2: byte equality, accounting, cleanup, slow=False",
+    "threshold2: byte equality, accounting, cleanup, slow=True",
+    "threshold2: six malformed inputs with pending buffer cleanup",
+    "threshold2: cancellation preserves completed output prefix and releases pending buffers",
+    "threshold2: empty stream",
+    "threshold4: byte equality, accounting, cleanup, slow=False",
+    "threshold4: byte equality, accounting, cleanup, slow=True",
+    "threshold4: six malformed inputs with pending buffer cleanup",
+    "threshold4: cancellation preserves completed output prefix and releases pending buffers",
+    "threshold4: empty stream",
+    "threshold8: byte equality, accounting, cleanup, slow=False",
+    "threshold8: byte equality, accounting, cleanup, slow=True",
+    "threshold8: six malformed inputs with pending buffer cleanup",
+    "threshold8: cancellation preserves completed output prefix and releases pending buffers",
+    "threshold8: empty stream",
+    "pressure: byte equality, accounting, cleanup, slow=False",
+    "pressure: byte equality, accounting, cleanup, slow=True",
+    "pressure: six malformed inputs with pending buffer cleanup",
+    "pressure: cancellation preserves completed output prefix and releases pending buffers",
+    "pressure: empty stream",
+    "project: byte equality, accounting, cleanup, slow=False",
+    "project: byte equality, accounting, cleanup, slow=True",
+    "project: six malformed inputs with pending buffer cleanup",
+    "project: cancellation preserves completed output prefix and releases pending buffers",
+    "project: empty stream",
+    "copy_no_pool: byte equality, accounting, cleanup, slow=False",
+    "copy_no_pool: byte equality, accounting, cleanup, slow=True",
+    "copy_no_pool: six malformed inputs with pending buffer cleanup",
+    "copy_no_pool: cancellation preserves completed output prefix and releases pending buffers",
+    "copy_no_pool: empty stream",
+    "frame larger than buffer budget: bounded refusal versus projection",
+    "real output failure through /dev/full, pending buffers released",
+    "SIGTERM interrupts delayed sink and releases buffers"
+  ]
+}