@ldclabs/kip-lang 0.4.0 → 2.0.1

package/dist/token.d.ts

@@ -9,62 +9,120 @@ export declare enum TokenType {
     Identifier = "Identifier",
     Variable = "Variable",// ?foo
     Parameter = "Parameter",// :foo
-    SystemIdent = "SystemIdent",// $foo
     Find = "FIND",
     Where = "WHERE",
-    OrderBy = "ORDER_BY",// matched as two tokens then merged
-    Limit = "LIMIT",
-    Cursor = "CURSOR",
     Filter = "FILTER",
     Not = "NOT",
     Optional = "OPTIONAL",
     Union = "UNION",
+    Belief = "BELIEF",
+    Slot = "SLOT",
+    Order = "ORDER",
+    By = "BY",
     Asc = "ASC",
     Desc = "DESC",
-    Upsert = "UPSERT",
-    Update = "UPDATE",
-    Merge = "MERGE",
-    Delete = "DELETE",
+    Limit = "LIMIT",
+    Cursor = "CURSOR",
+    Distinct = "DISTINCT",
+    As = "AS",
+    Of = "OF",
+    Seq = "SEQ",
+    Tx = "TX",
+    Time = "TIME",
+    For = "FOR",
+    Epistemic = "EPISTEMIC",
     Concept = "CONCEPT",
     Proposition = "PROPOSITION",
+    Assertion = "ASSERTION",
+    Evidence = "EVIDENCE",
+    Activity = "ACTIVITY",
+    Structural = "STRUCTURAL",
+    Mutate = "MUTATE",
+    Create = "CREATE",
+    Upsert = "UPSERT",
+    Ensure = "ENSURE",
+    Assert = "ASSERT",
+    Superseding = "SUPERSEDING",
+    Update = "UPDATE",
+    Retract = "RETRACT",
+    Supersede = "SUPERSEDE",
+    Correct = "CORRECT",
+    Transition = "TRANSITION",
     Set = "SET",
-    Attributes = "ATTRIBUTES",
-    Propositions = "PROPOSITIONS",
-    With = "WITH",
-    Metadata = "METADATA",
-    Detach = "DETACH",
-    From = "FROM",
+    Unset = "UNSET",
+    Retention = "RETENTION",
+    Archive = "ARCHIVE",
+    Tombstone = "TOMBSTONE",
+    Purge = "PURGE",
+    Confirm = "CONFIRM",
+    Reference = "REFERENCE",
+    Policy = "POLICY",
+    Merge = "MERGE",
     Into = "INTO",
+    To = "TO",
+    Type = "TYPE",
+    Client = "CLIENT",
+    Key = "KEY",
+    Name = "NAME",
+    Match = "MATCH",
+    Fields = "FIELDS",
+    Attributes = "ATTRIBUTES",
+    Facet = "FACET",
     Expect = "EXPECT",
     Version = "VERSION",
+    State = "STATE",
     Describe = "DESCRIBE",
+    List = "LIST",
     Search = "SEARCH",
+    Verify = "VERIFY",
+    Validate = "VALIDATE",
+    Preview = "PREVIEW",
+    History = "HISTORY",
+    Changes = "CHANGES",
+    Snapshot = "SNAPSHOT",
     Export = "EXPORT",
     Primer = "PRIMER",
-    Domains = "DOMAINS",
-    Type = "TYPE",
-    Types = "TYPES",
     Mode = "MODE",
+    Protocol = "PROTOCOL",
+    Execution = "EXECUTION",
+    Context = "CONTEXT",
+    Capabilities = "CAPABILITIES",
+    Capability = "CAPABILITY",
+    Space = "SPACE",
+    Spaces = "SPACES",
+    Schema = "SCHEMA",
+    Environment = "ENVIRONMENT",
+    Package = "PACKAGE",
+    Packages = "PACKAGES",
+    Predicate = "PREDICATE",
+    Predicates = "PREDICATES",
+    Field = "FIELD",
+    Facets = "FACETS",
+    Types = "TYPES",
+    Policies = "POLICIES",
+    Compatibility = "COMPATIBILITY",
+    From = "FROM",
+    Error = "ERROR",
+    Transaction = "TRANSACTION",
+    Idempotency = "IDEMPOTENCY",
+    Capsule = "CAPSULE",
+    Projection = "PROJECTION",
+    Trust = "TRUST",
+    Access = "ACCESS",
+    With = "WITH",
+    Status = "STATUS",
+    Cognition = "COGNITION",
     Threshold = "THRESHOLD",
-    Order = "ORDER",
-    By = "BY",
-    Count = "COUNT",
-    Sum = "SUM",
-    Avg = "AVG",
-    Min = "MIN",
-    Max = "MAX",
-    Contains = "CONTAINS",
-    StartsWith = "STARTS_WITH",
-    EndsWith = "ENDS_WITH",
-    Regex = "REGEX",
-    In = "IN",
-    IsNull = "IS_NULL",
-    IsNotNull = "IS_NOT_NULL",
-    Distinct = "DISTINCT",
-    Add = "ADD",
-    Mul = "MUL",
-    Clamp = "CLAMP",
-    Coalesce = "COALESCE",
+    Receipt = "RECEIPT",
+    Blob = "BLOB",
+    Checkpoint = "CHECKPOINT",
+    Kql = "KQL",
+    Kml = "KML",
+    Import = "IMPORT",
+    Plan = "PLAN",
+    Element = "ELEMENT",
+    Since = "SINCE",
+    After = "AFTER",
     Eq = "==",
     NotEq = "!=",
     Lt = "<",
@@ -74,6 +132,7 @@ export declare enum TokenType {
     And = "&&",
     Or = "||",
     Bang = "!",
+    Minus = "-",
     LBrace = "{",
     RBrace = "}",
     LParen = "(",
@@ -105,12 +164,43 @@ export interface Token {
     line: number;
     column: number;
 }
-/** Set of all KIP keywords (uppercase) mapped to their TokenType */
+/**
+ * Every KIP 2.0 protocol keyword, keyed by its canonical uppercase spelling.
+ *
+ * KIP 2.0 keywords are ASCII case-insensitive (canonical rendering is
+ * uppercase), so the lexer looks names up here after upper-casing. Schema
+ * symbols and string values keep their own case-sensitive contracts.
+ */
 export declare const KEYWORDS: ReadonlyMap<string, TokenType>;
-/** Set of built-in function names mapped to their TokenType */
-export declare const FUNCTIONS: ReadonlyMap<string, TokenType>;
+/**
+ * Aggregate names legal in `aggregate_expression`.
+ *
+ * The grammar spells these as terminals, but `function_call` is an open
+ * `identifier, "(" ...`, so they stay lexical identifiers and the parser
+ * recognizes them by name. That keeps one rule for every call shape.
+ */
+export declare const AGGREGATES: ReadonlySet<string>;
+/**
+ * Runtime functions KIP 2.0 registers by name.
+ *
+ * `function_call` is syntactically open so namespaced and future functions
+ * still parse; this set is what the semantic layer and editor tooling treat
+ * as known. Membership is not a parse-time gate.
+ */
+export declare const FUNCTIONS: ReadonlySet<string>;
 export declare function isKeyword(type: TokenType): boolean;
-export declare function isFunction(type: TokenType): boolean;
+export declare function isFunction(name: string): boolean;
+export declare function isAggregate(name: string): boolean;
 export declare function isLiteral(type: TokenType): boolean;
 export declare function isTrivia(type: TokenType): boolean;
+/**
+ * True when a token may stand where the grammar writes `identifier`.
+ *
+ * KIP 2.0 keywords are contextual, not reserved: the Spec's own examples use
+ * `by`, `mode`, `at`, `key`, `name`, `type` and `status` as object keys, and
+ * `?a.lifecycle.status` as a dot path. Rejecting a keyword in those positions
+ * would make the normative examples unparseable, so every keyword doubles as
+ * an identifier outside the position that gives it meaning.
+ */
+export declare function isIdentifierLike(type: TokenType): boolean;
 //# sourceMappingURL=token.d.ts.map

package/dist/token.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"token.d.ts","sourceRoot":"","sources":["../src/token.ts"],"names":[],"mappings":"AAAA,oBAAY,SAAS;IAEnB,UAAU,eAAe;IACzB,OAAO,YAAY;IACnB,OAAO,YAAY;IAGnB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,IAAI,SAAS;IAGb,UAAU,eAAe;IACzB,QAAQ,aAAa,CAAE,OAAO;IAC9B,SAAS,cAAc,CAAE,OAAO;IAChC,WAAW,gBAAgB,CAAE,OAAO;IAGpC,IAAI,SAAS;IACb,KAAK,UAAU;IACf,OAAO,aAAa,CAAE,oCAAoC;IAC1D,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,GAAG,QAAQ;IACX,QAAQ,aAAa;IACrB,KAAK,UAAU;IACf,GAAG,QAAQ;IACX,IAAI,SAAS;IAGb,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,WAAW,gBAAgB;IAC3B,GAAG,QAAQ;IACX,UAAU,eAAe;IACzB,YAAY,iBAAiB;IAC7B,IAAI,SAAS;IACb,QAAQ,aAAa;IACrB,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,IAAI,SAAS;IACb,MAAM,WAAW;IACjB,OAAO,YAAY;IAGnB,QAAQ,aAAa;IACrB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,IAAI,SAAS;IACb,KAAK,UAAU;IACf,IAAI,SAAS;IACb,SAAS,cAAc;IAGvB,KAAK,UAAU;IACf,EAAE,OAAO;IAGT,KAAK,UAAU;IACf,GAAG,QAAQ;IACX,GAAG,QAAQ;IACX,GAAG,QAAQ;IACX,GAAG,QAAQ;IACX,QAAQ,aAAa;IACrB,UAAU,gBAAgB;IAC1B,QAAQ,cAAc;IACtB,KAAK,UAAU;IACf,EAAE,OAAO;IACT,MAAM,YAAY;IAClB,SAAS,gBAAgB;IACzB,QAAQ,aAAa;IACrB,GAAG,QAAQ;IACX,GAAG,QAAQ;IACX,KAAK,UAAU;IACf,QAAQ,aAAa;IAGrB,EAAE,OAAO;IACT,KAAK,OAAO;IACZ,EAAE,MAAM;IACR,EAAE,MAAM;IACR,IAAI,OAAO;IACX,IAAI,OAAO;IACX,GAAG,OAAO;IACV,EAAE,OAAO;IACT,IAAI,MAAM;IAGV,MAAM,MAAM;IACZ,MAAM,MAAM;IACZ,MAAM,MAAM;IACZ,MAAM,MAAM;IACZ,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,KAAK,MAAM;IACX,KAAK,MAAM;IACX,GAAG,MAAM;IACT,IAAI,MAAM;IAGV,GAAG,QAAQ;IACX,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,QAAQ;IACvB,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAA;IACZ,oDAAoD;IACpD,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,KAAK;IACpB,KAAK,EAAE,QAAQ,CAAA;IACf,GAAG,EAAE,QAAQ,CAAA;CACd;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,4BAA4B;IAC5B,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;CACf;AAED,oEAAoE;AACpE,eAAO,MAAM,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAsClD,CAAA;AAEF,+DAA+D;AAC/D,eAAO,MAAM,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAkBnD,CAAA;AAMF,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAElD;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAEnD;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAOlD;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAMjD"}
+{"version":3,"file":"token.d.ts","sourceRoot":"","sources":["../src/token.ts"],"names":[],"mappings":"AAAA,oBAAY,SAAS;IAEnB,UAAU,eAAe;IACzB,OAAO,YAAY;IACnB,OAAO,YAAY;IAGnB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,IAAI,SAAS;IAGb,UAAU,eAAe;IACzB,QAAQ,aAAa,CAAE,OAAO;IAC9B,SAAS,cAAc,CAAE,OAAO;IAGhC,IAAI,SAAS;IACb,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,GAAG,QAAQ;IACX,QAAQ,aAAa;IACrB,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,KAAK,UAAU;IACf,EAAE,OAAO;IACT,GAAG,QAAQ;IACX,IAAI,SAAS;IACb,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,QAAQ,aAAa;IACrB,EAAE,OAAO;IACT,EAAE,OAAO;IACT,GAAG,QAAQ;IACX,EAAE,OAAO;IACT,IAAI,SAAS;IACb,GAAG,QAAQ;IACX,SAAS,cAAc;IAGvB,OAAO,YAAY;IACnB,WAAW,gBAAgB;IAC3B,SAAS,cAAc;IACvB,QAAQ,aAAa;IACrB,QAAQ,aAAa;IACrB,UAAU,eAAe;IAGzB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,WAAW,gBAAgB;IAC3B,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,SAAS,cAAc;IACvB,OAAO,YAAY;IACnB,UAAU,eAAe;IACzB,GAAG,QAAQ;IACX,KAAK,UAAU;IACf,SAAS,cAAc;IACvB,OAAO,YAAY;IACnB,SAAS,cAAc;IACvB,KAAK,UAAU;IACf,OAAO,YAAY;IACnB,SAAS,cAAc;IACvB,MAAM,WAAW;IACjB,KAAK,UAAU;IACf,IAAI,SAAS;IACb,EAAE,OAAO;IACT,IAAI,SAAS;IACb,MAAM,WAAW;IACjB,GAAG,QAAQ;IACX,IAAI,SAAS;IACb,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,UAAU,eAAe;IACzB,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,KAAK,UAAU;IAGf,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,QAAQ,aAAa;IACrB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,QAAQ,aAAa;IACrB,SAAS,cAAc;IACvB,OAAO,YAAY;IACnB,YAAY,iBAAiB;IAC7B,UAAU,eAAe;IACzB,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,WAAW,gBAAgB;IAC3B,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,SAAS,cAAc;IACvB,UAAU,eAAe;IACzB,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,KAAK,UAAU;IACf,QAAQ,aAAa;IACrB,aAAa,kBAAkB;IAC/B,IAAI,SAAS;IACb,KAAK,UAAU;IACf,WAAW,gBAAgB;IAC3B,WAAW,gBAAgB;IAC3B,OAAO,YAAY;IACnB,UAAU,eAAe;IACzB,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,MAAM,WAAW;IACjB,SAAS,cAAc;IACvB,SAAS,cAAc;IACvB,OAAO,YAAY;IACnB,IAAI,SAAS;IACb,UAAU,eAAe;IACzB,GAAG,QAAQ;IACX,GAAG,QAAQ;IACX,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,KAAK,UAAU;IACf,KAAK,UAAU;IAGf,EAAE,OAAO;IACT,KAAK,OAAO;IACZ,EAAE,MAAM;IACR,EAAE,MAAM;IACR,IAAI,OAAO;IACX,IAAI,OAAO;IACX,GAAG,OAAO;IACV,EAAE,OAAO;IACT,IAAI,MAAM;IACV,KAAK,MAAM;IAGX,MAAM,MAAM;IACZ,MAAM,MAAM;IACZ,MAAM,MAAM;IACZ,MAAM,MAAM;IACZ,QAAQ,MAAM;IACd,QAAQ,MAAM;IACd,KAAK,MAAM;IACX,KAAK,MAAM;IACX,GAAG,MAAM;IACT,IAAI,MAAM;IAGV,GAAG,QAAQ;IACX,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,QAAQ;IACvB,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAA;IACZ,oDAAoD;IACpD,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,KAAK;IACpB,KAAK,EAAE,QAAQ,CAAA;IACf,GAAG,EAAE,QAAQ,CAAA;CACd;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,4BAA4B;IAC5B,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;CACf;AAED;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CA0HlD,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,EAAE,WAAW,CAAC,MAAM,CAMzC,CAAA;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,EAAE,WAAW,CAAC,MAAM,CAoBxC,CAAA;AAKF,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAElD;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEhD;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEjD;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAOlD;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAMjD;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAEzD"}

package/dist/token.js

@@ -13,67 +13,124 @@ export var TokenType;
     TokenType["Identifier"] = "Identifier";
     TokenType["Variable"] = "Variable";
     TokenType["Parameter"] = "Parameter";
-    TokenType["SystemIdent"] = "SystemIdent";
-    // Keywords - KQL
+    // ── Keywords — KQL ────────────────────────────────────────────────
     TokenType["Find"] = "FIND";
     TokenType["Where"] = "WHERE";
-    TokenType["OrderBy"] = "ORDER_BY";
-    TokenType["Limit"] = "LIMIT";
-    TokenType["Cursor"] = "CURSOR";
     TokenType["Filter"] = "FILTER";
     TokenType["Not"] = "NOT";
     TokenType["Optional"] = "OPTIONAL";
     TokenType["Union"] = "UNION";
+    TokenType["Belief"] = "BELIEF";
+    TokenType["Slot"] = "SLOT";
+    TokenType["Order"] = "ORDER";
+    TokenType["By"] = "BY";
     TokenType["Asc"] = "ASC";
     TokenType["Desc"] = "DESC";
-    // Keywords - KML
-    TokenType["Upsert"] = "UPSERT";
-    TokenType["Update"] = "UPDATE";
-    TokenType["Merge"] = "MERGE";
-    TokenType["Delete"] = "DELETE";
+    TokenType["Limit"] = "LIMIT";
+    TokenType["Cursor"] = "CURSOR";
+    TokenType["Distinct"] = "DISTINCT";
+    TokenType["As"] = "AS";
+    TokenType["Of"] = "OF";
+    TokenType["Seq"] = "SEQ";
+    TokenType["Tx"] = "TX";
+    TokenType["Time"] = "TIME";
+    TokenType["For"] = "FOR";
+    TokenType["Epistemic"] = "EPISTEMIC";
+    // ── Keywords — element kinds (shared KQL/KML/META) ────────────────
     TokenType["Concept"] = "CONCEPT";
     TokenType["Proposition"] = "PROPOSITION";
+    TokenType["Assertion"] = "ASSERTION";
+    TokenType["Evidence"] = "EVIDENCE";
+    TokenType["Activity"] = "ACTIVITY";
+    TokenType["Structural"] = "STRUCTURAL";
+    // ── Keywords — KML ────────────────────────────────────────────────
+    TokenType["Mutate"] = "MUTATE";
+    TokenType["Create"] = "CREATE";
+    TokenType["Upsert"] = "UPSERT";
+    TokenType["Ensure"] = "ENSURE";
+    TokenType["Assert"] = "ASSERT";
+    TokenType["Superseding"] = "SUPERSEDING";
+    TokenType["Update"] = "UPDATE";
+    TokenType["Retract"] = "RETRACT";
+    TokenType["Supersede"] = "SUPERSEDE";
+    TokenType["Correct"] = "CORRECT";
+    TokenType["Transition"] = "TRANSITION";
     TokenType["Set"] = "SET";
-    TokenType["Attributes"] = "ATTRIBUTES";
-    TokenType["Propositions"] = "PROPOSITIONS";
-    TokenType["With"] = "WITH";
-    TokenType["Metadata"] = "METADATA";
-    TokenType["Detach"] = "DETACH";
-    TokenType["From"] = "FROM";
+    TokenType["Unset"] = "UNSET";
+    TokenType["Retention"] = "RETENTION";
+    TokenType["Archive"] = "ARCHIVE";
+    TokenType["Tombstone"] = "TOMBSTONE";
+    TokenType["Purge"] = "PURGE";
+    TokenType["Confirm"] = "CONFIRM";
+    TokenType["Reference"] = "REFERENCE";
+    TokenType["Policy"] = "POLICY";
+    TokenType["Merge"] = "MERGE";
     TokenType["Into"] = "INTO";
+    TokenType["To"] = "TO";
+    TokenType["Type"] = "TYPE";
+    TokenType["Client"] = "CLIENT";
+    TokenType["Key"] = "KEY";
+    TokenType["Name"] = "NAME";
+    TokenType["Match"] = "MATCH";
+    TokenType["Fields"] = "FIELDS";
+    TokenType["Attributes"] = "ATTRIBUTES";
+    TokenType["Facet"] = "FACET";
     TokenType["Expect"] = "EXPECT";
     TokenType["Version"] = "VERSION";
-    // Keywords - META
+    TokenType["State"] = "STATE";
+    // ── Keywords — META ───────────────────────────────────────────────
     TokenType["Describe"] = "DESCRIBE";
+    TokenType["List"] = "LIST";
     TokenType["Search"] = "SEARCH";
+    TokenType["Verify"] = "VERIFY";
+    TokenType["Validate"] = "VALIDATE";
+    TokenType["Preview"] = "PREVIEW";
+    TokenType["History"] = "HISTORY";
+    TokenType["Changes"] = "CHANGES";
+    TokenType["Snapshot"] = "SNAPSHOT";
     TokenType["Export"] = "EXPORT";
     TokenType["Primer"] = "PRIMER";
-    TokenType["Domains"] = "DOMAINS";
-    TokenType["Type"] = "TYPE";
-    TokenType["Types"] = "TYPES";
     TokenType["Mode"] = "MODE";
+    TokenType["Protocol"] = "PROTOCOL";
+    TokenType["Execution"] = "EXECUTION";
+    TokenType["Context"] = "CONTEXT";
+    TokenType["Capabilities"] = "CAPABILITIES";
+    TokenType["Capability"] = "CAPABILITY";
+    TokenType["Space"] = "SPACE";
+    TokenType["Spaces"] = "SPACES";
+    TokenType["Schema"] = "SCHEMA";
+    TokenType["Environment"] = "ENVIRONMENT";
+    TokenType["Package"] = "PACKAGE";
+    TokenType["Packages"] = "PACKAGES";
+    TokenType["Predicate"] = "PREDICATE";
+    TokenType["Predicates"] = "PREDICATES";
+    TokenType["Field"] = "FIELD";
+    TokenType["Facets"] = "FACETS";
+    TokenType["Types"] = "TYPES";
+    TokenType["Policies"] = "POLICIES";
+    TokenType["Compatibility"] = "COMPATIBILITY";
+    TokenType["From"] = "FROM";
+    TokenType["Error"] = "ERROR";
+    TokenType["Transaction"] = "TRANSACTION";
+    TokenType["Idempotency"] = "IDEMPOTENCY";
+    TokenType["Capsule"] = "CAPSULE";
+    TokenType["Projection"] = "PROJECTION";
+    TokenType["Trust"] = "TRUST";
+    TokenType["Access"] = "ACCESS";
+    TokenType["With"] = "WITH";
+    TokenType["Status"] = "STATUS";
+    TokenType["Cognition"] = "COGNITION";
     TokenType["Threshold"] = "THRESHOLD";
-    // Keywords - common
-    TokenType["Order"] = "ORDER";
-    TokenType["By"] = "BY";
-    // Built-in functions
-    TokenType["Count"] = "COUNT";
-    TokenType["Sum"] = "SUM";
-    TokenType["Avg"] = "AVG";
-    TokenType["Min"] = "MIN";
-    TokenType["Max"] = "MAX";
-    TokenType["Contains"] = "CONTAINS";
-    TokenType["StartsWith"] = "STARTS_WITH";
-    TokenType["EndsWith"] = "ENDS_WITH";
-    TokenType["Regex"] = "REGEX";
-    TokenType["In"] = "IN";
-    TokenType["IsNull"] = "IS_NULL";
-    TokenType["IsNotNull"] = "IS_NOT_NULL";
-    TokenType["Distinct"] = "DISTINCT";
-    TokenType["Add"] = "ADD";
-    TokenType["Mul"] = "MUL";
-    TokenType["Clamp"] = "CLAMP";
-    TokenType["Coalesce"] = "COALESCE";
+    TokenType["Receipt"] = "RECEIPT";
+    TokenType["Blob"] = "BLOB";
+    TokenType["Checkpoint"] = "CHECKPOINT";
+    TokenType["Kql"] = "KQL";
+    TokenType["Kml"] = "KML";
+    TokenType["Import"] = "IMPORT";
+    TokenType["Plan"] = "PLAN";
+    TokenType["Element"] = "ELEMENT";
+    TokenType["Since"] = "SINCE";
+    TokenType["After"] = "AFTER";
     // Operators
     TokenType["Eq"] = "==";
     TokenType["NotEq"] = "!=";
@@ -84,6 +141,7 @@ export var TokenType;
     TokenType["And"] = "&&";
     TokenType["Or"] = "||";
     TokenType["Bang"] = "!";
+    TokenType["Minus"] = "-";
     // Punctuation
     TokenType["LBrace"] = "{";
     TokenType["RBrace"] = "}";
@@ -99,74 +157,185 @@ export var TokenType;
     TokenType["EOF"] = "EOF";
     TokenType["Unknown"] = "Unknown";
 })(TokenType || (TokenType = {}));
