ibex 0.2.0 → 0.3.0

data/sig/ibex/verify.rbs

@@ -0,0 +1,6 @@
+# Generated from lib/ibex/verify.rb with RBS::Inline
+
+module Ibex
+  module Verify
+  end
+end

data/sig/ibex/watch/runner.rbs

@@ -2,6 +2,16 @@
 
 module Ibex
   module Watch
+    interface _BuildResult
+      def source_paths: () -> Array[String]
+
+      def attempted_paths: () -> Array[String]
+    end
+
+    interface _Output
+      def puts: (*Object?) -> Object?
+    end
+
     # Polls source fingerprints, debounces changes, and publishes stable builds.
     class Runner
       DEFAULT_INTERVAL: Float
@@ -9,8 +19,8 @@ module Ibex
       DEFAULT_DEBOUNCE: Float
 
       # rubocop:disable Layout/LineLength
-      # @rbs (paths: Array[String], build: ^() -> untyped, publish: ^(untyped, SourceSnapshot, ^() -> bool) -> void, failure_paths: ^() -> Array[String], stderr: untyped, clock: ^() -> Float, sleeper: ^(Float) -> void, iteration_hook: ^(Symbol, Integer, Array[String]) -> (Integer | Symbol | nil), ?interval: Float, ?debounce: Float) -> void
-      def initialize: (paths: Array[String], build: ^() -> untyped, publish: ^(untyped, SourceSnapshot, ^() -> bool) -> void, failure_paths: ^() -> Array[String], stderr: untyped, clock: ^() -> Float, sleeper: ^(Float) -> void, iteration_hook: ^(Symbol, Integer, Array[String]) -> (Integer | Symbol | nil), ?interval: Float, ?debounce: Float) -> void
+      # @rbs (paths: Array[String], build: ^() -> _BuildResult, publish: ^(_BuildResult, SourceSnapshot, ^() -> bool) -> void, failure_paths: ^() -> Array[String], stderr: _Output, clock: ^() -> Float, sleeper: ^(Float) -> void, iteration_hook: ^(Symbol, Integer, Array[String]) -> (Integer | Symbol | nil), ?interval: Float, ?debounce: Float) -> void
+      def initialize: (paths: Array[String], build: ^() -> _BuildResult, publish: ^(_BuildResult, SourceSnapshot, ^() -> bool) -> void, failure_paths: ^() -> Array[String], stderr: _Output, clock: ^() -> Float, sleeper: ^(Float) -> void, iteration_hook: ^(Symbol, Integer, Array[String]) -> (Integer | Symbol | nil), ?interval: Float, ?debounce: Float) -> void
 
       # @rbs () -> Integer
       def run: () -> Integer

data/sig/ibex/watch/source_snapshot.rbs

@@ -4,6 +4,10 @@ module Ibex
   module Watch
     # Stable metadata and content fingerprints for watched source paths.
     class SourceSnapshot
+      type fingerprint_value = Symbol | String | Integer | nil | Hash[Symbol, fingerprint_value]
+
+      type fingerprint = Hash[Symbol, fingerprint_value]
+
       attr_reader paths: Array[String]
 
       # @rbs (Array[String] paths) -> void
@@ -16,18 +20,18 @@ module Ibex
       # @rbs (SourceSnapshot older) -> bool
       def unchanged_since?: (SourceSnapshot older) -> bool
 
-      attr_reader entries: Hash[String, Hash[Symbol, untyped]]
+      attr_reader entries: Hash[String, fingerprint]
 
-      # @rbs (String path) -> Hash[Symbol, untyped]?
-      def entry: (String path) -> Hash[Symbol, untyped]?
+      # @rbs (String path) -> fingerprint?
+      def entry: (String path) -> fingerprint?
 
       private
 
-      # @rbs (String path) -> Hash[Symbol, untyped]
-      def fingerprint: (String path) -> Hash[Symbol, untyped]
+      # @rbs (String path) -> fingerprint
+      def fingerprint: (String path) -> fingerprint
 
-      # @rbs (File::Stat stat) -> Hash[Symbol, untyped]
-      def stat_signature: (File::Stat stat) -> Hash[Symbol, untyped]
+      # @rbs (File::Stat stat) -> fingerprint
+      def stat_signature: (File::Stat stat) -> fingerprint
 
       # @rbs (File::Stat stat) -> Symbol
       def file_kind: (File::Stat stat) -> Symbol
