semantifold 0.1.0

package/build/src/semantic/types.d.ts

@@ -0,0 +1,1003 @@
+export type SemanticLanguage = "php" | "ruby" | "javascript" | "typescript" | "java";
+export type SemanticTypeName = "integer" | "boolean" | "string";
+export type SemanticUnaryOperation = "IntegerNegate" | "BooleanNot";
+export type SemanticBinaryOperation = "IntegerAdd" | "IntegerSubtract" | "IntegerMultiply" | "BooleanAnd" | "BooleanOr" | "IntegerEqual" | "IntegerNotEqual" | "BooleanEqual" | "BooleanNotEqual" | "StringEqual" | "StringNotEqual" | "IntegerLessThan" | "IntegerLessThanOrEqual" | "IntegerGreaterThan" | "IntegerGreaterThanOrEqual" | "StringConcat";
+export type SemanticSymbolKind = "function" | "parameter" | "local";
+export type SemanticSymbolRole = "declaration" | "read" | "write" | "call";
+export type SourcePoint = {
+    /**
+     * - One-based line.
+     */
+    line: number;
+    /**
+     * - One-based UTF-16 code-unit column.
+     */
+    column: number;
+    /**
+     * - Zero-based UTF-16 source offset.
+     */
+    offset: number;
+};
+export type SourceLocation = {
+    /**
+     * - Originating filename.
+     */
+    filename: string;
+    /**
+     * - Inclusive start.
+     */
+    start: SourcePoint;
+    /**
+     * - Exclusive end.
+     */
+    end: SourcePoint;
+};
+export type RegisteredSource = {
+    /**
+     * - Registry-local deterministic source identity.
+     */
+    id: string;
+    /**
+     * - Original filename, preserved verbatim.
+     */
+    filename: string;
+    /**
+     * - Original source content, preserved verbatim when available.
+     */
+    content: string | null;
+    /**
+     * - Parser language when known.
+     */
+    language: SemanticLanguage | null;
+};
+export type SourceOrigin = {
+    /**
+     * - Direct source provenance.
+     */
+    kind: "source";
+    /**
+     * - Registered source identity.
+     */
+    sourceId: string;
+    /**
+     * - Exact original range.
+     */
+    location: SourceLocation;
+};
+export type RelatedOrigin = {
+    /**
+     * - Registered source identity.
+     */
+    sourceId: string;
+    /**
+     * - Related original range.
+     */
+    location: SourceLocation;
+    /**
+     * - Related semantic node identity.
+     */
+    nodeId?: string;
+    /**
+     * - Related semantic symbol identity.
+     */
+    symbolId?: string;
+    /**
+     * - Relationship role.
+     */
+    role?: string;
+};
+export type DerivedOrigin = {
+    /**
+     * - Provenance derived from one or more origins.
+     */
+    kind: "derived";
+    /**
+     * - Ordered, non-empty original ranges.
+     */
+    origins: RelatedOrigin[];
+};
+export type SyntheticOrigin = {
+    /**
+     * - Source-free generated or semantic scaffolding.
+     */
+    kind: "synthetic";
+    /**
+     * - Stable human-readable reason.
+     */
+    reason: string;
+    /**
+     * - Ordered related ranges, possibly empty.
+     */
+    relatedOrigins: RelatedOrigin[];
+};
+export type SemanticOrigin = SourceOrigin | DerivedOrigin | SyntheticOrigin;
+export type SemanticNodeSourceProvenance = {
+    /**
+     * - Association discriminator.
+     */
+    schema: "SemantifoldNodeProvenance";
+    /**
+     * - Association version.
+     */
+    version: 1;
+    /**
+     * - Source association independent of traversal position.
+     */
+    origin: SemanticOrigin;
+    /**
+     * - Exact semantic-token subranges by role.
+     */
+    ranges: Readonly<Record<string, SourceLocation>>;
+};
+export type SemanticNodeProvenance = {
+    /**
+     * - Deterministic module-local node identity.
+     */
+    id: string;
+    /**
+     * - JSON Pointer from the semantic module root.
+     */
+    path: string;
+    /**
+     * - Semantic node kind.
+     */
+    kind: SemanticNode["kind"] | "TypeReference";
+    /**
+     * - Closed provenance value.
+     */
+    origin: SemanticOrigin;
+    /**
+     * - Exact semantic-token subranges by role.
+     */
+    ranges: Readonly<Record<string, SourceLocation>>;
+    /**
+     * - Resolved declared/referenced symbol identity.
+     */
+    symbolId?: string;
+};
+export type SemanticSymbolReference = {
+    /**
+     * - Referring semantic node identity.
+     */
+    nodeId: string;
+    /**
+     * - Reference role.
+     */
+    role: SemanticSymbolRole;
+    /**
+     * - Exact reference range.
+     */
+    location: SourceLocation;
+};
+export type SemanticSymbolProvenance = {
+    /**
+     * - Deterministic module-local symbol identity.
+     */
+    id: string;
+    /**
+     * - Semantic symbol name.
+     */
+    name: string;
+    /**
+     * - Symbol category.
+     */
+    kind: SemanticSymbolKind;
+    /**
+     * - Declaring node identity.
+     */
+    declarationNodeId: string;
+    /**
+     * - Exact declaration-name range.
+     */
+    location: SourceLocation;
+    /**
+     * - Ordered resolved references.
+     */
+    references: SemanticSymbolReference[];
+};
+export type SemanticProvenance = {
+    /**
+     * - Schema discriminator.
+     */
+    schema: "SemantifoldProvenance";
+    /**
+     * - Schema version.
+     */
+    version: 1;
+    /**
+     * - Offset and column unit.
+     */
+    coordinateSystem: "utf16";
+    /**
+     * - Versioned source registry.
+     */
+    sources: RegisteredSource[];
+    /**
+     * - Deterministic node index.
+     */
+    nodes: SemanticNodeProvenance[];
+    /**
+     * - Deterministic symbol index.
+     */
+    symbols: SemanticSymbolProvenance[];
+};
+export type MappingKind = "exact" | "anchor" | "synthetic";
+export type SemantifoldMappingSpan = {
+    /**
+     * - Generated half-open range.
+     */
+    generated: SourceLocation;
+    /**
+     * - Mapping precision.
+     */
+    mappingKind: MappingKind;
+    /**
+     * - Closed original provenance.
+     */
+    origin: SemanticOrigin;
+    /**
+     * - Related canonical semantic node.
+     */
+    nodeId?: string;
+    /**
+     * - Related canonical semantic symbol.
+     */
+    symbolId?: string;
+    /**
+     * - Semantic token role.
+     */
+    role?: string;
+    /**
+     * - Useful symbol name for Source Map v3.
+     */
+    name?: string;
+};
+export type GeneratedSource = {
+    /**
+     * - Output filename.
+     */
+    filename: string;
+    /**
+     * - Output language.
+     */
+    language: SemanticLanguage;
+    /**
+     * - Exact generated LF source.
+     */
+    content: string;
+};
+export type SemantifoldMapping = {
+    /**
+     * - Schema discriminator.
+     */
+    schema: "SemantifoldMapping";
+    /**
+     * - Schema version.
+     */
+    version: 1;
+    /**
+     * - Offset and column unit.
+     */
+    coordinateSystem: "utf16";
+    /**
+     * - Generated program identity and content.
+     */
+    generated: GeneratedSource;
+    /**
+     * - Original source registry.
+     */
+    sources: RegisteredSource[];
+    /**
+     * - Canonical semantic node index.
+     */
+    nodes: SemanticNodeProvenance[];
+    /**
+     * - Canonical semantic symbol index.
+     */
+    symbols: SemanticSymbolProvenance[];
+    /**
+     * - Ordered generated ranges.
+     */
+    spans: SemantifoldMappingSpan[];
+};
+export type GeneratedArtifact = {
+    /**
+     * - Generated output program, including any requested directive.
+     */
+    code: string;
+    /**
+     * - Generated output filename.
+     */
+    filename: string;
+    /**
+     * - Output language.
+     */
+    language: SemanticLanguage;
+    /**
+     * - Authoritative rich mapping.
+     */
+    mapping: SemantifoldMapping;
+    /**
+     * - Source Map v3 projection.
+     */
+    sourceMap: import("@jridgewell/gen-mapping").EncodedSourceMap;
+    /**
+     * - Default external Source Map filename.
+     */
+    sourceMapFilename: string;
+};
+export type TypeReference = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "TypeReference";
+    /**
+     * - Normalized type name.
+     */
+    name: SemanticTypeName;
+    /**
+     * - Node-associated provenance that survives semantic transforms.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type Parameter = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "Parameter";
+    /**
+     * - Parameter name.
+     */
+    name: string;
+    /**
+     * - Parameter type.
+     */
+    type: TypeReference;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type IdentifierExpression = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "IdentifierExpression";
+    /**
+     * - Referenced name.
+     */
+    name: string;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type IntegerLiteral = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "IntegerLiteral";
+    /**
+     * - JavaScript-safe integer value.
+     */
+    value: number;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type BooleanLiteral = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "BooleanLiteral";
+    /**
+     * - Boolean value.
+     */
+    value: boolean;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type StringLiteral = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "StringLiteral";
+    /**
+     * - Unicode string value.
+     */
+    value: string;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type UnaryExpression = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "UnaryExpression";
+    /**
+     * - Closed semantic operation.
+     */
+    operation: SemanticUnaryOperation;
+    /**
+     * - Operand evaluated exactly once.
+     */
+    operand: Expression;
+    /**
+     * - Explicit operation result type.
+     */
+    type: SemanticTypeName;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type BinaryExpression = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "BinaryExpression";
+    /**
+     * - Closed semantic operation.
+     */
+    operation: SemanticBinaryOperation;
+    /**
+     * - Left operand.
+     */
+    left: Expression;
+    /**
+     * - Right operand.
+     */
+    right: Expression;
+    /**
+     * - Explicit operation result type.
+     */
+    type: SemanticTypeName;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type CallExpression = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "CallExpression";
+    /**
+     * - Function name.
+     */
+    callee: string;
+    /**
+     * - Positional arguments.
+     */
+    arguments: Expression[];
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type Expression = IdentifierExpression | IntegerLiteral | BooleanLiteral | StringLiteral | UnaryExpression | BinaryExpression | CallExpression;
+export type LocalDeclaration = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "LocalDeclaration";
+    /**
+     * - Declared local name.
+     */
+    name: string;
+    /**
+     * - Explicit local type.
+     */
+    type: TypeReference;
+    /**
+     * - Whether later assignment is allowed.
+     */
+    mutable: boolean;
+    /**
+     * - Required initializer expression.
+     */
+    initializer: Expression;
+    /**
+     * - Declaration source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type AssignmentStatement = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "AssignmentStatement";
+    /**
+     * - Simple local assignment target.
+     */
+    target: IdentifierExpression;
+    /**
+     * - Assigned expression.
+     */
+    expression: Expression;
+    /**
+     * - Assignment source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ReturnStatement = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "ReturnStatement";
+    /**
+     * - Returned expression.
+     */
+    expression: Expression;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type IfStatement = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "IfStatement";
+    /**
+     * - Branch condition.
+     */
+    condition: Expression;
+    /**
+     * - True branch.
+     */
+    consequent: Block;
+    /**
+     * - False branch, absent when execution falls through.
+     */
+    alternate?: Block;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type LocalStatement = LocalDeclaration | AssignmentStatement;
+export type Statement = LocalStatement | IfStatement | ReturnStatement | PrintStatement;
+export type Block = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "Block";
+    /**
+     * - Ordered statements in one lexical scope.
+     */
+    statements: Statement[];
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type FunctionDeclaration = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "FunctionDeclaration";
+    /**
+     * - Function name.
+     */
+    name: string;
+    /**
+     * - Function parameters.
+     */
+    parameters: Parameter[];
+    /**
+     * - Return type.
+     */
+    returnType: TypeReference;
+    /**
+     * - Function body.
+     */
+    body: Block;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type PrintStatement = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "PrintStatement";
+    /**
+     * - Printed expression.
+     */
+    expression: Expression;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type EntryPoint = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "EntryPoint";
+    /**
+     * - Entry-point body.
+     */
+    body: Block;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type SemanticModule = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "Module";
+    /**
+     * - Top-level functions.
+     */
+    functions: FunctionDeclaration[];
+    /**
+     * - Executable entry point.
+     */
+    entryPoint: EntryPoint;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+    /**
+     * - Parser-authored source and identity index; optional for legacy caller-authored modules.
+     */
+    provenance?: SemanticProvenance;
+};
+export type SemanticNode = SemanticModule | FunctionDeclaration | Parameter | Block | Statement | EntryPoint | Expression | TypeReference;
+export type SemanticNodeWithoutLocations = SemanticNode;
+/** @typedef {"php" | "ruby" | "javascript" | "typescript" | "java"} SemanticLanguage */
+/** @typedef {"integer" | "boolean" | "string"} SemanticTypeName */
+/** @typedef {"IntegerNegate" | "BooleanNot"} SemanticUnaryOperation */
+/** @typedef {"IntegerAdd" | "IntegerSubtract" | "IntegerMultiply" | "BooleanAnd" | "BooleanOr" | "IntegerEqual" | "IntegerNotEqual" | "BooleanEqual" | "BooleanNotEqual" | "StringEqual" | "StringNotEqual" | "IntegerLessThan" | "IntegerLessThanOrEqual" | "IntegerGreaterThan" | "IntegerGreaterThanOrEqual" | "StringConcat"} SemanticBinaryOperation */
+/** @typedef {"function" | "parameter" | "local"} SemanticSymbolKind */
+/** @typedef {"declaration" | "read" | "write" | "call"} SemanticSymbolRole */
+/**
+ * @typedef SourcePoint
+ * @property {number} line - One-based line.
+ * @property {number} column - One-based UTF-16 code-unit column.
+ * @property {number} offset - Zero-based UTF-16 source offset.
+ */
+/**
+ * @typedef SourceLocation
+ * @property {string} filename - Originating filename.
+ * @property {SourcePoint} start - Inclusive start.
+ * @property {SourcePoint} end - Exclusive end.
+ */
+/**
+ * @typedef RegisteredSource
+ * @property {string} id - Registry-local deterministic source identity.
+ * @property {string} filename - Original filename, preserved verbatim.
+ * @property {string | null} content - Original source content, preserved verbatim when available.
+ * @property {SemanticLanguage | null} language - Parser language when known.
+ */
+/**
+ * @typedef SourceOrigin
+ * @property {"source"} kind - Direct source provenance.
+ * @property {string} sourceId - Registered source identity.
+ * @property {SourceLocation} location - Exact original range.
+ */
+/**
+ * @typedef RelatedOrigin
+ * @property {string} sourceId - Registered source identity.
+ * @property {SourceLocation} location - Related original range.
+ * @property {string} [nodeId] - Related semantic node identity.
+ * @property {string} [symbolId] - Related semantic symbol identity.
+ * @property {string} [role] - Relationship role.
+ */
+/**
+ * @typedef DerivedOrigin
+ * @property {"derived"} kind - Provenance derived from one or more origins.
+ * @property {RelatedOrigin[]} origins - Ordered, non-empty original ranges.
+ */
+/**
+ * @typedef SyntheticOrigin
+ * @property {"synthetic"} kind - Source-free generated or semantic scaffolding.
+ * @property {string} reason - Stable human-readable reason.
+ * @property {RelatedOrigin[]} relatedOrigins - Ordered related ranges, possibly empty.
+ */
+/** @typedef {SourceOrigin | DerivedOrigin | SyntheticOrigin} SemanticOrigin */
+/**
+ * @typedef SemanticNodeSourceProvenance
+ * @property {"SemantifoldNodeProvenance"} schema - Association discriminator.
+ * @property {1} version - Association version.
+ * @property {SemanticOrigin} origin - Source association independent of traversal position.
+ * @property {Readonly<Record<string, SourceLocation>>} ranges - Exact semantic-token subranges by role.
+ */
+/**
+ * @typedef SemanticNodeProvenance
+ * @property {string} id - Deterministic module-local node identity.
+ * @property {string} path - JSON Pointer from the semantic module root.
+ * @property {SemanticNode["kind"] | "TypeReference"} kind - Semantic node kind.
+ * @property {SemanticOrigin} origin - Closed provenance value.
+ * @property {Readonly<Record<string, SourceLocation>>} ranges - Exact semantic-token subranges by role.
+ * @property {string} [symbolId] - Resolved declared/referenced symbol identity.
+ */
+/**
+ * @typedef SemanticSymbolReference
+ * @property {string} nodeId - Referring semantic node identity.
+ * @property {SemanticSymbolRole} role - Reference role.
+ * @property {SourceLocation} location - Exact reference range.
+ */
+/**
+ * @typedef SemanticSymbolProvenance
+ * @property {string} id - Deterministic module-local symbol identity.
+ * @property {string} name - Semantic symbol name.
+ * @property {SemanticSymbolKind} kind - Symbol category.
+ * @property {string} declarationNodeId - Declaring node identity.
+ * @property {SourceLocation} location - Exact declaration-name range.
+ * @property {SemanticSymbolReference[]} references - Ordered resolved references.
+ */
+/**
+ * @typedef SemanticProvenance
+ * @property {"SemantifoldProvenance"} schema - Schema discriminator.
+ * @property {1} version - Schema version.
+ * @property {"utf16"} coordinateSystem - Offset and column unit.
+ * @property {RegisteredSource[]} sources - Versioned source registry.
+ * @property {SemanticNodeProvenance[]} nodes - Deterministic node index.
+ * @property {SemanticSymbolProvenance[]} symbols - Deterministic symbol index.
+ */
+/** @typedef {"exact" | "anchor" | "synthetic"} MappingKind */
+/**
+ * @typedef SemantifoldMappingSpan
+ * @property {SourceLocation} generated - Generated half-open range.
+ * @property {MappingKind} mappingKind - Mapping precision.
+ * @property {SemanticOrigin} origin - Closed original provenance.
+ * @property {string} [nodeId] - Related canonical semantic node.
+ * @property {string} [symbolId] - Related canonical semantic symbol.
+ * @property {string} [role] - Semantic token role.
+ * @property {string} [name] - Useful symbol name for Source Map v3.
+ */
+/**
+ * @typedef GeneratedSource
+ * @property {string} filename - Output filename.
+ * @property {SemanticLanguage} language - Output language.
+ * @property {string} content - Exact generated LF source.
+ */
+/**
+ * @typedef SemantifoldMapping
+ * @property {"SemantifoldMapping"} schema - Schema discriminator.
+ * @property {1} version - Schema version.
+ * @property {"utf16"} coordinateSystem - Offset and column unit.
+ * @property {GeneratedSource} generated - Generated program identity and content.
+ * @property {RegisteredSource[]} sources - Original source registry.
+ * @property {SemanticNodeProvenance[]} nodes - Canonical semantic node index.
+ * @property {SemanticSymbolProvenance[]} symbols - Canonical semantic symbol index.
+ * @property {SemantifoldMappingSpan[]} spans - Ordered generated ranges.
+ */
+/**
+ * @typedef GeneratedArtifact
+ * @property {string} code - Generated output program, including any requested directive.
+ * @property {string} filename - Generated output filename.
+ * @property {SemanticLanguage} language - Output language.
+ * @property {SemantifoldMapping} mapping - Authoritative rich mapping.
+ * @property {import("@jridgewell/gen-mapping").EncodedSourceMap} sourceMap - Source Map v3 projection.
+ * @property {string} sourceMapFilename - Default external Source Map filename.
+ */
+/**
+ * @typedef TypeReference
+ * @property {"TypeReference"} kind - Node discriminator.
+ * @property {SemanticTypeName} name - Normalized type name.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance that survives semantic transforms.
+ */
+/**
+ * @typedef Parameter
+ * @property {"Parameter"} kind - Node discriminator.
+ * @property {string} name - Parameter name.
+ * @property {TypeReference} type - Parameter type.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef IdentifierExpression
+ * @property {"IdentifierExpression"} kind - Node discriminator.
+ * @property {string} name - Referenced name.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef IntegerLiteral
+ * @property {"IntegerLiteral"} kind - Node discriminator.
+ * @property {number} value - JavaScript-safe integer value.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef BooleanLiteral
+ * @property {"BooleanLiteral"} kind - Node discriminator.
+ * @property {boolean} value - Boolean value.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef StringLiteral
+ * @property {"StringLiteral"} kind - Node discriminator.
+ * @property {string} value - Unicode string value.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef UnaryExpression
+ * @property {"UnaryExpression"} kind - Node discriminator.
+ * @property {SemanticUnaryOperation} operation - Closed semantic operation.
+ * @property {Expression} operand - Operand evaluated exactly once.
+ * @property {SemanticTypeName} type - Explicit operation result type.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef BinaryExpression
+ * @property {"BinaryExpression"} kind - Node discriminator.
+ * @property {SemanticBinaryOperation} operation - Closed semantic operation.
+ * @property {Expression} left - Left operand.
+ * @property {Expression} right - Right operand.
+ * @property {SemanticTypeName} type - Explicit operation result type.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef CallExpression
+ * @property {"CallExpression"} kind - Node discriminator.
+ * @property {string} callee - Function name.
+ * @property {Expression[]} arguments - Positional arguments.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/** @typedef {IdentifierExpression | IntegerLiteral | BooleanLiteral | StringLiteral | UnaryExpression | BinaryExpression | CallExpression} Expression */
+/**
+ * @typedef LocalDeclaration
+ * @property {"LocalDeclaration"} kind - Node discriminator.
+ * @property {string} name - Declared local name.
+ * @property {TypeReference} type - Explicit local type.
+ * @property {boolean} mutable - Whether later assignment is allowed.
+ * @property {Expression} initializer - Required initializer expression.
+ * @property {SourceLocation} location - Declaration source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef AssignmentStatement
+ * @property {"AssignmentStatement"} kind - Node discriminator.
+ * @property {IdentifierExpression} target - Simple local assignment target.
+ * @property {Expression} expression - Assigned expression.
+ * @property {SourceLocation} location - Assignment source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef ReturnStatement
+ * @property {"ReturnStatement"} kind - Node discriminator.
+ * @property {Expression} expression - Returned expression.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef IfStatement
+ * @property {"IfStatement"} kind - Node discriminator.
+ * @property {Expression} condition - Branch condition.
+ * @property {Block} consequent - True branch.
+ * @property {Block} [alternate] - False branch, absent when execution falls through.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/** @typedef {LocalDeclaration | AssignmentStatement} LocalStatement */
+/** @typedef {LocalStatement | IfStatement | ReturnStatement | PrintStatement} Statement */
+/**
+ * @typedef Block
+ * @property {"Block"} kind - Node discriminator.
+ * @property {Statement[]} statements - Ordered statements in one lexical scope.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef FunctionDeclaration
+ * @property {"FunctionDeclaration"} kind - Node discriminator.
+ * @property {string} name - Function name.
+ * @property {Parameter[]} parameters - Function parameters.
+ * @property {TypeReference} returnType - Return type.
+ * @property {Block} body - Function body.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef PrintStatement
+ * @property {"PrintStatement"} kind - Node discriminator.
+ * @property {Expression} expression - Printed expression.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef EntryPoint
+ * @property {"EntryPoint"} kind - Node discriminator.
+ * @property {Block} body - Entry-point body.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef SemanticModule
+ * @property {"Module"} kind - Node discriminator.
+ * @property {FunctionDeclaration[]} functions - Top-level functions.
+ * @property {EntryPoint} entryPoint - Executable entry point.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ * @property {SemanticProvenance} [provenance] - Parser-authored source and identity index; optional for legacy caller-authored modules.
+ */
+/** @typedef {SemanticModule | FunctionDeclaration | Parameter | Block | Statement | EntryPoint | Expression | TypeReference} SemanticNode */
+/** @typedef {SemanticNode} SemanticNodeWithoutLocations */
+export {};
+//# sourceMappingURL=types.d.ts.map