ibex 0.1.0 → 0.2.0

metadata

@@ -1,14 +1,28 @@
 --- !ruby/object:Gem::Specification
 name: ibex
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.2.0
 platform: ruby
 authors:
 - Yudai Takada
 bindir: exe
 cert_chain: []
 date: 1980-01-02 00:00:00.000000000 Z
-dependencies: []
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: ibex-runtime
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.2.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.2.0
 description: Ibex generates LR parsers from racc-compatible grammars without native
   extensions.
 email:
@@ -18,122 +32,393 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
-- ".rubocop.yml"
-- CHANGELOG.md
 - LICENSE.txt
 - README.md
-- Rakefile
-- Steepfile
 - docs/architecture.md
-- docs/compat-notes.md
+- docs/cst-migration.md
+- docs/cst.md
+- docs/development.md
+- docs/editor-setup.md
+- docs/error-ux.md
 - docs/grammar-reference.md
-- docs/lexer-coverage.md
-- docs/phase10-extensions.md
+- docs/lexer-migration.md
 - docs/racc-migration.md
+- docs/release-readiness.md
+- docs/stability.md
+- examples/README.md
+- examples/calculator.y
+- examples/csv.y
+- examples/ini.y
+- examples/json.y
+- examples/tiny_language.y
 - exe/ibex
-- gemfiles/Gemfile
-- gemfiles/Gemfile.lock
 - lib/ibex.rb
 - lib/ibex/analysis.rb
 - lib/ibex/analysis/sets.rb
+- lib/ibex/artifact_set.rb
 - lib/ibex/cli.rb
+- lib/ibex/cli/ambiguity.rb
 - lib/ibex/cli/counterexample_options.rb
+- lib/ibex/cli/coverage.rb
+- lib/ibex/cli/debug.rb
+- lib/ibex/cli/diagnostics.rb
+- lib/ibex/cli/documentation.rb
+- lib/ibex/cli/error_messages.rb
+- lib/ibex/cli/explain.rb
+- lib/ibex/cli/formatting.rb
+- lib/ibex/cli/generation_artifacts.rb
+- lib/ibex/cli/generation_error_messages.rb
+- lib/ibex/cli/grammar_tests.rb
+- lib/ibex/cli/ir_tools.rb
+- lib/ibex/cli/lsp.rb
 - lib/ibex/cli/outputs.rb
+- lib/ibex/cli/racc_migration.rb
+- lib/ibex/cli/samples.rb
+- lib/ibex/cli/watch.rb
+- lib/ibex/codegen/action_locations.rb
+- lib/ibex/codegen/action_method_source.rb
+- lib/ibex/codegen/action_source.rb
+- lib/ibex/codegen/ambiguity.rb
+- lib/ibex/codegen/cst_metadata.rb
+- lib/ibex/codegen/documentation.rb
 - lib/ibex/codegen/dot.rb
+- lib/ibex/codegen/explain.rb
+- lib/ibex/codegen/generated_action_abi.rb
 - lib/ibex/codegen/html.rb
+- lib/ibex/codegen/mermaid.rb
+- lib/ibex/codegen/railroad.rb
+- lib/ibex/codegen/railroad_documentation.rb
 - lib/ibex/codegen/rbs.rb
 - lib/ibex/codegen/report.rb
 - lib/ibex/codegen/ruby.rb
+- lib/ibex/codegen/ruby_actions.rb
+- lib/ibex/codegen/ruby_ast.rb
+- lib/ibex/codegen/ruby_error_messages.rb
+- lib/ibex/codegen/ruby_lexer.rb
+- lib/ibex/codegen/ruby_syntax.rb
+- lib/ibex/codegen/ruby_table_metadata.rb
+- lib/ibex/codegen/ruby_value_printers.rb
 - lib/ibex/codegen/symbol_labels.rb
+- lib/ibex/coverage.rb
+- lib/ibex/coverage/collector.rb
+- lib/ibex/coverage/event_stream.rb
+- lib/ibex/coverage/report.rb
+- lib/ibex/coverage/runtime_event_validator.rb
 - lib/ibex/error.rb
