@yss123/cage-cli 0.0.0-stage → 0.1.0

package/dist/ontology.js

@@ -0,0 +1,270 @@
+// 抽取器：把声明变成一张本体图（节点 + 边），写到 .cage/ontology.json。规则检查、影响分析、测试生成都读这张图。
+import { createHash } from 'node:crypto';
+import { snake, stableStringify } from '@yss123/cage-kernel';
+import { z } from 'zod';
+const h = (v) => createHash('sha256').update(stableStringify(v)).digest('hex').slice(0, 12);
+function jsonSchema(s) {
+    try {
+        return z.toJSONSchema(s, { unrepresentable: 'any', io: 'input' });
+    }
+    catch {
+        return null;
+    }
+}
+function fieldAttrs(f) {
+    return {
+        kind: f.kind,
+        sql: f.sql,
+        optional: f.isOptional,
+        sensitive: f.sensitiveKind ?? null,
+        ref: f.ref ?? null,
+        unique: !!f.isUnique,
+        hidden: !!f.isHidden,
+        description: f.description ?? null,
+        values: f.values ?? null,
+        shape: f.shape
+            ? Object.fromEntries(Object.entries(f.shape).map(([k, sf]) => [
+                k,
+                { kind: sf.kind, optional: sf.isOptional },
+            ]))
+            : null,
+    };
+}
+export function extract(reg, sites = [], unsafeCount = 0) {
+    const nodes = [];
+    const edges = [];
+    const siteOf = new Map(sites.map((s) => [s.exportName, s]));
+    const where = (v) => {
+        const n = reg.nameOf(v);
+        const s = n ? siteOf.get(n) : undefined;
+        return s ? { file: s.file, line: s.line } : {};
+    };
+    const textHash = (v) => {
+        const n = reg.nameOf(v);
+        const s = n ? siteOf.get(n) : undefined;
+        // Git 的 autocrlf 会改变检出文件的换行。源码哈希统一换行，避免没有业务改动
+        // 却把整张命令图都报成变化；字符串字面量的转义内容仍保留原样。
+        return s ? h(s.text.replace(/\r\n/g, '\n')) : null;
+    };
+    const push = (kind, id, attrs, at = {}) => nodes.push({ kind, id, hash: h({ kind, id, attrs }), ...at, attrs });
+    const aggOfField = new Map();
+    for (const a of reg.aggregates) {
+        push('aggregate', a.name, {
+            table: `${a.table.schema}.${a.table.name}`,
+            scope: { dept: a.scope.deptField ?? null, owner: a.scope.ownerField ?? null },
+            invariants: Object.keys(a.invariants),
+            invariantSrc: Object.fromEntries(Object.entries(a.invariants).map(([k, fn]) => [k, h(String(fn))])),
+            description: a.description ?? null,
+            defaultStates: a.states.values.join() === 'active,deleted',
+        }, where(a));
+        for (const [k, f] of Object.entries(a.fields)) {
+            push('field', `${a.name}.${k}`, fieldAttrs(f));
+            edges.push({ kind: 'field', from: a.name, to: `${a.name}.${k}` });
+            aggOfField.set(`${a.name}.${k}`, a);
+            if (f.ref)
+                edges.push({ kind: 'refs', from: `${a.name}.${k}`, to: f.ref });
+        }
+        for (const s of a.states.values) {
+            push('state', `${a.name}.${s}`, {
+                terminal: a.states.terminal.includes(s),
+                initial: a.states.initial === s,
+            });
+        }
+        push('capability', `${a.name}.read`, { kind: 'read' });
+        push('capability', `${a.name}.export`, { kind: 'export' });
+    }
+    for (const e of reg.events) {
+        push('event', e.name, { fields: Object.fromEntries(Object.entries(e.fields).map(([k, f]) => [k, fieldAttrs(f)])) }, where(e));
+    }
+    for (const c of reg.commands) {
+        const { cmd, capability } = c;
+        const agg = cmd.agg.name;
+        push('command', capability, {
+            from: cmd.from,
+            to: cmd.to,
+            invokedBy: cmd.invokedBy,
+            input: jsonSchema(cmd.input),
+            reads: Object.fromEntries(Object.entries(cmd.reads).map(([k, a]) => [k, a.name])),
+            emits: cmd.emits.map((e) => e.event.name),
+            customEmit: cmd.emits.filter((e) => e.map).map((e) => e.event.name),
+            constraints: cmd.constraints.map((k) => k.name),
+            src: textHash(cmd) ?? h(String(cmd.handler)),
+            domainCodes: sites.find((s) => s.exportName === c.exportName)?.domainCodes ?? [],
+            public: cmd.public,
+        }, where(cmd));
+        const froms = cmd.from === 'new' ? ['[new]'] : cmd.from;
+        for (const f of froms) {
+            edges.push({
+                kind: 'transition',
+                from: f === '[new]' ? `${agg}.[new]` : `${agg}.${f}`,
+                // to: null 是各允许起始状态上的自环，不能生成名为 null 的虚假状态。
+                to: `${agg}.${cmd.to ?? f}`,
+                via: capability,
+            });
+        }
+        for (const [alias, a] of Object.entries(cmd.reads))
+            edges.push({ kind: 'reads', from: capability, to: a.name, alias });
+        for (const spec of cmd.emits) {
+            edges.push({ kind: 'emits', from: capability, to: spec.event.name });
+            // 事件载荷用到了聚合的哪些字段（默认映射按同名字段）
+            if (!spec.map) {
+                for (const k of Object.keys(spec.event.fields)) {
+                    if (k in cmd.agg.fields)
+                        edges.push({ kind: 'uses', from: spec.event.name, to: `${agg}.${k}`, as: '事件载荷' });
+                }
+            }
+        }
+        for (const k of cmd.constraints) {
+            for (const f of k.fields ?? [])
+                edges.push({ kind: 'uses', from: capability, to: `${agg}.${f}`, as: `约束 ${k.name}` });
+        }
+    }
+    for (const { r, name } of reg.reactions) {
+        push('reaction', name, {
+            tx: r.tx,
+            acquires: r.acquires ?? null,
+            releases: r.releases ?? null,
+            event: r.event.name,
+            command: reg.capabilityOf(r.command),
+            src: h(String(r.map)),
+        }, where(r));
+        edges.push({ kind: 'triggers', from: r.event.name, to: name });
+        edges.push({
+            kind: 'targets',
+            from: name,
+            to: reg.capabilityOf(r.command),
+            acquires: r.acquires,
+            releases: r.releases,
+        });
+    }
+    for (const q of reg.queries) {
+        push('query', q.name, {
+            reads: q.reads.map((a) => a.name),
+            sql: q.sql ? h(q.sql) : null,
+            build: q.build ? h(String(q.build)) : null,
+            input: jsonSchema(q.input),
+            sqlText: q.sql ?? null,
+        }, where(q));
+        for (const a of q.reads) {
+            edges.push({ kind: 'queries', from: q.name, to: a.name });
+            const text = (q.sql ?? String(q.build ?? '')).toLowerCase();
+            for (const k of Object.keys(a.fields)) {
+                if (new RegExp(`\\b(${snake(k)}|${k.toLowerCase()})\\b`).test(text))
+                    edges.push({ kind: 'uses', from: q.name, to: `${a.name}.${k}`, as: '查询' });
+            }
+        }
+    }
+    for (const { a, name } of reg.approvals) {
+        push('approval', name, {
+            process: a.process,
+            aggregate: a.agg.name,
+            start: a.start.name,
+            routable: a.routable,
+            onApproved: reg.capabilityOf(a.onApproved),
+            onRejected: reg.capabilityOf(a.onRejected),
+            cancelOn: a.cancelOn.map((e) => e.name),
+        }, where(a));
+        edges.push({ kind: 'triggers', from: a.start.name, to: name });
+        edges.push({ kind: 'binds', from: name, to: reg.capabilityOf(a.onApproved) });
+        edges.push({ kind: 'binds', from: name, to: reg.capabilityOf(a.onRejected) });
+        for (const f of a.routable)
+            edges.push({ kind: 'uses', from: name, to: `${a.agg.name}.${f}`, as: '可路由字段' });
+    }
+    for (const j of reg.jobs) {
+        push('job', j.name, {
+            cron: j.cron,
+            reads: j.reads.map((a) => a.name),
+            calls: j.calls.map((c) => reg.capabilityOf(c)),
+            src: h(String(j.run)),
+        }, where(j));
+        for (const a of j.reads)
+            edges.push({ kind: 'queries', from: j.name, to: a.name });
+        for (const c of j.calls)
+            edges.push({ kind: 'calls', from: j.name, to: reg.capabilityOf(c) });
+    }
+    for (const e of reg.extensions) {
+        const v = e.value;
+        if (e.kind === 'ROUTE') {
+            const binding = reg.approvalByProcess(v.process);
+            push('route', `route:${v.process}`, { process: v.process, nodes: v.nodes }, { ...(siteOf.get(e.name) ? { file: siteOf.get(e.name).file, line: siteOf.get(e.name).line } : {}) });
+            if (binding) {
+                edges.push({ kind: 'binds', from: `route:${v.process}`, to: binding.name });
+                for (const f of v.fieldsUsed)
+                    edges.push({
+                        kind: 'uses',
+                        from: `route:${v.process}`,
+                        to: `${binding.a.agg.name}.${f}`,
+                        as: '路由条件',
+                    });
+            }
+        }
+        else if (e.kind === 'CONNECTOR') {
+            push('connector', `connector:${v.name}`, {
+                hosts: v.hosts,
+                secret: v.secret ?? null,
+                operations: Object.fromEntries(Object.entries(v.operations).map(([k, o]) => [
+                    k,
+                    {
+                        effect: o.effect,
+                        method: o.method,
+                        path: o.path,
+                        request: jsonSchema(o.request),
+                        response: jsonSchema(o.response),
+                    },
+                ])),
+            }, siteOf.get(e.name) ? { file: siteOf.get(e.name).file, line: siteOf.get(e.name).line } : {});
+        }
+        else if (e.kind === 'OUTBOUND') {
+            const id = e.name;
+            push('outbound', id, {
+                event: v.event.name,
+                connector: v.op.connector.name,
+                operation: v.op.name,
+                onSuccess: v.onSuccess ? reg.capabilityOf(v.onSuccess.command) : null,
+                src: h(String(v.map)),
+            }, siteOf.get(e.name) ? { file: siteOf.get(e.name).file, line: siteOf.get(e.name).line } : {});
+            edges.push({ kind: 'triggers', from: v.event.name, to: id });
+            edges.push({ kind: 'targets', from: id, to: `connector:${v.op.connector.name}` });
+            if (v.onSuccess)
+                edges.push({ kind: 'targets', from: id, to: reg.capabilityOf(v.onSuccess.command) });
+            // 出站映射用到的事件字段 → 这些字段在聚合里的同名字段
+            const emitters = reg.commands.filter((c) => c.cmd.emits.some((s) => s.event === v.event));
+            for (const f of v.fields ?? []) {
+                for (const c of emitters)
+                    if (f in c.cmd.agg.fields)
+                        edges.push({ kind: 'uses', from: id, to: `${c.cmd.agg.name}.${f}`, as: '出站映射' });
+            }
+        }
+        else if (e.kind === 'INBOUND') {
+            const id = e.name;
+            push('inbound', id, {
+                connector: v.connector.name,
+                event: v.event,
+                command: reg.capabilityOf(v.command),
+                payload: jsonSchema(v.payload),
+            }, siteOf.get(e.name) ? { file: siteOf.get(e.name).file, line: siteOf.get(e.name).line } : {});
+            edges.push({ kind: 'targets', from: id, to: reg.capabilityOf(v.command) });
+        }
+    }
+    nodes.sort((a, b) => a.id.localeCompare(b.id) || a.kind.localeCompare(b.kind));
+    return { version: 1, nodes, edges, unsafeCount };
+}
+export function diffOntology(base, head) {
+    const key = (n) => `${n.kind}:${n.id}`;
+    const b = new Map(base.nodes.map((n) => [key(n), n]));
+    const hd = new Map(head.nodes.map((n) => [key(n), n]));
+    const out = { added: [], removed: [], changed: [] };
+    for (const [k, n] of hd) {
+        const old = b.get(k);
+        if (!old)
+            out.added.push(n);
+        else if (old.hash !== n.hash)
+            out.changed.push({ before: old, after: n });
+    }
+    for (const [k, n] of b)
+        if (!hd.has(k))
+            out.removed.push(n);
+    return out;
+}
+export const nodeById = (g) => new Map(g.nodes.map((n) => [n.id, n]));
+//# sourceMappingURL=ontology.js.map

