docs(hex8): record carry diagnostics and pending precision design

docs/hex8-structural-analysis/lessons.md

@@ -214,6 +214,24 @@ SHA를 별도 검산한 Python exit는0이다. 두 native 관측 검사의 exit0
 다음 fresh solve·accepted history는 실행하지 않았다. 예측 개선을 실제 개선으로
 대체하거나 이16개 실패로 모든 표현 가능한 해의 부재를 주장하지 않는다.
 
+Increment-local 보상 가산은 물리 상태를 단일 Float64 변위로 유지하면서 덧셈의 소실량만
+다음 Newton 갱신에 누적하는 별도 관찰이었다. 같은 최선 cursor에서 plain/carry 각각
+12회씩, 선형·비선형 총48회 fresh solve를 수행했다. 두 경로 모두 원래1275개 free
+방정식 전체를 풀고 실제 current Kt를 재조립했으며 old residual과 모든 기존 gates를 유지했다.
+Production의 principal refinement·history·ULP 탐색은 이 비교에 포함하지 않았다.
+
+첫 Kt/Keff/RHS·fresh 방향·전체 물리 배열은 두 경로에서 정확히 같았다. 이후 carry는
+실제로 다른 변위 경로를 만들었지만 모든48개 physical 판정은 FAIL이었다. 최종 비율은
+선형 plain/carry `3.14971e-8`/`3.14508e-8`, 비선형 `4.43049e-8`/`1.54565e-7`로,
+둘 다 시작 cursor보다 컸다. 다른 gates는 모두 통과했다. Native exit0의 두 관측 검사는
+수렴 성공이 아니며, 독립 Python 검산 exit0은 원시201개 SHA·carry 산술·연산/경로·r/Si와
+게이트를 검증한 것이다. TEMP source는 실행 전 복원하고 실제 object를 재컴파일했다.
+이 결과는 production carry 도입이나 반복 횟수 확대를 뒷받침하지 않는다.
+
+Low를 물리 변위로 사용하는 [내부 정밀도 변경안](precision-proposal.md)은 미채택이다.
+단순 carry와 구분하여 전체 계산 상태 및 Float64 출력의 반올림 의미를 결정해야 한다.
+현재 물리 기준이나 원본을 조용히 변경하지 않는다.
+
 원시 capture·정확 산술·backsolve·이웃 예측·native replay의 재현 자료와 독립 raw 검산은
 로컬 `.harness/hex8-evidence/t6-independent-frozen/`에 보존한다. 기능 checklist는
 그대로 미완료다.