diff options
| author | eunhhu <[email protected]> | 2026-10-04 09:46:51 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-04 09:46:51 +0100 |
| commit | 582294d084fced5bf5b3111f99a81cfb2422787e (patch) | |
| tree | f97d13d3a62e8fa4bc648be17d5dd8c9b225b746 /CHECKPOINT.md | |
| parent | e15df813829e2ab47fa76ede66e3ffb1168eef7c (diff) | |
| download | pure-582294d084fced5bf5b3111f99a81cfb2422787e.tar.gz pure-582294d084fced5bf5b3111f99a81cfb2422787e.zip | |
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.
Diffstat (limited to 'CHECKPOINT.md')
| -rw-r--r-- | CHECKPOINT.md | 2 |
1 files changed, 1 insertions, 1 deletions
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에서 바이트까지 같다. 호스트와 링크는 리눅스에서만 봤다. +만든 저장소가 세 기계에서 바이트까지 같다. 호스트와 링크는 리눅스에서만 봤다. | 요구 | 완료에 필요한 증거 | 현재 상태 | |---|---|---| |