package/dist/ontology.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ontology.js","sourceRoot":"","sources":["../src/ontology.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,eAAe,EAAiD,MAAM,qBAAqB,CAAC;AAC5G,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA6DxB,MAAM,CAAC,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAErG,SAAS,UAAU,CAAC,CAAY;IAC9B,IAAI,CAAC;QACH,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,CAAM;IACxB,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,QAAQ,EAAE,CAAC,CAAC,UAAU;QACtB,SAAS,EAAE,CAAC,CAAC,aAAa,IAAI,IAAI;QAClC,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,IAAI;QAClB,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ;QACpB,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ;QACpB,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI;QAClC,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,IAAI;QACxB,KAAK,EAAE,CAAC,CAAC,KAAK;YACZ,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAgB,EAAE,EAAE,CAAC;gBACtD,CAAC;gBACD,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,UAAU,EAAE;aAC3C,CAAC,CACH;YACH,CAAC,CAAC,IAAI;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,GAAa,EAAE,QAAoB,EAAE,EAAE,WAAW,GAAG,CAAC;IAC5E,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE;QAC1B,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE;QAC7B,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxC,8CAA8C;QAC9C,iCAAiC;QACjC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CACX,IAAc,EACd,EAAU,EACV,KAA8B,EAC9B,KAAuC,EAAE,EACzC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAE1E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAI,CACF,WAAW,EACX,CAAC,CAAC,IAAI,EACN;YACE,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE;YAC1C,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE;YAC7E,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;YACrC,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACnG,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI;YAClC,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,gBAAgB;SAC3D,EACD,KAAK,CAAC,CAAC,CAAC,CACT,CAAC;QACF,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAgB,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAClE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACpC,IAAI,CAAC,CAAC,GAAG;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAChC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE;gBAC9B,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACvC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,CAAC;aAChC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,IAAI,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,IAAI,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QAC3B,IAAI,CACF,OAAO,EACP,CAAC,CAAC,IAAI,EACN,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EACtG,KAAK,CAAC,CAAC,CAAC,CACT,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QACzB,IAAI,CACF,SAAS,EACT,UAAU,EACV;YACE,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,EAAE,EAAE,GAAG,CAAC,EAAE;YACV,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;YAC5B,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACjF,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;YACzC,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;YACnE,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YAC/C,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5C,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,WAAW,IAAI,EAAE;YAChF,MAAM,EAAE,GAAG,CAAC,MAAM;SACnB,EACD,KAAK,CAAC,GAAG,CAAC,CACX,CAAC;QACF,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,IAAiB,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE;gBACpD,2CAA2C;gBAC3C,EAAE,EAAE,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE;gBAC3B,GAAG,EAAE,UAAU;aAChB,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACrE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACrE,4BAA4B;YAC5B,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACd,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC/C,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM;wBACrB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE;gBAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,GAAG,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QACxC,IAAI,CACF,UAAU,EACV,IAAI,EACJ;YACE,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,IAAI;YAC5B,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,IAAI;YAC5B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI;YACnB,OAAO,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;YACpC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;SACtB,EACD,KAAK,CAAC,CAAC,CAAC,CACT,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;YAC/B,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;SACrB,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CACF,OAAO,EACP,CAAC,CAAC,IAAI,EACN;YACE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACjC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI;YAC5B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;YAC1C,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;YAC1B,OAAO,EAAE,CAAC,CAAC,GAAG,IAAI,IAAI;SACvB,EACD,KAAK,CAAC,CAAC,CAAC,CACT,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1D,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC5D,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,IAAI,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QACxC,IAAI,CACF,UAAU,EACV,IAAI,EACJ;YACE,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;YACrB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI;YACnB,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,UAAU,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;YAC1C,UAAU,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;YAC1C,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;SACxC,EACD,KAAK,CAAC,CAAC,CAAC,CACT,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YACxB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,CACF,KAAK,EACL,CAAC,CAAC,IAAI,EACN;YACE,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACjC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC9C,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;SACtB,EACD,KAAK,CAAC,CAAC,CAAC,CACT,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChG,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACjD,IAAI,CACF,OAAO,EACP,SAAS,CAAC,CAAC,OAAO,EAAE,EACpB,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,EACtC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CACtG,CAAC;YACF,IAAI,OAAO,EAAE,CAAC;gBACZ,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAsB;oBACtC,KAAK,CAAC,IAAI,CAAC;wBACT,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,EAAE;wBAC1B,EAAE,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE;wBAChC,EAAE,EAAE,MAAM;qBACX,CAAC,CAAC;YACP,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClC,IAAI,CACF,WAAW,EACX,aAAa,CAAC,CAAC,IAAI,EAAE,EACrB;gBACE,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,IAAI;gBACxB,UAAU,EAAE,MAAM,CAAC,WAAW,CAC5B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAgB,EAAE,EAAE,CAAC;oBAC1D,CAAC;oBACD;wBACE,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;wBAC9B,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;qBACjC;iBACF,CAAC,CACH;aACF,EACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAC7F,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC;YAClB,IAAI,CACF,UAAU,EACV,EAAE,EACF;gBACE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI;gBACnB,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI;gBAC9B,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI;gBACpB,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;gBACrE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;aACtB,EACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAC7F,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAClF,IAAI,CAAC,CAAC,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACtG,8BAA8B;YAC9B,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1F,KAAK,MAAM,CAAC,IAAK,CAAC,CAAC,MAAmB,IAAI,EAAE,EAAE,CAAC;gBAC7C,KAAK,MAAM,CAAC,IAAI,QAAQ;oBACtB,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM;wBACvB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC;YAClB,IAAI,CACF,SAAS,EACT,EAAE,EACF;gBACE,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI;gBAC3B,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,OAAO,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;gBACpC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;aAC/B,EACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAC7F,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/E,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AACnD,CAAC;AAQD,MAAM,UAAU,YAAY,CAAC,IAAc,EAAE,IAAc;IACzD,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;IAChD,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,GAAG,GAAa,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC9D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,GAAG;YAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aACvB,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAW,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/process.d.ts

