@ai.ntellect/core 1.0.0 → 1.1.0

package/dist/routing/checkpoint-adapter.d.ts

@@ -0,0 +1,30 @@
+import { PetriNet } from '../routing/index';
+import { Session } from '../routing/orchestrator';
+export interface IPetriCheckpointAdapter {
+    save(net: PetriNet, session?: Session): Promise<string>;
+    load(checkpointId: string): Promise<{
+        net: PetriNet;
+        session?: Session;
+    } | null>;
+    list(): Promise<Array<{
+        id: string;
+        timestamp: number;
+        sessionId?: string;
+    }>>;
+    delete(checkpointId: string): Promise<void>;
+}
+export declare class InMemoryPetriCheckpointAdapter implements IPetriCheckpointAdapter {
+    private checkpoints;
+    save(net: PetriNet, session?: Session): Promise<string>;
+    load(checkpointId: string): Promise<{
+        net: PetriNet;
+        session?: Session;
+    } | null>;
+    list(): Promise<Array<{
+        id: string;
+        timestamp: number;
+        sessionId?: string;
+    }>>;
+    delete(checkpointId: string): Promise<void>;
+}
+//# sourceMappingURL=checkpoint-adapter.d.ts.map

package/dist/routing/checkpoint-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-adapter.d.ts","sourceRoot":"","sources":["../../routing/checkpoint-adapter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAElD,MAAM,WAAW,uBAAuB;IACtC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACxD,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,QAAQ,CAAC;QAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IACjF,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC7C;AAED,qBAAa,8BAA+B,YAAW,uBAAuB;IAC5E,OAAO,CAAC,WAAW,CAA+B;IAE5C,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IA0BvD,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,QAAQ,CAAC;QAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAAC;IA4BhF,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAQ7E,MAAM,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;CAGlD"}

package/dist/routing/checkpoint-adapter.js

@@ -0,0 +1,83 @@
+"use strict";
+var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
+    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
+    return new (P || (P = Promise))(function (resolve, reject) {
+        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
+        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
+        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
+        step((generator = generator.apply(thisArg, _arguments || [])).next());
+    });
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.InMemoryPetriCheckpointAdapter = void 0;
+const index_1 = require("../routing/index");
+class InMemoryPetriCheckpointAdapter {
+    constructor() {
+        this.checkpoints = new Map();
+    }
+    save(net, session) {
+        return __awaiter(this, void 0, void 0, function* () {
+            const checkpointId = `petri-cp-${Date.now()}-${Math.random().toString(36).substr(2, 9)}`;
+            // Serialize marking
+            const marking = net.state.marking;
+            const serializedMarking = [];
+            for (const [pid, tokens] of marking) {
+                serializedMarking.push({
+                    placeId: pid,
+                    tokens: tokens.map(t => ({ id: t.id, data: t.data, createdAt: t.createdAt }))
+                });
+            }
+            const checkpoint = {
+                id: checkpointId,
+                timestamp: Date.now(),
+                sessionId: session === null || session === void 0 ? void 0 : session.id,
+                marking: serializedMarking,
+                history: net.state.history || [],
+                sessionContext: session === null || session === void 0 ? void 0 : session.context,
+            };
+            this.checkpoints.set(checkpointId, checkpoint);
+            return checkpointId;
+        });
+    }
+    load(checkpointId) {
+        return __awaiter(this, void 0, void 0, function* () {
+            const cp = this.checkpoints.get(checkpointId);
+            if (!cp)
+                return null;
+            const net = new index_1.PetriNet(cp.id);
+            const marking = net.state.marking;
+            for (const item of cp.marking) {
+                marking.set(item.placeId, item.tokens.map((t) => (Object.assign({}, t))));
+            }
+            net.state.history = [...cp.history];
+            let session;
+            if (cp.sessionId) {
+                session = {
+                    id: cp.sessionId,
+                    petriNet: net,
+                    context: cp.sessionContext || {},
+                    history: [...cp.history],
+                    createdAt: cp.timestamp,
+                    traceId: `trace-restored-${Date.now()}`,
+                };
+            }
+            return { net, session };
+        });
+    }
+    list() {
+        return __awaiter(this, void 0, void 0, function* () {
+            return Array.from(this.checkpoints.values()).map((cp) => ({
+                id: cp.id,
+                timestamp: cp.timestamp,
+                sessionId: cp.sessionId,
+            })).sort((a, b) => b.timestamp - a.timestamp);
+        });
+    }
+    delete(checkpointId) {
+        return __awaiter(this, void 0, void 0, function* () {
+            this.checkpoints.delete(checkpointId);
+        });
+    }
+}
+exports.InMemoryPetriCheckpointAdapter = InMemoryPetriCheckpointAdapter;
+//# sourceMappingURL=checkpoint-adapter.js.map

