ibex 0.2.0 → 0.3.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (437) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +95 -272
  3. data/docs/architecture.md +187 -35
  4. data/docs/bison-import.md +103 -0
  5. data/docs/comparison-policy.md +127 -0
  6. data/docs/configuration-model.md +59 -0
  7. data/docs/configuration-report.md +28 -0
  8. data/docs/conflict-explanation-reviews/v1/records/README.md +28 -0
  9. data/docs/conflict-explanation-study.md +62 -0
  10. data/docs/construction-profiling.md +157 -0
  11. data/docs/cst-migration.md +3 -4
  12. data/docs/cst.md +24 -0
  13. data/docs/decisions/0000-template.md +24 -0
  14. data/docs/decisions/0001-separate-ir-pipeline.md +34 -0
  15. data/docs/decisions/0002-opaque-user-code-boundary.md +32 -0
  16. data/docs/decisions/0003-self-hosted-grammar-frontend.md +32 -0
  17. data/docs/decisions/0004-shared-semantic-and-lossless-source-model.md +33 -0
  18. data/docs/decisions/0005-contained-grammar-composition.md +34 -0
  19. data/docs/decisions/0006-bounded-structural-grammar-lowering.md +32 -0
  20. data/docs/decisions/0007-shared-parser-construction-pipeline.md +33 -0
  21. data/docs/decisions/0008-versioned-runtime-package-boundary.md +36 -0
  22. data/docs/decisions/0009-isolated-parser-sessions.md +34 -0
  23. data/docs/decisions/0010-committed-runtime-observation.md +34 -0
  24. data/docs/decisions/0011-versioned-semantic-action-boundary.md +37 -0
  25. data/docs/decisions/0012-bounded-nonexecuting-analysis.md +37 -0
  26. data/docs/decisions/0013-transactional-generation-publication.md +37 -0
  27. data/docs/decisions/0014-versioned-generated-lexer.md +35 -0
  28. data/docs/decisions/0015-worker-isolated-browser-analysis.md +32 -0
  29. data/docs/decisions/0016-red-green-concrete-syntax.md +34 -0
  30. data/docs/decisions/0017-persistent-syntax-artifacts.md +35 -0
  31. data/docs/decisions/0018-conservative-incremental-syntax-reuse.md +38 -0
  32. data/docs/decisions/0019-runtime-syntax-session-boundary.md +51 -0
  33. data/docs/decisions/0020-grammar-ir-parser-contract.md +65 -0
  34. data/docs/decisions/0021-data-only-parser-table-sidecar.md +50 -0
  35. data/docs/decisions/0022-manifest-bound-verification-report.md +77 -0
  36. data/docs/decisions/0023-syntax-only-repair-results.md +48 -0
  37. data/docs/decisions/0024-direct-ielr-construction.md +42 -0
  38. data/docs/decisions/README.md +74 -0
  39. data/docs/declarative-configuration.md +262 -0
  40. data/docs/development.md +179 -2
  41. data/docs/direct-ielr-decision.md +120 -0
  42. data/docs/direct-multi-entry-decision.md +82 -0
  43. data/docs/editor-setup.md +2 -1
  44. data/docs/error-ux-review-rubric-v1.md +117 -0
  45. data/docs/error-ux-reviews/v1/records/README.md +22 -0
  46. data/docs/error-ux-round2-review-status-v1.json +27 -0
  47. data/docs/error-ux-round2-reviews/v1/records/README.md +30 -0
  48. data/docs/error-ux-round2-v1.json +1581 -0
  49. data/docs/error-ux-round2.md +111 -0
  50. data/docs/error-ux.md +54 -0
  51. data/docs/getting-started.md +80 -0
  52. data/docs/grammar-reference.md +184 -13
  53. data/docs/ielr-design.md +43 -0
  54. data/docs/ielr.md +92 -0
  55. data/docs/ja/bison-import.md +51 -0
  56. data/docs/ja/stable-api.md +53 -0
  57. data/docs/lexer-construction-profile.md +109 -0
  58. data/docs/lexer-migration.md +5 -0
  59. data/docs/maturity.md +128 -0
  60. data/docs/project-site-strategy.md +54 -0
  61. data/docs/racc-migration-evidence.md +45 -0
  62. data/docs/racc-migration.md +11 -0
  63. data/docs/release-readiness.md +126 -68
  64. data/docs/repair-semantics.md +123 -0
  65. data/docs/runtime-abi-evolution.md +307 -0
  66. data/docs/stability.md +144 -34
  67. data/docs/status.md +43 -0
  68. data/docs/syntax-sessions.md +183 -0
  69. data/docs/table-artifact.md +125 -0
  70. data/docs/test-interactions.md +219 -0
  71. data/docs/verification-report.md +137 -0
  72. data/docs/verifier-trust-boundary.md +199 -0
  73. data/docs/workloads.md +132 -0
  74. data/lib/ibex/analysis/digraph.rb +128 -0
  75. data/lib/ibex/analysis.rb +1 -0
  76. data/lib/ibex/bison_import/importer.rb +516 -0
  77. data/lib/ibex/bison_import/tokenizer.rb +260 -0
  78. data/lib/ibex/bison_import.rb +200 -0
  79. data/lib/ibex/bounded_subprocess.rb +171 -0
  80. data/lib/ibex/cli/ambiguity.rb +14 -5
  81. data/lib/ibex/cli/analysis.rb +134 -0
  82. data/lib/ibex/cli/bison_import.rb +121 -0
  83. data/lib/ibex/cli/config.rb +128 -0
  84. data/lib/ibex/cli/diagnostics.rb +31 -11
  85. data/lib/ibex/cli/documentation.rb +11 -8
  86. data/lib/ibex/cli/equiv.rb +169 -0
  87. data/lib/ibex/cli/error_messages.rb +11 -4
  88. data/lib/ibex/cli/explain.rb +14 -5
  89. data/lib/ibex/cli/fix.rb +203 -0
  90. data/lib/ibex/cli/formatting.rb +11 -10
  91. data/lib/ibex/cli/fuzz.rb +200 -0
  92. data/lib/ibex/cli/fuzz_regressions.rb +145 -0
  93. data/lib/ibex/cli/generation_artifacts.rb +53 -2
  94. data/lib/ibex/cli/generation_error_messages.rb +1 -1
  95. data/lib/ibex/cli/grammar_tests.rb +32 -14
  96. data/lib/ibex/cli/ir_tools.rb +5 -61
  97. data/lib/ibex/cli/outputs.rb +60 -33
  98. data/lib/ibex/cli/reduce.rb +202 -0
  99. data/lib/ibex/cli/reduce_reporting.rb +71 -0
  100. data/lib/ibex/cli/samples.rb +49 -23
  101. data/lib/ibex/cli/verify.rb +116 -0
  102. data/lib/ibex/cli/watch.rb +6 -5
  103. data/lib/ibex/cli.rb +357 -56
  104. data/lib/ibex/codegen/action_locations.rb +1 -1
  105. data/lib/ibex/codegen/action_method_source.rb +5 -6
  106. data/lib/ibex/codegen/action_source.rb +3 -2
  107. data/lib/ibex/codegen/ambiguity.rb +5 -4
  108. data/lib/ibex/codegen/explain.rb +123 -55
  109. data/lib/ibex/codegen/generated_action_abi.rb +10 -5
  110. data/lib/ibex/codegen/rbs.rb +15 -7
  111. data/lib/ibex/codegen/report.rb +25 -13
  112. data/lib/ibex/codegen/ruby.rb +28 -64
  113. data/lib/ibex/codegen/ruby_actions.rb +9 -6
  114. data/lib/ibex/codegen/ruby_syntax.rb +15 -9
  115. data/lib/ibex/configuration/analysis_grammar.rb +35 -0
  116. data/lib/ibex/configuration/explanation.rb +421 -0
  117. data/lib/ibex/configuration/inspector.rb +232 -0
  118. data/lib/ibex/configuration.rb +580 -0
  119. data/lib/ibex/coverage/collector.rb +21 -11
  120. data/lib/ibex/coverage/event_stream.rb +13 -7
  121. data/lib/ibex/coverage/report.rb +26 -18
  122. data/lib/ibex/coverage/runtime_event_validator.rb +30 -21
  123. data/lib/ibex/delta_reducer.rb +99 -0
  124. data/lib/ibex/diff.rb +140 -0
  125. data/lib/ibex/equiv/machine.rb +135 -0
  126. data/lib/ibex/equiv.rb +373 -0
  127. data/lib/ibex/fix.rb +557 -0
  128. data/lib/ibex/frontend/ast.rb +22 -2
  129. data/lib/ibex/frontend/bootstrap_parser.rb +6 -13
  130. data/lib/ibex/frontend/diagnostic.rb +1 -1
  131. data/lib/ibex/frontend/formatter.rb +72 -26
  132. data/lib/ibex/frontend/generated_parser.rb +147 -117
  133. data/lib/ibex/frontend/generated_parser_base.rb +7 -3
  134. data/lib/ibex/frontend/generated_parser_includes.rb +1 -11
  135. data/lib/ibex/frontend/generation.rb +1 -1
  136. data/lib/ibex/frontend/parser/declarations.rb +17 -2
  137. data/lib/ibex/frontend/parser_configuration_support.rb +56 -0
  138. data/lib/ibex/frontend/regenerator.rb +1 -0
  139. data/lib/ibex/frontend/resolution.rb +2 -1
  140. data/lib/ibex/frontend/resolver.rb +1 -1
  141. data/lib/ibex/frontend/rule_documentation.rb +2 -1
  142. data/lib/ibex/frontend/source_cursor.rb +2 -2
  143. data/lib/ibex/frontend/source_span.rb +9 -1
  144. data/lib/ibex/frontend/token_adapter/declaration_state.rb +38 -6
  145. data/lib/ibex/frontend/token_adapter.rb +10 -0
  146. data/lib/ibex/frontend.rb +1 -0
  147. data/lib/ibex/fuzz.rb +219 -0
  148. data/lib/ibex/generation_input.rb +1 -1
  149. data/lib/ibex/generation_manifest.rb +36 -25
  150. data/lib/ibex/generation_transaction.rb +1 -1
  151. data/lib/ibex/generation_transaction_recovery.rb +4 -4
  152. data/lib/ibex/generation_transaction_validation.rb +2 -2
  153. data/lib/ibex/grammar_tests.rb +1 -1
  154. data/lib/ibex/ir/automaton_ir.rb +61 -19
  155. data/lib/ibex/ir/grammar_ir.rb +76 -45
  156. data/lib/ibex/ir/lexer_ir.rb +5 -5
  157. data/lib/ibex/ir/parser_contract.rb +135 -0
  158. data/lib/ibex/ir/serialize.rb +203 -76
  159. data/lib/ibex/ir/validator/automaton.rb +64 -34
  160. data/lib/ibex/ir/validator/base.rb +51 -33
  161. data/lib/ibex/ir/validator/grammar.rb +113 -83
  162. data/lib/ibex/ir/validator/lexer.rb +2 -2
  163. data/lib/ibex/ir/validator.rb +2 -1
  164. data/lib/ibex/ir.rb +16 -3
  165. data/lib/ibex/lalr/build_metrics.rb +50 -2
  166. data/lib/ibex/lalr/builder.rb +191 -56
  167. data/lib/ibex/lalr/conflict_search.rb +15 -4
  168. data/lib/ibex/lalr/counterexample.rb +19 -14
  169. data/lib/ibex/lalr/direct_lookaheads.rb +110 -57
  170. data/lib/ibex/lalr/goto_follows.rb +229 -0
  171. data/lib/ibex/lalr/ielr/annotator.rb +214 -0
  172. data/lib/ibex/lalr/ielr/bits.rb +28 -0
  173. data/lib/ibex/lalr/ielr/inadequacy.rb +47 -0
  174. data/lib/ibex/lalr/ielr/item_lookaheads.rb +78 -0
  175. data/lib/ibex/lalr/ielr/pipeline.rb +75 -0
  176. data/lib/ibex/lalr/ielr/split_stability.rb +78 -0
  177. data/lib/ibex/lalr/ielr/split_state.rb +20 -0
  178. data/lib/ibex/lalr/ielr/state_splitter.rb +258 -0
  179. data/lib/ibex/lalr/ielr_partition.rb +22 -8
  180. data/lib/ibex/lalr/inadequacy_report.rb +50 -0
  181. data/lib/ibex/lalr/lookahead_propagation.rb +111 -0
  182. data/lib/ibex/lalr/lr0_collection.rb +121 -0
  183. data/lib/ibex/lalr/unreachable_states.rb +80 -0
  184. data/lib/ibex/lalr.rb +52 -1
  185. data/lib/ibex/location.rb +3 -3
  186. data/lib/ibex/lsp/document_handlers.rb +9 -7
  187. data/lib/ibex/lsp/initialization_handlers.rb +9 -7
  188. data/lib/ibex/lsp/navigation_handlers.rb +25 -11
  189. data/lib/ibex/lsp/parser_configuration_assistance.rb +149 -0
  190. data/lib/ibex/lsp/position_codec.rb +6 -2
  191. data/lib/ibex/lsp/request_handlers.rb +3 -2
  192. data/lib/ibex/lsp/request_support.rb +14 -7
  193. data/lib/ibex/lsp/server.rb +13 -11
  194. data/lib/ibex/lsp/symbol_index.rb +13 -13
  195. data/lib/ibex/lsp/symbol_index_builder.rb +30 -20
  196. data/lib/ibex/lsp/symbol_occurrence.rb +8 -2
  197. data/lib/ibex/lsp/transport.rb +13 -3
  198. data/lib/ibex/lsp/workspace.rb +5 -4
  199. data/lib/ibex/lsp/workspace_analyzer.rb +1 -1
  200. data/lib/ibex/lsp.rb +1 -0
  201. data/lib/ibex/messages/en.yml +28 -0
  202. data/lib/ibex/messages/ja.yml +28 -0
  203. data/lib/ibex/messages.rb +68 -0
  204. data/lib/ibex/metrics.rb +175 -0
  205. data/lib/ibex/normalize/declarations.rb +2 -0
  206. data/lib/ibex/normalize/diagnostics.rb +63 -38
  207. data/lib/ibex/normalize/expander.rb +5 -4
  208. data/lib/ibex/normalize/expression.rb +8 -6
  209. data/lib/ibex/normalize/grammar_builder.rb +26 -0
  210. data/lib/ibex/normalize/inline_expansion.rb +100 -49
  211. data/lib/ibex/normalize/lexer.rb +3 -3
  212. data/lib/ibex/normalize/parameter_ebnf_lowering.rb +11 -10
  213. data/lib/ibex/normalize/parameter_lowering.rb +40 -23
  214. data/lib/ibex/normalize/parameters.rb +31 -4
  215. data/lib/ibex/normalize/parser_configuration.rb +70 -0
  216. data/lib/ibex/normalize.rb +10 -20
  217. data/lib/ibex/racc_migration/report.rb +6 -3
  218. data/lib/ibex/rake_task.rb +1 -1
  219. data/lib/ibex/samples.rb +43 -13
  220. data/lib/ibex/table_artifact/builder.rb +266 -0
  221. data/lib/ibex/table_artifact/cst_projection.rb +70 -0
  222. data/lib/ibex/table_artifact/document.rb +39 -0
  223. data/lib/ibex/table_artifact/executor.rb +187 -0
  224. data/lib/ibex/table_artifact/serializer.rb +57 -0
  225. data/lib/ibex/table_artifact/validator/metadata.rb +179 -0
  226. data/lib/ibex/table_artifact/validator/support.rb +86 -0
  227. data/lib/ibex/table_artifact/validator/tables.rb +238 -0
  228. data/lib/ibex/table_artifact/validator.rb +253 -0
  229. data/lib/ibex/table_artifact.rb +88 -0
  230. data/lib/ibex/table_simulation/result.rb +6 -2
  231. data/lib/ibex/table_simulation/step.rb +3 -1
  232. data/lib/ibex/tables.rb +14 -0
  233. data/lib/ibex/verifiable_generation_bundle.rb +86 -0
  234. data/lib/ibex/verification_report/builder.rb +159 -0
  235. data/lib/ibex/verification_report/canonical_ir.rb +123 -0
  236. data/lib/ibex/verification_report/logical_path.rb +68 -0
  237. data/lib/ibex/verification_report/validator.rb +329 -0
  238. data/lib/ibex/verification_report.rb +69 -0
  239. data/lib/ibex/verify/action_correspondence.rb +138 -0
  240. data/lib/ibex/verify/language_witness.rb +295 -0
  241. data/lib/ibex/verify/reference_collection.rb +190 -0
  242. data/lib/ibex/verify/result.rb +73 -0
  243. data/lib/ibex/verify/verifier.rb +598 -0
  244. data/lib/ibex/verify.rb +15 -0
  245. data/lib/ibex/version.rb +1 -1
  246. data/lib/ibex/watch/runner.rb +10 -1
  247. data/lib/ibex/watch/source_snapshot.rb +13 -8
  248. data/lib/ibex.rb +10 -0
  249. data/schema/{automaton-ir-v1.schema.json → automaton-ir-definitions.schema.json} +6 -6
  250. data/schema/{automaton-ir-v2.schema.json → automaton-ir.schema.json} +14 -7
  251. data/schema/bison-import-v1.schema.json +106 -0
  252. data/schema/conflict-explanation-review-v1.schema.json +196 -0
  253. data/schema/conflict-explanation-study-v1.schema.json +528 -0
  254. data/schema/construction-profile-v1.schema.json +779 -0
  255. data/schema/diff-v1.schema.json +41 -0
  256. data/schema/direct-ielr-decision-v1.schema.json +200 -0
  257. data/schema/equiv-v1.schema.json +64 -0
  258. data/schema/error-ux-review-v1.schema.json +609 -0
  259. data/schema/error-ux-round2-review-v1.schema.json +191 -0
  260. data/schema/error-ux-round2-v1.schema.json +519 -0
  261. data/schema/explain-v1.schema.json +63 -1
  262. data/schema/fix-v1.schema.json +64 -0
  263. data/schema/fix-v2.schema.json +66 -0
  264. data/schema/fix-v3.schema.json +101 -0
  265. data/schema/fuzz-regression-v1.schema.json +79 -0
  266. data/schema/fuzz-v1.schema.json +114 -0
  267. data/schema/{grammar-ir-v2.schema.json → grammar-ir-extensions.schema.json} +20 -65
  268. data/schema/{grammar-ir-v1.schema.json → grammar-ir-foundation.schema.json} +3 -3
  269. data/schema/grammar-ir.schema.json +271 -0
  270. data/schema/ielr-benchmark-v1.schema.json +85 -0
  271. data/schema/lexer-profile-v1.schema.json +491 -0
  272. data/schema/metrics-v1.schema.json +60 -0
  273. data/schema/reduce-v1.schema.json +22 -0
  274. data/schema/reduce-v2.schema.json +63 -0
  275. data/schema/table-artifact-v1.schema.json +377 -0
  276. data/schema/verification-report-v1.schema.json +222 -0
  277. data/schema/verify-v1.schema.json +42 -0
  278. data/sig/ibex/analysis/digraph.rbs +19 -0
  279. data/sig/ibex/bison_import/importer.rbs +140 -0
  280. data/sig/ibex/bison_import/tokenizer.rbs +91 -0
  281. data/sig/ibex/bison_import.rbs +95 -0
  282. data/sig/ibex/bounded_subprocess.rbs +76 -0
  283. data/sig/ibex/cli/ambiguity.rbs +6 -0
  284. data/sig/ibex/cli/analysis.rbs +43 -0
  285. data/sig/ibex/cli/bison_import.rbs +32 -0
  286. data/sig/ibex/cli/config.rbs +35 -0
  287. data/sig/ibex/cli/diagnostics.rbs +16 -3
  288. data/sig/ibex/cli/documentation.rbs +5 -1
  289. data/sig/ibex/cli/equiv.rbs +49 -0
  290. data/sig/ibex/cli/error_messages.rbs +6 -0
  291. data/sig/ibex/cli/explain.rbs +6 -0
  292. data/sig/ibex/cli/fix.rbs +53 -0
  293. data/sig/ibex/cli/formatting.rbs +5 -1
  294. data/sig/ibex/cli/fuzz.rbs +47 -0
  295. data/sig/ibex/cli/fuzz_regressions.rbs +40 -0
  296. data/sig/ibex/cli/generation_artifacts.rbs +21 -2
  297. data/sig/ibex/cli/generation_error_messages.rbs +2 -2
  298. data/sig/ibex/cli/grammar_tests.rbs +15 -3
  299. data/sig/ibex/cli/ir_tools.rbs +7 -19
  300. data/sig/ibex/cli/outputs.rbs +9 -3
  301. data/sig/ibex/cli/reduce.rbs +60 -0
  302. data/sig/ibex/cli/reduce_reporting.rbs +27 -0
  303. data/sig/ibex/cli/samples.rbs +8 -0
  304. data/sig/ibex/cli/verify.rbs +28 -0
  305. data/sig/ibex/cli/watch.rbs +2 -2
  306. data/sig/ibex/cli.rbs +79 -5
  307. data/sig/ibex/codegen/action_method_source.rbs +4 -4
  308. data/sig/ibex/codegen/explain.rbs +45 -25
  309. data/sig/ibex/codegen/generated_action_abi.rbs +14 -10
  310. data/sig/ibex/codegen/rbs.rbs +12 -10
  311. data/sig/ibex/codegen/report.rbs +12 -12
  312. data/sig/ibex/codegen/ruby.rbs +18 -15
  313. data/sig/ibex/codegen/ruby_actions.rbs +6 -6
  314. data/sig/ibex/codegen/ruby_syntax.rbs +10 -8
  315. data/sig/ibex/configuration/analysis_grammar.rbs +13 -0
  316. data/sig/ibex/configuration/explanation.rbs +195 -0
  317. data/sig/ibex/configuration/inspector.rbs +53 -0
  318. data/sig/ibex/configuration.rbs +242 -0
  319. data/sig/ibex/coverage/collector.rbs +16 -14
  320. data/sig/ibex/coverage/event_stream.rbs +12 -10
  321. data/sig/ibex/coverage/report.rbs +20 -18
  322. data/sig/ibex/coverage/runtime_event_validator.rbs +38 -36
  323. data/sig/ibex/delta_reducer.rbs +38 -0
  324. data/sig/ibex/diff.rbs +47 -0
  325. data/sig/ibex/equiv/machine.rbs +54 -0
  326. data/sig/ibex/equiv.rbs +129 -0
  327. data/sig/ibex/fix.rbs +138 -0
  328. data/sig/ibex/frontend/ast.rbs +33 -7
  329. data/sig/ibex/frontend/bootstrap_parser.rbs +2 -0
  330. data/sig/ibex/frontend/diagnostic.rbs +2 -2
  331. data/sig/ibex/frontend/formatter.rbs +38 -30
  332. data/sig/ibex/frontend/generated_parser.rbs +87 -77
  333. data/sig/ibex/frontend/generated_parser_base.rbs +4 -2
  334. data/sig/ibex/frontend/parser/declarations.rbs +3 -0
  335. data/sig/ibex/frontend/parser_configuration_support.rbs +27 -0
  336. data/sig/ibex/frontend/resolution.rbs +3 -2
  337. data/sig/ibex/frontend/source_cursor.rbs +2 -2
  338. data/sig/ibex/frontend/source_span.rbs +5 -2
  339. data/sig/ibex/frontend/token_adapter/declaration_state.rbs +13 -1
  340. data/sig/ibex/frontend/token_adapter.rbs +6 -0
  341. data/sig/ibex/fuzz.rbs +71 -0
  342. data/sig/ibex/generation_input.rbs +2 -2
  343. data/sig/ibex/generation_manifest.rbs +35 -32
  344. data/sig/ibex/generation_transaction_recovery.rbs +2 -2
  345. data/sig/ibex/generation_transaction_validation.rbs +2 -2
  346. data/sig/ibex/grammar_tests.rbs +2 -2
  347. data/sig/ibex/ir/automaton_ir.rbs +30 -11
  348. data/sig/ibex/ir/grammar_ir.rbs +41 -27
  349. data/sig/ibex/ir/lexer_ir.rbs +8 -8
  350. data/sig/ibex/ir/parser_contract.rbs +69 -0
  351. data/sig/ibex/ir/serialize.rbs +63 -28
  352. data/sig/ibex/ir/validator/automaton.rbs +47 -44
  353. data/sig/ibex/ir/validator/base.rbs +35 -31
  354. data/sig/ibex/ir/validator/grammar.rbs +78 -67
  355. data/sig/ibex/ir/validator/lexer.rbs +4 -4
  356. data/sig/ibex/ir.rbs +9 -3
  357. data/sig/ibex/lalr/build_metrics.rbs +42 -2
  358. data/sig/ibex/lalr/builder.rbs +75 -24
  359. data/sig/ibex/lalr/conflict_search.rbs +5 -2
  360. data/sig/ibex/lalr/counterexample.rbs +17 -14
  361. data/sig/ibex/lalr/direct_lookaheads.rbs +35 -28
  362. data/sig/ibex/lalr/goto_follows.rbs +89 -0
  363. data/sig/ibex/lalr/ielr/annotator.rbs +67 -0
  364. data/sig/ibex/lalr/ielr/bits.rbs +14 -0
  365. data/sig/ibex/lalr/ielr/inadequacy.rbs +24 -0
  366. data/sig/ibex/lalr/ielr/item_lookaheads.rbs +35 -0
  367. data/sig/ibex/lalr/ielr/pipeline.rbs +17 -0
  368. data/sig/ibex/lalr/ielr/split_stability.rbs +27 -0
  369. data/sig/ibex/lalr/ielr/split_state.rbs +14 -0
  370. data/sig/ibex/lalr/ielr/state_splitter.rbs +76 -0
  371. data/sig/ibex/lalr/ielr_partition.rbs +17 -5
  372. data/sig/ibex/lalr/inadequacy_report.rbs +21 -0
  373. data/sig/ibex/lalr/lookahead_propagation.rbs +38 -0
  374. data/sig/ibex/lalr/lr0_collection.rbs +50 -0
  375. data/sig/ibex/lalr/unreachable_states.rbs +25 -0
  376. data/sig/ibex/lalr.rbs +11 -1
  377. data/sig/ibex/location.rbs +6 -6
  378. data/sig/ibex/lsp/document_handlers.rbs +8 -8
  379. data/sig/ibex/lsp/initialization_handlers.rbs +12 -12
  380. data/sig/ibex/lsp/navigation_handlers.rbs +15 -12
  381. data/sig/ibex/lsp/parser_configuration_assistance.rbs +49 -0
  382. data/sig/ibex/lsp/position_codec.rbs +8 -4
  383. data/sig/ibex/lsp/request_handlers.rbs +4 -4
  384. data/sig/ibex/lsp/request_support.rbs +8 -8
  385. data/sig/ibex/lsp/server.rbs +16 -16
  386. data/sig/ibex/lsp/symbol_index.rbs +20 -21
  387. data/sig/ibex/lsp/symbol_index_builder.rbs +9 -8
  388. data/sig/ibex/lsp/symbol_occurrence.rbs +11 -5
  389. data/sig/ibex/lsp/transport.rbs +18 -6
  390. data/sig/ibex/lsp/workspace.rbs +3 -2
  391. data/sig/ibex/lsp/workspace_analyzer.rbs +1 -1
  392. data/sig/ibex/messages.rbs +26 -0
  393. data/sig/ibex/metrics.rbs +50 -0
  394. data/sig/ibex/normalize/diagnostics.rbs +4 -4
  395. data/sig/ibex/normalize/expander.rbs +2 -2
  396. data/sig/ibex/normalize/expression.rbs +10 -8
  397. data/sig/ibex/normalize/grammar_builder.rbs +11 -0
  398. data/sig/ibex/normalize/inline_expansion.rbs +59 -50
  399. data/sig/ibex/normalize/lexer.rbs +4 -4
  400. data/sig/ibex/normalize/parameter_ebnf_lowering.rbs +15 -14
  401. data/sig/ibex/normalize/parameter_lowering.rbs +18 -18
  402. data/sig/ibex/normalize/parameters.rbs +13 -8
  403. data/sig/ibex/normalize/parser_configuration.rbs +23 -0
  404. data/sig/ibex/normalize.rbs +11 -5
  405. data/sig/ibex/racc_migration/report.rbs +8 -6
  406. data/sig/ibex/rake_task.rbs +1 -1
  407. data/sig/ibex/samples.rbs +13 -4
  408. data/sig/ibex/table_artifact/builder.rbs +93 -0
  409. data/sig/ibex/table_artifact/cst_projection.rbs +20 -0
  410. data/sig/ibex/table_artifact/document.rbs +27 -0
  411. data/sig/ibex/table_artifact/executor.rbs +66 -0
  412. data/sig/ibex/table_artifact/serializer.rbs +25 -0
  413. data/sig/ibex/table_artifact/validator/metadata.rbs +52 -0
  414. data/sig/ibex/table_artifact/validator/support.rbs +46 -0
  415. data/sig/ibex/table_artifact/validator/tables.rbs +63 -0
  416. data/sig/ibex/table_artifact/validator.rbs +66 -0
  417. data/sig/ibex/table_artifact.rbs +32 -0
  418. data/sig/ibex/table_simulation/result.rbs +8 -4
  419. data/sig/ibex/table_simulation/step.rbs +4 -2
  420. data/sig/ibex/tables.rbs +10 -9
  421. data/sig/ibex/verifiable_generation_bundle.rbs +24 -0
  422. data/sig/ibex/verification_report/builder.rbs +53 -0
  423. data/sig/ibex/verification_report/canonical_ir.rbs +41 -0
  424. data/sig/ibex/verification_report/logical_path.rbs +34 -0
  425. data/sig/ibex/verification_report/validator.rbs +114 -0
  426. data/sig/ibex/verification_report.rbs +44 -0
  427. data/sig/ibex/verify/action_correspondence.rbs +50 -0
  428. data/sig/ibex/verify/language_witness.rbs +112 -0
  429. data/sig/ibex/verify/reference_collection.rbs +63 -0
  430. data/sig/ibex/verify/result.rbs +52 -0
  431. data/sig/ibex/verify/verifier.rbs +170 -0
  432. data/sig/ibex/verify.rbs +6 -0
  433. data/sig/ibex/watch/runner.rbs +12 -2
  434. data/sig/ibex/watch/source_snapshot.rbs +13 -9
  435. metadata +232 -12
  436. data/lib/ibex/ir/migration.rb +0 -120
  437. data/sig/ibex/ir/migration.rbs +0 -34