@@ -35,8 +39,8 @@ module Ibex
       # @rbs (Time time) -> Integer
       def nanoseconds: (Time time) -> Integer
 
-      # @rbs (Hash[Symbol, untyped] value, String path) -> void
-      def add_resolved_target: (Hash[Symbol, untyped] value, String path) -> void
+      # @rbs (fingerprint value, String path) -> void
+      def add_resolved_target: (fingerprint value, String path) -> void
     end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: ibex
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.3.0
 platform: ruby
 authors:
 - Yudai Takada
@@ -15,14 +15,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.2.0
+        version: 0.3.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.2.0
+        version: 0.3.0
 description: Ibex generates LR parsers from racc-compatible grammars without native
   extensions.
 email:
@@ -35,16 +35,76 @@ files:
 - LICENSE.txt
 - README.md
 - docs/architecture.md
+- docs/bison-import.md
+- docs/comparison-policy.md
+- docs/configuration-model.md
+- docs/configuration-report.md
+- docs/conflict-explanation-reviews/v1/records/README.md
+- docs/conflict-explanation-study.md
+- docs/construction-profiling.md
 - docs/cst-migration.md
 - docs/cst.md
+- docs/decisions/0000-template.md
+- docs/decisions/0001-separate-ir-pipeline.md
+- docs/decisions/0002-opaque-user-code-boundary.md
+- docs/decisions/0003-self-hosted-grammar-frontend.md
+- docs/decisions/0004-shared-semantic-and-lossless-source-model.md
+- docs/decisions/0005-contained-grammar-composition.md
+- docs/decisions/0006-bounded-structural-grammar-lowering.md
+- docs/decisions/0007-shared-parser-construction-pipeline.md
+- docs/decisions/0008-versioned-runtime-package-boundary.md
+- docs/decisions/0009-isolated-parser-sessions.md
+- docs/decisions/0010-committed-runtime-observation.md
+- docs/decisions/0011-versioned-semantic-action-boundary.md
+- docs/decisions/0012-bounded-nonexecuting-analysis.md
+- docs/decisions/0013-transactional-generation-publication.md
+- docs/decisions/0014-versioned-generated-lexer.md
+- docs/decisions/0015-worker-isolated-browser-analysis.md
+- docs/decisions/0016-red-green-concrete-syntax.md
+- docs/decisions/0017-persistent-syntax-artifacts.md
+- docs/decisions/0018-conservative-incremental-syntax-reuse.md
+- docs/decisions/0019-runtime-syntax-session-boundary.md
+- docs/decisions/0020-grammar-ir-parser-contract.md
+- docs/decisions/0021-data-only-parser-table-sidecar.md
+- docs/decisions/0022-manifest-bound-verification-report.md
+- docs/decisions/0023-syntax-only-repair-results.md
+- docs/decisions/0024-direct-ielr-construction.md
+- docs/decisions/README.md
+- docs/declarative-configuration.md
 - docs/development.md
+- docs/direct-ielr-decision.md
+- docs/direct-multi-entry-decision.md
 - docs/editor-setup.md
+- docs/error-ux-review-rubric-v1.md
+- docs/error-ux-reviews/v1/records/README.md
+- docs/error-ux-round2-review-status-v1.json
+- docs/error-ux-round2-reviews/v1/records/README.md
+- docs/error-ux-round2-v1.json
+- docs/error-ux-round2.md
 - docs/error-ux.md
+- docs/getting-started.md
 - docs/grammar-reference.md
+- docs/ielr-design.md
+- docs/ielr.md
+- docs/ja/bison-import.md
+- docs/ja/stable-api.md
+- docs/lexer-construction-profile.md
 - docs/lexer-migration.md
+- docs/maturity.md
+- docs/project-site-strategy.md
+- docs/racc-migration-evidence.md
 - docs/racc-migration.md
 - docs/release-readiness.md
+- docs/repair-semantics.md
+- docs/runtime-abi-evolution.md
 - docs/stability.md
+- docs/status.md
+- docs/syntax-sessions.md
+- docs/table-artifact.md
+- docs/test-interactions.md
+- docs/verification-report.md
+- docs/verifier-trust-boundary.md
+- docs/workloads.md
 - examples/README.md
 - examples/calculator.y
 - examples/csv.y
@@ -54,18 +114,30 @@ files:
 - exe/ibex
 - lib/ibex.rb
 - lib/ibex/analysis.rb
+- lib/ibex/analysis/digraph.rb
 - lib/ibex/analysis/sets.rb
 - lib/ibex/artifact_set.rb
