aboutsummaryrefslogtreecommitdiffstats
path: root/prototypes/connections
diff options
context:
space:
mode:
Diffstat (limited to 'prototypes/connections')
-rw-r--r--prototypes/connections/README.md5
-rw-r--r--prototypes/connections/SOURCE_PREVIEW.md3
-rw-r--r--prototypes/connections/results/2026-09-24-logical-page/qemu-4k-repeat.json23
-rw-r--r--prototypes/connections/results/2026-09-24-logical-page/qemu-4k.json23
-rw-r--r--prototypes/connections/results/2026-09-24-logical-page/qemu-4k.log.gzbin0 -> 250 bytes
-rw-r--r--prototypes/connections/results/2026-09-24-qemu-4k/pure-source-preview.tar.gzbin0 -> 338483 bytes
-rw-r--r--prototypes/connections/results/2026-09-24-qemu-4k/source-package-check.json15
-rw-r--r--prototypes/connections/test-paged-store.c4
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
new file mode 100644
index 0000000..b01be34
--- /dev/null
+++ b/prototypes/connections/results/2026-09-24-logical-page/qemu-4k.log.gz
Binary files differ
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
new file mode 100644
index 0000000..10051cd
--- /dev/null
+++ b/prototypes/connections/results/2026-09-24-qemu-4k/pure-source-preview.tar.gz
Binary files differ
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;
}