package/dist/routing/checkpoint-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-adapter.js","sourceRoot":"","sources":["../../routing/checkpoint-adapter.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,4CAA4C;AAU5C,MAAa,8BAA8B;IAA3C;QACU,gBAAW,GAAqB,IAAI,GAAG,EAAE,CAAC;IAmEpD,CAAC;IAjEO,IAAI,CAAC,GAAa,EAAE,OAAiB;;YACzC,MAAM,YAAY,GAAG,YAAY,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAEzF,oBAAoB;YACpB,MAAM,OAAO,GAAI,GAAW,CAAC,KAAK,CAAC,OAA6B,CAAC;YACjE,MAAM,iBAAiB,GAAU,EAAE,CAAC;YACpC,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACpC,iBAAiB,CAAC,IAAI,CAAC;oBACrB,OAAO,EAAE,GAAG;oBACZ,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;iBAC9E,CAAC,CAAC;YACL,CAAC;YAED,MAAM,UAAU,GAAG;gBACjB,EAAE,EAAE,YAAY;gBAChB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;gBACrB,SAAS,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,EAAE;gBACtB,OAAO,EAAE,iBAAiB;gBAC1B,OAAO,EAAG,GAAW,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE;gBACzC,cAAc,EAAG,OAAe,aAAf,OAAO,uBAAP,OAAO,CAAU,OAAO;aAC1C,CAAC;YAEF,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YAC/C,OAAO,YAAY,CAAC;QACtB,CAAC;KAAA;IAEK,IAAI,CAAC,YAAoB;;YAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAC9C,IAAI,CAAC,EAAE;gBAAE,OAAO,IAAI,CAAC;YAErB,MAAM,GAAG,GAAG,IAAI,gBAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,OAAO,GAAI,GAAW,CAAC,KAAK,CAAC,OAA6B,CAAC;YAEjE,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,mBAAM,CAAC,EAAG,CAAC,CAAC,CAAC;YACrE,CAAC;YAEA,GAAW,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;YAE7C,IAAI,OAA4B,CAAC;YACjC,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;gBACjB,OAAO,GAAG;oBACR,EAAE,EAAE,EAAE,CAAC,SAAS;oBAChB,QAAQ,EAAE,GAAG;oBACb,OAAO,EAAE,EAAE,CAAC,cAAc,IAAI,EAAE;oBAChC,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;oBACxB,SAAS,EAAE,EAAE,CAAC,SAAS;oBACvB,OAAO,EAAE,kBAAkB,IAAI,CAAC,GAAG,EAAE,EAAE;iBACjC,CAAC;YACX,CAAC;YAED,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;QAC1B,CAAC;KAAA;IAEK,IAAI;;YACR,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAO,EAAE,EAAE,CAAC,CAAC;gBAC7D,EAAE,EAAE,EAAE,CAAC,EAAE;gBACT,SAAS,EAAE,EAAE,CAAC,SAAS;gBACvB,SAAS,EAAE,EAAE,CAAC,SAAS;aACxB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC;KAAA;IAEK,MAAM,CAAC,YAAoB;;YAC/B,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACxC,CAAC;KAAA;CACF;AApED,wEAoEC"}

package/dist/routing/documentation-generator.d.ts