+- lib/ibex/bison_import.rb
+- lib/ibex/bison_import/importer.rb
+- lib/ibex/bison_import/tokenizer.rb
+- lib/ibex/bounded_subprocess.rb
 - lib/ibex/cli.rb
 - lib/ibex/cli/ambiguity.rb
+- lib/ibex/cli/analysis.rb
+- lib/ibex/cli/bison_import.rb
+- lib/ibex/cli/config.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/equiv.rb
 - lib/ibex/cli/error_messages.rb
 - lib/ibex/cli/explain.rb
+- lib/ibex/cli/fix.rb
 - lib/ibex/cli/formatting.rb
+- lib/ibex/cli/fuzz.rb
+- lib/ibex/cli/fuzz_regressions.rb
 - lib/ibex/cli/generation_artifacts.rb
 - lib/ibex/cli/generation_error_messages.rb
 - lib/ibex/cli/grammar_tests.rb
@@ -73,7 +145,10 @@ files:
 - lib/ibex/cli/lsp.rb
 - lib/ibex/cli/outputs.rb
 - lib/ibex/cli/racc_migration.rb
+- lib/ibex/cli/reduce.rb
+- lib/ibex/cli/reduce_reporting.rb
 - lib/ibex/cli/samples.rb
+- lib/ibex/cli/verify.rb
 - lib/ibex/cli/watch.rb
 - lib/ibex/codegen/action_locations.rb
 - lib/ibex/codegen/action_method_source.rb
@@ -99,11 +174,19 @@ files:
 - lib/ibex/codegen/ruby_table_metadata.rb
 - lib/ibex/codegen/ruby_value_printers.rb
 - lib/ibex/codegen/symbol_labels.rb
+- lib/ibex/configuration.rb
+- lib/ibex/configuration/analysis_grammar.rb
+- lib/ibex/configuration/explanation.rb
+- lib/ibex/configuration/inspector.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/delta_reducer.rb
+- lib/ibex/diff.rb
+- lib/ibex/equiv.rb
+- lib/ibex/equiv/machine.rb
 - lib/ibex/error.rb
 - lib/ibex/error_messages.rb
 - lib/ibex/error_messages/parser.rb
@@ -111,6 +194,7 @@ files:
 - lib/ibex/error_messages/renderer.rb
 - lib/ibex/error_messages/sentence_search.rb
 - lib/ibex/error_messages/update.rb
+- lib/ibex/fix.rb
 - lib/ibex/frontend.rb
 - lib/ibex/frontend/action_scanner.rb
 - lib/ibex/frontend/ast.rb
@@ -131,6 +215,7 @@ files:
 - lib/ibex/frontend/parser/declarations.rb
 - lib/ibex/frontend/parser/parameters.rb
 - lib/ibex/frontend/parser/rules.rb
+- lib/ibex/frontend/parser_configuration_support.rb
 - lib/ibex/frontend/regenerator.rb
 - lib/ibex/frontend/resolution.rb
 - lib/ibex/frontend/resolver.rb
@@ -145,6 +230,7 @@ files:
 - 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/fuzz.rb
 - lib/ibex/generation_input.rb
 - lib/ibex/generation_manifest.rb
 - lib/ibex/generation_transaction.rb
@@ -155,7 +241,7 @@ files:
 - 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/parser_contract.rb
 - lib/ibex/ir/serialize.rb
 - lib/ibex/ir/validator.rb
 - lib/ibex/ir/validator/automaton.rb
@@ -171,8 +257,21 @@ files:
 - lib/ibex/lalr/counterexample.rb
 - lib/ibex/lalr/default_reductions.rb
 - lib/ibex/lalr/direct_lookaheads.rb
+- lib/ibex/lalr/goto_follows.rb
+- lib/ibex/lalr/ielr/annotator.rb
+- lib/ibex/lalr/ielr/bits.rb
+- lib/ibex/lalr/ielr/inadequacy.rb
+- lib/ibex/lalr/ielr/item_lookaheads.rb
+- lib/ibex/lalr/ielr/pipeline.rb
+- lib/ibex/lalr/ielr/split_stability.rb
+- lib/ibex/lalr/ielr/split_state.rb
+- lib/ibex/lalr/ielr/state_splitter.rb
 - lib/ibex/lalr/ielr_partition.rb
+- lib/ibex/lalr/inadequacy_report.rb
+- lib/ibex/lalr/lookahead_propagation.rb
+- lib/ibex/lalr/lr0_collection.rb
 - lib/ibex/lalr/on_error_reductions.rb
