@gsl-lang/gql 0.0.0-stage → 0.6.0

package/README.md

@@ -1,3 +1,43 @@
-# Temporary Holding Version
+<!--
+SPDX-License-Identifier: CC-BY-4.0
+Copyright (c) 2026 Pascal Dennerly.
+-->
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+# @gsl-lang/gql
+
+TypeScript implementation of the GSL Query Language, as specified in
+[`spec/gql/QUERY_SPEC.md`](../../../spec/gql/QUERY_SPEC.md). Depends on
+[`@gsl-lang/core`](../core/README.md).
+
+- **Status:** functional. Parser and query engine are implemented and validated
+  against every shared conformance fixture. Not published.
+- **Licence:** Apache-2.0.
+
+## Usage
+
+```ts
+import { parse } from "@gsl-lang/core";
+import { runQuery } from "@gsl-lang/gql";
+
+const { graph } = parse('node api [team="payments"]\\nnode db\\napi -> db');
+const result = runQuery(graph, 'subgraph node.team == "payments"');
+```
+
+## What is here
+
+```
+packages/gql/
+  src/lexer.ts        # tokenizer
+  src/parser.ts       # hand-written recursive-descent parser
+  src/predicates.ts   # predicate evaluation (attribute, set, parent, depth)
+  src/expressions.ts  # subgraph, traversal, make, remove, collapse, algebra
+  src/graph.ts        # mutable working graph used during query execution
+  test/conformance.test.ts  # runs the shared fixtures
+```
+
+## Conformance
+
+The package executes each fixture directory under
+[`tests/conformance/gql`](../../../tests/conformance/README.md) — `graph.gsl`
+plus `query.gql` — and compares the canonical serialization of the result with
+`result.gsl`, matching the Go reference implementation exactly.

package/dist/src/expressions.d.ts

@@ -0,0 +1,88 @@
+import type { AttributeValue, GslGraph } from "@gsl-lang/core";
+import { Predicate } from "./predicates.js";
+export interface Value {
+    graph: GslGraph;
+}
+export interface QueryContext {
+    inputGraph: GslGraph;
+    namedGraphs: Map<string, GslGraph>;
+}
+export interface Expression {
+    apply(ctx: QueryContext, input: Value): Value;
+}
+export declare function validateTargetType(pred: Predicate): string;
+export declare class Query {
+    readonly expressions: Expression[];
+    constructor(expressions: Expression[]);
+    execute(ctx: QueryContext): Value;
+}
+export declare class IdentityExpr implements Expression {
+    apply(_ctx: QueryContext, input: Value): Value;
+}
+export declare class FromExpr implements Expression {
+    private readonly isWildcard;
+    private readonly name;
+    constructor(isWildcard: boolean, name: string);
+    apply(ctx: QueryContext): Value;
+}
+export declare class BindExpr implements Expression {
+    private readonly pipeline;
+    private readonly name;
+    constructor(pipeline: Query, name: string);
+    apply(ctx: QueryContext, input: Value): Value;
+}
+export interface TraversalConfig {
+    directions: string[];
+    depth: number;
+}
+export declare class SubgraphExpr implements Expression {
+    private readonly pred;
+    private readonly traversal;
+    constructor(pred: Predicate, traversal: TraversalConfig | null);
+    apply(_ctx: QueryContext, input: Value): Value;
+    private buildSubgraph;
+    private injectEdges;
+    private traverse;
+}
+export declare class RemoveEdgeExpr implements Expression {
+    private readonly pred;
+    constructor(pred: Predicate);
+    apply(_ctx: QueryContext, input: Value): Value;
+}
+export declare class RemoveAttributeExpr implements Expression {
+    private readonly target;
+    private readonly attr;
+    private readonly pred;
+    constructor(target: string, attr: string, pred: Predicate);
+    apply(_ctx: QueryContext, input: Value): Value;
+}
+export declare class RemoveOrphansExpr implements Expression {
+    apply(_ctx: QueryContext, input: Value): Value;
+}
+export declare class CollapseExpr implements Expression {
+    private readonly nodeId;
+    private readonly pred;
+    constructor(nodeId: string, pred: Predicate);
+    apply(_ctx: QueryContext, input: Value): Value;
+}
+export declare class MakeExpr implements Expression {
+    private readonly target;
+    private readonly attr;
+    private readonly value;
+    private readonly pred;
+    constructor(target: string, attr: string, value: AttributeValue, pred: Predicate);
+    apply(_ctx: QueryContext, input: Value): Value;
+}
+export declare class GraphAlgebraExpr implements Expression {
+    private readonly leftRef;
+    private readonly operator;
+    private readonly rightRef;
+    constructor(leftRef: string, operator: string, rightRef: string);
+    apply(ctx: QueryContext): Value;
+    private resolveGraph;
+    private union;
+    private intersection;
+    private difference;
+    private symmetricDifference;
+}
+//# sourceMappingURL=expressions.d.ts.map

