@hatiolab/figure-model 0.1.92 → 0.1.94

package/docs/prototypes/render-full-dryroom.mjs

@@ -2,20 +2,20 @@
 import {createServer} from 'node:http'
 import {readFile} from 'node:fs/promises'
 import {chromium} from '/Users/super/.cache/codex-runtimes/codex-primary-runtime/dependencies/node/node_modules/playwright/index.mjs'
-import {seed,defaults,evaluateFull,geometryOf,sourceGeometry} from './v3-full-dryroom.mjs'
-import * as conveyor from './v3-full-conveyor.mjs'
-import * as robot from './v3-full-robot.mjs'
-import * as forklift from './v3-full-forklift.mjs'
-import {forkliftBindings} from './v3-capability-samples.mjs'
-import {compilePayloadInspection} from './v3-payload-fit.mjs'
-import {compileCollisionInspection} from './v3-payload-collision.mjs'
+import {seed,defaults,evaluateFull,geometryOf,sourceGeometry} from './full-dryroom.mjs'
+import * as conveyor from './full-conveyor.mjs'
+import * as robot from './full-robot.mjs'
+import * as forklift from './full-forklift.mjs'
+import {forkliftBindings} from './capability-samples.mjs'
+import {compilePayloadInspection} from './payload-fit.mjs'
+import {compileCollisionInspection} from './payload-collision.mjs'
 const isConveyor=process.argv.includes('--conveyor')
 const isRobot=process.argv.includes('--robot')
 const isCollision=process.argv.includes('--collision')
 const isPayload=process.argv.includes('--payload')||isCollision
 const isForklift=process.argv.includes('--forklift')||isPayload
 const pack=(items)=>items.map(x=>({id:x.id,material:x.material,geometry:x.geometry.toJSON()}))