+- lib/ibex/lalr/unreachable_states.rb
 - lib/ibex/location.rb
 - lib/ibex/lsp.rb
 - lib/ibex/lsp/document_handlers.rb
@@ -181,6 +280,7 @@ files:
 - lib/ibex/lsp/document_store_validation.rb
 - lib/ibex/lsp/initialization_handlers.rb
 - lib/ibex/lsp/navigation_handlers.rb
+- lib/ibex/lsp/parser_configuration_assistance.rb
 - lib/ibex/lsp/position_codec.rb
 - lib/ibex/lsp/protocol_error.rb
 - lib/ibex/lsp/request_handlers.rb
@@ -194,11 +294,16 @@ files:
 - lib/ibex/lsp/transport.rb
 - lib/ibex/lsp/workspace.rb
 - lib/ibex/lsp/workspace_analyzer.rb
+- lib/ibex/messages.rb
+- lib/ibex/messages/en.yml
+- lib/ibex/messages/ja.yml
+- lib/ibex/metrics.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/normalize/grammar_builder.rb
 - lib/ibex/normalize/inline_expansion.rb
 - lib/ibex/normalize/inline_validation.rb
 - lib/ibex/normalize/lexer.rb
@@ -209,6 +314,7 @@ files:
 - lib/ibex/normalize/parameter_substitution.rb
 - lib/ibex/normalize/parameter_validation.rb
 - lib/ibex/normalize/parameters.rb
+- lib/ibex/normalize/parser_configuration.rb
 - lib/ibex/normalize/recovery_declarations.rb
 - lib/ibex/racc_migration.rb
 - lib/ibex/racc_migration/checker.rb
@@ -216,49 +322,107 @@ files:
 - lib/ibex/racc_migration/report.rb
 - lib/ibex/rake_task.rb
 - lib/ibex/samples.rb
+- lib/ibex/table_artifact.rb
+- lib/ibex/table_artifact/builder.rb
+- lib/ibex/table_artifact/cst_projection.rb
+- lib/ibex/table_artifact/document.rb
+- lib/ibex/table_artifact/executor.rb
+- lib/ibex/table_artifact/serializer.rb
+- lib/ibex/table_artifact/validator.rb
+- lib/ibex/table_artifact/validator/metadata.rb
+- lib/ibex/table_artifact/validator/support.rb
+- lib/ibex/table_artifact/validator/tables.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/verifiable_generation_bundle.rb
+- lib/ibex/verification_report.rb
+- lib/ibex/verification_report/builder.rb
+- lib/ibex/verification_report/canonical_ir.rb
+- lib/ibex/verification_report/logical_path.rb
+- lib/ibex/verification_report/validator.rb
+- lib/ibex/verify.rb
+- lib/ibex/verify/action_correspondence.rb
+- lib/ibex/verify/language_witness.rb
+- lib/ibex/verify/reference_collection.rb
+- lib/ibex/verify/result.rb
+- lib/ibex/verify/verifier.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/automaton-ir-definitions.schema.json
+- schema/automaton-ir.schema.json
 - schema/benchmark-v1.schema.json
 - schema/benchmark-v2.schema.json
+- schema/bison-import-v1.schema.json
+- schema/conflict-explanation-review-v1.schema.json
+- schema/conflict-explanation-study-v1.schema.json
+- schema/construction-profile-v1.schema.json
 - schema/cst-v1.json
+- schema/diff-v1.schema.json
+- schema/direct-ielr-decision-v1.schema.json
+- schema/equiv-v1.schema.json
+- schema/error-ux-review-v1.schema.json
+- schema/error-ux-round2-review-v1.schema.json
+- schema/error-ux-round2-v1.schema.json
 - schema/error-ux-v1.schema.json
 - schema/explain-v1.schema.json
+- schema/fix-v1.schema.json
+- schema/fix-v2.schema.json
+- schema/fix-v3.schema.json
 - schema/frontend-diagnostics-v1.schema.json
+- schema/fuzz-regression-v1.schema.json
+- schema/fuzz-v1.schema.json
 - schema/generation-manifest-v1.schema.json
-- schema/grammar-ir-v1.schema.json
-- schema/grammar-ir-v2.schema.json
+- schema/grammar-ir-extensions.schema.json
+- schema/grammar-ir-foundation.schema.json
+- schema/grammar-ir.schema.json
+- schema/ielr-benchmark-v1.schema.json
 - schema/lexer-ir-v1.schema.json
