flowscript-core 1.0.0

package/dist/rules/missing-recommended-fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"missing-recommended-fields.d.ts","sourceRoot":"","sources":["../../src/rules/missing-recommended-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAErD,qBAAa,4BAA6B,SAAQ,YAAY;IAC5D,IAAI,SAAgC;IACpC,IAAI,SAAU;IACd,QAAQ,EAAG,SAAS,CAAU;IAE9B,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,UAAU,EAAE;CAyB5B"}

package/dist/rules/missing-recommended-fields.js

@@ -0,0 +1,45 @@
+"use strict";
+/**
+ * W001: Missing Recommended State Fields Rule
+ *
+ * Specification: spec/linter-rules.md lines 747-803
+ *
+ * State marker [parking] SHOULD include recommended fields:
+ * - why - Why is this parked?
+ * - until - When to revisit?
+ *
+ * Missing these fields doesn't break semantics, but reduces clarity.
+ * Parking without explanation = easy to forget why.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MissingRecommendedFieldsRule = void 0;
+const linter_1 = require("../linter");
+class MissingRecommendedFieldsRule extends linter_1.BaseLintRule {
+    constructor() {
+        super(...arguments);
+        this.name = 'missing-recommended-fields';
+        this.code = 'W001';
+        this.severity = 'WARNING';
+    }
+    check(ir) {
+        const results = [];
+        for (const state of ir.states) {
+            if (state.type === 'parking') {
+                const missing = [];
+                if (!state.fields.why)
+                    missing.push('why');
+                if (!state.fields.until)
+                    missing.push('until');
+                if (missing.length > 0) {
+                    results.push(this.createResult(`[parking] missing recommended field${missing.length > 1 ? 's' : ''}: ${missing.join(', ')}`, {
+                        file: state.provenance.source_file,
+                        line: state.provenance.line_number
+                    }, `Add recommended fields: ${missing.map(f => `${f}: "..."`).join(', ')}`));
+                }
+            }
+        }
+        return results;
+    }
+}
+exports.MissingRecommendedFieldsRule = MissingRecommendedFieldsRule;
+//# sourceMappingURL=missing-recommended-fields.js.map

package/dist/rules/missing-recommended-fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"missing-recommended-fields.js","sourceRoot":"","sources":["../../src/rules/missing-recommended-fields.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAGH,sCAAqD;AAErD,MAAa,4BAA6B,SAAQ,qBAAY;IAA9D;;QACE,SAAI,GAAG,4BAA4B,CAAC;QACpC,SAAI,GAAG,MAAM,CAAC;QACd,aAAQ,GAAG,SAAkB,CAAC;IA2BhC,CAAC;IAzBC,KAAK,CAAC,EAAM;QACV,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;gBAE7B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG;oBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3C,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK;oBAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAE/C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAC5B,sCAAsC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC5F;wBACE,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;wBAClC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;qBACnC,EACD,2BAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxE,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AA9BD,oEA8BC"}

package/dist/rules/missing-required-fields.d.ts

@@ -0,0 +1,22 @@
+/**
+ * E002: Missing Required State Fields Rule
+ *
+ * Specification: spec/linter-rules.md lines 150-243
+ *
+ * State markers with REQUIRED fields must include them:
+ * - [decided] → MUST have 'rationale' and 'on'
+ * - [blocked] → MUST have 'reason' and 'since'
+ *
+ * This forcing function prevents "we decided" without explaining why,
+ * or "blocked" without tracking when/why.
+ */
+import { IR } from '../types';
+import { BaseLintRule, LintResult } from '../linter';
+export declare class MissingRequiredFieldsRule extends BaseLintRule {
+    name: string;
+    code: string;
+    severity: "ERROR";
+    private requiredFields;
+    check(ir: IR): LintResult[];
+}
+//# sourceMappingURL=missing-required-fields.d.ts.map

package/dist/rules/missing-required-fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"missing-required-fields.d.ts","sourceRoot":"","sources":["../../src/rules/missing-required-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAErD,qBAAa,yBAA0B,SAAQ,YAAY;IACzD,IAAI,SAA6B;IACjC,IAAI,SAAU;IACd,QAAQ,EAAG,OAAO,CAAU;IAE5B,OAAO,CAAC,cAAc,CAGpB;IAEF,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,UAAU,EAAE;CAuB5B"}

package/dist/rules/missing-required-fields.js