-const fromV3=args=>pack(evaluateFull(args).map(x=>({...x,geometry:geometryOf(x)})))
+const fromFigure=args=>pack(evaluateFull(args).map(x=>({...x,geometry:geometryOf(x)})))
 const robotPose={...robot.defaults,'base-pan':30,'shoulder-lift':-35,'elbow-flex':65,'wrist-pitch':-25,'wrist-yaw':40,'tool-roll':20,gripper:50}
 function payloadVariants(){
  const sample=forkliftBindings(),p=(isCollision?compileCollisionInspection:compilePayloadInspection)(sample.model,sample.declaration)
@@ -50,9 +50,9 @@ const variants=isPayload?payloadVariants():isForklift?[
  ].map(([title,args])=>({title,parts:pack(conveyor.evaluateFull(args).map(x=>({...x,geometry:conveyor.geometryOf(x)})))}))
 ]:[
   {title:'Source seed · six parts',parts:pack(seed.parts.map(p=>({id:p.name,material:p.material,geometry:sourceGeometry(p)})))},
-  {title:'V3 · same dimensions',parts:fromV3(defaults)},
-  {title:'V3 · portal bottom trimmed to floor',parts:fromV3({...defaults,bottom:0})},
-  {title:'V3 · resized + lamps raised',parts:fromV3({...defaults,width:4800,height:3600,depth:7200,bottom:0,lampLift:100})}
+  {title:'V3 · same dimensions',parts:fromFigure(defaults)},
+  {title:'V3 · portal bottom trimmed to floor',parts:fromFigure({...defaults,bottom:0})},
+  {title:'V3 · resized + lamps raised',parts:fromFigure({...defaults,width:4800,height:3600,depth:7200,bottom:0,lampLift:100})}
 ]
 const html=`<!doctype html><meta charset="utf-8"><style>body{margin:0;background:#e9edf2;font:16px sans-serif;color:#17283b}main{display:grid;grid-template-columns:1fr 1fr;gap:12px;padding:12px}section{background:white;border-radius:8px;overflow:hidden}h3{margin:12px;font-size:16px}canvas{display:block;width:100%}p{margin:12px;font-size:12px}</style><main></main><script type="module">
 import * as T from '/three.module.js';
@@ -79,7 +79,7 @@ try{
  browser=await chromium.launch({headless:true,executablePath:'/Applications/Google Chrome.app/Contents/MacOS/Google Chrome'});
  const page=await browser.newPage({viewport:{width:1328,height:990},deviceScaleFactor:1});const errors=[];page.on('pageerror',e=>errors.push(String(e)));
  await page.goto('http://127.0.0.1:'+server.address().port);await page.waitForFunction(()=>window.ready);
- const screenshot='/private/tmp/figure-v3-full-'+(isCollision?'collision':isPayload?'payload':isForklift?'forklift':isRobot?'robot':isConveyor?'conveyor':'dryroom')+'.png';
+ const screenshot='/private/tmp/figure-full-'+(isCollision?'collision':isPayload?'payload':isForklift?'forklift':isRobot?'robot':isConveyor?'conveyor':'dryroom')+'.png';
  await page.screenshot({path:screenshot,fullPage:true});
  console.log(JSON.stringify({...await page.evaluate(()=>({results:window.results,comparison:window.comparison})),errors,screenshot},null,2));
  if(errors.length)process.exitCode=1;

package/docs/prototypes/{v3-repeated-binding.mjs → repeated-binding.mjs}

@@ -1,4 +1,4 @@
-import {fullModel} from './v3-full-conveyor.mjs'
+import {fullModel} from './full-conveyor.mjs'
 export function repeatedBinding(){
  const model=fullModel()
  model.inputs.push({id:'selectedIndex',unit:'count',min:0,max:100,role:'design'})

package/docs/prototypes/{v3-repeated-binding.test.mjs → repeated-binding.test.mjs}

@@ -1,9 +1,9 @@
 import {test} from 'node:test'
 import assert from 'node:assert/strict'
-import {repeatedBinding} from './v3-repeated-binding.mjs'
-import {compileCapabilities} from './v3-capability-plan.mjs'
-import {compileDocument,parseDocument,serializeDocument} from './v3-document.mjs'
-import {defaults} from './v3-full-conveyor.mjs'
+import {repeatedBinding} from './repeated-binding.mjs'
+import {compileCapabilities} from './capability-plan.mjs'
+import {compileDocument,parseDocument,serializeDocument} from './document.mjs'
+import {defaults} from './full-conveyor.mjs'
 import Ajv from '../../../things-factory/node_modules/ajv/lib/ajv.js'
 import fs from 'node:fs'
 const near=(a,b)=>assert.ok(Math.abs(a-b)<1e-7)
@@ -36,8 +36,8 @@ test('reference origin rejects foreign feature/member, animated index, wrong bin
  ]){const s=repeatedBinding();edit(s);assert.throws(()=>compileCapabilities(s.model,s.declaration),e=>e.code===code)}
 })
 test('schema/serialization/reorder preserve occurrence identity and deletion behavior',()=>{
- const s=repeatedBinding(),doc={version:'figure-v3-prototype-1',model:s.model,capabilities:s.declaration}
- const validate=new Ajv().compile(JSON.parse(fs.readFileSync(new URL('./v3-document.schema.json',import.meta.url))))
+ const s=repeatedBinding(),doc={version:'figure-prototype-1',model:s.model,capabilities:s.declaration}
+ const validate=new Ajv().compile(JSON.parse(fs.readFileSync(new URL('./document.schema.json',import.meta.url))))
  assert.ok(validate(doc),JSON.stringify(validate.errors))
  const restored=parseDocument(serializeDocument(doc));restored.model.nodes.reverse()
  const a=compileDocument(doc).evaluate(args),b=compileDocument(restored).evaluate(args)

package/docs/prototypes/{v3-runtime-browser.mjs → runtime-browser.mjs}

@@ -1,17 +1,17 @@
 // Run npm run build first. Exercises emitted ESM in Chrome, not a Node polyfill.
 import {readFile} from 'node:fs/promises'
 import assert from 'node:assert/strict'
-import {sampleAsset} from './v3-asset-samples.mjs'
-import {compileV3Graph} from '../../src/v3-graph.ts'
-import {compileV3Asset} from '../../src/v3-asset.ts'
+import {sampleAsset} from './asset-samples.mjs'
+import {compileFigureGraph} from '../../src/graph.ts'
+import {compileFigureAsset} from '../../src/asset.ts'
 import {chromium} from '/Users/super/.cache/codex-runtimes/codex-primary-runtime/dependencies/node/node_modules/playwright/index.mjs'
 const url=source=>'data:text/javascript;base64,'+Buffer.from(source).toString('base64')
-const contract=url(await readFile(new URL('../../dist/v3-contract.js',import.meta.url),'utf8'))
-const source=await readFile(new URL('../../dist/v3-json.js',import.meta.url),'utf8')
-assert.ok(source.includes('./v3-contract.js'))
-const entry=url(source.replace('./v3-contract.js',contract))
-const graphSource=await readFile(new URL('../../dist/v3-graph.js',import.meta.url),'utf8')
-const graphEntry=url(graphSource.replace('./v3-contract.js',contract))
+const contract=url(await readFile(new URL('../../dist/contract.js',import.meta.url),'utf8'))
+const source=await readFile(new URL('../../dist/json.js',import.meta.url),'utf8')
+assert.ok(source.includes('./contract.js'))
+const entry=url(source.replace('./contract.js',contract))
+const graphSource=await readFile(new URL('../../dist/graph.js',import.meta.url),'utf8')
+const graphEntry=url(graphSource.replace('./contract.js',contract))
 const modules=new Map()
 async function moduleUrl(name){
  if(modules.has(name))return modules.get(name)
@@ -22,34 +22,34 @@ async function moduleUrl(name){
  }
  const entry=url(code);modules.set(name,entry);return entry
 }
-const assetEntry=await moduleUrl('v3-asset.js')
-const workspaceEntry=await moduleUrl('v3-editor-workspace.js')
-const createEntry=await moduleUrl('v3-create.js')
+const assetEntry=await moduleUrl('asset.js')
+const workspaceEntry=await moduleUrl('editor-workspace.js')
+const createEntry=await moduleUrl('create.js')
 const browser=await chromium.launch({headless:true,executablePath:'/Applications/Google Chrome.app/Contents/MacOS/Google Chrome'})
 try{
  const page=await browser.newPage()
  const result=await page.evaluate(async entry=>{
   const module=await import(entry)
-  const value=module.parseV3Json('{"name":"드라이룸 😀"}')
+  const value=module.parseFigureJson('{"name":"드라이룸 😀"}')
   let duplicate
-  try{module.parseV3Json('{"a":1,"\\u0061":2}')}catch(e){duplicate=e.code}
-  return {buffer:typeof globalThis.Buffer,process:typeof globalThis.process,value,bytes:module.v3Utf8ByteLength('드라이룸 😀'),duplicate}
+  try{module.parseFigureJson('{"a":1,"\\u0061":2}')}catch(e){duplicate=e.code}
+  return {buffer:typeof globalThis.Buffer,process:typeof globalThis.process,value,bytes:module.figureUtf8ByteLength('드라이룸 😀'),duplicate}
  },entry)
  assert.deepEqual(result,{buffer:'undefined',process:'undefined',value:{name:'드라이룸 😀'},bytes:17,duplicate:'JSON_DUPLICATE_KEY'})
  console.log(JSON.stringify(result,null,2))
  for(const kind of ['dryroom','conveyor','robot','forklift']){
   const asset=sampleAsset(kind),model=asset.document.model,inputs={...asset.designInputs,...asset.stateDefaults}
-  const expected=compileV3Graph(model).evaluate(inputs)
-  const actual=await page.evaluate(async({entry,model,inputs})=>(await import(entry)).compileV3Graph(model).evaluate(inputs),{entry:graphEntry,model,inputs})
+  const expected=compileFigureGraph(model).evaluate(inputs)
+  const actual=await page.evaluate(async({entry,model,inputs})=>(await import(entry)).compileFigureGraph(model).evaluate(inputs),{entry:graphEntry,model,inputs})
   // JSON normalizes -0 across the browser transport, not meaningful to the geometry contract.
   assert.deepEqual(JSON.parse(JSON.stringify(actual)),JSON.parse(JSON.stringify(expected)))
   console.log(kind+': browser/server values and geometry match; '+actual.geometry.length+' meshes')
-  const restored=await page.evaluate(async({entry,text})=>{const m=await import(entry);return m.compileV3Asset(m.parseV3Asset(text)).evaluate()},{entry:assetEntry,text:JSON.stringify(asset)})
-  assert.deepEqual(JSON.parse(JSON.stringify(restored)),JSON.parse(JSON.stringify(compileV3Asset(asset).evaluate())))
+  const restored=await page.evaluate(async({entry,text})=>{const m=await import(entry);return m.compileFigureAsset(m.parseFigureAsset(text)).evaluate()},{entry:assetEntry,text:JSON.stringify(asset)})
+  assert.deepEqual(JSON.parse(JSON.stringify(restored)),JSON.parse(JSON.stringify(compileFigureAsset(asset).evaluate())))
   console.log(kind+': serialized asset, materials, palette and capability bindings match')
  }
  const editing=await page.evaluate(async({entry,forklift,robot})=>{
-  const w=(await import(entry)).createV3EditorWorkspace(),first=w.open(forklift)
+  const w=(await import(entry)).createFigureEditorWorkspace(),first=w.open(forklift)
   const edit=(revision,value)=>({context:first.context,origin:'ai',expectedRevision:revision,changes:[{kind:'set-design',input:'forkLength',unit:'mm',value}]})
   const before=w.read();w.preview(edit(0,1275));const previewUnchanged=JSON.stringify(w.read())===JSON.stringify(before)
   w.apply(edit(0,1275));const pending=w.export({context:first.context});w.apply(edit(1,1500))
@@ -63,14 +63,14 @@ try{
  assert.deepEqual(editing,{previewUnchanged:true,staleSave:'REVISION_CONFLICT',revision:4,robotMeshes:10,staleEdit:'CONTEXT_CONFLICT',restored:1500,empty:0})
  console.log(JSON.stringify({browserWorkspace:editing},null,2))
  const authored=await page.evaluate(async({createEntry,assetEntry,workspaceEntry})=>{
-  const c=await import(createEntry),a=await import(assetEntry),w=(await import(workspaceEntry)).createV3EditorWorkspace()
-  const empty=c.createV3Asset('New V3'),emptyCount=a.compileV3Asset(empty).evaluate().geometry.length
-  const model=c.addV3Box(empty,{id:'gate',size:{x:800,y:2000,z:100},position:{x:0,y:1000,z:0}})
-  const opened=w.open(a.serializeV3Asset(model))
+  const c=await import(createEntry),a=await import(assetEntry),w=(await import(workspaceEntry)).createFigureEditorWorkspace()
+  const empty=c.createFigureAsset('New V3'),emptyCount=a.compileFigureAsset(empty).evaluate().geometry.length
+  const model=c.addFigureBox(empty,{id:'gate',size:{x:800,y:2000,z:100},position:{x:0,y:1000,z:0}})
+  const opened=w.open(a.serializeFigureAsset(model))
   w.apply({context:opened.context,origin:'ui',expectedRevision:0,changes:[{kind:'set-design',input:'gate.size.y',unit:'mm',value:1500}]})
-  const saved=w.export({context:opened.context}),restored=a.compileV3Asset(a.parseV3Asset(saved.text)).evaluate()
+  const saved=w.export({context:opened.context}),restored=a.compileFigureAsset(a.parseFigureAsset(saved.text)).evaluate()
   return {emptyCount,parts:restored.geometry.length,height:restored.geometry[0].shape.dimensions.height}
  },{createEntry,assetEntry,workspaceEntry})
  assert.deepEqual(authored,{emptyCount:0,parts:1,height:1500})
- console.log(JSON.stringify({newV3Authoring:authored}))
+ console.log(JSON.stringify({newFigureAuthoring:authored}))
 }finally{await browser.close()}

package/docs/prototypes/{v3-samples.test.mjs → samples.test.mjs}

@@ -1,4 +1,4 @@
-// Read-only design probes against checked-in product samples. NOT a v3 renderer.
+// Read-only design probes against checked-in product samples. NOT a renderer.
 import fs from 'node:fs'
 import { createHash } from 'node:crypto'
 import assert from 'node:assert/strict'

package/docs/prototypes/{v3-spatial-plan.test.mjs → spatial-plan.test.mjs}

@@ -1,6 +1,6 @@
 import {test} from 'node:test'
 import assert from 'node:assert/strict'
-import {compile,ContractError} from './v3-typed-plan.mjs'
+import {compile,ContractError} from './typed-plan.mjs'
 const near=(a,b)=>assert.ok(Number.isFinite(a)&&Math.abs(a-b)<1e-8,`${a} != ${b}`)
 const equal=(a,b)=>a.forEach((v,i)=>near(v,b[i]))
 const c=(id,value,unit='mm')=>({id,value,unit})

package/docs/prototypes/typed-plan.mjs

@@ -0,0 +1,3 @@
+// Compatibility entry for experiments: one implementation lives in production source.
+export {compileFigureGraph as compile} from '../../src/graph.ts'
+export {FigureContractError as ContractError} from '../../src/contract.ts'

package/docs/prototypes/{v3-typed-plan.test.mjs → typed-plan.test.mjs}

@@ -1,6 +1,6 @@
 import assert from 'node:assert/strict'
 import {test} from 'node:test'
-import {compile,ContractError} from './v3-typed-plan.mjs'
+import {compile,ContractError} from './typed-plan.mjs'
 const near=(a,b)=>assert.ok(Math.abs(a-b)<1e-8,`${a} != ${b}`)
 const c=(id,value,unit='mm')=>({id,value,unit})
 function model(){return {version:'r3-scalar-1',inputs:[{id:'width',unit:'cm',min:1,max:1000}],constants:[c('zero',0),c('margin',10),c('radius',48)],nodes:[

package/docs/prototypes/{v3-typed-repeat.test.mjs → typed-repeat.test.mjs}

@@ -1,8 +1,8 @@
 import fs from 'node:fs'
 import {test} from 'node:test'
 import assert from 'node:assert/strict'
-import {compile} from './v3-typed-plan.mjs'
-import {meshOf,meshAudit} from './v3-dryroom-mesh.mjs'
+import {compile} from './typed-plan.mjs'
+import {meshOf,meshAudit} from './dryroom-mesh.mjs'
 const seeds=JSON.parse(fs.readFileSync(new URL('../../../operato-application/packages/operato-figure/server/seed/figure-samples.json',import.meta.url)))
 const c=(id,value,unit='mm')=>({id,value,unit})
 const n=(id,op,args,outputs,params)=>({id,op,args,outputs,...(params?{params}:{})})

package/docs/{v3-repeated-binding-validation.md → repeated-binding-validation.md}

@@ -1,14 +1,14 @@
 # 반복 요소의 기능/표면 참조 — 실험 검증
 
-> 현재 구현·검증·제품 연결 상태는 [V3 통합 현황](v3-status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
+> 현재 구현·검증·제품 연결 상태는 [구현·검증 현황](status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
 
 ## 이번 구현
 
 전체 컨베이어의 반복 롤러를 선택하고 그 실제 끝면을 binding pose와 contact 후보로 사용할 수 있도록 했다. 반복 template를 별도 메시로 만들거나 선택한 항목을 한 번 더 렌더링하지 않는다.
 
-- [예제](prototypes/v3-repeated-binding.mjs)
-- [테스트](prototypes/v3-repeated-binding.test.mjs)
-- [capability compiler](prototypes/v3-capability-plan.mjs)
+- [예제](prototypes/repeated-binding.mjs)
+- [테스트](prototypes/repeated-binding.test.mjs)
+- [capability compiler](prototypes/capability-plan.mjs)
 
 현재 선언 버전은 `r3-capability-3`이다. pose는 기존 transform 출력 ID 또는 `{placement, feature}` 중 하나다. 후자는 실제 표면 출처 검사와 같은 경로로 처리한다. V1/V2 입력은 묵시적으로 바꾸지 않고 거부한다. 제품 데이터 마이그레이션을 수행한 것은 아니다.
 

package/docs/{v3-research-review.md → research-review.md}

@@ -1,11 +1,11 @@
 # Figure v3 선행 연구 검토와 채택 판단
 
-> 현재 구현·검증·제품 연결 상태는 [V3 통합 현황](v3-status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
+> 현재 구현·검증·제품 연결 상태는 [구현·검증 현황](status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
 
 2026-09-20 · 1차 원문/공식 문서 검토.
 **문헌 검토이며 재현 실험 완료가 아니다. r1/r2도 아직 채택하지 않는다.**
 
-후속 진행: [ShapeAssembly 공개 interpreter의 10개 격리 실행 기록](v3-shapeassembly-reproduction.md).
+후속 진행: [ShapeAssembly 공개 interpreter의 10개 격리 실행 기록](shapeassembly-reproduction.md).
 이 문서의 문헌 기반 비교와 실제 실행 결과를 구분한다. 논문 benchmark 재현은 아직 아니다.
 
 ## 1. 결론

package/docs/{v3-review-2026-09-22.md → review-2026-09-22.md}

@@ -12,12 +12,12 @@ figure-model 0.1.32 (`54d30c2`) 기준. 문서를 읽고 판단한 것이 아니
 
 ### 구현이 하나다
 
-프로토타입이 별도 구현을 들고 있지 않다. `docs/prototypes/v3-typed-plan.mjs` 는 세 줄이고
-`src/v3-graph.ts` 를 다시 내보낸다. 실험 143 개가 **제품 소스를 시험하고 있다.**
+프로토타입이 별도 구현을 들고 있지 않다. `docs/prototypes/typed-plan.mjs` 는 세 줄이고
+`src/graph.ts` 를 다시 내보낸다. 실험 143 개가 **제품 소스를 시험하고 있다.**
 
 ```
 src/v3-*.ts            13 모듈 · 2,266 줄(시험 포함)