+- schema/lexer-profile-v1.schema.json
+- schema/metrics-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/reduce-v1.schema.json
+- schema/reduce-v2.schema.json
 - schema/runtime-coverage-v1.schema.json
 - schema/runtime-event-v1.schema.json
+- schema/table-artifact-v1.schema.json
 - schema/table-simulation-v1.schema.json
+- schema/verification-report-v1.schema.json
+- schema/verify-v1.schema.json
 - sig/ibex.rbs
 - sig/ibex/analysis.rbs
+- sig/ibex/analysis/digraph.rbs
 - sig/ibex/analysis/sets.rbs
 - sig/ibex/artifact_set.rbs
+- sig/ibex/bison_import.rbs
+- sig/ibex/bison_import/importer.rbs
+- sig/ibex/bison_import/tokenizer.rbs
+- sig/ibex/bounded_subprocess.rbs
 - sig/ibex/cli.rbs
 - sig/ibex/cli/ambiguity.rbs
+- sig/ibex/cli/analysis.rbs
+- sig/ibex/cli/bison_import.rbs
+- sig/ibex/cli/config.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/equiv.rbs
 - sig/ibex/cli/error_messages.rbs
 - sig/ibex/cli/explain.rbs
+- sig/ibex/cli/fix.rbs
 - sig/ibex/cli/formatting.rbs
+- sig/ibex/cli/fuzz.rbs
+- sig/ibex/cli/fuzz_regressions.rbs
 - sig/ibex/cli/generation_artifacts.rbs
 - sig/ibex/cli/generation_error_messages.rbs
 - sig/ibex/cli/grammar_tests.rbs
@@ -266,7 +430,10 @@ files:
 - sig/ibex/cli/lsp.rbs
 - sig/ibex/cli/outputs.rbs
 - sig/ibex/cli/racc_migration.rbs
+- sig/ibex/cli/reduce.rbs
+- sig/ibex/cli/reduce_reporting.rbs
 - sig/ibex/cli/samples.rbs
+- sig/ibex/cli/verify.rbs
 - sig/ibex/cli/watch.rbs
 - sig/ibex/codegen/action_locations.rbs
 - sig/ibex/codegen/action_method_source.rbs
@@ -292,11 +459,19 @@ files:
 - sig/ibex/codegen/ruby_table_metadata.rbs
 - sig/ibex/codegen/ruby_value_printers.rbs
 - sig/ibex/codegen/symbol_labels.rbs
+- sig/ibex/configuration.rbs
+- sig/ibex/configuration/analysis_grammar.rbs
+- sig/ibex/configuration/explanation.rbs
+- sig/ibex/configuration/inspector.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/delta_reducer.rbs
+- sig/ibex/diff.rbs
+- sig/ibex/equiv.rbs
+- sig/ibex/equiv/machine.rbs
 - sig/ibex/error.rbs
 - sig/ibex/error_messages.rbs
 - sig/ibex/error_messages/parser.rbs
@@ -304,6 +479,7 @@ files:
 - sig/ibex/error_messages/renderer.rbs
 - sig/ibex/error_messages/sentence_search.rbs
 - sig/ibex/error_messages/update.rbs
+- sig/ibex/fix.rbs
 - sig/ibex/frontend.rbs
 - sig/ibex/frontend/action_scanner.rbs
 - sig/ibex/frontend/ast.rbs
@@ -324,6 +500,7 @@ files:
 - sig/ibex/frontend/parser/declarations.rbs
 - sig/ibex/frontend/parser/parameters.rbs
 - sig/ibex/frontend/parser/rules.rbs
+- sig/ibex/frontend/parser_configuration_support.rbs
 - sig/ibex/frontend/regenerator.rbs
 - sig/ibex/frontend/resolution.rbs
 - sig/ibex/frontend/resolver.rbs
@@ -338,6 +515,7 @@ files:
 - 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/fuzz.rbs
 - sig/ibex/generation_input.rbs
 - sig/ibex/generation_manifest.rbs
 - sig/ibex/generation_transaction.rbs
@@ -348,7 +526,7 @@ files:
 - 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/parser_contract.rbs
 - sig/ibex/ir/serialize.rbs
 - sig/ibex/ir/validator.rbs
 - sig/ibex/ir/validator/automaton.rbs
@@ -364,8 +542,21 @@ files:
 - sig/ibex/lalr/counterexample.rbs
 - sig/ibex/lalr/default_reductions.rbs
 - sig/ibex/lalr/direct_lookaheads.rbs
