@ldclabs/kip-lang 0.3.0 → 0.4.0

package/dist/exec-ast.d.ts

@@ -0,0 +1,314 @@
+/**
+ * The *executable* KIP AST.
+ *
+ * This is a different tree from `ast.ts`, on purpose. `ast.ts` is a syntax
+ * tree: it keeps ranges, comments, quoting style and raw number text, because
+ * a formatter and an editor need to reproduce the source. This tree is what an
+ * engine needs instead — every construct already collapsed to the one shape it
+ * means, with the open-ended parts of the grammar closed:
+ *
+ *  - a concept matcher is one of four identified forms, not a bag of entries;
+ *  - a filter is a comparison, a logical node, a negation, or a call to one of
+ *    seven functions, not a general expression tree;
+ *  - a variable is a name and a dot path, not a chain of member accesses.
+ *
+ * A consumer switching on these tags is total: there is no "some other
+ * function name" case to defend against, because `lower` rejected it.
+ *
+ * The shape is the wire form of `anda_kip`'s Rust AST (serde's default
+ * externally-tagged enum encoding), so an engine can consume either
+ * interchangeably and a differential test can compare them field for field.
+ */
+/** A JSON value, as carried by attribute and metadata blocks. */
+export type Json = null | boolean | number | string | Json[] | {
+    [key: string]: Json;
+};
+/** A KIP literal. Externally tagged; `Null` is a bare string. */
+export type KipValue = 'Null' | {
+    Bool: boolean;
+} | {
+    Number: number;
+} | {
+    String: string;
+} | {
+    Array: KipValue[];
+} | {
+    Object: Record<string, KipValue>;
+};
+/** One parsed command. */
+export type Command = {
+    Kql: KqlQuery;
+} | {
+    Kml: KmlStatement;
+} | {
+    Meta: MetaCommand;
+};
+export interface KqlQuery {
+    find_clause: FindClause;
+    where_clauses: WhereClause[];
+    order_by: OrderByItem[] | null;
+    limit: number | null;
+    cursor: string | null;
+}
+export interface FindClause {
+    expressions: FindExpression[];
+}
+/** `?var` with an optional dot path, e.g. `?d.attributes.risk`. Names carry no `?`. */
+export interface DotPathVar {
+    var: string;
+    path: string[];
+}
+export type FindExpression = {
+    Variable: DotPathVar;
+} | {
+    Aggregation: {
+        func: AggregationFunction;
+        var: DotPathVar;
+        distinct: boolean;
+    };
+};
+export type AggregationFunction = 'Count' | 'Sum' | 'Avg' | 'Min' | 'Max';
+export interface OrderByItem {
+    variable: DotPathVar;
+    direction: OrderDirection;
+    aggregation: AggregationFunction | null;
+}
+export type OrderDirection = 'Asc' | 'Desc';
+export type WhereClause = {
+    Concept: {
+        variable: string;
+        matcher: ConceptMatcher;
+    };
+} | {
+    Proposition: {
+        variable: string | null;
+        matcher: PropositionMatcher;
+    };
+} | {
+    Filter: {
+        expression: FilterExpression;
+    };
+} | {
+    Not: WhereClause[];
+} | {
+    Optional: WhereClause[];
+} | {
+    Union: WhereClause[];
+};
+export type ConceptMatcher = {
+    ID: string;
+} | {
+    Type: string;
+} | {
+    Name: string;
+} | {
+    Object: {
+        type: string;
+        name: string;
+    };
+};
+export type PropositionMatcher = {
+    ID: string;
+} | {
+    Object: {
+        subject: TargetTerm;
+        predicate: PredTerm;
+        object: TargetTerm;
+    };
+};
+/**
+ * One endpoint of a proposition pattern.
+ *
+ * `Proposition` is the meta-statement case: an endpoint may itself be a
+ * proposition, which is how KIP states things about statements. It nests
+ * arbitrarily deep.
+ */
+export type TargetTerm = {
+    Variable: string;
+} | {
+    Concept: ConceptMatcher;
+} | {
+    Proposition: PropositionMatcher;
+};
+export type PredTerm = {
+    Variable: string;
+} | {
+    Literal: string;
+} | {
+    Alternative: string[];
+} | {
+    MultiHop: {
+        predicate: string;
+        min: number;
+        max: number | null;
+    };
+};
+export type FilterExpression = {
+    Comparison: {
+        left: FilterOperand;
+        operator: ComparisonOperator;
+        right: FilterOperand;
+    };
+} | {
+    Logical: {
+        left: FilterExpression;
+        operator: LogicalOperator;
+        right: FilterExpression;
+    };
+} | {
+    Not: FilterExpression;
+} | {
+    Function: {
+        func: FilterFunction;
+        args: FilterOperand[];
+    };
+};
+export type FilterOperand = {
+    Variable: DotPathVar;
+} | {
+    Literal: KipValue;
+} | {
+    List: KipValue[];
+};
+export type ComparisonOperator = 'Equal' | 'NotEqual' | 'LessThan' | 'GreaterThan' | 'LessEqual' | 'GreaterEqual';
+export type LogicalOperator = 'And' | 'Or';
+export type FilterFunction = 'Contains' | 'StartsWith' | 'EndsWith' | 'Regex'
+/** `IN(?expr, [a, b])` — membership. A function, not a comparison operator. */
+ | 'In' | 'IsNull' | 'IsNotNull';
+export type KmlStatement = {
+    Upsert: UpsertBlock[];
+} | {
+    Update: UpdateStatement;
+} | {
+    Merge: MergeStatement;
+} | {
+    Delete: DeleteStatement;
+};
+export interface UpsertBlock {
+    items: UpsertItem[];
+    metadata: Record<string, Json> | null;
+}
+export type UpsertItem = {
+    Concept: ConceptBlock;
+} | {
+    Proposition: PropositionBlock;
+};
+export interface ConceptBlock {
+    handle: string | null;
+    concept: ConceptMatcher;
+    set_attributes: Record<string, Json> | null;
+    set_propositions: SetProposition[] | null;
+    metadata: Record<string, Json> | null;
+    /** `EXPECT VERSION <n>` — optimistic guard, omitted when not written. */
+    expect_version?: number;
+}
+export interface SetProposition {
+    predicate: string;
+    object: TargetTerm;
+    metadata: Record<string, Json> | null;
+}
+export interface PropositionBlock {
+    handle: string | null;
+    proposition: PropositionMatcher;
+    set_attributes: Record<string, Json> | null;
+    metadata: Record<string, Json> | null;
+    expect_version?: number;
+}
+export interface UpdateStatement {
+    target: string;
+    set_attributes: [string, UpdateValue][] | null;
+    set_metadata: [string, UpdateValue][] | null;
+    where_clauses: WhereClause[];
+    limit: number | null;
+}
+/**
+ * An UPDATE right-hand side: a literal, or arithmetic over the target's *own*
+ * fields. References to any other variable are rejected during lowering, which
+ * is what lets each matched element be updated from its own row without a join.
+ */
+export type UpdateValue = {
+    Json: Json;
+} | {
+    Expr: UpdateExpr;
+};
+export type UpdateExpr = {
+    Variable: DotPathVar;
+} | {
+    Number: number;
+} | {
+    Function: {
+        func: UpdateFunction;
+        args: UpdateExpr[];
+    };
+};
+export type UpdateFunction = 'Add' | 'Mul' | 'Clamp' | 'Coalesce';
+export interface MergeStatement {
+    source: string;
+    target: string;
+    where_clauses: WhereClause[];
+}
+export type DeleteStatement = {
+    DeleteAttributes: {
+        attributes: string[];
+        target: string;
+        where_clauses: WhereClause[];
+    };
+} | {
+    DeleteMetadata: {
+        keys: string[];
+        target: string;
+        where_clauses: WhereClause[];
+    };
+} | {
+    DeletePropositions: {
+        target: string;
+        where_clauses: WhereClause[];
+    };
+} | {
+    DeleteConcept: {
+        target: string;
+        where_clauses: WhereClause[];
+    };
+};
+export type MetaCommand = {
+    Describe: DescribeTarget;
+} | {
+    Search: SearchCommand;
+} | {
+    Export: ExportCommand;
+};
+export type DescribeTarget = 'Primer' | 'Domains' | {
+    ConceptTypes: {
+        limit: number | null;
+        cursor: string | null;
+    };
+} | {
+    ConceptType: string;
+} | {
+    PropositionTypes: {
+        limit: number | null;
+        cursor: string | null;
+    };
+} | {
+    PropositionType: string;
+};
+export interface SearchCommand {
+    target: SearchTarget;
+    term: string;
+    in_type: string | null;
+    /** Omitted when the command wrote no `MODE`. */
+    mode?: SearchMode;
+    /** Omitted when the command wrote no `THRESHOLD`. */
+    threshold?: number;
+    limit: number | null;
+}
+export type SearchTarget = 'Concept' | 'Proposition';
+export type SearchMode = 'Keyword' | 'Semantic' | 'Hybrid';
+export interface ExportCommand {
+    target: string;
+    where_clauses: WhereClause[];
+    limit: number | null;
+    /** Omitted when the command wrote no `CURSOR`. */
+    cursor?: string;
+}
+//# sourceMappingURL=exec-ast.d.ts.map