@@ -0,0 +1,47 @@
+import { PetriNet } from '../routing/index';
+import { CortexFlowOrchestrator } from '../routing/orchestrator';
+export interface DocumentationOptions {
+    outputDir: string;
+    format: 'markdown' | 'all';
+    includeHistory?: boolean;
+    includeState?: boolean;
+}
+export declare class PetriDocumentationGenerator {
+    /**
+     * Generate living documentation for a Petri net
+     */
+    generateForPetri(net: PetriNet, options: DocumentationOptions): Promise<void>;
+    /**
+     * Generate living documentation for an orchestrator session
+     */
+    generateForSession(orchestrator: CortexFlowOrchestrator, sessionId: string, options: DocumentationOptions): Promise<void>;
+    /**
+     * Generate Mermaid diagram for Petri net
+     */
+    private generateMermaid;
+    /**
+     * Generate Mermaid with current state highlighted
+     */
+    private generateMermaidWithState;
+    /**
+     * Generate Markdown documentation
+     */
+    private generateMarkdown;
+    /**
+     * Generate state documentation
+     */
+    private generateStateDoc;
+    /**
+     * Generate session report
+     */
+    private generateSessionReport;
+    /**
+     * Generate HTML preview
+     */
+    private generateHTML;
+    /**
+     * Sanitize filename
+     */
+    private sanitizeFilename;
+}
+//# sourceMappingURL=documentation-generator.d.ts.map

package/dist/routing/documentation-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"documentation-generator.d.ts","sourceRoot":"","sources":["../../routing/documentation-generator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAKjE,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,UAAU,GAAG,KAAK,CAAC;IAC3B,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,qBAAa,2BAA2B;IAEtC;;OAEG;IACG,gBAAgB,CACpB,GAAG,EAAE,QAAQ,EACb,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,IAAI,CAAC;IA8BhB;;OAEG;IACG,kBAAkB,CACtB,YAAY,EAAE,sBAAsB,EACpC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,IAAI,CAAC;IAoChB;;OAEG;IACH,OAAO,CAAC,eAAe;IAsCvB;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAsBhC;;OAEG;IACH,OAAO,CAAC,gBAAgB;IA0CxB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IA0DxB;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAsC7B;;OAEG;IACH,OAAO,CAAC,YAAY;IAyCpB;;OAEG;IACH,OAAO,CAAC,gBAAgB;CAGzB"}

package/dist/routing/documentation-generator.js

