027's stage 4 closed: 106 opcodes now 95, 7 state kinds 6, 6 input kinds and the frame and pointing 3 kinds and their bindings, a view's type a record field's, the fixed limits the format's and the list engine's widths alone; core 22,398 lines to 22,766, serve.c 5,086 to 5,058, aup's compile.c 5,923 to 5,720; TPC-C in RAM (W=1, 64 terminals, 20 s, in turns with stage 3's end, three each) 45,893 transactions a second to 46,063 (+0.37%), new-order p99 3,712 to 3,456 us; the bank's queries (stage 3's on its aup's module, five each in turns) field -1.23% to in_credit +1.15% (the noisy three within their 1-3% spread); CHECKPOINT's direction row through stage 4, its nesting as it is now

1 files changed, 10 insertions, 0 deletions

diff --git a/docs/design/027-computation-core.md b/docs/design/027-computation-core.md
index 687a51f..28c03b2 100644
--- a/docs/design/027-computation-core.md
+++ b/docs/design/027-computation-core.md
@@ -493,6 +493,16 @@
     - 명령 수(b42 대 b41): 묶음과 함께 BFS −0.12%, 실행기만 BFS +0.09%, 나머지 ±0.001% 안이다. 은행 질의(s41과 s42를 한 번에 번갈아
       여섯 번)는 in_credit +1.04%, per_branch +0.60%, ranks +0.36%, 나머지 ±0.01% 안이다. 그 셋은 흔들림이다: 은행 앱에는 함수가 없어
       바뀐 길(부르는 실행기)을 지나지 않고, s42의 in_credit 여섯(3.51M–3.55M)은 같은 s41 빌드가 앞서 낸 여섯(3.49M–3.59M) 안에 있다.
+- **4단계의 마감(2026-10-19).**
+  - 명령 106 → 95(DOC·DOC_SIZE·REPLACE, 커서와 인덱스의 열셋이 앵커의 일곱, DT와 TEXT_INPUT이 빠졌다). 상태 종류 7 → 6(커서와
+    인덱스가 앵커 하나). 입력 종류 6과 프레임 이벤트와 가리킴 → 메시지·출력·인자의 셋과 묶음. 보기의 종류 → 레코드 필드의 타입.
+    고정 한도는 형식의 너비(머리말의 u16, 저장소의 바이트 수, 메시지의 64)와 리스트 엔진의 너비(레코드의 필드 16)만 남았다.
+  - 줄 수: 코어 22,398 → 22,766(4e의 리스트 보기와 4f의 크기에 맞춘 표가 지운 것보다 많다), serve.c 5,086 → 5,058, aup의 compile.c
+    5,923 → 5,720.
+  - TPC-C(메모리, W=1, 64 터미널, 20초, 3단계 끝의 빌드와 번갈아 세 번): 초당 트랜잭션 45,893 → 46,063(+0.37%), new-order p99
+    3,712 → 3,456 µs.
+  - 은행 질의(3단계 끝은 그때의 aup 모듈, 번갈아 다섯 번의 중앙값): field −1.23%, found −0.80%, large −0.73%, none +0.04%,
+    ranks +0.41%, per_branch +0.79%, in_credit +1.15%(마지막 셋은 같은 빌드의 여섯 번 사이에서도 1–3% 오간다).
 - **차례의 까닭.**
   - 4a는 작고, 3단계의 끝을 맺는다.
   - 4b는 가장 많이 지운다. 키 있는 메시지와 기준 리비전이 사라지면 4d가 단순해진다.