From 582294d084fced5bf5b3111f99a81cfb2422787e Mon Sep 17 00:00:00 2001 From: eunhhu Date: Sun, 4 Oct 2026 09:46:51 +0100 Subject: Trade stores with the WSL2 too: its bytes are the Pi's (029, research 114) The same events make byte-identical stores on the x86_64 WSL2 (4 KiB pages) as on the Pi and the Mac, and a store made on either of the Pi and the WSL2 opens on the other and goes on the same. --- CHECKPOINT.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'CHECKPOINT.md') diff --git a/CHECKPOINT.md b/CHECKPOINT.md index 5747890..3c53700 100644 --- a/CHECKPOINT.md +++ b/CHECKPOINT.md @@ -48,7 +48,7 @@ 확인으로 남기며 완료 조건이 아니다. macOS 지원을 주장하지도 않는다. [114](docs/research/114-across-machines.md)에서 코어, 실행, 저장소를 x86_64의 WSL2(4 KiB 페이지, gcc 13)와 M3의 macOS(clang 21)에서 한 번 돌렸다. aup의 검사가 돌리는 `pure-run` 1,053번이 세 기계에서 같은 출력을 내고, 같은 사건으로 -만든 저장소가 Pi와 Mac에서 바이트까지 같다. 호스트와 링크는 리눅스에서만 봤다. +만든 저장소가 세 기계에서 바이트까지 같다. 호스트와 링크는 리눅스에서만 봤다. | 요구 | 완료에 필요한 증거 | 현재 상태 | |---|---|---| -- cgit v1.2.3