@@ -0,0 +1,46 @@
+"use strict";
+/**
+ * E002: Missing Required State Fields Rule
+ *
+ * Specification: spec/linter-rules.md lines 150-243
+ *
+ * State markers with REQUIRED fields must include them:
+ * - [decided] → MUST have 'rationale' and 'on'
+ * - [blocked] → MUST have 'reason' and 'since'
+ *
+ * This forcing function prevents "we decided" without explaining why,
+ * or "blocked" without tracking when/why.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MissingRequiredFieldsRule = void 0;
+const linter_1 = require("../linter");
+class MissingRequiredFieldsRule extends linter_1.BaseLintRule {
+    constructor() {
+        super(...arguments);
+        this.name = 'missing-required-fields';
+        this.code = 'E002';
+        this.severity = 'ERROR';
+        this.requiredFields = {
+            'decided': ['rationale', 'on'],
+            'blocked': ['reason', 'since']
+        };
+    }
+    check(ir) {
+        const results = [];
+        for (const state of ir.states) {
+            const required = this.requiredFields[state.type];
+            if (!required)
+                continue; // No required fields for this type
+            const missing = required.filter(field => !state.fields[field]);
+            if (missing.length > 0) {
+                results.push(this.createResult(`[${state.type}] state missing required field${missing.length > 1 ? 's' : ''}: ${missing.join(', ')}`, {
+                    file: state.provenance.source_file,
+                    line: state.provenance.line_number
+                }, `Add required fields: ${missing.map(f => `${f}: "..."`).join(', ')}`));
+            }
+        }
+        return results;
+    }
+}
+exports.MissingRequiredFieldsRule = MissingRequiredFieldsRule;
+//# sourceMappingURL=missing-required-fields.js.map

package/dist/rules/missing-required-fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"missing-required-fields.js","sourceRoot":"","sources":["../../src/rules/missing-required-fields.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAGH,sCAAqD;AAErD,MAAa,yBAA0B,SAAQ,qBAAY;IAA3D;;QACE,SAAI,GAAG,yBAAyB,CAAC;QACjC,SAAI,GAAG,MAAM,CAAC;QACd,aAAQ,GAAG,OAAgB,CAAC;QAEpB,mBAAc,GAA6B;YACjD,SAAS,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC;YAC9B,SAAS,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC;SAC/B,CAAC;IAyBJ,CAAC;IAvBC,KAAK,CAAC,EAAM;QACV,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,QAAQ;gBAAE,SAAS,CAAE,mCAAmC;YAE7D,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAE/D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAC5B,IAAI,KAAK,CAAC,IAAI,iCAAiC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACrG;oBACE,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;oBAClC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;iBACnC,EACD,wBAAwB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACrE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAjCD,8DAiCC"}

package/dist/rules/orphaned-nodes.d.ts

@@ -0,0 +1,22 @@
+/**
+ * E004: Orphaned Nodes Rule
+ *
+ * Specification: spec/linter-rules.md lines 347-483
+ *
+ * Nodes with zero relationships (no edges in or out) are orphaned.
+ * This indicates isolated thought with no connections.
+ *
+ * FlowScript is about relationships between thoughts.
+ * Isolated nodes break the graph structure.
+ *
+ * Exception: Root questions and standalone insights may be degree 0.
+ */
+import { IR } from '../types';
+import { BaseLintRule, LintResult } from '../linter';
+export declare class OrphanedNodesRule extends BaseLintRule {
+    name: string;
+    code: string;
+    severity: "ERROR";
+    check(ir: IR): LintResult[];
+}
+//# sourceMappingURL=orphaned-nodes.d.ts.map

package/dist/rules/orphaned-nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"orphaned-nodes.d.ts","sourceRoot":"","sources":["../../src/rules/orphaned-nodes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAErD,qBAAa,iBAAkB,SAAQ,YAAY;IACjD,IAAI,SAAoB;IACxB,IAAI,SAAU;IACd,QAAQ,EAAG,OAAO,CAAU;IAE5B,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,UAAU,EAAE;CA4D5B"}

package/dist/rules/orphaned-nodes.js

