bonescript-compiler 0.5.2 → 0.5.4

package/src/index.ts

@@ -1,88 +1,88 @@
-/**
- * BoneScript Compiler — Public API
- * Import this module to use the compiler programmatically.
- */
-
-// Core pipeline
-export { Lexer, LexerError, TokenKind } from "./lexer";
-export type { Token, SourceLocation } from "./lexer";
-export { Parser, ParseError } from "./parser";
-export { RecoveringParser } from "./parser_recovery";
-export type { RecoveredParseResult } from "./parser_recovery";
-export { TypeChecker } from "./typechecker";
-export type { TypeError } from "./typechecker";
-export { Lowering } from "./lowering";
-export { ConstraintSolver } from "./solver";
-export type { SolverResult } from "./solver";
-export { FullEmitter } from "./emit_full";
-export type { EmittedFile } from "./emitter";
-export { Verifier } from "./verifier";
-export type { VerifyResult, VerifyIssue } from "./verifier";
-export { optimize } from "./optimizer";
-export type { OptimizationResult } from "./optimizer";
-export { ModuleLoader } from "./module_loader";
-export type { LoadResult } from "./module_loader";
-export { Formatter } from "./formatter";
-export { scaffold } from "./scaffold";
-export type { ScaffoldDomain } from "./scaffold";
-
-// AST types
-export * as AST from "./ast";
-
-// IR types
-export * as IR from "./ir";
-
-// Algorithm catalog
-export { lookupAlgorithm, listAlgorithms, listByCategory } from "./algorithm_catalog";
-
-// Extension system
-export { mergeWithExisting, extractImplementations, validateExtensions } from "./extension_manager";
-
-/**
- * Convenience function: compile a .bone source string to files.
- */
-export async function compile(source: string, sourceFile: string = "program.bone"): Promise<{
-  files: { path: string; content: string; language: string; source_module: string }[];
-  errors: string[];
-  warnings: string[];
-}> {
-  const { createHash } = await import("crypto");
-  const { Lexer: L } = await import("./lexer");
-  const { Parser: P } = await import("./parser");
-  const { TypeChecker: TC } = await import("./typechecker");
-  const { Lowering: Lo } = await import("./lowering");
-  const { ConstraintSolver: CS } = await import("./solver");
-  const { FullEmitter: FE } = await import("./emit_full");
-  const { optimize: opt } = await import("./optimizer");
-
-  const errors: string[] = [];
-  const warnings: string[] = [];
-
-  const tokens = new L(source).tokenize();
-  const ast = new P(tokens).parse();
-
-  const typeErrors = new TC().check(ast);
-  for (const err of typeErrors) {
-    errors.push(`${err.code} at ${err.loc.line}:${err.loc.column}: ${err.message}`);
-  }
-  if (errors.length > 0) return { files: [], errors, warnings };
-
-  const hash = createHash("sha256").update(source).digest("hex").slice(0, 16);
-  const irSystems = new Lo().lower(ast, hash);
-
-  for (let i = 0; i < irSystems.length; i++) {
-    const result = opt(irSystems[i]);
-    irSystems[i] = result.system;
-    const solveResult = new CS().solve(irSystems[i]);
-    irSystems[i].resolution = solveResult.resolution;
-    for (const w of solveResult.warnings) warnings.push(w);
-  }
-
-  const files: { path: string; content: string; language: string; source_module: string }[] = [];
-  const emitter = new FE();
-  for (const sys of irSystems) {
-    files.push(...emitter.emit(sys));
-  }
-
-  return { files, errors, warnings };
-}
+/**
+ * BoneScript Compiler — Public API
+ * Import this module to use the compiler programmatically.
+ */
+
+// Core pipeline
+export { Lexer, LexerError, TokenKind } from "./lexer";
+export type { Token, SourceLocation } from "./lexer";
+export { Parser, ParseError } from "./parser";
+export { RecoveringParser } from "./parser_recovery";
+export type { RecoveredParseResult } from "./parser_recovery";
+export { TypeChecker } from "./typechecker";
+export type { TypeError } from "./typechecker";
+export { Lowering } from "./lowering";
+export { ConstraintSolver } from "./solver";
+export type { SolverResult } from "./solver";
+export { FullEmitter } from "./emit_full";
+export type { EmittedFile } from "./emitter";
+export { Verifier } from "./verifier";
+export type { VerifyResult, VerifyIssue } from "./verifier";
+export { optimize } from "./optimizer";
+export type { OptimizationResult } from "./optimizer";
+export { ModuleLoader } from "./module_loader";
+export type { LoadResult } from "./module_loader";
+export { Formatter } from "./formatter";
+export { scaffold } from "./scaffold";
+export type { ScaffoldDomain } from "./scaffold";
+
+// AST types
+export * as AST from "./ast";
+
+// IR types
+export * as IR from "./ir";
+
+// Algorithm catalog
+export { lookupAlgorithm, listAlgorithms, listByCategory } from "./algorithm_catalog";
+
+// Extension system
+export { mergeWithExisting, extractImplementations, validateExtensions } from "./extension_manager";
+
+/**
+ * Convenience function: compile a .bone source string to files.
+ */
+export async function compile(source: string, sourceFile: string = "program.bone"): Promise<{
+  files: { path: string; content: string; language: string; source_module: string }[];
+  errors: string[];
+  warnings: string[];
+}> {
+  const { createHash } = await import("crypto");
+  const { Lexer: L } = await import("./lexer");
+  const { Parser: P } = await import("./parser");
+  const { TypeChecker: TC } = await import("./typechecker");
+  const { Lowering: Lo } = await import("./lowering");
+  const { ConstraintSolver: CS } = await import("./solver");
+  const { FullEmitter: FE } = await import("./emit_full");
+  const { optimize: opt } = await import("./optimizer");
+
+  const errors: string[] = [];
+  const warnings: string[] = [];
+
+  const tokens = new L(source).tokenize();
+  const ast = new P(tokens).parse();
+
+  const typeErrors = new TC().check(ast);
+  for (const err of typeErrors) {
+    errors.push(`${err.code} at ${err.loc.line}:${err.loc.column}: ${err.message}`);
+  }
+  if (errors.length > 0) return { files: [], errors, warnings };
+
+  const hash = createHash("sha256").update(source).digest("hex").slice(0, 16);
+  const irSystems = new Lo().lower(ast, hash);
+
+  for (let i = 0; i < irSystems.length; i++) {
+    const result = opt(irSystems[i]);
+    irSystems[i] = result.system;
+    const solveResult = new CS().solve(irSystems[i]);
+    irSystems[i].resolution = solveResult.resolution;
+    for (const w of solveResult.warnings) warnings.push(w);
+  }
+
+  const files: { path: string; content: string; language: string; source_module: string }[] = [];
+  const emitter = new FE();
+  for (const sys of irSystems) {
+    files.push(...emitter.emit(sys));
+  }
+
+  return { files, errors, warnings };
+}