+- lib/ibex/error_messages.rb
+- lib/ibex/error_messages/parser.rb
+- lib/ibex/error_messages/parser_v2.rb
+- lib/ibex/error_messages/renderer.rb
+- lib/ibex/error_messages/sentence_search.rb
+- lib/ibex/error_messages/update.rb
 - lib/ibex/frontend.rb
 - lib/ibex/frontend/action_scanner.rb
 - lib/ibex/frontend/ast.rb
 - lib/ibex/frontend/bootstrap_parser.rb
+- lib/ibex/frontend/diagnostic.rb
+- lib/ibex/frontend/diagnostic_recovery.rb
 - lib/ibex/frontend/dsl.rb
+- lib/ibex/frontend/formatter.rb
 - lib/ibex/frontend/generated_parser.rb
 - lib/ibex/frontend/generated_parser_base.rb
-- lib/ibex/frontend/grammar.y
+- lib/ibex/frontend/generated_parser_includes.rb
+- lib/ibex/frontend/generated_parser_metadata.rb
+- lib/ibex/frontend/generated_parser_parameters.rb
+- lib/ibex/frontend/generation.rb
 - lib/ibex/frontend/lexer.rb
+- lib/ibex/frontend/lexer_recovery.rb
 - lib/ibex/frontend/parser.rb
 - lib/ibex/frontend/parser/declarations.rb
+- lib/ibex/frontend/parser/parameters.rb
 - lib/ibex/frontend/parser/rules.rb
 - lib/ibex/frontend/regenerator.rb
+- lib/ibex/frontend/resolution.rb
+- lib/ibex/frontend/resolver.rb
+- lib/ibex/frontend/rule_documentation.rb
 - lib/ibex/frontend/source_cursor.rb
+- lib/ibex/frontend/source_document.rb
+- lib/ibex/frontend/source_loader.rb
+- lib/ibex/frontend/source_span.rb
 - lib/ibex/frontend/token_adapter.rb
+- lib/ibex/frontend/token_adapter/declaration_document_state.rb
+- lib/ibex/frontend/token_adapter/declaration_lexer_state.rb
 - lib/ibex/frontend/token_adapter/declaration_state.rb
 - lib/ibex/frontend/token_adapter/delimiter_tracker.rb
 - lib/ibex/frontend/token_adapter/rule_state.rb
+- lib/ibex/generation_input.rb
+- lib/ibex/generation_manifest.rb
+- lib/ibex/generation_transaction.rb
+- lib/ibex/generation_transaction_recovery.rb
+- lib/ibex/generation_transaction_validation.rb
+- lib/ibex/grammar_tests.rb
 - lib/ibex/ir.rb
 - lib/ibex/ir/automaton_ir.rb
 - lib/ibex/ir/grammar_ir.rb
+- lib/ibex/ir/lexer_ir.rb
+- lib/ibex/ir/migration.rb
 - lib/ibex/ir/serialize.rb
+- lib/ibex/ir/validator.rb
+- lib/ibex/ir/validator/automaton.rb
+- lib/ibex/ir/validator/base.rb
+- lib/ibex/ir/validator/grammar.rb
+- lib/ibex/ir/validator/lexer.rb
 - lib/ibex/lalr.rb
+- lib/ibex/lalr/build_metrics.rb
 - lib/ibex/lalr/builder.rb
 - lib/ibex/lalr/conflict.rb
 - lib/ibex/lalr/conflict_search.rb
 - lib/ibex/lalr/conflict_search_limits.rb
 - lib/ibex/lalr/counterexample.rb
 - lib/ibex/lalr/default_reductions.rb
