@ldclabs/kip-lang 0.1.0

package/README.md

@@ -0,0 +1,111 @@
+# @ldclabs/kip-lang
+
+TypeScript toolkit for **KIP** (Knowledge Interaction Protocol) — a structured query language for knowledge graphs.
+
+Provides a full-featured **lexer → parser → AST → formatter / diagnostics** pipeline for `.kip` files.
+
+## Installation
+
+```bash
+pnpm add @ldclabs/kip-lang
+```
+
+## Usage
+
+### Tokenize
+
+```ts
+import { tokenize } from '@ldclabs/kip-lang'
+
+const tokens = tokenize('FIND(?x.name) WHERE { ?x {type: "Person"} }')
+// Token[] with type, value, line, column, offset
+```
+
+### Parse
+
+```ts
+import { parse } from '@ldclabs/kip-lang'
+
+const { ast, diagnostics } = parse(`
+FIND(?drug.name)
+WHERE {
+  ?drug {type: "Drug"}
+  (?drug, "treats", {name: "Headache"})
+}
+LIMIT 10
+`)
+
+console.log(ast.statements[0].kind) // "FindStatement"
+console.log(diagnostics)            // [] (no errors)
+```
+
+### Format
+
+```ts
+import { format } from '@ldclabs/kip-lang'
+
+const source = `UPSERT { CONCEPT ?x { {type: "Drug", name: "Aspirin"} SET ATTRIBUTES { risk_level: 2 } } }`
+
+const formatted = format(source, {
+  indentSize: 4,       // default: 4
+  sortAttributes: true // default: true
+})
+```
+
+Output:
+
+```kip
+UPSERT {
+    CONCEPT ?x {
+        {type: "Drug", name: "Aspirin"}
+        SET ATTRIBUTES { risk_level: 2 }
+    }
+}
+```
+
+The formatter preserves comments and quoted/unquoted key styles from the original source.
+
+A lighter alternative `formatPreservingComments()` is also available — it normalizes indentation at the line level without AST reconstruction.
+
+### Diagnose
+
+```ts
+import { diagnose } from '@ldclabs/kip-lang'
+
+const diagnostics = diagnose('UPSERT { CONCEPT ?x { {type: "Drug"} }')
+// [{ severity: "error", message: "Unclosed '{'", ... }]
+```
+
+Diagnostics cover:
+- Lexer errors (unknown characters, unterminated strings)
+- Bracket matching (unclosed / mismatched braces, brackets, parentheses)
+- Parser errors (unexpected tokens, missing clauses)
+
+## API Reference
+
+| Export                                       | Description                                              |
+| -------------------------------------------- | -------------------------------------------------------- |
+| `tokenize(source)`                           | Tokenize KIP source into `Token[]`                       |
+| `parse(source)`                              | Parse into `{ ast: Program, diagnostics: Diagnostic[] }` |
+| `format(source, options?)`                   | AST-based formatting with comment preservation           |
+| `formatPreservingComments(source, options?)` | Line-level indent normalization                          |
+| `diagnose(source)`                           | Return `Diagnostic[]` (lexer + bracket + parser errors)  |
+| `TokenType`                                  | Enum of all token types                                  |
+| `KEYWORDS` / `FUNCTIONS`                     | Maps of KIP keywords and built-in functions              |
+
+### AST Node Types
+
+All AST types are exported for downstream consumption:
+
+- **Statements**: `FindStatement`, `UpsertStatement`, `DeleteStatement`, `DescribeStatement`, `SearchStatement`
+- **Blocks**: `ConceptBlock`, `PropositionBlock`, `SetAttributes`, `SetPropositions`, `WithMetadata`
+- **Patterns**: `ConceptPattern`, `PropositionPattern`, `FilterClause`, `NotClause`, `OptionalClause`, `UnionClause`
+- **Expressions**: `ObjectLiteral`, `ArrayLiteral`, `ObjectEntry`, `Expression`
+
+## KIP Language
+
+KIP is a structured query and mutation language for knowledge graphs. See the [KIP Specification](../../SPECIFICATION.md) for full syntax details.
+
+## License
+
+MIT

package/dist/ast.d.ts

