@things-factory/figure-service 10.1.66 → 10.1.67

package/dist-server/service/figure/figure-gate.js

@@ -1,302 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.inspectSource = inspectSource;
-const figure_model_1 = require("@hatiolab/figure-model");
-/**
- * Figure model publishes the same capability for direct model consumers. Keep the service calculation
- * here as well because this package is deployed independently and receives a compiled local model package.
- * Each alternative is remeasured; prose from `how` is never parsed into an edit.
- */
-function measuredFixes(source, factor) {
-    const baseline = (0, figure_model_1.sizingReport)((0, figure_model_1.compile)(source), factor);
-    const baselineCount = baseline.findings.filter(finding => finding.code === 'sizing-splits').length;
-    const seen = new Set();
-    const fixes = [];
-    for (const finding of baseline.findings) {
-        if (finding.code !== 'sizing-splits' || !finding.way)
-            continue;
-        const axes = finding.way.split('-').filter((axis) => ['x', 'y', 'z'].includes(axis));
-        const names = new Set(finding.clumps.flat());
-        for (const part of source.parts) {
-            if (!names.has(part.name))
-                continue;
-            for (const axis of axes) {
-                for (const to of ['min', 'center', 'max', 'span']) {
-                    if (part.anchor?.[axis] === to)
-                        continue;
-                    const changed = {
-                        ...source,
-                        parts: source.parts.map(one => one.name === part.name ? { ...one, anchor: { ...(one.anchor ?? {}), [axis]: to } } : one)
-                    };
-                    const afterCount = (0, figure_model_1.sizingReport)((0, figure_model_1.compile)(changed), factor).findings.filter(one => one.code === 'sizing-splits').length;
-                    const resolved = baselineCount - afterCount;
-                    const key = `${finding.way}:${part.name}:${axis}:${to}`;
-                    if (resolved <= 0 || seen.has(key))
-                        continue;
-                    seen.add(key);
-                    fixes.push({
-                        findingWay: finding.way,
-                        part: part.name,
-                        axis,
-                        from: part.anchor?.[axis],
-                        to,
-                        resolved,
-                        /* 한 finding만 없앤 것이 아니라 전수 검사에서 막는 split이 0일 때만 원클릭 후보가 된다. */
-                        safe: afterCount === 0
-                    });
-                }
-            }
-        }
-    }
-    return fixes.sort((a, b) => b.resolved - a.resolved || a.part.localeCompare(b.part)).slice(0, 12);
-}
-function sourceWithFix(source, fix) {
-    return {
-        ...source,
-        parts: source.parts.map(part => part.name === fix.part
-            ? { ...part, anchor: { ...(part.anchor ?? {}), [fix.axis]: fix.to } }
-            : part)
-    };
-}
-function splitCount(source, factor) {
-    return (0, figure_model_1.sizingReport)((0, figure_model_1.compile)(source), factor).findings.filter(finding => finding.code === 'sizing-splits').length;
-}
-/**
- * Find a small coordinated repair by repeatedly choosing the measured anchor edit that removes
- * the most remaining splits. Every step is evaluated against the real compiler; prose is never
- * interpreted. If the complete suite is not clear, no "recommended" button is exposed.
- */
-function measuredFixPlan(source, factor) {
-    const originalCount = splitCount(source, factor);
-    if (originalCount === 0)
-        return undefined;
-    let working = source;
-    let remaining = originalCount;
-    const used = new Set();
-    const fixes = [];
-    for (let step = 0; step < source.parts.length * 3 && remaining > 0; step++) {
-        const report = (0, figure_model_1.sizingReport)((0, figure_model_1.compile)(working), factor);
-        let best;
-        for (const finding of report.findings) {
-            if (finding.code !== 'sizing-splits' || !finding.way)
-                continue;
-            const axes = finding.way.split('-').filter((axis) => ['x', 'y', 'z'].includes(axis));
-            const names = new Set(finding.clumps.flat());
-            for (const part of working.parts) {
-                if (!names.has(part.name))
-                    continue;
-                for (const axis of axes) {
-                    const key = `${part.name}:${axis}`;
-                    if (used.has(key))
-                        continue;
-                    for (const to of ['min', 'center', 'max', 'span']) {
-                        if (part.anchor?.[axis] === to)
-                            continue;
-                        const afterCount = splitCount(sourceWithFix(working, { part: part.name, axis, to }), factor);
-                        const resolved = remaining - afterCount;
-                        if (resolved <= 0)
-                            continue;
-                        const candidate = {
-                            findingWay: finding.way,
-                            part: part.name,
-                            axis,
-                            from: source.parts.find(one => one.name === part.name)?.anchor?.[axis],
-                            to,
-                            resolved,
-                            safe: false
-                        };
-                        if (!best || candidate.resolved > best.resolved ||
-                            (candidate.resolved === best.resolved && `${candidate.part}:${candidate.axis}:${candidate.to}` < `${best.part}:${best.axis}:${best.to}`)) {
-                            best = candidate;
-                        }
-                    }
-                }
-            }
-        }
-        if (!best)
-            break;
-        fixes.push(best);
-        used.add(`${best.part}:${best.axis}`);
-        working = sourceWithFix(working, best);
-        remaining = splitCount(working, factor);
-    }
-    if (remaining === 0 && fixes.length > 0) {
-        return { fixes: fixes.map(fix => ({ ...fix, safe: true })), resolved: originalCount, safe: true };
-    }
-    /*
-     * Some assemblies need two anchors to move together. Neither first move removes a whole split,
-     * so greedy improvement alone cannot see the repair. Search a small, deterministic beam of those
-     * coordinated moves, and still return only a plan that the compiler proves clear.
-     */
-    const firstReport = (0, figure_model_1.sizingReport)((0, figure_model_1.compile)(source), factor);
-    const candidates = new Map();
-    for (const finding of firstReport.findings) {
-        if (finding.code !== 'sizing-splits' || !finding.way)
-            continue;
-        const axes = finding.way.split('-').filter((axis) => ['x', 'y', 'z'].includes(axis));
-        const names = new Set(finding.clumps.flat());
-        for (const part of source.parts) {
-            if (!names.has(part.name))
-                continue;
-            for (const axis of axes)
-                candidates.set(`${part.name}:${axis}`, { part: part.name, axis });
-        }
-    }
-    let frontier = [{ source, fixes: [], used: new Set(), remaining: originalCount }];
-    const visited = new Set();
-    for (let depth = 0; depth < 8 && frontier.length; depth++) {
-        const next = [];
-        for (const state of frontier) {
-            for (const [key, target] of candidates) {
-                if (state.used.has(key))
-                    continue;
-                const current = state.source.parts.find(part => part.name === target.part);
-                if (!current)
-                    continue;
-                for (const to of ['min', 'center', 'max', 'span']) {
-                    if (current.anchor?.[target.axis] === to)
-                        continue;
-                    const changed = sourceWithFix(state.source, { ...target, to });
-                    const signature = JSON.stringify(changed.parts.map(part => [part.name, part.anchor]));
-                    if (visited.has(signature))
-                        continue;
-                    visited.add(signature);
-                    const after = splitCount(changed, factor);
-                    const fix = {
-                        findingWay: 'coordinated', part: target.part, axis: target.axis,
-                        from: source.parts.find(part => part.name === target.part)?.anchor?.[target.axis], to,
-                        resolved: state.remaining - after, safe: false
-                    };
-                    const fixes = [...state.fixes, fix];
-                    if (after === 0)
-                        return { fixes: fixes.map(one => ({ ...one, safe: true })), resolved: originalCount, safe: true };
-                    next.push({ source: changed, fixes, used: new Set([...state.used, key]), remaining: after });
-                }
-            }
-        }
-        /* Keep enough alternatives to discover a paired repair without making release inspection expensive. */
-        frontier = next.sort((a, b) => a.remaining - b.remaining || a.fixes.length - b.fixes.length ||
-            JSON.stringify(a.fixes).localeCompare(JSON.stringify(b.fixes))).slice(0, 24);
-    }
-    return undefined;
-}
-/**
- * 정본 하나를 판정한다.
- *
- * 정본이 없거나(아직 저장 전) JSON 이 아니면 **막는다** — 발행할 대상이 없는 것이다. 그 경우를
- * 조용히 통과시키면 빈 것이 발행된다.
- *
- * `releasedJson` 은 **직전 발행판의 정본**이다. 주면 그것과 견주어 「이미 놓인 인스턴스를 깨는
- * 발행인가」를 함께 낸다(ADR-0063 결정 3). 한 번도 발행된 적 없으면 견줄 것이 없으므로 안 준다.
- */
-function inspectSource(sourceJson, releasedJson) {
-    if (!sourceJson) {
-        return {
-            blocked: true,
-            findings: [
-                {
-                    code: 'no-source',
-                    message: '저장된 정본이 없다. 저장하면 발행할 수 있다',
-                    blocking: true
-                }
-            ]
-        };
-    }
-    let parsed;
-    try {
-        parsed = JSON.parse(sourceJson);
-    }
-    catch (e) {
-        return {
-            blocked: true,
-            findings: [{ code: 'source-not-json', message: `정본이 JSON 이 아니다: ${e.message}`, blocking: true }]
-        };
-    }
-    const result = (0, figure_model_1.validate)(parsed);
-    const findings = [];
-    /*
-      형식 오류는 **저장을 통과할 수 없다**(`parseSource` 가 거절한다). 그래도 여기서 다시 보는 이유는,
-      이 판정이 저장 경로와 독립이어야 하기 때문이다 — 옛 정본이 남아 있거나 형식이 엄해진 뒤라면
-      저장 때는 맞았던 것이 지금은 틀릴 수 있다. 그때 발행이 통과하면 안 된다.
-    */
-    for (const error of result.errors) {
-        findings.push({ code: error.code, message: error.message, at: error.path, blocking: true });
-    }
-    for (const violation of result.violations) {
-        findings.push({
-            code: violation.code,
-            message: violation.message,
-            /*
-              왜·어떻게는 형식이 만든 것을 그대로 옮긴다. 여기서 서버가 다시 쓰면 두 벌이 되고 곧 어긋난다 —
-              크기 반응 판정이 이미 그 규율이다(아래 `report.findings`).
-      
-              이 두 줄이 없던 동안 발행 화면은 막는 위반에 문장 하나만 보여 줬다. 표본 47 개를 게이트에 넣어
-              보니 막는 판정 99 건 중 왜·어떻게를 가진 것이 2 건이었고, 나머지 97 건은 저작자가 상자를 키울지
-              부품을 옮길지 알 길이 없었다(2026-09-19, figure-model 0.1.29 가 그 값을 싣기 시작했다).
-            */
-            why: violation.why,
-            how: violation.how,
-            /* 어느 위반이 막나는 형식이 안다 — 여기 목록을 또 들면 둘이 갈린다(ADR-0044 결정 ②). */
-            blocking: (0, figure_model_1.blocksRelease)(violation.code)
-        });
-    }
-    if (result.errors.length === 0) {
-        const source = parsed;
-        const report = (0, figure_model_1.sizingReport)((0, figure_model_1.compile)(source));
-        const fixes = measuredFixes(source, report.factor);
-        const fixPlan = measuredFixPlan(source, report.factor);
-        for (const finding of report.findings) {
-            findings.push({
-                code: finding.code,
-                message: finding.message,
-                /* 왜·어떻게는 형식이 소유한다. 서버가 다시 쓰면 두 벌이 되고 곧 어긋난다. */
-                why: finding.why,
-                how: finding.how,
-                /* 숫자가 아니라 자리를 말한다 — 어느 부품들이 갈라져 나왔나. */
-                at: finding.clumps.map(clump => [...clump].sort().join('+')).join(' | ') || undefined,
-                fixes: finding.code === 'sizing-splits' ? fixes.filter(fix => fix.findingWay === finding.way) : undefined,
-                /* A plan is attached once: it clears the full suite, not merely this card's symptom. */
-                fixPlan: finding.code === 'sizing-splits' && finding === report.findings.find(one => one.code === 'sizing-splits') ? fixPlan : undefined,
-                blocking: finding.code === 'sizing-splits'
-            });
-        }
-        findings.push(...contractFindings(source, releasedJson));
-    }
-    return { findings, blocked: findings.some(finding => finding.blocking) };
-}
-/**
- * 직전 발행판과 견준 것 — **약속을 깨는 발행인가**(ADR-0063 결정 3).
- *
- * 무엇이 달라졌고 그것이 막는 것인지는 형식이 정한다(`contractChanges`). 여기서는 화면과 발행 문이
- * 읽는 모양으로 옮기기만 한다.
- *
- * **앞 판을 오늘 형식으로 못 읽으면 조용히 넘어가지 않는다.** 판 1 은 오늘 형식이 거절하는 판으로
- * 적혀 있을 수 있고, 그때 견주기를 건너뛰면 아무 말 없이 관문이 없는 것이 된다. 막지는 않는다 —
- * 그러면 그 도형은 영영 다시 발행할 수 없다.
- */
-function contractFindings(source, releasedJson) {
-    if (!releasedJson)
-        return [];
-    let released;
-    try {
-        released = JSON.parse(releasedJson);
-        return (0, figure_model_1.contractChanges)(released, source).map(change => ({
-            code: change.code,
-            message: change.message,
-            why: change.why,
-            at: change.subject,
-            blocking: change.blocking
-        }));
-    }
-    catch (e) {
-        return [
-            {
-                code: 'released-unreadable',
-                message: `직전 발행판을 오늘 형식으로 읽을 수 없어 견주지 못했다: ${e.message}`,
-                why: '이 발행이 이미 놓인 인스턴스를 깨는지는 확인되지 않았다.',
-                blocking: false
-            }
-        ];
-    }
-}
-//# sourceMappingURL=figure-gate.js.map

package/dist-server/service/figure/figure-gate.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"figure-gate.js","sourceRoot":"","sources":["../../../server/service/figure/figure-gate.ts"],"names":[],"mappings":";;AAmRA,sCAiFC;AApWD,yDAAwG;AA0FxG;;;;GAIG;AACH,SAAS,aAAa,CAAC,MAAoB,EAAE,MAAc;IACzD,MAAM,QAAQ,GAAG,IAAA,2BAAY,EAAC,IAAA,sBAAO,EAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAA;IACtD,MAAM,aAAa,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,MAAM,CAAA;IAClG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,KAAK,GAAc,EAAE,CAAA;IAE3B,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxC,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,OAAO,CAAC,GAAG;YAAE,SAAQ;QAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAgB,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;QAClG,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;QAE5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAQ;YACnC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;gBACxB,KAAK,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAU,EAAE,CAAC;oBAC3D,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE;wBAAE,SAAQ;oBACxC,MAAM,OAAO,GAAiB;wBAC5B,GAAG,MAAM;wBACT,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;qBACzH,CAAA;oBACD,MAAM,UAAU,GAAG,IAAA,2BAAY,EAAC,IAAA,sBAAO,EAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,MAAM,CAAA;oBACrH,MAAM,QAAQ,GAAG,aAAa,GAAG,UAAU,CAAA;oBAC3C,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,EAAE,EAAE,CAAA;oBACvD,IAAI,QAAQ,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;wBAAE,SAAQ;oBAC5C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;oBACb,KAAK,CAAC,IAAI,CAAC;wBACT,UAAU,EAAE,OAAO,CAAC,GAAG;wBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI;wBACJ,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC;wBACzB,EAAE;wBACF,QAAQ;wBACR,8DAA8D;wBAC9D,IAAI,EAAE,UAAU,KAAK,CAAC;qBACvB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AACnG,CAAC;AAED,SAAS,aAAa,CAAC,MAAoB,EAAE,GAA0C;IACrF,OAAO;QACL,GAAG,MAAM;QACT,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;YACpD,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE;YACrE,CAAC,CAAC,IAAI,CAAC;KACV,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAAoB,EAAE,MAAc;IACtD,OAAO,IAAA,2BAAY,EAAC,IAAA,sBAAO,EAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,MAAM,CAAA;AAClH,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,MAAoB,EAAE,MAAc;IAC3D,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChD,IAAI,aAAa,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAEzC,IAAI,OAAO,GAAG,MAAM,CAAA;IACpB,IAAI,SAAS,GAAG,aAAa,CAAA;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,KAAK,GAAc,EAAE,CAAA;IAE3B,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,IAAA,2BAAY,EAAC,IAAA,sBAAO,EAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAA;QACrD,IAAI,IAAyB,CAAA;QAE7B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACtC,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,OAAO,CAAC,GAAG;gBAAE,SAAQ;YAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAgB,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;YAClG,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;YAE5C,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBACjC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAQ;gBACnC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;oBACxB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,CAAA;oBAClC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;wBAAE,SAAQ;oBAC3B,KAAK,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAU,EAAE,CAAC;wBAC3D,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE;4BAAE,SAAQ;wBACxC,MAAM,UAAU,GAAG,UAAU,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAA;wBAC5F,MAAM,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAA;wBACvC,IAAI,QAAQ,IAAI,CAAC;4BAAE,SAAQ;wBAC3B,MAAM,SAAS,GAAY;4BACzB,UAAU,EAAE,OAAO,CAAC,GAAG;4BACvB,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,IAAI;4BACJ,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC;4BACtE,EAAE;4BACF,QAAQ;4BACR,IAAI,EAAE,KAAK;yBACZ,CAAA;wBACD,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ;4BAC7C,CAAC,SAAS,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,IAAI,GAAG,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,EAAE,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;4BAC3I,IAAI,GAAG,SAAS,CAAA;wBAClB,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,IAAI;YAAE,MAAK;QAChB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChB,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;QACrC,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;QACtC,SAAS,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACzC,CAAC;IAED,IAAI,SAAS,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IACnG,CAAC;IAED;;;;OAIG;IACH,MAAM,WAAW,GAAG,IAAA,2BAAY,EAAC,IAAA,sBAAO,EAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAA;IACzD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwC,CAAA;IAClE,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,OAAO,CAAC,GAAG;YAAE,SAAQ;QAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAgB,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;QAClG,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;QAC5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAQ;YACnC,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,UAAU,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;QAC5F,CAAC;IACH,CAAC;IAGD,IAAI,QAAQ,GAAkB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,CAAA;IAChG,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAkB,EAAE,CAAA;QAC9B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBACvC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAQ;gBACjC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAA;gBAC1E,IAAI,CAAC,OAAO;oBAAE,SAAQ;gBACtB,KAAK,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAU,EAAE,CAAC;oBAC3D,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE;wBAAE,SAAQ;oBAClD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,EAAE,EAAE,CAAC,CAAA;oBAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;oBACrF,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;wBAAE,SAAQ;oBACpC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;oBACtB,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;oBACzC,MAAM,GAAG,GAAY;wBACnB,UAAU,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI;wBAC/D,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE;wBACrF,QAAQ,EAAE,KAAK,CAAC,SAAS,GAAG,KAAK,EAAE,IAAI,EAAE,KAAK;qBAC/C,CAAA;oBACD,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;oBACnC,IAAI,KAAK,KAAK,CAAC;wBAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;oBAClH,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;gBAC9F,CAAC;YACH,CAAC;QACH,CAAC;QACD,uGAAuG;QACvG,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM;YACzF,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAChF,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,aAAa,CAAC,UAA0B,EAAE,YAA4B;IACpF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,2BAA2B;oBACpC,QAAQ,EAAE,IAAI;iBACf;aACF;SACF,CAAA;IACH,CAAC;IAED,IAAI,MAAe,CAAA;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;IACjC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,mBAAoB,CAAW,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;SAC5G,CAAA;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAA,uBAAQ,EAAC,MAAM,CAAC,CAAA;IAC/B,MAAM,QAAQ,GAAkB,EAAE,CAAA;IAElC;;;;MAIE;IACF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAA;IAC7F,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B;;;;;;;cAOE;YACF,GAAG,EAAE,SAAS,CAAC,GAAG;YAClB,GAAG,EAAE,SAAS,CAAC,GAAG;YAClB,4DAA4D;YAC5D,QAAQ,EAAE,IAAA,4BAAa,EAAC,SAAS,CAAC,IAAI,CAAC;SACxC,CAAC,CAAA;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAsB,CAAA;QACrC,MAAM,MAAM,GAAG,IAAA,2BAAY,EAAC,IAAA,sBAAO,EAAC,MAAM,CAAC,CAAC,CAAA;QAC5C,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAClD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAEtD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACtC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,gDAAgD;gBAChD,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,wCAAwC;gBACxC,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS;gBACnF,KAAK,EAAE,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBACzG,wFAAwF;gBACxF,OAAO,EAAE,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;gBAC1I,QAAQ,EAAE,OAAO,CAAC,IAAI,KAAK,eAAe;aAC3C,CAAC,CAAA;QACJ,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAA;IAC1D,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAA;AAC1E,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,gBAAgB,CAAC,MAAoB,EAAE,YAA4B;IAC1E,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,CAAA;IAE5B,IAAI,QAAsB,CAAA;IAC1B,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAiB,CAAA;QACnD,OAAO,IAAA,8BAAe,EAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACtD,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,EAAE,EAAE,MAAM,CAAC,OAAO;YAClB,QAAQ,EAAE,MAAM,CAAC,QAAQ;SAC1B,CAAC,CAAC,CAAA;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO;YACL;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,oCAAqC,CAAW,CAAC,OAAO,EAAE;gBACnE,GAAG,EAAE,kCAAkC;gBACvC,QAAQ,EAAE,KAAK;aAChB;SACF,CAAA;IACH,CAAC;AACH,CAAC","sourcesContent":["import { blocksRelease, compile, contractChanges, sizingReport, validate } from '@hatiolab/figure-model'\nimport type { Axis, FigureSource } from '@hatiolab/figure-model'\n\n/** Service transport shape. It deliberately contains only an explicit, reversible FigureSource edit. */\nexport interface GateFix {\n  findingWay: string\n  part: string\n  axis: Axis\n  from?: string\n  to: 'min' | 'center' | 'max' | 'span'\n  resolved: number\n  /** True only when rechecking every sizing case leaves no release-blocking split. */\n  safe: boolean\n}\n\n/**\n * A coordinated repair, measured from the current source all the way through the sizing suite.\n * A split often involves several independently anchored parts, so no single anchor edit can be\n * called a solution. This remains a draft-only edit; it is never saved or released by the gate.\n */\nexport interface GateFixPlan {\n  fixes: GateFix[]\n  resolved: number\n  /** True only after the complete plan leaves no release-blocking sizing split. */\n  safe: boolean\n}\n\n/**\n * 발행해도 되나 — **서버가 판정한다.**\n *\n * ## 왜 서버인가\n *\n * 이 검사는 브라우저 하네스에만 있었다(`test/browser/check-figure-scaling.mjs`). 사람이 돌릴 때만\n * 돌았고, 발행 경로에는 아무 검사도 없었다 — 형식만 맞으면 무엇이든 발행되었다. 발행은 소비처에게\n * 하는 약속이므로, 그 약속을 지킬 수 있는지는 약속하는 자리가 재야 한다.\n *\n * ## 무엇을 막고 무엇을 알리나\n *\n * 판정은 `figure-model` 의 `gate.ts` 가 이미 문서로 정해 두었다. 여기서 새로 정하지 않는다.\n *\n *   sizing-splits              크기를 바꾸면 조각이 갈라진다      **막는다**\n *   part-outside-base          부품이 기준 상자를 넘는다          **막는다**\n *   parts-off-placement-face   기준면에 안 닿는다                 **막는다**\n *   sizing-loose               1배에서 이미 여러 조각이다         알린다\n *   그 밖의 violations          형식이 권하지 않는 것              알린다 (저장 때 이미 보여 준 것들)\n *\n * 갈라짐을 막는 이유는 사람 눈에 「부서졌다」로 보이기 때문이다 — 시그널타워를 3배로 세우니 램프가\n * 기둥 위 공중에 떴던 그것이고, 앵커 규칙이 생긴 이유다. 소비처가 형상을 늘려 쓰는 것은 막을 수\n * 없으니(그것이 이 형식의 값이다), 늘려도 견디는지를 발행 전에 본다.\n *\n * ## 몇 개가 걸리나는 여기 안 적는다\n *\n * 한동안 「표본 15개 중 갈라짐 1 · 조용함 14」를 적어 두고 **게이트가 벽이 아니라는 근거**로\n * 삼았다. 수는 굳고 카탈로그는 움직인다 — 기준 상자 판정이 붙자 그 비율이 하루 만에 뒤집혔다.\n * 굳은 수를 근거로 든 문장은 그때부터 사실이 아닌 채로 사람을 안심시킨다.\n *\n * 무엇이 걸리고 얼마나 넘쳤나는 **저작 도구가 재서 보여 준다.** 그것을 볼 사람은 고치는\n * 사람이고, 그 사람이 보는 자리는 여기가 아니다.\n */\n\n/** 게이트가 낸 한 가지. `blocking` 이 참이면 발행이 안 된다. */\nexport interface GateFinding {\n  code: string\n  message: string\n  /**\n   * **왜 그것이 문제인가.** 잰 것만 보여 주면 읽는 사람이 「그래서?」에서 멈춘다 — 화면에\n   * 「1 조각이 2 조각으로 갈라진다」만 떴을 때 실제로 그랬다.\n   */\n  why?: string\n  /** **무엇을 바꾸면 되나.** 부품 이름과 값으로. 형식이 만든 문장을 그대로 옮긴다. */\n  how?: string\n  /** 어디를 가리키나 — 갈라짐은 갈라진 부품 이름들, 형식 위반은 정본 안의 경로. */\n  at?: string\n  /**\n   * 실제로 재 본, 되돌릴 수 있는 한 앵커 수정안들. 문장을 파싱해서 고치는 것이 아니라\n   * FigureSource 에 적용할 정확한 값만 내보낸다. 화면은 이것을 후보로만 보여 주고 저작자가\n   * 수락하기 전에는 정본을 바꾸지 않는다.\n   */\n  fixes?: GateFix[]\n  /** The one-click, fully remeasured repair when individual candidates are insufficient. */\n  fixPlan?: GateFixPlan\n  blocking: boolean\n}\n\nexport interface Inspection {\n  findings: GateFinding[]\n  /** 막는 것이 하나라도 있나. 화면이 이것으로 단추를 잠근다. */\n  blocked: boolean\n}\n\n/**\n * Figure model publishes the same capability for direct model consumers. Keep the service calculation\n * here as well because this package is deployed independently and receives a compiled local model package.\n * Each alternative is remeasured; prose from `how` is never parsed into an edit.\n */\nfunction measuredFixes(source: FigureSource, factor: number): GateFix[] {\n  const baseline = sizingReport(compile(source), factor)\n  const baselineCount = baseline.findings.filter(finding => finding.code === 'sizing-splits').length\n  const seen = new Set<string>()\n  const fixes: GateFix[] = []\n\n  for (const finding of baseline.findings) {\n    if (finding.code !== 'sizing-splits' || !finding.way) continue\n    const axes = finding.way.split('-').filter((axis): axis is Axis => ['x', 'y', 'z'].includes(axis))\n    const names = new Set(finding.clumps.flat())\n\n    for (const part of source.parts) {\n      if (!names.has(part.name)) continue\n      for (const axis of axes) {\n        for (const to of ['min', 'center', 'max', 'span'] as const) {\n          if (part.anchor?.[axis] === to) continue\n          const changed: FigureSource = {\n            ...source,\n            parts: source.parts.map(one => one.name === part.name ? { ...one, anchor: { ...(one.anchor ?? {}), [axis]: to } } : one)\n          }\n          const afterCount = sizingReport(compile(changed), factor).findings.filter(one => one.code === 'sizing-splits').length\n          const resolved = baselineCount - afterCount\n          const key = `${finding.way}:${part.name}:${axis}:${to}`\n          if (resolved <= 0 || seen.has(key)) continue\n          seen.add(key)\n          fixes.push({\n            findingWay: finding.way,\n            part: part.name,\n            axis,\n            from: part.anchor?.[axis],\n            to,\n            resolved,\n            /* 한 finding만 없앤 것이 아니라 전수 검사에서 막는 split이 0일 때만 원클릭 후보가 된다. */\n            safe: afterCount === 0\n          })\n        }\n      }\n    }\n  }\n\n  return fixes.sort((a, b) => b.resolved - a.resolved || a.part.localeCompare(b.part)).slice(0, 12)\n}\n\nfunction sourceWithFix(source: FigureSource, fix: Pick<GateFix, 'part' | 'axis' | 'to'>): FigureSource {\n  return {\n    ...source,\n    parts: source.parts.map(part => part.name === fix.part\n      ? { ...part, anchor: { ...(part.anchor ?? {}), [fix.axis]: fix.to } }\n      : part)\n  }\n}\n\nfunction splitCount(source: FigureSource, factor: number) {\n  return sizingReport(compile(source), factor).findings.filter(finding => finding.code === 'sizing-splits').length\n}\n\n/**\n * Find a small coordinated repair by repeatedly choosing the measured anchor edit that removes\n * the most remaining splits. Every step is evaluated against the real compiler; prose is never\n * interpreted. If the complete suite is not clear, no \"recommended\" button is exposed.\n */\nfunction measuredFixPlan(source: FigureSource, factor: number): GateFixPlan | undefined {\n  const originalCount = splitCount(source, factor)\n  if (originalCount === 0) return undefined\n\n  let working = source\n  let remaining = originalCount\n  const used = new Set<string>()\n  const fixes: GateFix[] = []\n\n  for (let step = 0; step < source.parts.length * 3 && remaining > 0; step++) {\n    const report = sizingReport(compile(working), factor)\n    let best: GateFix | undefined\n\n    for (const finding of report.findings) {\n      if (finding.code !== 'sizing-splits' || !finding.way) continue\n      const axes = finding.way.split('-').filter((axis): axis is Axis => ['x', 'y', 'z'].includes(axis))\n      const names = new Set(finding.clumps.flat())\n\n      for (const part of working.parts) {\n        if (!names.has(part.name)) continue\n        for (const axis of axes) {\n          const key = `${part.name}:${axis}`\n          if (used.has(key)) continue\n          for (const to of ['min', 'center', 'max', 'span'] as const) {\n            if (part.anchor?.[axis] === to) continue\n            const afterCount = splitCount(sourceWithFix(working, { part: part.name, axis, to }), factor)\n            const resolved = remaining - afterCount\n            if (resolved <= 0) continue\n            const candidate: GateFix = {\n              findingWay: finding.way,\n              part: part.name,\n              axis,\n              from: source.parts.find(one => one.name === part.name)?.anchor?.[axis],\n              to,\n              resolved,\n              safe: false\n            }\n            if (!best || candidate.resolved > best.resolved ||\n              (candidate.resolved === best.resolved && `${candidate.part}:${candidate.axis}:${candidate.to}` < `${best.part}:${best.axis}:${best.to}`)) {\n              best = candidate\n            }\n          }\n        }\n      }\n    }\n\n    if (!best) break\n    fixes.push(best)\n    used.add(`${best.part}:${best.axis}`)\n    working = sourceWithFix(working, best)\n    remaining = splitCount(working, factor)\n  }\n\n  if (remaining === 0 && fixes.length > 0) {\n    return { fixes: fixes.map(fix => ({ ...fix, safe: true })), resolved: originalCount, safe: true }\n  }\n\n  /*\n   * Some assemblies need two anchors to move together. Neither first move removes a whole split,\n   * so greedy improvement alone cannot see the repair. Search a small, deterministic beam of those\n   * coordinated moves, and still return only a plan that the compiler proves clear.\n   */\n  const firstReport = sizingReport(compile(source), factor)\n  const candidates = new Map<string, { part: string; axis: Axis }>()\n  for (const finding of firstReport.findings) {\n    if (finding.code !== 'sizing-splits' || !finding.way) continue\n    const axes = finding.way.split('-').filter((axis): axis is Axis => ['x', 'y', 'z'].includes(axis))\n    const names = new Set(finding.clumps.flat())\n    for (const part of source.parts) {\n      if (!names.has(part.name)) continue\n      for (const axis of axes) candidates.set(`${part.name}:${axis}`, { part: part.name, axis })\n    }\n  }\n\n  type SearchState = { source: FigureSource; fixes: GateFix[]; used: Set<string>; remaining: number }\n  let frontier: SearchState[] = [{ source, fixes: [], used: new Set(), remaining: originalCount }]\n  const visited = new Set<string>()\n  for (let depth = 0; depth < 8 && frontier.length; depth++) {\n    const next: SearchState[] = []\n    for (const state of frontier) {\n      for (const [key, target] of candidates) {\n        if (state.used.has(key)) continue\n        const current = state.source.parts.find(part => part.name === target.part)\n        if (!current) continue\n        for (const to of ['min', 'center', 'max', 'span'] as const) {\n          if (current.anchor?.[target.axis] === to) continue\n          const changed = sourceWithFix(state.source, { ...target, to })\n          const signature = JSON.stringify(changed.parts.map(part => [part.name, part.anchor]))\n          if (visited.has(signature)) continue\n          visited.add(signature)\n          const after = splitCount(changed, factor)\n          const fix: GateFix = {\n            findingWay: 'coordinated', part: target.part, axis: target.axis,\n            from: source.parts.find(part => part.name === target.part)?.anchor?.[target.axis], to,\n            resolved: state.remaining - after, safe: false\n          }\n          const fixes = [...state.fixes, fix]\n          if (after === 0) return { fixes: fixes.map(one => ({ ...one, safe: true })), resolved: originalCount, safe: true }\n          next.push({ source: changed, fixes, used: new Set([...state.used, key]), remaining: after })\n        }\n      }\n    }\n    /* Keep enough alternatives to discover a paired repair without making release inspection expensive. */\n    frontier = next.sort((a, b) => a.remaining - b.remaining || a.fixes.length - b.fixes.length ||\n      JSON.stringify(a.fixes).localeCompare(JSON.stringify(b.fixes))).slice(0, 24)\n  }\n\n  return undefined\n}\n\n/**\n * 정본 하나를 판정한다.\n *\n * 정본이 없거나(아직 저장 전) JSON 이 아니면 **막는다** — 발행할 대상이 없는 것이다. 그 경우를\n * 조용히 통과시키면 빈 것이 발행된다.\n *\n * `releasedJson` 은 **직전 발행판의 정본**이다. 주면 그것과 견주어 「이미 놓인 인스턴스를 깨는\n * 발행인가」를 함께 낸다(ADR-0063 결정 3). 한 번도 발행된 적 없으면 견줄 것이 없으므로 안 준다.\n */\nexport function inspectSource(sourceJson?: string | null, releasedJson?: string | null): Inspection {\n  if (!sourceJson) {\n    return {\n      blocked: true,\n      findings: [\n        {\n          code: 'no-source',\n          message: '저장된 정본이 없다. 저장하면 발행할 수 있다',\n          blocking: true\n        }\n      ]\n    }\n  }\n\n  let parsed: unknown\n  try {\n    parsed = JSON.parse(sourceJson)\n  } catch (e) {\n    return {\n      blocked: true,\n      findings: [{ code: 'source-not-json', message: `정본이 JSON 이 아니다: ${(e as Error).message}`, blocking: true }]\n    }\n  }\n\n  const result = validate(parsed)\n  const findings: GateFinding[] = []\n\n  /*\n    형식 오류는 **저장을 통과할 수 없다**(`parseSource` 가 거절한다). 그래도 여기서 다시 보는 이유는,\n    이 판정이 저장 경로와 독립이어야 하기 때문이다 — 옛 정본이 남아 있거나 형식이 엄해진 뒤라면\n    저장 때는 맞았던 것이 지금은 틀릴 수 있다. 그때 발행이 통과하면 안 된다.\n  */\n  for (const error of result.errors) {\n    findings.push({ code: error.code, message: error.message, at: error.path, blocking: true })\n  }\n\n  for (const violation of result.violations) {\n    findings.push({\n      code: violation.code,\n      message: violation.message,\n      /*\n        왜·어떻게는 형식이 만든 것을 그대로 옮긴다. 여기서 서버가 다시 쓰면 두 벌이 되고 곧 어긋난다 —\n        크기 반응 판정이 이미 그 규율이다(아래 `report.findings`).\n\n        이 두 줄이 없던 동안 발행 화면은 막는 위반에 문장 하나만 보여 줬다. 표본 47 개를 게이트에 넣어\n        보니 막는 판정 99 건 중 왜·어떻게를 가진 것이 2 건이었고, 나머지 97 건은 저작자가 상자를 키울지\n        부품을 옮길지 알 길이 없었다(2026-09-19, figure-model 0.1.29 가 그 값을 싣기 시작했다).\n      */\n      why: violation.why,\n      how: violation.how,\n      /* 어느 위반이 막나는 형식이 안다 — 여기 목록을 또 들면 둘이 갈린다(ADR-0044 결정 ②). */\n      blocking: blocksRelease(violation.code)\n    })\n  }\n\n  if (result.errors.length === 0) {\n    const source = parsed as FigureSource\n    const report = sizingReport(compile(source))\n    const fixes = measuredFixes(source, report.factor)\n    const fixPlan = measuredFixPlan(source, report.factor)\n\n    for (const finding of report.findings) {\n      findings.push({\n        code: finding.code,\n        message: finding.message,\n        /* 왜·어떻게는 형식이 소유한다. 서버가 다시 쓰면 두 벌이 되고 곧 어긋난다. */\n        why: finding.why,\n        how: finding.how,\n        /* 숫자가 아니라 자리를 말한다 — 어느 부품들이 갈라져 나왔나. */\n        at: finding.clumps.map(clump => [...clump].sort().join('+')).join(' | ') || undefined,\n          fixes: finding.code === 'sizing-splits' ? fixes.filter(fix => fix.findingWay === finding.way) : undefined,\n          /* A plan is attached once: it clears the full suite, not merely this card's symptom. */\n          fixPlan: finding.code === 'sizing-splits' && finding === report.findings.find(one => one.code === 'sizing-splits') ? fixPlan : undefined,\n        blocking: finding.code === 'sizing-splits'\n      })\n    }\n\n    findings.push(...contractFindings(source, releasedJson))\n  }\n\n  return { findings, blocked: findings.some(finding => finding.blocking) }\n}\n\n/**\n * 직전 발행판과 견준 것 — **약속을 깨는 발행인가**(ADR-0063 결정 3).\n *\n * 무엇이 달라졌고 그것이 막는 것인지는 형식이 정한다(`contractChanges`). 여기서는 화면과 발행 문이\n * 읽는 모양으로 옮기기만 한다.\n *\n * **앞 판을 오늘 형식으로 못 읽으면 조용히 넘어가지 않는다.** 판 1 은 오늘 형식이 거절하는 판으로\n * 적혀 있을 수 있고, 그때 견주기를 건너뛰면 아무 말 없이 관문이 없는 것이 된다. 막지는 않는다 —\n * 그러면 그 도형은 영영 다시 발행할 수 없다.\n */\nfunction contractFindings(source: FigureSource, releasedJson?: string | null): GateFinding[] {\n  if (!releasedJson) return []\n\n  let released: FigureSource\n  try {\n    released = JSON.parse(releasedJson) as FigureSource\n    return contractChanges(released, source).map(change => ({\n      code: change.code,\n      message: change.message,\n      why: change.why,\n      at: change.subject,\n      blocking: change.blocking\n    }))\n  } catch (e) {\n    return [\n      {\n        code: 'released-unreadable',\n        message: `직전 발행판을 오늘 형식으로 읽을 수 없어 견주지 못했다: ${(e as Error).message}`,\n        why: '이 발행이 이미 놓인 인스턴스를 깨는지는 확인되지 않았다.',\n        blocking: false\n      }\n    ]\n  }\n}\n"]}

package/dist-server/service/figure/figure-source.d.ts

@@ -1,45 +0,0 @@
-import { FigureFinding } from './figure-type.js';
-/**
- * 정본을 받아 **검증하고 파생값을 계산한다.**
- *
- * ## 왜 서버가 검증하나
- *
- * 저작 화면을 못 믿어서가 아니다. **저작 화면을 거치지 않는 길이 있다** — 가져오기,
- * API 직접 호출, AI 어시스턴트. 그 길로 들어온 정본이 형식을 어기면 도면에서 조용히
- * 안 그려진다. 들어오는 문에서 막는다.
- *
- * ## 막는 것과 알리는 것
- *
- * `figure-model` 이 두 단계로 나눠 놓았고, 서버가 그 경계를 다시 정하지 않는다.
- *
- *   errors      형식을 어긴 것. **거절한다**
- *   violations  한도를 넘은 것. 거절하지 않고 **함께 돌려준다**
- *
- * ## 파생값은 서버가 계산한다
- *
- * `score`·`triangles`·`groups` 를 클라이언트에서 받지 않는다. 받으면 거짓이 들어오고
- * 목록 화면이 실물과 다른 것을 보여 준다. 정본에서 계산한다.
- */
-export interface ParsedSource {
-    /** 저장할 정본 JSON 문자열. 들어온 것을 그대로 쓴다 — 단, version 누락 시에만 정규화 직렬화한다. */
-    source: string;
-    /** 목록 화면이 정렬·필터에 쓰는 파생값. */
-    derived: {
-        score: number;
-        triangles: number;
-        groups: number;
-    };
-    /** 막지 않는 발견. 호출한 쪽이 응답에 실어 보낸다. */
-    violations: FigureFinding[];
-}
-/** 정본이 형식을 어겼다. 저장하지 않는다. */
-export declare class FigureSourceError extends Error {
-    readonly findings: FigureFinding[];
-    constructor(findings: FigureFinding[]);
-}
-/**
- * 정본 JSON 문자열을 검증하고 파생값을 계산한다.
- *
- * @throws {FigureSourceError} JSON 이 아니거나 형식을 어긴 경우
- */
-export declare function parseSource(sourceJson: string): ParsedSource;

package/dist-server/service/figure/figure-source.js

@@ -1,59 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.FigureSourceError = void 0;
-exports.parseSource = parseSource;
-const figure_model_1 = require("@hatiolab/figure-model");
-/** 정본이 형식을 어겼다. 저장하지 않는다. */
-class FigureSourceError extends Error {
-    constructor(findings) {
-        super(`정본이 형식을 어겼다 — ${findings.length}건: ${findings.map(f => f.code).join(', ')}`);
-        this.name = 'FigureSourceError';
-        this.findings = findings;
-    }
-}
-exports.FigureSourceError = FigureSourceError;
-/**
- * 정본 JSON 문자열을 검증하고 파생값을 계산한다.
- *
- * @throws {FigureSourceError} JSON 이 아니거나 형식을 어긴 경우
- */
-function parseSource(sourceJson) {
-    let parsed;
-    try {
-        parsed = JSON.parse(sourceJson);
-    }
-    catch (e) {
-        throw new FigureSourceError([
-            { code: 'source-not-json', message: `정본이 JSON 이 아니다: ${e.message}`, at: 'source' }
-        ]);
-    }
-    const result = (0, figure_model_1.validate)(parsed);
-    if (result.errors.length > 0) {
-        throw new FigureSourceError(result.errors.map(e => ({ code: e.code, message: e.message, at: e.path })));
-    }
-    /*
-      No version is stamped here. validate has already refused a source without one: every source saved
-      without a version was written with y measured from the box centre, and stamping the current
-      edition on it would move every part (ADR-0065).
-    */
-    const normalizedSource = sourceJson;
-    // 여기까지 왔으면 형식은 맞다. 청사진을 만들어 셈에 쓴다.
-    // 청사진 자체는 **저장하지 않는다** — 파생 캐시이므로 소비하는 쪽이 다시 만든다.
-    const blueprint = (0, figure_model_1.compile)(parsed);
-    const cost = (0, figure_model_1.costOf)(blueprint, 1);
-    const score = (0, figure_model_1.scoreOf)(blueprint);
-    return {
-        source: normalizedSource,
-        derived: {
-            score: score.score,
-            triangles: cost.triangles,
-            groups: cost.groups
-        },
-        violations: result.violations.map(v => ({
-            code: v.code,
-            message: v.message,
-            at: undefined
-        }))
-    };
-}
-//# sourceMappingURL=figure-source.js.map

package/dist-server/service/figure/figure-source.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"figure-source.js","sourceRoot":"","sources":["../../../server/service/figure/figure-source.ts"],"names":[],"mappings":";;;AAkDA,kCA2CC;AA7FD,yDAA2E;AAkC3E,6BAA6B;AAC7B,MAAa,iBAAkB,SAAQ,KAAK;IAG1C,YAAY,QAAyB;QACnC,KAAK,CAAC,iBAAiB,QAAQ,CAAC,MAAM,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACnF,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAA;QAC/B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;IAC1B,CAAC;CACF;AARD,8CAQC;AAED;;;;GAIG;AACH,SAAgB,WAAW,CAAC,UAAkB;IAC5C,IAAI,MAAe,CAAA;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;IACjC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,iBAAiB,CAAC;YAC1B,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,mBAAoB,CAAW,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE;SAC9F,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAA,uBAAQ,EAAC,MAAM,CAAC,CAAA;IAC/B,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,iBAAiB,CACzB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAC3E,CAAA;IACH,CAAC;IAED;;;;MAIE;IACF,MAAM,gBAAgB,GAAG,UAAU,CAAA;IAEnC,mCAAmC;IACnC,kDAAkD;IAClD,MAAM,SAAS,GAAG,IAAA,sBAAO,EAAC,MAAa,CAAC,CAAA;IACxC,MAAM,IAAI,GAAG,IAAA,qBAAM,EAAC,SAAS,EAAE,CAAC,CAAC,CAAA;IACjC,MAAM,KAAK,GAAG,IAAA,sBAAO,EAAC,SAAS,CAAC,CAAA;IAEhC,OAAO;QACL,MAAM,EAAE,gBAAgB;QACxB,OAAO,EAAE;YACP,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB;QACD,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtC,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,EAAE,EAAE,SAAS;SACd,CAAC,CAAC;KACJ,CAAA;AACH,CAAC","sourcesContent":["import { compile, costOf, scoreOf, validate } from '@hatiolab/figure-model'\n\nimport { FigureFinding } from './figure-type.js'\n\n/**\n * 정본을 받아 **검증하고 파생값을 계산한다.**\n *\n * ## 왜 서버가 검증하나\n *\n * 저작 화면을 못 믿어서가 아니다. **저작 화면을 거치지 않는 길이 있다** — 가져오기,\n * API 직접 호출, AI 어시스턴트. 그 길로 들어온 정본이 형식을 어기면 도면에서 조용히\n * 안 그려진다. 들어오는 문에서 막는다.\n *\n * ## 막는 것과 알리는 것\n *\n * `figure-model` 이 두 단계로 나눠 놓았고, 서버가 그 경계를 다시 정하지 않는다.\n *\n *   errors      형식을 어긴 것. **거절한다**\n *   violations  한도를 넘은 것. 거절하지 않고 **함께 돌려준다**\n *\n * ## 파생값은 서버가 계산한다\n *\n * `score`·`triangles`·`groups` 를 클라이언트에서 받지 않는다. 받으면 거짓이 들어오고\n * 목록 화면이 실물과 다른 것을 보여 준다. 정본에서 계산한다.\n */\nexport interface ParsedSource {\n  /** 저장할 정본 JSON 문자열. 들어온 것을 그대로 쓴다 — 단, version 누락 시에만 정규화 직렬화한다. */\n  source: string\n  /** 목록 화면이 정렬·필터에 쓰는 파생값. */\n  derived: { score: number; triangles: number; groups: number }\n  /** 막지 않는 발견. 호출한 쪽이 응답에 실어 보낸다. */\n  violations: FigureFinding[]\n}\n\n/** 정본이 형식을 어겼다. 저장하지 않는다. */\nexport class FigureSourceError extends Error {\n  readonly findings: FigureFinding[]\n\n  constructor(findings: FigureFinding[]) {\n    super(`정본이 형식을 어겼다 — ${findings.length}건: ${findings.map(f => f.code).join(', ')}`)\n    this.name = 'FigureSourceError'\n    this.findings = findings\n  }\n}\n\n/**\n * 정본 JSON 문자열을 검증하고 파생값을 계산한다.\n *\n * @throws {FigureSourceError} JSON 이 아니거나 형식을 어긴 경우\n */\nexport function parseSource(sourceJson: string): ParsedSource {\n  let parsed: unknown\n  try {\n    parsed = JSON.parse(sourceJson)\n  } catch (e) {\n    throw new FigureSourceError([\n      { code: 'source-not-json', message: `정본이 JSON 이 아니다: ${(e as Error).message}`, at: 'source' }\n    ])\n  }\n\n  const result = validate(parsed)\n  if (result.errors.length > 0) {\n    throw new FigureSourceError(\n      result.errors.map(e => ({ code: e.code, message: e.message, at: e.path }))\n    )\n  }\n\n  /*\n    No version is stamped here. validate has already refused a source without one: every source saved\n    without a version was written with y measured from the box centre, and stamping the current\n    edition on it would move every part (ADR-0065).\n  */\n  const normalizedSource = sourceJson\n\n  // 여기까지 왔으면 형식은 맞다. 청사진을 만들어 셈에 쓴다.\n  // 청사진 자체는 **저장하지 않는다** — 파생 캐시이므로 소비하는 쪽이 다시 만든다.\n  const blueprint = compile(parsed as any)\n  const cost = costOf(blueprint, 1)\n  const score = scoreOf(blueprint)\n\n  return {\n    source: normalizedSource,\n    derived: {\n      score: score.score,\n      triangles: cost.triangles,\n      groups: cost.groups\n    },\n    violations: result.violations.map(v => ({\n      code: v.code,\n      message: v.message,\n      at: undefined\n    }))\n  }\n}\n"]}

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