+- lib/ibex/lalr/direct_lookaheads.rb
+- lib/ibex/lalr/ielr_partition.rb
+- lib/ibex/lalr/on_error_reductions.rb
+- lib/ibex/location.rb
+- lib/ibex/lsp.rb
+- lib/ibex/lsp/document_handlers.rb
+- lib/ibex/lsp/document_store.rb
+- lib/ibex/lsp/document_store_diagnostics.rb
+- lib/ibex/lsp/document_store_validation.rb
+- lib/ibex/lsp/initialization_handlers.rb
+- lib/ibex/lsp/navigation_handlers.rb
+- lib/ibex/lsp/position_codec.rb
+- lib/ibex/lsp/protocol_error.rb
+- lib/ibex/lsp/request_handlers.rb
+- lib/ibex/lsp/request_support.rb
+- lib/ibex/lsp/server.rb
+- lib/ibex/lsp/symbol_index.rb
+- lib/ibex/lsp/symbol_index_builder.rb
+- lib/ibex/lsp/symbol_index_precedence_references.rb
+- lib/ibex/lsp/symbol_index_source_queries.rb
+- lib/ibex/lsp/symbol_occurrence.rb
+- lib/ibex/lsp/transport.rb
+- lib/ibex/lsp/workspace.rb
+- lib/ibex/lsp/workspace_analyzer.rb
 - lib/ibex/normalize.rb
 - lib/ibex/normalize/declarations.rb
 - lib/ibex/normalize/diagnostics.rb
 - lib/ibex/normalize/expander.rb
 - lib/ibex/normalize/expression.rb
-- lib/ibex/runtime.rb
-- lib/ibex/runtime/parser.rb
+- lib/ibex/normalize/inline_expansion.rb
+- lib/ibex/normalize/inline_validation.rb
+- lib/ibex/normalize/lexer.rb
+- lib/ibex/normalize/named_references.rb
+- lib/ibex/normalize/nodes.rb
+- lib/ibex/normalize/parameter_ebnf_lowering.rb
+- lib/ibex/normalize/parameter_lowering.rb
+- lib/ibex/normalize/parameter_substitution.rb
+- lib/ibex/normalize/parameter_validation.rb
+- lib/ibex/normalize/parameters.rb
+- lib/ibex/normalize/recovery_declarations.rb
+- lib/ibex/racc_migration.rb
+- lib/ibex/racc_migration/checker.rb
+- lib/ibex/racc_migration/harness.rb
+- lib/ibex/racc_migration/report.rb
+- lib/ibex/rake_task.rb
+- lib/ibex/samples.rb
+- lib/ibex/table_simulation.rb
+- lib/ibex/table_simulation/result.rb
+- lib/ibex/table_simulation/simulator.rb
+- lib/ibex/table_simulation/step.rb
+- lib/ibex/table_simulation/text.rb
 - lib/ibex/tables.rb
 - lib/ibex/version.rb
+- lib/ibex/watch.rb
+- lib/ibex/watch/runner.rb
+- lib/ibex/watch/source_snapshot.rb
+- schema/automaton-ir-v1.schema.json
+- schema/automaton-ir-v2.schema.json
+- schema/benchmark-v1.schema.json
+- schema/benchmark-v2.schema.json
+- schema/cst-v1.json
+- schema/error-ux-v1.schema.json
+- schema/explain-v1.schema.json
+- schema/frontend-diagnostics-v1.schema.json
+- schema/generation-manifest-v1.schema.json
+- schema/grammar-ir-v1.schema.json
+- schema/grammar-ir-v2.schema.json
+- schema/lexer-ir-v1.schema.json
+- schema/migration-check-v1.schema.json
+- schema/performance-comparison-v1.schema.json
+- schema/public-performance-comparison-v1.schema.json
+- schema/public-performance-profile-v1.schema.json
+- schema/runtime-coverage-v1.schema.json
+- schema/runtime-event-v1.schema.json
+- schema/table-simulation-v1.schema.json
 - sig/ibex.rbs
 - sig/ibex/analysis.rbs
 - sig/ibex/analysis/sets.rbs
+- sig/ibex/artifact_set.rbs
 - sig/ibex/cli.rbs
+- sig/ibex/cli/ambiguity.rbs
 - sig/ibex/cli/counterexample_options.rbs
+- sig/ibex/cli/coverage.rbs
+- sig/ibex/cli/debug.rbs
+- sig/ibex/cli/diagnostics.rbs
+- sig/ibex/cli/documentation.rbs
+- sig/ibex/cli/error_messages.rbs
+- sig/ibex/cli/explain.rbs
+- sig/ibex/cli/formatting.rbs
+- sig/ibex/cli/generation_artifacts.rbs
+- sig/ibex/cli/generation_error_messages.rbs
+- sig/ibex/cli/grammar_tests.rbs
+- sig/ibex/cli/ir_tools.rbs
+- sig/ibex/cli/lsp.rbs
 - sig/ibex/cli/outputs.rbs
+- sig/ibex/cli/racc_migration.rbs
+- sig/ibex/cli/samples.rbs
+- sig/ibex/cli/watch.rbs
+- sig/ibex/codegen/action_locations.rbs
+- sig/ibex/codegen/action_method_source.rbs
+- sig/ibex/codegen/action_source.rbs
+- sig/ibex/codegen/ambiguity.rbs
+- sig/ibex/codegen/cst_metadata.rbs
+- sig/ibex/codegen/documentation.rbs
 - sig/ibex/codegen/dot.rbs
+- sig/ibex/codegen/explain.rbs
+- sig/ibex/codegen/generated_action_abi.rbs
 - sig/ibex/codegen/html.rbs
+- sig/ibex/codegen/mermaid.rbs
+- sig/ibex/codegen/railroad.rbs
+- sig/ibex/codegen/railroad_documentation.rbs
 - sig/ibex/codegen/rbs.rbs
 - sig/ibex/codegen/report.rbs
 - sig/ibex/codegen/ruby.rbs
+- sig/ibex/codegen/ruby_actions.rbs
+- sig/ibex/codegen/ruby_ast.rbs
+- sig/ibex/codegen/ruby_error_messages.rbs
+- sig/ibex/codegen/ruby_lexer.rbs
+- sig/ibex/codegen/ruby_syntax.rbs
+- sig/ibex/codegen/ruby_table_metadata.rbs
+- sig/ibex/codegen/ruby_value_printers.rbs
 - sig/ibex/codegen/symbol_labels.rbs
+- sig/ibex/coverage.rbs
+- sig/ibex/coverage/collector.rbs
+- sig/ibex/coverage/event_stream.rbs
+- sig/ibex/coverage/report.rbs
+- sig/ibex/coverage/runtime_event_validator.rbs
 - sig/ibex/error.rbs
+- sig/ibex/error_messages.rbs
+- sig/ibex/error_messages/parser.rbs
+- sig/ibex/error_messages/parser_v2.rbs
+- sig/ibex/error_messages/renderer.rbs
+- sig/ibex/error_messages/sentence_search.rbs
+- sig/ibex/error_messages/update.rbs
 - sig/ibex/frontend.rbs
 - sig/ibex/frontend/action_scanner.rbs
 - sig/ibex/frontend/ast.rbs
 - sig/ibex/frontend/bootstrap_parser.rbs
+- sig/ibex/frontend/diagnostic.rbs
+- sig/ibex/frontend/diagnostic_recovery.rbs
 - sig/ibex/frontend/dsl.rbs
+- sig/ibex/frontend/formatter.rbs
 - sig/ibex/frontend/generated_parser.rbs
 - sig/ibex/frontend/generated_parser_base.rbs
+- sig/ibex/frontend/generated_parser_includes.rbs
+- sig/ibex/frontend/generated_parser_metadata.rbs
+- sig/ibex/frontend/generated_parser_parameters.rbs
+- sig/ibex/frontend/generation.rbs
 - sig/ibex/frontend/lexer.rbs
+- sig/ibex/frontend/lexer_recovery.rbs
 - sig/ibex/frontend/parser.rbs
 - sig/ibex/frontend/parser/declarations.rbs
+- sig/ibex/frontend/parser/parameters.rbs
 - sig/ibex/frontend/parser/rules.rbs
 - sig/ibex/frontend/regenerator.rbs
+- sig/ibex/frontend/resolution.rbs
+- sig/ibex/frontend/resolver.rbs
+- sig/ibex/frontend/rule_documentation.rbs
 - sig/ibex/frontend/source_cursor.rbs
+- sig/ibex/frontend/source_document.rbs
+- sig/ibex/frontend/source_loader.rbs
+- sig/ibex/frontend/source_span.rbs
 - sig/ibex/frontend/token_adapter.rbs
+- sig/ibex/frontend/token_adapter/declaration_document_state.rbs
+- sig/ibex/frontend/token_adapter/declaration_lexer_state.rbs
 - sig/ibex/frontend/token_adapter/declaration_state.rbs
 - sig/ibex/frontend/token_adapter/delimiter_tracker.rbs
 - sig/ibex/frontend/token_adapter/rule_state.rbs
+- sig/ibex/generation_input.rbs
+- sig/ibex/generation_manifest.rbs
+- sig/ibex/generation_transaction.rbs
+- sig/ibex/generation_transaction_recovery.rbs
+- sig/ibex/generation_transaction_validation.rbs
+- sig/ibex/grammar_tests.rbs
 - sig/ibex/ir.rbs
 - sig/ibex/ir/automaton_ir.rbs
 - sig/ibex/ir/grammar_ir.rbs
+- sig/ibex/ir/lexer_ir.rbs
+- sig/ibex/ir/migration.rbs
 - sig/ibex/ir/serialize.rbs
+- sig/ibex/ir/validator.rbs
+- sig/ibex/ir/validator/automaton.rbs
+- sig/ibex/ir/validator/base.rbs
+- sig/ibex/ir/validator/grammar.rbs
+- sig/ibex/ir/validator/lexer.rbs
 - sig/ibex/lalr.rbs
+- sig/ibex/lalr/build_metrics.rbs
 - sig/ibex/lalr/builder.rbs
 - sig/ibex/lalr/conflict.rbs
 - sig/ibex/lalr/conflict_search.rbs
 - sig/ibex/lalr/conflict_search_limits.rbs
 - sig/ibex/lalr/counterexample.rbs
 - sig/ibex/lalr/default_reductions.rbs
+- sig/ibex/lalr/direct_lookaheads.rbs
+- sig/ibex/lalr/ielr_partition.rbs
+- sig/ibex/lalr/on_error_reductions.rbs
+- sig/ibex/location.rbs
+- sig/ibex/lsp.rbs
+- sig/ibex/lsp/document_handlers.rbs
+- sig/ibex/lsp/document_store.rbs
+- sig/ibex/lsp/document_store_diagnostics.rbs
+- sig/ibex/lsp/document_store_validation.rbs
+- sig/ibex/lsp/initialization_handlers.rbs
+- sig/ibex/lsp/navigation_handlers.rbs
+- sig/ibex/lsp/position_codec.rbs
+- sig/ibex/lsp/protocol_error.rbs
+- sig/ibex/lsp/request_handlers.rbs
+- sig/ibex/lsp/request_support.rbs
+- sig/ibex/lsp/server.rbs
+- sig/ibex/lsp/symbol_index.rbs
+- sig/ibex/lsp/symbol_index_builder.rbs
+- sig/ibex/lsp/symbol_index_precedence_references.rbs
+- sig/ibex/lsp/symbol_index_source_queries.rbs
+- sig/ibex/lsp/symbol_occurrence.rbs
+- sig/ibex/lsp/transport.rbs
+- sig/ibex/lsp/workspace.rbs
+- sig/ibex/lsp/workspace_analyzer.rbs
 - sig/ibex/normalize.rbs
 - sig/ibex/normalize/declarations.rbs
 - sig/ibex/normalize/diagnostics.rbs
 - sig/ibex/normalize/expander.rbs
 - sig/ibex/normalize/expression.rbs
-- sig/ibex/runtime.rbs
-- sig/ibex/runtime/parser.rbs
+- sig/ibex/normalize/inline_expansion.rbs
+- sig/ibex/normalize/inline_validation.rbs
+- sig/ibex/normalize/lexer.rbs
+- sig/ibex/normalize/named_references.rbs
+- sig/ibex/normalize/nodes.rbs
+- sig/ibex/normalize/parameter_ebnf_lowering.rbs
+- sig/ibex/normalize/parameter_lowering.rbs
+- sig/ibex/normalize/parameter_substitution.rbs
+- sig/ibex/normalize/parameter_validation.rbs
+- sig/ibex/normalize/parameters.rbs
+- sig/ibex/normalize/recovery_declarations.rbs
+- sig/ibex/racc_migration.rbs
+- sig/ibex/racc_migration/checker.rbs
+- sig/ibex/racc_migration/harness.rbs
+- sig/ibex/racc_migration/report.rbs
+- sig/ibex/rake_task.rbs
+- sig/ibex/samples.rbs
+- sig/ibex/table_simulation.rbs
+- sig/ibex/table_simulation/result.rbs
+- sig/ibex/table_simulation/simulator.rbs
+- sig/ibex/table_simulation/step.rbs
+- sig/ibex/table_simulation/text.rbs
 - sig/ibex/tables.rbs
 - sig/ibex/version.rbs
+- sig/ibex/watch.rbs
+- sig/ibex/watch/runner.rbs
+- sig/ibex/watch/source_snapshot.rbs
 homepage: https://github.com/ydah/ibex
 licenses:
 - MIT

data/.rubocop.yml

@@ -1,43 +0,0 @@
-AllCops:
-  CacheRootDirectory: tmp/rubocop_cache
-  NewCops: enable
-  TargetRubyVersion: 3.0
-  SuggestExtensions: false
-  Exclude:
-    - "pkg/**/*"
-    - "tmp/**/*"
-    - "vendor/**/*"
-    - "lib/ibex/frontend/generated_parser.rb"
-
-Layout/LineLength:
-  Max: 120
-
-Layout/LeadingCommentSpace:
-  AllowRBSInlineAnnotation: true
-
-Style/StringLiterals:
-  EnforcedStyle: double_quotes
-
-Metrics/AbcSize:
-  Max: 36
-
-Metrics/ClassLength:
-  Max: 200
-
-Metrics/CyclomaticComplexity:
-  Max: 10
-
-Metrics/MethodLength:
-  Max: 30
-
-Metrics/ModuleLength:
-  Max: 150
-
-Metrics/ParameterLists:
-  Max: 12
-
-Metrics/PerceivedComplexity:
-  Max: 10
-
-Style/Documentation:
-  Enabled: false

data/CHANGELOG.md

@@ -1,30 +0,0 @@
-# Changelog
-
-## Unreleased
-
-- Establish the Pure Ruby gem, Minitest, lint, CI, and CLI foundations.
-- Add a table-driven Pure Ruby LR runtime with pull/push APIs, recovery, and tracing.
-- Tokenize grammar files with positions, opaque Ruby actions, comments, and user-code blocks.
-- Parse compatible and extended grammar syntax into a serializable, location-preserving AST.
-- Normalize grammars into immutable, versioned JSON IR with EBNF expansion and diagnostics.
-- Compute nullable, FIRST, and FOLLOW sets with deterministic integer bitsets.
-- Build deterministic LALR(1) automata, resolve and retain conflicts, and render state reports.
-- Generate plain or compact Ruby parsers with embedded runtime and source-line mapping support.
-- Preserve per-block user-code source maps through IR and implement compatible default, all-code, and disabled line conversion.
-- Complete the compatible CLI surface and add optional racc black-box result comparisons.
-- Add extended EBNF/named-reference integration, source-facing EBNF labels in text/DOT/HTML reports, and resumable IR pipelines.
-- Add selectable SLR, LALR(1), and canonical LR(1) construction strategies.
-- Add a Ruby DSL frontend that converges on the existing Grammar AST and IR pipeline.
-- Add unifying conflict counterexamples with complete competing derivation trees and bounded nonunifying fallback.
-- Add generated parser RBS output, shipped runtime signatures, and strict structured grammar diagnostics.
-- Expand generated signatures and Steep checking to every library source, including concrete frontend/IR/LALR/codegen/CLI domain
-  types and the self-hosted parser.
-- Support quoted, interpolated, and multiple Ruby heredocs plus recursively nested grouped EBNF.
-- Define unknown external tokens to invoke `on_error` before yacc-style recovery.
-- Add post-commit shift, reduction, and successful-recovery observation hooks to the runtime.
-- Add complete quickstart, grammar, migration, architecture, and extension documentation with an executable README test.
-- Self-host the grammar frontend from a committed Ibex grammar with deterministic regeneration and bootstrap parity checks.
-- Version generated parser tables and reject missing or unsupported formats before consuming input.
-- Add grammar-local `pragma extended` selection and document the action and named-reference boundary inside EBNF groups.
-- Add fixed-seed pipeline properties, versioned Grammar/Automaton IR fixtures, and a reproducible whole-builder benchmark.
-- Keep the whole-library Steep statistics in the README synchronized and enforce them in CI.

data/Rakefile

@@ -1,25 +0,0 @@
-# frozen_string_literal: true
-
-require "bundler/gem_tasks"
-require "rake/testtask"
-require "rubocop/rake_task"
-
-Rake::TestTask.new(:test) do |task|
-  task.libs << "test"
-  task.pattern = "test/**/*_test.rb"
-  task.warning = true
-end
-
-RuboCop::RakeTask.new(:lint)
-
-namespace :frontend do
-  desc "Regenerate the self-hosted grammar parser"
-  task :generate do
-    require_relative "lib/ibex/frontend/regenerator"
-
-    output = File.expand_path("lib/ibex/frontend/generated_parser.rb", __dir__)
-    File.write(output, Ibex::Frontend::Regenerator.generate)
-  end
-end
-
-task default: %i[test lint]

data/Steepfile

@@ -1,10 +0,0 @@
-# frozen_string_literal: true
-
-target :library do
-  signature "sig"
-  check "lib"
-
-  library "digest"
-  library "json"
-  library "optparse"
-end

data/docs/compat-notes.md

@@ -1,37 +0,0 @@
-# Compatibility notes
-
-Compatibility observations are recorded here without consulting racc implementation sources or generated source text.
-
-## Observed CLI (2026-07-22)
-
-Black-box command: `racc --help`, version 1.8.1.
-
-Observed options are `-o/--output-file`, `-t/--debug`, obsolete `-g`, `-v/--verbose`, `-O/--log-file`,
-`-e/--executable`, `-E/--embedded`, `-F/--frozen`, `--line-convert-all`, `-l/--no-line-convert`,
-`-a/--no-omit-actions`, `--superclass`, `-C/--check-only`, `-S/--output-status`, profiling `-P`, internal `-D`,
-`--version`, `--runtime-version`, `--copyright`, and `--help`.
-
-Ibex accepts that option set. `-P` and `-D` are accepted compatibility no-ops because they expose generator internals rather
-than parser behavior. Frozen string literals are always emitted, so `-F` is also a no-op. Ibex's default output is `<input>.rb`
-rather than racc's observed `<input>.tab.rb`; `-o` is portable between both tools.
-
-## Behavioral probes
-
-Self-authored grammars are compiled independently and the generated files are executed without inspecting them. Current probes
-cover arithmetic precedence, empty rules, string tokens, `convert`, `no_result_var`, inline actions, dangling-else `expect`, and
-a generated 500-production grammar. Precedence-resolved conflicts remain in Automaton IR diagnostics but are not counted in CLI
-warnings or `expect`, matching the observed calculator behavior.
-
-An inline action's own `val[0]` was observed as `nil`; its result occupies one value position visible to the final action. The
-grammar reference confirms that `convert` takes a quoted string containing Ruby source: for example `NUM ':number'` emits the
-symbol expression, while `NUM '"number"'` emits a Ruby string token.
-
-Source-line probes with raises in self-authored `header`, `inner`, and `footer` blocks show three distinct modes. The default maps
-semantic actions and `inner` code to the grammar file but leaves `header` and `footer` on generated-file lines.
-`--line-convert-all` maps all three user-code sections, while `-l` leaves all of them on generated-file lines.
-
-With an explicitly declared but syntactically invalid `BAD` token, error recovery results and `on_error` observations (token
-string, value, and value-stack length) match. An undeclared `:BAD` was observed to enter racc's `error` production without an
-`on_error` callback. Ibex intentionally treats it as an unknown lookahead and calls `on_error` before attempting the same error
-recovery flow. This preserves the unexpected token object and value for logging and application policy instead of silently
-entering recovery.

