@kalada/syntax 0.1.0

package/dist/index.d.cts

@@ -0,0 +1,231 @@
+import { JsonValue, KaladaV1DiagnosticCode, KaladaType, KaladaV1Options, KaladaV1Program } from '@kalada/core';
+
+interface KaladaSourceRange {
+    readonly start: number;
+    readonly end: number;
+}
+type KaladaTokenKind = "whitespace" | "identifier" | "number" | "string" | "true" | "false" | "null" | "in" | "xor" | "left-parenthesis" | "right-parenthesis" | "dot" | "optional-dot" | "question" | "colon" | "operator" | "unsupported" | "invalid" | "eof";
+interface KaladaToken {
+    readonly kind: KaladaTokenKind;
+    readonly text: string;
+    readonly range: KaladaSourceRange;
+}
+interface CstBase {
+    readonly range: KaladaSourceRange;
+}
+interface KaladaLiteralCstNode extends CstBase {
+    readonly kind: "literal";
+    readonly literalKind: "number" | "string" | "boolean" | "null";
+    readonly token: number;
+    readonly value: JsonValue;
+}
+interface KaladaReferenceCstNode extends CstBase {
+    readonly kind: "reference";
+    readonly token: number;
+    readonly name: string;
+}
+interface KaladaGroupCstNode extends CstBase {
+    readonly kind: "group";
+    readonly openToken: number;
+    readonly expression: KaladaCstNode;
+    readonly closeToken: number | null;
+}
+interface KaladaFieldAccessCstNode extends CstBase {
+    readonly kind: "field-access";
+    readonly target: KaladaCstNode;
+    readonly optional: boolean;
+    readonly operatorToken: number;
+    readonly fieldToken: number | null;
+    readonly field: string | null;
+}
+interface KaladaUnaryCstNode extends CstBase {
+    readonly kind: "unary";
+    readonly operator: "!" | "+" | "-";
+    readonly operatorToken: number;
+    readonly operand: KaladaCstNode;
+}
+type KaladaBinaryOperator = "*" | "/" | "%" | "+" | "-" | "<" | "<=" | ">" | ">=" | "in" | "==" | "!=" | "&&" | "xor" | "||" | "??";
+interface KaladaBinaryCstNode extends CstBase {
+    readonly kind: "binary";
+    readonly operator: KaladaBinaryOperator;
+    readonly operatorToken: number;
+    readonly left: KaladaCstNode;
+    readonly right: KaladaCstNode;
+}
+interface KaladaConditionalCstNode extends CstBase {
+    readonly kind: "conditional";
+    readonly condition: KaladaCstNode;
+    readonly questionToken: number;
+    readonly then: KaladaCstNode;
+    readonly colonToken: number | null;
+    readonly else: KaladaCstNode;
+}
+interface KaladaErrorCstNode extends CstBase {
+    readonly kind: "error";
+    readonly token: number | null;
+}
+type KaladaCstNode = KaladaLiteralCstNode | KaladaReferenceCstNode | KaladaGroupCstNode | KaladaFieldAccessCstNode | KaladaUnaryCstNode | KaladaBinaryCstNode | KaladaConditionalCstNode | KaladaErrorCstNode;
+interface KaladaCstDocument {
+    readonly source: string;
+    readonly tokens: readonly KaladaToken[];
+    readonly expression: KaladaCstNode;
+}
+
+interface KaladaSyntaxLimits {
+    readonly maxSourceLength: number;
+    readonly maxTokens: number;
+    readonly maxCstDepth: number;
+    readonly maxCstNodes: number;
+    readonly maxDiagnostics: number;
+    readonly maxRecoveryTokens: number;
+    readonly maxIdentifierLength: number;
+    readonly maxDecodedStringLength: number;
+    readonly maxStaticTypeDepth: number;
+}
+interface KaladaParseOptions {
+    readonly limits?: Partial<KaladaSyntaxLimits>;
+}
+type KaladaSyntaxDiagnosticCode = "KALADA_SYNTAX_INVALID_INPUT" | "KALADA_SYNTAX_LIMIT_EXCEEDED" | "KALADA_SYNTAX_UNEXPECTED_TOKEN" | "KALADA_SYNTAX_EXPECTED_EXPRESSION" | "KALADA_SYNTAX_EXPECTED_FIELD" | "KALADA_SYNTAX_EXPECTED_RIGHT_PARENTHESIS" | "KALADA_SYNTAX_EXPECTED_COLON" | "KALADA_SYNTAX_INVALID_NUMBER" | "KALADA_SYNTAX_INVALID_STRING" | "KALADA_SYNTAX_UNSUPPORTED_FORM" | "KALADA_SYNTAX_UNSUPPORTED_OPERATOR" | "KALADA_SYNTAX_RELATIONAL_CHAIN" | "KALADA_SYNTAX_COALESCE_LOGICAL_MIX" | "KALADA_SYNTAX_UNKNOWN_REFERENCE" | "KALADA_SYNTAX_WRITE_INELIGIBLE" | "KALADA_SYNTAX_WRITE_BINDING_INVALID" | "KALADA_SYNTAX_WRITE_PROPERTY_INVALID";
+interface KaladaSyntaxDiagnostic {
+    readonly phase: "lex" | "parse" | "lower";
+    readonly code: KaladaSyntaxDiagnosticCode | KaladaV1DiagnosticCode;
+    readonly message: string;
+    readonly range: KaladaSourceRange;
+    readonly path: readonly (string | number)[];
+}
+interface KaladaParseResult {
+    readonly document: KaladaCstDocument;
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+}
+type KaladaSyntaxStaticType = "dynamic" | KaladaType;
+type KaladaSemanticSupport = "supported" | "conditional" | "unsupported";
+interface KaladaSemanticOperatorInfo {
+    readonly operator: KaladaBinaryOperator;
+    readonly support: KaladaSemanticSupport;
+}
+interface KaladaSemanticNodeInfo {
+    readonly range: KaladaSourceRange;
+    readonly type: KaladaSyntaxStaticType;
+    readonly known: boolean;
+    readonly fieldAccess: Readonly<{
+        plain: KaladaSemanticSupport;
+        optional: KaladaSemanticSupport;
+    }>;
+    readonly operators: readonly KaladaSemanticOperatorInfo[];
+}
+interface KaladaSemanticQueryResult {
+    readonly nodes: readonly KaladaSemanticNodeInfo[];
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+    readonly incomplete: boolean;
+}
+interface KaladaReferenceBinding<R extends JsonValue> {
+    readonly reference: R;
+    readonly type: KaladaSyntaxStaticType;
+}
+interface KaladaLowerOptions<R extends JsonValue> {
+    readonly references?: Readonly<Record<string, KaladaReferenceBinding<R>>>;
+    readonly coreOptions?: KaladaV1Options<R>;
+}
+type KaladaSourceMapRole = "node" | "operator" | "literal" | "reference" | "field" | "group";
+interface KaladaSourceMapEntry {
+    readonly path: readonly (string | number)[];
+    readonly role: KaladaSourceMapRole;
+    readonly range: KaladaSourceRange;
+}
+type KaladaLowerOutcome<R extends JsonValue = string> = {
+    readonly ok: true;
+    readonly program: KaladaV1Program<R>;
+    readonly sourceMap: readonly KaladaSourceMapEntry[];
+    readonly resultType: KaladaSyntaxStaticType;
+} | {
+    readonly ok: false;
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+};
+type KaladaFormatOutcome = {
+    readonly ok: true;
+    readonly text: string;
+} | {
+    readonly ok: false;
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+};
+
+declare const KALADA_SYNTAX_DIAGNOSTIC_MESSAGES: Readonly<{
+    KALADA_SYNTAX_INVALID_INPUT: string;
+    KALADA_SYNTAX_LIMIT_EXCEEDED: string;
+    KALADA_SYNTAX_UNEXPECTED_TOKEN: string;
+    KALADA_SYNTAX_EXPECTED_EXPRESSION: string;
+    KALADA_SYNTAX_EXPECTED_FIELD: string;
+    KALADA_SYNTAX_EXPECTED_RIGHT_PARENTHESIS: string;
+    KALADA_SYNTAX_EXPECTED_COLON: string;
+    KALADA_SYNTAX_INVALID_NUMBER: string;
+    KALADA_SYNTAX_INVALID_STRING: string;
+    KALADA_SYNTAX_UNSUPPORTED_FORM: string;
+    KALADA_SYNTAX_UNSUPPORTED_OPERATOR: string;
+    KALADA_SYNTAX_RELATIONAL_CHAIN: string;
+    KALADA_SYNTAX_COALESCE_LOGICAL_MIX: string;
+    KALADA_SYNTAX_UNKNOWN_REFERENCE: string;
+    KALADA_SYNTAX_WRITE_INELIGIBLE: string;
+    KALADA_SYNTAX_WRITE_BINDING_INVALID: string;
+    KALADA_SYNTAX_WRITE_PROPERTY_INVALID: string;
+}>;
+
+/** Static evidence only; the host must authorize this target again at use time. */
+interface KaladaDataStateRef {
+    readonly namespace: "data";
+    readonly scope?: string;
+    readonly segments: readonly string[];
+}
+interface KaladaDirectLocationProperty {
+    readonly type: KaladaType;
+    readonly writable: true;
+    readonly properties?: Readonly<Record<string, KaladaDirectLocationProperty>>;
+}
+interface KaladaDirectLocationBinding extends KaladaDirectLocationProperty {
+    readonly target: KaladaDataStateRef;
+}
+interface KaladaDirectLocationOptions extends KaladaParseOptions {
+    readonly bindings: Readonly<Record<string, KaladaDirectLocationBinding>>;
+}
+interface KaladaDirectLocation {
+    readonly target: KaladaDataStateRef;
+    readonly type: KaladaType;
+    readonly range: KaladaSourceRange;
+}
+type KaladaDirectLocationOutcome = {
+    readonly ok: true;
+    readonly location: KaladaDirectLocation;
+} | {
+    readonly ok: false;
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+};
+declare function checkKaladaV1DirectLocation(source: string, options: KaladaDirectLocationOptions): KaladaDirectLocationOutcome;
+
+declare function formatKaladaV1Expression(source: string, options?: KaladaParseOptions): KaladaFormatOutcome;
+
+interface GuestBoundaryResult {
+    readonly ok: boolean;
+    readonly range: KaladaSourceRange;
+    readonly stop: number;
+    readonly reason: "outer-brace" | "unmatched-parentheses" | "unsupported-comment" | "unsupported-quote" | "eof" | "limit" | "invalid-start";
+    readonly parsed: KaladaParseResult | null;
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+}
+/**
+ * Experimental opt-in syntax seam, not a host grammar contract.
+ * The host declares start and independently checks/consumes source[stop] === "}".
+ * Only current supported Kalada expressions succeed; future grammar belongs to the guest lexer.
+ * An unterminated supported double-quoted string is ambiguous: scanning remains bounded by
+ * maxSourceLength and fails closed, but cannot identify a brace inside that string as host-owned.
+ */
+declare function parseGuestExpressionPrefix(source: string, start: number, options?: KaladaParseOptions): GuestBoundaryResult;
+
+declare const DEFAULT_KALADA_SYNTAX_LIMITS: Readonly<KaladaSyntaxLimits>;
+declare const MAXIMUM_KALADA_SYNTAX_LIMITS: Readonly<KaladaSyntaxLimits>;
+
+declare function lowerKaladaV1Expression<R extends JsonValue = string>(parsed: KaladaParseResult, options?: KaladaLowerOptions<R>): KaladaLowerOutcome<R>;
+
+declare function parseKaladaV1Expression(source: string, options?: KaladaParseOptions): KaladaParseResult;
+
+declare function queryKaladaV1Semantics<R extends JsonValue = string>(parsed: KaladaParseResult, options?: KaladaLowerOptions<R>): KaladaSemanticQueryResult;
+
+export { DEFAULT_KALADA_SYNTAX_LIMITS, type GuestBoundaryResult as ExperimentalKaladaV1GuestPrefixResult, KALADA_SYNTAX_DIAGNOSTIC_MESSAGES, type KaladaBinaryCstNode, type KaladaBinaryOperator, type KaladaConditionalCstNode, type KaladaCstDocument, type KaladaCstNode, type KaladaDataStateRef, type KaladaDirectLocation, type KaladaDirectLocationBinding, type KaladaDirectLocationOptions, type KaladaDirectLocationOutcome, type KaladaDirectLocationProperty, type KaladaErrorCstNode, type KaladaFieldAccessCstNode, type KaladaFormatOutcome, type KaladaGroupCstNode, type KaladaLiteralCstNode, type KaladaLowerOptions, type KaladaLowerOutcome, type KaladaParseOptions, type KaladaParseResult, type KaladaReferenceBinding, type KaladaReferenceCstNode, type KaladaSemanticNodeInfo, type KaladaSemanticOperatorInfo, type KaladaSemanticQueryResult, type KaladaSemanticSupport, type KaladaSourceMapEntry, type KaladaSourceMapRole, type KaladaSourceRange, type KaladaSyntaxDiagnostic, type KaladaSyntaxDiagnosticCode, type KaladaSyntaxLimits, type KaladaSyntaxStaticType, type KaladaToken, type KaladaTokenKind, type KaladaUnaryCstNode, MAXIMUM_KALADA_SYNTAX_LIMITS, checkKaladaV1DirectLocation, parseGuestExpressionPrefix as experimentalParseKaladaV1GuestExpressionPrefix, formatKaladaV1Expression, lowerKaladaV1Expression, parseKaladaV1Expression, queryKaladaV1Semantics };

