@things-factory/figure-service 10.1.205 → 10.1.207

package/recipes/traffic-cones/recipe.json

@@ -81,8 +81,7 @@
             "param": "pitch"
           }
         }
-      },
-      "narrowRange": true
+      }
     },
     {
       "kind": "set-joint",

package/recipes/transfer-belts/recipe.json

@@ -65,8 +65,7 @@
         "of": "part",
         "part": "{target}",
         "axis": "z"
-      },
-      "narrowRange": true
+      }
     },
     {
       "kind": "link-dimension",
@@ -76,8 +75,7 @@
         "of": "part",
         "part": "{target}",
         "axis": "z"
-      },
-      "narrowRange": true
+      }
     },
     {
       "kind": "set-joint",

package/recipes/trough/recipe.json

@@ -42,8 +42,7 @@
         "of": "part",
         "part": "{target}",
         "axis": "x"
-      },
-      "narrowRange": true
+      }
     },
     {
       "kind": "set-joint",

package/recipes/turntable/recipe.json

@@ -66,8 +66,7 @@
       },
       "times": {
         "param": "size"
-      },
-      "narrowRange": true
+      }
     },
     {
       "kind": "set-joint",

package/recipes/workbench-top/recipe.json

@@ -55,8 +55,7 @@
         "of": "part",
         "part": "{target}",
         "axis": "x"
-      },
-      "narrowRange": true
+      }
     },
     {
       "kind": "link-dimension",
@@ -66,8 +65,7 @@
         "of": "part",
         "part": "{target}",
         "axis": "z"
-      },
-      "narrowRange": true
+      }
     },
     {
       "kind": "set-joint",

package/scripts/templates.test.mts

@@ -12,7 +12,7 @@ import assert from 'node:assert/strict'
 import { existsSync, readdirSync, readFileSync } from 'node:fs'
 import { join } from 'node:path'
 
-import { applyFigureProposal, applyFigureRecipe, checkFigureRecipe, compileFigureAsset, compileFigureDocument, inspectFigureAsset, serializeFigureAsset } from '@hatiolab/figure-model'
+import { applyFigureRecipe, checkFigureRecipe, compileFigureAsset, compileFigureDocument, inspectFigureAsset, serializeFigureAsset } from '@hatiolab/figure-model'
 import type { FigureAsset } from '@hatiolab/figure-model'
 
 import { buildTemplate, modelFileOf, RECIPES } from './build-templates.mts'
@@ -50,8 +50,7 @@ for (const name of names) {
     const { models } = await buildTemplate(name)
     for (const { values, asset } of models) {
       const at = JSON.stringify(values)
-      const declared = applyFigureProposal(asset, [{ kind: 'fit-room', placement: 'floor' } as never])
-      assert.deepEqual(inspectFigureAsset(declared).violations, [], `${at}: the release gate`)
+      assert.deepEqual(inspectFigureAsset(asset).violations, [], `${at}: the release gate`)
       for (const k of [0.5, 2]) assert.doesNotThrow(() => compileFigureAsset(withHost(asset, k)).evaluate(), `${at}: host × ${k}`)
       for (const input of asset.document.model.inputs.filter(i => i.role === 'state'))
         for (const v of [input.min!, input.max!]) assert.doesNotThrow(() => compileFigureAsset(asset).evaluate({ [input.id]: v }), `${at}: ${input.id} at ${v}`)

package/server/service/figure/event-subscriber.ts

@@ -12,6 +12,8 @@ import { FigureHistory } from './figure-history.js'
  * 그 전부를 남기면 판본 목록이 「내가 오늘 몇 번 눌렀나」가 된다. 사람이 판이라고 부르는 것은
  * **발행한 것**이므로 그때만 베낀다. board 가 같은 규칙으로 돈다(`board-service` 의 같은 이름 파일).
  *
+ * 발행판의 정본(`__releaseSource`)은 크기 범위를 적은 발행판 사본이다 — Figure 행에는 작성자가 좁힌 끝만 남는다.
+ *
  * 발행 메모는 Figure 의 칸이 아니다. `releaseFigure` 가 저장할 엔티티에 `__releaseComment` 로 얹어
  * 두면 여기서 판본의 `comment` 로 옮긴다 — 메모는 그 판의 것이지 도형의 것이 아니다. 정본 형식
  * (`__releaseFormat`), 잰 커널의 판(`__releaseKernel`, ADR-0109 C1), 직전 판에 견준 변경(`__releaseChanges`), 발행 때 잰 값(`__releaseMetrics`)과
@@ -20,6 +22,8 @@ import { FigureHistory } from './figure-history.js'
 /** What `releaseFigure` laid on the entity for this release, moved onto the history row. */
 function releaseRecordOnto(history: FigureHistory, entity: Figure): FigureHistory {
   const e = entity as any
+  /* What a board reads of this release: its own copy, with the size range written down (ADR-0087 decision 6). */
+  if (e.__releaseSource) history.source = e.__releaseSource
   ;(history as any).comment = e.__releaseComment ?? null
   history.assetFormat = e.__releaseFormat ?? null
   history.kernelVersion = e.__releaseKernel ?? null

package/server/service/figure/figure-blueprint-query.test.ts

@@ -44,6 +44,8 @@ beforeAll(async () => {
   Figure = loadCompiled('service/figure/figure').Figure
   FigureHistory = loadCompiled('service/figure/figure-history').FigureHistory
   FigureQuery = loadCompiled('service/figure/figure-query').FigureQuery
+  /* A released row is saved with its history row, as releasing does: a board reads the release's own copy there (ADR-0087 decision 6). */
+  const Subscriber = loadCompiled('service/figure/event-subscriber').FigureHistoryEntitySubscriber
 
   dataSource = new TypeOrmDataSource({
     type: 'sqlite',
@@ -52,6 +54,7 @@ beforeAll(async () => {
     dropSchema: true,
     namingStrategy: new shell.NamingStrategy(),
     entities: [...shell.entities, ...authBase.entities, Figure, FigureHistory],
+    subscribers: [Subscriber],
     logging: false
   })
 

package/server/service/figure/figure-category-db.test.ts

@@ -8,7 +8,7 @@ const { DataSource: TypeOrmDataSource } = require('typeorm')
 const shell = require('@things-factory/shell')
 const authBase = require('@things-factory/auth-base')
 const settingBase = require('@things-factory/setting-base')
-const { createFigureAsset, addFigureBox, serializeFigureAsset, applyFigureAuthoring, proposeFigureOccupancy } = require('@hatiolab/figure-model')
+const { createFigureAsset, addFigureBox, serializeFigureAsset, applyFigureAuthoring } = require('@hatiolab/figure-model')
 
 let dataSource: DataSource | null = null
 let Figure: any
@@ -60,7 +60,7 @@ afterEach(() => categories.clearFigureCategories())
 const releasable = () => {
   let a = addFigureBox(createFigureAsset('Mixer'), { id: 'body', size: { x: 100, y: 100, z: 100 }, position: { x: 0, y: 50, z: 0 } })
   a = applyFigureAuthoring(a, { kind: 'attach', part: 'body', to: { plane: 'mounting-plane' } })
-  return serializeFigureAsset(applyFigureAuthoring(a, { kind: 'declare-occupancy', proposal: proposeFigureOccupancy(a, { over: 'range' }), placement: 'floor' }))
+  return serializeFigureAsset(applyFigureAuthoring(a, { kind: 'set-placement', placement: 'floor' }))
 }
 let seq = 0
 async function context() {

package/server/service/figure/figure-context.test.ts

@@ -193,10 +193,10 @@ describe('a proposal changes only what it was shown', () => {
   it('a shown part may change, a new part may be fastened to any part, the figure as a whole may change', () => {
     const steps = [
       { kind: 'set-material', target: 'shelf-2', material: { token: 'palette.primary' } },
-      { kind: 'add-part', part: { id: 'lamp', kind: 'sphere', dimensions: { radiusX: 40, radiusY: 40, radiusZ: 40 } } },
+      { kind: 'add-part', part: { id: 'lamp', kind: 'sphere', dimensions: { radius: 40, radiusY: 40 } } },
       { kind: 'attach', part: 'lamp', to: { part: 'shelf-9', face: 'top' } },
       { kind: 'link-dimension', part: 'lamp', axis: 'x', source: { of: 'part', part: 'shelf-7', axis: 'x' }, times: 0.1 },
-      { kind: 'fit-room', placement: 'floor' }
+      { kind: 'set-placement', placement: 'floor' }
     ]
     expect(unreadPartEdits(over, steps as never, shown)).toEqual([])
   })

package/server/service/figure/figure-context.ts

@@ -323,7 +323,6 @@ type Subject = string | undefined
  */
 const SUBJECT: { [K in FigureProposalStep['kind']]: (step: StepOf<K>, base: FigureAsset) => Subject } = {
   'add-part': () => undefined,
-  'fit-room': () => undefined,
   'set-section-corner': step => step.part,
   'set-cavity': step => step.part,
   'set-section': step => step.part,
@@ -350,7 +349,6 @@ const SUBJECT: { [K in FigureProposalStep['kind']]: (step: StepOf<K>, base: Figu
   'duplicate-part': step => step.target,
   'move-part': step => step.target,
   'set-placement': () => undefined,
-  'declare-occupancy': () => undefined,
   'declare-instance-size': () => undefined,
   'clear-mounting-face': () => undefined,
   'scale-uniformly': () => undefined,

package/server/service/figure/figure-deprecation-db.test.ts

@@ -8,7 +8,7 @@ const { DataSource: TypeOrmDataSource } = require('typeorm')
 const shell = require('@things-factory/shell')
 const authBase = require('@things-factory/auth-base')
 const settingBase = require('@things-factory/setting-base')
-const { createFigureAsset, addFigureBox, serializeFigureAsset, applyFigureAuthoring, proposeFigureOccupancy } = require('@hatiolab/figure-model')
+const { createFigureAsset, addFigureBox, serializeFigureAsset, applyFigureAuthoring } = require('@hatiolab/figure-model')
 
 let FigureNamespace: any
 let dataSource: DataSource | null = null
@@ -60,7 +60,7 @@ async function namespaced(domain: any) {
 const releasable = () => {
   let a = addFigureBox(createFigureAsset('Mixer'), { id: 'body', size: { x: 100, y: 100, z: 100 }, position: { x: 0, y: 50, z: 0 } })
   a = applyFigureAuthoring(a, { kind: 'attach', part: 'body', to: { plane: 'mounting-plane' } })
-  return serializeFigureAsset(applyFigureAuthoring(a, { kind: 'declare-occupancy', proposal: proposeFigureOccupancy(a, { over: 'range' }), placement: 'floor' }))
+  return serializeFigureAsset(applyFigureAuthoring(a, { kind: 'set-placement', placement: 'floor' }))
 }
 
 let seq = 0

package/server/service/figure/figure-format.test.ts

@@ -6,22 +6,17 @@
  *   - a source that does not name the format is refused -- what cannot be identified is not stored;
  *   - the budget columns (`triangles`, `groups`) and the score are the kernel's.
  */
-import { createFigureAsset, addFigureBox, addFigurePrimitive, serializeFigureAsset, applyFigureAuthoring, proposeFigureOccupancy, placeholderType, figureScoreOf } from '@hatiolab/figure-model'
+import { createFigureAsset, addFigureBox, addFigurePrimitive, serializeFigureAsset, applyFigureAuthoring, placeholderType, figureScoreOf, inspectFigureAsset } from '@hatiolab/figure-model'
 import type { FigureAsset } from '@hatiolab/figure-model'
 
 import { FigureSourceError, consumablePayloadOf, inspectSource, parseSource, releaseRecordOf } from './figure-format'
 
-/** 온전한 자산 하나: 바닥에 선 상자와, 부품에서 제안받아 확정한 점유 부피. */
+/** 온전한 자산 하나: 바닥에 선 상자. */
 function figureAsset(): FigureAsset {
   let asset = createFigureAsset('Mixer')
   asset = addFigureBox(asset, { id: 'body', size: { x: 100, y: 100, z: 100 }, position: { x: 0, y: 50, z: 0 } })
   asset = applyFigureAuthoring(asset, { kind: 'attach', part: 'body', to: { plane: 'mounting-plane' } })
-  asset = applyFigureAuthoring(asset, {
-    kind: 'declare-occupancy',
-    proposal: proposeFigureOccupancy(asset, { over: 'range' }),
-    placement: 'floor'
-  })
-  return asset
+  return applyFigureAuthoring(asset, { kind: 'set-placement', placement: 'floor' })
 }
 const figureSource = () => serializeFigureAsset(figureAsset())
 
@@ -68,29 +63,13 @@ describe('figure-format — 판을 알아보는 문', () => {
   })
 
   describe('발행 판정', () => {
-    it('제 부피 안에 든 자산은 막지 않는다', () => {
+    it('온전한 자산은 막지 않는다', () => {
       const inspection = inspectSource(figureSource())
       expect(inspection.blocked).toBe(false)
     })
 
-    it('선언한 부피 밖으로 나간 부품은 이름과 함께 막는다', () => {
-      let asset = figureAsset()
-      asset = addFigureBox(asset, { id: 'arm', size: { x: 100, y: 100, z: 100 }, position: { x: 900, y: 50, z: 0 } })
-      const inspection = inspectSource(serializeFigureAsset(asset))
-      expect(inspection.blocked).toBe(true)
-      expect(inspection.findings.some(f => f.code === 'part-outside-occupancy' && f.at === 'arm')).toBe(true)
-    })
-
-    it('부피를 선언하지 않은 자산은 막는다', () => {
-      let asset = createFigureAsset('Bare')
-      asset = addFigureBox(asset, { id: 'body', size: { x: 100, y: 100, z: 100 }, position: { x: 0, y: 50, z: 0 } })
-      const inspection = inspectSource(serializeFigureAsset(asset))
-      expect(inspection.blocked).toBe(true)
-      expect(inspection.findings.some(f => f.code === 'occupancy-undeclared')).toBe(true)
-    })
-
-    it('전 범위를 증명하지 못한 판정은 막지 않고 그 사실을 말한다', () => {
-      /* 상태에 따라 도는 부품은 모서리만으로 증명되지 않는다 — 표본 검사였음을 발행 화면이 읽는다. */
+    it('표본으로 검사한 판정에도 다시 저작하라는 말은 없다', () => {
+      /* 상태에 따라 도는 부품은 표본으로 검사된다. 그 사이에서 넘을 선언된 공간이 없으니 화면이 할 말도 없다(ADR-0145). */
       let asset = figureAsset()
       asset = addFigurePrimitive(asset, { id: 'wheel', kind: 'cylinder', dimensions: { radius: 20, length: 20 }, position: { x: 0, y: 20, z: 0 } })
       const m = asset.document.model as any
@@ -108,19 +87,11 @@ describe('figure-format — 판을 알아보는 문', () => {
       pose.params = { ...pose.params, to: 'wheel.spun' }
       m.nodes.push({ id: 'wheel.world', op: 'compose@1', args: ['wheel.turn.p', pose.outputs.pose], outputs: { pose: 'wheel.wp' } })
       m.nodes.find((n: any) => n.id === 'wheel').args = [m.nodes.find((n: any) => n.id === 'wheel.shape').outputs.shape, 'wheel.wp']
-      asset = applyFigureAuthoring(asset, {
-        kind: 'declare-occupancy',
-        proposal: proposeFigureOccupancy(asset, { over: 'range' }),
-        placement: 'floor'
-      })
 
+      expect(inspectFigureAsset(asset).coverage.method).toBe('sampled')
       const inspection = inspectSource(serializeFigureAsset(asset))
-      const sampled = inspection.findings.find(f => f.code === 'state-range-sampled')
-      expect(sampled).toBeDefined()
-      expect(sampled!.blocking).toBe(false)
-      /* 증명을 막은 움직임은 사람이 붙인 이름으로 — 연산 이름과 영어 설명은 화면에 나가지 않는다. */
-      expect(sampled!.at).toBe('wheel')
-      expect(`${sampled!.at}${sampled!.why}`).not.toMatch(/axis-turn@1|state-dependent|[a-z]+@\d/)
+      expect(inspection.blocked).toBe(false)
+      expect(inspection.findings).toEqual([])
     })
 
     it('정본이 없으면 전과 같이 그 말로 막는다', () => {
@@ -130,7 +101,7 @@ describe('figure-format — 판을 알아보는 문', () => {
     it('바뀐 것 없는 재발행은 아무 말도 없이 지난다', () => {
       const again = inspectSource(figureSource(), figureSource())
       expect(again.blocked).toBe(false)
-      expect(again.findings.filter(f => f.code !== 'state-range-sampled')).toEqual([])
+      expect(again.findings).toEqual([])
     })
 
     it('놓인 인스턴스가 기대던 것을 없앤 재발행은 막는다 — 없어진 능력을 이름으로 댄다', () => {
@@ -163,28 +134,6 @@ describe('figure-format — 판을 알아보는 문', () => {
         return text.replace(/\{(\w+)\}/g, (_, name) => String(options[name] ?? `{${name}}`))
       }
 
-    const outside = () => {
-      let asset = figureAsset()
-      asset = addFigureBox(asset, { id: 'arm', size: { x: 100, y: 100, z: 100 }, position: { x: 900, y: 50, z: 0 } })
-      return serializeFigureAsset(asset)
-    }
-    const bare = () => {
-      let asset = createFigureAsset('Bare')
-      asset = addFigureBox(asset, { id: 'body', size: { x: 100, y: 100, z: 100 }, position: { x: 0, y: 50, z: 0 } })
-      return serializeFigureAsset(asset)
-    }
-
-    it('넘은 부품은 이름 · 축 · 넘은 양을 화면 말투로 말하고, 왜와 어떻게를 함께 낸다', () => {
-      const finding = inspectSource(outside(), null, translatorOf(KO)).findings.find(f => f.code === 'part-outside-occupancy')!
-
-      expect(finding.message).toMatch(/^도형이 차지하는 공간을 'arm' 부품이 X 로 [\d.]+mm 넘습니다\.$/)
-      expect(finding.why).toMatch(/니다\.$/)
-      expect(finding.how).toContain('부품에 맞추기')
-      expect(finding.how).toMatch(/세요\.$/)
-      /* 영어 로그 문장이 화면으로 새지 않는다. */
-      expect(`${finding.message}${finding.why}${finding.how}`).not.toMatch(/declared volume|leaves/)
-    })
-
     it('확장 속성의 키가 없어지면 발행을 막고 키 이름으로 말한다; 값이 바뀌면 알리기만 한다 (ADR-0123)', () => {
       const carrier = { type: 'ROLL', dimensions: { width: 1000, length: 600, height: 200 } }
       const withKey = applyFigureAuthoring(figureAsset(), { kind: 'set-extension', key: 'fmsim/carrier', value: carrier })
@@ -203,26 +152,9 @@ describe('figure-format — 판을 알아보는 문', () => {
     })
 
     /* 첫 15분 다시 재기(10-16 저녁): 판정 문구만 옛 말 「공간 선언」을 썼다. 화면 말은 ADR-0097 §9 Q2 A 의 표다. */
-    it('판정 문구는 화면 말을 쓴다 — 「차지하는 공간」, 「공간 선언」은 쓰지 않는다', () => {
+    it('판정 문구는 화면 말을 쓴다 — 「공간 선언」은 쓰지 않는다', () => {
       const said = Object.entries(KO).filter(([key]) => key.startsWith('figure.gate.'))
       expect(said.filter(([, text]) => /공간 선언|공간을[^.]*선언/.test(text)).map(([key]) => key)).toEqual([])
-      const finding = inspectSource(outside(), null, translatorOf(KO)).findings.find(f => f.code === 'part-outside-occupancy')!
-      expect(`${finding.message}${finding.why}${finding.how}`).toContain('차지하는 공간')
-    })
-
-    it('차지하는 공간을 정하지 않은 도형은 무엇을 누르면 되는지 말한다', () => {
-      const finding = inspectSource(bare(), null, translatorOf(KO)).findings.find(f => f.code === 'occupancy-undeclared')!
-
-      expect(finding.message).toBe('이 도형은 차지하는 공간을 아직 정하지 않았습니다.')
-      expect(finding.how).toContain('부품에 맞추기')
-    })
-
-    it('부품이 없는 새 도형에는 도형을 먼저 추가하라고 한다 — 화면은 그때 맞추기 단추를 내지 않는다', () => {
-      const empty = serializeFigureAsset(createFigureAsset('Empty'))
-      const finding = inspectSource(empty, null, translatorOf(KO)).findings.find(f => f.code === 'occupancy-undeclared')!
-
-      expect(finding.how).toBe('먼저 도형을 추가한 뒤, 「부품에 맞추기」로 차지하는 공간을 정하세요.')
-      expect(inspectSource(empty).findings.find(f => f.code === 'occupancy-undeclared')!.how).toMatch(/^Add a shape first/)
     })
 
     /*
@@ -295,9 +227,9 @@ describe('figure-format — 판을 알아보는 문', () => {
     })
 
     it('번역이 없으면 영어로 답한다 — 키를 찍지 않는다', () => {
-      const finding = inspectSource(outside()).findings.find(f => f.code === 'part-outside-occupancy')!
+      const finding = inspectSource(splitting()).findings.find(f => f.code === 'parts-split-on-resize')!
 
-      expect(finding.message).toMatch(/^'arm' goes [\d.]+ mm past the space the figure takes on X\.$/)
+      expect(finding.message).toBe("At 2x on Y, 'lamp' come away from the rest of the figure.")
       expect(finding.message).not.toContain('figure.gate.')
     })
 
@@ -321,8 +253,9 @@ describe('figure-format — 판을 알아보는 문', () => {
     it('판정이 묻는 키는 ko · en 에 다 있다', () => {
       const asked: string[] = []
       const t = translatorOf(KO, asked)
-      inspectSource(outside(), null, t)
-      inspectSource(bare(), null, t)
+      inspectSource(splitting(), null, t)
+      const raised = addFigureBox(createFigureAsset('Raised'), { id: 'body', size: { x: 100, y: 100, z: 100 }, position: { x: 0, y: 150, z: 0 } })
+      inspectSource(serializeFigureAsset(applyFigureAuthoring(raised, { kind: 'set-mounting-face', part: 'body', face: 'bottom' })), null, t)
       inspectSource(figureSource(), figureSource(), t)
       inspectSource(figureSource(), null, t, 'FIGURE_ABCDEF12')
 
@@ -352,22 +285,23 @@ describe('figure-format — 판을 알아보는 문', () => {
       let asset = createFigureAsset('Mixer')
       asset = addFigureBox(asset, { id: 'body', size: { x: 300, y: 100, z: 100 }, position: { x: 0, y: 50, z: 0 } })
       asset = applyFigureAuthoring(asset, { kind: 'attach', part: 'body', to: { plane: 'mounting-plane' } })
-      return serializeFigureAsset(applyFigureAuthoring(asset, { kind: 'declare-occupancy', proposal: proposeFigureOccupancy(asset, { over: 'range' }), placement: 'floor' }))
+      return serializeFigureAsset(applyFigureAuthoring(asset, { kind: 'set-placement', placement: 'floor' }))
     }
     it('a first release: its format, and nothing changed', () => {
       const record = releaseRecordOf(serializeFigureAsset(figureAsset()))
       expect([record.format, record.changes]).toEqual(['figure-asset-1', []])
-      /* Not sized from the instance: nothing measured across sizes, only where its origin is. Its plan is its one body from above. */
-      expect(record.metrics).toEqual({ origin: { centred: true, off: [] } })
+      /* Not sized from the instance: nothing measured across sizes, only its body and the room it sweeps. Its plan is its one body from above. */
+      const box = { x: { min: -50, max: 50 }, y: { min: 0, max: 100 }, z: { min: -50, max: 50 } }
+      expect(record.metrics).toEqual({ body: box, motionRange: box })
       expect(record.topView.shapes.map(s => s.id)).toEqual(['body'])
       expect(record.topView.size).toBeNull()
     })
-    it('the same again changes nothing; a wider room is said and does not block', () => {
+    it('the same again changes nothing; a wider body is said and does not block', () => {
       const v1 = serializeFigureAsset(figureAsset())
       expect(releaseRecordOf(v1, v1).changes).toEqual([])
-      const room = releaseRecordOf(wider(), v1).changes!.find(c => c.code === 'occupancy-changed')!
-      expect(room.blocking).toBe(false)
-      expect(String(room.values.after)).toMatch(/x -150…150/)
+      const size = releaseRecordOf(wider(), v1).changes!.find(c => c.code === 'size-changed')!
+      expect(size.blocking).toBe(false)
+      expect(String(size.values.after)).toMatch(/x -150…150/)
     })
     it('a last release that cannot be read is "not compared" (null), never "nothing changed" ([])', () => {
       expect(releaseRecordOf(serializeFigureAsset(figureAsset()), '{ not json').changes).toBeNull()
@@ -375,7 +309,7 @@ describe('figure-format — 판을 알아보는 문', () => {
     it('every new change has its sentence in both languages', () => {
       const KO = require('../../../translations/ko.json') as Record<string, string>
       const EN = require('../../../translations/en.json') as Record<string, string>
-      for (const code of ['occupancy-changed', 'contact-face-changed', 'public-input-gone', 'public-input-range-narrowed', 'public-input-added', 'state-input-joints-changed', 'joint-axis-changed', 'joint-motion-unit-changed', 'joint-child-changed', 'joint-list-unread', 'extension-gone', 'extension-changed', 'extension-added'])
+      for (const code of ['size-changed', 'motion-range-changed', 'contact-face-changed', 'public-input-gone', 'public-input-range-narrowed', 'public-input-added', 'state-input-joints-changed', 'joint-axis-changed', 'joint-motion-unit-changed', 'joint-child-changed', 'joint-list-unread', 'extension-gone', 'extension-changed', 'extension-added'])
         for (const dict of [KO, EN]) for (const field of ['message', 'why']) expect(dict[`figure.gate.contract.${code}.${field}`]).toBeTruthy()
     })
     it('the data changes have their sentences under figure-model 0.6.6\'s codes, in all six languages', () => {
@@ -417,7 +351,6 @@ describe('figure-format — 판을 알아보는 문', () => {
     })
     it('a figure that names its mounting face is checked on that face, not told twice', () => {
       let a = conveyor(100)
-      a = applyFigureAuthoring(a, { kind: 'declare-occupancy', proposal: proposeFigureOccupancy(a) })
       a = applyFigureAuthoring(a, { kind: 'set-mounting-face', part: 'leg', face: 'bottom' })
       const found = inspectSource(serializeFigureAsset(a), null, undefined, 'CONVEYOR').findings
       expect(found.map(f => f.code)).not.toContain('off-mounting-plane')
@@ -431,17 +364,4 @@ describe('figure-format — 판을 알아보는 문', () => {
       }
     })
   })
-
-  /* ADR-0104 decision 4: off the middle of its room is said at release, never refused. */
-  it('an origin off the middle of the room is a warning, and the release goes on', () => {
-    let asset = createFigureAsset('Door')
-    asset = addFigureBox(asset, { id: 'leaf', size: { x: 100, y: 200, z: 40 }, position: { x: 50, y: 100, z: 0 } })
-    asset = applyFigureAuthoring(asset, { kind: 'declare-occupancy', proposal: proposeFigureOccupancy(asset), placement: 'floor' })
-    const result = inspectSource(serializeFigureAsset(asset), null, undefined, 'DOOR')
-    const off = result.findings.find(f => f.code === 'origin-off-centre')!
-    expect(off.blocking).toBe(false)
-    expect(off.message).toMatch(/X 50 mm/)
-    expect(result.findings.filter(f => f.blocking).map(f => f.code)).not.toContain('origin-off-centre')
-    expect(inspectSource(serializeFigureAsset(figureAsset()), null, undefined, 'MIXER').findings.map(f => f.code)).not.toContain('origin-off-centre')
-  })
 })

package/server/service/figure/figure-format.ts

@@ -1,9 +1,10 @@
 /*
- * The doors a stored source goes through: saving (`parseSource`), publishing (`inspectSource`) and handing it to a
- * board (`consumablePayloadOf`). The format is `figure-asset-1`, and the asset says so in its `version`; a source
+ * The doors a stored source goes through: saving (`parseSource`), publishing (`inspectSource`, and the release's own
+ * copy in `releaseRecordOf`), bringing a release back as a draft (`draftSourceOfRelease`) and handing it to a board
+ * (`consumablePayloadOf`). The format is `figure-asset-1`, and the asset says so in its `version`; a source
  * that does not is refused by name, because a source the server cannot identify is one it must not save.
  */
-import { FIGURE_KERNEL_VERSION, compileFigureAsset, inspectFigureAsset, isPlaceholderType, parseFigureAsset, serializeFigureAsset, figureContractChanges, figureCostOf, figureOriginCentredOf, figurePlaneGapOf, figureReleaseMetricsOf, figureScoreOf, figureTopViewOf } from '@hatiolab/figure-model'
+import { FIGURE_KERNEL_VERSION, compileFigureAsset, inspectFigureAsset, isPlaceholderType, parseFigureAsset, serializeFigureAsset, figureContractChanges, figureCostOf, figurePlaneGapOf, figureReleaseMetricsOf, figureScoreOf, figureTopViewOf, forgetRecordedInstanceSize, recordFigureInstanceSize } from '@hatiolab/figure-model'
 import type { FigureAsset, FigureContractChange, FigureContractError, FigureReleaseMetrics, FigureTopView, FigureViolation } from '@hatiolab/figure-model'
 
 import type { FigureFinding } from './figure-type.js'
@@ -61,8 +62,8 @@ export interface FigureReleaseCheckInput {
 
 /**
  * A check an app adds to releasing (LV figure-server design G10): findings in the gate's own shape, blocking or said.
- * The LV figure-server refuses an origin off the middle of the room, which operato-figure only says (ADR-0104
- * decision 4: refusing is the receiving side's), and says its carrier and budget advice.
+ * The LV figure-server refuses an origin off the middle of the floor, a receiving side's check (ADR-0104 decision 4),
+ * and says its carrier and budget advice.
  */
 export type FigureReleaseCheck = (input: FigureReleaseCheckInput) => GateFinding[]
 
@@ -161,7 +162,7 @@ export type Translate = (key: string, options?: Record<string, unknown>) => stri
  * The words are the modeller's (ADR-0097 §9 Q2 A): 「차지하는 공간」 for the volume a figure takes up, 「부품에 맞추기」 for
  * setting it from the parts, and 「장착면」 for the face it stands on (`figure.text.mounting-face-explained`). A fact, then the way out.
  */
-function figureWording(violation: FigureViolation, say: Say, hasParts: boolean): Pick<GateFinding, 'message' | 'why' | 'how'> {
+function figureWording(violation: FigureViolation, say: Say): Pick<GateFinding, 'message' | 'why' | 'how'> {
   const part = violation.part ?? ''
   const axis = (violation.axis ?? '').toUpperCase()
   const mm = violation.mm ?? 0
@@ -169,31 +170,6 @@ function figureWording(violation: FigureViolation, say: Say, hasParts: boolean):
   const key = (field: string) => `figure.gate.${violation.code.toLowerCase().replace(/_/g, '-')}.${field}`
 
   switch (violation.code) {
-    case 'PART_OUTSIDE_OCCUPANCY':
-      return {
-        message: say(key('message'), { part, axis, mm }, `'${part}' goes ${mm} mm past the space the figure takes on ${axis}.`),
-        why: say(key('why'), {}, 'The space the figure takes sets the scale it is placed at. What lies past it is left out of that scale, so on a board this part lands outside the place given to the figure.'),
-        how: say(key('how'), { part, axis, mm }, `Use "fit to parts" to fit the space the figure takes to the parts again, or move '${part}' ${mm} mm inward on ${axis}.`)
-      }
-    case 'OCCUPANCY_UNDECLARED':
-      return violation.axis
-        ? {
-            message: say(`figure.gate.occupancy-empty-axis.message`, { axis }, `The space the figure takes is empty on ${axis}.`),
-            why: say(key('why'), {}, 'The space a figure takes sets the scale it is placed at on a board.'),
-            how: say(key('how'), {}, 'Use "fit to parts" to set the space the figure takes from the parts as they are now.')
-          }
-        : {
-            message: say(key('message'), {}, 'The space this figure takes is not set yet.'),
-            why: say(key('why'), {}, 'The space a figure takes sets the scale it is placed at on a board.'),
-            /*
-              A new figure is refused this way before it has a part, and 「fit to parts」 has nothing to measure then —
-              the screen does not offer it. Telling the author to press it sent them looking for a button that was not
-              there (:3300, 2026-09-24).
-            */
-            how: hasParts
-              ? say(key('how'), {}, 'Use "fit to parts" to set the space the figure takes from the parts as they are now.')
-              : say(key('how-no-parts'), {}, 'Add a shape first, then use "fit to parts" to set the space the figure takes from it.')
-          }
     case 'PARTS_OFF_PLACEMENT_FACE':
       return {
         message: say(key('message'), { part, mm }, `The mounting face of '${part}' is ${mm} mm off the plane the figure stands on.`),
@@ -269,12 +245,9 @@ export function inspectSource(
 
   let inspection
   let asset: FigureAsset | undefined
-  let hasParts = true
   try {
     asset = parseFigureAsset(sourceJson)
     inspection = inspectFigureAsset(asset)
-    const cost = figureCostOf(asset)
-    hasParts = cost.groups + cost.hidden > 0
   } catch (e) {
     const error = e as FigureContractError & { path?: string }
     return {
@@ -286,7 +259,7 @@ export function inspectSource(
   const say = sayerOf(t)
   const findings: GateFinding[] = inspection.violations.map(violation => ({
     code: violation.code.toLowerCase().replace(/_/g, '-'),
-    ...figureWording(violation, say, hasParts),
+    ...figureWording(violation, say),
     at: violation.part,
     blocking: true
   }))
@@ -304,38 +277,6 @@ export function inspectSource(
       blocking: true
     })
   }
-  if (inspection.coverage.method === 'sampled') {
-    const states = inspection.coverage.states
-    findings.push({
-      code: 'state-range-sampled',
-      /* Sizes as well as motion: the instance size range is swept for every figure (figure-model, designer 2026-09-27). */
-      message: say('figure.gate.state-range-sampled.message', { states }, `The whole range of sizes and motion could not be proven, so ${states} combinations of size and pose were checked.`),
-      why: say('figure.gate.state-range-sampled.why', {}, 'Between the combinations that were checked, a part may still go past the space the figure takes.'),
-      how: say('figure.gate.state-range-sampled.how', {}, 'To cover the whole range, re-author what could not be proven.'),
-      /*
-        Which motions stopped the proof, by the name a person gave them: the kernel reports each operation it could
-        not prove (`j2-shoulder.chain: compose@1 turns …`), and the screen showed that English list as it was. The
-        name before the first dot is the joint or part; the operations stay in the logs.
-      */
-      at: [...new Set((inspection.coverage.unprovable ?? []).map(entry => entry.split(':')[0]!.split('.')[0]!.trim()).filter(Boolean))].join(' · ') || undefined,
-      blocking: false
-    })
-  }
-  /*
-    Said, never refused (ADR-0104 decision 4): the origin is where the figure is fastened, and a door fastened at its
-    hinge is a right model. A drawing that places figures by the middle of their room reads this before it pins one.
-  */
-  const origin = figureOriginCentredOf(asset!)
-  if (origin && !origin.centred) {
-    const off = origin.off.map(o => `${o.axis.toUpperCase()} ${o.mm} mm`).join(', ')
-    findings.push({
-      code: 'origin-off-centre',
-      message: say('figure.gate.origin-off-centre.message', { off }, `The origin is off the middle of the declared room: ${off}.`),
-      why: say('figure.gate.origin-off-centre.why', {}, 'A drawing that places figures by the middle of their room puts this one that far from where it is drawn.'),
-      how: say('figure.gate.origin-off-centre.how', {}, 'Keep it when the figure is fastened there, as a door at its hinge. Move the origin to the middle to place it by its room.'),
-      blocking: false
-    })
-  }
   findings.push(...planeGapFindings(asset!, say))
   if (releasedJson) findings.push(...figureContractFindings(asset!, releasedJson, say))
   findings.push(...appFindings({ asset: asset!, type: rowType, category: rowCategory, t }))
@@ -373,7 +314,7 @@ const PLANE_ENGLISH = {
   }
 } as const
 function planeGapFindings(asset: FigureAsset, say: Say): GateFinding[] {
-  if (asset.occupancy?.contact) return []
+  if (asset.mountingFace) return []
   const gap = figurePlaneGapOf(asset)
   if (!gap || gap.touches) return []
   const english = PLANE_ENGLISH[gap.placement]
@@ -549,10 +490,15 @@ function figureContractWording(change: FigureContractChange, say: Say): Pick<Gat
         why: say(key('why'), {}, 'It adds what the figure can do. Placed instances stand as they are.')
       }
     /* Said, never refused (ADR-0104): a consumer that pins a release reads these before it moves to this one. */
-    case 'occupancy-changed':
+    case 'size-changed':
+      return {
+        message: say(key('message'), v, `The figure's size changed from ${v.before || 'none'} to ${v.after || 'none'}.`),
+        why: say(key('why'), {}, 'A board gives the figure a box of this size. One that moves to this release sees its box change.')
+      }
+    case 'motion-range-changed':
       return {
-        message: say(key('message'), v, `The room the figure takes changed from ${v.before || 'none'} to ${v.after || 'none'}.`),
-        why: say(key('why'), {}, 'A consumer places the figure by this room. One that moves to this release sees it take the new room.')
+        message: say(key('message'), v, `The room the figure sweeps as it moves changed from ${v.before || 'none'} to ${v.after || 'none'}.`),
+        why: say(key('why'), {}, 'It is what the figure reaches when it moves. One that moves to this release sees it reach differently.')
       }
     case 'contact-face-changed':
       return {
@@ -711,9 +657,20 @@ function figureContractWording(change: FigureContractChange, say: Say): Pick<Gat
 export function releaseRecordOf(
   sourceJson: string,
   releasedJson?: string | null
-): { format: string; kernel: string; changes: FigureContractChange[] | null; metrics: FigureReleaseMetrics; topView: FigureTopView } {
+): { source: string; format: string; kernel: string; changes: FigureContractChange[] | null; metrics: FigureReleaseMetrics; topView: FigureTopView } {
   const asset = parseFigureAsset(sourceJson)
-  const measured = { format: asset.version, kernel: FIGURE_KERNEL_VERSION, metrics: figureReleaseMetricsOf(asset), topView: figureTopViewOf(asset, null) }
+  /*
+    The release's own copy carries its size range as it is now: the author's ends, and the rest as far as the parts
+    allow (ADR-0087 decision 6). A board reads the ends from it and does not measure; the figure's row keeps only what
+    the author narrowed.
+  */
+  const measured = {
+    source: serializeFigureAsset(recordFigureInstanceSize(asset)),
+    format: asset.version,
+    kernel: FIGURE_KERNEL_VERSION,
+    metrics: figureReleaseMetricsOf(asset),
+    topView: figureTopViewOf(asset, null)
+  }
   if (!releasedJson) return { ...measured, changes: [] }
   let before: FigureAsset
   try {
@@ -724,6 +681,16 @@ export function releaseRecordOf(
   return { ...measured, changes: figureContractChanges(before, asset) }
 }
 
+/**
+ * A release's source made a draft's again (a revert): the size ends its release wrote down, as far as the parts allow,
+ * are opened, and the author's own are kept (ADR-0087 decision 6). An author's end that equals the computed one is
+ * opened with them.
+ */
+export function draftSourceOfRelease(releasedJson: string): string {
+  assertFormat(releasedJson)
+  return serializeFigureAsset(forgetRecordedInstanceSize(parseFigureAsset(releasedJson)))
+}
+
 /**
  * What a consumer is handed for a released figure: the asset itself, because what draws it -- `registerFigure` in
  * things-scene -- takes the asset and compiles it with the kernel.