data/docs/lexer-coverage.md

@@ -1,14 +0,0 @@
-# Lexer coverage
-
-| Construct | Status | Notes |
-|---|---|---|
-| Nested action braces | Supported | Balanced recursively |
-| Single, double, and backtick strings | Supported | Escapes and `#{...}` interpolation are skipped |
-| `%q`, `%Q`, `%w`, `%W`, `%i`, `%I`, `%x`, `%r`, `%s` | Supported | Paired and single-character delimiters |
-| Regular expressions | Supported | Conservative expression-prefix heuristic; character classes and flags supported |
-| `#` comments and `?x` characters | Supported | Ignored for brace balancing |
-| `<<ID`, `<<-ID`, `<<~ID` heredocs | Supported | Terminators obey indentation mode |
-| Single/double/backtick quoted heredocs | Supported | Quoted identifiers may contain any non-quote, non-newline text |
-| Interpolated and multiple heredocs | Supported | Bodies are opaque; multiple openers on one line are consumed in order |
-| Grammar `#` and `/* ... */` comments | Supported | Removed before tokenization |
-| `---- header`, `inner`, `footer` | Supported | Must begin in column one; order and duplicates retained |

data/docs/phase10-extensions.md

@@ -1,27 +0,0 @@
-# Phase 10 extensions
-
-## E3: conflict witnesses
-
-`Ibex::LALR::Counterexample` accepts only Automaton IR. It explores parser-stack configurations, forces each pair of competing
-actions at the requested conflict, and then searches for a common suffix that lets both branches accept the same terminal
-sentence. A successful result contains `unifying: true`, the conflict lookahead position, and both complete derivation trees.
-
-Because unifying-counterexample search is not guaranteed to terminate for every context-free grammar, the search has explicit
-token and configuration budgets. The defaults are 32 tokens and 50,000 explored configurations. Pass `max_tokens:` and
-`max_configurations:` to `Ibex::LALR::Counterexample.new` or `Ibex::Codegen::Report.render` to adjust them through the Ruby API.
-For generated reports, use the positive-integer CLI options `--counterexample-max-tokens=N` and
-`--counterexample-max-configurations=N`; either option also requests a report. The token budget covers each unifying-search
-candidate and any returned unifying counterexample, including a non-EOF conflict lookahead; the EOF marker does not consume a
-token. If no common sentence is found within those budgets, the result is marked `unifying: false` and contains the deterministic
-shortest reachability witness, which may exceed the unifying-search token budget. This distinction prevents a nonunifying
-diagnostic from being presented as proof of ambiguity.
-
-## E7: Ruby DSL
-
-`Ibex::Frontend::DSL.grammar` constructs the existing AST with synthetic locations and joins the normal pipeline at Normalizer.
-Text and DSL inputs therefore share symbol classification, EBNF expansion, validation, algorithms, and outputs.
-
-## E9: construction algorithms
-
-The builder first constructs canonical LR(1). `lr1` retains the states, `lalr` merges equal LR(0) cores, and `slr` applies FOLLOW
-sets to completed items in the LR(0) states. All strategies use the same conflict resolver and Automaton IR.

data/gemfiles/Gemfile

@@ -1,7 +0,0 @@
-# frozen_string_literal: true
-
-source "https://rubygems.org"
-
-gem "rbs", "4.0.3", require: false
-gem "rbs-inline", "0.14.0", require: false
-gem "steep", "2.0.0", require: false