package/dist/index.d.ts

@@ -0,0 +1,231 @@
+import { JsonValue, KaladaV1DiagnosticCode, KaladaType, KaladaV1Options, KaladaV1Program } from '@kalada/core';
+
+interface KaladaSourceRange {
+    readonly start: number;
+    readonly end: number;
+}
+type KaladaTokenKind = "whitespace" | "identifier" | "number" | "string" | "true" | "false" | "null" | "in" | "xor" | "left-parenthesis" | "right-parenthesis" | "dot" | "optional-dot" | "question" | "colon" | "operator" | "unsupported" | "invalid" | "eof";
+interface KaladaToken {
+    readonly kind: KaladaTokenKind;
+    readonly text: string;
+    readonly range: KaladaSourceRange;
+}
+interface CstBase {
+    readonly range: KaladaSourceRange;
+}
+interface KaladaLiteralCstNode extends CstBase {
+    readonly kind: "literal";
+    readonly literalKind: "number" | "string" | "boolean" | "null";
+    readonly token: number;
+    readonly value: JsonValue;
+}
+interface KaladaReferenceCstNode extends CstBase {
+    readonly kind: "reference";
+    readonly token: number;
+    readonly name: string;
+}
+interface KaladaGroupCstNode extends CstBase {
+    readonly kind: "group";
+    readonly openToken: number;
+    readonly expression: KaladaCstNode;
+    readonly closeToken: number | null;
+}
+interface KaladaFieldAccessCstNode extends CstBase {
+    readonly kind: "field-access";
+    readonly target: KaladaCstNode;
+    readonly optional: boolean;
+    readonly operatorToken: number;
+    readonly fieldToken: number | null;
+    readonly field: string | null;
+}
+interface KaladaUnaryCstNode extends CstBase {
+    readonly kind: "unary";
+    readonly operator: "!" | "+" | "-";
+    readonly operatorToken: number;
+    readonly operand: KaladaCstNode;
+}
+type KaladaBinaryOperator = "*" | "/" | "%" | "+" | "-" | "<" | "<=" | ">" | ">=" | "in" | "==" | "!=" | "&&" | "xor" | "||" | "??";
+interface KaladaBinaryCstNode extends CstBase {
+    readonly kind: "binary";
+    readonly operator: KaladaBinaryOperator;
+    readonly operatorToken: number;
+    readonly left: KaladaCstNode;
+    readonly right: KaladaCstNode;
+}
+interface KaladaConditionalCstNode extends CstBase {
+    readonly kind: "conditional";
+    readonly condition: KaladaCstNode;
+    readonly questionToken: number;
+    readonly then: KaladaCstNode;
+    readonly colonToken: number | null;
+    readonly else: KaladaCstNode;
+}
+interface KaladaErrorCstNode extends CstBase {
+    readonly kind: "error";
+    readonly token: number | null;
+}
+type KaladaCstNode = KaladaLiteralCstNode | KaladaReferenceCstNode | KaladaGroupCstNode | KaladaFieldAccessCstNode | KaladaUnaryCstNode | KaladaBinaryCstNode | KaladaConditionalCstNode | KaladaErrorCstNode;
+interface KaladaCstDocument {
+    readonly source: string;
+    readonly tokens: readonly KaladaToken[];
+    readonly expression: KaladaCstNode;
+}
+
+interface KaladaSyntaxLimits {
+    readonly maxSourceLength: number;
+    readonly maxTokens: number;
+    readonly maxCstDepth: number;
+    readonly maxCstNodes: number;
+    readonly maxDiagnostics: number;
+    readonly maxRecoveryTokens: number;
+    readonly maxIdentifierLength: number;
+    readonly maxDecodedStringLength: number;
+    readonly maxStaticTypeDepth: number;
+}
+interface KaladaParseOptions {
+    readonly limits?: Partial<KaladaSyntaxLimits>;
+}
+type KaladaSyntaxDiagnosticCode = "KALADA_SYNTAX_INVALID_INPUT" | "KALADA_SYNTAX_LIMIT_EXCEEDED" | "KALADA_SYNTAX_UNEXPECTED_TOKEN" | "KALADA_SYNTAX_EXPECTED_EXPRESSION" | "KALADA_SYNTAX_EXPECTED_FIELD" | "KALADA_SYNTAX_EXPECTED_RIGHT_PARENTHESIS" | "KALADA_SYNTAX_EXPECTED_COLON" | "KALADA_SYNTAX_INVALID_NUMBER" | "KALADA_SYNTAX_INVALID_STRING" | "KALADA_SYNTAX_UNSUPPORTED_FORM" | "KALADA_SYNTAX_UNSUPPORTED_OPERATOR" | "KALADA_SYNTAX_RELATIONAL_CHAIN" | "KALADA_SYNTAX_COALESCE_LOGICAL_MIX" | "KALADA_SYNTAX_UNKNOWN_REFERENCE" | "KALADA_SYNTAX_WRITE_INELIGIBLE" | "KALADA_SYNTAX_WRITE_BINDING_INVALID" | "KALADA_SYNTAX_WRITE_PROPERTY_INVALID";
+interface KaladaSyntaxDiagnostic {
+    readonly phase: "lex" | "parse" | "lower";
+    readonly code: KaladaSyntaxDiagnosticCode | KaladaV1DiagnosticCode;
+    readonly message: string;
+    readonly range: KaladaSourceRange;
+    readonly path: readonly (string | number)[];
+}
+interface KaladaParseResult {
+    readonly document: KaladaCstDocument;
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+}
+type KaladaSyntaxStaticType = "dynamic" | KaladaType;
+type KaladaSemanticSupport = "supported" | "conditional" | "unsupported";
+interface KaladaSemanticOperatorInfo {
+    readonly operator: KaladaBinaryOperator;
+    readonly support: KaladaSemanticSupport;
+}
+interface KaladaSemanticNodeInfo {
+    readonly range: KaladaSourceRange;
+    readonly type: KaladaSyntaxStaticType;
+    readonly known: boolean;
+    readonly fieldAccess: Readonly<{
+        plain: KaladaSemanticSupport;
+        optional: KaladaSemanticSupport;
+    }>;
+    readonly operators: readonly KaladaSemanticOperatorInfo[];
+}
+interface KaladaSemanticQueryResult {
+    readonly nodes: readonly KaladaSemanticNodeInfo[];
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+    readonly incomplete: boolean;
+}
+interface KaladaReferenceBinding<R extends JsonValue> {
+    readonly reference: R;
+    readonly type: KaladaSyntaxStaticType;
+}
+interface KaladaLowerOptions<R extends JsonValue> {
+    readonly references?: Readonly<Record<string, KaladaReferenceBinding<R>>>;
+    readonly coreOptions?: KaladaV1Options<R>;
+}
+type KaladaSourceMapRole = "node" | "operator" | "literal" | "reference" | "field" | "group";
+interface KaladaSourceMapEntry {
+    readonly path: readonly (string | number)[];
+    readonly role: KaladaSourceMapRole;
+    readonly range: KaladaSourceRange;
+}
+type KaladaLowerOutcome<R extends JsonValue = string> = {
+    readonly ok: true;
+    readonly program: KaladaV1Program<R>;
+    readonly sourceMap: readonly KaladaSourceMapEntry[];
+    readonly resultType: KaladaSyntaxStaticType;
+} | {
+    readonly ok: false;
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+};
+type KaladaFormatOutcome = {
+    readonly ok: true;
+    readonly text: string;
+} | {
+    readonly ok: false;
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+};
+
+declare const KALADA_SYNTAX_DIAGNOSTIC_MESSAGES: Readonly<{
+    KALADA_SYNTAX_INVALID_INPUT: string;
+    KALADA_SYNTAX_LIMIT_EXCEEDED: string;
+    KALADA_SYNTAX_UNEXPECTED_TOKEN: string;
+    KALADA_SYNTAX_EXPECTED_EXPRESSION: string;
+    KALADA_SYNTAX_EXPECTED_FIELD: string;
+    KALADA_SYNTAX_EXPECTED_RIGHT_PARENTHESIS: string;
+    KALADA_SYNTAX_EXPECTED_COLON: string;
+    KALADA_SYNTAX_INVALID_NUMBER: string;
+    KALADA_SYNTAX_INVALID_STRING: string;
+    KALADA_SYNTAX_UNSUPPORTED_FORM: string;
+    KALADA_SYNTAX_UNSUPPORTED_OPERATOR: string;
+    KALADA_SYNTAX_RELATIONAL_CHAIN: string;
+    KALADA_SYNTAX_COALESCE_LOGICAL_MIX: string;
+    KALADA_SYNTAX_UNKNOWN_REFERENCE: string;
+    KALADA_SYNTAX_WRITE_INELIGIBLE: string;
+    KALADA_SYNTAX_WRITE_BINDING_INVALID: string;
+    KALADA_SYNTAX_WRITE_PROPERTY_INVALID: string;
+}>;
+
+/** Static evidence only; the host must authorize this target again at use time. */
+interface KaladaDataStateRef {
+    readonly namespace: "data";
+    readonly scope?: string;
+    readonly segments: readonly string[];
+}
+interface KaladaDirectLocationProperty {
+    readonly type: KaladaType;
+    readonly writable: true;
+    readonly properties?: Readonly<Record<string, KaladaDirectLocationProperty>>;
+}
+interface KaladaDirectLocationBinding extends KaladaDirectLocationProperty {
+    readonly target: KaladaDataStateRef;
+}
+interface KaladaDirectLocationOptions extends KaladaParseOptions {
+    readonly bindings: Readonly<Record<string, KaladaDirectLocationBinding>>;
+}
+interface KaladaDirectLocation {
+    readonly target: KaladaDataStateRef;
+    readonly type: KaladaType;
+    readonly range: KaladaSourceRange;
+}
+type KaladaDirectLocationOutcome = {
+    readonly ok: true;
+    readonly location: KaladaDirectLocation;
+} | {
+    readonly ok: false;
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+};
+declare function checkKaladaV1DirectLocation(source: string, options: KaladaDirectLocationOptions): KaladaDirectLocationOutcome;
+
+declare function formatKaladaV1Expression(source: string, options?: KaladaParseOptions): KaladaFormatOutcome;
+
+interface GuestBoundaryResult {
+    readonly ok: boolean;
+    readonly range: KaladaSourceRange;
+    readonly stop: number;
+    readonly reason: "outer-brace" | "unmatched-parentheses" | "unsupported-comment" | "unsupported-quote" | "eof" | "limit" | "invalid-start";
+    readonly parsed: KaladaParseResult | null;
+    readonly diagnostics: readonly KaladaSyntaxDiagnostic[];
+}
+/**
+ * Experimental opt-in syntax seam, not a host grammar contract.
+ * The host declares start and independently checks/consumes source[stop] === "}".
+ * Only current supported Kalada expressions succeed; future grammar belongs to the guest lexer.
+ * An unterminated supported double-quoted string is ambiguous: scanning remains bounded by
+ * maxSourceLength and fails closed, but cannot identify a brace inside that string as host-owned.
+ */
+declare function parseGuestExpressionPrefix(source: string, start: number, options?: KaladaParseOptions): GuestBoundaryResult;
+
+declare const DEFAULT_KALADA_SYNTAX_LIMITS: Readonly<KaladaSyntaxLimits>;
+declare const MAXIMUM_KALADA_SYNTAX_LIMITS: Readonly<KaladaSyntaxLimits>;
+
+declare function lowerKaladaV1Expression<R extends JsonValue = string>(parsed: KaladaParseResult, options?: KaladaLowerOptions<R>): KaladaLowerOutcome<R>;
+
+declare function parseKaladaV1Expression(source: string, options?: KaladaParseOptions): KaladaParseResult;
+
+declare function queryKaladaV1Semantics<R extends JsonValue = string>(parsed: KaladaParseResult, options?: KaladaLowerOptions<R>): KaladaSemanticQueryResult;
+
+export { DEFAULT_KALADA_SYNTAX_LIMITS, type GuestBoundaryResult as ExperimentalKaladaV1GuestPrefixResult, KALADA_SYNTAX_DIAGNOSTIC_MESSAGES, type KaladaBinaryCstNode, type KaladaBinaryOperator, type KaladaConditionalCstNode, type KaladaCstDocument, type KaladaCstNode, type KaladaDataStateRef, type KaladaDirectLocation, type KaladaDirectLocationBinding, type KaladaDirectLocationOptions, type KaladaDirectLocationOutcome, type KaladaDirectLocationProperty, type KaladaErrorCstNode, type KaladaFieldAccessCstNode, type KaladaFormatOutcome, type KaladaGroupCstNode, type KaladaLiteralCstNode, type KaladaLowerOptions, type KaladaLowerOutcome, type KaladaParseOptions, type KaladaParseResult, type KaladaReferenceBinding, type KaladaReferenceCstNode, type KaladaSemanticNodeInfo, type KaladaSemanticOperatorInfo, type KaladaSemanticQueryResult, type KaladaSemanticSupport, type KaladaSourceMapEntry, type KaladaSourceMapRole, type KaladaSourceRange, type KaladaSyntaxDiagnostic, type KaladaSyntaxDiagnosticCode, type KaladaSyntaxLimits, type KaladaSyntaxStaticType, type KaladaToken, type KaladaTokenKind, type KaladaUnaryCstNode, MAXIMUM_KALADA_SYNTAX_LIMITS, checkKaladaV1DirectLocation, parseGuestExpressionPrefix as experimentalParseKaladaV1GuestExpressionPrefix, formatKaladaV1Expression, lowerKaladaV1Expression, parseKaladaV1Expression, queryKaladaV1Semantics };