-index.ts               10 개를 내보낸다 — compileV3Graph · createV3Asset · …
+index.ts               10 개를 내보낸다 — compileFigureGraph · createFigureAsset · …
 npm test               461 통과 · 0 빨강
 node --test docs/prototypes/v3-*.test.mjs   143 통과 · 0 빨강
 ```
@@ -44,7 +44,7 @@ CYCLE: a: a -> b -> a
 
 ### 현황 문서가 정직하다
 
-`v3-status.md` 가 격리 UI 의 성공을 제품 배포로 적지 않고, 「소스 455 통과」가 V3 기능 수가
+`status.md` 가 격리 UI 의 성공을 제품 배포로 적지 않고, 「소스 455 통과」가 V3 기능 수가
 아니라고 먼저 밝힌다. 오늘 이 집이 여러 번 틀린 자리를 그쪽은 안 틀렸다.
 
 ## 2. 위험 — 위험 순
@@ -53,12 +53,12 @@ CYCLE: a: a -> b -> a
 
 **V2 → V3 변환기가 없다.** 이름으로도 동작으로도 찾지 못했다.
 
-`v3-cutover.md` 는 「기존 자산도 V3 기준으로 변환하거나 재작성한다」고 적는데, **변환**에
+`cutover.md` 는 「기존 자산도 V3 기준으로 변환하거나 재작성한다」고 적는데, **변환**에
 해당하는 것이 없고 재작성만 있다. 네 대표 자산(드라이룸·컨베이어·로봇암·포크리프트)은
 V2 seed 를 읽어 **결과를 견주는 용도**로 쓰고, V3 쪽은 손으로 적은 그래프다.
 
 ```js
