@pinepaper.studio/mcp-server 1.5.5 → 1.6.1

package/dist/ontology/ontology-compiler.js

@@ -0,0 +1,235 @@
+/**
+ * OntologyCompiler (S12-E3) — the reverse of DesignGraph.
+ *
+ * Ported from FxTool/js/ontology/OntologyCompiler.js to typed TypeScript. Compiles
+ * a pp:-namespaced JSON-LD document (typed nodes + structural edges like pp:onTopOf)
+ * into a scene document `{ items, relations }` plus an op list the MCP can emit as
+ * app.create / app.addRelation calls — so "author an ontology, get a design" holds
+ * without a FxTool round-trip. Only ROOT nodes get absolute coordinates; every other
+ * node's position is DERIVED at runtime from its structural relations.
+ *
+ *   const { scene, ops, diagnostics } = new OntologyCompiler().compile(doc);
+ *
+ * Kept bit-faithful to FxTool's compiler (same root placement, same diagnostics)
+ * so extract(compile(O)) round-trips O's typed structural edges.
+ */
+import { ITEM_TYPE_MAP, RELATION_TYPE_MAP } from './vocabulary.js';
+const STRUCTURAL_RELATIONS = new Set(['on_top_of', 'below', 'beside', 'inside', 'centered_on', 'aligned_with']);
+// Type → default geometry. Overridable via new OntologyCompiler({ defaultGeometry }).
+const DEFAULT_GEOMETRY = {
+    rectangle: { width: 100, height: 100 },
+    circle: { width: 100, height: 100 },
+    ellipse: { width: 100, height: 100 },
+    triangle: { width: 100, height: 100 },
+    star: { width: 100, height: 100 },
+    polygon: { width: 100, height: 100 },
+    line: { width: 100, height: 2 },
+    text: { width: 200, height: 40 },
+    image: { width: 200, height: 200 },
+    group: { width: 100, height: 100 },
+};
+const FALLBACK_GEOMETRY = { width: 100, height: 100 };
+// Inverse maps (pp:IRI → runtime). ITEM_TYPE_MAP is not injective; the FIRST runtime
+// key for each IRI wins as the canonical inverse (matches FxTool).
+const INV_ITEM_TYPE = {};
+for (const [rt, pp] of Object.entries(ITEM_TYPE_MAP))
+    if (!(pp in INV_ITEM_TYPE))
+        INV_ITEM_TYPE[pp] = rt;
+const INV_RELATION_TYPE = {};
+for (const [rt, pp] of Object.entries(RELATION_TYPE_MAP))
+    INV_RELATION_TYPE[pp] = rt;
+const stripNodePrefix = (iri) => (typeof iri === 'string' ? iri.replace(/^pp:node\//, '') : iri);
+const num = (v) => (typeof v === 'number' && Number.isFinite(v) ? v : undefined);
+export class OntologyCompiler {
+    canvas;
+    defaultGeometry;
+    constructor(opts = {}) {
+        this.canvas = opts.canvas || { width: 1080, height: 1080 };
+        this.defaultGeometry = { ...DEFAULT_GEOMETRY, ...(opts.defaultGeometry || {}) };
+    }
+    compile(doc) {
+        const diagnostics = [];
+        const diag = (severity, code, message, extra) => diagnostics.push({ severity, code, message, ...(extra || {}) });
+        doc = doc || {};
+        const nodes = this._readNodes(doc, diag);
+        const edges = this._readEdges(doc, nodes, diag);
+        const positions = this._placeRoots(nodes, edges, diag);
+        const items = [];
+        for (const [id, n] of nodes) {
+            const g = this.defaultGeometry[n.runtimeType] || FALLBACK_GEOMETRY;
+            const item = {
+                id,
+                type: n.runtimeType,
+                width: n.geom.width != null ? n.geom.width : g.width,
+                height: n.geom.height != null ? n.geom.height : g.height,
+            };
+            const pos = (n.geom.x != null && n.geom.y != null) ? { x: n.geom.x, y: n.geom.y } : positions.get(id);
+            if (pos) {
+                item.x = pos.x;
+                item.y = pos.y;
+            }
+            items.push(item);
+        }
+        const relations = edges.map((e) => ({ from: e.from, to: e.to, type: e.type, params: e.params }));
+        const ops = [];
+        for (const it of items)
+            ops.push({ op: 'create', ...it });
+        for (const r of relations)
+            ops.push({ op: 'addRelation', from: r.from, to: r.to, relation: r.type, params: r.params });
+        return { scene: { items, relations }, ops, diagnostics };
+    }
+    _readNodes(doc, diag) {
+        const raw = doc['pp:nodes'] || doc.nodes || (Array.isArray(doc['@graph']) ? doc['@graph'] : []);
+        const nodes = new Map();
+        for (const n of (raw || [])) {
+            const id = stripNodePrefix(n['@id'] != null ? n['@id'] : n.id);
+            if (id == null) {
+                diag('warning', 'NODE_NO_ID', 'node without @id/id skipped');
+                continue;
+            }
+            const ppType = n['@type'] || n.type;
+            let runtimeType = INV_ITEM_TYPE[ppType];
+            let detected = false;
+            if (!runtimeType) {
+                if (typeof ppType === 'string' && ppType.startsWith('pp:Detected')) {
+                    runtimeType = 'rectangle';
+                    detected = true;
+                    diag('info', 'DETECTED_PLACEHOLDER', `detected class "${ppType}" → rectangle placeholder`, { node: id });
+                }
+                else {
+                    runtimeType = 'rectangle';
+                    diag('warning', 'UNKNOWN_TYPE', `unknown @type "${ppType}" for node "${id}" → rectangle`, { node: id });
+                }
+            }
+            const geom = {};
+            const w = num(n['pp:width'] != null ? n['pp:width'] : n.width);
+            const h = num(n['pp:height'] != null ? n['pp:height'] : n.height);
+            const x = num(n['pp:x'] != null ? n['pp:x'] : n.x);
+            const y = num(n['pp:y'] != null ? n['pp:y'] : n.y);
+            if (w != null)
+                geom.width = w;
+            if (h != null)
+                geom.height = h;
+            if (x != null)
+                geom.x = x;
+            if (y != null)
+                geom.y = y;
+            nodes.set(id, { id, ppType, runtimeType, detected, geom });
+        }
+        return nodes;
+    }
+    _readEdges(doc, nodes, diag) {
+        const edges = [];
+        const seen = new Set();
+        const add = (from, to, type, params) => {
+            const k = `${from} ${to} ${type}`;
+            if (seen.has(k))
+                return;
+            seen.add(k);
+            edges.push({ from, to, type, params: params || {} });
+        };
+        for (const e of (doc['pp:edges'] || doc.edges || [])) {
+            const ppType = e['@type'] || e.type;
+            let rel = INV_RELATION_TYPE[ppType];
+            if (!rel && RELATION_TYPE_MAP[ppType])
+                rel = ppType; // tolerate a runtime name given directly
+            if (!rel) {
+                diag('warning', 'UNKNOWN_EDGE', `unknown edge type "${ppType}" skipped`);
+                continue;
+            }
+            const from = stripNodePrefix(e['pp:source'] || e.source || e.from);
+            const to = stripNodePrefix(e['pp:target'] != null ? e['pp:target'] : (e.target != null ? e.target : e.to));
+            if (!nodes.has(from)) {
+                diag('warning', 'EDGE_BAD_SOURCE', `edge "${ppType}" source "${from}" is not a node; skipped`);
+                continue;
+            }
+            if (to != null && !nodes.has(to)) {
+                diag('warning', 'EDGE_BAD_TARGET', `edge "${ppType}" target "${to}" is not a node; skipped`);
+                continue;
+            }
+            add(from, to, rel, e['pp:params'] || e.params || {});
+        }
+        // Inline: a node property whose key is a pp: relation IRI.
+        for (const n of (doc['pp:nodes'] || doc.nodes || [])) {
+            const from = stripNodePrefix(n['@id'] != null ? n['@id'] : n.id);
+            if (!nodes.has(from))
+                continue;
+            for (const key of Object.keys(n)) {
+                const rel = INV_RELATION_TYPE[key];
+                if (!rel)
+                    continue;
+                const vals = Array.isArray(n[key]) ? n[key] : [n[key]];
+                for (const v of vals) {
+                    const to = stripNodePrefix(typeof v === 'string' ? v : (v && (v['@id'] || v.id || v.target)));
+                    let params = {};
+                    if (v && typeof v === 'object') {
+                        params = v.params || v['pp:params'] ||
+                            Object.fromEntries(Object.entries(v).filter(([k]) => !k.startsWith('@') && k !== 'id' && k !== 'target'));
+                    }
+                    if (to != null && nodes.has(to))
+                        add(from, to, rel, params);
+                    else
+                        diag('warning', 'EDGE_BAD_REF', `inline "${key}" ${from}→${to} skipped (target not a node)`);
+                }
+            }
+        }
+        return edges;
+    }
+    /**
+     * Root placement: connected components over structural edges; a ROOT is a node
+     * never the SOURCE of a structural relation. Components tile the canvas row-major;
+     * each component's roots get its cell center. Non-roots get NO position (derived).
+     */
+    _placeRoots(nodes, edges, diag) {
+        const placedSources = new Set(edges.filter((e) => STRUCTURAL_RELATIONS.has(e.type)).map((e) => e.from));
+        const adj = new Map();
+        for (const id of nodes.keys())
+            adj.set(id, new Set());
+        for (const e of edges) {
+            if (!STRUCTURAL_RELATIONS.has(e.type) || e.to == null)
+                continue;
+            adj.get(e.from).add(e.to);
+            adj.get(e.to).add(e.from);
+        }
+        const components = [];
+        const seen = new Set();
+        for (const id of nodes.keys()) {
+            if (seen.has(id))
+                continue;
+            const members = [];
+            const stack = [id];
+            while (stack.length) {
+                const nId = stack.pop();
+                if (seen.has(nId))
+                    continue;
+                seen.add(nId);
+                members.push(nId);
+                for (const m of adj.get(nId))
+                    if (!seen.has(m))
+                        stack.push(m);
+            }
+            components.push(members);
+        }
+        const cols = Math.max(1, Math.ceil(Math.sqrt(components.length)));
+        const rows = Math.max(1, Math.ceil(components.length / cols));
+        const cellW = this.canvas.width / cols;
+        const cellH = this.canvas.height / rows;
+        const positions = new Map();
+        components.forEach((members, k) => {
+            const col = k % cols;
+            const row = Math.floor(k / cols);
+            const cx = cellW * (col + 0.5);
+            const cy = cellH * (row + 0.5);
+            let roots = members.filter((m) => !placedSources.has(m));
+            if (roots.length === 0) {
+                roots = [members[0]]; // cyclic component — no natural root
+                diag('warning', 'NO_ROOT', `component [${members.join(', ')}] has no root (cycle); "${members[0]}" pinned`);
+            }
+            roots.forEach((r, i) => {
+                positions.set(r, { x: Math.round(cx + (i - (roots.length - 1) / 2) * 40), y: Math.round(cy) });
+            });
+        });
+        return positions;
+    }
+}
+//# sourceMappingURL=ontology-compiler.js.map

package/dist/ontology/ontology-compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ontology-compiler.js","sourceRoot":"","sources":["../../src/ontology/ontology-compiler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEnE,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC;AAEhH,sFAAsF;AACtF,MAAM,gBAAgB,GAAsD;IAC1E,SAAS,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;IACtC,MAAM,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;IACnC,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;IACpC,QAAQ,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;IACrC,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;IACjC,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;IACpC,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE;IAC/B,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE;IAChC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;IAClC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE;CACnC,CAAC;AACF,MAAM,iBAAiB,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAEtD,qFAAqF;AACrF,mEAAmE;AACnE,MAAM,aAAa,GAA2B,EAAE,CAAC;AACjD,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IAAE,IAAI,CAAC,CAAC,EAAE,IAAI,aAAa,CAAC;QAAE,aAAa,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;AACzG,MAAM,iBAAiB,GAA2B,EAAE,CAAC;AACrD,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAAE,iBAAiB,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;AAErF,MAAM,eAAe,GAAG,CAAC,GAAY,EAAW,EAAE,CAAC,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACnH,MAAM,GAAG,GAAG,CAAC,CAAU,EAAsB,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AA6C9G,MAAM,OAAO,gBAAgB;IACnB,MAAM,CAAoC;IAC1C,eAAe,CAAoD;IAE3E,YAAY,OAAgC,EAAE;QAC5C,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAC3D,IAAI,CAAC,eAAe,GAAG,EAAE,GAAG,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,EAAE,CAAC;IAClF,CAAC;IAED,OAAO,CAAC,GAAQ;QACd,MAAM,WAAW,GAAwB,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,CAAC,QAAyB,EAAE,IAAY,EAAE,OAAe,EAAE,KAAyB,EAAE,EAAE,CACnG,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAClE,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC;QAEhB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAEvD,MAAM,KAAK,GAAmB,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,iBAAiB,CAAC;YACnE,MAAM,IAAI,GAAiB;gBACzB,EAAE;gBACF,IAAI,EAAE,CAAC,CAAC,WAAW;gBACnB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;gBACpD,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;aACzD,CAAC;YACF,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtG,IAAI,GAAG,EAAE,CAAC;gBAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,MAAM,SAAS,GAAuB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAErH,MAAM,GAAG,GAAiB,EAAE,CAAC;QAC7B,KAAK,MAAM,EAAE,IAAI,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1D,KAAK,MAAM,CAAC,IAAI,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAEvH,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IAC3D,CAAC;IAEO,UAAU,CAAC,GAAQ,EAAE,IAA+E;QAC1G,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChG,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAuB,CAAC;YACrF,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;gBAAC,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,6BAA6B,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC3F,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;YACpC,IAAI,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;oBACnE,WAAW,GAAG,WAAW,CAAC;oBAAC,QAAQ,GAAG,IAAI,CAAC;oBAC3C,IAAI,CAAC,MAAM,EAAE,sBAAsB,EAAE,mBAAmB,MAAM,2BAA2B,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC3G,CAAC;qBAAM,CAAC;oBACN,WAAW,GAAG,WAAW,CAAC;oBAC1B,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,kBAAkB,MAAM,eAAe,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC1G,CAAC;YACH,CAAC;YACD,MAAM,IAAI,GAAuB,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC/D,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAClE,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnD,IAAI,CAAC,IAAI,IAAI;gBAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI,IAAI;gBAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI,IAAI;gBAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC,IAAI,IAAI;gBAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAC1B,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,UAAU,CAAC,GAAQ,EAAE,KAA8B,EAAE,IAAwD;QACnH,MAAM,KAAK,GAAuB,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAiB,EAAE,IAAY,EAAE,MAAgC,EAAE,EAAE;YAC9F,MAAM,CAAC,GAAG,GAAG,IAAI,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,OAAO;YACxB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC;QACvD,CAAC,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;YACrD,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;YACpC,IAAI,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACpC,IAAI,CAAC,GAAG,IAAI,iBAAiB,CAAC,MAAM,CAAC;gBAAE,GAAG,GAAG,MAAM,CAAC,CAAC,yCAAyC;YAC9F,IAAI,CAAC,GAAG,EAAE,CAAC;gBAAC,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,sBAAsB,MAAM,WAAW,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACjG,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAW,CAAC;YAC7E,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAkB,CAAC;YAC5H,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,EAAE,SAAS,MAAM,aAAa,IAAI,0BAA0B,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACnI,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,EAAE,SAAS,MAAM,aAAa,EAAE,0BAA0B,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC7I,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QACvD,CAAC;QAED,2DAA2D;QAC3D,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAW,CAAC;YAC3E,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC/B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjC,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;gBACnC,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACvD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBACrB,MAAM,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAkB,CAAC;oBAC/G,IAAI,MAAM,GAA4B,EAAE,CAAC;oBACzC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;wBAC/B,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,WAAW,CAAC;4BACjC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC;oBAC9G,CAAC;oBACD,IAAI,EAAE,IAAI,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;wBAAE,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;;wBACvD,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,WAAW,GAAG,KAAK,IAAI,IAAI,EAAE,8BAA8B,CAAC,CAAC;gBACpG,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;OAIG;IACK,WAAW,CAAC,KAA8B,EAAE,KAAyB,EAAE,IAAwD;QACrI,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxG,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC3C,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACtD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,IAAI;gBAAE,SAAS;YAChE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,UAAU,GAAe,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YACnB,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;gBACpB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;gBACzB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAClB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAE;oBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;wBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjE,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoC,CAAC;QAC9D,UAAU,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE;YAChC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;YACrB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;YACjC,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;YAC/B,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;YAC/B,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,qCAAqC;gBAC3D,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,cAAc,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAC9G,CAAC;YACD,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrB,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACjG,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,SAAS,CAAC;IACnB,CAAC;CACF"}

package/dist/ontology/ontology-validator.d.ts

@@ -0,0 +1,103 @@
+/**
+ * OntologyValidator — active semantic validator producing STRUCTURED diagnostics
+ * ({code, severity, message, target, context, fix}) over scene state or a proposed op.
+ *
+ * Ported from FxTool/js/core/OntologyValidator.js to typed TypeScript (the S3.4
+ * "one validator, two surfaces" shared library — the same checks FxTool and the Cloud
+ * pre-render gate run). READ-ONLY: never mutates; `fix.apply` is a *proposed* op.
+ *
+ * The validator is ontology-agnostic: it takes a narrow read-only ctx (getters only).
+ * buildDefinitionValidatorContext() wires it to a template definition so the server's
+ * pinepaper_validate_design can run it Node-side without a browser round-trip.
+ */
+export declare const SEVERITY: {
+    readonly ERROR: "error";
+    readonly WARNING: "warning";
+    readonly HINT: "hint";
+};
+export interface ValidatorItemEntry {
+    itemId: string;
+    item: {
+        data?: Record<string, any> | null;
+    };
+    type?: string;
+}
+export interface ValidatorRule {
+    params?: Record<string, {
+        type?: string;
+        options?: unknown[];
+        min?: number;
+        max?: number;
+        required?: boolean;
+    }>;
+}
+export interface ValidatorContext {
+    getItem(id: string): unknown;
+    getAllItems(): ValidatorItemEntry[];
+    hasItemType(type: string): boolean;
+    getRule(name: string): ValidatorRule | null;
+}
+export interface Diagnostic {
+    code: string;
+    severity: string;
+    message: string;
+    target?: Record<string, unknown>;
+    context?: Record<string, unknown>;
+    fix?: Record<string, unknown>;
+}
+export interface ValidatorResult {
+    ok: boolean;
+    diagnostics: Diagnostic[];
+    validatorVersion: string;
+}
+export declare class OntologyValidator {
+    private ctx;
+    private _batchPending;
+    constructor(ctx?: Partial<ValidatorContext>);
+    /** Audit the whole current scene. */
+    validateScene(): ValidatorResult;
+    /** Validate a PROPOSED mutation before it is applied. */
+    validateOp(op: any): ValidatorResult;
+    /** Validate a BATCH of proposed ops against a hypothetical scene (ids created earlier count as existing). */
+    validateOps(ops: any[]): ValidatorResult;
+    private _checkItemType;
+    private _checkAssociations;
+    private _checkParams;
+    /** First reference cycle among relation edges (A→B→A), or none. */
+    private _checkCycles;
+    private _checkAddRelation;
+    /**
+     * Which position axes a structural placement relation writes: ['x','y'] for a
+     * full write, one axis for aligned_with, [] for aligned_with with no valid axis,
+     * or null if `relation` is not a structural placement relation.
+     */
+    private _structuralAxes;
+    /** Map<relation, Set<axis>> of structural placement relations already on a source. */
+    private _structuralAxesOnSource;
+    private _associationGraph;
+    private _reachPath;
+    private _checkCreate;
+    private _checkModify;
+    private _checkDelete;
+    private _checkKeyframes;
+    private _isVirtual;
+    private _refOk;
+    private _refMissing;
+    private _typeMatches;
+    private _nearest;
+    private _lev;
+    private _findCycle;
+    private _diag;
+    private _result;
+    private _safe;
+}
+/**
+ * Adapt a template DEFINITION ({ data: { items, relations } }) to a ValidatorContext,
+ * so OntologyValidator.validateScene() runs Node-side over a static design — no browser.
+ * Relations are folded into each source item's `data.associations`, mirroring how the
+ * live engine stores them, so dangling-target / cycle / duplicate checks all apply.
+ */
+export declare function buildDefinitionValidatorContext(definition: any): ValidatorContext;
+/** Convenience: run the semantic validator over a template definition. */
+export declare function validateDefinitionSemantics(definition: any): ValidatorResult;
+//# sourceMappingURL=ontology-validator.d.ts.map

package/dist/ontology/ontology-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ontology-validator.d.ts","sourceRoot":"","sources":["../../src/ontology/ontology-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,eAAO,MAAM,QAAQ;;;;CAAgE,CAAC;AAoCtF,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAA;KAAE,CAAC;IAC5C,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CACjH;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;IAC7B,WAAW,IAAI,kBAAkB,EAAE,CAAC;IACpC,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACnC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAAC;CAC7C;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC/B;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,GAAG,CAA4B;IACvC,OAAO,CAAC,aAAa,CAA4B;gBAErC,GAAG,GAAE,OAAO,CAAC,gBAAgB,CAAM;IAM/C,qCAAqC;IACrC,aAAa,IAAI,eAAe;IAahC,yDAAyD;IACzD,UAAU,CAAC,EAAE,EAAE,GAAG,GAAG,eAAe;IAiBpC,6GAA6G;IAC7G,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,eAAe;IAuBxC,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,kBAAkB;IA6B1B,OAAO,CAAC,YAAY;IA0CpB,mEAAmE;IACnE,OAAO,CAAC,YAAY;IAsBpB,OAAO,CAAC,iBAAiB;IAyDzB;;;;OAIG;IACH,OAAO,CAAC,eAAe;IASvB,sFAAsF;IACtF,OAAO,CAAC,uBAAuB;IAmB/B,OAAO,CAAC,iBAAiB;IAYzB,OAAO,CAAC,UAAU;IAYlB,OAAO,CAAC,YAAY;IASpB,OAAO,CAAC,YAAY;IAiBpB,OAAO,CAAC,YAAY;IAqBpB,OAAO,CAAC,eAAe;IA4BvB,OAAO,CAAC,UAAU;IAElB,OAAO,CAAC,MAAM;IAQd,OAAO,CAAC,WAAW;IAcnB,OAAO,CAAC,YAAY;IAWpB,OAAO,CAAC,QAAQ;IAYhB,OAAO,CAAC,IAAI;IAcZ,OAAO,CAAC,UAAU;IAclB,OAAO,CAAC,KAAK;IAIb,OAAO,CAAC,OAAO;IAgBf,OAAO,CAAC,KAAK;CAGd;AAeD;;;;;GAKG;AACH,wBAAgB,+BAA+B,CAAC,UAAU,EAAE,GAAG,GAAG,gBAAgB,CAoCjF;AAED,0EAA0E;AAC1E,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,GAAG,GAAG,eAAe,CAE5E"}