029: principle 1 broken on UAX #14 (045), written as its own rule asks: (a) 2.19x against 4x, its premise wrong (the source already keeps t.cls[i] in locals: the reads only the proof merges are 16.4 of 549.9), (b) 1.31x against 3x, and the path capped (interpretation is 22 of an instruction's 74 machine instructions: stitching bodies gives at most 1.42x); what was tested (step() on constant instructions, frame and checks as they are) and what was not (an emitter given the proof, the general JIT 008 forbids); where it goes (runtime machinery: a call 1,375, a stored read 331, the lists 22,651 a point) and the 7x the batch lanes give that a fn in a block loses; the 1,774 and 3.2-3.9 ns corrected (the budget's count: 549.9 run, 11.7 ns each) here and in 140; the op counts kept

1 files changed, 3 insertions, 0 deletions

diff --git a/docs/research/140-spec-suite.md b/docs/research/140-spec-suite.md
index ca5cf83..6ca0c78 100644
--- a/docs/research/140-spec-suite.md
+++ b/docs/research/140-spec-suite.md
@@ -765,6 +765,9 @@
 - `if … { return … }`의 규칙 줄은 파이썬과 거의 한 줄씩 맞는다.
 
 **시간이 가는 곳.** 코드 포인트당 Pure 명령이 1,774개이고, 명령 하나에 약 3.9 ns가 든다.
+- 정정(045). 1,774는 일의 예산이 센 수다(블록을 쓰인 대로 센다). 실행기가 실제로 도는 명령은 549.9개이고, 하나에 약 11.7 ns,
+  기계 명령 74개다. 아래의 나눔도 예산의 수다. 실제로 도는 명령과 기계 명령의 나눔은 [029](../design/029-past-one-node.md)의
+  "깨는 실험의 결과"에 있다.
 - 위치마다의 리스트 아홉 개를 짓고 레코드로 묶는 데 260개다. 레코드를 지을 때 let의 리스트마다 항목을 복사한다(LIST_VALUE).
 - 범위의 이분 탐색이 360개다(열두 번 남짓 저장 리스트의 항목을 읽는다). C는 종류를 두 단계 표에서 한 번에 읽는다(다른 성질은
   이분 탐색).