-// docs/prototypes/v3-full-conveyor.mjs — 컨베이어 하나가 이 밀도로 60 줄
+// docs/prototypes/full-conveyor.mjs — 컨베이어 하나가 이 밀도로 60 줄
 add('endX','halfLength',-60); add('legX','halfLength',-260); add('frameZ','halfWidth',-18)
 ```
 
@@ -78,7 +78,7 @@ ADR-0044 와 ADR-0051 이 닫은 문 셋이 V3 소스에 없다.
 | `FIGURE_CAPABILITIES` 닫힌 목록 (ADR-0051 ④) | 0 | 0 |
 | 파라미터 `range` | 0 | 1 |
 
-`src/v3-capabilities.ts` 는 있지만 **다른 것을 본다** — 표면 소유권과 수용 조건이다. 능력
+`src/capabilities.ts` 는 있지만 **다른 것을 본다** — 표면 소유권과 수용 조건이다. 능력
 이름은 `name()` 이 「빈 문자열이 아니면 통과」로 받는다. **`capabilities: ['hoist']` 가
 V3 에서 다시 지나간다.** 그 구멍은 09-16 에 닫은 것이고, 닫기 전에는 검증과 발행을 지나
 렌더링에서 죽었다.
@@ -88,7 +88,7 @@ V3 에서 다시 지나간다.** 그 구멍은 09-16 에 닫은 것이고, 닫
 
 ### ③ 지금 V3 를 저작할 길은 그래프 코드뿐이다
 
-`v3-status.md` 의 남은 작업이 「다른 primitive 추가, 삭제·재질·관계 편집」이다. 지금 서 있는
+`status.md` 의 남은 작업이 「다른 primitive 추가, 삭제·재질·관계 편집」이다. 지금 서 있는
 것은 빈 자산과 상자 하나다. 설계는 모델러와 AI 가 template 으로 이 식을 만든다고 하는데,
 **그 template 이 아직 없다.**
 
@@ -105,7 +105,7 @@ V3 에서 다시 지나간다.** 그 구멍은 09-16 에 닫은 것이고, 닫
 
 ### ⑤ `Dynamic = any` 가 커널 디스패치 전체
 
-`src/v3-graph.ts` 에 17 자리다. 저자가 TODO 로 남겼고 현황 문서도 「내부 Dynamic 경계 축소」로
+`src/graph.ts` 에 17 자리다. 저자가 TODO 로 남겼고 현황 문서도 「내부 Dynamic 경계 축소」로
 적어 두었다. 공개 API 는 타입이 있고 경계에서 검사하므로 **부채이지 결함은 아니다.**
 
 ## 3. 다음 한 걸음
@@ -124,4 +124,4 @@ V3 에서 다시 지나간다.** 그 구멍은 09-16 에 닫은 것이고, 닫
 
 - 렌더링 결과의 시각 품질. 브라우저 확인은 저자가 했고 나는 다시 안 봤다.
 - 성능. 자산 500 개 규모에서의 평가 비용은 재지 않았다.
-- `v3-layout-system.md` 의 Flex/Grid 계약. 설계 문서만 있고 실측 안 했다.
+- `layout-system.md` 의 Flex/Grid 계약. 설계 문서만 있고 실측 안 했다.

package/docs/{v3-runtime-extraction.md → runtime-extraction.md}

@@ -1,25 +1,25 @@
 # V3 런타임 정식 소스 이관 — 그래프·capability·자산
 
-> 현재 구현·검증·제품 연결 상태는 [V3 통합 현황](v3-status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
+> 현재 구현·검증·제품 연결 상태는 [구현·검증 현황](status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
 
-> 최신 작업 기준: [V3 단일 체계 전환](v3-cutover.md). 아래의 버전별 제품 연결 방향은 과거 작업 기록이며, 향후 설계 조건에서 제외한다.
+> 최신 작업 기준: [V3 단일 체계 전환](cutover.md). 아래의 버전별 제품 연결 방향은 과거 작업 기록이며, 향후 설계 조건에서 제외한다.
 
 ## 이번 이관 범위
 
-실험용 JSON 입력 검사와 오류 계약을 `src/v3-json.ts`, `src/v3-contract.ts`의 strict TypeScript 소스로 옮겼다. 기본 빌드에서 JS·타입 선언을 생성하며 기존 package 루트에서 이름이 구분된 API로 내보낸다. package.json·의존성은 변경하지 않았다.
+실험용 JSON 입력 검사와 오류 계약을 `src/json.ts`, `src/contract.ts`의 strict TypeScript 소스로 옮겼다. 기본 빌드에서 JS·타입 선언을 생성하며 기존 package 루트에서 이름이 구분된 API로 내보낸다. package.json·의존성은 변경하지 않았다.
 
 | 공개 API | 책임 |
 |---|---|
-| parseV3Json | JSON 문법, 중복 키, 크기·깊이 제한, 유한 수 검사 |
-| assertV3Json | JS 객체의 순환, getter, 숨은 속성, symbol, 희소 배열 등 손실 직렬화 거부 |
-| v3Utf8ByteLength | 브라우저와 서버의 동일 UTF-8 바이트 계산 |
-| V3ContractError | code/path를 가진 공통 오류 |
+| parseFigureJson | JSON 문법, 중복 키, 크기·깊이 제한, 유한 수 검사 |
+| assertFigureJson | JS 객체의 순환, getter, 숨은 속성, symbol, 희소 배열 등 손실 직렬화 거부 |
+| figureUtf8ByteLength | 브라우저와 서버의 동일 UTF-8 바이트 계산 |
+| FigureContractError | code/path를 가진 공통 오류 |
 
 **parseV3Json은 모델 의미 검증기가 아니다.** JSON 형식만 올바르면 V3 자산이 아닌 객체도 읽는다. V3 자산 버전·단위·그래프·appearance 검사는 여전히 자산 컴파일러가 담당한다. 공개된 이름이 전체 V3 지원이나 안정화 완료를 뜻하지 않는다.
 
 ## 단일 구현 유지
 
-`docs/prototypes/v3-document.mjs`는 새 모듈을 import/re-export한다. 원래 JSON 검사 구현은 제거했다. `v3-typed-plan.mjs`의 ContractError도 정식 V3ContractError를 다시 내보낸다. 따라서 기존 실험 테스트도 이관된 코드와 같은 오류 타입을 사용한다.
+`docs/prototypes/document.mjs`는 새 모듈을 import/re-export한다. 원래 JSON 검사 구현은 제거했다. `typed-plan.mjs`의 ContractError도 정식 V3ContractError를 다시 내보낸다. 따라서 기존 실험 테스트도 이관된 코드와 같은 오류 타입을 사용한다.
 
 문서·자산의 Buffer.byteLength를 TextEncoder 기반 계산으로 대체했다. 생산 소스에는 docs import, 절대경로, Node 내장 모듈 import가 없다. 실험 도구가 src에 의존하는 방향이며 역방향은 없다.
 
@@ -30,15 +30,15 @@
 - `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 계산과 이스케이프 중복 키 거부 확인.