@@ -0,0 +1,6 @@
+import { type ChildProcess } from 'node:child_process';
+export declare function binPath(pkg: string, bin?: string): string;
+export declare function launch(file: string, args: string[], cwd: string, env?: NodeJS.ProcessEnv): ChildProcess;
+export declare function run(file: string, args: string[], cwd: string, env?: NodeJS.ProcessEnv): Promise<number>;
+/** 升级时安装更新后的清单。这里不接收任意 shell 字符串，参数固定为 install。 */
+export declare function installDependencies(cwd: string): Promise<number>;

package/dist/process.js

@@ -0,0 +1,39 @@
+import { spawn } from 'node:child_process';
+import { fileURLToPath } from 'node:url';
+import { dirname, join } from 'node:path';
+import { existsSync, readFileSync } from 'node:fs';
+export function binPath(pkg, bin) {
+    // 使用 ESM 解析条件，dependency-cruiser 等纯 ESM 包没有 require 入口。
+    let dir = dirname(fileURLToPath(import.meta.resolve(pkg)));
+    while (!existsSync(join(dir, 'package.json')) ||
+        JSON.parse(readFileSync(join(dir, 'package.json'), 'utf8')).name !== pkg) {
+        const parent = dirname(dir);
+        if (parent === dir)
+            throw new Error(`找不到 ${pkg} 的命令入口`);
+        dir = parent;
+    }
+    const p = JSON.parse(readFileSync(join(dir, 'package.json'), 'utf8'));
+    return join(dir, typeof p.bin === 'string' ? p.bin : p.bin[bin ?? Object.keys(p.bin)[0]]);
+}
+export function launch(file, args, cwd, env = process.env) {
+    return spawn(process.execPath, [file, ...args], { cwd, env, stdio: 'inherit', windowsHide: true });
+}
+export async function run(file, args, cwd, env = process.env) {
+    const child = launch(file, args, cwd, env);
+    return new Promise((resolve, reject) => {
+        child.once('error', reject);
+        child.once('exit', (code) => resolve(code ?? 1));
+    });
+}
+/** 升级时安装更新后的清单。这里不接收任意 shell 字符串，参数固定为 install。 */
+export async function installDependencies(cwd) {
+    const pnpm = process.env.npm_execpath;
+    if (pnpm && /pnpm/i.test(pnpm))
+        return run(pnpm, ['install'], cwd);
+    const child = spawn('pnpm', ['install'], { cwd, stdio: 'inherit', windowsHide: true, shell: process.platform === 'win32' });
+    return new Promise((resolve, reject) => {
+        child.once('error', reject);
+        child.once('exit', (code) => resolve(code ?? 1));
+    });
+}
+//# sourceMappingURL=process.js.map