@@ -0,0 +1,216 @@
+import type { Range } from './token.js';
+export interface BaseNode {
+    kind: string;
+    range: Range;
+    leadingComments?: string[];
+    trailingComment?: string;
+}
+export interface Program extends BaseNode {
+    kind: 'Program';
+    statements: Statement[];
+}
+export type Statement = FindStatement | UpsertStatement | DeleteStatement | DescribeStatement | SearchStatement;
+export interface FindStatement extends BaseNode {
+    kind: 'FindStatement';
+    projections: Expression[];
+    where?: WhereClause;
+    orderBy?: OrderByClause;
+    limit?: LimitClause;
+    cursor?: CursorClause;
+}
+export interface OrderByClause extends BaseNode {
+    kind: 'OrderByClause';
+    expression: Expression;
+    direction: 'ASC' | 'DESC';
+}
+export interface LimitClause extends BaseNode {
+    kind: 'LimitClause';
+    value: NumberLiteral | ParameterRef;
+}
+export interface CursorClause extends BaseNode {
+    kind: 'CursorClause';
+    value: StringLiteral | ParameterRef;
+}
+export interface WhereClause extends BaseNode {
+    kind: 'WhereClause';
+    patterns: WherePattern[];
+}
+export type WherePattern = ConceptPattern | PropositionPattern | FilterClause | NotClause | OptionalClause | UnionClause;
+export interface ConceptPattern extends BaseNode {
+    kind: 'ConceptPattern';
+    variable?: string;
+    matcher: ConceptMatcher;
+}
+export interface ConceptMatcher extends BaseNode {
+    kind: 'ConceptMatcher';
+    entries: ObjectEntry[];
+}
+export interface PropositionPattern extends BaseNode {
+    kind: 'PropositionPattern';
+    variable?: string;
+    subject: PropositionEndpoint;
+    predicate: PredicateExpr;
+    object: PropositionEndpoint;
+}
+export type PropositionEndpoint = VariableRef | ConceptPattern | PropositionPattern;
+export type PredicateExpr = PredicateLiteral | PredicateAlternation;
+export interface PredicateLiteral extends BaseNode {
+    kind: 'PredicateLiteral';
+    value: string;
+    hopRange?: HopRange;
+}
+export interface PredicateAlternation extends BaseNode {
+    kind: 'PredicateAlternation';
+    predicates: PredicateLiteral[];
+}
+export interface HopRange extends BaseNode {
+    kind: 'HopRange';
+    min: number;
+    max?: number;
+}
+export interface FilterClause extends BaseNode {
+    kind: 'FilterClause';
+    expression: Expression;
+}
+export interface NotClause extends BaseNode {
+    kind: 'NotClause';
+    patterns: WherePattern[];
+}
+export interface OptionalClause extends BaseNode {
+    kind: 'OptionalClause';
+    patterns: WherePattern[];
+}
+export interface UnionClause extends BaseNode {
+    kind: 'UnionClause';
+    patterns: WherePattern[];
+}
+export interface UpsertStatement extends BaseNode {
+    kind: 'UpsertStatement';
+    blocks: UpsertBlock[];
+    metadata?: WithMetadata;
+}
+export type UpsertBlock = ConceptBlock | PropositionBlock;
+export interface ConceptBlock extends BaseNode {
+    kind: 'ConceptBlock';
+    handle: string;
+    matcher: ConceptMatcher;
+    setAttributes?: SetAttributes;
+    setPropositions?: SetPropositions;
+    metadata?: WithMetadata;
+}
+export interface PropositionBlock extends BaseNode {
+    kind: 'PropositionBlock';
+    handle?: string;
+    subject: PropositionEndpoint;
+    predicate: PredicateExpr;
+    object: PropositionEndpoint;
+    setAttributes?: SetAttributes;
+    metadata?: WithMetadata;
+}
+export interface SetAttributes extends BaseNode {
+    kind: 'SetAttributes';
+    entries: ObjectEntry[];
+}
+export interface SetPropositions extends BaseNode {
+    kind: 'SetPropositions';
+    items: PropositionItem[];
+}
+export interface PropositionItem extends BaseNode {
+    kind: 'PropositionItem';
+    predicate: string;
+    target: PropositionEndpoint;
+    metadata?: WithMetadata;
+}
+export interface WithMetadata extends BaseNode {
+    kind: 'WithMetadata';
+    entries: ObjectEntry[];
+}
+export interface DeleteStatement extends BaseNode {
+    kind: 'DeleteStatement';
+    deleteType: 'ATTRIBUTES' | 'METADATA' | 'PROPOSITIONS' | 'CONCEPT';
+    /** For ATTRIBUTES/METADATA: the set of keys to delete */
+    keys?: string[];
+    /** The target variable */
+    target: string;
+    /** DETACH flag for CONCEPT deletion */
+    detach?: boolean;
+    where: WhereClause;
+}
+export interface DescribeStatement extends BaseNode {
+    kind: 'DescribeStatement';
+    describeType: 'PRIMER' | 'DOMAINS' | 'CONCEPT_TYPES' | 'CONCEPT_TYPE' | 'PROPOSITION_TYPES' | 'PROPOSITION_TYPE';
+    /** The type/predicate name for specific describe */
+    typeName?: string;
+    limit?: LimitClause;
+    cursor?: CursorClause;
+}
+export interface SearchStatement extends BaseNode {
+    kind: 'SearchStatement';
+    searchTarget: 'CONCEPT' | 'PROPOSITION';
+    term: string;
+    withType?: string;
+    limit?: LimitClause;
+}
+export type Expression = BinaryExpression | UnaryExpression | FunctionCallExpr | DotExpression | VariableRef | ParameterRef | StringLiteral | NumberLiteral | BooleanLiteral | NullLiteral | ArrayLiteral | ObjectLiteral;
+export interface BinaryExpression extends BaseNode {
+    kind: 'BinaryExpression';
+    operator: string;
+    left: Expression;
+    right: Expression;
+}
+export interface UnaryExpression extends BaseNode {
+    kind: 'UnaryExpression';
+    operator: '!';
+    operand: Expression;
+}
+export interface FunctionCallExpr extends BaseNode {
+    kind: 'FunctionCallExpr';
+    name: string;
+    args: Expression[];
+}
+export interface DotExpression extends BaseNode {
+    kind: 'DotExpression';
+    object: Expression;
+    property: string;
+}
+export interface VariableRef extends BaseNode {
+    kind: 'VariableRef';
+    name: string;
+}
+export interface ParameterRef extends BaseNode {
+    kind: 'ParameterRef';
+    name: string;
+}
+export interface StringLiteral extends BaseNode {
+    kind: 'StringLiteral';
+    value: string;
+    parsed: string;
+}
+export interface NumberLiteral extends BaseNode {
+    kind: 'NumberLiteral';
+    value: number;
+    raw: string;
+}
+export interface BooleanLiteral extends BaseNode {
+    kind: 'BooleanLiteral';
+    value: boolean;
+}
+export interface NullLiteral extends BaseNode {
+    kind: 'NullLiteral';
+}
+export interface ArrayLiteral extends BaseNode {
+    kind: 'ArrayLiteral';
+    elements: Expression[];
+}
+export interface ObjectLiteral extends BaseNode {
+    kind: 'ObjectLiteral';
+    entries: ObjectEntry[];
+}
+export interface ObjectEntry extends BaseNode {
+    kind: 'ObjectEntry';
+    key: string;
+    /** Whether the key was originally quoted (e.g. `"description"` vs `description`) */
+    isQuoted: boolean;
+    value: Expression;
+}
+//# sourceMappingURL=ast.d.ts.map

