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-22-linux-aarch64-v2/verification.json | 94 ++++++++++++++++++++++ 1 file changed, 94 insertions(+) create mode 100644 research/experiments/002-buffer-retention/results/2026-09-22-linux-aarch64-v2/verification.json (limited to 'research/experiments/002-buffer-retention/results/2026-09-22-linux-aarch64-v2/verification.json') diff --git a/research/experiments/002-buffer-retention/results/2026-09-22-linux-aarch64-v2/verification.json b/research/experiments/002-buffer-retention/results/2026-09-22-linux-aarch64-v2/verification.json new file mode 100644 index 0000000..539be67 --- /dev/null +++ b/research/experiments/002-buffer-retention/results/2026-09-22-linux-aarch64-v2/verification.json @@ -0,0 +1,94 @@ +{ + "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", + "current-image VmHWM distinguishes large retained sources from small projections" + ], + "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", + "current-image VmHWM distinguishes large retained sources from small projections" + ] +} -- cgit v1.2.3