diff options
Diffstat (limited to 'prototypes/connections')
| -rw-r--r-- | prototypes/connections/README.md | 5 | ||||
| -rw-r--r-- | prototypes/connections/SOURCE_PREVIEW.md | 3 | ||||
| -rw-r--r-- | prototypes/connections/results/2026-09-24-logical-page/qemu-4k-repeat.json | 23 | ||||
| -rw-r--r-- | prototypes/connections/results/2026-09-24-logical-page/qemu-4k.json | 23 | ||||
| -rw-r--r-- | prototypes/connections/results/2026-09-24-logical-page/qemu-4k.log.gz | bin | 0 -> 250 bytes | |||
| -rw-r--r-- | prototypes/connections/results/2026-09-24-qemu-4k/pure-source-preview.tar.gz | bin | 0 -> 338483 bytes | |||
| -rw-r--r-- | prototypes/connections/results/2026-09-24-qemu-4k/source-package-check.json | 15 | ||||
| -rw-r--r-- | prototypes/connections/test-paged-store.c | 4 |
8 files changed, 70 insertions, 3 deletions
diff --git a/prototypes/connections/README.md b/prototypes/connections/README.md index 67cccd5..7da7eab 100644 --- a/prototypes/connections/README.md +++ b/prototypes/connections/README.md @@ -146,8 +146,9 @@ python3 prototypes/connections/export_flat_store.py \ 같은 `.pure` 문서 편집기를 선택형 페이지 저장소와 함께 터미널에서 사용하려면 새 저장 디렉터리를 지정한다. 논리 페이지는 16 KiB이며 OS 페이지가 이를 -나눌 때만 초기화한다. 현재 실제 검사는 Linux 16 KiB 환경에서만 통과했고, -4 KiB Linux와 macOS는 CI 실행 결과가 아직 없다. CLI와 TUI를 +나눌 때만 초기화한다. Linux 16 KiB 호스트에서 전체 선택형 검사가 통과했고, +4 KiB QEMU 게스트에서 저장소 단언과 1 MiB 고정 CLI 작업을 통과했다. +Linux x86_64 CI와 macOS 실행 결과는 아직 없다. CLI와 TUI를 함께 담은 [선택형 묶음](results/2026-09-24-native-save/pure-document-hybrid-cli-tui-linux-aarch64.tar.gz)은 다음 빌드로 만들며, 기본 `make all`과 기본 저장 형식은 유지된다. diff --git a/prototypes/connections/SOURCE_PREVIEW.md b/prototypes/connections/SOURCE_PREVIEW.md index a4bbfc3..7e4179e 100644 --- a/prototypes/connections/SOURCE_PREVIEW.md +++ b/prototypes/connections/SOURCE_PREVIEW.md @@ -83,6 +83,9 @@ python3 prototypes/connections/package_native.py \ python3 prototypes/connections/check_package.py /tmp/pure-hybrid-tui.tar.gz ``` +The 4 KiB AArch64 guest has passed the page-store assertions and a 1 MiB +fixed-CLI edit; this archive does not include that QEMU research harness. + Use a new store directory for this profile; large documents use `PUREP001` and need the offline exporter above before the default store can read them. diff --git a/prototypes/connections/results/2026-09-24-logical-page/qemu-4k-repeat.json b/prototypes/connections/results/2026-09-24-logical-page/qemu-4k-repeat.json new file mode 100644 index 0000000..5866d72 --- /dev/null +++ b/prototypes/connections/results/2026-09-24-logical-page/qemu-4k-repeat.json @@ -0,0 +1,23 @@ +{ + "passed": true, + "os_page_bytes": 4096, + "checks": [ + "128 mixed and fault-injected page-store edits", + "real prepared CLI creates and rereads every byte of a 1 MiB document", + "one-byte last-position revision edit and stale-revision rejection" + ], + "guest_shutdown": "power down", + "qemu_exit_code": 0, + "host": { + "system": "Linux", + "machine": "aarch64", + "page_bytes": 16384 + }, + "kernel_sha256": "fc341c15f1df9727f8dff25dc5acbbd872cc58ccf5d035a47ea8f6cecb07c5d8", + "config_sha256": "eb5d806796ea79dc73f73cce9ca3146fbd54318f3a3b0cd5b70a500d488e6114", + "guest_binary_sha256": "b8570d4f48e8b9bc5c4244af76d1d0f8854ef9e39e4487eb0f3ca78d6fc98ae5", + "initramfs_sha256": "e318b16208503a8779c9ab88eaaf5f8b3e3af030d5f8c646f153c5ec1ed1140e", + "log_sha256": "a22ba804cac91ba76a1e5f018f41026be74cca10b17600b1ab301b3d3c8fdd88", + "compressed_log_sha256": "d766f0fbd4069c047d01b7bdab184ccdd7cb748061494bb1d714c60fbf484f68", + "qemu_version": "QEMU emulator version 10.0.13 (Debian 1:10.0.13+ds-0+deb13u1)" +} diff --git a/prototypes/connections/results/2026-09-24-logical-page/qemu-4k.json b/prototypes/connections/results/2026-09-24-logical-page/qemu-4k.json new file mode 100644 index 0000000..ebb1c0b --- /dev/null +++ b/prototypes/connections/results/2026-09-24-logical-page/qemu-4k.json @@ -0,0 +1,23 @@ +{ + "passed": true, + "os_page_bytes": 4096, + "checks": [ + "128 mixed and fault-injected page-store edits", + "real prepared CLI creates and rereads every byte of a 1 MiB document", + "one-byte last-position revision edit and stale-revision rejection" + ], + "guest_shutdown": "power down", + "qemu_exit_code": 0, + "host": { + "system": "Linux", + "machine": "aarch64", + "page_bytes": 16384 + }, + "kernel_sha256": "fc341c15f1df9727f8dff25dc5acbbd872cc58ccf5d035a47ea8f6cecb07c5d8", + "config_sha256": "eb5d806796ea79dc73f73cce9ca3146fbd54318f3a3b0cd5b70a500d488e6114", + "guest_binary_sha256": "b8570d4f48e8b9bc5c4244af76d1d0f8854ef9e39e4487eb0f3ca78d6fc98ae5", + "initramfs_sha256": "e318b16208503a8779c9ab88eaaf5f8b3e3af030d5f8c646f153c5ec1ed1140e", + "log_sha256": "894c401f1e888dfe6be360b8903fc384008ac4751758ca9aa52d5f9ba0efefcf", + "compressed_log_sha256": "128e5d54880b7f5b2322f94282dfad8aa949d7646e5066cb70d86088cdfd1ea4", + "qemu_version": "QEMU emulator version 10.0.13 (Debian 1:10.0.13+ds-0+deb13u1)" +} diff --git a/prototypes/connections/results/2026-09-24-logical-page/qemu-4k.log.gz b/prototypes/connections/results/2026-09-24-logical-page/qemu-4k.log.gz Binary files differnew file mode 100644 index 0000000..b01be34 --- /dev/null +++ b/prototypes/connections/results/2026-09-24-logical-page/qemu-4k.log.gz diff --git a/prototypes/connections/results/2026-09-24-qemu-4k/pure-source-preview.tar.gz b/prototypes/connections/results/2026-09-24-qemu-4k/pure-source-preview.tar.gz Binary files differnew file mode 100644 index 0000000..10051cd --- /dev/null +++ b/prototypes/connections/results/2026-09-24-qemu-4k/pure-source-preview.tar.gz diff --git a/prototypes/connections/results/2026-09-24-qemu-4k/source-package-check.json b/prototypes/connections/results/2026-09-24-qemu-4k/source-package-check.json new file mode 100644 index 0000000..83b4063 --- /dev/null +++ b/prototypes/connections/results/2026-09-24-qemu-4k/source-package-check.json @@ -0,0 +1,15 @@ +{ + "archive_sha256": "8de4a88acc0ecb6dd28cd569eb2ad1f6a88867898d86754ae2779f9adf771227", + "archive_bytes": 338483, + "source_files": 173, + "checks": [ + "every extracted source file matches the manifest", + "clean default build contains only the core, parser-free CLI and its build-time compiler", + "clean C17, both real terminal PTY scenarios and fixed/source CLI document RSS checks pass", + "source-loaded CLI and parser-free CLI share the real stored document", + "editing .pure changes the native source-loaded reply", + "clean selected page store runs the source-loaded TUI and relocatable CLI+TUI package", + "clean Linux release behavior, code, dependency and RSS gates pass", + "clean source-loaded terminal editor PTY scenarios pass" + ] +} diff --git a/prototypes/connections/test-paged-store.c b/prototypes/connections/test-paged-store.c index aed0539..aa867c6 100644 --- a/prototypes/connections/test-paged-store.c +++ b/prototypes/connections/test-paged-store.c @@ -165,7 +165,8 @@ static void mixed_edits(const char *path) { } int main(void) { - assert(sysconf(_SC_PAGESIZE) == PAGE); + long host_page = sysconf(_SC_PAGESIZE); + assert(host_page > 0 && PAGE % host_page == 0); char base[] = "/tmp/pure-page-store-XXXXXX"; assert(mkdtemp(base)); char path[256]; @@ -267,4 +268,5 @@ int main(void) { } assert(closedir(directory) == 0 && rmdir(path) == 0 && rmdir(base) == 0); puts("{\"hybrid_storage\":\"snapshot-patch-range-compaction-crash-conflict-uncertain-inline-transitions\",\"mixed_edits\":128}"); + return 0; } |
