@1agh/maude 0.59.0 → 0.60.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/apps/studio/bin/_import-figma.mjs +314 -30
- package/apps/studio/client/panels/SyncPanel.jsx +93 -2
- package/apps/studio/client/styles/3-shell-maude.css +10 -0
- package/apps/studio/context.ts +4 -0
- package/apps/studio/dist/client.bundle.js +547 -547
- package/apps/studio/dist/styles.css +1 -1
- package/apps/studio/figma/fig-decode.test.ts +100 -14
- package/apps/studio/figma/fig-decode.ts +247 -25
- package/apps/studio/figma/fig-differential.test.ts +182 -0
- package/apps/studio/figma/fig-translator.test.ts +192 -0
- package/apps/studio/figma/fig-vector.test.ts +113 -0
- package/apps/studio/figma/fig-vector.ts +145 -0
- package/apps/studio/figma/sanitize.ts +7 -0
- package/apps/studio/figma/to-artboard.ts +41 -1
- package/apps/studio/http.ts +47 -0
- package/apps/studio/sync/asset-push-worker.ts +84 -0
- package/apps/studio/sync/asset-push.ts +101 -7
- package/apps/studio/sync/asset-sweep.ts +262 -0
- package/apps/studio/sync/index.ts +29 -5
- package/apps/studio/sync/presentation.ts +21 -0
- package/apps/studio/sync/supervisor.ts +20 -0
- package/apps/studio/test/canvas-origin-gate.test.ts +9 -0
- package/apps/studio/test/sync-asset-push-worker.test.ts +183 -0
- package/apps/studio/test/sync-asset-push.test.ts +157 -8
- package/apps/studio/test/sync-asset-sweep.test.ts +243 -0
- package/apps/studio/test/sync-panel-surface.test.ts +34 -1
- package/apps/studio/test/sync-resync-routes.test.ts +125 -0
- package/apps/studio/test/sync-supervisor.test.ts +46 -0
- package/apps/studio/whats-new.json +16 -0
- package/package.json +8 -8
|
@@ -0,0 +1,182 @@
|
|
|
1
|
+
// TIER 2 — the differential. THE SHIP GATE for the `.fig` door (DDR-221 D7).
|
|
2
|
+
//
|
|
3
|
+
// The same document through both doors must normalize to the same tree. This is
|
|
4
|
+
// the only oracle that proves the decoder is RIGHT rather than merely QUIET, and
|
|
5
|
+
// it exists only because the REST door was built first — which is what
|
|
6
|
+
// retroactively justifies the phase ordering.
|
|
7
|
+
//
|
|
8
|
+
// It earned that billing immediately. Every unit test in fig-decode.test.ts was
|
|
9
|
+
// green while the decoder emitted Figma's INTERNAL node vocabulary
|
|
10
|
+
// (FRAME-with-resizeToFit, ROUNDED_RECTANGLE, SYMBOL) instead of the public REST
|
|
11
|
+
// one the translators are written against. Both sides looked perfectly valid in
|
|
12
|
+
// isolation; only the comparison could see it.
|
|
13
|
+
//
|
|
14
|
+
// Offline by construction: the oracle is a COMMITTED capture of
|
|
15
|
+
// `fetchDocument()` for the same two documents, so CI needs no token and no
|
|
16
|
+
// network. The recorded form catches DECODER regressions; only a live re-capture
|
|
17
|
+
// catches FIGMA changing. They are not the same test — see § Re-capturing.
|
|
18
|
+
//
|
|
19
|
+
// ── Re-capturing the oracle ──────────────────────────────────────────────────
|
|
20
|
+
// Needed when Figma changes its REST projection, or when a fixture document is
|
|
21
|
+
// edited. Requires a stored Figma PAT (`getProviderKey('figma')`):
|
|
22
|
+
//
|
|
23
|
+
// cd apps/studio && bun -e '
|
|
24
|
+
// const { fetchDocument } = await import("./figma/client.ts");
|
|
25
|
+
// for (const [key, surface, out] of [
|
|
26
|
+
// ["dGNzRC2kmrmGnOxaBa0RI7", "design", "design.rest-oracle.json"],
|
|
27
|
+
// ["Em6NOwaOFTYV7NlQT4NK8l", "board", "figjam.rest-oracle.json"],
|
|
28
|
+
// ]) await Bun.write("../../.ai/fixtures/figma/2026-08-03/" + out,
|
|
29
|
+
// JSON.stringify(await fetchDocument({ fileKey: key, surface }), null, 1));'
|
|
30
|
+
//
|
|
31
|
+
// Both documents live on the StudyFi plan (moved there 2026-08-12; the file keys
|
|
32
|
+
// survived the move). Re-export the `.fig`/`.jam` in the same pass or the two
|
|
33
|
+
// halves drift apart.
|
|
34
|
+
|
|
35
|
+
import { describe, expect, test } from 'bun:test';
|
|
36
|
+
|
|
37
|
+
import { decodeFigArchive } from './fig-decode.ts';
|
|
38
|
+
import { type FigmaNode, type NormalizedDocument, walkNodes } from './types.ts';
|
|
39
|
+
|
|
40
|
+
const FIXTURES = new URL('../../../.ai/fixtures/figma/2026-08-03/', import.meta.url).pathname;
|
|
41
|
+
|
|
42
|
+
/**
|
|
43
|
+
* The ONE documented lossy delta, asserted AS lossy rather than tolerated.
|
|
44
|
+
*
|
|
45
|
+
* REST expands an INSTANCE's children and mints synthetic ids for them
|
|
46
|
+
* (`I<instance>;<child>`). A `.fig` stores an instance by reference — only its
|
|
47
|
+
* overrides — so those nodes genuinely do not exist in the local file. This is
|
|
48
|
+
* a property of the two formats, not a decoder defect, and it is the reason the
|
|
49
|
+
* gate compares SHARED nodes plus an explicit allowlist rather than raw counts.
|
|
50
|
+
*/
|
|
51
|
+
const REST_ONLY_ID = /^I[0-9]+:[0-9]+;/;
|
|
52
|
+
|
|
53
|
+
/** Sub-pixel float noise would be acceptable; we have never needed the slack. */
|
|
54
|
+
const GEOMETRY_EPSILON = 0.5;
|
|
55
|
+
|
|
56
|
+
interface Case {
|
|
57
|
+
label: string;
|
|
58
|
+
fileKey: string;
|
|
59
|
+
archive: string;
|
|
60
|
+
oracle: string;
|
|
61
|
+
}
|
|
62
|
+
|
|
63
|
+
const CASES: Case[] = [
|
|
64
|
+
{
|
|
65
|
+
label: 'design',
|
|
66
|
+
fileKey: 'dGNzRC2kmrmGnOxaBa0RI7',
|
|
67
|
+
archive: 'design.fig',
|
|
68
|
+
oracle: 'design.rest-oracle.json',
|
|
69
|
+
},
|
|
70
|
+
{
|
|
71
|
+
label: 'figjam',
|
|
72
|
+
fileKey: 'Em6NOwaOFTYV7NlQT4NK8l',
|
|
73
|
+
archive: 'figjam.jam',
|
|
74
|
+
oracle: 'figjam.rest-oracle.json',
|
|
75
|
+
},
|
|
76
|
+
];
|
|
77
|
+
|
|
78
|
+
function index(root: FigmaNode): Map<string, FigmaNode> {
|
|
79
|
+
const byId = new Map<string, FigmaNode>();
|
|
80
|
+
walkNodes(root, (n) => byId.set(n.id, n));
|
|
81
|
+
return byId;
|
|
82
|
+
}
|
|
83
|
+
|
|
84
|
+
async function load(c: Case) {
|
|
85
|
+
const rest = (await Bun.file(FIXTURES + c.oracle).json()) as NormalizedDocument;
|
|
86
|
+
const bytes = new Uint8Array(await Bun.file(FIXTURES + c.archive).arrayBuffer());
|
|
87
|
+
const { document: fig } = decodeFigArchive(bytes, { fileKey: c.fileKey });
|
|
88
|
+
return { rest: index(rest.root), fig: index(fig.root), restDoc: rest, figDoc: fig };
|
|
89
|
+
}
|
|
90
|
+
|
|
91
|
+
describe.each(CASES)('tier 2 — $label through both doors', (c) => {
|
|
92
|
+
test('the .fig door sees every REST node except the documented instance children', async () => {
|
|
93
|
+
const { rest, fig } = await load(c);
|
|
94
|
+
const missing = [...rest.keys()].filter((id) => !fig.has(id));
|
|
95
|
+
// Every absence must be explained by the ONE known delta.
|
|
96
|
+
expect(missing.filter((id) => !REST_ONLY_ID.test(id))).toEqual([]);
|
|
97
|
+
// And nothing may exist locally that REST does not know about.
|
|
98
|
+
expect([...fig.keys()].filter((id) => !rest.has(id))).toEqual([]);
|
|
99
|
+
});
|
|
100
|
+
|
|
101
|
+
test('node TYPE agrees — the public vocabulary, not Figma internals', async () => {
|
|
102
|
+
const { rest, fig } = await load(c);
|
|
103
|
+
const diffs = [...fig.entries()]
|
|
104
|
+
.filter(([id, n]) => rest.get(id) && rest.get(id)?.type !== n.type)
|
|
105
|
+
.map(([id, n]) => `${id}: REST=${rest.get(id)?.type} fig=${n.type}`);
|
|
106
|
+
expect(diffs).toEqual([]);
|
|
107
|
+
});
|
|
108
|
+
|
|
109
|
+
test('node NAME agrees byte for byte, diacritics and hostile characters included', async () => {
|
|
110
|
+
const { rest, fig } = await load(c);
|
|
111
|
+
const diffs = [...fig.entries()]
|
|
112
|
+
.filter(([id, n]) => rest.get(id) && rest.get(id)?.name !== n.name)
|
|
113
|
+
.map(([id]) => id);
|
|
114
|
+
expect(diffs).toEqual([]);
|
|
115
|
+
});
|
|
116
|
+
|
|
117
|
+
test('GEOMETRY agrees — the parent-chain composition against REST absolute boxes', async () => {
|
|
118
|
+
const { rest, fig } = await load(c);
|
|
119
|
+
const diffs: string[] = [];
|
|
120
|
+
let worst = 0;
|
|
121
|
+
for (const [id, n] of fig) {
|
|
122
|
+
const r = rest.get(id);
|
|
123
|
+
if (!r?.absoluteBoundingBox || !n.absoluteBoundingBox) continue;
|
|
124
|
+
const a = r.absoluteBoundingBox;
|
|
125
|
+
const b = n.absoluteBoundingBox;
|
|
126
|
+
const delta = Math.max(
|
|
127
|
+
Math.abs(a.x - b.x),
|
|
128
|
+
Math.abs(a.y - b.y),
|
|
129
|
+
Math.abs(a.width - b.width),
|
|
130
|
+
Math.abs(a.height - b.height)
|
|
131
|
+
);
|
|
132
|
+
worst = Math.max(worst, delta);
|
|
133
|
+
if (delta > GEOMETRY_EPSILON) diffs.push(`${id}: Δ${delta.toFixed(2)}px`);
|
|
134
|
+
}
|
|
135
|
+
expect(diffs).toEqual([]);
|
|
136
|
+
// Recorded rather than merely bounded: the composition is EXACT today, and a
|
|
137
|
+
// drift into "within tolerance" is worth noticing before it becomes drift
|
|
138
|
+
// out of it. This is the assertion the A4 float trap would have failed.
|
|
139
|
+
expect(worst).toBe(0);
|
|
140
|
+
});
|
|
141
|
+
|
|
142
|
+
test('TEXT content agrees', async () => {
|
|
143
|
+
const { rest, fig } = await load(c);
|
|
144
|
+
const diffs = [...fig.entries()]
|
|
145
|
+
.filter(([id, n]) => {
|
|
146
|
+
const r = rest.get(id);
|
|
147
|
+
return r && (r.characters ?? '') !== (n.characters ?? '');
|
|
148
|
+
})
|
|
149
|
+
.map(([id]) => id);
|
|
150
|
+
expect(diffs).toEqual([]);
|
|
151
|
+
});
|
|
152
|
+
|
|
153
|
+
test('the surface the prelude declared matches the surface REST was asked for', async () => {
|
|
154
|
+
const { restDoc, figDoc } = await load(c);
|
|
155
|
+
expect(figDoc.surface).toBe(restDoc.surface);
|
|
156
|
+
expect(figDoc.origin).toBe('fig');
|
|
157
|
+
expect(restDoc.origin).toBe('rest');
|
|
158
|
+
});
|
|
159
|
+
});
|
|
160
|
+
|
|
161
|
+
describe('tier 2 — the lossy delta is asserted, not assumed', () => {
|
|
162
|
+
test('the design file really does carry instance children only REST expands', async () => {
|
|
163
|
+
const { rest, fig } = await load(CASES[0]);
|
|
164
|
+
const restOnly = [...rest.keys()].filter((id) => !fig.has(id));
|
|
165
|
+
// If this ever becomes empty, either the fixture changed or REST stopped
|
|
166
|
+
// expanding instances — both mean the allowlist above needs re-deriving
|
|
167
|
+
// rather than silently covering nothing.
|
|
168
|
+
expect(restOnly.length).toBeGreaterThan(0);
|
|
169
|
+
expect(restOnly.every((id) => REST_ONLY_ID.test(id))).toBe(true);
|
|
170
|
+
});
|
|
171
|
+
|
|
172
|
+
test('connector endpoints resolve to the same host ids through both doors', async () => {
|
|
173
|
+
const { rest, fig } = await load(CASES[1]);
|
|
174
|
+
const pairs = (m: Map<string, FigmaNode>) =>
|
|
175
|
+
[...m.values()]
|
|
176
|
+
.filter((n) => n.type === 'CONNECTOR')
|
|
177
|
+
.map((n) => `${n.id}:${n.connectorStart}->${n.connectorEnd}`)
|
|
178
|
+
.sort();
|
|
179
|
+
expect(pairs(fig)).toEqual(pairs(rest));
|
|
180
|
+
expect(pairs(fig).length).toBe(6);
|
|
181
|
+
});
|
|
182
|
+
});
|
|
@@ -0,0 +1,192 @@
|
|
|
1
|
+
// TIER 3 — end to end through the REAL translators (DDR-221 D7).
|
|
2
|
+
//
|
|
3
|
+
// Tier 2 proves the two doors normalize to the same TREE. That is necessary and
|
|
4
|
+
// not sufficient: the translators read specific fields, and a tree can agree on
|
|
5
|
+
// everything a diff looks at while still translating differently. This tier
|
|
6
|
+
// runs `toStrokes` (board) and `toCanvas` (design) over BOTH doors' output and
|
|
7
|
+
// compares what they actually produce.
|
|
8
|
+
//
|
|
9
|
+
// It is also where the Tier-2 vocabulary finding pays off concretely: before the
|
|
10
|
+
// internal→REST mapping, `to-strokes`/`to-artboard` saw FRAME where REST gave
|
|
11
|
+
// GROUP and every sticky arrived with empty text — so this comparison is the one
|
|
12
|
+
// that would have caught the user-visible half of that bug.
|
|
13
|
+
|
|
14
|
+
import { describe, expect, test } from 'bun:test';
|
|
15
|
+
|
|
16
|
+
import { decodeFigArchive } from './fig-decode.ts';
|
|
17
|
+
import { toArtboard, toCanvas } from './to-artboard.ts';
|
|
18
|
+
import { toStrokes } from './to-strokes.ts';
|
|
19
|
+
import { type FigmaNode, type NormalizedDocument, walkNodes } from './types.ts';
|
|
20
|
+
|
|
21
|
+
const FIXTURES = new URL('../../../.ai/fixtures/figma/2026-08-03/', import.meta.url).pathname;
|
|
22
|
+
|
|
23
|
+
async function doors(archive: string, oracle: string, fileKey: string) {
|
|
24
|
+
const rest = (await Bun.file(FIXTURES + oracle).json()) as NormalizedDocument;
|
|
25
|
+
const bytes = new Uint8Array(await Bun.file(FIXTURES + archive).arrayBuffer());
|
|
26
|
+
const { document: fig } = decodeFigArchive(bytes, { fileKey });
|
|
27
|
+
return { rest, fig };
|
|
28
|
+
}
|
|
29
|
+
|
|
30
|
+
/** The first CANVAS page, which is what an import actually translates. */
|
|
31
|
+
function firstPage(doc: NormalizedDocument): FigmaNode {
|
|
32
|
+
let page: FigmaNode | undefined;
|
|
33
|
+
walkNodes(doc.root, (n) => {
|
|
34
|
+
if (!page && n.type === 'CANVAS') page = n;
|
|
35
|
+
});
|
|
36
|
+
if (!page) throw new Error('no CANVAS page in the document');
|
|
37
|
+
return page;
|
|
38
|
+
}
|
|
39
|
+
|
|
40
|
+
describe('tier 3 — FigJam board through to-strokes', () => {
|
|
41
|
+
test('both doors produce the same stroke set: kinds, geometry, text and bindings', async () => {
|
|
42
|
+
const { rest, fig } = await doors(
|
|
43
|
+
'figjam.jam',
|
|
44
|
+
'figjam.rest-oracle.json',
|
|
45
|
+
'Em6NOwaOFTYV7NlQT4NK8l'
|
|
46
|
+
);
|
|
47
|
+
const a = toStrokes(rest);
|
|
48
|
+
const b = toStrokes(fig);
|
|
49
|
+
|
|
50
|
+
// A stroke's identity for comparison purposes: what the user would see.
|
|
51
|
+
const shape = (s: Record<string, unknown>) =>
|
|
52
|
+
[
|
|
53
|
+
s.tool,
|
|
54
|
+
Math.round(Number(s.x ?? 0)),
|
|
55
|
+
Math.round(Number(s.y ?? 0)),
|
|
56
|
+
Math.round(Number(s.w ?? 0)),
|
|
57
|
+
Math.round(Number(s.h ?? 0)),
|
|
58
|
+
String(s.text ?? s.label ?? ''),
|
|
59
|
+
String(s.color ?? ''),
|
|
60
|
+
].join('|');
|
|
61
|
+
|
|
62
|
+
const av = (a.strokes as unknown as Record<string, unknown>[]).map(shape).sort();
|
|
63
|
+
const bv = (b.strokes as unknown as Record<string, unknown>[]).map(shape).sort();
|
|
64
|
+
expect(bv).toEqual(av);
|
|
65
|
+
expect(b.strokes.length).toBe(a.strokes.length);
|
|
66
|
+
expect(b.origin).toEqual(a.origin);
|
|
67
|
+
});
|
|
68
|
+
|
|
69
|
+
test('sticky TEXT actually arrives — the regression Tier 2 found, at the user-visible layer', async () => {
|
|
70
|
+
const { fig } = await doors('figjam.jam', 'figjam.rest-oracle.json', 'Em6NOwaOFTYV7NlQT4NK8l');
|
|
71
|
+
const { strokes } = toStrokes(fig);
|
|
72
|
+
const texts = (strokes as unknown as Record<string, unknown>[])
|
|
73
|
+
.map((s) => String(s.text ?? s.label ?? ''))
|
|
74
|
+
.filter(Boolean);
|
|
75
|
+
// Before the override-path fix every one of these was an empty string while
|
|
76
|
+
// the board still looked structurally perfect.
|
|
77
|
+
expect(texts.some((t) => t.includes('palette yellow'))).toBe(true);
|
|
78
|
+
expect(texts.some((t) => t.includes('Sekce vnější'))).toBe(true);
|
|
79
|
+
expect(texts.filter((t) => t.trim().length > 0).length).toBeGreaterThan(10);
|
|
80
|
+
});
|
|
81
|
+
|
|
82
|
+
test('bound connectors survive as bindings, not as frozen lines', async () => {
|
|
83
|
+
const { rest, fig } = await doors(
|
|
84
|
+
'figjam.jam',
|
|
85
|
+
'figjam.rest-oracle.json',
|
|
86
|
+
'Em6NOwaOFTYV7NlQT4NK8l'
|
|
87
|
+
);
|
|
88
|
+
// `to-strokes` mints ids as `fig_<session>_<local>_<n>` where <n> is a
|
|
89
|
+
// process-wide counter, so the SECOND call in a test file is offset by the
|
|
90
|
+
// first. Compare the host NODE, which is the part that carries meaning.
|
|
91
|
+
const host = (b: unknown) => {
|
|
92
|
+
const id = (b as { hostId?: string } | null)?.hostId;
|
|
93
|
+
return id ? id.replace(/_\d+$/, '') : null;
|
|
94
|
+
};
|
|
95
|
+
const bindings = (r: ReturnType<typeof toStrokes>) =>
|
|
96
|
+
(r.strokes as unknown as Record<string, unknown>[])
|
|
97
|
+
.filter((s) => s.tool === 'arrow')
|
|
98
|
+
.map((s) => `${host(s.startBind)}->${host(s.endBind)}`)
|
|
99
|
+
.sort();
|
|
100
|
+
expect(bindings(toStrokes(fig))).toEqual(bindings(toStrokes(rest)));
|
|
101
|
+
});
|
|
102
|
+
|
|
103
|
+
test('the two doors report the same dispositions', async () => {
|
|
104
|
+
const { rest, fig } = await doors(
|
|
105
|
+
'figjam.jam',
|
|
106
|
+
'figjam.rest-oracle.json',
|
|
107
|
+
'Em6NOwaOFTYV7NlQT4NK8l'
|
|
108
|
+
);
|
|
109
|
+
const codes = (r: ReturnType<typeof toStrokes>) =>
|
|
110
|
+
r.report.entries.map((e) => `${e.node}:${e.disposition}`).sort();
|
|
111
|
+
expect(codes(toStrokes(fig))).toEqual(codes(toStrokes(rest)));
|
|
112
|
+
});
|
|
113
|
+
});
|
|
114
|
+
|
|
115
|
+
describe('tier 3 — design page through to-canvas', () => {
|
|
116
|
+
const KEY = 'dGNzRC2kmrmGnOxaBa0RI7';
|
|
117
|
+
|
|
118
|
+
test('both doors produce the same artboard set and the same JSX', async () => {
|
|
119
|
+
const { rest, fig } = await doors('design.fig', 'design.rest-oracle.json', KEY);
|
|
120
|
+
const a = toCanvas(rest, firstPage(rest));
|
|
121
|
+
const b = toCanvas(fig, firstPage(fig));
|
|
122
|
+
|
|
123
|
+
expect(b.artboardCount).toBe(a.artboardCount);
|
|
124
|
+
expect(b.origin).toEqual(a.origin);
|
|
125
|
+
// The emitted component source is the real deliverable — compare it whole,
|
|
126
|
+
// minus the ONE field a local file cannot reproduce (see the next test).
|
|
127
|
+
// Normalized: the ONE field a local export cannot reproduce (next test).
|
|
128
|
+
// `toCanvas`'s banner carries no verb, so there is nothing else to allow for.
|
|
129
|
+
const norm = (tsx: string) => tsx.replace(/ lineHeight: "[^"]*",/g, '');
|
|
130
|
+
expect(norm(b.tsx)).toBe(norm(a.tsx));
|
|
131
|
+
});
|
|
132
|
+
|
|
133
|
+
test('a single-frame artboard names the DOOR it came through', async () => {
|
|
134
|
+
// `--fig` reads a local export with no network at all. A banner claiming
|
|
135
|
+
// `--frames` on a file nobody fetched is a false provenance claim, so
|
|
136
|
+
// `toArtboard` reads `doc.origin` rather than hardcoding the verb.
|
|
137
|
+
const { rest, fig } = await doors('design.fig', 'design.rest-oracle.json', KEY);
|
|
138
|
+
const frameOf = (d: NormalizedDocument) => {
|
|
139
|
+
let f: FigmaNode | undefined;
|
|
140
|
+
walkNodes(d.root, (n) => {
|
|
141
|
+
if (!f && n.type === 'FRAME') f = n;
|
|
142
|
+
});
|
|
143
|
+
if (!f) throw new Error('no FRAME in the fixture');
|
|
144
|
+
return f;
|
|
145
|
+
};
|
|
146
|
+
expect(toArtboard(rest, frameOf(rest)).tsx).toContain('import-figma --frames`');
|
|
147
|
+
expect(toArtboard(fig, frameOf(fig)).tsx).toContain('--fig (offline, local export)`');
|
|
148
|
+
});
|
|
149
|
+
|
|
150
|
+
test('lineHeight is the ONLY thing the local door cannot reproduce, and it says so', async () => {
|
|
151
|
+
// REST reports a RESOLVED pixel line-height; a .fig stores the authored
|
|
152
|
+
// value, and `{value: 100, units: "PERCENT"}` cannot become pixels without
|
|
153
|
+
// font metrics we do not have offline. Asserted AS lossy per the plan's
|
|
154
|
+
// "known-lossy fields are listed explicitly; nothing degrades silently" —
|
|
155
|
+
// and asserted as the only one, so the list cannot quietly grow.
|
|
156
|
+
const bytes = new Uint8Array(await Bun.file(`${FIXTURES}design.fig`).arrayBuffer());
|
|
157
|
+
const { report } = decodeFigArchive(bytes, { fileKey: KEY });
|
|
158
|
+
expect(report.lossyFields.map((f) => f.field)).toEqual(['style.lineHeightPx']);
|
|
159
|
+
expect(report.lossyFields[0]?.count).toBeGreaterThan(0);
|
|
160
|
+
|
|
161
|
+
const { rest, fig } = await doors('design.fig', 'design.rest-oracle.json', KEY);
|
|
162
|
+
const a = toCanvas(rest, firstPage(rest)).tsx;
|
|
163
|
+
const b = toCanvas(fig, firstPage(fig)).tsx;
|
|
164
|
+
// Everything OTHER than lineHeight matches, so the diff really is that one
|
|
165
|
+
// property and not a bucket that happens to contain it.
|
|
166
|
+
expect(a.includes('lineHeight:')).toBe(true);
|
|
167
|
+
expect(b.includes('lineHeight:')).toBe(false);
|
|
168
|
+
});
|
|
169
|
+
|
|
170
|
+
test('the GROUP mapping reaches the translator — flattening depends on it', async () => {
|
|
171
|
+
// `isStylelessWrapper`/`flattenWrappers` key off GROUP. While the decoder
|
|
172
|
+
// emitted Figma's internal FRAME for those nodes, the three nested wrappers
|
|
173
|
+
// in the design fixture would never have been flattened.
|
|
174
|
+
const { rest, fig } = await doors('design.fig', 'design.rest-oracle.json', KEY);
|
|
175
|
+
const groups = (d: NormalizedDocument) => {
|
|
176
|
+
let n = 0;
|
|
177
|
+
walkNodes(d.root, (x) => {
|
|
178
|
+
if (x.type === 'GROUP') n++;
|
|
179
|
+
});
|
|
180
|
+
return n;
|
|
181
|
+
};
|
|
182
|
+
expect(groups(fig)).toBe(groups(rest));
|
|
183
|
+
expect(groups(fig)).toBeGreaterThan(0);
|
|
184
|
+
});
|
|
185
|
+
|
|
186
|
+
test('the two doors report the same dispositions', async () => {
|
|
187
|
+
const { rest, fig } = await doors('design.fig', 'design.rest-oracle.json', KEY);
|
|
188
|
+
const codes = (r: ReturnType<typeof toCanvas>) =>
|
|
189
|
+
r.report.entries.map((e) => `${e.node}:${e.disposition}`).sort();
|
|
190
|
+
expect(codes(toCanvas(fig, firstPage(fig)))).toEqual(codes(toCanvas(rest, firstPage(rest))));
|
|
191
|
+
});
|
|
192
|
+
});
|
|
@@ -0,0 +1,113 @@
|
|
|
1
|
+
// figma/fig-vector.ts — path geometry out of a local `.fig` (DDR-221 A11).
|
|
2
|
+
//
|
|
3
|
+
// These exist because the DDR SHIPPED A FALSE CLAIM: A9/A10 said a vector
|
|
4
|
+
// cluster is a server-side render absent from a local export, and a
|
|
5
|
+
// user-visible `asset-unavailable-offline` disposition said so out loud. The
|
|
6
|
+
// geometry was in the file the whole time. The tests below pin the command set
|
|
7
|
+
// that was measured, so the claim cannot silently regress in either direction.
|
|
8
|
+
|
|
9
|
+
import { describe, expect, test } from 'bun:test';
|
|
10
|
+
|
|
11
|
+
import { artToSvg, FigVectorError, MAX_PATH_COMMANDS, pathFromBlob } from './fig-vector.ts';
|
|
12
|
+
|
|
13
|
+
/** Encode `cmd` + float32 LE pairs, the layout measured on a real export. */
|
|
14
|
+
function blob(...items: Array<[number, number[]]>): Uint8Array {
|
|
15
|
+
const out: number[] = [];
|
|
16
|
+
for (const [cmd, coords] of items) {
|
|
17
|
+
out.push(cmd);
|
|
18
|
+
for (const c of coords) {
|
|
19
|
+
const b = new Uint8Array(4);
|
|
20
|
+
new DataView(b.buffer).setFloat32(0, c, true);
|
|
21
|
+
out.push(...b);
|
|
22
|
+
}
|
|
23
|
+
}
|
|
24
|
+
return new Uint8Array(out);
|
|
25
|
+
}
|
|
26
|
+
|
|
27
|
+
describe('path blob decoding', () => {
|
|
28
|
+
test('the measured command set round-trips to SVG', () => {
|
|
29
|
+
const d = pathFromBlob(
|
|
30
|
+
blob(
|
|
31
|
+
[1, [40.56, 0]],
|
|
32
|
+
[2, [50.89, 30.24]],
|
|
33
|
+
[3, [1, 2, 3, 4]],
|
|
34
|
+
[4, [1, 2, 3, 4, 5, 6]],
|
|
35
|
+
[0, []]
|
|
36
|
+
)
|
|
37
|
+
);
|
|
38
|
+
expect(d).toBe('M40.56 0 L50.89 30.24 Q1 2 3 4 C1 2 3 4 5 6 Z');
|
|
39
|
+
});
|
|
40
|
+
|
|
41
|
+
test('the real sparkle decodes to a closed 8-point star', () => {
|
|
42
|
+
// Byte-for-byte the 82-byte blob from the export (`Untitled.fig`, node 1:6).
|
|
43
|
+
const pts: Array<[number, number[]]> = [
|
|
44
|
+
[1, [40.56, 0]],
|
|
45
|
+
[2, [50.89, 30.24]],
|
|
46
|
+
[2, [81.13, 40.56]],
|
|
47
|
+
[2, [50.89, 50.89]],
|
|
48
|
+
[2, [40.56, 81.13]],
|
|
49
|
+
[2, [30.24, 50.89]],
|
|
50
|
+
[2, [0, 40.56]],
|
|
51
|
+
[2, [30.24, 30.24]],
|
|
52
|
+
[2, [40.56, 0]],
|
|
53
|
+
[0, []],
|
|
54
|
+
];
|
|
55
|
+
const d = pathFromBlob(blob(...pts));
|
|
56
|
+
expect(d.startsWith('M40.56 0')).toBe(true);
|
|
57
|
+
expect(d.endsWith('Z')).toBe(true);
|
|
58
|
+
expect(d.split('L')).toHaveLength(9);
|
|
59
|
+
});
|
|
60
|
+
|
|
61
|
+
test('an unknown command REFUSES rather than truncating the path', () => {
|
|
62
|
+
// A half-read path renders as confident nonsense — the exact failure the
|
|
63
|
+
// fail-loud posture exists to prevent.
|
|
64
|
+
expect(() => pathFromBlob(blob([1, [0, 0]], [9, []]))).toThrow(/unknown path command 9/);
|
|
65
|
+
});
|
|
66
|
+
|
|
67
|
+
test('a command running past the end refuses', () => {
|
|
68
|
+
const b = blob([1, [1, 2]]);
|
|
69
|
+
expect(() => pathFromBlob(b.subarray(0, b.length - 2))).toThrow(/past the end/);
|
|
70
|
+
});
|
|
71
|
+
|
|
72
|
+
test('an empty blob refuses instead of emitting an empty path', () => {
|
|
73
|
+
expect(() => pathFromBlob(new Uint8Array(0))).toThrow(FigVectorError);
|
|
74
|
+
});
|
|
75
|
+
|
|
76
|
+
test('a command flood is capped', () => {
|
|
77
|
+
const many: Array<[number, number[]]> = Array.from({ length: MAX_PATH_COMMANDS + 10 }, () => [
|
|
78
|
+
2,
|
|
79
|
+
[1, 1],
|
|
80
|
+
]);
|
|
81
|
+
expect(() => pathFromBlob(blob(...many))).toThrow(/more than/);
|
|
82
|
+
});
|
|
83
|
+
});
|
|
84
|
+
|
|
85
|
+
describe('SVG serialization', () => {
|
|
86
|
+
test('emits only geometry and colour — nothing the DDR-167 lane would strip', () => {
|
|
87
|
+
const svg = artToSvg({
|
|
88
|
+
width: 118,
|
|
89
|
+
height: 118,
|
|
90
|
+
paths: [
|
|
91
|
+
{ d: 'M0 0 L1 1 Z', fill: '#5b62e8', fillOpacity: 1, fillRule: 'nonzero', x: 0, y: 0 },
|
|
92
|
+
{ d: 'M2 2 Z', fill: '#ffffff', fillOpacity: 0.5, fillRule: 'evenodd', x: 5, y: 6 },
|
|
93
|
+
],
|
|
94
|
+
});
|
|
95
|
+
expect(svg).toContain('viewBox="0 0 118 118"');
|
|
96
|
+
expect(svg).toContain('fill="#5b62e8"');
|
|
97
|
+
expect(svg).toContain('fill-opacity="0.5"');
|
|
98
|
+
expect(svg).toContain('fill-rule="evenodd"');
|
|
99
|
+
expect(svg).toContain('transform="translate(5 6)"');
|
|
100
|
+
for (const forbidden of ['<script', 'xlink', '<use', 'href', 'onload']) {
|
|
101
|
+
expect(svg).not.toContain(forbidden);
|
|
102
|
+
}
|
|
103
|
+
});
|
|
104
|
+
|
|
105
|
+
test('a path with no fill is explicit about it rather than inheriting', () => {
|
|
106
|
+
const svg = artToSvg({
|
|
107
|
+
width: 10,
|
|
108
|
+
height: 10,
|
|
109
|
+
paths: [{ d: 'M0 0 Z', fill: null, fillOpacity: 1, fillRule: 'nonzero', x: 0, y: 0 }],
|
|
110
|
+
});
|
|
111
|
+
expect(svg).toContain('fill="none"');
|
|
112
|
+
});
|
|
113
|
+
});
|
|
@@ -0,0 +1,145 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @file figma/fig-vector.ts — path geometry out of a local `.fig`.
|
|
3
|
+
* @scope apps/studio/figma/fig-vector.ts
|
|
4
|
+
* @purpose Turn a `.fig`'s own vector geometry into SVG, so the offline door
|
|
5
|
+
* does NOT need Figma to render an icon.
|
|
6
|
+
*
|
|
7
|
+
* @invariant THIS CORRECTS A CLAIM DDR-221 MADE. A9/A10 asserted that a vector
|
|
8
|
+
* cluster is a server-side render absent from a local export, and
|
|
9
|
+
* shipped an `asset-unavailable-offline` disposition saying so. That
|
|
10
|
+
* is false: every `VECTOR` carries `fillGeometry[].commandsBlob`, an
|
|
11
|
+
* index into the message's `blobs[]`, and the blob holds the actual
|
|
12
|
+
* path. Measured on a real export — both blobs decoded to the byte
|
|
13
|
+
* (196/196 and 82/82) with the command set below.
|
|
14
|
+
*
|
|
15
|
+
* @invariant DEPENDENCY-FREE and pure. Bytes in, path string out. Every input
|
|
16
|
+
* is attacker-controlled, so each blob is bounded and a command the
|
|
17
|
+
* table does not know REFUSES the path rather than guessing at it
|
|
18
|
+
* (DDR-221 D3 — a half-read path draws plausible nonsense).
|
|
19
|
+
*/
|
|
20
|
+
|
|
21
|
+
/** Observed command set. Arity is in FLOAT PAIRS-worth of float32s. */
|
|
22
|
+
const CLOSE = 0;
|
|
23
|
+
const MOVE_TO = 1;
|
|
24
|
+
const LINE_TO = 2;
|
|
25
|
+
const QUAD_TO = 3;
|
|
26
|
+
const CUBIC_TO = 4;
|
|
27
|
+
|
|
28
|
+
const ARITY: Record<number, number> = {
|
|
29
|
+
[CLOSE]: 0,
|
|
30
|
+
[MOVE_TO]: 2,
|
|
31
|
+
[LINE_TO]: 2,
|
|
32
|
+
[QUAD_TO]: 4,
|
|
33
|
+
[CUBIC_TO]: 6,
|
|
34
|
+
};
|
|
35
|
+
|
|
36
|
+
const LETTER: Record<number, string> = {
|
|
37
|
+
[CLOSE]: 'Z',
|
|
38
|
+
[MOVE_TO]: 'M',
|
|
39
|
+
[LINE_TO]: 'L',
|
|
40
|
+
[QUAD_TO]: 'Q',
|
|
41
|
+
[CUBIC_TO]: 'C',
|
|
42
|
+
};
|
|
43
|
+
|
|
44
|
+
/** ~10x the largest observed (464 B). A path is not a payload. */
|
|
45
|
+
export const MAX_PATH_BLOB_BYTES = 64 * 1024;
|
|
46
|
+
/** Bounds the emitted string as well as the walk. */
|
|
47
|
+
export const MAX_PATH_COMMANDS = 4096;
|
|
48
|
+
|
|
49
|
+
export class FigVectorError extends Error {
|
|
50
|
+
constructor(message: string) {
|
|
51
|
+
super(message);
|
|
52
|
+
this.name = 'FigVectorError';
|
|
53
|
+
}
|
|
54
|
+
}
|
|
55
|
+
|
|
56
|
+
/** Trim float noise without pretending to more precision than Figma stored. */
|
|
57
|
+
function n(v: number): string {
|
|
58
|
+
if (!Number.isFinite(v)) throw new FigVectorError('path coordinate is not finite');
|
|
59
|
+
const r = Math.round(v * 100) / 100;
|
|
60
|
+
return Object.is(r, -0) ? '0' : String(r);
|
|
61
|
+
}
|
|
62
|
+
|
|
63
|
+
/**
|
|
64
|
+
* Decode one commands blob into an SVG `d` attribute.
|
|
65
|
+
*
|
|
66
|
+
* Refuses rather than truncates: an unknown command byte, a run past the end,
|
|
67
|
+
* or a non-finite coordinate all throw, because a partially-read path renders
|
|
68
|
+
* as confident nonsense — the exact failure mode the fail-loud posture exists
|
|
69
|
+
* to prevent.
|
|
70
|
+
*/
|
|
71
|
+
export function pathFromBlob(bytes: Uint8Array): string {
|
|
72
|
+
if (bytes.length > MAX_PATH_BLOB_BYTES) {
|
|
73
|
+
throw new FigVectorError(`path blob is ${bytes.length} bytes, over the limit`);
|
|
74
|
+
}
|
|
75
|
+
const view = new DataView(bytes.buffer, bytes.byteOffset, bytes.byteLength);
|
|
76
|
+
const parts: string[] = [];
|
|
77
|
+
let offset = 0;
|
|
78
|
+
|
|
79
|
+
while (offset < bytes.length) {
|
|
80
|
+
const command = bytes[offset];
|
|
81
|
+
const arity = ARITY[command];
|
|
82
|
+
if (arity === undefined) {
|
|
83
|
+
throw new FigVectorError(`unknown path command ${command} at byte ${offset}`);
|
|
84
|
+
}
|
|
85
|
+
offset += 1;
|
|
86
|
+
if (offset + arity * 4 > bytes.length) {
|
|
87
|
+
throw new FigVectorError(`path command ${command} runs past the end of the blob`);
|
|
88
|
+
}
|
|
89
|
+
if (parts.length >= MAX_PATH_COMMANDS) {
|
|
90
|
+
throw new FigVectorError(`path has more than ${MAX_PATH_COMMANDS} commands`);
|
|
91
|
+
}
|
|
92
|
+
const coords: string[] = [];
|
|
93
|
+
for (let i = 0; i < arity; i++) {
|
|
94
|
+
coords.push(n(view.getFloat32(offset, true)));
|
|
95
|
+
offset += 4;
|
|
96
|
+
}
|
|
97
|
+
parts.push(coords.length > 0 ? `${LETTER[command]}${coords.join(' ')}` : LETTER[command]);
|
|
98
|
+
}
|
|
99
|
+
|
|
100
|
+
if (parts.length === 0) throw new FigVectorError('path blob is empty');
|
|
101
|
+
return parts.join(' ');
|
|
102
|
+
}
|
|
103
|
+
|
|
104
|
+
export interface VectorPath {
|
|
105
|
+
/** SVG `d`, in the owning node's own coordinate space. */
|
|
106
|
+
d: string;
|
|
107
|
+
/** `#rrggbb` of the first visible solid fill, or null when there is none. */
|
|
108
|
+
fill: string | null;
|
|
109
|
+
fillOpacity: number;
|
|
110
|
+
/** `nonzero` | `evenodd`, straight from the geometry record. */
|
|
111
|
+
fillRule: string;
|
|
112
|
+
/** Placement inside the cluster, already composed. */
|
|
113
|
+
x: number;
|
|
114
|
+
y: number;
|
|
115
|
+
}
|
|
116
|
+
|
|
117
|
+
/** One cluster's worth of paths plus the box they live in. */
|
|
118
|
+
export interface VectorArt {
|
|
119
|
+
width: number;
|
|
120
|
+
height: number;
|
|
121
|
+
paths: VectorPath[];
|
|
122
|
+
}
|
|
123
|
+
|
|
124
|
+
/**
|
|
125
|
+
* Serialize to a standalone SVG.
|
|
126
|
+
*
|
|
127
|
+
* Emits ONLY `<svg>`, `<path>` and plain geometry/colour attributes — no
|
|
128
|
+
* scripts, no `<use>`, no external references — so the result is trivially
|
|
129
|
+
* within the DDR-167 allowlist it is then promoted through. It is still routed
|
|
130
|
+
* through that sanitizer rather than trusted, on the standing rule that this
|
|
131
|
+
* module's input is a third party's file.
|
|
132
|
+
*/
|
|
133
|
+
export function artToSvg(art: VectorArt): string {
|
|
134
|
+
const w = Math.max(1, Math.round(art.width));
|
|
135
|
+
const h = Math.max(1, Math.round(art.height));
|
|
136
|
+
const body = art.paths
|
|
137
|
+
.map((p) => {
|
|
138
|
+
const transform = p.x !== 0 || p.y !== 0 ? ` transform="translate(${n(p.x)} ${n(p.y)})"` : '';
|
|
139
|
+
const opacity = p.fillOpacity < 1 ? ` fill-opacity="${n(p.fillOpacity)}"` : '';
|
|
140
|
+
const rule = p.fillRule === 'evenodd' ? ' fill-rule="evenodd"' : '';
|
|
141
|
+
return `<path d="${p.d}" fill="${p.fill ?? 'none'}"${opacity}${rule}${transform}/>`;
|
|
142
|
+
})
|
|
143
|
+
.join('');
|
|
144
|
+
return `<svg xmlns="http://www.w3.org/2000/svg" width="${w}" height="${h}" viewBox="0 0 ${w} ${h}" fill="none">${body}</svg>`;
|
|
145
|
+
}
|
|
@@ -71,6 +71,13 @@ export const DISPOSITIONS = Object.freeze([
|
|
|
71
71
|
'asset-cap-reached',
|
|
72
72
|
/** A vector Figma declined to render as SVG, re-requested as PNG. */
|
|
73
73
|
'asset-degraded',
|
|
74
|
+
/**
|
|
75
|
+
* The LOCAL `.fig` door (DDR-221) cannot produce this asset: a vector cluster
|
|
76
|
+
* is rendered by Figma's servers and is simply absent from an export. The
|
|
77
|
+
* archive carries image FILLS, never renders. Distinct from `asset-skipped`
|
|
78
|
+
* ("we tried and it failed") — nothing was attempted and nothing could be.
|
|
79
|
+
*/
|
|
80
|
+
'asset-unavailable-offline',
|
|
74
81
|
'jsx-cap-reached',
|
|
75
82
|
'value-rejected',
|
|
76
83
|
// ── The codegen route (DDR-219 D9). Three dispositions, one rule: what makes
|