+- `node docs/prototypes/runtime-browser.mjs`: 실제 Chrome에서 빌드된 ESM 실행 성공. Buffer/process가 없는 상태에서 한글·이모지 UTF-8 계산과 이스케이프 중복 키 거부 확인.
 
 브라우저 테스트는 생성된 두 모듈을 data URL로 로드하며 의존 URL만 치환한다. Node 폴리필을 주입하지 않는다. 이 테스트는 입력 런타임 검사이며 모델러 캔버스 통합 테스트가 아니다.
 
 ## 그래프 평가기 이관
 
-`src/v3-graph.ts`에 기존 평가기 전체를 옮기고 루트 API에 `compileV3Graph`를 추가했다. `src/v3-graph-types.ts`는 입력/상수/노드, 단위·차원, 좌표계 타입, 형상·배치, 평가 결과와 컴파일된 계획의 공개 타입을 정의한다.
+`src/graph.ts`에 기존 평가기 전체를 옮기고 루트 API에 `compileFigureGraph`를 추가했다. `src/graph-types.ts`는 입력/상수/노드, 단위·차원, 좌표계 타입, 형상·배치, 평가 결과와 컴파일된 계획의 공개 타입을 정의한다.
 
-실험 진입점 `docs/prototypes/v3-typed-plan.mjs`는 두 export만 남긴 호환 어댑터다. 단위 계산·위상 정렬·좌표계 검사·형상 생성·반복 배치의 구현을 두 벌 유지하지 않는다. 기존 연산자 버전과 실패 코드를 유지했다.
+실험 진입점 `docs/prototypes/typed-plan.mjs`는 두 export만 남긴 호환 어댑터다. 단위 계산·위상 정렬·좌표계 검사·형상 생성·반복 배치의 구현을 두 벌 유지하지 않는다. 기존 연산자 버전과 실패 코드를 유지했다.
 
 추가 검증:
 