+- sig/ibex/lalr/goto_follows.rbs
+- sig/ibex/lalr/ielr/annotator.rbs
+- sig/ibex/lalr/ielr/bits.rbs
+- sig/ibex/lalr/ielr/inadequacy.rbs
+- sig/ibex/lalr/ielr/item_lookaheads.rbs
+- sig/ibex/lalr/ielr/pipeline.rbs
+- sig/ibex/lalr/ielr/split_stability.rbs
+- sig/ibex/lalr/ielr/split_state.rbs
+- sig/ibex/lalr/ielr/state_splitter.rbs
 - sig/ibex/lalr/ielr_partition.rbs
+- sig/ibex/lalr/inadequacy_report.rbs
+- sig/ibex/lalr/lookahead_propagation.rbs
+- sig/ibex/lalr/lr0_collection.rbs
 - sig/ibex/lalr/on_error_reductions.rbs
+- sig/ibex/lalr/unreachable_states.rbs
 - sig/ibex/location.rbs
 - sig/ibex/lsp.rbs
 - sig/ibex/lsp/document_handlers.rbs
@@ -374,6 +565,7 @@ files:
 - sig/ibex/lsp/document_store_validation.rbs
 - sig/ibex/lsp/initialization_handlers.rbs
 - sig/ibex/lsp/navigation_handlers.rbs
+- sig/ibex/lsp/parser_configuration_assistance.rbs
 - sig/ibex/lsp/position_codec.rbs
 - sig/ibex/lsp/protocol_error.rbs
 - sig/ibex/lsp/request_handlers.rbs
@@ -387,11 +579,14 @@ files:
 - sig/ibex/lsp/transport.rbs
 - sig/ibex/lsp/workspace.rbs
 - sig/ibex/lsp/workspace_analyzer.rbs
+- sig/ibex/messages.rbs
+- sig/ibex/metrics.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/normalize/grammar_builder.rbs
 - sig/ibex/normalize/inline_expansion.rbs
 - sig/ibex/normalize/inline_validation.rbs
 - sig/ibex/normalize/lexer.rbs
@@ -402,6 +597,7 @@ files:
 - sig/ibex/normalize/parameter_substitution.rbs
 - sig/ibex/normalize/parameter_validation.rbs
 - sig/ibex/normalize/parameters.rbs
+- sig/ibex/normalize/parser_configuration.rbs
 - sig/ibex/normalize/recovery_declarations.rbs
 - sig/ibex/racc_migration.rbs
 - sig/ibex/racc_migration/checker.rbs
@@ -409,22 +605,46 @@ files:
 - sig/ibex/racc_migration/report.rbs
 - sig/ibex/rake_task.rbs
 - sig/ibex/samples.rbs
+- sig/ibex/table_artifact.rbs
+- sig/ibex/table_artifact/builder.rbs
+- sig/ibex/table_artifact/cst_projection.rbs
+- sig/ibex/table_artifact/document.rbs
+- sig/ibex/table_artifact/executor.rbs
+- sig/ibex/table_artifact/serializer.rbs
+- sig/ibex/table_artifact/validator.rbs
+- sig/ibex/table_artifact/validator/metadata.rbs
+- sig/ibex/table_artifact/validator/support.rbs
+- sig/ibex/table_artifact/validator/tables.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/verifiable_generation_bundle.rbs
+- sig/ibex/verification_report.rbs
+- sig/ibex/verification_report/builder.rbs
+- sig/ibex/verification_report/canonical_ir.rbs
+- sig/ibex/verification_report/logical_path.rbs
+- sig/ibex/verification_report/validator.rbs
+- sig/ibex/verify.rbs
+- sig/ibex/verify/action_correspondence.rbs
+- sig/ibex/verify/language_witness.rbs
+- sig/ibex/verify/reference_collection.rbs
+- sig/ibex/verify/result.rbs
+- sig/ibex/verify/verifier.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
+homepage: https://ydah.github.io/ibex/
 licenses:
 - MIT
 metadata:
-  homepage_uri: https://github.com/ydah/ibex
-  source_code_uri: https://github.com/ydah/ibex/tree/main
+  homepage_uri: https://ydah.github.io/ibex/
+  source_code_uri: https://github.com/ydah/ibex
+  documentation_uri: https://ydah.github.io/ibex/api/
+  bug_tracker_uri: https://github.com/ydah/ibex/issues
   rubygems_mfa_required: 'true'
 rdoc_options: []
 require_paths: