/**
 * @module edict-lang/browser
 *
 * Edict Browser API — the Node-free subset of the compiler pipeline.
 *
 * This entry point exports everything that runs without Node.js APIs.
 * It includes phases 1–3 (validate, resolve, typeCheck, effectCheck),
 * plus lint, patch, compose, compact expansion, migration, and error utilities.
 *
 * Excluded (require Node.js):
 * - Phase 4: Contract verification (Z3, worker threads)
 * - Phase 5–6: WASM compilation and execution (worker threads)
 * - MCP server (filesystem, crypto)
 * - Incremental checking (crypto for hashing)
 *
 * Convenience wrapper: `checkBrowser` (phases 1–3 without contract verification).
 */
export { validate, validateFragmentAst } from "./validator/validate.js";
export type { ValidationResult, ValidationSuccess, ValidationFailure, } from "./validator/validate.js";
export { resolve } from "./resolver/resolve.js";
export { Scope } from "./resolver/scope.js";
export type { SymbolKind, SymbolInfo } from "./resolver/scope.js";
export { levenshteinDistance, findCandidates } from "./resolver/levenshtein.js";
export { typeCheck } from "./checker/check.js";
export type { TypedModuleInfo, TypeCheckResult } from "./checker/check.js";
export { TypeEnv } from "./checker/type-env.js";
export { typesEqual, isUnknown, resolveType } from "./checker/types-equal.js";
export { complexityCheck } from "./checker/complexity.js";
export { effectCheck } from "./effects/effect-check.js";
export type { EffectCheckResult } from "./effects/effect-check.js";
export { buildCallGraph, collectCalls } from "./effects/call-graph.js";
export type { CallEdge, CallGraph, EffectSource } from "./effects/call-graph.js";
export { checkBrowser } from "./check-browser.js";
export type { CheckBrowserResult, CheckBrowserSuccess, CheckBrowserFailure } from "./check-browser.js";
export type { EdictModule, EdictFragment, Import, Definition, FunctionDef, TypeDef, RecordDef, EnumDef, ConstDef, RecordField, EnumVariant, Param, Contract, Effect, Expression, Literal, Identifier, BinaryOp, BinaryOperator, UnaryOp, UnaryOperator, Call, IfExpr, LetExpr, MatchExpr, MatchArm, Pattern, LiteralPattern, WildcardPattern, BindingPattern, ConstructorPattern, ArrayExpr, TupleExpr, RecordExpr, EnumConstructor, FieldAccess, LambdaExpr, BlockExpr, FieldInit, StringInterp, IntentDeclaration, IntentInvariant, ExpressionInvariant, SemanticInvariant, ApprovalGate, ApprovalScope, ToolDef, ToolCallExpr, RetryPolicy, BackoffKind, } from "./ast/nodes.js";
export { VALID_APPROVAL_SCOPES } from "./ast/nodes.js";
export type { TypeExpr, BasicType, ArrayType, OptionType, ResultType, UnitType, RefinedType, FunctionType, NamedType, TupleType, } from "./ast/types.js";
export type { StructuredError, DuplicateIdError, UnknownNodeKindError, MissingFieldError, InvalidFieldTypeError, InvalidEffectError, InvalidOperatorError, InvalidBasicTypeName, ConflictingEffectsError, UndefinedReferenceError, DuplicateDefinitionError, UnknownRecordError, UnknownEnumError, UnknownVariantError, TypeMismatchError, UnitMismatchError, ArityMismatchError, NotAFunctionError, UnknownFieldError, MissingRecordFieldsError, EffectViolationError, EffectInPureError, ContractFailureError, VerificationTimeoutError, UndecidablePredicateError, PreconditionNotMetError, PatchNodeNotFoundError, PatchInvalidFieldError, PatchIndexOutOfRangeError, PatchDeleteNotInArrayError, AnalysisDiagnostic, AnalysisDiagnosticKind, VerificationCoverage, UnsatisfiedRequirementError, DuplicateProvisionError, CircularImportError, UnresolvedModuleError, DuplicateModuleNameError, MigrationFailedError, UnsupportedSchemaVersionError, ApprovalPropagationMissingError, UnknownToolError, ToolArgMismatchError, QuickJSRuntimeError, } from "./errors/structured-errors.js";
export { duplicateId, unknownNodeKind, missingField, invalidFieldType, invalidEffect, invalidOperator, invalidBasicTypeName, conflictingEffects, undefinedReference, duplicateDefinition, unknownRecord, unknownEnum, unknownVariant, typeMismatch, unitMismatch, arityMismatch, notAFunction, unknownField, missingRecordFields, effectViolation, effectInPure, contractFailure, verificationTimeout, undecidablePredicate, preconditionNotMet, patchNodeNotFound, patchInvalidField, patchIndexOutOfRange, patchDeleteNotInArray, analysisDiagnostic, unsatisfiedRequirement, duplicateProvision, circularImport, unresolvedModule, duplicateModuleName, migrationFailed, unsupportedSchemaVersion, approvalPropagationMissing, unknownTool, toolArgMismatch, quickjsRuntimeError, } from "./errors/structured-errors.js";
export { buildErrorCatalog } from "./errors/error-catalog.js";
export type { ErrorCatalog, ErrorCatalogEntry } from "./errors/error-catalog.js";
export { explainError } from "./errors/explain.js";
export type { ExplainResult, ExplainResultFound, ExplainResultNotFound, RepairAction } from "./errors/explain.js";
export { lint } from "./lint/lint.js";
export type { LintWarning } from "./lint/lint.js";
export type { UnusedVariableWarning, UnusedImportWarning, MissingContractWarning, OversizedFunctionWarning, EmptyBodyWarning, RedundantEffectWarning, IntentUnverifiedInvariantWarning, ApprovalMissingOnIoWarning, ToolCallNoRetryWarning, ToolCallNoTimeoutWarning, } from "./lint/warnings.js";
export { unusedVariable, unusedImport, missingContract, oversizedFunction, emptyBody, redundantEffect, intentUnverifiedInvariant, approvalMissingOnIo, toolCallNoRetry, toolCallNoTimeout, } from "./lint/warnings.js";
export { applyPatches } from "./patch/apply.js";
export type { AstPatch, PatchApplyResult } from "./patch/apply.js";
export { compose } from "./compose/compose.js";
export type { ComposeResult } from "./compose/compose.js";
export { expandCompact, isCompactAst, compactSchemaReference, KIND_SYNONYMS } from "./compact/expand.js";
export { migrateToLatest, applyMigration, CURRENT_SCHEMA_VERSION, MINIMUM_SCHEMA_VERSION, MIGRATION_REGISTRY } from "./migration/migrate.js";
export type { Migration, MigrationOp, MigrationResult, MigrationSuccess, MigrationFailure } from "./migration/migrate.js";
export { BUILTIN_FUNCTIONS, isBuiltin, getBuiltin } from "./builtins/builtin-meta.js";
export type { BuiltinFunction } from "./builtins/builtin-meta.js";
export { BrowserHostAdapter } from "./codegen/browser-host-adapter.js";
export type { BrowserHostAdapterOptions } from "./codegen/browser-host-adapter.js";
export type { EdictHostAdapter } from "./codegen/host-adapter.js";
//# sourceMappingURL=browser.d.ts.map