package/dist/process.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"process.js","sourceRoot":"","sources":["../src/process.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAqB,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEnD,MAAM,UAAU,OAAO,CAAC,GAAW,EAAE,GAAY;IAC/C,wDAAwD;IACxD,IAAI,GAAG,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3D,OACE,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,EACxE,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC;QACxD,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,IAAc,EAAE,GAAW,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG;IACjF,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;AACrG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,GAAG,CAAC,IAAY,EAAE,IAAc,EAAE,GAAW,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG;IACpF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3C,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,mDAAmD;AACnD,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,GAAW;IACnD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;IACtC,IAAI,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC,CAAC;IAC5H,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/rules.d.ts

@@ -0,0 +1,23 @@
+import type { Finding } from './findings.js';
+import type { Ontology } from './ontology.js';
+/** 状态 → 进入时获得的资源：命令迁移到 S、发出事件、事件触发标注了 acquires 的反应 */
+export declare function statesHoldingResources(g: Ontology): {
+    state: string;
+    resource: string;
+    via: string;
+}[];
+/** CAGE-PAIR-002：进入某状态时获得了资源，从该状态出发的每一条迁移都必须释放它，或进入一个同样持有它的状态 */
+export declare function checkPairing(g: Ontology): Finding[];
+/** CAGE-STATE-010：每个状态都能从初始状态到达；CAGE-STATE-011：非终态必须有出边 */
+export declare function checkStates(g: Ontology): Finding[];
+/** CAGE-SENS-001：敏感字段不得原样进入事件载荷 */
+export declare function checkSensitiveEvents(g: Ontology): Finding[];
+/** CAGE-APPR-010：invokedBy 为 process 的命令必须有审批绑定或反应调用它，否则没有人能调用 */
+export declare function checkProcessCommands(g: Ontology): Finding[];
+/** CAGE-QUERY-003：手写 SQL 只能引用 reads 里聚合的安全视图 */
+export declare function checkQueries(g: Ontology): Finding[];
+/** CAGE-ORG-001：domain 必须包含框架自带的组织模型 */
+export declare function checkOrg(g: Ontology): Finding[];
+/** CAGE-EVENT-002：事件载荷只允许向后兼容的变更（只能新增可选字段） */
+export declare function checkEventCompat(base: Ontology, head: Ontology): Finding[];
+export declare function runRules(g: Ontology, base?: Ontology | null): Finding[];

package/dist/rules.js

@@ -0,0 +1,251 @@
+const at = (n) => (n?.file ? `${n.file}:${n.line ?? 1}` : undefined);
+function index(g) {
+    const byId = new Map(g.nodes.map((n) => [`${n.kind}:${n.id}`, n]));
+    const get = (kind, id) => byId.get(`${kind}:${id}`);
+    const out = (kind, from) => g.edges.filter((e) => e.kind === kind && e.from === from);
+    const into = (kind, to) => g.edges.filter((e) => e.kind === kind && e.to === to);
+    return { get, out, into };
+}
+/** 状态 → 进入时获得的资源：命令迁移到 S、发出事件、事件触发标注了 acquires 的反应 */
+export function statesHoldingResources(g) {
+    const { out } = index(g);
+    const held = [];
+    for (const t of g.edges.filter((e) => e.kind === 'transition')) {
+        for (const ev of out('emits', t.via)) {
+            for (const tr of out('triggers', ev.to)) {
+                for (const tg of out('targets', tr.to)) {
+                    if (tg.acquires && !held.some((h) => h.state === t.to && h.resource === tg.acquires))
+                        held.push({ state: t.to, resource: tg.acquires, via: t.via });
+                }
+            }
+        }
+    }
+    return held;
+}
+function releasesOnPath(g, via, resource) {
+    const { out } = index(g);
+    for (const ev of out('emits', via)) {
+        for (const tr of out('triggers', ev.to)) {
+            if (out('targets', tr.to).some((tg) => tg.releases === resource))
+                return true;
+        }
+    }
+    return false;
+}
+/** CAGE-PAIR-002：进入某状态时获得了资源，从该状态出发的每一条迁移都必须释放它，或进入一个同样持有它的状态 */
+export function checkPairing(g) {
+    const { get } = index(g);
+    const findings = [];
+    const held = statesHoldingResources(g);
+    const holds = (state, resource) => held.some((h) => h.state === state && h.resource === resource);
+    for (const h of held) {
+        for (const t of g.edges.filter((e) => e.kind === 'transition' && e.from === h.state && e.to !== h.state)) {
+            if (!releasesOnPath(g, t.via, h.resource) && !holds(t.to, h.resource)) {
+                findings.push({
+                    code: 'CAGE-PAIR-002',
+                    at: at(get('command', t.via)),
+                    reason: `${t.via} 让单据离开 ${h.state}，但没有释放 ${h.resource}`,
+                    fix: `新增订阅 ${t.via} 所发事件的反应，并标注 releases: '${h.resource}'`,
+                });
+            }
+        }
+    }
+    return findings;
+}
+/** CAGE-STATE-010：每个状态都能从初始状态到达；CAGE-STATE-011：非终态必须有出边 */
+export function checkStates(g) {
+    const { get } = index(g);
+    const findings = [];
+    for (const a of g.nodes.filter((n) => n.kind === 'aggregate')) {
+        const states = g.nodes.filter((n) => n.kind === 'state' && n.id.startsWith(`${a.id}.`));
+        const trans = g.edges.filter((e) => e.kind === 'transition' && e.to.startsWith(`${a.id}.`));
+        const reached = new Set(trans.filter((t) => t.from === `${a.id}.[new]`).map((t) => t.to));
+        if (reached.size === 0) {
+            const init = states.find((s) => s.attrs.initial);
+            if (init)
+                reached.add(init.id);
+        }
+        let grew = true;
+        while (grew) {
+            grew = false;
+            for (const t of trans)
+                if (reached.has(t.from) && !reached.has(t.to)) {
+                    reached.add(t.to);
+                    grew = true;
+                }
+        }
+        const defaults = !!a.attrs.defaultStates;
+        for (const s of states) {
+            if (defaults && s.id.endsWith('.deleted'))
+                continue; // 默认生命周期的 deleted 由框架提供
+            if (!reached.has(s.id)) {
+                findings.push({
+                    code: 'CAGE-STATE-010',
+                    at: at(a),
+                    reason: `状态 ${s.id} 从初始状态不可达`,
+                    fix: '增加一个迁移到它的命令，或从 states 里删掉它',
+                });
+            }
+            const outs = trans.filter((t) => t.from === s.id);
+            if (!s.attrs.terminal && outs.length === 0 && !defaults) {
+                findings.push({
+                    code: 'CAGE-STATE-011',
+                    at: at(a),
+                    reason: `非终态 ${s.id} 没有任何出边，单据会卡在这里`,
+                    fix: '增加离开它的命令，或在 states 里把它标记为 terminal',
+                });
+            }
+        }
+    }
+    void get;
+    return findings;
+}
+/** CAGE-SENS-001：敏感字段不得原样进入事件载荷 */
+export function checkSensitiveEvents(g) {
+    const { get, out } = index(g);
+    const findings = [];
+    for (const c of g.nodes.filter((n) => n.kind === 'command')) {
+        const agg = c.id.split('.')[0];
+        const custom = new Set(c.attrs.customEmit ?? []);
+        for (const e of out('emits', c.id)) {
+            const ev = get('event', e.to);
+            if (!ev)
+                continue;
+            for (const [k, f] of Object.entries((ev.attrs.fields ?? {}))) {
+                const af = get('field', `${agg}.${k}`);
+                if (af?.attrs.sensitive && !f.sensitive) {
+                    findings.push({
+                        code: 'CAGE-SENS-001',
+                        at: at(ev),
+                        reason: `事件 ${ev.id} 的载荷字段 ${k}${custom.has(ev.id) ? '（自定义映射）' : ''} 对应敏感字段 ${agg}.${k}，会原样进入 outbox 和下游系统`,
+                        fix: `在事件声明里把 ${k} 标成 .sensitive('${af.attrs.sensitive}')（载荷里自动掩码），或从载荷里去掉它`,
+                    });
+                }
+            }
+        }
+    }
+    return findings;
+}
+/** CAGE-APPR-010：invokedBy 为 process 的命令必须有审批绑定或反应调用它，否则没有人能调用 */
+export function checkProcessCommands(g) {
+    const { into } = index(g);
+    const findings = [];
+    for (const c of g.nodes.filter((n) => n.kind === 'command')) {
+        const by = c.attrs.invokedBy;
+        const callers = [...into('binds', c.id), ...into('targets', c.id), ...into('calls', c.id)];
+        if (by.includes('process') && !by.includes('user') && callers.length === 0) {
+            findings.push({
+                code: 'CAGE-APPR-010',
+                at: at(c),
+                reason: `命令 ${c.id} 只接受流程调用，但没有审批绑定或反应调用它`,
+                fix: '用 approval(...) 把它绑定为 onApproved/onRejected，或让一个反应调用它；也可能是 invokedBy 写错了',
+            });
+        }
+        if (by.includes('external') && !by.includes('user') && callers.length === 0) {
+            findings.push({
+                code: 'CAGE-CONN-012',
+                at: at(c),
+                reason: `命令 ${c.id} 只接受外部调用，但没有入站回调或出站映射调用它`,
+                fix: '用 inbound(...) 或 outbound(..., { onSuccess }) 调用它',
+                severity: 'warning',
+            });
+        }
+    }
+    return findings;
+}
+/** CAGE-QUERY-003：手写 SQL 只能引用 reads 里聚合的安全视图 */
+export function checkQueries(g) {
+    const { get } = index(g);
+    const findings = [];
+    for (const q of g.nodes.filter((n) => n.kind === 'query')) {
+        const text = q.attrs.sqlText;
+        if (!text)
+            continue;
+        const allowed = new Set((q.attrs.reads ?? []).map((a) => String(get('aggregate', a)?.attrs.table ?? '').split('.')[1]));
+        for (const m of text.matchAll(/\bsafe\.("?)([a-z_][a-z0-9_]*)\1/gi)) {
+            if (!allowed.has(m[2])) {
+                findings.push({
+                    code: 'CAGE-QUERY-003',
+                    at: at(q),
+                    reason: `查询 ${q.id} 引用了 safe.${m[2]}，但 reads 里没有声明对应的聚合`,
+                    fix: `在 reads 里加上 safe.${m[2]} 对应的聚合，影响分析才能找到这个查询`,
+                });
+            }
+        }
+        if (/\b(from|join)\s+(?!safe\.|\(|lateral\b|unnest\b|generate_series\b|jsonb_|json_)("?[a-z_][a-z0-9_]*"?)\s*(\.|\b)/i.test(text.replace(/--.*$/gm, ''))) {
+            const m = /\b(from|join)\s+(?!safe\.|\(|lateral\b|unnest\b|generate_series\b|jsonb_|json_)("?[a-z_][a-z0-9_.]*"?)/i.exec(text);
+            if (m && m[2].includes('.'))
+                findings.push({
+                    code: 'CAGE-QUERY-003',
+                    at: at(q),
+                    reason: `查询 ${q.id} 引用了 ${m[2]}，只允许引用 safe.* 安全视图`,
+                    fix: '改为查询对应的安全视图',
+                });
+        }
+    }
+    return findings;
+}
+/** CAGE-ORG-001：domain 必须包含框架自带的组织模型 */
+export function checkOrg(g) {
+    const has = (id) => g.nodes.some((n) => n.kind === 'aggregate' && n.id === id);
+    return has('User') && has('Dept') && has('Role')
+        ? []
+        : [
+            {
+                code: 'CAGE-ORG-001',
+                reason: 'domain 没有导出组织模型（User、Dept、Role）',
+                fix: "在 domain 的 index.ts 里加上 export * from '@yss123/cage-admin/domain'",
+            },
+        ];
+}
+/** CAGE-EVENT-002：事件载荷只允许向后兼容的变更（只能新增可选字段） */
+export function checkEventCompat(base, head) {
+    const findings = [];
+    const b = new Map(base.nodes.filter((n) => n.kind === 'event').map((n) => [n.id, n]));
+    for (const ev of head.nodes.filter((n) => n.kind === 'event')) {
+        const old = b.get(ev.id);
+        if (!old)
+            continue;
+        const of = (old.attrs.fields ?? {});
+        const nf = (ev.attrs.fields ?? {});
+        for (const [k, f] of Object.entries(of)) {
+            if (!(k in nf))
+                findings.push({
+                    code: 'CAGE-EVENT-002',
+                    at: at(ev),
+                    reason: `事件 ${ev.id} 删除了载荷字段 ${k}，下游消费者会出错`,
+                    fix: '保留旧字段（标注废弃），新增字段承载新含义；或新建一个事件',
+                });
+            else if (nf[k].kind !== f.kind) {
+                findings.push({
+                    code: 'CAGE-EVENT-002',
+                    at: at(ev),
+                    reason: `事件 ${ev.id} 的字段 ${k} 类型从 ${f.kind} 变成了 ${nf[k].kind}`,
+                    fix: '新增一个字段承载新类型，旧字段保留',
+                });
+            }
+        }
+        for (const [k, f] of Object.entries(nf)) {
+            if (!(k in of) && !f.optional)
+                findings.push({
+                    code: 'CAGE-EVENT-002',
+                    at: at(ev),
+                    reason: `事件 ${ev.id} 新增了必填字段 ${k}，已在 outbox 里的旧事件没有它`,
+                    fix: `把 ${k} 声明为 .optional()`,
+                });
+        }
+    }
+    return findings;
+}
+export function runRules(g, base) {
+    return [
+        ...checkOrg(g),
+        ...checkStates(g),
+        ...checkPairing(g),
+        ...checkSensitiveEvents(g),
+        ...checkProcessCommands(g),
+        ...checkQueries(g),
+        ...(base ? checkEventCompat(base, g) : []),
+    ];
+}
+//# sourceMappingURL=rules.js.map