package/dist/exec-ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exec-ast.d.ts","sourceRoot":"","sources":["../src/exec-ast.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,iEAAiE;AACjE,MAAM,MAAM,IAAI,GACZ,IAAI,GACJ,OAAO,GACP,MAAM,GACN,MAAM,GACN,IAAI,EAAE,GACN;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAA;AAE3B,iEAAiE;AACjE,MAAM,MAAM,QAAQ,GAChB,MAAM,GACN;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GACjB;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,GAClB;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,GAClB;IAAE,KAAK,EAAE,QAAQ,EAAE,CAAA;CAAE,GACrB;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;CAAE,CAAA;AAExC,0BAA0B;AAC1B,MAAM,MAAM,OAAO,GACf;IAAE,GAAG,EAAE,QAAQ,CAAA;CAAE,GACjB;IAAE,GAAG,EAAE,YAAY,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAA;AAMzB,MAAM,WAAW,QAAQ;IACvB,WAAW,EAAE,UAAU,CAAA;IACvB,aAAa,EAAE,WAAW,EAAE,CAAA;IAC5B,QAAQ,EAAE,WAAW,EAAE,GAAG,IAAI,CAAA;IAC9B,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CACtB;AAED,MAAM,WAAW,UAAU;IACzB,WAAW,EAAE,cAAc,EAAE,CAAA;CAC9B;AAED,uFAAuF;AACvF,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,MAAM,EAAE,CAAA;CACf;AAED,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,EAAE,UAAU,CAAA;CAAE,GACxB;IACE,WAAW,EAAE;QACX,IAAI,EAAE,mBAAmB,CAAA;QACzB,GAAG,EAAE,UAAU,CAAA;QACf,QAAQ,EAAE,OAAO,CAAA;KAClB,CAAA;CACF,CAAA;AAEL,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAA;AAEzE,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,UAAU,CAAA;IACpB,SAAS,EAAE,cAAc,CAAA;IACzB,WAAW,EAAE,mBAAmB,GAAG,IAAI,CAAA;CACxC;AAED,MAAM,MAAM,cAAc,GAAG,KAAK,GAAG,MAAM,CAAA;AAE3C,MAAM,MAAM,WAAW,GACnB;IAAE,OAAO,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,cAAc,CAAA;KAAE,CAAA;CAAE,GAC1D;IAAE,WAAW,EAAE;QAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,OAAO,EAAE,kBAAkB,CAAA;KAAE,CAAA;CAAE,GACzE;IAAE,MAAM,EAAE;QAAE,UAAU,EAAE,gBAAgB,CAAA;KAAE,CAAA;CAAE,GAC5C;IAAE,GAAG,EAAE,WAAW,EAAE,CAAA;CAAE,GACtB;IAAE,QAAQ,EAAE,WAAW,EAAE,CAAA;CAAE,GAC3B;IAAE,KAAK,EAAE,WAAW,EAAE,CAAA;CAAE,CAAA;AAE5B,MAAM,MAAM,cAAc,GACtB;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,GACd;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAAA;AAE9C,MAAM,MAAM,kBAAkB,GAC1B;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,GACd;IACE,MAAM,EAAE;QACN,OAAO,EAAE,UAAU,CAAA;QACnB,SAAS,EAAE,QAAQ,CAAA;QACnB,MAAM,EAAE,UAAU,CAAA;KACnB,CAAA;CACF,CAAA;AAEL;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,GACpB;IAAE,OAAO,EAAE,cAAc,CAAA;CAAE,GAC3B;IAAE,WAAW,EAAE,kBAAkB,CAAA;CAAE,CAAA;AAEvC,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,GACpB;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,GACnB;IAAE,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,GACzB;IAAE,QAAQ,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAA;CAAE,CAAA;AAExE,MAAM,MAAM,gBAAgB,GACxB;IACE,UAAU,EAAE;QACV,IAAI,EAAE,aAAa,CAAA;QACnB,QAAQ,EAAE,kBAAkB,CAAA;QAC5B,KAAK,EAAE,aAAa,CAAA;KACrB,CAAA;CACF,GACD;IACE,OAAO,EAAE;QACP,IAAI,EAAE,gBAAgB,CAAA;QACtB,QAAQ,EAAE,eAAe,CAAA;QACzB,KAAK,EAAE,gBAAgB,CAAA;KACxB,CAAA;CACF,GACD;IAAE,GAAG,EAAE,gBAAgB,CAAA;CAAE,GACzB;IAAE,QAAQ,EAAE;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,IAAI,EAAE,aAAa,EAAE,CAAA;KAAE,CAAA;CAAE,CAAA;AAEjE,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,EAAE,UAAU,CAAA;CAAE,GACxB;IAAE,OAAO,EAAE,QAAQ,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;CAAE,CAAA;AAExB,MAAM,MAAM,kBAAkB,GAC1B,OAAO,GACP,UAAU,GACV,UAAU,GACV,aAAa,GACb,WAAW,GACX,cAAc,CAAA;AAElB,MAAM,MAAM,eAAe,GAAG,KAAK,GAAG,IAAI,CAAA;AAE1C,MAAM,MAAM,cAAc,GACtB,UAAU,GACV,YAAY,GACZ,UAAU,GACV,OAAO;AACT,+EAA+E;GAC7E,IAAI,GACJ,QAAQ,GACR,WAAW,CAAA;AAMf,MAAM,MAAM,YAAY,GACpB;IAAE,MAAM,EAAE,WAAW,EAAE,CAAA;CAAE,GACzB;IAAE,MAAM,EAAE,eAAe,CAAA;CAAE,GAC3B;IAAE,KAAK,EAAE,cAAc,CAAA;CAAE,GACzB;IAAE,MAAM,EAAE,eAAe,CAAA;CAAE,CAAA;AAE/B,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,UAAU,EAAE,CAAA;IACnB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;CACtC;AAED,MAAM,MAAM,UAAU,GAClB;IAAE,OAAO,EAAE,YAAY,CAAA;CAAE,GACzB;IAAE,WAAW,EAAE,gBAAgB,CAAA;CAAE,CAAA;AAErC,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,OAAO,EAAE,cAAc,CAAA;IACvB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;IAC3C,gBAAgB,EAAE,cAAc,EAAE,GAAG,IAAI,CAAA;IACzC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;IACrC,yEAAyE;IACzE,cAAc,CAAC,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,UAAU,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;CACtC;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,WAAW,EAAE,kBAAkB,CAAA;IAC/B,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;IAC3C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAA;IACrC,cAAc,CAAC,EAAE,MAAM,CAAA;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,cAAc,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,GAAG,IAAI,CAAA;IAC9C,YAAY,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,GAAG,IAAI,CAAA;IAC5C,aAAa,EAAE,WAAW,EAAE,CAAA;IAC5B,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CACrB;AAED;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAA;AAE/D,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,EAAE,UAAU,CAAA;CAAE,GACxB;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,GAClB;IAAE,QAAQ,EAAE;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,IAAI,EAAE,UAAU,EAAE,CAAA;KAAE,CAAA;CAAE,CAAA;AAE9D,MAAM,MAAM,cAAc,GAAG,KAAK,GAAG,KAAK,GAAG,OAAO,GAAG,UAAU,CAAA;AAEjE,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,CAAA;IACd,aAAa,EAAE,WAAW,EAAE,CAAA;CAC7B;AAED,MAAM,MAAM,eAAe,GACvB;IACE,gBAAgB,EAAE;QAChB,UAAU,EAAE,MAAM,EAAE,CAAA;QACpB,MAAM,EAAE,MAAM,CAAA;QACd,aAAa,EAAE,WAAW,EAAE,CAAA;KAC7B,CAAA;CACF,GACD;IACE,cAAc,EAAE;QACd,IAAI,EAAE,MAAM,EAAE,CAAA;QACd,MAAM,EAAE,MAAM,CAAA;QACd,aAAa,EAAE,WAAW,EAAE,CAAA;KAC7B,CAAA;CACF,GACD;IAAE,kBAAkB,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,WAAW,EAAE,CAAA;KAAE,CAAA;CAAE,GACxE;IAAE,aAAa,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,WAAW,EAAE,CAAA;KAAE,CAAA;CAAE,CAAA;AAMvE,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,EAAE,cAAc,CAAA;CAAE,GAC5B;IAAE,MAAM,EAAE,aAAa,CAAA;CAAE,GACzB;IAAE,MAAM,EAAE,aAAa,CAAA;CAAE,CAAA;AAE7B,MAAM,MAAM,cAAc,GACtB,QAAQ,GACR,SAAS,GACT;IAAE,YAAY,EAAE;QAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAA;CAAE,GACjE;IAAE,WAAW,EAAE,MAAM,CAAA;CAAE,GACvB;IAAE,gBAAgB,EAAE;QAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAA;CAAE,GACrE;IAAE,eAAe,EAAE,MAAM,CAAA;CAAE,CAAA;AAE/B,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,YAAY,CAAA;IACpB,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB,gDAAgD;IAChD,IAAI,CAAC,EAAE,UAAU,CAAA;IACjB,qDAAqD;IACrD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CACrB;AAED,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,aAAa,CAAA;AAEpD,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAA;AAE1D,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAA;IACd,aAAa,EAAE,WAAW,EAAE,CAAA;IAC5B,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,kDAAkD;IAClD,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB"}

package/dist/exec-ast.js

@@ -0,0 +1,23 @@
+/**
+ * The *executable* KIP AST.
+ *
+ * This is a different tree from `ast.ts`, on purpose. `ast.ts` is a syntax
+ * tree: it keeps ranges, comments, quoting style and raw number text, because
+ * a formatter and an editor need to reproduce the source. This tree is what an
+ * engine needs instead — every construct already collapsed to the one shape it
+ * means, with the open-ended parts of the grammar closed:
+ *
+ *  - a concept matcher is one of four identified forms, not a bag of entries;
+ *  - a filter is a comparison, a logical node, a negation, or a call to one of
+ *    seven functions, not a general expression tree;
+ *  - a variable is a name and a dot path, not a chain of member accesses.
+ *
+ * A consumer switching on these tags is total: there is no "some other
+ * function name" case to defend against, because `lower` rejected it.
+ *
+ * The shape is the wire form of `anda_kip`'s Rust AST (serde's default
+ * externally-tagged enum encoding), so an engine can consume either
+ * interchangeably and a differential test can compare them field for field.
+ */
+export {};
+//# sourceMappingURL=exec-ast.js.map

package/dist/exec-ast.js.map

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

package/dist/formatter.d.ts

@@ -1,14 +1,12 @@
 export interface FormatOptions {
     /** Number of spaces per indentation level (default: 4) */
     indentSize?: number;
-    /** Sort keys inside SET ATTRIBUTES (default: true) */
+    /**
+     * Alphabetically sort keys inside `SET ATTRIBUTES` (default: false).
+     * Author key order is preserved by default; sorting is skipped for any block
+     * that contains comments, since reordering would detach a comment from its key.
+     */
     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

@@ -1 +1 @@
-{"version":3,"file":"formatter.d.ts","sourceRoot":"","sources":["../src/formatter.ts"],"names":[],"mappings":"AA8CA,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,CAgBtE;AAu4BD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,aAAa,GACtB,MAAM,CA0CR"}
+{"version":3,"file":"formatter.d.ts","sourceRoot":"","sources":["../src/formatter.ts"],"names":[],"mappings":"AA8CA,MAAM,WAAW,aAAa;IAC5B,0DAA0D;IAC1D,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB;;;;OAIG;IACH,cAAc,CAAC,EAAE,OAAO,CAAA;CACzB;AAED,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,MAAM,CAgBtE"}