@@ -57,10 +57,10 @@
 
 | 소스 | 공개 API |
 |---|---|
-| v3-capabilities.ts | compileV3Capabilities |
-| v3-document.ts | compileV3Document, parseV3Document, serializeV3Document |
-| v3-asset.ts | compileV3Asset, parseV3Asset, serializeV3Asset, captureV3AuthoredInputs |
-| v3-asset-types.ts | 문서·자산·재질·binding 선언 및 평가 결과 타입 |
+| capabilities.ts | compileFigureCapabilities |
+| document.ts | compileFigureDocument, parseFigureDocument, serializeFigureDocument |
+| asset.ts | compileFigureAsset, parseFigureAsset, serializeFigureAsset, captureFigureAuthoredInputs |
+| asset-types.ts | 문서·자산·재질·binding 선언 및 평가 결과 타입 |
 
 버전 식별자는 기존 실험 버전을 유지한다. 정식 소스에 포함되었다고 파일 포맷 안정화나 제품 저장 허용을 선언하지 않는다. package.json은 변경하지 않았다.
 
@@ -78,7 +78,7 @@
 
 ## 편집 트랜잭션·workspace 이관
 
-`src/v3-authoring-session.ts`와 `src/v3-editor-workspace.ts`를 추가했다. 패키지 루트에서 `createV3AuthoringSession`, `createV3EditorWorkspace`와 요청·반환 타입을 제공한다. 기존 실험 파일 두 개는 re-export만 남겼다. 이번 두 모듈은 `any` 없이 기존 strict 설정으로 검사한다. 하위 평가기의 내부 Dynamic 경계까지 제거한 것은 아니다.
+`src/authoring-session.ts`와 `src/editor-workspace.ts`를 추가했다. 패키지 루트에서 `createFigureAuthoringSession`, `createFigureEditorWorkspace`와 요청·반환 타입을 제공한다. 기존 실험 파일 두 개는 re-export만 남겼다. 이번 두 모듈은 `any` 없이 기존 strict 설정으로 검사한다. 하위 평가기의 내부 Dynamic 경계까지 제거한 것은 아니다.
 
 유지한 편집 계약:
 

package/docs/{v3-sample-validation-expanded.md → sample-validation-expanded.md}

@@ -1,8 +1,8 @@
 # v3 샘플 검증 확대 — 16종
 