package/dist/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAIvC,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,KAAK,CAAA;IACZ,eAAe,CAAC,EAAE,MAAM,EAAE,CAAA;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAA;CACzB;AAID,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,UAAU,EAAE,SAAS,EAAE,CAAA;CACxB;AAED,MAAM,MAAM,SAAS,GACjB,aAAa,GACb,eAAe,GACf,eAAe,GACf,iBAAiB,GACjB,eAAe,CAAA;AAInB,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,WAAW,EAAE,UAAU,EAAE,CAAA;IACzB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,OAAO,CAAC,EAAE,aAAa,CAAA;IACvB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,UAAU,EAAE,UAAU,CAAA;IACtB,SAAS,EAAE,KAAK,GAAG,MAAM,CAAA;CAC1B;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,KAAK,EAAE,aAAa,GAAG,YAAY,CAAA;CACpC;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,KAAK,EAAE,aAAa,GAAG,YAAY,CAAA;CACpC;AAID,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,MAAM,YAAY,GACpB,cAAc,GACd,kBAAkB,GAClB,YAAY,GACZ,SAAS,GACT,cAAc,GACd,WAAW,CAAA;AAEf,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,OAAO,EAAE,cAAc,CAAA;CACxB;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,OAAO,EAAE,WAAW,EAAE,CAAA;CACvB;AAED,MAAM,WAAW,kBAAmB,SAAQ,QAAQ;IAClD,IAAI,EAAE,oBAAoB,CAAA;IAC1B,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,OAAO,EAAE,mBAAmB,CAAA;IAC5B,SAAS,EAAE,aAAa,CAAA;IACxB,MAAM,EAAE,mBAAmB,CAAA;CAC5B;AAED,MAAM,MAAM,mBAAmB,GAC3B,WAAW,GACX,cAAc,GACd,kBAAkB,CAAA;AAEtB,MAAM,MAAM,aAAa,GAAG,gBAAgB,GAAG,oBAAoB,CAAA;AAEnE,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,CAAC,EAAE,QAAQ,CAAA;CACpB;AAED,MAAM,WAAW,oBAAqB,SAAQ,QAAQ;IACpD,IAAI,EAAE,sBAAsB,CAAA;IAC5B,UAAU,EAAE,gBAAgB,EAAE,CAAA;CAC/B;AAED,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,UAAU,CAAA;IAChB,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,CAAC,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,UAAU,EAAE,UAAU,CAAA;CACvB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB;AAID,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,MAAM,EAAE,WAAW,EAAE,CAAA;IACrB,QAAQ,CAAC,EAAE,YAAY,CAAA;CACxB;AAED,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,gBAAgB,CAAA;AAEzD,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,cAAc,CAAA;IACvB,aAAa,CAAC,EAAE,aAAa,CAAA;IAC7B,eAAe,CAAC,EAAE,eAAe,CAAA;IACjC,QAAQ,CAAC,EAAE,YAAY,CAAA;CACxB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,mBAAmB,CAAA;IAC5B,SAAS,EAAE,aAAa,CAAA;IACxB,MAAM,EAAE,mBAAmB,CAAA;IAC3B,aAAa,CAAC,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,EAAE,YAAY,CAAA;CACxB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,WAAW,EAAE,CAAA;CACvB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,KAAK,EAAE,eAAe,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,mBAAmB,CAAA;IAC3B,QAAQ,CAAC,EAAE,YAAY,CAAA;CACxB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,OAAO,EAAE,WAAW,EAAE,CAAA;CACvB;AAID,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,UAAU,EAAE,YAAY,GAAG,UAAU,GAAG,cAAc,GAAG,SAAS,CAAA;IAClE,yDAAyD;IACzD,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;IACf,0BAA0B;IAC1B,MAAM,EAAE,MAAM,CAAA;IACd,uCAAuC;IACvC,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,KAAK,EAAE,WAAW,CAAA;CACnB;AAID,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,IAAI,EAAE,mBAAmB,CAAA;IACzB,YAAY,EACR,QAAQ,GACR,SAAS,GACT,eAAe,GACf,cAAc,GACd,mBAAmB,GACnB,kBAAkB,CAAA;IACtB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;IACnB,MAAM,CAAC,EAAE,YAAY,CAAA;CACtB;AAID,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,YAAY,EAAE,SAAS,GAAG,aAAa,CAAA;IACvC,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,KAAK,CAAC,EAAE,WAAW,CAAA;CACpB;AAID,MAAM,MAAM,UAAU,GAClB,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,aAAa,GACb,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,cAAc,GACd,WAAW,GACX,YAAY,GACZ,aAAa,CAAA;AAEjB,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,UAAU,CAAA;IAChB,KAAK,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,EAAE,GAAG,CAAA;IACb,OAAO,EAAE,UAAU,CAAA;CACpB;AAED,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,IAAI,EAAE,kBAAkB,CAAA;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,UAAU,EAAE,CAAA;CACnB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,MAAM,EAAE,UAAU,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;CACZ;AAED,MAAM,WAAW,cAAe,SAAQ,QAAQ;IAC9C,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;CACpB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,QAAQ,EAAE,UAAU,EAAE,CAAA;CACvB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,WAAW,EAAE,CAAA;CACvB;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,aAAa,CAAA;IACnB,GAAG,EAAE,MAAM,CAAA;IACX,oFAAoF;IACpF,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,EAAE,UAAU,CAAA;CAClB"}