@@ -0,0 +1,76 @@
+"use strict";
+/**
+ * E004: Orphaned Nodes Rule
+ *
+ * Specification: spec/linter-rules.md lines 347-483
+ *
+ * Nodes with zero relationships (no edges in or out) are orphaned.
+ * This indicates isolated thought with no connections.
+ *
+ * FlowScript is about relationships between thoughts.
+ * Isolated nodes break the graph structure.
+ *
+ * Exception: Root questions and standalone insights may be degree 0.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.OrphanedNodesRule = void 0;
+const linter_1 = require("../linter");
+class OrphanedNodesRule extends linter_1.BaseLintRule {
+    constructor() {
+        super(...arguments);
+        this.name = 'orphaned-nodes';
+        this.code = 'E004';
+        this.severity = 'ERROR';
+    }
+    check(ir) {
+        const results = [];
+        // Build set of connected node IDs
+        const connectedIds = new Set();
+        // 1. Add nodes connected via explicit relationships (->  <- <-> => ><[axis])
+        for (const rel of ir.relationships) {
+            connectedIds.add(rel.source);
+            connectedIds.add(rel.target);
+        }
+        // 2. Add nodes connected via block hierarchies (parent-child relationships)
+        for (const node of ir.nodes) {
+            if (node.type === 'block' && node.ext?.children && Array.isArray(node.ext.children)) {
+                // Mark the block as connected
+                connectedIds.add(node.id);
+                // Mark all children as connected
+                for (const child of node.ext.children) {
+                    connectedIds.add(child.id);
+                }
+            }
+        }
+        // 3. Add nodes connected via hierarchical children arrays (spec-compliant)
+        for (const node of ir.nodes) {
+            if (node.children && node.children.length > 0) {
+                // Mark the parent as connected
+                connectedIds.add(node.id);
+                // Mark all children as connected
+                for (const childId of node.children) {
+                    connectedIds.add(childId);
+                }
+            }
+        }
+        // Check each node for connections
+        for (const node of ir.nodes) {
+            if (!connectedIds.has(node.id)) {
+                // Exempt action and completion nodes from orphan detection
+                // These are metadata (todos, tracking) not graph semantics
+                // Spec Pattern 2 demonstrates this: action nodes as todo lists
+                if (node.type === 'action' || node.type === 'completion') {
+                    continue;
+                }
+                // Node has degree 0 (no edges)
+                results.push(this.createResult(`Orphaned node detected (no relationships): "${node.content}"`, {
+                    file: node.provenance.source_file,
+                    line: node.provenance.line_number
+                }, `Connect with relationship: ${node.content} -> {target} OR {source} -> ${node.content}`));
+            }
+        }
+        return results;
+    }
+}
+exports.OrphanedNodesRule = OrphanedNodesRule;
+//# sourceMappingURL=orphaned-nodes.js.map

package/dist/rules/orphaned-nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orphaned-nodes.js","sourceRoot":"","sources":["../../src/rules/orphaned-nodes.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;AAGH,sCAAqD;AAErD,MAAa,iBAAkB,SAAQ,qBAAY;IAAnD;;QACE,SAAI,GAAG,gBAAgB,CAAC;QACxB,SAAI,GAAG,MAAM,CAAC;QACd,aAAQ,GAAG,OAAgB,CAAC;IA8D9B,CAAC;IA5DC,KAAK,CAAC,EAAM;QACV,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,kCAAkC;QAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QAEvC,6EAA6E;QAC7E,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;YACnC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC7B,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC;QAED,4EAA4E;QAC5E,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,GAAG,EAAE,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpF,8BAA8B;gBAC9B,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC1B,iCAAiC;gBACjC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;oBACtC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;QACH,CAAC;QAED,2EAA2E;QAC3E,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9C,+BAA+B;gBAC/B,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC1B,iCAAiC;gBACjC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACpC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/B,2DAA2D;gBAC3D,2DAA2D;gBAC3D,+DAA+D;gBAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACzD,SAAS;gBACX,CAAC;gBAED,+BAA+B;gBAC/B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAC5B,+CAA+C,IAAI,CAAC,OAAO,GAAG,EAC9D;oBACE,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,WAAW;oBACjC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,WAAW;iBAClC,EACD,8BAA8B,IAAI,CAAC,OAAO,+BAA+B,IAAI,CAAC,OAAO,EAAE,CACxF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAjED,8CAiEC"}

package/dist/rules/unlabeled-tension.d.ts

@@ -0,0 +1,20 @@
+/**
+ * E001: Unlabeled Tension Rule
+ *
+ * Specification: spec/linter-rules.md lines 69-146
+ *
+ * Tension marker ><` MUST include axis label in brackets.
+ * This forcing function ensures explicit articulation of tradeoff dimension.
+ *
+ * INVALID: A >< B
+ * VALID:   A ><[axis label] B
+ */
+import { IR } from '../types';
+import { BaseLintRule, LintResult } from '../linter';
+export declare class UnlabeledTensionRule extends BaseLintRule {
+    name: string;
+    code: string;
+    severity: "ERROR";
+    check(ir: IR): LintResult[];
+}
+//# sourceMappingURL=unlabeled-tension.d.ts.map

package/dist/rules/unlabeled-tension.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unlabeled-tension.d.ts","sourceRoot":"","sources":["../../src/rules/unlabeled-tension.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAC9B,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAErD,qBAAa,oBAAqB,SAAQ,YAAY;IACpD,IAAI,SAAuB;IAC3B,IAAI,SAAU;IACd,QAAQ,EAAG,OAAO,CAAU;IAE5B,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,UAAU,EAAE;CAkB5B"}

