@hatiolab/figure-model 0.1.75 → 0.1.77

package/docs/assembly-constraints-v3.md

@@ -6,18 +6,16 @@
 
 ## 결정 요약
 
-Figure v2는 독립 부품의 기하·재질·축별 크기 반응을 잘 표현한다. 그러나 부품들이 **어떤
-조립 의도로 붙어 있는지**는 표현하지 못한다. `anchor`는 항상 기준 상자 면을 기준으로 하고,
-`parent`는 관절 운동 계층일 뿐 크기·배치 종속성이 아니다. 따라서 게이트는 갈라짐을 측정할 수
-있어도 portal·gate·lamp 중 무엇을 어떤 관계로 복구해야 하는지는 알 수 없다.
+독립 부품의 기하·재질·축별 크기 반응만으로는 부품들이 **어떤 조립 의도로 붙어 있는지**를
+표현하지 못한다. 기준 상자 면에만 매달리는 배치와 관절 운동 계층만으로는 게이트가 갈라짐을
+측정할 수 있어도 portal·gate·lamp 중 무엇을 어떤 관계로 복구해야 하는지는 알 수 없다.
 
-v3는 `anchor`가 기준 상자에만 매달리는 한계를 교정하고, `assemblies`를 정본 계약으로
-도입한다. 조립체는 기준 부품, 멤버, 그리고 검증·수정 가능한 관계 제약을 선언한다. v2의
-독립 부품 해석은 과거 데이터 읽기용 이행 경로일 뿐, 새 모델의 품질 기준은 아니다.
+이 초안은 `assemblies`를 정본 계약으로 도입한다. 조립체는 기준 부품, 멤버, 그리고 검증·수정
+가능한 관계 제약을 선언한다.
 
 ## 사용자 약속
 
-저작자는 `anchor.max`를 조합해서 장비를 맞추지 않는다. 모델러는 다음처럼 의도를 입력한다.
+저작자는 기준 상자 면을 조합해서 장비를 맞추지 않는다. 모델러는 다음처럼 의도를 입력한다.
 
 ```
 portal-in 에 붙이기
@@ -61,11 +59,11 @@ type Face = 'min-x' | 'max-x' | 'min-y' | 'max-y' | 'min-z' | 'max-z'
 ## 해석 순서
 
 ```text
-FigureSource v3
+Figure v3 원본
   → 부품의 기본 transform·sizing 계산
   → assembly root의 최종 상자 계산
   → assembly constraint를 위상 순서로 적용
-  → 최종 blueprint / scene transform
+  → 최종 scene transform
   → 제약 검사 + 1×·2× 크기 반응 검사
 ```
 
@@ -83,9 +81,8 @@ rest pose와 인스턴스 크기 반응을 담당한다. 두 역할을 섞지
 | `assembly-cycle` | 관계 계산 순환 | 저장 차단 |
 | `assembly-constraint-broken` | 기준 크기에서 면·상대치수 불일치 | 발행 차단 |
 | `assembly-scales-apart` | 확대 시 선언한 관계가 깨짐 | 발행 차단 |
-| `assembly-ambiguous` | 이행된 부품이 물리적으로 닿지만 관계가 선언되지 않음 | 전환 검토 |
 
-자동 수정은 anchor 후보를 무작위 조합하지 않는다.
+자동 수정은 배치 후보를 무작위 조합하지 않는다.
 
 1. 깨진 제약과 root를 찾는다.
 2. 제약 해석기로 멤버의 transform/반응 규칙을 다시 계산한다.
@@ -109,20 +106,14 @@ rest pose와 인스턴스 크기 반응을 담당한다. 두 역할을 섞지
 }
 ```
 
-이 계약은 “lamp의 `anchor.y`를 max로 바꿔 본다”가 아니라 “lamp가 portal 상단에서 60mm를
+이 계약은 “lamp를 기준 상자 윗면에 붙여 본다”가 아니라 “lamp가 portal 상단에서 60mm를
 유지한다”를 보존한다. 따라서 기준 상자의 비율 변화에도 수정을 설명하고 검증할 수 있다.
 
-## 이행 원칙
+## 원칙
 
-1. `version: 3`은 새 저작·AI·발행의 기준 계약이다. 새 모델은 기준 상자 anchor만으로
+1. `version: 3`은 새 저작·AI·발행의 기준 계약이다. 새 모델은 기준 상자 배치만으로
    조립 의도를 표현하지 않는다.
-2. v2는 읽을 수 있어야 하지만, v2 해석을 영구 표준으로 보존하지 않는다. 전환기는 물리적
-   근접·이름·기존 anchor를 근거로 조립 관계 후보를 만들고, 사용자가 의도를 확인한다.
-3. 확인된 v3 전환 결과가 기존 동작보다 조립·확대 품질이 낮으면 전환을 거절한다. “깨지지
-   않음”보다 “의도를 더 정확히 보존함”이 기준이다.
-4. 과거에 이미 발행된 판은 당시 원본과 해석기를 함께 보관해 재현성을 유지한다. 이는 v2
-   설계를 계속 발전시키겠다는 뜻이 아니라 과거 화면을 거짓으로 바꾸지 않기 위한 기록 보존이다.
-5. 새 Figure와 새 AI 후보는 v3 제약이 없는 상태로 저장되지 않는다. 독립 부품뿐인 단순
+2. 새 Figure와 새 AI 후보는 v3 제약이 없는 상태로 저장되지 않는다. 독립 부품뿐인 단순
    Figure는 빈 조립체 목록을 명시한다.
 
 ## 완료 기준