@@ -0,0 +1,320 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
+    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
+    return new (P || (P = Promise))(function (resolve, reject) {
+        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
+        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
+        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
+        step((generator = generator.apply(thisArg, _arguments || [])).next());
+    });
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PetriDocumentationGenerator = void 0;
+const fs = __importStar(require("fs/promises"));
+const path = __importStar(require("path"));
+class PetriDocumentationGenerator {
+    /**
+     * Generate living documentation for a Petri net
+     */
+    generateForPetri(net, options) {
+        return __awaiter(this, void 0, void 0, function* () {
+            const { outputDir, format } = options;
+            yield fs.mkdir(outputDir, { recursive: true });
+            // Generate Mermaid diagram
+            const mermaid = this.generateMermaid(net);
+            yield fs.writeFile(path.join(outputDir, `${this.sanitizeFilename(net.name)}-diagram.mmd`), mermaid);
+            // Generate Markdown documentation
+            const markdown = this.generateMarkdown(net, mermaid);
+            yield fs.writeFile(path.join(outputDir, `${this.sanitizeFilename(net.name)}.md`), markdown);
+            // Generate HTML preview if 'all' format
+            if (format === 'all') {
+                const html = this.generateHTML(net, mermaid);
+                yield fs.writeFile(path.join(outputDir, `${this.sanitizeFilename(net.name)}.html`), html);
+            }
+            console.log(`✅ Documentation generated in ${outputDir}`);
+        });
+    }
+    /**
+     * Generate living documentation for an orchestrator session
+     */
+    generateForSession(orchestrator, sessionId, options) {
+        return __awaiter(this, void 0, void 0, function* () {
+            var _a;
+            const { outputDir } = options;
+            yield fs.mkdir(outputDir, { recursive: true });
+            const net = orchestrator.petri;
+            const session = (_a = orchestrator.sessions) === null || _a === void 0 ? void 0 : _a.get(sessionId);
+            // Current state
+            const marking = net.state.marking;
+            const history = net.state.history || [];
+            const enabled = net.getEnabledTransitions();
+            // Generate state documentation
+            const stateDoc = this.generateStateDoc(net, marking, history, enabled, session);
+            yield fs.writeFile(path.join(outputDir, `session-${sessionId}-state.md`), stateDoc);
+            // Generate Mermaid with current state highlighted
+            const mermaidWithState = this.generateMermaidWithState(net, marking, enabled);
+            yield fs.writeFile(path.join(outputDir, `session-${sessionId}-state.mmd`), mermaidWithState);
+            // Generate full session report
+            const sessionReport = this.generateSessionReport(net, session, history, enabled);
+            yield fs.writeFile(path.join(outputDir, `session-${sessionId}-report.md`), sessionReport);
+            console.log(`✅ Session documentation generated in ${outputDir}`);
+        });
+    }
+    /**
+     * Generate Mermaid diagram for Petri net
+     */
+    generateMermaid(net) {
+        const lines = ['graph TD'];
+        // Add places
+        for (const [id, place] of net.places) {
+            const label = `${id}\\n(${place.type})`;
+            const shape = place.type === 'initial' ? `((${label}))` :
+                place.type === 'final' ? `(((${label})))` :
+                    `[${label}]`;
+            lines.push(`  ${id}${shape}`);
+        }
+        // Add transitions
+        for (const [id, trans] of net.transitions) {
+            const desc = trans.description || id;
+            lines.push(`  ${id}[/${desc}/]`);
+        }
+        // Add arcs (from transitions to places = output, places to transitions = input)
+        for (const [tid, trans] of net.transitions) {
+            // Input arcs (place -> transition)
+            for (const pid of trans.from) {
+                lines.push(`  ${pid} -->|${tid}| ${tid}`);
+            }
+            // Output arcs (transition -> place)
+            for (const pid of trans.to) {
+                lines.push(`  ${tid} -->|${tid}| ${pid}`);
+            }
+        }
+        // Add style for initial/final places
+        lines.push('');
+        lines.push('  style initial fill:#90EE90,stroke:#228B22');
+        lines.push('  style final fill:#FFB6C1,stroke:#DC143C');
+        return lines.join('\n');
+    }
+    /**
+     * Generate Mermaid with current state highlighted
+     */
+    generateMermaidWithState(net, marking, enabled) {
+        const lines = this.generateMermaid(net).split('\n');
+        // Highlight places with tokens
+        for (const [pid, tokens] of marking) {
+            if (tokens.length > 0) {
+                lines.push(`  style ${pid} fill:#FFD700,stroke:#FFA500`);
+            }
+        }
+        // Highlight enabled transitions
+        for (const tid of enabled) {
+            lines.push(`  style ${tid} fill:#90EE90,stroke:#228B22`);
+        }
+        return lines.join('\n');
+    }
+    /**
+     * Generate Markdown documentation
+     */
+    generateMarkdown(net, mermaid) {
+        const lines = [
+            `# Petri Net: ${net.name}`,
+            '',
+            '## Overview',
+            '',
+            `- **Name**: ${net.name}`,
+            `- **Places**: ${net.places.size}`,
+            `- **Transitions**: ${net.transitions.size}`,
+            '',
+            '## Mermaid Diagram',
+            '',
+            '```mermaid',
+            mermaid,
+            '```',
+            '',
+            '## Places',
+            '',
+        ];
+        for (const [id, place] of net.places) {
+            lines.push(`### ${id} (${place.type})`);
+            lines.push('');
+            lines.push(`- Type: ${place.type}`);
+            lines.push('');
+        }
+        lines.push('## Transitions');
+        lines.push('');
+        for (const [id, trans] of net.transitions) {
+            lines.push(`### ${id}`);
+            lines.push('');
+            lines.push(`- **Description**: ${trans.description || id}`);
+            lines.push(`- **From**: ${Array.isArray(trans.from) ? trans.from.join(', ') : trans.from}`);
+            lines.push(`- **To**: ${Array.isArray(trans.to) ? trans.to.join(', ') : trans.to}`);
+            lines.push('');
+        }
+        return lines.join('\n');
+    }
+    /**
+     * Generate state documentation
+     */
+    generateStateDoc(net, marking, history, enabled, session) {
+        const lines = [
+            `# Session State: ${(session === null || session === void 0 ? void 0 : session.id) || 'unknown'}`,
+            '',
+            '## Current Marking',
+            '',
+        ];
+        for (const [pid, tokens] of marking) {
+            const place = net.places.get(pid);
+            lines.push(`- **${pid}** (${place === null || place === void 0 ? void 0 : place.type}): ${tokens.length} token(s)`);
+            if (tokens.length > 0) {
+                tokens.forEach((t, i) => {
+                    lines.push(`  - Token ${i + 1}: ${JSON.stringify(t.data).substring(0, 100)}`);
+                });
+            }
+        }
+        lines.push('');
+        lines.push('## Enabled Transitions');
+        lines.push('');
+        if (enabled.length === 0) {
+            lines.push('*No enabled transitions*');
+        }
+        else {
+            enabled.forEach(tid => {
+                const trans = net.transitions.get(tid);
+                lines.push(`- **${tid}**: ${(trans === null || trans === void 0 ? void 0 : trans.description) || tid}`);
+            });
+        }
+        lines.push('');
+        lines.push('## Session Context');
+        lines.push('');
+        if (session === null || session === void 0 ? void 0 : session.context) {
+            lines.push('```json');
+            lines.push(JSON.stringify(session.context, null, 2));
+            lines.push('```');
+        }
+        else {
+            lines.push('*No context*');
+        }
+        lines.push('');
+        lines.push('## History (last 20)');
+        lines.push('');
+        history.slice(-20).forEach((h, i) => {
+            lines.push(`${history.length - 20 + i + 1}. ${h}`);
+        });
+        return lines.join('\n');
+    }
+    /**
+     * Generate session report
+     */
+    generateSessionReport(net, session, history, enabled) {
+        const lines = [
+            `# Session Report: ${(session === null || session === void 0 ? void 0 : session.id) || 'unknown'}`,
+            '',
+            `Generated: ${new Date().toISOString()}`,
+            '',
+            '## Summary',
+            '',
+            `- **Petri Net**: ${net.name}`,
+            `- **Session ID**: ${(session === null || session === void 0 ? void 0 : session.id) || 'N/A'}`,
+            `- **Total Transitions Fired**: ${history.length}`,
+            `- **Enabled Transitions**: ${enabled.length}`,
+            '',
+            '## Timeline',
+            '',
+        ];
+        history.forEach((h, i) => {
+            lines.push(`${i + 1}. ${h}`);
+        });
+        lines.push('');
+        lines.push('## Final State');
+        lines.push('');
+        const marking = net.state.marking;
+        for (const [pid, tokens] of marking) {
+            lines.push(`- **${pid}**: ${tokens.length} token(s)`);
+        }
+        return lines.join('\n');
+    }
+    /**
+     * Generate HTML preview
+     */
+    generateHTML(net, mermaid) {
+        return `<!DOCTYPE html>
+<html>
+<head>
+  <title>Petri Net: ${net.name}</title>
+  <script src="https://cdn.jsdelivr.net/npm/mermaid@10/dist/mermaid.min.js"></script>
+  <style>
+    body { font-family: Arial, sans-serif; margin: 40px; background: #f5f5f5; }
+    .container { background: white; padding: 30px; border-radius: 8px; box-shadow: 0 2px 4px rgba(0,0,0,0.1); }
+    h1 { color: #333; }
+    .mermaid { background: white; padding: 20px; border: 1px solid #ddd; border-radius: 4px; }
+    pre { background: #f8f8f8; padding: 15px; border-radius: 4px; overflow-x: auto; }
+  </style>
+</head>
+<body>
+  <div class="container">
+    <h1>Petri Net: ${net.name}</h1>
+    
+    <h2>Visualization</h2>
+    <div class="mermaid">
+${mermaid}
+    </div>
+
+    <h2>Places</h2>
+    <ul>
+      ${Array.from(net.places.entries()).map(([id, p]) => `<li><strong>${id}</strong> (${p.type})</li>`).join('\n      ')}
+    </ul>
+
+    <h2>Transitions</h2>
+    <ul>
+      ${Array.from(net.transitions.entries()).map(([id, t]) => `<li><strong>${id}</strong>: ${t.description || id} | from: ${Array.isArray(t.from) ? t.from.join(', ') : t.from} → to: ${Array.isArray(t.to) ? t.to.join(', ') : t.to}</li>`).join('\n      ')}
+    </ul>
+  </div>
+
+  <script>
+    mermaid.initialize({ startOnLoad: true, theme: 'default' });
+  </script>
+</body>
+</html>`;
+    }
+    /**
+     * Sanitize filename
+     */
+    sanitizeFilename(name) {
+        return name.replace(/[^a-zA-Z0-9_-]/g, '_');
+    }
+}
+exports.PetriDocumentationGenerator = PetriDocumentationGenerator;
+//# sourceMappingURL=documentation-generator.js.map