-> 현재 구현·검증·제품 연결 상태는 [V3 통합 현황](v3-status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
+> 현재 구현·검증·제품 연결 상태는 [구현·검증 현황](status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
 
-2026-09-20. [1차 검사](v3-sample-validation.md)의 후속이다.
+2026-09-20. [1차 검사](sample-validation.md)의 후속이다.
 **당시 기존 함수 검사 / 명시한 v3 의도 후보 계산 / 기구학 수치 실험**을 구별한다.
 테스트가 통과했다는 것은 아래 관찰이 재현됐다는 뜻이며, 결함이 해결됐다는 뜻이 아니다.
 제품 소스, 서버, 원본 샘플을 변경하지 않았다.
@@ -16,7 +16,7 @@
 
 ```sh
 # figure-model 루트, Node 25.6.0
-node --test docs/prototypes/v3-samples.test.mjs docs/prototypes/v3-more-samples.test.mjs
+node --test docs/prototypes/samples.test.mjs docs/prototypes/more-samples.test.mjs
 ```
 
 - 모델 관련 검사 18개 통과(기존 5 + 추가 13).
@@ -99,8 +99,8 @@ v3는 명시한 접촉·containment·간극 assertion을 검사해야 하며,
 1. 반복 의도·생성 단계·안정된 참조의 한 계약으로 두 반복 유형 처리.
 2. geometry feature와 dimension 공유로 바닥·부착·개구부의 실제 일치 보장.
 3. 원형/타원형, 상태 기반 형상 변화의 provider 계약 및 정의역.
-4. 각 샘플 전체를 공통 v3 evaluator로 변환해 크기/상태/반복을 함께 변경하는 시험.
+4. 각 샘플 전체를 공통 evaluator로 변환해 크기/상태/반복을 함께 변경하는 시험.
 5. renderer 외형 차분, 충돌/메시 검사, 성능 측정과 사용자 편집 흐름 검증.
 
 이번 확대는 일부 새 모델을 수식에 대입하는 것에 그치지 않고 기존 사이징 함수를 재사용해
-현행 동작을 측정했다. 그러나 완성된 v3 evaluator의 성공으로 포장하지 않는다.
+현행 동작을 측정했다. 그러나 완성된 evaluator의 성공으로 포장하지 않는다.

package/docs/{v3-sample-validation.md → sample-validation.md}

@@ -1,8 +1,8 @@
 # v3 실제 샘플 대입 검증 — 2026-09-20
 
-> 현재 구현·검증·제품 연결 상태는 [V3 통합 현황](v3-status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
+> 현재 구현·검증·제품 연결 상태는 [구현·검증 현황](status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
 
-후속: [제품 시드 전체 + fixture 2종, 총 16종 확대 검증](v3-sample-validation-expanded.md).
+후속: [제품 시드 전체 + fixture 2종, 총 16종 확대 검증](sample-validation-expanded.md).
 
 ## 판정
 
@@ -25,7 +25,7 @@
 figure-model 루트, Node 25.6.0:
 
 ```sh
-node --test docs/prototypes/v3-samples.test.mjs
+node --test docs/prototypes/samples.test.mjs
 ```
 
 5개 검사 통과. 아래의 제한적 수치 불변량에 대한 통과이지 시각 품질 인증이 아니다.

package/docs/{v3-shape-dimension-contract.md → shape-dimension-contract.md}

@@ -1,11 +1,11 @@
-# V3 shape-dimension contract — per-axis radii, elliptic sections, and dimensions that follow state
+# shape-dimension contract — per-axis radii, elliptic sections, and dimensions that follow state
 
-Status: **contract, fixed 2026-09-22 by the V3 designer** (ADR-0087, stage-review rulings 3 and 5). §1 (per-axis
+Status: **contract, fixed 2026-09-22 by the designer** (ADR-0087, stage-review rulings 3 and 5). §1 (per-axis
 dimensions) implemented the same day: `cylinder-shape@2`, `rounded-box@2`, `hollow-box@2`, and the sampler reading
 them. §2–3 implemented the same night: dependence on state is tracked per value in the
 compiler and printed as `dependence` beside `outputTypes`; every operator carries a `state` policy (`follows` or
 `refuses`; an operator without one fails with `STATE_POLICY`); `occupancy.extent` may not depend on state
-(`OCCUPANCY_STATE`); `inspectV3Asset` covers the state range and reports `proven` (corners; no state-dependent
+(`OCCUPANCY_STATE`); `inspectFigureAsset` covers the state range and reports `proven` (corners; no state-dependent
 rotation), `sampled` (a rotation depends on state; corners plus per-input sweeps, step stated, not a proof) or
 `defaults` (one state, as asked). The `bounded` method of §3 (swept envelope) is not implemented; such assets report
 `sampled`. This is one rule for what a shape's dimensions are and what they may depend on. It is not three
@@ -72,7 +72,7 @@ actual shape dimension") made concrete. A dimension that scales with a state inp
 Every value carries, next to its unit or frame, a **dependence set**: which state inputs its value can change with.
 Inputs of role `state` start with `{self}`; constants and design inputs with `∅`; every operator's outputs carry the
 union of its arguments' sets, unless the operator's contract says otherwise. This is the existing `stateful`
-tracking in `compileV3Graph`, made a first-class part of the type and printed in `outputTypes`.
+tracking in `compileFigureGraph`, made a first-class part of the type and printed in `outputTypes`.
 
 ### Every consuming operator declares its policy
 
@@ -92,7 +92,7 @@ declared occupancy is a state-independent contract; structure- and cost-changing
 ## 3. The occupancy holds over the whole valid state range
 
 `occupancy` is the contract a board's placement relies on (ADR-0087 decision 7). A volume that is true at the
-default state and false at another is not that contract. So `inspectV3Asset` answers for the **whole** valid state
+default state and false at another is not that contract. So `inspectFigureAsset` answers for the **whole** valid state
 range, and says how it knows:
 
 | how the geometry depends on state | how the check is done | what the report says |
@@ -148,18 +148,18 @@ range, and says how it knows:
 
 | 목록 | 무엇이 들어가는가 | 누가 쓰는가 |
 | --- | --- | --- |
-| `v3WorldBoxesOf` | 그리는 몸통만 (`visible === false` 제외) | renderer |
-| `v3OccupiedBoxesOf` | 놓인 몸통 전부 (숨긴 것 포함) | occupancy 검사 |
+| `figureWorldBoxesOf` | 그리는 몸통만 (`visible === false` 제외) | renderer |
+| `figureOccupiedBoxesOf` | 놓인 몸통 전부 (숨긴 것 포함) | occupancy 검사 |
 
-## When `proven` may be said (added 2026-09-23, after two counterexamples from the V3 designer)
+## When `proven` may be said (added 2026-09-23, after two counterexamples from the designer)
 
 `proven` means the gate evaluated the corners of the state box and nothing else. That is only a proof when every
 coordinate the figure draws takes its extreme at a corner, and the property that guarantees it is **multilinearity**:
 degree one in each state input, holding the others fixed. A multilinear value stays multilinear however it is
 combined, which is why it can be built up through a whole figure.
 
-Every operator in the kernel is classified by name in `V3_STATE_EXTREME_BASIS`, with no pattern and no default, and
-a test compares that list against `V3_OPERATORS`: a new operator is unclassified, and unclassified is `unknown`.
+Every operator in the kernel is classified by name in `FIGURE_STATE_EXTREME_BASIS`, with no pattern and no default, and
+a test compares that list against `FIGURE_OPERATORS`: a new operator is unclassified, and unclassified is `unknown`.
 
 `multilinear`, under the conditions the gate checks: `add@1`; `mul@1` when no two arguments depend on the same state
 input; `div@1` by a state-free denominator; `rigid@1` when no rotation angle depends on state; `axis-slide@1` when the
@@ -197,7 +197,7 @@ coverage, not correctness: the asset falls back to `sampled`, which states its s
 `proven` is about one thing: every part stays inside the declared volume. Whether the figure touches the plane it
 is mounted on is the *smallest* gap over its parts, and a smallest folds the way `min@1` folds. Two boxes at 20q
 and 20(1−q) mm above the floor each touch it at one end of q and both float 10 mm in the middle, with every
-coordinate linear in q (V3 designer's counterexample, 2026-09-23). The corners were extremal and the gate still
+coordinate linear in q (designer's counterexample, 2026-09-23). The corners were extremal and the gate still
 missed it.
 
 Reading it as the lowest point of the figure was no better: a box hanging entirely below the plane passed, because
@@ -216,7 +216,7 @@ figure is fastened. It is not read off `occupancy.bounds.y.max`: that moved the
 someone widened the volume it takes up.
 
 So an asset that needs the contact **names the face that makes it** — a placement and a `feature@1` on the same
-shape, read by `resolveV3Surface`, the same reader the capability bindings use. The check is that face against the
+shape, read by `resolveFigureSurface`, the same reader the capability bindings use. The check is that face against the
 plane, both ways. There is no smallest over parts left to fold, and what remains to ask is whether the face moves: a
 face whose placement does not follow state sits in the same place at every state, so one evaluation settles it, and
 a face that moves sends the asset to sampling, because corner extremality says nothing about an equality holding in

package/docs/{v3-shapeassembly-reproduction.md → shapeassembly-reproduction.md}

@@ -1,6 +1,6 @@
 # ShapeAssembly 공개 구현: 격리 재현 1차
 
-> 현재 구현·검증·제품 연결 상태는 [V3 통합 현황](v3-status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
+> 현재 구현·검증·제품 연결 상태는 [구현·검증 현황](status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
 
 2026-09-20. 문헌을 읽은 결과가 아니라 공개 interpreter를 직접 실행한 기록.
 **학습 모델/논문 benchmark/실제 Figure 자산의 재현은 아니다.**
@@ -10,7 +10,7 @@
 
 - upstream: https://github.com/rkjones4/ShapeAssembly
 - commit: `cc22bd84afb65e8e37c7d14bebd9a4a629b5d943`
-- upstream checkout: `/private/tmp/figure-v3-research.T0vBJG/ShapeAssembly`
+- upstream checkout: `/private/tmp/figure-research.T0vBJG/ShapeAssembly`
 - Python 3.12.14, torch 2.8.0, numpy 2.2.6, faiss-cpu 1.12.0.
 - upstream 파일 수정 없음. `git status --short` 출력 없음 확인.
 - 작성한 것은 외부 interpreter를 호출하고 좌표 잔차를 계산하는 별도 probe다.
@@ -19,9 +19,9 @@
 - 오류가 난 사례만 제외하지 않았다. 10개 모두 실행 종료, 예외 없음.
 
 ```sh
-/private/tmp/figure-v3-research.T0vBJG/venv/bin/python \
+/private/tmp/figure-research.T0vBJG/venv/bin/python \
   docs/prototypes/shapeassembly-probe.py \
-  /private/tmp/figure-v3-research.T0vBJG/ShapeAssembly
+  /private/tmp/figure-research.T0vBJG/ShapeAssembly
 ```
 
 환경은 임시 폴더에 있으며 이후 정리될 수 있다.

package/docs/{v3-spatial-contracts.md → spatial-contracts.md}

@@ -1,12 +1,12 @@
 # V3 타입·공간 그래프 통합 실험
 
-> 현재 구현·검증·제품 연결 상태는 [V3 통합 현황](v3-status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
+> 현재 구현·검증·제품 연결 상태는 [구현·검증 현황](status.md)을 따른다. 본문의 단계별 연구/검증 기록은 제품 전체 완료 선언이 아니다.
 
-후속: [드라이룸 실제 단면·메시 검증](v3-dryroom-profile-validation.md).
+후속: [드라이룸 실제 단면·메시 검증](dryroom-profile-validation.md).
 
 상태: r3의 일부 계약 구현. 제품 런타임/정식 schema/전체 자산 변환이 아니다.
-[숫자 타입 계약](v3-operator-contracts.md)의 동일 `compile/evaluate` 실행기를 확장했다.
-기존 무단위 v3-kernel을 따로 호출하거나 좌표를 두 번 계산하지 않는다.
+[숫자 타입 계약](operator-contracts.md)의 동일 `compile/evaluate` 실행기를 확장했다.
+기존 무단위 kernel을 따로 호출하거나 좌표를 두 번 계산하지 않는다.
 
 ## 1. 타입
 
@@ -53,7 +53,7 @@ placement가 만든 world point 사이 거리를 다른 geometry의 길이로
 ## 3. 실행 검증
 
 ```sh
-node --test docs/prototypes/v3-spatial-plan.test.mjs docs/prototypes/v3-typed-plan.test.mjs
+node --test docs/prototypes/spatial-plan.test.mjs docs/prototypes/typed-plan.test.mjs
 ```
 
 통합 공간 검사 7개 + 기존 scalar 검사 9개 통과.

package/docs/status.md

@@ -0,0 +1,12 @@
+# 구현·검증 현황
+
+> 이 파일은 짧은 안내다. 결정은 `operato-application/adr/`(ADR-0087 · ADR-0093 · ADR-0096), 현재 상태는
+> `operato-application/packages/operato-figure/docs/CURRENT_STATUS.md` 가 정본이다.
+
+기준일: 2026-09-27.
+
+- 모델러·AI·저장·렌더러는 한 형식(`figure-asset-1`)을 쓴다. 옛 형식은 2026-09-26 코드와 명세에서 없앴다.
+- 제품 서버 localhost:3300 은 이 형식으로 돈다(figure-model 0.1.92 · things-scene 10.1.60 · tf 10.1.75).
+- 시험: `npm test`(타입 검사 + `src/*.test.ts`). 부품 지우기·복제의 부작용 시험은
+  `src/edit-side-effects.test.ts` — 도형 16 개의 모든 부품을 지우고 복제해 나머지가 그대로인지 본다.
+- 실험 기록: `docs/prototypes/*.test.mjs` 와 날짜가 붙은 `docs/*.md` 는 당시의 기록이다.