package/src/ir.ts

@@ -1,216 +1,215 @@
-/**
- * bone ir (Intermediate Representation) — Data structures.
- * Implements spec/07_IR_SPEC.md.
- *
- * This is the canonical internal form: language-agnostic, fully resolved,
- * strongly typed, and deterministically serializable.
- */
-
-// ─── Primitives ──────────────────────────────────────────────────────────────
-
-export type IRPrimitive = "string" | "uint" | "int" | "float" | "bool" | "timestamp" | "uuid" | "bytes" | "json";
-
-export interface IRField {
-  name: string;
-  type: string;       // primitive name or "list<X>", "set<X>", etc.
-  nullable: boolean;
-  unique: boolean;
-  indexed: boolean;
-  default_value: string | null;
-}
-
-// ─── Models ──────────────────────────────────────────────────────────────────
-
-export interface IRIndex {
-  fields: string[];
-  unique: boolean;
-}
-
-export interface IRModelConstraint {
-  kind: "unique" | "non_null" | "range" | "enum" | "check";
-  target: string;
-  params: Record<string, string | number | string[]>;
-}
-
-export interface IRModel {
-  name: string;
-  fields: IRField[];
-  primary_key: string;
-  indexes: IRIndex[];
-  constraints: IRModelConstraint[];
-}
-
-// ─── Methods / Interfaces ────────────────────────────────────────────────────
-
-export interface IRPrecondition {
-  expression: string;  // serialized constraint expression
-  description: string;
-}
-
-export interface IREffect {
-  target: string;      // field path
-  op: "assign" | "add" | "remove";
-  value: string;       // serialized expression
-}
-
-export interface IRMethod {
-  name: string;
-  input: IRField[];
-  output: string;      // type expression
-  preconditions: IRPrecondition[];
-  effects: IREffect[];
-  emissions: string[]; // event qualified ids
-  idempotent: boolean;
-  authenticated: boolean;
-  timeout_ms: number;
-  retry: IRRetryPolicy | null;
-  pipeline: IRPipeline | null;
-  algorithm: IRAlgorithm | null;
-  sync: string | null;
-}
-
-export interface IRPipeline {
-  parallel: boolean;
-  steps: IRPipelineStep[];
-  on_error: IRPipelineErrorHandler | null;
-}
-
-export interface IRPipelineStep {
-  call_name: string;
-  call_args: string[];   // serialized expressions
-  bind_as: string | null;
-}
-
-export interface IRPipelineErrorHandler {
-  action: "rollback" | "compensate" | "ignore" | "retry";
-  call_name: string | null;
-  call_args: string[];
-}
-
-export interface IRAlgorithm {
-  catalog_name: string;
-  bindings: { param: string; value: string }[];
-}
-
-export interface IRRetryPolicy {
-  max_attempts: number;
-  backoff: "fixed" | "linear" | "exponential";
-  interval_ms: number;
-}
-
-export interface IRInterface {
-  name: string;
-  methods: IRMethod[];
-}
-
-// ─── Events ──────────────────────────────────────────────────────────────────
-
-export type IRDeliveryMode = "at_least_once" | "at_most_once" | "exactly_once";
-export type IROrderingMode = "fifo" | "causal" | "total" | "unordered";
-
-export interface IREvent {
-  id: string;
-  name: string;
-  payload: IRField[];
-  source: string;       // module id
-  delivery: IRDeliveryMode;
-  ordering: IROrderingMode;
-  ttl_ms: number | null;
-}
-
-// ─── State Machines ──────────────────────────────────────────────────────────
-
-export interface IRTransition {
-  from: string;
-  to: string;
-  trigger: string;
-  guard: string | null;
-}
-
-export interface IRStateMachine {
-  entity: string;
-  states: string[];
-  initial: string;
-  transitions: IRTransition[];
-}
-
-// ─── Modules ─────────────────────────────────────────────────────────────────
-
-export type IRModuleKind =
-  | "api_service"
-  | "worker_service"
-  | "realtime_service"
-  | "auth_service"
-  | "data_store"
-  | "event_bus"
-  | "cache"
-  | "gateway"
-  | "frontend";
-
-export interface IRModule {
-  id: string;
-  kind: IRModuleKind;
-  name: string;
-  interfaces: IRInterface[];
-  models: IRModel[];
-  events: IREvent[];
-  state_machines: IRStateMachine[];
-  relations: IRRelation[];
-  dependencies: string[];
-  config: Record<string, string | number | boolean>;
-}
-
-export interface IRRelation {
-  name: string;
-  kind: "has_one" | "has_many" | "belongs_to" | "many_to_many";
-  from_entity: string;
-  to_entity: string;
-  from_table: string;
-  to_table: string;
-  foreign_key: string;   // column name on the owning side
-  junction_table?: string; // only for many_to_many
-  cardinality?: { min: number; max: number | "*" }; // optional explicit bounds
-}
-
-// ─── Invariants ──────────────────────────────────────────────────────────────
-
-export interface IRInvariant {
-  id: string;
-  expression: string;
-  scope: string; // module id or "global"
-}
-
-// ─── Flow (Saga) ─────────────────────────────────────────────────────────────
-
-export interface IRFlowStep {
-  name: string;
-  action: string;       // method qualified id
-  compensation: string | null;
-}
-
-export interface IRFlow {
-  name: string;
-  steps: IRFlowStep[];
-}
-
-// ─── Root IR ─────────────────────────────────────────────────────────────────
-
-export interface IRSystem {
-  name: string;
-  version: string;
-  source_hash: string;
-  domain: string | null;
-  modules: IRModule[];
-  events: IREvent[];
-  flows: IRFlow[];
-  invariants: IRInvariant[];
-  resolution: Record<string, string>; // constraint solver output
-  extension_points: IRExtensionPoint[];
-}
-
-export interface IRExtensionPoint {
-  name: string;
-  params: { name: string; type: string }[];
-  returns: string | null;
-  stable: boolean;
-}
+/**
+ * bone ir (Intermediate Representation) — Data structures.
+ * Implements spec/07_IR_SPEC.md.
+ *
+ * This is the canonical internal form: language-agnostic, fully resolved,
+ * strongly typed, and deterministically serializable.
+ */
+
+// ─── Primitives ──────────────────────────────────────────────────────────────
+
+export type IRPrimitive = "string" | "uint" | "int" | "float" | "bool" | "timestamp" | "uuid" | "bytes" | "json";
+
+export interface IRField {
+  name: string;
+  type: string;       // primitive name or "list<X>", "set<X>", etc.
+  nullable: boolean;
+  unique: boolean;
+  indexed: boolean;
+  default_value: string | null;
+}
+
+// ─── Models ──────────────────────────────────────────────────────────────────
+
+export interface IRIndex {
+  fields: string[];
+  unique: boolean;
+}
+
+export interface IRModelConstraint {
+  kind: "unique" | "non_null" | "range" | "enum" | "check";
+  target: string;
+  params: Record<string, string | number | string[]>;
+}
+
+export interface IRModel {
+  name: string;
+  fields: IRField[];
+  primary_key: string;
+  indexes: IRIndex[];
+  constraints: IRModelConstraint[];
+}
+
+// ─── Methods / Interfaces ────────────────────────────────────────────────────
+
+export interface IRPrecondition {
+  expression: string;  // serialized constraint expression
+  description: string;
+}
+
+export interface IREffect {
+  target: string;      // field path
+  op: "assign" | "add" | "remove";
+  value: string;       // serialized expression
+}
+
+export interface IRMethod {
+  name: string;
+  input: IRField[];
+  output: string;      // type expression
+  preconditions: IRPrecondition[];
+  effects: IREffect[];
+  emissions: string[]; // event qualified ids
+  idempotent: boolean;
+  authenticated: boolean;
+  timeout_ms: number;
+  retry: IRRetryPolicy | null;
+  pipeline: IRPipeline | null;
+  algorithm: IRAlgorithm | null;
+  sync: string | null;
+}
+
+export interface IRPipeline {
+  parallel: boolean;
+  steps: IRPipelineStep[];
+  on_error: IRPipelineErrorHandler | null;
+}
+
+export interface IRPipelineStep {
+  call_name: string;
+  call_args: string[];   // serialized expressions
+  bind_as: string | null;
+}
+
+export interface IRPipelineErrorHandler {
+  action: "rollback" | "compensate" | "ignore" | "retry";
+  call_name: string | null;
+  call_args: string[];
+}
+
+export interface IRAlgorithm {
+  catalog_name: string;
+  bindings: { param: string; value: string }[];
+}
+
+export interface IRRetryPolicy {
+  max_attempts: number;
+  backoff: "fixed" | "linear" | "exponential";
+  interval_ms: number;
+}
+
+export interface IRInterface {
+  name: string;
+  methods: IRMethod[];
+}
+
+// ─── Events ──────────────────────────────────────────────────────────────────
+
+export type IRDeliveryMode = "at_least_once" | "at_most_once" | "exactly_once";
+export type IROrderingMode = "fifo" | "causal" | "total" | "unordered";
+
+export interface IREvent {
+  id: string;
+  name: string;
+  payload: IRField[];
+  source: string;       // module id
+  delivery: IRDeliveryMode;
+  ordering: IROrderingMode;
+  ttl_ms: number | null;
+}
+
+// ─── State Machines ──────────────────────────────────────────────────────────
+
+export interface IRTransition {
+  from: string;
+  to: string;
+  trigger: string;
+  guard: string | null;
+}
+
+export interface IRStateMachine {
+  entity: string;
+  states: string[];
+  initial: string;
+  transitions: IRTransition[];
+}
+
+// ─── Modules ─────────────────────────────────────────────────────────────────
+
+export type IRModuleKind =
+  | "api_service"
+  | "worker_service"
+  | "realtime_service"
+  | "auth_service"
+  | "data_store"
+  | "event_bus"
+  | "cache"
+  | "gateway"
+  | "frontend";
+
+export interface IRModule {
+  id: string;
+  kind: IRModuleKind;
+  name: string;
+  interfaces: IRInterface[];
+  models: IRModel[];
+  events: IREvent[];
+  state_machines: IRStateMachine[];
+  relations: IRRelation[];
+  dependencies: string[];
+  config: Record<string, string | number | boolean>;
+}
+
+export interface IRRelation {
+  name: string;
+  kind: "has_one" | "has_many" | "belongs_to" | "many_to_many";
+  from_entity: string;
+  to_entity: string;
+  from_table: string;
+  to_table: string;
+  foreign_key: string;   // column name on the owning side
+  junction_table?: string; // only for many_to_many
+}
+
+// ─── Invariants ──────────────────────────────────────────────────────────────
+
+export interface IRInvariant {
+  id: string;
+  expression: string;
+  scope: string; // module id or "global"
+}
+
+// ─── Flow (Saga) ─────────────────────────────────────────────────────────────
+
+export interface IRFlowStep {
+  name: string;
+  action: string;       // method qualified id
+  compensation: string | null;
+}
+
+export interface IRFlow {
+  name: string;
+  steps: IRFlowStep[];
+}
+
+// ─── Root IR ─────────────────────────────────────────────────────────────────
+
+export interface IRSystem {
+  name: string;
+  version: string;
+  source_hash: string;
+  domain: string | null;
+  modules: IRModule[];
+  events: IREvent[];
+  flows: IRFlow[];
+  invariants: IRInvariant[];
+  resolution: Record<string, string>; // constraint solver output
+  extension_points: IRExtensionPoint[];
+}
+
+export interface IRExtensionPoint {
+  name: string;
+  params: { name: string; type: string }[];
+  returns: string | null;
+  stable: boolean;
+}