From 3265bc65ef6d2e399be6141f678f4f299a2d7491 Mon Sep 17 00:00:00 2001
From: eunhhu <necpition205@gmail.com>
Date: Fri, 25 Sep 2026 11:55:47 +0100
Subject: Compile messages and keyed documents to module v2

aup now emits Pure module v2 and adds keyed byte collections
(state documents: bytes by key), message inputs by key with u32 and a
trailing bytes field, on-message handlers, field access, name[key] reads
and .bytes sizes, replace(a .. b, value), reply and require, all checked
for number/bytes types with file:line:column diagnostics.

The document editor and its size-bounded variant are rewritten in aup.
make check runs them through pure-edit-module against pure-edit running the
original editor.pure programs: 1,280 random show/edit/apply operations,
including conflicts, limits, missing documents, budgets and invalid keys,
produce byte-identical stdout, stderr and exit codes, and each CLI reads the
other's store identically. v0a parity with the workbench engine, 33
diagnostics and generated/damaged programs still pass, also with a
sanitizer-built compiler.
---
 README.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 17e70d4..89f7f41 100644
--- a/README.md
+++ b/README.md
@@ -9,14 +9,17 @@ aup는 [Pure](/srv/git/pure.git) 런타임을 위한 **언어와 툴체인**이
 | **aup** | 언어와 툴체인. 소스 → 진단 → Pure 모듈 |
 | [Vega](/srv/git/vega.git) | aup와 Pure 위의 인터페이스 구현자(TUI·CLI·GUI·NUI) |
 
-상태: v0a(scalar 상태·키 입력·원자적 이벤트·보기) 동작. v0b(바이트·영속 문서) 설계 중.
+상태: v0a(scalar 상태·키 입력·원자적 이벤트·보기)와 v0b의 바이트·영속 문서·메시지·응답 동작.
+다음은 text와 커서.
 [언어 v0](docs/design/001-language-v0.md).
 
 ```sh
 make                                   # build/aup
 build/aup build examples/counter.aup -o counter.pmod
 printf 'down tap\nup tap\nshow\n' | ../pure/prototypes/connections/build/pure-run counter.pmod
-make check                             # Pure 검증, 결정성, 진단, 워크벤치 엔진과의 비트 단위 대조
+build/aup build examples/editor.aup -o editor.pmod
+../pure/prototypes/connections/build/pure-edit-module --module editor.pmod --store /tmp/docs show note
+make check                             # Pure 검증, 결정성, 진단, 워크벤치·기존 편집기와의 대조
 ```
 
 `make check`는 옆의 Pure 체크아웃(`PURE=../pure/prototypes/connections`)의 검증기와 시험 호스트를 쓰고,
-- 
cgit v1.2.3