@@ -132,7 +123,6 @@ rest pose와 인스턴스 크기 반응을 담당한다. 두 역할을 섞지
 - 의도적으로 독립인 port/slot은 조립체에 넣지 않아도 거짓 차단되지 않는다.
 - AI가 새 Figure와 편집 후보 모두에서 유효한 assembly 제약을 생성한다.
 - 게이트는 깨진 조립 제약에 대해 검증된 복합 초안 수정안을 제시한다.
-- v2 전환 표본은 새 관계 계약 아래에서 기존보다 낮은 조립·확대 품질을 내지 않는다.
 
 ## 명시적 비목표
 

package/docs/v3-asset-persistence.md

@@ -11,7 +11,7 @@
 - [네 대표 모델 자산 생성 예제](prototypes/v3-asset-samples.mjs)
 - [검증 테스트](prototypes/v3-asset.test.mjs)
 
-버전은 `figure-v3-asset-1`이다. **정식 Figure V3 전체 포맷 또는 V2 전체 변환 완료를 뜻하지 않는다.**
+버전은 `figure-v3-asset-1`이다. **정식 Figure V3 전체 포맷 완료를 뜻하지 않는다.**
 
 ## 저장 항목
 
@@ -42,7 +42,7 @@ appearance는 모든 `place@1`/`member@1`에 정확히 하나씩 필요하다.
 
 원기둥 분할 수는 현재 지원 preset으로 명시 저장한다. 사용자에게 분할 수 직접 입력 UI를 추가하지 않았다. 다른 provider에 임의의 segments를 붙이는 것은 거부한다. 재질은 token/preset/transparent/emissive 범위를 지원하며 미지원 필드를 조용히 버리지 않고 거부한다.
 
-부품에 붙어 있던 구버전 capability 메타데이터는 정본에 자리를 두지 않는다(2026-09-23). 변환기는 그것을 `PART_CAPABILITY` 손실로 보고하고, 어느 자산도 그 값을 담지 않았다. 자리만 남겨 두면 검증된 binding과 구별되지 않으므로 없앴다. `slot`을 `seat`/`grip`으로 자동 해석하지도 않는다. 이 의미를 V3로 가져오려면 검증되는 binding으로 다시 저작한다.
+부품에 붙이는 capability 메타데이터는 정본에 자리를 두지 않는다(2026-09-23). 자리만 남겨 두면 검증된 binding과 구별되지 않기 때문이다. `slot`을 `seat`/`grip`으로 자동 해석하지도 않는다. 이 의미를 V3로 가져오려면 검증되는 binding으로 다시 저작한다.
 
 ## 검증 결과
 
@@ -59,8 +59,8 @@ appearance는 모든 `place@1`/`member@1`에 정확히 하나씩 필요하다.
 
 ## 남은 제품화 범위
 
-- 예제 생성기는 V3로 이미 재저작한 모델을 포장한다. 원본 V2의 animation clip 시간/보간, Holdable 등 자산 수준 capability, placement/base 정책을 전부 변환하는 범용 마이그레이터가 아니다.
-- 원본에 없는 기능을 복원했다고 주장하지 않는다. 기존 자산은 V3 기준으로 변환하거나 재작성하며, 실제 데이터 교체 전에 대상과 복구본을 확인한다. V2 실행 호환성을 보존할 의무는 없다.
+- 예제 생성기는 V3로 이미 재저작한 모델을 포장한다. 범용 마이그레이터가 아니다.
+- 원본에 없는 기능을 복원했다고 주장하지 않는다. 기존 자산은 V3로 재작성하며, 실제 데이터 교체 전에 대상과 복구본을 확인한다.
 - 네 대표 모델을 넘는 provider/material 확장, 입력 라벨/저작 메타데이터 등은 정식 포맷에서 추가 정의해야 한다.
 - 파일 시스템 원자적 교체·권한·DB revision 충돌·업로드/다운로드 API는 없다. 함수는 문자열을 반환하며 제품 저장소에 직접 쓰지 않는다.
 - 실제 속성창·AI-dock·새 모델/다른 모델 전환·재접속은 통합 테스트가 남아 있다.

package/docs/v3-common-kernel-experiment.md

@@ -7,7 +7,7 @@
 
 ## 이번에 달라진 검증
 
-이전 샘플 검사는 각 사례의 수치를 별도로 계산하거나 v2 사이징을 호출했다.
+이전 샘플 검사는 각 사례의 수치를 별도로 계산하거나 기존 사이징 함수를 호출했다.
 이번에는 **모델 이름을 전혀 모르는 하나의 resolve 함수**에 선언 데이터를 입력한다.
 실제 seed/fixture를 읽는 어댑터는 테스트에만 있고 엔진에는 없다.
 

package/docs/v3-core-semantics.md

@@ -9,7 +9,7 @@ scalar 타입/참조 검증 단계이며 전체 의미론 구현과 구분한다
 
 상태: **설계 검토 기준안. 출하 명세·구현 완료 아님.**
 이 문서가 r1/r2의 설계 방향을 대체한다. 과거 실험은 근거와 반례로 보존한다.
-V2 호환성, 기존 property 명칭, 현재 실험 코드의 편의는 설계의 상위 제약이 아니다.
+기존 property 명칭, 현재 실험 코드의 편의는 설계의 상위 제약이 아니다.
 
 ## 1. 제품이 표현하는 것
 