package/dist/routing/documentation-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"documentation-generator.js","sourceRoot":"","sources":["../../routing/documentation-generator.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGA,gDAAkC;AAClC,2CAA6B;AAS7B,MAAa,2BAA2B;IAEtC;;OAEG;IACG,gBAAgB,CACpB,GAAa,EACb,OAA6B;;YAE7B,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;YACtC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAE/C,2BAA2B;YAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;YAC1C,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EACtE,OAAO,CACR,CAAC;YAEF,kCAAkC;YAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAC7D,QAAQ,CACT,CAAC;YAEF,wCAAwC;YACxC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBAC7C,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAC/D,IAAI,CACL,CAAC;YACJ,CAAC;YAED,OAAO,CAAC,GAAG,CAAC,gCAAgC,SAAS,EAAE,CAAC,CAAC;QAC3D,CAAC;KAAA;IAED;;OAEG;IACG,kBAAkB,CACtB,YAAoC,EACpC,SAAiB,EACjB,OAA6B;;;YAE7B,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC;YAC9B,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC;YAC/B,MAAM,OAAO,GAAG,MAAC,YAAoB,CAAC,QAAQ,0CAAE,GAAG,CAAC,SAAS,CAAC,CAAC;YAE/D,gBAAgB;YAChB,MAAM,OAAO,GAAI,GAAW,CAAC,KAAK,CAAC,OAA6B,CAAC;YACjE,MAAM,OAAO,GAAI,GAAW,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;YACjD,MAAM,OAAO,GAAG,GAAG,CAAC,qBAAqB,EAAE,CAAC;YAE5C,+BAA+B;YAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAChF,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,SAAS,WAAW,CAAC,EACrD,QAAQ,CACT,CAAC;YAEF,kDAAkD;YAClD,MAAM,gBAAgB,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC9E,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,SAAS,YAAY,CAAC,EACtD,gBAAgB,CACjB,CAAC;YAEF,+BAA+B;YAC/B,MAAM,aAAa,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACjF,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,SAAS,YAAY,CAAC,EACtD,aAAa,CACd,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,wCAAwC,SAAS,EAAE,CAAC,CAAC;QACnE,CAAC;KAAA;IAED;;OAEG;IACK,eAAe,CAAC,GAAa;QACnC,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,CAAC;QAErC,aAAa;QACb,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,GAAG,EAAE,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC;YACxC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;gBAC5C,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;oBAC3C,IAAI,KAAK,GAAG,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAChC,CAAC;QAED,kBAAkB;QAClB,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAI,KAAa,CAAC,WAAW,IAAI,EAAE,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC;QACnC,CAAC;QAED,gFAAgF;QAChF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YAC3C,mCAAmC;YACnC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,QAAQ,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC;YAC5C,CAAC;YACD,oCAAoC;YACpC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,QAAQ,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QAED,qCAAqC;QACrC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QAExD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACK,wBAAwB,CAC9B,GAAa,EACb,OAA2B,EAC3B,OAAiB;QAEjB,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEpD,+BAA+B;QAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACpC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,8BAA8B,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,8BAA8B,CAAC,CAAC;QAC3D,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,GAAa,EAAE,OAAe;QACrD,MAAM,KAAK,GAAa;YACtB,gBAAgB,GAAG,CAAC,IAAI,EAAE;YAC1B,EAAE;YACF,aAAa;YACb,EAAE;YACF,eAAe,GAAG,CAAC,IAAI,EAAE;YACzB,iBAAiB,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE;YAClC,sBAAsB,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE;YAC5C,EAAE;YACF,oBAAoB;YACpB,EAAE;YACF,YAAY;YACZ,OAAO;YACP,KAAK;YACL,EAAE;YACF,WAAW;YACX,EAAE;SACH,CAAC;QAEF,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,sBAAsB,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5F,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YACpF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACK,gBAAgB,CACtB,GAAa,EACb,OAA2B,EAC3B,OAAiB,EACjB,OAAiB,EACjB,OAAY;QAEZ,MAAM,KAAK,GAAa;YACtB,oBAAoB,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,EAAE,KAAI,SAAS,EAAE;YAC9C,EAAE;YACF,oBAAoB;YACpB,EAAE;SACH,CAAC;QAEF,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,OAAO,KAAK,aAAL,KAAK,uBAAL,KAAK,CAAE,IAAI,MAAM,MAAM,CAAC,MAAM,WAAW,CAAC,CAAC;YACvE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBACtB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChF,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACzC,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;gBACpB,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,KAAa,aAAb,KAAK,uBAAL,KAAK,CAAU,WAAW,KAAI,GAAG,EAAE,CAAC,CAAC;YACpE,CAAC,CAAC,CAAC;QACL,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,IAAI,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,OAAO,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACrD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7B,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAClC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACK,qBAAqB,CAC3B,GAAa,EACb,OAAY,EACZ,OAAiB,EACjB,OAAiB;QAEjB,MAAM,KAAK,GAAa;YACtB,qBAAqB,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,EAAE,KAAI,SAAS,EAAE;YAC/C,EAAE;YACF,cAAc,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE;YACxC,EAAE;YACF,YAAY;YACZ,EAAE;YACF,oBAAoB,GAAG,CAAC,IAAI,EAAE;YAC9B,qBAAqB,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,EAAE,KAAI,KAAK,EAAE;YAC3C,kCAAkC,OAAO,CAAC,MAAM,EAAE;YAClD,8BAA8B,OAAO,CAAC,MAAM,EAAE;YAC9C,EAAE;YACF,aAAa;YACb,EAAE;SACH,CAAC;QAEF,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACvB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,MAAM,OAAO,GAAI,GAAW,CAAC,KAAK,CAAC,OAA6B,CAAC;QACjE,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,OAAO,MAAM,CAAC,MAAM,WAAW,CAAC,CAAC;QACxD,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,GAAa,EAAE,OAAe;QACjD,OAAO;;;sBAGW,GAAG,CAAC,IAAI;;;;;;;;;;;;qBAYT,GAAG,CAAC,IAAI;;;;EAI3B,OAAO;;;;;QAKD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;;;;;QAKjH,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,WAAW,IAAI,EAAE,YAAY,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;;;;;;;;QAQtP,CAAC;IACP,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,IAAY;QACnC,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;CACF;AAxVD,kEAwVC"}

package/dist/routing/index.d.ts

@@ -0,0 +1,38 @@
+import { Place, Transition, PetriNetState, TransitionResult, GuardLLMExecutor, ActionExecutor } from './types';
+export { Token, Place, Transition, PetriNetState, TransitionResult, Guard, GuardLLMExecutor, ActionExecutor, TransitionAction, } from './types';
+export { IPetriCheckpointAdapter, InMemoryPetriCheckpointAdapter, } from './checkpoint-adapter';
+export { RedisPetriCheckpointAdapter } from './redis-checkpoint-adapter';
+export { PostgresPetriCheckpointAdapter } from './postgres-checkpoint-adapter';
+export declare class PetriNet {
+    name: string;
+    places: Map<string, Place>;
+    transitions: Map<string, Transition>;
+    state: PetriNetState;
+    private guardFunctions;
+    private llmExecutor?;
+    private actionExecutor?;
+    constructor(name: string);
+    addPlace(place: Place): void;
+    addTransition(transition: Transition): void;
+    registerGuardFunction(name: string, func: (ctx: any) => boolean): void;
+    setLLMExecutor(executor: GuardLLMExecutor): void;
+    setActionExecutor(executor: ActionExecutor): void;
+    getEnabledTransitions(context?: any): string[];
+    getEventDrivenTransitions(): string[];
+    private evaluateGuard;
+    private getTokenContext;
+    fireTransition(transitionId: string, tokenData?: Record<string, any>): Promise<TransitionResult>;
+    fireTransitionByEvent(transitionId: string, eventData?: Record<string, any>): Promise<TransitionResult>;
+    fireTransitionWithAction(transitionId: string, tokenData?: Record<string, any>): Promise<TransitionResult & {
+        actionResult?: any;
+    }>;
+    detectDeadlock(): boolean;
+    private hasActiveTokens;
+    validateBoundedness(): {
+        bounded: boolean;
+        details?: string;
+    };
+    toDot(): string;
+    private cloneMarking;
+}
+//# sourceMappingURL=index.d.ts.map