-/** Set of all KIP keywords (uppercase) mapped to their TokenType */
+/**
+ * Every KIP 2.0 protocol keyword, keyed by its canonical uppercase spelling.
+ *
+ * KIP 2.0 keywords are ASCII case-insensitive (canonical rendering is
+ * uppercase), so the lexer looks names up here after upper-casing. Schema
+ * symbols and string values keep their own case-sensitive contracts.
+ */
 export const KEYWORDS = new Map([
+    // KQL
     ['FIND', TokenType.Find],
     ['WHERE', TokenType.Where],
-    ['ORDER', TokenType.Order],
-    ['BY', TokenType.By],
-    ['LIMIT', TokenType.Limit],
-    ['CURSOR', TokenType.Cursor],
     ['FILTER', TokenType.Filter],
     ['NOT', TokenType.Not],
     ['OPTIONAL', TokenType.Optional],
     ['UNION', TokenType.Union],
+    ['BELIEF', TokenType.Belief],
+    ['SLOT', TokenType.Slot],
+    ['ORDER', TokenType.Order],
+    ['BY', TokenType.By],
     ['ASC', TokenType.Asc],
     ['DESC', TokenType.Desc],
-    ['UPSERT', TokenType.Upsert],
-    ['UPDATE', TokenType.Update],
-    ['MERGE', TokenType.Merge],
-    ['DELETE', TokenType.Delete],
+    ['LIMIT', TokenType.Limit],
+    ['CURSOR', TokenType.Cursor],
+    ['DISTINCT', TokenType.Distinct],
+    ['AS', TokenType.As],
+    ['OF', TokenType.Of],
+    ['SEQ', TokenType.Seq],
+    ['TX', TokenType.Tx],
+    ['TIME', TokenType.Time],
+    ['FOR', TokenType.For],
+    ['EPISTEMIC', TokenType.Epistemic],
+    // Element kinds
     ['CONCEPT', TokenType.Concept],
     ['PROPOSITION', TokenType.Proposition],
+    ['ASSERTION', TokenType.Assertion],
+    ['EVIDENCE', TokenType.Evidence],
+    ['ACTIVITY', TokenType.Activity],
+    ['STRUCTURAL', TokenType.Structural],
+    // KML
+    ['MUTATE', TokenType.Mutate],
+    ['CREATE', TokenType.Create],
+    ['UPSERT', TokenType.Upsert],
+    ['ENSURE', TokenType.Ensure],
+    ['ASSERT', TokenType.Assert],
+    ['SUPERSEDING', TokenType.Superseding],
+    ['UPDATE', TokenType.Update],
+    ['RETRACT', TokenType.Retract],
+    ['SUPERSEDE', TokenType.Supersede],
+    ['CORRECT', TokenType.Correct],
+    ['TRANSITION', TokenType.Transition],
     ['SET', TokenType.Set],
-    ['ATTRIBUTES', TokenType.Attributes],
-    ['PROPOSITIONS', TokenType.Propositions],
-    ['WITH', TokenType.With],
-    ['METADATA', TokenType.Metadata],
-    ['DETACH', TokenType.Detach],
-    ['FROM', TokenType.From],
+    ['UNSET', TokenType.Unset],
+    ['RETENTION', TokenType.Retention],
+    ['ARCHIVE', TokenType.Archive],
+    ['TOMBSTONE', TokenType.Tombstone],
+    ['PURGE', TokenType.Purge],
+    ['CONFIRM', TokenType.Confirm],
+    ['REFERENCE', TokenType.Reference],
+    ['POLICY', TokenType.Policy],
+    ['MERGE', TokenType.Merge],
     ['INTO', TokenType.Into],
+    ['TO', TokenType.To],
+    ['TYPE', TokenType.Type],
+    ['CLIENT', TokenType.Client],
+    ['KEY', TokenType.Key],
+    ['NAME', TokenType.Name],
+    ['MATCH', TokenType.Match],
+    ['FIELDS', TokenType.Fields],
+    ['ATTRIBUTES', TokenType.Attributes],
+    ['FACET', TokenType.Facet],
     ['EXPECT', TokenType.Expect],
     ['VERSION', TokenType.Version],
+    ['STATE', TokenType.State],
+    // META
     ['DESCRIBE', TokenType.Describe],
+    ['LIST', TokenType.List],
     ['SEARCH', TokenType.Search],
+    ['VERIFY', TokenType.Verify],
+    ['VALIDATE', TokenType.Validate],
+    ['PREVIEW', TokenType.Preview],
+    ['HISTORY', TokenType.History],
+    ['CHANGES', TokenType.Changes],
+    ['SNAPSHOT', TokenType.Snapshot],
     ['EXPORT', TokenType.Export],
     ['PRIMER', TokenType.Primer],
-    ['DOMAINS', TokenType.Domains],
-    ['TYPE', TokenType.Type],
-    ['TYPES', TokenType.Types],
     ['MODE', TokenType.Mode],
-    ['THRESHOLD', TokenType.Threshold]
+    ['PROTOCOL', TokenType.Protocol],
+    ['EXECUTION', TokenType.Execution],
+    ['CONTEXT', TokenType.Context],
+    ['CAPABILITIES', TokenType.Capabilities],
+    ['CAPABILITY', TokenType.Capability],
+    ['SPACE', TokenType.Space],
+    ['SPACES', TokenType.Spaces],
+    ['SCHEMA', TokenType.Schema],
+    ['ENVIRONMENT', TokenType.Environment],
+    ['PACKAGE', TokenType.Package],
+    ['PACKAGES', TokenType.Packages],
+    ['PREDICATE', TokenType.Predicate],
+    ['PREDICATES', TokenType.Predicates],
+    ['FIELD', TokenType.Field],
+    ['FACETS', TokenType.Facets],
+    ['TYPES', TokenType.Types],
+    ['POLICIES', TokenType.Policies],
+    ['COMPATIBILITY', TokenType.Compatibility],
+    ['FROM', TokenType.From],
+    ['ERROR', TokenType.Error],
+    ['TRANSACTION', TokenType.Transaction],
+    ['IDEMPOTENCY', TokenType.Idempotency],
+    ['CAPSULE', TokenType.Capsule],
+    ['PROJECTION', TokenType.Projection],
+    ['TRUST', TokenType.Trust],
+    ['ACCESS', TokenType.Access],
+    ['WITH', TokenType.With],
+    ['STATUS', TokenType.Status],
+    ['COGNITION', TokenType.Cognition],
+    ['THRESHOLD', TokenType.Threshold],
+    ['RECEIPT', TokenType.Receipt],
+    ['BLOB', TokenType.Blob],
+    ['CHECKPOINT', TokenType.Checkpoint],
+    ['KQL', TokenType.Kql],
+    ['KML', TokenType.Kml],
+    ['IMPORT', TokenType.Import],
+    ['PLAN', TokenType.Plan],
+    ['ELEMENT', TokenType.Element],
+    ['SINCE', TokenType.Since],
+    ['AFTER', TokenType.After]
 ]);