@@ -0,0 +1,609 @@
1
+ {
2
+ "$schema": "https://json-schema.org/draft/2020-12/schema",
3
+ "$id": "https://raw.githubusercontent.com/ydah/ibex/main/schema/error-ux-review-v1.schema.json",
4
+ "title": "Ibex independent error UX review record version 1",
5
+ "type": "object",
6
+ "required": [
7
+ "schema_version",
8
+ "record_id",
9
+ "record_state",
10
+ "kit",
11
+ "evidence",
12
+ "reproduction",
13
+ "reviewer",
14
+ "independence",
15
+ "consent",
16
+ "assessments",
17
+ "overall_rationale"
18
+ ],
19
+ "properties": {
20
+ "schema_version": {
21
+ "const": 1
22
+ },
23
+ "record_id": {
24
+ "type": "string",
25
+ "pattern": "^EUXR-[0-9]{4}-[0-9]{2}-[0-9]{2}-[a-z0-9][a-z0-9-]*$"
26
+ },
27
+ "record_state": {
28
+ "enum": [
29
+ "draft",
30
+ "published"
31
+ ]
32
+ },
33
+ "kit": {
34
+ "$ref": "#/$defs/kit"
35
+ },
36
+ "evidence": {
37
+ "$ref": "#/$defs/evidence"
38
+ },
39
+ "reproduction": {
40
+ "$ref": "#/$defs/reproduction"
41
+ },
42
+ "reviewer": {
43
+ "$ref": "#/$defs/reviewer"
44
+ },
45
+ "independence": {
46
+ "$ref": "#/$defs/independence"
47
+ },
48
+ "consent": {
49
+ "$ref": "#/$defs/consent"
50
+ },
51
+ "assessments": {
52
+ "type": "array",
53
+ "minItems": 10,
54
+ "maxItems": 10,
55
+ "prefixItems": [
56
+ {
57
+ "$ref": "#/$defs/assessment_eux_01"
58
+ },
59
+ {
60
+ "$ref": "#/$defs/assessment_eux_02"
61
+ },
62
+ {
63
+ "$ref": "#/$defs/assessment_eux_03"
64
+ },
65
+ {
66
+ "$ref": "#/$defs/assessment_eux_04"
67
+ },
68
+ {
69
+ "$ref": "#/$defs/assessment_eux_05"
70
+ },
71
+ {
72
+ "$ref": "#/$defs/assessment_eux_06"
73
+ },
74
+ {
75
+ "$ref": "#/$defs/assessment_eux_07"
76
+ },
77
+ {
78
+ "$ref": "#/$defs/assessment_eux_08"
79
+ },
80
+ {
81
+ "$ref": "#/$defs/assessment_eux_09"
82
+ },
83
+ {
84
+ "$ref": "#/$defs/assessment_eux_10"
85
+ }
86
+ ],
87
+ "items": false
88
+ },
89
+ "overall_rationale": {
90
+ "$ref": "#/$defs/non_empty_string"
91
+ }
92
+ },
93
+ "additionalProperties": false,
94
+ "$defs": {
95
+ "non_empty_string": {
96
+ "type": "string",
97
+ "minLength": 1,
98
+ "pattern": "\\S"
99
+ },
100
+ "sha256": {
101
+ "type": "string",
102
+ "pattern": "^[0-9a-f]{64}$"
103
+ },
104
+ "revision": {
105
+ "type": "string",
106
+ "pattern": "^[0-9a-f]{40}$"
107
+ },
108
+ "case_ids": {
109
+ "type": "array",
110
+ "prefixItems": [
111
+ { "const": "EUX-01" },
112
+ { "const": "EUX-02" },
113
+ { "const": "EUX-03" },
114
+ { "const": "EUX-04" },
115
+ { "const": "EUX-05" },
116
+ { "const": "EUX-06" },
117
+ { "const": "EUX-07" },
118
+ { "const": "EUX-08" },
119
+ { "const": "EUX-09" },
120
+ { "const": "EUX-10" }
121
+ ],
122
+ "items": false,
123
+ "minItems": 10,
124
+ "maxItems": 10
125
+ },
126
+ "kit": {
127
+ "type": "object",
128
+ "required": [
129
+ "id",
130
+ "version",
131
+ "rubric_path",
132
+ "rubric_sha256",
133
+ "schema_path",
134
+ "schema_sha256"
135
+ ],
136
+ "properties": {
137
+ "id": {
138
+ "const": "ibex-error-ux-independent-review"
139
+ },
140
+ "version": {
141
+ "const": 1
142
+ },
143
+ "rubric_path": {
144
+ "const": "docs/error-ux-review-rubric-v1.md"
145
+ },
146
+ "rubric_sha256": {
147
+ "$ref": "#/$defs/sha256"
148
+ },
149
+ "schema_path": {
150
+ "const": "schema/error-ux-review-v1.schema.json"
151
+ },
152
+ "schema_sha256": {
153
+ "$ref": "#/$defs/sha256"
154
+ }
155
+ },
156
+ "additionalProperties": false
157
+ },
158
+ "evidence": {
159
+ "type": "object",
160
+ "required": [
161
+ "repository",
162
+ "snapshot",
163
+ "corpus",
164
+ "case_ids"
165
+ ],
166
+ "properties": {
167
+ "repository": {
168
+ "type": "object",
169
+ "required": [
170
+ "url",
171
+ "revision"
172
+ ],
173
+ "properties": {
174
+ "url": {
175
+ "const": "https://github.com/ydah/ibex"
176
+ },
177
+ "revision": {
178
+ "$ref": "#/$defs/revision"
179
+ }
180
+ },
181
+ "additionalProperties": false
182
+ },
183
+ "snapshot": {
184
+ "type": "object",
185
+ "required": [
186
+ "path",
187
+ "sha256"
188
+ ],
189
+ "properties": {
190
+ "path": {
191
+ "const": "test/fixtures/error_ux/json-errors-v1.json"
192
+ },
193
+ "sha256": {
194
+ "$ref": "#/$defs/sha256"
195
+ }
196
+ },
197
+ "additionalProperties": false
198
+ },
199
+ "corpus": {
200
+ "type": "object",
201
+ "required": [
202
+ "ibex_grammar",
203
+ "ibex_grammar_sha256",
204
+ "racc_grammar",
205
+ "racc_grammar_sha256"
206
+ ],
207
+ "properties": {
208
+ "ibex_grammar": {
209
+ "const": "examples/json.y"
210
+ },
211
+ "ibex_grammar_sha256": {
212
+ "$ref": "#/$defs/sha256"
213
+ },
214
+ "racc_grammar": {
215
+ "const": "test/fixtures/error_ux/json_racc.y"
216
+ },
217
+ "racc_grammar_sha256": {
218
+ "$ref": "#/$defs/sha256"
219
+ }
220
+ },
221
+ "additionalProperties": false
222
+ },
223
+ "case_ids": {
224
+ "$ref": "#/$defs/case_ids"
225
+ }
226
+ },
227
+ "additionalProperties": false
228
+ },
229
+ "command": {
230
+ "type": "object",
231
+ "required": [
232
+ "executable",
233
+ "argv"
234
+ ],
235
+ "properties": {
236
+ "executable": {
237
+ "const": "bundle"
238
+ },
239
+ "argv": {
240
+ "const": [
241
+ "exec",
242
+ "ruby",
243
+ "tool/error_ux_snapshot.rb"
244
+ ]
245
+ }
246
+ },
247
+ "additionalProperties": false
248
+ },
249
+ "ruby_identity": {
250
+ "type": "object",
251
+ "required": [
252
+ "description",
253
+ "engine",
254
+ "version",
255
+ "platform",
256
+ "yjit_enabled"
257
+ ],
258
+ "properties": {
259
+ "description": {
260
+ "$ref": "#/$defs/non_empty_string"
261
+ },
262
+ "engine": {
263
+ "$ref": "#/$defs/non_empty_string"
264
+ },
265
+ "version": {
266
+ "$ref": "#/$defs/non_empty_string"
267
+ },
268
+ "platform": {
269
+ "$ref": "#/$defs/non_empty_string"
270
+ },
271
+ "yjit_enabled": {
272
+ "type": "boolean"
273
+ }
274
+ },
275
+ "additionalProperties": false
276
+ },
277
+ "racc_identity": {
278
+ "type": "object",
279
+ "required": [
280
+ "version"
281
+ ],
282
+ "properties": {
283
+ "version": {
284
+ "type": "string",
285
+ "pattern": "^racc version [0-9]+\\.[0-9]+\\.[0-9]+(?:[.-][0-9A-Za-z.-]+)?$"
286
+ }
287
+ },
288
+ "additionalProperties": false
289
+ },
290
+ "environment": {
291
+ "type": "object",
292
+ "required": [
293
+ "host_cpu",
294
+ "host_os",
295
+ "kernel_release",
296
+ "processors"
297
+ ],
298
+ "properties": {
299
+ "host_cpu": {
300
+ "$ref": "#/$defs/non_empty_string"
301
+ },
302
+ "host_os": {
303
+ "$ref": "#/$defs/non_empty_string"
304
+ },
305
+ "kernel_release": {
306
+ "$ref": "#/$defs/non_empty_string"
307
+ },
308
+ "processors": {
309
+ "type": "integer",
310
+ "minimum": 1
311
+ }
312
+ },
313
+ "additionalProperties": false
314
+ },
315
+ "reproduction": {
316
+ "type": "object",
317
+ "required": [
318
+ "command",
319
+ "snapshot_result",
320
+ "ruby",
321
+ "racc",
322
+ "environment"
323
+ ],
324
+ "properties": {
325
+ "command": {
326
+ "$ref": "#/$defs/command"
327
+ },
328
+ "snapshot_result": {
329
+ "const": "passed"
330
+ },
331
+ "ruby": {
332
+ "$ref": "#/$defs/ruby_identity"
333
+ },
334
+ "racc": {
335
+ "$ref": "#/$defs/racc_identity"
336
+ },
337
+ "environment": {
338
+ "$ref": "#/$defs/environment"
339
+ }
340
+ },
341
+ "additionalProperties": false
342
+ },
343
+ "reviewer": {
344
+ "type": "object",
345
+ "required": [
346
+ "github_login",
347
+ "display_name",
348
+ "affiliation",
349
+ "reviewed_on",
350
+ "conflicts"
351
+ ],
352
+ "properties": {
353
+ "github_login": {
354
+ "type": "string",
355
+ "pattern": "^[A-Za-z0-9](?:[A-Za-z0-9-]{0,37}[A-Za-z0-9])?$"
356
+ },
357
+ "display_name": {
358
+ "$ref": "#/$defs/non_empty_string"
359
+ },
360
+ "affiliation": {
361
+ "$ref": "#/$defs/non_empty_string"
362
+ },
363
+ "reviewed_on": {
364
+ "type": "string",
365
+ "format": "date"
366
+ },
367
+ "conflicts": {
368
+ "$ref": "#/$defs/non_empty_string"
369
+ }
370
+ },
371
+ "additionalProperties": false
372
+ },
373
+ "independence": {
374
+ "type": "object",
375
+ "required": [
376
+ "reviewed_maintainer_github_logins"
377
+ ],
378
+ "properties": {
379
+ "reviewed_maintainer_github_logins": {
380
+ "type": "array",
381
+ "minItems": 1,
382
+ "uniqueItems": true,
383
+ "items": {
384
+ "type": "string",
385
+ "pattern": "^[A-Za-z0-9](?:[A-Za-z0-9-]{0,37}[A-Za-z0-9])?$"
386
+ }
387
+ }
388
+ },
389
+ "additionalProperties": false
390
+ },
391
+ "consent": {
392
+ "type": "object",
393
+ "required": [
394
+ "store_identity",
395
+ "store_labels",
396
+ "store_rationales",
397
+ "republish_review"
398
+ ],
399
+ "properties": {
400
+ "store_identity": {
401
+ "const": true
402
+ },
403
+ "store_labels": {
404
+ "const": true
405
+ },
406
+ "store_rationales": {
407
+ "const": true
408
+ },
409
+ "republish_review": {
410
+ "const": true
411
+ }
412
+ },
413
+ "additionalProperties": false
414
+ },
415
+ "judgment": {
416
+ "type": "object",
417
+ "required": [
418
+ "label",
419
+ "rationale"
420
+ ],
421
+ "properties": {
422
+ "label": {
423
+ "type": "string"
424
+ },
425
+ "rationale": {
426
+ "$ref": "#/$defs/non_empty_string"
427
+ }
428
+ },
429
+ "additionalProperties": false
430
+ },
431
+ "diagnostic_judgment": {
432
+ "allOf": [
433
+ {
434
+ "$ref": "#/$defs/judgment"
435
+ },
436
+ {
437
+ "properties": {
438
+ "label": {
439
+ "enum": [
440
+ "useful",
441
+ "not_useful",
442
+ "unclear"
443
+ ]
444
+ }
445
+ }
446
+ }
447
+ ]
448
+ },
449
+ "repair_judgment": {
450
+ "allOf": [
451
+ {
452
+ "$ref": "#/$defs/judgment"
453
+ },
454
+ {
455
+ "properties": {
456
+ "label": {
457
+ "enum": [
458
+ "useful",
459
+ "not_useful",
460
+ "unsafe",
461
+ "unclear"
462
+ ]
463
+ }
464
+ }
465
+ }
466
+ ]
467
+ },
468
+ "disagreement": {
469
+ "type": "object",
470
+ "required": [
471
+ "exists",
472
+ "subjects",
473
+ "rationale"
474
+ ],
475
+ "properties": {
476
+ "exists": {
477
+ "type": "boolean"
478
+ },
479
+ "subjects": {
480
+ "type": "array",
481
+ "uniqueItems": true,
482
+ "items": {
483
+ "enum": [
484
+ "diagnostic",
485
+ "repair",
486
+ "normative_observation"
487
+ ]
488
+ }
489
+ },
490
+ "rationale": {
491
+ "$ref": "#/$defs/non_empty_string"
492
+ }
493
+ },
494
+ "allOf": [
495
+ {
496
+ "if": {
497
+ "properties": {
498
+ "exists": {
499
+ "const": true
500
+ }
501
+ },
502
+ "required": [
503
+ "exists"
504
+ ]
505
+ },
506
+ "then": {
507
+ "properties": {
508
+ "subjects": {
509
+ "minItems": 1
510
+ }
511
+ }
512
+ },
513
+ "else": {
514
+ "properties": {
515
+ "subjects": {
516
+ "maxItems": 0
517
+ }
518
+ }
519
+ }
520
+ }
521
+ ],
522
+ "additionalProperties": false
523
+ },
524
+ "assessment": {
525
+ "type": "object",
526
+ "required": [
527
+ "case_id",
528
+ "diagnostic",
529
+ "repair",
530
+ "disagreement"
531
+ ],
532
+ "properties": {
533
+ "case_id": {
534
+ "type": "string"
535
+ },
536
+ "diagnostic": {
537
+ "$ref": "#/$defs/diagnostic_judgment"
538
+ },
539
+ "repair": {
540
+ "$ref": "#/$defs/repair_judgment"
541
+ },
542
+ "disagreement": {
543
+ "$ref": "#/$defs/disagreement"
544
+ }
545
+ },
546
+ "additionalProperties": false
547
+ },
548
+ "assessment_eux_01": {
549
+ "allOf": [
550
+ { "$ref": "#/$defs/assessment" },
551
+ { "properties": { "case_id": { "const": "EUX-01" } } }
552
+ ]
553
+ },
554
+ "assessment_eux_02": {
555
+ "allOf": [
556
+ { "$ref": "#/$defs/assessment" },
557
+ { "properties": { "case_id": { "const": "EUX-02" } } }
558
+ ]
559
+ },
560
+ "assessment_eux_03": {
561
+ "allOf": [
562
+ { "$ref": "#/$defs/assessment" },
563
+ { "properties": { "case_id": { "const": "EUX-03" } } }
564
+ ]
565
+ },
566
+ "assessment_eux_04": {
567
+ "allOf": [
568
+ { "$ref": "#/$defs/assessment" },
569
+ { "properties": { "case_id": { "const": "EUX-04" } } }
570
+ ]
571
+ },
572
+ "assessment_eux_05": {
573
+ "allOf": [
574
+ { "$ref": "#/$defs/assessment" },
575
+ { "properties": { "case_id": { "const": "EUX-05" } } }
576
+ ]
577
+ },
578
+ "assessment_eux_06": {
579
+ "allOf": [
580
+ { "$ref": "#/$defs/assessment" },
581
+ { "properties": { "case_id": { "const": "EUX-06" } } }
582
+ ]
583
+ },
584
+ "assessment_eux_07": {
585
+ "allOf": [
586
+ { "$ref": "#/$defs/assessment" },
587
+ { "properties": { "case_id": { "const": "EUX-07" } } }
588
+ ]
589
+ },
590
+ "assessment_eux_08": {
591
+ "allOf": [
592
+ { "$ref": "#/$defs/assessment" },
593
+ { "properties": { "case_id": { "const": "EUX-08" } } }
594
+ ]
595
+ },
596
+ "assessment_eux_09": {
597
+ "allOf": [
598
+ { "$ref": "#/$defs/assessment" },
599
+ { "properties": { "case_id": { "const": "EUX-09" } } }
600
+ ]
601
+ },
602
+ "assessment_eux_10": {
603
+ "allOf": [
604
+ { "$ref": "#/$defs/assessment" },
605
+ { "properties": { "case_id": { "const": "EUX-10" } } }
606
+ ]
607
+ }
608
+ }
609
+ }