package/dist/rules/unlabeled-tension.js

@@ -0,0 +1,37 @@
+"use strict";
+/**
+ * E001: Unlabeled Tension Rule
+ *
+ * Specification: spec/linter-rules.md lines 69-146
+ *
+ * Tension marker ><` MUST include axis label in brackets.
+ * This forcing function ensures explicit articulation of tradeoff dimension.
+ *
+ * INVALID: A >< B
+ * VALID:   A ><[axis label] B
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.UnlabeledTensionRule = void 0;
+const linter_1 = require("../linter");
+class UnlabeledTensionRule extends linter_1.BaseLintRule {
+    constructor() {
+        super(...arguments);
+        this.name = 'unlabeled-tension';
+        this.code = 'E001';
+        this.severity = 'ERROR';
+    }
+    check(ir) {
+        const results = [];
+        for (const rel of ir.relationships) {
+            if (rel.type === 'tension' && !rel.axis_label) {
+                results.push(this.createResult('Tension marker >< missing required axis label', {
+                    file: rel.provenance.source_file,
+                    line: rel.provenance.line_number
+                }, 'Add axis label: ><[dimension of tradeoff]'));
+            }
+        }
+        return results;
+    }
+}
+exports.UnlabeledTensionRule = UnlabeledTensionRule;
+//# sourceMappingURL=unlabeled-tension.js.map

package/dist/rules/unlabeled-tension.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unlabeled-tension.js","sourceRoot":"","sources":["../../src/rules/unlabeled-tension.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAGH,sCAAqD;AAErD,MAAa,oBAAqB,SAAQ,qBAAY;IAAtD;;QACE,SAAI,GAAG,mBAAmB,CAAC;QAC3B,SAAI,GAAG,MAAM,CAAC;QACd,aAAQ,GAAG,OAAgB,CAAC;IAoB9B,CAAC;IAlBC,KAAK,CAAC,EAAM;QACV,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;YACnC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;gBAC9C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAC5B,+CAA+C,EAC/C;oBACE,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,WAAW;oBAChC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,WAAW;iBACjC,EACD,2CAA2C,CAC5C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAvBD,oDAuBC"}

package/dist/serializer.d.ts

@@ -0,0 +1,40 @@
+/**
+ * FlowScript IR → .fs Serializer
+ *
+ * Converts an IR (Intermediate Representation) back to valid FlowScript text.
+ * The produced text, when re-parsed, should produce a semantically equivalent IR.
+ *
+ * Design:
+ * - Walks the node graph in provenance order (line numbers)
+ * - Reconstructs nesting from children arrays
+ * - Renders relationships as continuation lines (-> target) under source nodes
+ * - Places state markers before their annotated nodes (separate line if provenance differs)
+ * - Preserves modifiers, axis labels, and state fields
+ * - Typed relationship targets preserve both operator and type (-> thought: content)
+ *
+ * KNOWN LIMITATION — Cross-Reference Drops (Graph vs Tree):
+ * .fs text is indentation-based (tree structure). The IR is a graph (nodes can have
+ * multiple incoming edges). When a node is the target of relationships from multiple
+ * sources, only the parent-child relationship is rendered. Cross-cutting relationships
+ * (A -> B where B is already a child of C) are silently dropped during serialization.
+ *
+ * This is a fundamental format limitation, not a bug. The IR JSON preserves the full
+ * graph; .fs is a lossy tree projection. This MUST be addressed when building the
+ * Memory class — the Memory API will produce cross-cutting graphs that need either:
+ *   (a) ID-based reference syntax in .fs (grammar extension)
+ *   (b) Accepting .fs as lossy with JSON as canonical
+ *   (c) A cross-references section at the end of .fs output
+ * See: https://github.com/phillipclapham/flowscript — design decision pending.
+ */
+import { IR } from './types';
+export interface SerializeOptions {
+    /** Indentation string per level (default: '  ' — two spaces) */
+    indent?: string;
+    /** Whether to include blank lines between top-level elements (default: true) */
+    blankLinesBetween?: boolean;
+}
+/**
+ * Serialize an IR back to FlowScript text.
+ */
+export declare function serialize(ir: IR, options?: SerializeOptions): string;
+//# sourceMappingURL=serializer.d.ts.map

package/dist/serializer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.d.ts","sourceRoot":"","sources":["../src/serializer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,EAAE,EAAqD,MAAM,SAAS,CAAC;AAEhF,MAAM,WAAW,gBAAgB;IAC/B,gEAAgE;IAChE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gFAAgF;IAChF,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,GAAE,gBAAqB,GAAG,MAAM,CA0FxE"}