package/dist/src/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../src/expressions.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAML,SAAS,EAEV,MAAM,iBAAiB,CAAC;AAGzB,MAAM,WAAW,KAAK;IACpB,KAAK,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,QAAQ,CAAC;IACrB,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,CAAC;CAC/C;AAuBD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAI1D;AAED,qBAAa,KAAK;IACJ,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE;gBAAzB,WAAW,EAAE,UAAU,EAAE;IAE9C,OAAO,CAAC,GAAG,EAAE,YAAY,GAAG,KAAK;CAOlC;AAED,qBAAa,YAAa,YAAW,UAAU;IAC7C,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK;CAG/C;AAED,qBAAa,QAAS,YAAW,UAAU;IAEvC,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,IAAI;gBADJ,UAAU,EAAE,OAAO,EACnB,IAAI,EAAE,MAAM;IAG/B,KAAK,CAAC,GAAG,EAAE,YAAY,GAAG,KAAK;CAMhC;AAED,qBAAa,QAAS,YAAW,UAAU;IAEvC,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,IAAI;gBADJ,QAAQ,EAAE,KAAK,EACf,IAAI,EAAE,MAAM;IAG/B,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK;CAQ9C;AAED,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,qBAAa,YAAa,YAAW,UAAU;IAE3C,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,SAAS;gBADT,IAAI,EAAE,SAAS,EACf,SAAS,EAAE,eAAe,GAAG,IAAI;IAGpD,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK;IAkD9C,OAAO,CAAC,aAAa;IA6CrB,OAAO,CAAC,WAAW;IAMnB,OAAO,CAAC,QAAQ;CAyBjB;AA6FD,qBAAa,cAAe,YAAW,UAAU;IACnC,OAAO,CAAC,QAAQ,CAAC,IAAI;gBAAJ,IAAI,EAAE,SAAS;IAE5C,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK;CAkB/C;AAED,qBAAa,mBAAoB,YAAW,UAAU;IAElD,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,IAAI;gBAFJ,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS;IAGlC,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK;CAwB/C;AAED,qBAAa,iBAAkB,YAAW,UAAU;IAClD,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK;CAkB/C;AAED,qBAAa,YAAa,YAAW,UAAU;IAE3C,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,IAAI;gBADJ,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,SAAS;IAGlC,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK;CAoD/C;AAYD,qBAAa,QAAS,YAAW,UAAU;IAEvC,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,IAAI;gBAHJ,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,SAAS;IAGlC,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK;CAwB/C;AAED,qBAAa,gBAAiB,YAAW,UAAU;IAE/C,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,QAAQ;gBAFR,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM;IAGnC,KAAK,CAAC,GAAG,EAAE,YAAY,GAAG,KAAK;IAiB/B,OAAO,CAAC,YAAY;IAOpB,OAAO,CAAC,KAAK;IA8Bb,OAAO,CAAC,YAAY;IA4BpB,OAAO,CAAC,UAAU;IAwBlB,OAAO,CAAC,mBAAmB;CAuC5B"}