-/** Set of built-in function names mapped to their TokenType */
-export const FUNCTIONS = new Map([
-    ['COUNT', TokenType.Count],
-    ['SUM', TokenType.Sum],
-    ['AVG', TokenType.Avg],
-    ['MIN', TokenType.Min],
-    ['MAX', TokenType.Max],
-    ['CONTAINS', TokenType.Contains],
-    ['STARTS_WITH', TokenType.StartsWith],
-    ['ENDS_WITH', TokenType.EndsWith],
-    ['REGEX', TokenType.Regex],
-    ['IN', TokenType.In],
-    ['IS_NULL', TokenType.IsNull],
-    ['IS_NOT_NULL', TokenType.IsNotNull],
-    ['DISTINCT', TokenType.Distinct],
-    ['ADD', TokenType.Add],
-    ['MUL', TokenType.Mul],
-    ['CLAMP', TokenType.Clamp],
-    ['COALESCE', TokenType.Coalesce]
+/**
+ * Aggregate names legal in `aggregate_expression`.
+ *
+ * The grammar spells these as terminals, but `function_call` is an open
+ * `identifier, "(" ...`, so they stay lexical identifiers and the parser
+ * recognizes them by name. That keeps one rule for every call shape.
+ */
+export const AGGREGATES = new Set([
+    'COUNT',
+    'SUM',
+    'AVG',
+    'MIN',
+    'MAX'
 ]);
-/** Reverse lookup sets, built once, so membership tests are O(1). */
+/**
+ * Runtime functions KIP 2.0 registers by name.
+ *
+ * `function_call` is syntactically open so namespaced and future functions
+ * still parse; this set is what the semantic layer and editor tooling treat
+ * as known. Membership is not a parse-time gate.
+ */
+export const FUNCTIONS = new Set([
+    // Filter predicates
+    'IN',
+    'CONTAINS',
+    'STARTS_WITH',
+    'ENDS_WITH',
+    'REGEX',
+    'IS_NULL',
+    'IS_NOT_NULL',
+    'IS_LITERAL',
+    'IS_ELEMENT',
+    'IS_KIND',
+    'LITERAL_TYPE',
+    // Deterministic update expressions
+    'ADD',
+    'MUL',
+    'CLAMP',
+    'COALESCE',
+    // Aggregates
+    ...AGGREGATES
+]);
+/** Reverse lookup set, built once, so membership tests are O(1). */
 const KEYWORD_TYPES = new Set(KEYWORDS.values());
-const FUNCTION_TYPES = new Set(FUNCTIONS.values());
 export function isKeyword(type) {
     return KEYWORD_TYPES.has(type);
 }
-export function isFunction(type) {
-    return FUNCTION_TYPES.has(type);
+export function isFunction(name) {
+    return FUNCTIONS.has(name.toUpperCase());
+}
+export function isAggregate(name) {
+    return AGGREGATES.has(name.toUpperCase());
 }
 export function isLiteral(type) {
     return (type === TokenType.String ||
@@ -179,4 +348,16 @@ export function isTrivia(type) {
         type === TokenType.Newline ||
         type === TokenType.Comment);
 }
+/**
+ * True when a token may stand where the grammar writes `identifier`.
+ *
+ * KIP 2.0 keywords are contextual, not reserved: the Spec's own examples use
+ * `by`, `mode`, `at`, `key`, `name`, `type` and `status` as object keys, and
+ * `?a.lifecycle.status` as a dot path. Rejecting a keyword in those positions
+ * would make the normative examples unparseable, so every keyword doubles as
+ * an identifier outside the position that gives it meaning.
+ */
+export function isIdentifierLike(type) {
+    return type === TokenType.Identifier || isKeyword(type);
+}
 //# sourceMappingURL=token.js.map