From b238c3f3adf328127359d50eab3ffcee05737674 Mon Sep 17 00:00:00 2001 From: eunhhu Date: Fri, 25 Sep 2026 09:49:20 +0100 Subject: Make the local Pi the verification device The recorded Raspberry Pi 5 (Linux AArch64, 16 KiB pages, ext4) replaces Apple Silicon macOS as the device whose results decide completion. The macOS CI job stays as an optional portability check; no macOS support is claimed. --- CHECKPOINT.md | 4 ++++ README.md | 14 +++++++------- docs/research/010-roadmap.md | 5 +++-- 3 files changed, 14 insertions(+), 9 deletions(-) diff --git a/CHECKPOINT.md b/CHECKPOINT.md index 86991cf..4fd8f95 100644 --- a/CHECKPOINT.md +++ b/CHECKPOINT.md @@ -11,6 +11,10 @@ 변경을 주고받는다. CLI의 자동화와 네이티브 UI가 같은 앱 로직을 사용해야 한다. 현재 브라우저 UI나 Python 요청 클라이언트를 네이티브 앱 완성으로 대체하지 않는다. +검증 기기는 로컬 Raspberry Pi 5(Linux AArch64)다(2026-09-25 변경). 아래의 macOS 관련 +기록과 [Apple Silicon CI 작업](.github/workflows/native-macos-arm64.yml)은 선택적인 이식성 +확인으로 남기며 완료 조건이 아니다. macOS 지원을 주장하지도 않는다. + | 요구 | 완료에 필요한 증거 | 현재 상태 | |---|---|---| | Pure가 실행·자원·연결을 소유 | 호스트 타입 없는 실행 코어, 실제 입출력 어댑터, 종료·완료·회수 검증 | 저장과 선택한 scalar 앱 입력·상태·복원을 같은 코어에 연결. [045](docs/research/045-owner-thread-async-effects.md)의 선택형 완료 원시 기능과 [048](docs/research/048-immutable-read-write-overlap.md)의 실제 HTTP 호스트에서 수명·기한·종료·쓰기 중 읽기를 검증했다. 인증 피어 통합과 일반 앱 표현은 미완료 | diff --git a/README.md b/README.md index 4516cce..25a02e7 100644 --- a/README.md +++ b/README.md @@ -105,19 +105,19 @@ document CLI and HTTP host are separately checked at 36,135 B and 44,342 B of linked `text`, with libc as their only direct shared library. These are regression boundaries for the recorded toolchain, not total memory targets. [The current authored policy and total cost](docs/research/069-atomic-authored-size-policy.md). +The verification device is the local Raspberry Pi 5 (Linux AArch64, 16 KiB +pages, ext4 on SD); macOS is no longer a completion requirement. `make -C prototypes/connections check-portable` runs the C behavior checks -without Linux-only size/RSS tools; it is the first check to run on Apple Silicon -macOS with Apple Clang. `make -C prototypes/connections check-portable-tui` +without Linux-only size/RSS tools. `make -C prototypes/connections check-portable-tui` runs both terminal editors through real PTYs without Linux `/proc`; it does not measure their RSS. `make -C prototypes/connections BUILD=build/native-checkpoint check-native-checkpoint` combines those checks with real CLI document RSS samples for 1 MiB creation, read and 1 B revision edit. It adds no runtime code or macOS memory ceiling. The storage adapter now exposes the Darwin open flags it uses. -These checks have passed on Linux AArch64, but no macOS SDK build or -native run has been completed here, so this is not a macOS support claim. -The [Apple Silicon CI job](.github/workflows/native-macos-arm64.yml) runs those -native app, PTY, authored policy, RSS and in-process document-routing checks on a macOS arm64 -runner when this source is hosted on GitHub; a passing run is still required. +These checks have passed on Linux AArch64. No macOS SDK build or native run +has been completed, so this is not a macOS support claim. The +[Apple Silicon CI job](.github/workflows/native-macos-arm64.yml) remains an +optional portability check for a GitHub-hosted copy. The optional `make -C prototypes/connections check-portable-peer` runs real authenticated TLS document work for both native peer profiles without Linux `/proc`; it requires OpenSSL and has [separate Linux cost evidence](docs/research/058-portable-authenticated-peer-check.md). diff --git a/docs/research/010-roadmap.md b/docs/research/010-roadmap.md index a9ae94d..fc9a15f 100644 --- a/docs/research/010-roadmap.md +++ b/docs/research/010-roadmap.md @@ -153,9 +153,10 @@ RAM·storage를 테이블·행·SQL 실행 모델에 맞추지 않고, 소비자 네이티브 UI 경로는 아직 구현하지 않았다. 기존 코어의 재사용 여부도 새 요구에 따라 판단한다. 네이티브 숫자 코어 테스트나 독립 데이터 처리 실험만으로 애플리케이션 런타임 완료로 세지 않는다. -첫 목표 환경은 사용자가 밝힌 M칩 macOS다. 현재 작업 환경인 Linux의 빌드·검사 결과로 +2026-09-25 변경: 검증 기기는 로컬 Raspberry Pi 5(Linux AArch64, 16 KiB 페이지, SD 카드의 +ext4)다. 앞서 첫 목표 환경으로 둔 M칩 macOS는 완료 조건에서 뺐다. 그래도 Linux 결과로 macOS의 창·Metal·IME·접근성 동작을 검증했다고 주장하지 않는다. 플랫폼 선택은 런타임의 -애플리케이션 의미와 분리하고, 실제 macOS 검증이 남으면 완료 보고에 명시한다. +애플리케이션 의미와 분리한다. ## 측정과 규모 선택 -- cgit v1.2.3