@@ -271,7 +271,7 @@ AI의 자유 텍스트가 geometry나 외부 바인딩을 직접 바꾸지 않
 정점 수, draw call, resolve/compile 시간, 캐시 적중과 메모리를 실제 규모에서 측정한다.
 수치 없는 '고성능 보장'은 하지 않는다.
 
-제품은 V3 단일 실행 체계로 전환한다. 기존 자산은 일회성 변환 또는 V3 재작성으로 교체하며 V2 reader 병행 운영은 요구하지 않는다.
+제품은 V3 단일 실행 체계를 쓴다. 기존 자산은 V3 재작성으로 교체한다.
 복구용 원본 보관은 데이터 교체의 안전 절차이지 모델 설계 제약이 아니다.
 현재 좌표를 고정한 변환과 반응형 의도를 복원한 재작성을 같은 성공으로 보고하지 않는다.
 
@@ -285,7 +285,7 @@ AI의 자유 텍스트가 geometry나 외부 바인딩을 직접 바꾸지 않
 3. floor 경계, 오차 전파, quaternion/축 규약, solver 후보 수치 정책.
 4. 전체 모델 4종 이상을 proxy 없이 작성하고 실제 렌더러에서 크기×상태×topology 비교.
 5. 나머지 16종의 표현성 검증 및 미지원 의도 목록. 통과를 위해 명세를 샘플 이름으로 분기하지 않음.
-6. 모델러·AI 공통 편집, 삭제 참조, undo/save/reopen, V2 import, 다수 배치 성능 검증.
+6. 모델러·AI 공통 편집, 삭제 참조, undo/save/reopen, 다수 배치 성능 검증.
 
 **다음 구현은 이 의미론의 subset임을 명시하고 시작한다.** 현재 커널의 무차원 숫자,
 Y축 cylinder, feature의 방향 없는 point, 단순 floor(span/pitch)는 이 문서의 완전한 구현이 아니다.

package/docs/v3-cutover.md