package/dist/ast.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ast.js.map

package/dist/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":""}

package/dist/diagnostics.d.ts

@@ -0,0 +1,14 @@
+import type { Range } from './token.js';
+export interface Diagnostic {
+    range: Range;
+    severity: 'error' | 'warning' | 'info';
+    message: string;
+    code: string;
+}
+/**
+ * Runs diagnostics on KIP source code.
+ * Combines lexer-level issues (unterminated strings, unknown tokens)
+ * with parser-level syntax errors.
+ */
+export declare function diagnose(source: string): Diagnostic[];
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAKvC,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAA;IACtC,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,MAAM,CAAA;CACb;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE,CAkGrD"}

package/dist/diagnostics.js

@@ -0,0 +1,99 @@
+import { tokenize } from './lexer.js';
+import { parse } from './parser.js';
+import { TokenType } from './token.js';
+/**
+ * Runs diagnostics on KIP source code.
+ * Combines lexer-level issues (unterminated strings, unknown tokens)
+ * with parser-level syntax errors.
+ */
+export function diagnose(source) {
+    const diagnostics = [];
+    // Phase 1: Lexer-level diagnostics
+    const tokens = tokenize(source);
+    for (const tok of tokens) {
+        if (tok.type === TokenType.Unknown) {
+            diagnostics.push({
+                range: {
+                    start: { line: tok.line, column: tok.column },
+                    end: { line: tok.line, column: tok.column + tok.value.length }
+                },
+                severity: 'error',
+                message: `Unexpected character '${tok.value}'`,
+                code: 'KIP_LEX_UNKNOWN'
+            });
+        }
+        // Check for unterminated strings
+        if (tok.type === TokenType.String) {
+            if (!tok.value.endsWith('"') || tok.value.length < 2) {
+                diagnostics.push({
+                    range: {
+                        start: { line: tok.line, column: tok.column },
+                        end: { line: tok.line, column: tok.column + tok.value.length }
+                    },
+                    severity: 'error',
+                    message: 'Unterminated string literal',
+                    code: 'KIP_LEX_UNTERMINATED_STRING'
+                });
+            }
+        }
+    }
+    // Phase 2: Bracket/paren matching
+    const bracketStack = [];
+    const openers = { '{': '}', '(': ')', '[': ']' };
+    const closers = { '}': '{', ')': '(', ']': '[' };
+    for (const tok of tokens) {
+        if (tok.type === TokenType.LBrace ||
+            tok.type === TokenType.LParen ||
+            tok.type === TokenType.LBracket) {
+            bracketStack.push({ type: tok.value, line: tok.line, column: tok.column });
+        }
+        else if (tok.type === TokenType.RBrace ||
+            tok.type === TokenType.RParen ||
+            tok.type === TokenType.RBracket) {
+            const expected = closers[tok.value];
+            if (bracketStack.length === 0) {
+                diagnostics.push({
+                    range: {
+                        start: { line: tok.line, column: tok.column },
+                        end: { line: tok.line, column: tok.column + 1 }
+                    },
+                    severity: 'error',
+                    message: `Unmatched closing '${tok.value}'`,
+                    code: 'KIP_LEX_UNMATCHED_BRACKET'
+                });
+            }
+            else {
+                const top = bracketStack[bracketStack.length - 1];
+                if (top.type !== expected) {
+                    diagnostics.push({
+                        range: {
+                            start: { line: tok.line, column: tok.column },
+                            end: { line: tok.line, column: tok.column + 1 }
+                        },
+                        severity: 'error',
+                        message: `Mismatched bracket: expected '${openers[top.type]}' but got '${tok.value}'`,
+                        code: 'KIP_LEX_MISMATCHED_BRACKET'
+                    });
+                }
+                bracketStack.pop();
+            }
+        }
+    }
+    // Report unclosed brackets
+    for (const unclosed of bracketStack) {
+        diagnostics.push({
+            range: {
+                start: { line: unclosed.line, column: unclosed.column },
+                end: { line: unclosed.line, column: unclosed.column + 1 }
+            },
+            severity: 'error',
+            message: `Unclosed '${unclosed.type}'`,
+            code: 'KIP_LEX_UNCLOSED_BRACKET'
+        });
+    }
+    // Phase 3: Parser diagnostics
+    const { diagnostics: parseDiags } = parse(source);
+    diagnostics.push(...parseDiags);
+    return diagnostics;
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AACrC,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAStC;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,MAAM,WAAW,GAAiB,EAAE,CAAA;IAEpC,mCAAmC;IACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC/B,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE;QACxB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE;YAClC,WAAW,CAAC,IAAI,CAAC;gBACf,KAAK,EAAE;oBACL,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;oBAC7C,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE;iBAC/D;gBACD,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,yBAAyB,GAAG,CAAC,KAAK,GAAG;gBAC9C,IAAI,EAAE,iBAAiB;aACxB,CAAC,CAAA;SACH;QAED,iCAAiC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,EAAE;YACjC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE;gBACpD,WAAW,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE;wBACL,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;wBAC7C,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE;qBAC/D;oBACD,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,6BAA6B;oBACtC,IAAI,EAAE,6BAA6B;iBACpC,CAAC,CAAA;aACH;SACF;KACF;IAED,kCAAkC;IAClC,MAAM,YAAY,GAAqD,EAAE,CAAA;IACzE,MAAM,OAAO,GAA2B,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;IACxE,MAAM,OAAO,GAA2B,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;IAExE,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE;QACxB,IACE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM;YAC7B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM;YAC7B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAC/B;YACA,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAA;SAC3E;aAAM,IACL,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM;YAC7B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM;YAC7B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,EAC/B;YACA,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACnC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE;gBAC7B,WAAW,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE;wBACL,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;wBAC7C,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE;qBAChD;oBACD,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,sBAAsB,GAAG,CAAC,KAAK,GAAG;oBAC3C,IAAI,EAAE,2BAA2B;iBAClC,CAAC,CAAA;aACH;iBAAM;gBACL,MAAM,GAAG,GAAG,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAE,CAAA;gBAClD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE;oBACzB,WAAW,CAAC,IAAI,CAAC;wBACf,KAAK,EAAE;4BACL,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;4BAC7C,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE;yBAChD;wBACD,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,iCAAiC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,GAAG,CAAC,KAAK,GAAG;wBACrF,IAAI,EAAE,4BAA4B;qBACnC,CAAC,CAAA;iBACH;gBACD,YAAY,CAAC,GAAG,EAAE,CAAA;aACnB;SACF;KACF;IAED,2BAA2B;IAC3B,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE;QACnC,WAAW,CAAC,IAAI,CAAC;YACf,KAAK,EAAE;gBACL,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;gBACvD,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE;aAC1D;YACD,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,aAAa,QAAQ,CAAC,IAAI,GAAG;YACtC,IAAI,EAAE,0BAA0B;SACjC,CAAC,CAAA;KACH;IAED,8BAA8B;IAC9B,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;IACjD,WAAW,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAA;IAE/B,OAAO,WAAW,CAAA;AACpB,CAAC"}

package/dist/formatter.d.ts

@@ -0,0 +1,14 @@
+export interface FormatOptions {
+    /** Number of spaces per indentation level (default: 4) */
+    indentSize?: number;
+    /** Sort keys inside SET ATTRIBUTES (default: true) */
+    sortAttributes?: boolean;
+}
+export declare function format(source: string, options?: FormatOptions): string;
+/**
+ * A simpler comment-preserving formatter that works at the token level.
+ * It re-parses the source and reconstructs it line by line, preserving
+ * all comments in their relative positions while normalizing indentation.
+ */
+export declare function formatPreservingComments(source: string, options?: FormatOptions): string;
+//# sourceMappingURL=formatter.d.ts.map

package/dist/formatter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter.d.ts","sourceRoot":"","sources":["../src/formatter.ts"],"names":[],"mappings":"AAqCA,MAAM,WAAW,aAAa;IAC5B,0DAA0D;IAC1D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,sDAAsD;IACtD,cAAc,CAAC,EAAE,OAAO,CAAA;CACzB;AAED,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,MAAM,CAWtE;AAwuBD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,aAAa,GACtB,MAAM,CA0CR"}