package/dist/routing/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../routing/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,EACL,UAAU,EACV,aAAa,EACb,gBAAgB,EAEhB,gBAAgB,EAChB,cAAc,EAEf,MAAM,SAAS,CAAC;AAUjB,OAAO,EACL,KAAK,EACL,KAAK,EACL,UAAU,EACV,aAAa,EACb,gBAAgB,EAChB,KAAK,EACL,gBAAgB,EAChB,cAAc,EACd,gBAAgB,GACjB,MAAM,SAAS,CAAC;AAEjB,OAAO,EACL,uBAAuB,EACvB,8BAA8B,GAC/B,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACzE,OAAO,EAAE,8BAA8B,EAAE,MAAM,+BAA+B,CAAC;AAE/E,qBAAa,QAAQ;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAa;IACvC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAa;IACjD,KAAK,EAAE,aAAa,CAAC;IACrB,OAAO,CAAC,cAAc,CAAiD;IACvE,OAAO,CAAC,WAAW,CAAC,CAAmB;IACvC,OAAO,CAAC,cAAc,CAAC,CAAiB;gBAE5B,IAAI,EAAE,MAAM;IAQxB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAK5B,aAAa,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAI3C,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,GAAG,IAAI;IAItE,cAAc,CAAC,QAAQ,EAAE,gBAAgB,GAAG,IAAI;IAIhD,iBAAiB,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI;IAIjD,qBAAqB,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,MAAM,EAAE;IAqB9C,yBAAyB,IAAI,MAAM,EAAE;IAUrC,OAAO,CAAC,aAAa;IAqBrB,OAAO,CAAC,eAAe;IAWjB,cAAc,CAClB,YAAY,EAAE,MAAM,EACpB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAC9B,OAAO,CAAC,gBAAgB,CAAC;IAyFtB,qBAAqB,CACzB,YAAY,EAAE,MAAM,EACpB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAC9B,OAAO,CAAC,gBAAgB,CAAC;IA0EtB,wBAAwB,CAC5B,YAAY,EAAE,MAAM,EACpB,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAC9B,OAAO,CAAC,gBAAgB,GAAG;QAAE,YAAY,CAAC,EAAE,GAAG,CAAA;KAAE,CAAC;IAuCrD,cAAc,IAAI,OAAO;IASzB,OAAO,CAAC,eAAe;IAMvB,mBAAmB,IAAI;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE;IAiD7D,KAAK,IAAI,MAAM;IAiCf,OAAO,CAAC,YAAY;CASrB"}