@@ -2,13 +2,15 @@
 
 > 현재 구현·검증·제품 연결 상태는 [V3 통합 현황](v3-status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
 
-사용자 결정: **V2 호환성과 병행 운영은 요구사항이 아니다.** V3의 단순성·일관성·저작성·품질을 우선한다. 이전 문서의 V2 유지/버전별 편집 경로를 다음 단계로 삼은 내용은 철회한다.
+사용자 결정: 제품은 V3 하나를 쓴다. V3의 단순성·일관성·저작성·품질을 우선하며, 버전별 편집 경로는 두지 않는다.
 
-제품 모델러·AI·저장·렌더러는 V3 하나를 기준으로 전환한다. 기존 자산도 V3 기준으로 변환하거나 재작성한다. 원본 보관은 데이터 복구 수단일 뿐 V2 실행 경로 유지 조건이 아니다. 기존 데이터의 파괴적 교체는 대상 확인과 복구본 확보 후 별도로 수행한다.
+제품 모델러·AI·저장·렌더러는 V3 하나를 기준으로 한다. 기존 자산은 V3로 재작성한다. 기존 데이터의 파괴적 교체는 대상 확인과 복구본 확보 후 별도로 수행한다.
+
+V2와 V1은 2026-09-26 코드와 명세에서 제거했다. ADR-0087의 전환은 제거로 마쳤다.
 
 ## 이번 변경
 
-- figure-ui와 figure-service에 직전에 추가했던 V2/V3 차단 전용 코드와 테스트를 제거했다.
+- figure-ui와 figure-service에 직전에 추가했던 형식 버전 차단 전용 코드와 테스트를 제거했다.
 - 형식 해석 실패 시 다른 자산 ID로 기존 모델을 저장하지 않도록 하는 일반적인 로드 오류 처리는 유지했다. 이는 호환 기능이 아니라 데이터 손실 방지다.
 - `createV3Asset(name)`은 부품 없는 빈 자산을 만든다. 기본 상자는 자동 생성하지 않는다.
 - `addV3Box(asset, request)`는 명시적 부품 추가 요청을 표준 V3 shape/rigid/place 노드와 9개 설계 입력(크기·위치·회전)으로 만든다. 별도의 레거시 parts 원본을 만들지 않는다.

package/docs/v3-design.md

@@ -23,25 +23,14 @@ v3의 핵심은 **치수에 따라 달라지는 3차원 배치 함수**다. 문
 쓴다. 임의 CAD, 물리 시뮬레이션, 일반 비선형 제약 해결은 초기 범위 밖이다. 지원하지 않는
 관계를 그럴듯한 결과로 대체하지 않고 지원 범위를 명시한다.
 
-v2의 불합리한 규칙은 고칠 수 있다. 원본 자산과 확인한 의도를 보존하되, 모든 v2 동작을
-보존하는 것은 요구사항이 아니다. 관계 없는 단독 상자도 정상 모델이며, 미완성 초안의
-저장을 금지하지 않는다.
-
-## 2. 현재 문제의 증거와 진단 교정
-
-| 근거 | 확인한 사실 | 한계 |
-| --- | --- | --- |
-| `src/sizing.ts` | anchor는 Figure 기준 상자의 축에 대한 위치·크기 반응 | 부품의 개구부·부착 좌표계를 직접 참조하지 못한다 |
-| `src/types.ts`, `src/grouping.ts`, `jointOriginPosition` | parent/joint와 부모를 따라 변하는 관절 원점은 이미 있다 | 관계가 전혀 없는 것이 아니라 크기 배치 관계가 부족하다 |
-| `src/gate.ts: spansAt/meets/clumpsOf` | AABB의 연결 개수 증가를 검사 | 실제 접촉·개구부 맞춤·어떤 부품에 연결됐는지 보장하지 못한다 |
-| `src/gate.ts: remedyFor` | 다른 덩어리의 느리게 커지는 부품을 골라 조언 | 실제 맞댄 면을 증명하지 않고 수정 방향을 단정할 수 있다 |
-| `src/gate.ts: sizingReport` | 기본적으로 기준 크기와 7종 2배 검사 | 연속 치수 범위·축소·운동 상태의 증명이 아니다 |
-| anchor 후보 탐색 | 제한된 수정 조합을 탐색 | 실패했다고 v2로 해결 불가능한 것은 아니다 |
-| `src/grouping.ts`, things-scene `figure-real-object.ts` | 재질·운동 frame·크기 반응으로 병합/분리 | 관계 추가가 무료 성능을 보장하지 않는다 |
-
-드라이룸에서 복합 수정안이 생성되지 않은 것은 관찰했다. 고정 revision의 원본을 확보해
-원인과 모든 대안을 검증한 상태는 아니다. 앞서 탐색 실패를 곧바로 모델 표현력의 불가능성으로
-설명한 것은 과도했다. v3 설계의 근거는 일반적인 조립 의도와 일관된 배치 계산의 필요성이다.
+관계 없는 단독 상자도 정상 모델이며, 미완성 초안의 저장을 금지하지 않는다.
+
+## 2. 설계의 근거
+
+v3 설계의 근거는 일반적인 조립 의도와 일관된 배치 계산의 필요성이다. 배치는 기준 상자의 축만이
+아니라 부품의 개구부·부착 좌표계를 직접 참조해야 한다. 검사는 상자의 연결 개수가 아니라 실제
+접촉·맞춤을, 몇 가지 배율이 아니라 선언한 치수 범위·축소·운동 상태를 다뤄야 한다. 관계를
+추가한다고 성능 이득이 보장되지는 않는다.
 
 ## 3. 형식적 문제 정의
 
@@ -195,7 +184,7 @@ geometry provider는 shape spec과 함께 해당 feature binding을 반환해야
 compile:
   schema/units/IDs → single writer check → resolve references
   → dependency DAG → cycle diagnostic → topological order
-  → affine coefficients → domain obligations → prepared blueprint
+  → affine coefficients → domain obligations → Prepared
 
 resolve(d):
   check d∈D → evaluate dimensions/features/rest frames
@@ -317,7 +306,7 @@ inspectResolved(prepared, resolved, profile): Inspection
 
 Prepared는 식/순서/컨테이너/feature binding/geometry spec/운동 구조를,
 Resolved는 실제 크기/rigid frame/feature/slot/port를 반환한다.
-source version, blueprint version, evaluator semantic version을 분리한다.
+source version, Prepared version, evaluator semantic version을 분리한다.
 2D·3D는 같은 Resolved를 소비하고 관계 의미를 재구현하지 않는다.
 
 compile은 자산 변경 시, layout은 치수 변경 시, pose는 상태 변경 시 처리한다.
@@ -339,7 +328,7 @@ driver는 실행 의미이므로 advisory로 무시할 수 없다. required/advi
 
 | 상태 | 처리 |
 | --- | --- |
-| 불명 참조/순환/중복 writer | 실행 불가 진단, 작업 초안 보관 가능, 정상 blueprint로 배포 불가 |
+| 불명 참조/순환/중복 writer | 실행 불가 진단, 작업 초안 보관 가능, 정상 자산으로 배포 불가 |
 | domain 밖/음수 치수 | 해당 크기 사용 불가; 마지막 정상 표시라면 현재 결과가 아님을 명시 |
 | required assertion 위반 | 선언한 지원 범위에서 발행 불가 |
 | required assertion 미증명 | 위반 확정과 구분; 보장 정책/범위 조정 또는 추가 검증 필요 |
@@ -369,11 +358,9 @@ AI와 자동 수정은 typed edit API를 사용한다. 후보에 baseRevision/so
 전역 차단 항목이 0이어야만 수정을 제공하는 조건은 폐기한다. 국소 해결과 남은 문제를 구분한다.
 의미/외형을 훼손하며 검사만 통과한 후보를 안전하다고 표시하지 않는다.
 
-## 16. 전환과 구현 단계
+## 16. 식별자와 구현 단계
 
-id는 불변, label은 표시 이름이다. 기존 name 기반 외부 참조는 자산 전환 시 갱신한다. V2 호환 alias 실행 계층을 유지하는 것은 요구사항이 아니다.
-변환은 원본/hash 보존, v3 후보, 기계적 변환, 의도 선택, 미검증 진단을 반환한다.
-v2의 잘못된 동작을 보존할 의무는 없다. 의도적으로 바뀐 외형은 승인된 차분으로 기록한다.
+id는 불변, label은 표시 이름이다. 기존 name 기반 외부 참조는 자산 재작성 시 갱신한다.
 초안 저장과 발행 조건을 분리한다. 미지원 consumer에 v3를 부분 해석해 보내지 않는다.
 
 세부 구현 순서와 출하 조건은 [상위 레이아웃 계약 §12](v3-layout-system.md#12-출하-전-단계와-완료-기준)를 따른다.

package/docs/v3-editor-integration.md

@@ -45,9 +45,9 @@
 
 ## 제품 연결 시 주의점
 
-현재 figure-ui의 `client/modeller/figure-source.ts`는 장면 파트를 저장용 V2 source로 변환한다. `figure-inspector.ts`와 `figure-modeller-page.ts`의 update-part/update-draft 경로도 V2 draft/parts 중심이다. V3 graph를 이 경로의 `parts`로 가장해 전달하면 원본이 이중화된다.
+현재 figure-ui의 `client/modeller/figure-source.ts`는 장면 파트를 저장용 이전 형식 source로 변환한다. `figure-inspector.ts`와 `figure-modeller-page.ts`의 update-part/update-draft 경로도 이전 형식의 draft/parts 중심이다. V3 graph를 이 경로의 `parts`로 가장해 전달하면 원본이 이중화된다.
 
-제품 모델러·저장·AI·렌더러를 V3 단일 경로로 전환한다. 기존 자산은 변환 또는 재작성한다. V2 병행 운영이나 호환 분기는 만들지 않는다. 제품에서는 src에서 빌드한 공용 API를 사용한다.
+제품 모델러·저장·AI·렌더러를 V3 단일 경로로 전환한다. 기존 자산은 V3로 재작성한다. 호환 분기는 만들지 않는다. 제품에서는 src에서 빌드한 공용 API를 사용한다.
 
 ## 아직 해결하지 않은 범위
 

package/docs/v3-full-conveyor-validation.md

@@ -11,13 +11,13 @@
 - 브라우저: `node docs/prototypes/render-full-dryroom.mjs --conveyor`
 - 전체 테스트: `node --test docs/prototypes/v3-*.test.mjs`
 
-## V2와 의도적으로 달라진 점
+## 끝 롤러 공간을 먼저 확보하는 이유
 
-기본 길이 2,400mm에서 V2 반복 공식은 일반 롤러 16개를 중심 간격 150mm로 생성한다. 양 끝 일반 롤러 중심은 ±1,125mm이며, 별도의 굵은 끝 롤러 중심은 ±1,140mm다.
+끝 공간을 따로 두지 않고 일반 롤러를 중심 간격 150mm로 길이 전체에 깔면, 기본 길이 2,400mm에서 일반 롤러는 16개다. 양 끝 일반 롤러 중심은 ±1,125mm이며, 별도의 굵은 끝 롤러 중심은 ±1,140mm다.
 
 일반 롤러 반지름 48mm, 끝 롤러 반지름 75mm이고 중심 거리는 15mm이므로, `15 + 48 < 75`다. 일반 롤러 길이 520mm도 끝 롤러 길이 560mm보다 작다. 즉 **일반 롤러 두 개가 끝 롤러 내부에 완전히 묻힌다.** 축 방향 회전으로 이 문제는 해결되지 않는다.
 
-V3는 양쪽 끝 공간을 먼저 확보한다.
+그래서 양쪽 끝 공간을 먼저 확보한다.
 
 ```
 끝 여백 = 끝 롤러 중심의 가장자리 거리 60 + 반지름 75 + 최소 간격 10 = 145mm

package/docs/v3-layout-system.md

@@ -302,7 +302,7 @@ AI: 동일 typed transaction, sourceHash 사전조건, atomic apply, undo, 변
 | L1 production kernel | schema/DAG/measure/allocate/arrange | cycle, writer, NaN, overflow, 결정성, fuzz |
 | L2 geometry/motion | 모든 지원 primitive의 치수·feature 계약 | bounds/개구부/normal, shear, pose 합성 |
 | L3 modeller | 계층 편집·미리보기·undo·AI transaction | 원클릭 편집, 동시 변경, 오류 복구 E2E |
-| L4 consumer/전환 | v2→v3 후보, 2D/3D 공통 결과 | 실제 드라이룸/롤 프레스, 회귀 스냅샷 |
+| L4 consumer | 2D/3D 공통 결과 | 실제 드라이룸/롤 프레스, 회귀 스냅샷 |
 | L5 비용/범위 | 1/100/500 instance, 범위 검증 | p95·draw call·메모리 실측, 증명 분류 |
 
 r1은 레이아웃 규칙의 검토 가능한 기준안이다. 전체 v3 출하 명세/구현이 끝났다는 뜻이 아니다.

package/docs/v3-minimal-model.md

@@ -234,7 +234,6 @@ UI는 원인 입력을 수정하는 후보를 만들 수 있지만 evaluator가
 - 값 DAG/feature frame은 반드시 scene node로 만들지 않는다. compile에서 정리한다.
 - compile은 저작 변경, dimension resolve는 크기 변경, pose는 상태 변경 때 수행한다.
 - 동일 치수/재질/운동의 병합·공유 가능성을 실제 renderer에서 측정한다.
-- v2→v3 변환은 원본 보존, id/외부 binding 대응, 외형 차분, 의도 선택을 포함한다.
 - 새 Figure는 독립 상태에서 시작하고 실패한 후보는 기존 장면에 덧붙이지 않는다.
 - typed edit는 sourceHash 검사, 원자 적용, undo, 재송신 멱등성을 갖춘다.
 - 발행 정책은 invalid / assertion violation / unverified / advisory를 구별한다.

package/docs/v3-motion-contract.md

@@ -2,12 +2,8 @@
 
 Status: **contract, fixed 2026-09-22; revised the same day after the chief architect's review; implemented the
 same day** (ADR-0087 decision 2, ruling 4). Implementation: `src/v3-graph.ts` (`axis-turn@1`, `axis-slide@1`),
-`src/v3-driver.ts` (`driverValue`, `driverStates`, `validateV3Drivers`), the motion part of `src/v3-from-v2.ts`
-(`planMotion`), tests in `src/v3-motion.test.ts`. The converter and every consumer use this contract; none of them
-defines motion on its own. Not yet covered by the converter: prismatic joints (none in the live assets; V2 scaled
-their travel by the instance, the contract does not), scale channels (refused as shape deformation), a rotation
-channel with a pivot off the part centre, channels that vary more than one axis, and parameter curves other than
-two linear keys. The review changed three things: the direction of every transform is written down, continuous
+`src/v3-driver.ts` (`driverValue`, `driverStates`, `validateV3Drivers`), tests in `src/v3-motion.test.ts`. Every
+consumer uses this contract; none of them defines motion on its own. The review changed three things: the direction of every transform is written down, continuous
 rotation is split into an accumulated amount and a phase, and drivers carry an explicit time convention.
 
 ## What a person sees
@@ -19,7 +15,7 @@ moves. Setting the value back to its default puts the arm exactly where it was d
 
 On a board, the same arm has the same six values. A connector writes them; the arm follows. Stretching the arm's
 instance size does not change where its joints turn: a joint sits on the part that carries it and moves with that
-part under sizing, as ADR-0066 decision 3 already says for V2.
+part under sizing.
 
 ## One rule for how a child moves, with every direction written down
 
@@ -37,15 +33,15 @@ part under sizing, as ADR-0066 decision 3 already says for V2.
 - `jointParent` and `jointChild` are two named frames per joint, `<joint>.onParent` and `<joint>.onChild`. They
   **coincide at `q = 0`**: `motion(0)` is the identity, and the two frames are placed so that the child then sits in
   its rest pose.
-- A part with no joint to its parent has `motion = identity` (V2 `FigurePart.parent` without a joint).
-- The parent and child joint frames come from the rest pose and sizing (`jointOriginPosition`), so a joint moves
+- A part with no joint to its parent has `motion = identity`.
+- The parent and child joint frames come from the rest pose and sizing, so a joint moves
   with the part that carries it when the instance is resized.
 - `attach@1` already computes `A × O × inverse(B)`, and its type checker refuses a chain whose frames do not meet.
   No parent-chain node is added; `compose@1` and `attach@1` are enough.
 
-**`q = 0` is the rest pose. That is not the same claim as "the default is the rest pose."** A V2 parameter whose
-default is not 0 drew its rest pose at that default. The converter keeps V2's meaning: the joint frames are placed
-for the drawn pose, and the state default stays what V2 stored. It never subtracts the default or forces it to 0.
+**`q = 0` is the rest pose. That is not the same claim as "the default is the rest pose."** A state input's default
+may be non-zero. The joint frames are placed for the pose at `q = 0`, and the state default is stored as authored;
+nothing subtracts the default or forces it to 0.
 
 ## Joint kinds, their state input, and the two motion operators
 
@@ -64,10 +60,10 @@ axis-slide@1  args [ax, ay, az (ratio), q (length)]  params { from, to }
 - An arbitrary axis is carried as three numbers and turned with axis–angle. It is **never** collapsed into one
   Euler component.
 
-| V2 `FigureJoint.type` | state input | unit stored | `motion(q)` |
+| joint type | state input | unit stored | `motion(q)` |
 |---|---|---|---|
-| `revolute` | one angle, `role: 'state'`, V2 limits as range | rad (an input may declare `deg`; the kernel converts) | `axis-turn@1` |
-| `prismatic` | one length, `role: 'state'`, V2 limits as range | mm | `axis-slide@1` |
+| `revolute` | one angle, `role: 'state'`, joint limits as range | rad (an input may declare `deg`; the kernel converts) | `axis-turn@1` |
+| `prismatic` | one length, `role: 'state'`, joint limits as range | mm | `axis-slide@1` |
 | `continuous` | one **phase** angle, `role: 'state'`, range `[−180°, 180°)` | rad | `axis-turn@1` |
 
 ### Continuous rotation: an amount and a phase, not a limit
@@ -86,16 +82,15 @@ values first would interpolate 350 → 10 and turn the wrong way. Widening the r
 
 ## Parameters
 
-A V2 `FigureParameter` keeps its **name, unit, range, default and target**. In V3 it is the state input itself:
-`id` = the parameter name, `unit` and `min`/`max` from the range, `role: 'state'`, and the asset's `stateDefaults`
-carries the default as V2 stored it. Its target is the joint (or part channel) whose `motion(q)` reads it. A
-parameter that V2 let drive several joints becomes one input read by several `axis-turn@1` nodes: one writer, many
-readers, which the graph already allows.
+A parameter is a state input: `id` is its name, `unit` and `min`/`max` give its range, `role: 'state'`, and the
+asset's `stateDefaults` carries its default. Its target is the joint (or part channel) whose `motion(q)` reads it. A
+parameter that drives several joints is one input read by several `axis-turn@1` nodes: one writer, many readers,
+which the graph already allows.
 
 ## Drivers: the asset declares, figure-model evaluates, the consumer owns time
 
-The kernel has **no clock**. Same inputs, same result, always. A V2 `AnimationClip` becomes a **driver**
-declaration on the asset, not a graph node. Responsibilities:
+The kernel has **no clock**. Same inputs, same result, always. An animation is a **driver** declaration on the asset,
+not a graph node. Responsibilities:
 
 | who | does |
 |---|---|
@@ -119,9 +114,7 @@ drivers: [{
 ```
 
 - **Time convention, one for all drivers.** `time.unit` is seconds; `duration` is the clip length in seconds; every
-  key `at` is a fraction of the duration in `[0, 1]`. The converter normalises V2's two habits (seconds in
-  `duration`, fractions in `at`, ADR-0051 ②) into exactly this and records the source form in the report. A driver
-  with a missing or non-positive duration is refused.
+  key `at` is a fraction of the duration in `[0, 1]`. A driver with a missing or non-positive duration is refused.
 - **Loop end.** `wrap`: time `t` maps to `t mod duration`, and the sample at `duration` equals the sample at 0 (the
   last key's value is reached at `at = 1` and the next period starts from key 0). For an accumulating driver, wrapping
   adds the full-period delta to the accumulated value, so the roller keeps turning rather than snapping back.
@@ -131,45 +124,17 @@ drivers: [{
   source per state** explicitly (`driver` or `external`). Values are never summed and "last call wins" is not a
   rule. figure-model's validation refuses two drivers naming the same state.
 
-A V2 part channel (`path: 'rotation'` on a part with no joint, like the conveyor roller) converts to a continuous
-state input on that part, `<part>.spin`, driving an `axis-turn@1` about the part's own axis, and a driver for the
-clip with `accumulates: true`. The conveyor's rotation animation is therefore carried, not lost.
-
-## What the converter does with the seven motion assets
-
-1. For every `FigureJoint`: two joint frames from the rest pose and sizing, one state input, one `axis-turn@1` or
-   `axis-slide@1`, one `attach@1`, and the child's `place@1` reads the attached pose.
-2. For every part with `parent` and no joint: `compose@1` of the parent's pose and the rigid offset.
-3. For every `parameter`: a state input as above; refuse (`PARAMETER_TARGET`) if its target is not a joint or a part
-   channel this contract covers.
-4. For every animation clip: a driver, with the clip's channels mapped to state inputs; refuse
-   (`ANIMATION_CHANNEL`) for a channel path this contract does not cover (`scale`).
+A part that spins without a joint (the conveyor roller) has a continuous state input on that part, `<part>.spin`,
+driving an `axis-turn@1` about the part's own axis, and a driver with `accumulates: true`.
 
 ## Two corrections to earlier wording
 
 - **Rigid does not mean affine in the state.** A rigid pose is affine in the spatial coordinates it maps, but a
   rotation matrix is a sin/cos function of the joint angle. So `axis-turn@1` is **not affine in `q`**, and the
   operator-list guard is restated: `geomean@1` is the only node that is non-affine in the *design inputs*;
-  `axis-turn@1` is non-affine in a *state input*. The 8-size comparison therefore stays a limited regression check for
-  the rest pose and does not become a proof of equivalence under motion.
+  `axis-turn@1` is non-affine in a *state input*.
 - **Rotation is compared as a relative angle**, the angle of `R₂ · R₁ᵀ`, never as a difference of Euler components.
 
-## "The same" for motion (completion criterion)
-
-For every converted motion asset, V2 and V3 are compared at the base size and the doubled sizes with:
-
-- each joint at its default, its mid-point and both limits;
-- **parent and child joints changed at the same time**, not one at a time;
-- at least one joint with an arbitrary (non-principal) axis;
-- a non-zero default, checked at the default and away from it;
-- a continuous joint just before and just after the phase boundary (e.g. 179° and 181°);
-- a looping driver just before and just after the loop end (e.g. 0.99 and 1.01 durations), and a `hold` driver past
-  its end.
-
-Same part list, same centre and extents within 1 mm, same relative rotation within 0.1°. For each driver, the state
-value at time 0, half and end must equal V2's clip value at those times. Exact conversion and deliberate
-re-authoring are marked separately in the report.
-
 ## Not in this contract
 
 - Inverse kinematics, reach checks, collision between links. Consumers may add them on top; the kernel does not.

package/docs/v3-runtime-extraction.md

@@ -2,11 +2,11 @@
 
 > 현재 구현·검증·제품 연결 상태는 [V3 통합 현황](v3-status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
 
-> 최신 작업 기준: [V3 단일 체계 전환](v3-cutover.md). 아래의 V2 유지 및 버전별 제품 연결 방향은 과거 작업 기록이며, 향후 설계 조건에서 제외한다.
+> 최신 작업 기준: [V3 단일 체계 전환](v3-cutover.md). 아래의 버전별 제품 연결 방향은 과거 작업 기록이며, 향후 설계 조건에서 제외한다.
 
 ## 이번 이관 범위
 
-실험용 JSON 입력 검사와 오류 계약을 `src/v3-json.ts`, `src/v3-contract.ts`의 strict TypeScript 소스로 옮겼다. 기본 빌드에서 JS·타입 선언을 생성하며 기존 package 루트에서 이름이 구분된 API로 내보낸다. package.json·의존성·V2 validate/compile 구현은 변경하지 않았다.
+실험용 JSON 입력 검사와 오류 계약을 `src/v3-json.ts`, `src/v3-contract.ts`의 strict TypeScript 소스로 옮겼다. 기본 빌드에서 JS·타입 선언을 생성하며 기존 package 루트에서 이름이 구분된 API로 내보낸다. package.json·의존성은 변경하지 않았다.
 
 | 공개 API | 책임 |
 |---|---|
@@ -15,7 +15,7 @@
 | v3Utf8ByteLength | 브라우저와 서버의 동일 UTF-8 바이트 계산 |
 | V3ContractError | code/path를 가진 공통 오류 |
 
-**parseV3Json은 모델 의미 검증기가 아니다.** JSON 형식이 올바른 V2 객체도 읽을 수 있다. V3 자산 버전·단위·그래프·appearance 검사는 여전히 자산 컴파일러가 담당한다. 공개된 이름이 전체 V3 지원이나 안정화 완료를 뜻하지 않는다.
+**parseV3Json은 모델 의미 검증기가 아니다.** JSON 형식만 올바르면 V3 자산이 아닌 객체도 읽는다. V3 자산 버전·단위·그래프·appearance 검사는 여전히 자산 컴파일러가 담당한다. 공개된 이름이 전체 V3 지원이나 안정화 완료를 뜻하지 않는다.
 
 ## 단일 구현 유지
 
@@ -27,7 +27,7 @@
 
 2026-09-21:
 
-- `npm test`: 기존 V2 회귀 및 새 입력 경계 검사 포함 **442개 통과**.
+- `npm test`: 당시 소스 전체와 새 입력 경계 검사 포함 **442개 통과**.
 - `node --test docs/prototypes/v3-*.test.mjs`: **143개 통과**.
 - `npm run build`: 성공, JS와 타입 선언 생성.
 - `node docs/prototypes/v3-runtime-browser.mjs`: 실제 Chrome에서 빌드된 ESM 실행 성공. Buffer/process가 없는 상태에서 한글·이모지 UTF-8 계산과 이스케이프 중복 키 거부 확인.
@@ -36,7 +36,7 @@
 
 ## 그래프 평가기 이관
 
-`src/v3-graph.ts`에 기존 평가기 전체를 옮기고 루트 API에 `compileV3Graph`를 추가했다. V2의 `compile`은 변경하지 않았다. `src/v3-graph-types.ts`는 입력/상수/노드, 단위·차원, 좌표계 타입, 형상·배치, 평가 결과와 컴파일된 계획의 공개 타입을 정의한다.
+`src/v3-graph.ts`에 기존 평가기 전체를 옮기고 루트 API에 `compileV3Graph`를 추가했다. `src/v3-graph-types.ts`는 입력/상수/노드, 단위·차원, 좌표계 타입, 형상·배치, 평가 결과와 컴파일된 계획의 공개 타입을 정의한다.
 
 실험 진입점 `docs/prototypes/v3-typed-plan.mjs`는 두 export만 남긴 호환 어댑터다. 단위 계산·위상 정렬·좌표계 검사·형상 생성·반복 배치의 구현을 두 벌 유지하지 않는다. 기존 연산자 버전과 실패 코드를 유지했다.
 
@@ -62,7 +62,7 @@
 | v3-asset.ts | compileV3Asset, parseV3Asset, serializeV3Asset, captureV3AuthoredInputs |
 | v3-asset-types.ts | 문서·자산·재질·binding 선언 및 평가 결과 타입 |
 
-버전 식별자는 기존 실험 버전을 유지한다. 정식 소스에 포함되었다고 파일 포맷 안정화나 제품 저장 허용을 선언하지 않는다. package.json과 V2 compile/validate는 변경하지 않았다.
+버전 식별자는 기존 실험 버전을 유지한다. 정식 소스에 포함되었다고 파일 포맷 안정화나 제품 저장 허용을 선언하지 않는다. package.json은 변경하지 않았다.
 
 유지한 계약:
 
@@ -104,4 +104,4 @@ workspace 이관 당시 검증: 소스 테스트 **451개**, V3 실험 테스트
 
 핵심 입력·그래프·capability·자산·편집 workspace는 src로 이관했다. 제품의 저장·발행·편집·렌더러를 V3 단일 체계로 전환해야 하며, 제품 연결은 아직 미완료다. 파일 저장 실험도 제품 DB 구현으로 간주하지 않는다. 접촉/충돌 연구 모듈과 대표 모델 생성기는 계속 실험 영역에 있다.
 
-다음 단계는 V3 단일 저작·저장·렌더링 경로의 제품 연결이다. 기존 자산은 V3 기준으로 바꾼다. V2 병행 운영을 위한 경로는 추가하지 않는다. 제품 API 배포는 아직 수행하지 않았다.
+다음 단계는 V3 단일 저작·저장·렌더링 경로의 제품 연결이다. 기존 자산은 V3 기준으로 바꾼다. 제품 API 배포는 아직 수행하지 않았다.

package/docs/v3-sample-validation-expanded.md

@@ -3,7 +3,7 @@
 > 현재 구현·검증·제품 연결 상태는 [V3 통합 현황](v3-status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
 
 2026-09-20. [1차 검사](v3-sample-validation.md)의 후속이다.
-**현재 v2 함수 검사 / 명시한 v3 의도 후보 계산 / 기구학 수치 실험**을 구별한다.
+**당시 기존 함수 검사 / 명시한 v3 의도 후보 계산 / 기구학 수치 실험**을 구별한다.
 테스트가 통과했다는 것은 아래 관찰이 재현됐다는 뜻이며, 결함이 해결됐다는 뜻이 아니다.
 제품 소스, 서버, 원본 샘플을 변경하지 않았다.
 

package/docs/v3-sample-validation.md

@@ -41,7 +41,7 @@ node --test docs/prototypes/v3-samples.test.mjs
 
 ### 로봇암: 좌표계는 가능하지만 링크 크기 변경은 별도 문제
 
-v2의 position과 joint.origin은 정지 모델 좌표다. 이를 부모-relative offset과
+원본 샘플의 position과 joint.origin은 정지 모델 좌표다. 이를 부모-relative offset과
 자식-local pivot으로 변환한 뒤 `parent · rest · joint`로 계산했다.
 관절 양쪽에서 계산한 동일 pivot의 월드 위치가 일치하는지 검사했다.
 단순히 부품 중심 거리가 일정하다는 검사보다 구체적인 기구학 불변량이다.