@@ -1,155 +0,0 @@
-import { inspectSource } from './figure-gate'
-
-describe('release-gate repair candidates', () => {
-  it('returns data, not parsed prose, for a measured sizing split', () => {
-    const source = {
-      version: 2,
-      type: 'STACK',
-      base: { x: 100, y: 200, z: 100 },
-      detailLevel: 'M',
-      parts: [
-        {
-          name: 'foot', primitive: 'cube',
-          transform: { position: { x: 0, y: 50, z: 0 }, size: { x: 100, y: 100, z: 100 } },
-          material: { token: 'palette.primary' }, anchor: { y: 'min' }
-        },
-        {
-          name: 'lamp', primitive: 'cube',
-          transform: { position: { x: 0, y: 110, z: 0 }, size: { x: 60, y: 20, z: 60 } },
-          material: { token: 'palette.accent' }, anchor: { y: 'max' }
-        }
-      ]
-    }
-
-    const inspection = inspectSource(JSON.stringify(source))
-    const split = inspection.findings.find(finding => finding.code === 'sizing-splits')
-
-    expect(inspection.blocked).toBe(true)
-    expect(split?.fixes).toEqual(expect.arrayContaining([
-      expect.objectContaining({ part: expect.any(String), axis: 'y', to: expect.any(String), resolved: expect.any(Number), safe: expect.any(Boolean) })
-    ]))
-    expect(split?.fixes?.every(fix => fix.resolved > 0)).toBe(true)
-  })
-
-  it('offers one coordinated draft repair only after the full sizing suite clears', () => {
-    const source = {
-      version: 2,
-      type: 'STACK',
-      base: { x: 100, y: 200, z: 100 },
-      detailLevel: 'M',
-      parts: [
-        { name: 'body', primitive: 'cube', transform: { position: { x: 0, y: 50, z: 0 }, size: { x: 100, y: 100, z: 100 } }, material: { token: 'palette.primary' }, anchor: { y: 'min' } },
-        { name: 'cap-a', primitive: 'cube', transform: { position: { x: -25, y: 110, z: 0 }, size: { x: 20, y: 20, z: 20 } }, material: { token: 'palette.accent' }, anchor: { y: 'max' } },
-        { name: 'cap-b', primitive: 'cube', transform: { position: { x: 25, y: 110, z: 0 }, size: { x: 20, y: 20, z: 20 } }, material: { token: 'palette.accent' }, anchor: { y: 'max' } }
-      ]
-    }
-
-    const split = inspectSource(JSON.stringify(source)).findings.find(finding => finding.code === 'sizing-splits')
-
-    expect(split?.fixPlan).toEqual(expect.objectContaining({ safe: true, resolved: expect.any(Number) }))
-    expect(split?.fixPlan?.fixes.length).toBeGreaterThan(0)
-    expect(split?.fixPlan?.fixes.every(fix => fix.safe)).toBe(true)
-  })
-})
-
-/*
- * The base box is a promise to whoever places this figure.
- *
- * `base` is the number an instance is scaled by (`instanceScale = width/base.x`) and the placement
- * height comes out of `base.y`. A figure whose box disagrees with its parts renders at the wrong
- * size and the wrong height the moment it is placed, so publishing it breaks that promise
- * even though the source itself is well formed.
- *
- * Saving is still allowed — these are violations, not errors — so a figure already standing on a
- * drawing keeps standing. It just cannot be published again until it is fixed.
- */
-describe('release gate — the base box', () => {
-  /** A figure that sits correctly in its box: 200 tall, foot on the floor at 0. */
-  const sound = {
-    version: 2,
-    type: 'POST',
-    base: { x: 100, y: 200, z: 100 },
-    detailLevel: 'M',
-    parts: [
-      {
-        name: 'post', primitive: 'cube',
-        transform: { position: { x: 0, y: 50, z: 0 }, size: { x: 100, y: 100, z: 100 } },
-        material: { token: 'palette.primary' }
-      }
-    ]
-  }
-
-  const inspect = (source: unknown) => inspectSource(JSON.stringify(source))
-
-  it('lets a sound figure through', () => {
-    const inspection = inspect(sound)
-    expect(inspection.blocked).toBe(false)
-  })
-
-  it('refuses a part that overflows the box', () => {
-    const over = { ...sound, parts: [{ ...sound.parts[0], transform: { position: { x: 0, y: -20, z: 0 }, size: { x: 100, y: 100, z: 100 } } }] }
-    const inspection = inspect(over)
-    const finding = inspection.findings.find(f => f.code === 'part-outside-base')
-
-    expect(finding?.blocking).toBe(true)
-    expect(inspection.blocked).toBe(true)
-  })
-
-  it('refuses a figure that does not reach the face its placement names', () => {
-    const floating = { ...sound, parts: [{ ...sound.parts[0], transform: { position: { x: 0, y: 100, z: 0 }, size: { x: 100, y: 100, z: 100 } } }] }
-    const inspection = inspect(floating)
-    const finding = inspection.findings.find(f => f.code === 'parts-off-placement-face')
-
-    expect(finding?.blocking).toBe(true)
-    expect(inspection.blocked).toBe(true)
-  })
-
-  /*
-    The gate hands the screen what the format said, and for blocking violations it was handing only
-    the sentence: `why` and `how` exist on GateFinding, the release panel renders both, and the query
-    asks for them, but nothing filled them. Across the 47 sample figures, 99 blocking findings had
-    2 with all three -- the author saw "'beacon' overflows the box on y" and had to guess whether to
-    grow the box or move the part.
-
-    The format owns both (figure-model 0.1.29). This checks the gate carries them rather than writing
-    its own, which is the same discipline the sizing findings already follow.
-  */
-  it('carries the reason and the remedy the format wrote', () => {
-    const over = { ...sound, parts: [{ ...sound.parts[0], transform: { position: { x: 0, y: -20, z: 0 }, size: { x: 100, y: 100, z: 100 } } }] }
-    const finding = inspect(over).findings.find(f => f.code === 'part-outside-base')
-
-    expect(finding?.message).toMatch(/mm/)
-    expect(finding?.why).toBeTruthy()
-    /*
-      화면의 칸 이름으로 부른다 — 저작자는 `base.y` 를 본 적이 없고 Y 라고 적힌 칸을 본다. 이 부품은 바닥 아래로
-      넘었고, 기준 상자의 밑면은 Y 0 에 고정이라 상자 크기로는 닿지 않는다 — 고칠 길은 부품을 올리는 것뿐이다
-      (figure-model 0.1.39, ADR-0065).
-    */
-    expect(finding?.how).toMatch(/Y 로 \d+(\.\d+)?mm 올리세요/)
-    expect(finding?.how).not.toMatch(/기준 상자의 Y 를 \d+/)
-  })
-
-  it('carries them for the placement face too', () => {
-    const floating = { ...sound, parts: [{ ...sound.parts[0], transform: { position: { x: 0, y: 100, z: 0 }, size: { x: 100, y: 100, z: 100 } } }] }
-    const finding = inspect(floating).findings.find(f => f.code === 'parts-off-placement-face')
-
-    expect(finding?.why).toBeTruthy()
-    expect(finding?.how).toBeTruthy()
-  })
-
-  it('still only reports the violations that are about taste', () => {
-    /*
-      Slack in the box is a declaration, not a defect — clearance in front of a conveyor, the pitch
-      of a rack bay. A roomy box with an odd segment count is told about and published.
-    */
-    const roomy = {
-      ...sound,
-      base: { x: 3000, y: 200, z: 3000 },
-      parts: [{ ...sound.parts[0], primitive: 'cylinder', segments: 9 }]
-    }
-    const inspection = inspect(roomy)
-
-    expect(inspection.findings.some(f => f.code === 'segments-off-preset')).toBe(true)
-    expect(inspection.blocked).toBe(false)
-  })
-})