hecks 0.2.0 → 1.0.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 (419) hide show
  1. checksums.yaml +5 -5
  2. data/lib/hecks/adapters/driven/claude_code.adapter +3 -0
  3. data/lib/hecks/adapters/driven/claude_code.rb +127 -0
  4. data/lib/hecks/adapters/driven/d1.adapter +12 -0
  5. data/lib/hecks/adapters/driven/d1.rb +427 -0
  6. data/lib/hecks/adapters/driven/folder.adapter +3 -0
  7. data/lib/hecks/adapters/driven/folder.rb +199 -0
  8. data/lib/hecks/adapters/driven/google_authentication.adapter +3 -0
  9. data/lib/hecks/adapters/driven/google_authentication.rb +100 -0
  10. data/lib/hecks/adapters/driven/governance_authorization.adapter +3 -0
  11. data/lib/hecks/adapters/driven/governance_authorization.rb +101 -0
  12. data/lib/hecks/adapters/driven/heki/journal.rb +56 -0
  13. data/lib/hecks/adapters/driven/heki/saga_store.rb +99 -0
  14. data/lib/hecks/adapters/driven/heki/snapshot.rb +65 -0
  15. data/lib/hecks/adapters/driven/heki.adapter +4 -0
  16. data/lib/hecks/adapters/driven/heki.rb +179 -0
  17. data/lib/hecks/adapters/driven/identity_registry.adapter +3 -0
  18. data/lib/hecks/adapters/driven/identity_registry.rb +26 -0
  19. data/lib/hecks/adapters/driven/in_memory_ordering.rb +51 -0
  20. data/lib/hecks/adapters/driven/lambda/client.rb +63 -0
  21. data/lib/hecks/adapters/driven/lambda.adapter +4 -0
  22. data/lib/hecks/adapters/driven/lambda.rb +145 -0
  23. data/lib/hecks/adapters/driven/memory.adapter +3 -0
  24. data/lib/hecks/adapters/driven/memory.rb +103 -0
  25. data/lib/hecks/adapters/driven/mock_stripe_adapter.adapter +3 -0
  26. data/lib/hecks/adapters/driven/mock_stripe_adapter.rb +28 -0
  27. data/lib/hecks/adapters/driven/postgres/codec.rb +88 -0
  28. data/lib/hecks/adapters/driven/postgres/schema_builder.rb +207 -0
  29. data/lib/hecks/adapters/driven/postgres.adapter +5 -0
  30. data/lib/hecks/adapters/driven/postgres.rb +438 -0
  31. data/lib/hecks/adapters/driven/postgres_era.adapter +17 -0
  32. data/lib/hecks/adapters/driven/prism.adapter +3 -0
  33. data/lib/hecks/adapters/driven/prism.rb +80 -0
  34. data/lib/hecks/adapters/driven/secure_random_identity.adapter +3 -0
  35. data/lib/hecks/adapters/driven/secure_random_identity.rb +14 -0
  36. data/lib/hecks/adapters/driven/sql_query_builder.rb +221 -0
  37. data/lib/hecks/adapters/driven/sqlite/codec.rb +80 -0
  38. data/lib/hecks/adapters/driven/sqlite/projection.rb +172 -0
  39. data/lib/hecks/adapters/driven/sqlite/schema_builder.rb +192 -0
  40. data/lib/hecks/adapters/driven/sqlite.adapter +9 -0
  41. data/lib/hecks/adapters/driven/sqlite.rb +306 -0
  42. data/lib/hecks/adapters/driven/system_clock.adapter +3 -0
  43. data/lib/hecks/adapters/driven/system_clock.rb +14 -0
  44. data/lib/hecks/adapters/driven.rb +54 -0
  45. data/lib/hecks/adapters.rb +6 -0
  46. data/lib/hecks/behaviors/dsl.rb +125 -0
  47. data/lib/hecks/behaviors/expectations.rb +340 -0
  48. data/lib/hecks/behaviors/ir.rb +31 -0
  49. data/lib/hecks/behaviors/rspec.rb +42 -0
  50. data/lib/hecks/behaviors/runner.rb +96 -0
  51. data/lib/hecks/behaviors.rb +25 -0
  52. data/lib/hecks/bluebook/aggregate.rb +108 -0
  53. data/lib/hecks/bluebook/assembly/aggregate_assembly.rb +134 -0
  54. data/lib/hecks/bluebook/assembly/build.rb +48 -0
  55. data/lib/hecks/bluebook/assembly/contract.rb +112 -0
  56. data/lib/hecks/bluebook/assembly/contracts.rb +438 -0
  57. data/lib/hecks/bluebook/assembly/marks.rb +228 -0
  58. data/lib/hecks/bluebook/assembly/specializer.rb +70 -0
  59. data/lib/hecks/bluebook/assembly.rb +91 -0
  60. data/lib/hecks/bluebook/attribute.rb +96 -0
  61. data/lib/hecks/bluebook/behaviour/aggregate.rb +83 -0
  62. data/lib/hecks/bluebook/behaviour/attribute.rb +27 -0
  63. data/lib/hecks/bluebook/behaviour/chapter.rb +72 -0
  64. data/lib/hecks/bluebook/behaviour/command.rb +116 -0
  65. data/lib/hecks/bluebook/behaviour/domain_port.rb +25 -0
  66. data/lib/hecks/bluebook/behaviour/entity.rb +59 -0
  67. data/lib/hecks/bluebook/behaviour/hexagon.rb +50 -0
  68. data/lib/hecks/bluebook/behaviour/lifecycle.rb +68 -0
  69. data/lib/hecks/bluebook/behaviour/policy.rb +52 -0
  70. data/lib/hecks/bluebook/behaviour/process_manager.rb +51 -0
  71. data/lib/hecks/bluebook/behaviour/query.rb +10 -0
  72. data/lib/hecks/bluebook/behaviour/read_model.rb +29 -0
  73. data/lib/hecks/bluebook/behaviour/traits.rb +81 -0
  74. data/lib/hecks/bluebook/behaviour/value_object.rb +33 -0
  75. data/lib/hecks/bluebook/chapter.rb +78 -0
  76. data/lib/hecks/bluebook/command.rb +124 -0
  77. data/lib/hecks/bluebook/domain_port.rb +102 -0
  78. data/lib/hecks/bluebook/dsl/adapter_builder.rb +34 -0
  79. data/lib/hecks/bluebook/dsl/aggregate_builder.rb +1018 -0
  80. data/lib/hecks/bluebook/dsl/attribute_collector.rb +348 -0
  81. data/lib/hecks/bluebook/dsl/binding_proxy.rb +71 -0
  82. data/lib/hecks/bluebook/dsl/bluebook_builder.rb +1087 -0
  83. data/lib/hecks/bluebook/dsl/command_builder.rb +714 -0
  84. data/lib/hecks/bluebook/dsl/const_shim.rb +81 -0
  85. data/lib/hecks/bluebook/dsl/domain_port_builder.rb +79 -0
  86. data/lib/hecks/bluebook/dsl/entity_builder.rb +430 -0
  87. data/lib/hecks/bluebook/dsl/generic_dispatch.rb +366 -0
  88. data/lib/hecks/bluebook/dsl/hecksagon_builder.rb +163 -0
  89. data/lib/hecks/bluebook/dsl/identity_declaration.rb +191 -0
  90. data/lib/hecks/bluebook/dsl/lifecycle_builder.rb +44 -0
  91. data/lib/hecks/bluebook/dsl/malformed.rb +7 -0
  92. data/lib/hecks/bluebook/dsl/policy_builder.rb +135 -0
  93. data/lib/hecks/bluebook/dsl/port_builder.rb +39 -0
  94. data/lib/hecks/bluebook/dsl/port_operation_builder.rb +142 -0
  95. data/lib/hecks/bluebook/dsl/process_manager_builder.rb +306 -0
  96. data/lib/hecks/bluebook/dsl/query_builder.rb +113 -0
  97. data/lib/hecks/bluebook/dsl/read_model_builder.rb +233 -0
  98. data/lib/hecks/bluebook/dsl/rule_reference.rb +173 -0
  99. data/lib/hecks/bluebook/dsl/translation_builder.rb +243 -0
  100. data/lib/hecks/bluebook/dsl/value_object_builder.rb +178 -0
  101. data/lib/hecks/bluebook/dsl/word_gate.rb +228 -0
  102. data/lib/hecks/bluebook/dsl/world_builder.rb +117 -0
  103. data/lib/hecks/bluebook/dsl.rb +45 -0
  104. data/lib/hecks/bluebook/entity.rb +103 -0
  105. data/lib/hecks/bluebook/expression/canonical_form.rb +123 -0
  106. data/lib/hecks/bluebook/expression/evaluator.rb +304 -0
  107. data/lib/hecks/bluebook/expression/projection.json +218 -0
  108. data/lib/hecks/bluebook/expression/resolver/block_predicates.rb +233 -0
  109. data/lib/hecks/bluebook/expression/resolver.rb +781 -0
  110. data/lib/hecks/bluebook/expression.rb +13 -0
  111. data/lib/hecks/bluebook/hexagon.rb +60 -0
  112. data/lib/hecks/bluebook/lifecycle.rb +42 -0
  113. data/lib/hecks/bluebook/meta_validator/adapter_judge.rb +54 -0
  114. data/lib/hecks/bluebook/meta_validator/judge.rb +621 -0
  115. data/lib/hecks/bluebook/meta_validator/plan.rb +332 -0
  116. data/lib/hecks/bluebook/meta_validator/port_judge.rb +51 -0
  117. data/lib/hecks/bluebook/meta_validator/readings.rb +360 -0
  118. data/lib/hecks/bluebook/meta_validator/reconstruction.rb +351 -0
  119. data/lib/hecks/bluebook/meta_validator/shapes.rb +266 -0
  120. data/lib/hecks/bluebook/meta_validator/syntax_boot.rb +255 -0
  121. data/lib/hecks/bluebook/meta_validator/translation_judge.rb +138 -0
  122. data/lib/hecks/bluebook/meta_validator/world_judge.rb +78 -0
  123. data/lib/hecks/bluebook/meta_validator.rb +542 -0
  124. data/lib/hecks/bluebook/model_check.rb +445 -0
  125. data/lib/hecks/bluebook/pattern_subset.rb +184 -0
  126. data/lib/hecks/bluebook/policy.rb +41 -0
  127. data/lib/hecks/bluebook/process_manager.rb +128 -0
  128. data/lib/hecks/bluebook/project_discovery.rb +30 -0
  129. data/lib/hecks/bluebook/project_loader.rb +40 -0
  130. data/lib/hecks/bluebook/project_register.rb +82 -0
  131. data/lib/hecks/bluebook/query.rb +61 -0
  132. data/lib/hecks/bluebook/read_model.rb +109 -0
  133. data/lib/hecks/bluebook/reference.rb +74 -0
  134. data/lib/hecks/bluebook/smoke_test.rb +166 -0
  135. data/lib/hecks/bluebook/synthesizer.rb +95 -0
  136. data/lib/hecks/bluebook/translation.rb +92 -0
  137. data/lib/hecks/bluebook/value_object.rb +66 -0
  138. data/lib/hecks/bluebook.rb +74 -0
  139. data/lib/hecks/codemod.rb +342 -0
  140. data/lib/hecks/construct.rb +71 -0
  141. data/lib/hecks/deploy/bluebook/deploy.bluebook +219 -0
  142. data/lib/hecks/deploy/bluebook/deploy.hecksagon +4 -0
  143. data/lib/hecks/deploy/oidc.json +18 -0
  144. data/lib/hecks/doc/reference.rb +410 -0
  145. data/lib/hecks/embryonaut_bluebook.rb +75 -0
  146. data/lib/hecks/facade/cli_door.rb +119 -0
  147. data/lib/hecks/facade/cli_runner.rb +190 -0
  148. data/lib/hecks/facade/command_request.rb +105 -0
  149. data/lib/hecks/facade/handle.rb +173 -0
  150. data/lib/hecks/facade/json_door.rb +166 -0
  151. data/lib/hecks/facade/surface/aggregate_door.rb +185 -0
  152. data/lib/hecks/facade/surface/chapter.rb +107 -0
  153. data/lib/hecks/facade/surface.rb +48 -0
  154. data/lib/hecks/facade.rb +44 -0
  155. data/lib/hecks/forms/app.rb +341 -0
  156. data/lib/hecks/forms/command_form_renderer.rb +113 -0
  157. data/lib/hecks/forms/examples/banking_console.bluebook +3 -0
  158. data/lib/hecks/forms/field_renderer.rb +177 -0
  159. data/lib/hecks/forms/field_shape.rb +232 -0
  160. data/lib/hecks/forms/html.rb +84 -0
  161. data/lib/hecks/forms/index_renderer.rb +35 -0
  162. data/lib/hecks/forms/page.rb +157 -0
  163. data/lib/hecks/forms/params.rb +161 -0
  164. data/lib/hecks/forms/port_argument.rb +46 -0
  165. data/lib/hecks/forms/query_form_renderer.rb +114 -0
  166. data/lib/hecks/forms/record_renderer.rb +119 -0
  167. data/lib/hecks/forms/record_table.rb +68 -0
  168. data/lib/hecks/forms/reference_options.rb +30 -0
  169. data/lib/hecks/forms/value_object_shape.rb +46 -0
  170. data/lib/hecks/forms.rb +54 -0
  171. data/lib/hecks/fqn.rb +94 -0
  172. data/lib/hecks/framework/bluebook/compliance.bluebook +1 -0
  173. data/lib/hecks/framework/bluebook/console_settings.bluebook +489 -0
  174. data/lib/hecks/framework/bluebook/framework.hecksagon +32 -0
  175. data/lib/hecks/framework/bluebook/governance.bluebook +145 -0
  176. data/lib/hecks/framework/bluebook/identity.bluebook +90 -0
  177. data/lib/hecks/framework/oidc.json +39 -0
  178. data/lib/hecks/framework.rb +90 -0
  179. data/lib/hecks/freezer.rb +67 -0
  180. data/lib/hecks/fuzzing/bounded_exhaustive_expressions.rb +527 -0
  181. data/lib/hecks/fuzzing/invalid_value_generator.rb +86 -0
  182. data/lib/hecks/fuzzing/isolated_boot.rb +286 -0
  183. data/lib/hecks/fuzzing/properties.rb +1192 -0
  184. data/lib/hecks/fuzzing/replay.rb +668 -0
  185. data/lib/hecks/fuzzing/sequence_generator/catalog.rb +93 -0
  186. data/lib/hecks/fuzzing/sequence_generator/outcome_tracker.rb +80 -0
  187. data/lib/hecks/fuzzing/sequence_generator/picker.rb +96 -0
  188. data/lib/hecks/fuzzing/sequence_generator/step_builder.rb +250 -0
  189. data/lib/hecks/fuzzing/sequence_generator.rb +131 -0
  190. data/lib/hecks/fuzzing/value_generator.rb +200 -0
  191. data/lib/hecks/fuzzing.rb +12 -0
  192. data/lib/hecks/grammar/evolve.rb +324 -0
  193. data/lib/hecks/grammar/expression.bluebook +420 -0
  194. data/lib/hecks/grammar/expression_operators.json +1648 -0
  195. data/lib/hecks/grammar/grammar.hecksagon +20 -0
  196. data/lib/hecks/grammar/oidc.json +69 -0
  197. data/lib/hecks/grammar/translation.bluebook +203 -0
  198. data/lib/hecks/grammar.rb +178 -0
  199. data/lib/hecks/ir.rb +126 -0
  200. data/lib/hecks/language/adapter.bluebook +116 -0
  201. data/lib/hecks/language/bluebook/aggregate.bluebook +581 -0
  202. data/lib/hecks/language/bluebook/attaches/paging.bluebook +76 -0
  203. data/lib/hecks/language/bluebook/bluebook.bluebook +256 -0
  204. data/lib/hecks/language/bluebook/bluebook.hecksagon +24 -0
  205. data/lib/hecks/language/bluebook/command.bluebook +471 -0
  206. data/lib/hecks/language/bluebook/entity.bluebook +392 -0
  207. data/lib/hecks/language/bluebook/policy.bluebook +189 -0
  208. data/lib/hecks/language/bluebook/process_manager.bluebook +381 -0
  209. data/lib/hecks/language/bluebook/projection.bluebook +267 -0
  210. data/lib/hecks/language/bluebook/query.bluebook +245 -0
  211. data/lib/hecks/language/bluebook/shape.bluebook +292 -0
  212. data/lib/hecks/language/bluebook/syntax.bluebook +448 -0
  213. data/lib/hecks/language/bluebook/vocabulary.bluebook +379 -0
  214. data/lib/hecks/language/hecksagon/adapter_binding.bluebook +51 -0
  215. data/lib/hecks/language/hecksagon/domain_port.bluebook +76 -0
  216. data/lib/hecks/language/hecksagon/hecksagon.bluebook +131 -0
  217. data/lib/hecks/language/hecksagon/port_operation.bluebook +102 -0
  218. data/lib/hecks/language/oidc.json +333 -0
  219. data/lib/hecks/language/port.bluebook +120 -0
  220. data/lib/hecks/language/translation/translation.bluebook +110 -0
  221. data/lib/hecks/language/translation/translation_aggregate.bluebook +267 -0
  222. data/lib/hecks/language/world/wiring.bluebook +62 -0
  223. data/lib/hecks/language/world/world.bluebook +84 -0
  224. data/lib/hecks/literal.rb +125 -0
  225. data/lib/hecks/naming.rb +174 -0
  226. data/lib/hecks/ports/access_control.port +9 -0
  227. data/lib/hecks/ports/access_control.rb +62 -0
  228. data/lib/hecks/ports/agent/answers.rb +104 -0
  229. data/lib/hecks/ports/agent.port +8 -0
  230. data/lib/hecks/ports/agent.rb +167 -0
  231. data/lib/hecks/ports/authentication.port +6 -0
  232. data/lib/hecks/ports/authentication.rb +50 -0
  233. data/lib/hecks/ports/authorization.port +7 -0
  234. data/lib/hecks/ports/authorization.rb +62 -0
  235. data/lib/hecks/ports/clock.port +5 -0
  236. data/lib/hecks/ports/clock.rb +62 -0
  237. data/lib/hecks/ports/extraction.port +5 -0
  238. data/lib/hecks/ports/extraction.rb +37 -0
  239. data/lib/hecks/ports/identity_assignment.port +5 -0
  240. data/lib/hecks/ports/identity_assignment.rb +45 -0
  241. data/lib/hecks/ports/identity_generation.port +5 -0
  242. data/lib/hecks/ports/identity_generation.rb +49 -0
  243. data/lib/hecks/ports/identity_resolution.port +5 -0
  244. data/lib/hecks/ports/identity_resolution.rb +40 -0
  245. data/lib/hecks/ports/loading.port +4 -0
  246. data/lib/hecks/ports/loading.rb +13 -0
  247. data/lib/hecks/ports/persistence/append_only.rb +138 -0
  248. data/lib/hecks/ports/persistence/binding_policy.rb +56 -0
  249. data/lib/hecks/ports/persistence/execution.rb +23 -0
  250. data/lib/hecks/ports/persistence/null_saga_store.rb +25 -0
  251. data/lib/hecks/ports/persistence/plugin.rb +54 -0
  252. data/lib/hecks/ports/persistence/plugins/era/era_check.rb +169 -0
  253. data/lib/hecks/ports/persistence/plugins/era/era_guard/shape_diff.rb +128 -0
  254. data/lib/hecks/ports/persistence/plugins/era/era_guard.rb +161 -0
  255. data/lib/hecks/ports/persistence/plugins/era/era_tamper.rb +61 -0
  256. data/lib/hecks/ports/persistence/plugins/era/lineage.rb +304 -0
  257. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/era_store.rb +171 -0
  258. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/field_cache.rb +190 -0
  259. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/head_compiler.rb +478 -0
  260. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/mint_transaction.rb +166 -0
  261. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/provisioning.rb +314 -0
  262. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/resumable_backfill.rb +168 -0
  263. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/tail_merge.rb +170 -0
  264. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/transform_installer.rb +134 -0
  265. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage.rb +137 -0
  266. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/coverage_check.rb +89 -0
  267. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/era_resolver.rb +85 -0
  268. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/merge_coordinator.rb +43 -0
  269. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/minter.rb +132 -0
  270. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager.rb +74 -0
  271. data/lib/hecks/ports/persistence/plugins/era/postgres_era.rb +758 -0
  272. data/lib/hecks/ports/persistence/plugins/era/storage_shape.rb +120 -0
  273. data/lib/hecks/ports/persistence/plugins/era/translation/audit/approval_digest.rb +31 -0
  274. data/lib/hecks/ports/persistence/plugins/era/translation/audit/layer_one.rb +46 -0
  275. data/lib/hecks/ports/persistence/plugins/era/translation/audit/layer_two.rb +102 -0
  276. data/lib/hecks/ports/persistence/plugins/era/translation/audit/unfed_report.rb +46 -0
  277. data/lib/hecks/ports/persistence/plugins/era/translation/audit.rb +70 -0
  278. data/lib/hecks/ports/persistence/plugins/era/translation/reattest.rb +72 -0
  279. data/lib/hecks/ports/persistence/plugins/era/translation/rule_compiler.rb +120 -0
  280. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold/differ.rb +183 -0
  281. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold/renderer.rb +41 -0
  282. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold/writer.rb +28 -0
  283. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold.rb +30 -0
  284. data/lib/hecks/ports/persistence/plugins/era/translation.rb +11 -0
  285. data/lib/hecks/ports/persistence/plugins/era.rb +48 -0
  286. data/lib/hecks/ports/persistence/remote_runtime.rb +42 -0
  287. data/lib/hecks/ports/persistence/repository_factory.rb +30 -0
  288. data/lib/hecks/ports/persistence.port +4 -0
  289. data/lib/hecks/ports/persistence.rb +39 -0
  290. data/lib/hecks/ports/projection.port +4 -0
  291. data/lib/hecks/ports/projection.rb +96 -0
  292. data/lib/hecks/ports/query/in_memory.rb +60 -0
  293. data/lib/hecks/ports/query/ordering.rb +41 -0
  294. data/lib/hecks/ports/query.rb +36 -0
  295. data/lib/hecks/ports.rb +27 -0
  296. data/lib/hecks/projections/diagrams.rb +642 -0
  297. data/lib/hecks/projections/ir.rb +18 -0
  298. data/lib/hecks/projections/model/deviations.rb +98 -0
  299. data/lib/hecks/projections/model.rb +145 -0
  300. data/lib/hecks/projections/oidc.rb +110 -0
  301. data/lib/hecks/projections/parser_table.rb +159 -0
  302. data/lib/hecks/projections/reference.rb +38 -0
  303. data/lib/hecks/projections/shape.rb +44 -0
  304. data/lib/hecks/projections/statements.rb +110 -0
  305. data/lib/hecks/projections/vocabulary.rb +100 -0
  306. data/lib/hecks/projections.rb +32 -0
  307. data/lib/hecks/projector/cli_projector.rb +446 -0
  308. data/lib/hecks/projector/docs_projector.rb +321 -0
  309. data/lib/hecks/projector/exporter.rb +158 -0
  310. data/lib/hecks/projector/ir_projector.rb +18 -0
  311. data/lib/hecks/projector/narrate_projector.rb +243 -0
  312. data/lib/hecks/projector/target.rb +97 -0
  313. data/lib/hecks/projector.rb +186 -0
  314. data/lib/hecks/query_ir.rb +411 -0
  315. data/lib/hecks/query_specification/common/authorization_spec.rb +9 -0
  316. data/lib/hecks/query_specification/common/comparators.rb +25 -0
  317. data/lib/hecks/query_specification/common/comparison.rb +174 -0
  318. data/lib/hecks/query_specification/common/cursor_spec.rb +9 -0
  319. data/lib/hecks/query_specification/common/dsl.rb +58 -0
  320. data/lib/hecks/query_specification/common/inspection_spec.rb +9 -0
  321. data/lib/hecks/query_specification/common/limit_spec.rb +9 -0
  322. data/lib/hecks/query_specification/common/null_policy.rb +92 -0
  323. data/lib/hecks/query_specification/common/null_semantics.rb +11 -0
  324. data/lib/hecks/query_specification/common/offset_spec.rb +9 -0
  325. data/lib/hecks/query_specification/common/options.rb +32 -0
  326. data/lib/hecks/query_specification/common/order_by.rb +9 -0
  327. data/lib/hecks/query_specification/common/specification.rb +10 -0
  328. data/lib/hecks/query_specification/common/where_clause.rb +9 -0
  329. data/lib/hecks/query_specification/field_path.rb +107 -0
  330. data/lib/hecks/query_specification/hop_path.rb +132 -0
  331. data/lib/hecks/query_specification/read_model/specification.rb +18 -0
  332. data/lib/hecks/query_specification.rb +14 -0
  333. data/lib/hecks/rendering.rb +48 -0
  334. data/lib/hecks/router/namespace_installer.rb +157 -0
  335. data/lib/hecks/router.rb +70 -0
  336. data/lib/hecks/runtime/aggregate_lock.rb +45 -0
  337. data/lib/hecks/runtime/boot_gates.rb +41 -0
  338. data/lib/hecks/runtime/caller.rb +66 -0
  339. data/lib/hecks/runtime/capability_graph.rb +44 -0
  340. data/lib/hecks/runtime/command_interpreter/argument_gate.rb +135 -0
  341. data/lib/hecks/runtime/command_interpreter/mutation_applier.rb +260 -0
  342. data/lib/hecks/runtime/command_interpreter.rb +497 -0
  343. data/lib/hecks/runtime/command_rules/admissibility.rb +357 -0
  344. data/lib/hecks/runtime/command_rules/arithmetic.rb +260 -0
  345. data/lib/hecks/runtime/command_rules/authorization.rb +65 -0
  346. data/lib/hecks/runtime/command_rules/emission.rb +34 -0
  347. data/lib/hecks/runtime/command_rules/references.rb +189 -0
  348. data/lib/hecks/runtime/command_rules.rb +28 -0
  349. data/lib/hecks/runtime/dependency_planning.rb +245 -0
  350. data/lib/hecks/runtime/dispatcher.rb +301 -0
  351. data/lib/hecks/runtime/entity_element.rb +253 -0
  352. data/lib/hecks/runtime/entity_interpreter.rb +299 -0
  353. data/lib/hecks/runtime/errors.rb +122 -0
  354. data/lib/hecks/runtime/event.rb +51 -0
  355. data/lib/hecks/runtime/identity.rb +156 -0
  356. data/lib/hecks/runtime/instance.rb +175 -0
  357. data/lib/hecks/runtime/interpreting.rb +90 -0
  358. data/lib/hecks/runtime/loader.rb +184 -0
  359. data/lib/hecks/runtime/policy_interpreter.rb +366 -0
  360. data/lib/hecks/runtime/port_operation_interpreter.rb +210 -0
  361. data/lib/hecks/runtime/query_interpreter.rb +286 -0
  362. data/lib/hecks/runtime/reaction_invocation.rb +253 -0
  363. data/lib/hecks/runtime/read_model_interpreter.rb +341 -0
  364. data/lib/hecks/runtime/rebuild_sweep.rb +74 -0
  365. data/lib/hecks/runtime/reference_hop.rb +99 -0
  366. data/lib/hecks/runtime/refusal_wording.rb +126 -0
  367. data/lib/hecks/runtime/registry/saga_persistence.rb +142 -0
  368. data/lib/hecks/runtime/registry/verification.rb +246 -0
  369. data/lib/hecks/runtime/registry.rb +279 -0
  370. data/lib/hecks/runtime/remote_dispatcher.rb +143 -0
  371. data/lib/hecks/runtime/routing.rb +96 -0
  372. data/lib/hecks/runtime/saga_interpreter/correlation.rb +97 -0
  373. data/lib/hecks/runtime/saga_interpreter.rb +503 -0
  374. data/lib/hecks/runtime/saga_pending_dispatch.rb +45 -0
  375. data/lib/hecks/runtime/tenant_check.rb +84 -0
  376. data/lib/hecks/runtime/tenant_scope.rb +55 -0
  377. data/lib/hecks/runtime/value/admission.rb +130 -0
  378. data/lib/hecks/runtime/value/coercion.rb +565 -0
  379. data/lib/hecks/runtime/value/invariant_violation.rb +5 -0
  380. data/lib/hecks/runtime/value.rb +125 -0
  381. data/lib/hecks/runtime.rb +107 -0
  382. data/lib/hecks/storehouse.rb +632 -0
  383. data/lib/hecks/version.rb +16 -0
  384. data/lib/hecks/vocabulary.rb +218 -0
  385. data/lib/hecks.rb +123 -6
  386. data/lib/rubocop/cop/hecks/fallback_hash_lookup.rb +90 -0
  387. data/lib/rubocop/cop/hecks/sequential_hash_rename_in_loop.rb +128 -0
  388. data/lib/rubocop/cop/hecks/thread_shared_ivar_mutation.rb +160 -0
  389. metadata +412 -222
  390. data/bin/hecks +0 -7
  391. data/bin/hecks-package +0 -65
  392. data/bin/hecks_console +0 -12
  393. data/bin/hecks_serverless +0 -6
  394. data/lib/cli/build.rb +0 -14
  395. data/lib/cli/command_runner.rb +0 -28
  396. data/lib/cli/console.rb +0 -10
  397. data/lib/cli/generate.rb +0 -37
  398. data/lib/cli/hecks-cli.rb +0 -27
  399. data/lib/cli/test.rb +0 -57
  400. data/lib/console/commands.rb +0 -8
  401. data/lib/console/hecks-console.rb +0 -1
  402. data/lib/packager/README.md +0 -0
  403. data/lib/packager/app_runner.rb +0 -21
  404. data/lib/packager/args.rb +0 -26
  405. data/lib/packager/compatibility/fixnum.rb +0 -6
  406. data/lib/packager/hecks.rb +0 -39
  407. data/lib/packager/query_runner.rb +0 -21
  408. data/lib/packager/resources/Dockerfile +0 -11
  409. data/lib/packager/resources/app_binary +0 -7
  410. data/lib/packager/resources/bundle_config +0 -3
  411. data/lib/packager/resources/traveling-ruby-20150715-2.2.2-linux-x86_64.tar.gz +0 -0
  412. data/lib/packager/resources/traveling-ruby-20150715-2.2.2-osx.tar.gz +0 -0
  413. data/lib/serverless/Domain +0 -32
  414. data/lib/serverless/cli.rb +0 -75
  415. data/lib/serverless/resources/command_name.js +0 -5
  416. data/lib/serverless/resources/environment.js +0 -7
  417. data/lib/serverless/resources/handler.js.tt +0 -28
  418. data/lib/serverless/resources/run_binary.js +0 -22
  419. data/lib/serverless/resources/serverless.yml +0 -20
@@ -0,0 +1,1648 @@
1
+ {
2
+ "name": "expression-operators",
3
+ "note": "The admission ledger — every operator and normalisation rule the expression machinery runs, driven through the grammar chapter's own lifecycle. Propose, then a rendering per target, then Admit, so the 'reads in every target' guard gates each admission for real. spec/operator_conformance_spec.rb replays this and holds the evaluator's tables equal to what survives — an operator absent here is not a slow operator, it is not an operator.",
4
+ "steps": [
5
+ {
6
+ "verb": "Expression::Operator.Propose",
7
+ "args": {
8
+ "symbol": {
9
+ "value": "||"
10
+ },
11
+ "category": {
12
+ "value": "logical"
13
+ },
14
+ "precedence": {
15
+ "value": 1
16
+ },
17
+ "arity": {
18
+ "value": 2
19
+ },
20
+ "grammar": {
21
+ "value": "outer"
22
+ },
23
+ "strategy": {
24
+ "value": "top_level_split"
25
+ },
26
+ "position": {
27
+ "value": 1
28
+ }
29
+ }
30
+ },
31
+ {
32
+ "verb": "Expression::Operator.Render",
33
+ "args": {
34
+ "symbol": {
35
+ "value": "||"
36
+ },
37
+ "target": {
38
+ "value": "ruby"
39
+ },
40
+ "form": {
41
+ "value": "a || b"
42
+ }
43
+ }
44
+ },
45
+ {
46
+ "verb": "Expression::Operator.Admit",
47
+ "args": {
48
+ "symbol": {
49
+ "value": "||"
50
+ }
51
+ }
52
+ },
53
+ {
54
+ "verb": "Expression::Operator.Propose",
55
+ "args": {
56
+ "symbol": {
57
+ "value": "&&"
58
+ },
59
+ "category": {
60
+ "value": "logical"
61
+ },
62
+ "precedence": {
63
+ "value": 2
64
+ },
65
+ "arity": {
66
+ "value": 2
67
+ },
68
+ "grammar": {
69
+ "value": "outer"
70
+ },
71
+ "strategy": {
72
+ "value": "top_level_split"
73
+ },
74
+ "position": {
75
+ "value": 2
76
+ }
77
+ }
78
+ },
79
+ {
80
+ "verb": "Expression::Operator.Render",
81
+ "args": {
82
+ "symbol": {
83
+ "value": "&&"
84
+ },
85
+ "target": {
86
+ "value": "ruby"
87
+ },
88
+ "form": {
89
+ "value": "a && b"
90
+ }
91
+ }
92
+ },
93
+ {
94
+ "verb": "Expression::Operator.Admit",
95
+ "args": {
96
+ "symbol": {
97
+ "value": "&&"
98
+ }
99
+ }
100
+ },
101
+ {
102
+ "verb": "Expression::Operator.Propose",
103
+ "args": {
104
+ "symbol": {
105
+ "value": ".include?"
106
+ },
107
+ "category": {
108
+ "value": "membership"
109
+ },
110
+ "precedence": {
111
+ "value": 3
112
+ },
113
+ "arity": {
114
+ "value": 2
115
+ },
116
+ "grammar": {
117
+ "value": "outer"
118
+ },
119
+ "strategy": {
120
+ "value": "call_pattern_match"
121
+ },
122
+ "position": {
123
+ "value": 3
124
+ }
125
+ }
126
+ },
127
+ {
128
+ "verb": "Expression::Operator.Render",
129
+ "args": {
130
+ "symbol": {
131
+ "value": ".include?"
132
+ },
133
+ "target": {
134
+ "value": "ruby"
135
+ },
136
+ "form": {
137
+ "value": "haystack.include?(needle)"
138
+ }
139
+ }
140
+ },
141
+ {
142
+ "verb": "Expression::Operator.Admit",
143
+ "args": {
144
+ "symbol": {
145
+ "value": ".include?"
146
+ }
147
+ }
148
+ },
149
+ {
150
+ "verb": "Expression::Operator.Propose",
151
+ "args": {
152
+ "symbol": {
153
+ "value": ">="
154
+ },
155
+ "category": {
156
+ "value": "comparison"
157
+ },
158
+ "precedence": {
159
+ "value": 4
160
+ },
161
+ "arity": {
162
+ "value": 2
163
+ },
164
+ "grammar": {
165
+ "value": "outer"
166
+ },
167
+ "strategy": {
168
+ "value": "top_level_split"
169
+ },
170
+ "position": {
171
+ "value": 4
172
+ }
173
+ }
174
+ },
175
+ {
176
+ "verb": "Expression::Operator.Render",
177
+ "args": {
178
+ "symbol": {
179
+ "value": ">="
180
+ },
181
+ "target": {
182
+ "value": "ruby"
183
+ },
184
+ "form": {
185
+ "value": "a >= b"
186
+ }
187
+ }
188
+ },
189
+ {
190
+ "verb": "Expression::Operator.Admit",
191
+ "args": {
192
+ "symbol": {
193
+ "value": ">="
194
+ }
195
+ }
196
+ },
197
+ {
198
+ "verb": "Expression::Operator.Propose",
199
+ "args": {
200
+ "symbol": {
201
+ "value": "<="
202
+ },
203
+ "category": {
204
+ "value": "comparison"
205
+ },
206
+ "precedence": {
207
+ "value": 4
208
+ },
209
+ "arity": {
210
+ "value": 2
211
+ },
212
+ "grammar": {
213
+ "value": "outer"
214
+ },
215
+ "strategy": {
216
+ "value": "top_level_split"
217
+ },
218
+ "position": {
219
+ "value": 5
220
+ }
221
+ }
222
+ },
223
+ {
224
+ "verb": "Expression::Operator.Render",
225
+ "args": {
226
+ "symbol": {
227
+ "value": "<="
228
+ },
229
+ "target": {
230
+ "value": "ruby"
231
+ },
232
+ "form": {
233
+ "value": "a <= b"
234
+ }
235
+ }
236
+ },
237
+ {
238
+ "verb": "Expression::Operator.Admit",
239
+ "args": {
240
+ "symbol": {
241
+ "value": "<="
242
+ }
243
+ }
244
+ },
245
+ {
246
+ "verb": "Expression::Operator.Propose",
247
+ "args": {
248
+ "symbol": {
249
+ "value": "<"
250
+ },
251
+ "category": {
252
+ "value": "comparison"
253
+ },
254
+ "precedence": {
255
+ "value": 4
256
+ },
257
+ "arity": {
258
+ "value": 2
259
+ },
260
+ "grammar": {
261
+ "value": "outer"
262
+ },
263
+ "strategy": {
264
+ "value": "top_level_split"
265
+ },
266
+ "position": {
267
+ "value": 6
268
+ }
269
+ }
270
+ },
271
+ {
272
+ "verb": "Expression::Operator.Render",
273
+ "args": {
274
+ "symbol": {
275
+ "value": "<"
276
+ },
277
+ "target": {
278
+ "value": "ruby"
279
+ },
280
+ "form": {
281
+ "value": "a < b"
282
+ }
283
+ }
284
+ },
285
+ {
286
+ "verb": "Expression::Operator.Admit",
287
+ "args": {
288
+ "symbol": {
289
+ "value": "<"
290
+ }
291
+ }
292
+ },
293
+ {
294
+ "verb": "Expression::Operator.Propose",
295
+ "args": {
296
+ "symbol": {
297
+ "value": ">"
298
+ },
299
+ "category": {
300
+ "value": "comparison"
301
+ },
302
+ "precedence": {
303
+ "value": 4
304
+ },
305
+ "arity": {
306
+ "value": 2
307
+ },
308
+ "grammar": {
309
+ "value": "outer"
310
+ },
311
+ "strategy": {
312
+ "value": "top_level_split"
313
+ },
314
+ "position": {
315
+ "value": 7
316
+ }
317
+ }
318
+ },
319
+ {
320
+ "verb": "Expression::Operator.Render",
321
+ "args": {
322
+ "symbol": {
323
+ "value": ">"
324
+ },
325
+ "target": {
326
+ "value": "ruby"
327
+ },
328
+ "form": {
329
+ "value": "a > b"
330
+ }
331
+ }
332
+ },
333
+ {
334
+ "verb": "Expression::Operator.Admit",
335
+ "args": {
336
+ "symbol": {
337
+ "value": ">"
338
+ }
339
+ }
340
+ },
341
+ {
342
+ "verb": "Expression::Operator.Propose",
343
+ "args": {
344
+ "symbol": {
345
+ "value": "=="
346
+ },
347
+ "category": {
348
+ "value": "comparison"
349
+ },
350
+ "precedence": {
351
+ "value": 4
352
+ },
353
+ "arity": {
354
+ "value": 2
355
+ },
356
+ "grammar": {
357
+ "value": "outer"
358
+ },
359
+ "strategy": {
360
+ "value": "top_level_split"
361
+ },
362
+ "position": {
363
+ "value": 8
364
+ }
365
+ }
366
+ },
367
+ {
368
+ "verb": "Expression::Operator.Render",
369
+ "args": {
370
+ "symbol": {
371
+ "value": "=="
372
+ },
373
+ "target": {
374
+ "value": "ruby"
375
+ },
376
+ "form": {
377
+ "value": "a == b"
378
+ }
379
+ }
380
+ },
381
+ {
382
+ "verb": "Expression::Operator.Admit",
383
+ "args": {
384
+ "symbol": {
385
+ "value": "=="
386
+ }
387
+ }
388
+ },
389
+ {
390
+ "verb": "Expression::Operator.Propose",
391
+ "args": {
392
+ "symbol": {
393
+ "value": "!="
394
+ },
395
+ "category": {
396
+ "value": "comparison"
397
+ },
398
+ "precedence": {
399
+ "value": 4
400
+ },
401
+ "arity": {
402
+ "value": 2
403
+ },
404
+ "grammar": {
405
+ "value": "outer"
406
+ },
407
+ "strategy": {
408
+ "value": "top_level_split"
409
+ },
410
+ "position": {
411
+ "value": 9
412
+ }
413
+ }
414
+ },
415
+ {
416
+ "verb": "Expression::Operator.Render",
417
+ "args": {
418
+ "symbol": {
419
+ "value": "!="
420
+ },
421
+ "target": {
422
+ "value": "ruby"
423
+ },
424
+ "form": {
425
+ "value": "a != b"
426
+ }
427
+ }
428
+ },
429
+ {
430
+ "verb": "Expression::Operator.Admit",
431
+ "args": {
432
+ "symbol": {
433
+ "value": "!="
434
+ }
435
+ }
436
+ },
437
+ {
438
+ "verb": "Expression::Operator.Propose",
439
+ "args": {
440
+ "symbol": {
441
+ "value": "!"
442
+ },
443
+ "category": {
444
+ "value": "logical"
445
+ },
446
+ "precedence": {
447
+ "value": 5
448
+ },
449
+ "arity": {
450
+ "value": 1
451
+ },
452
+ "grammar": {
453
+ "value": "outer"
454
+ },
455
+ "strategy": {
456
+ "value": "prefix_match"
457
+ },
458
+ "position": {
459
+ "value": 10
460
+ }
461
+ }
462
+ },
463
+ {
464
+ "verb": "Expression::Operator.Render",
465
+ "args": {
466
+ "symbol": {
467
+ "value": "!"
468
+ },
469
+ "target": {
470
+ "value": "ruby"
471
+ },
472
+ "form": {
473
+ "value": "!a"
474
+ }
475
+ }
476
+ },
477
+ {
478
+ "verb": "Expression::Operator.Admit",
479
+ "args": {
480
+ "symbol": {
481
+ "value": "!"
482
+ }
483
+ }
484
+ },
485
+ {
486
+ "verb": "Expression::Operator.Propose",
487
+ "args": {
488
+ "symbol": {
489
+ "value": "+"
490
+ },
491
+ "category": {
492
+ "value": "arithmetic"
493
+ },
494
+ "precedence": {
495
+ "value": 6
496
+ },
497
+ "arity": {
498
+ "value": 2
499
+ },
500
+ "grammar": {
501
+ "value": "inner"
502
+ },
503
+ "strategy": {
504
+ "value": "top_level_split"
505
+ },
506
+ "position": {
507
+ "value": 1
508
+ }
509
+ }
510
+ },
511
+ {
512
+ "verb": "Expression::Operator.Render",
513
+ "args": {
514
+ "symbol": {
515
+ "value": "+"
516
+ },
517
+ "target": {
518
+ "value": "ruby"
519
+ },
520
+ "form": {
521
+ "value": "a + b"
522
+ }
523
+ }
524
+ },
525
+ {
526
+ "verb": "Expression::Operator.Admit",
527
+ "args": {
528
+ "symbol": {
529
+ "value": "+"
530
+ }
531
+ }
532
+ },
533
+ {
534
+ "verb": "Expression::Operator.Propose",
535
+ "args": {
536
+ "symbol": {
537
+ "value": ".modulo"
538
+ },
539
+ "category": {
540
+ "value": "arithmetic"
541
+ },
542
+ "precedence": {
543
+ "value": 6
544
+ },
545
+ "arity": {
546
+ "value": 2
547
+ },
548
+ "grammar": {
549
+ "value": "inner"
550
+ },
551
+ "strategy": {
552
+ "value": "call_pattern_match"
553
+ },
554
+ "position": {
555
+ "value": 7
556
+ }
557
+ }
558
+ },
559
+ {
560
+ "verb": "Expression::Operator.Render",
561
+ "args": {
562
+ "symbol": {
563
+ "value": ".modulo"
564
+ },
565
+ "target": {
566
+ "value": "ruby"
567
+ },
568
+ "form": {
569
+ "value": "a.modulo(b)"
570
+ }
571
+ }
572
+ },
573
+ {
574
+ "verb": "Expression::Operator.Admit",
575
+ "args": {
576
+ "symbol": {
577
+ "value": ".modulo"
578
+ }
579
+ }
580
+ },
581
+ {
582
+ "verb": "Expression::Operator.Propose",
583
+ "args": {
584
+ "symbol": {
585
+ "value": ".positive?"
586
+ },
587
+ "category": {
588
+ "value": "sign_test"
589
+ },
590
+ "precedence": {
591
+ "value": 7
592
+ },
593
+ "arity": {
594
+ "value": 1
595
+ },
596
+ "grammar": {
597
+ "value": "inner"
598
+ },
599
+ "strategy": {
600
+ "value": "suffix_match"
601
+ },
602
+ "position": {
603
+ "value": 2
604
+ }
605
+ }
606
+ },
607
+ {
608
+ "verb": "Expression::Operator.Render",
609
+ "args": {
610
+ "symbol": {
611
+ "value": ".positive?"
612
+ },
613
+ "target": {
614
+ "value": "ruby"
615
+ },
616
+ "form": {
617
+ "value": "a.positive?"
618
+ }
619
+ }
620
+ },
621
+ {
622
+ "verb": "Expression::Operator.Admit",
623
+ "args": {
624
+ "symbol": {
625
+ "value": ".positive?"
626
+ }
627
+ }
628
+ },
629
+ {
630
+ "verb": "Expression::Operator.Propose",
631
+ "args": {
632
+ "symbol": {
633
+ "value": ".negative?"
634
+ },
635
+ "category": {
636
+ "value": "sign_test"
637
+ },
638
+ "precedence": {
639
+ "value": 7
640
+ },
641
+ "arity": {
642
+ "value": 1
643
+ },
644
+ "grammar": {
645
+ "value": "inner"
646
+ },
647
+ "strategy": {
648
+ "value": "suffix_match"
649
+ },
650
+ "position": {
651
+ "value": 3
652
+ }
653
+ }
654
+ },
655
+ {
656
+ "verb": "Expression::Operator.Render",
657
+ "args": {
658
+ "symbol": {
659
+ "value": ".negative?"
660
+ },
661
+ "target": {
662
+ "value": "ruby"
663
+ },
664
+ "form": {
665
+ "value": "a.negative?"
666
+ }
667
+ }
668
+ },
669
+ {
670
+ "verb": "Expression::Operator.Admit",
671
+ "args": {
672
+ "symbol": {
673
+ "value": ".negative?"
674
+ }
675
+ }
676
+ },
677
+ {
678
+ "verb": "Expression::Operator.Propose",
679
+ "args": {
680
+ "symbol": {
681
+ "value": ".zero?"
682
+ },
683
+ "category": {
684
+ "value": "sign_test"
685
+ },
686
+ "precedence": {
687
+ "value": 7
688
+ },
689
+ "arity": {
690
+ "value": 1
691
+ },
692
+ "grammar": {
693
+ "value": "inner"
694
+ },
695
+ "strategy": {
696
+ "value": "suffix_match"
697
+ },
698
+ "position": {
699
+ "value": 4
700
+ }
701
+ }
702
+ },
703
+ {
704
+ "verb": "Expression::Operator.Render",
705
+ "args": {
706
+ "symbol": {
707
+ "value": ".zero?"
708
+ },
709
+ "target": {
710
+ "value": "ruby"
711
+ },
712
+ "form": {
713
+ "value": "a.zero?"
714
+ }
715
+ }
716
+ },
717
+ {
718
+ "verb": "Expression::Operator.Admit",
719
+ "args": {
720
+ "symbol": {
721
+ "value": ".zero?"
722
+ }
723
+ }
724
+ },
725
+ {
726
+ "verb": "Expression::Operator.Propose",
727
+ "args": {
728
+ "symbol": {
729
+ "value": ".empty?"
730
+ },
731
+ "category": {
732
+ "value": "sized"
733
+ },
734
+ "precedence": {
735
+ "value": 8
736
+ },
737
+ "arity": {
738
+ "value": 1
739
+ },
740
+ "grammar": {
741
+ "value": "inner"
742
+ },
743
+ "strategy": {
744
+ "value": "suffix_match"
745
+ },
746
+ "position": {
747
+ "value": 5
748
+ }
749
+ }
750
+ },
751
+ {
752
+ "verb": "Expression::Operator.Render",
753
+ "args": {
754
+ "symbol": {
755
+ "value": ".empty?"
756
+ },
757
+ "target": {
758
+ "value": "ruby"
759
+ },
760
+ "form": {
761
+ "value": "a.empty?"
762
+ }
763
+ }
764
+ },
765
+ {
766
+ "verb": "Expression::Operator.Admit",
767
+ "args": {
768
+ "symbol": {
769
+ "value": ".empty?"
770
+ }
771
+ }
772
+ },
773
+ {
774
+ "verb": "Expression::Operator.Propose",
775
+ "args": {
776
+ "symbol": {
777
+ "value": ".to_s"
778
+ },
779
+ "category": {
780
+ "value": "to_string"
781
+ },
782
+ "precedence": {
783
+ "value": 9
784
+ },
785
+ "arity": {
786
+ "value": 1
787
+ },
788
+ "grammar": {
789
+ "value": "inner"
790
+ },
791
+ "strategy": {
792
+ "value": "suffix_match"
793
+ },
794
+ "position": {
795
+ "value": 6
796
+ }
797
+ }
798
+ },
799
+ {
800
+ "verb": "Expression::Operator.Render",
801
+ "args": {
802
+ "symbol": {
803
+ "value": ".to_s"
804
+ },
805
+ "target": {
806
+ "value": "ruby"
807
+ },
808
+ "form": {
809
+ "value": "a.to_s"
810
+ }
811
+ }
812
+ },
813
+ {
814
+ "verb": "Expression::Operator.Admit",
815
+ "args": {
816
+ "symbol": {
817
+ "value": ".to_s"
818
+ }
819
+ }
820
+ },
821
+ {
822
+ "verb": "Expression::Operator.Propose",
823
+ "args": {
824
+ "symbol": {
825
+ "value": ".size"
826
+ },
827
+ "category": {
828
+ "value": "sized"
829
+ },
830
+ "precedence": {
831
+ "value": 8
832
+ },
833
+ "arity": {
834
+ "value": 1
835
+ },
836
+ "grammar": {
837
+ "value": "inner"
838
+ },
839
+ "strategy": {
840
+ "value": "suffix_match"
841
+ },
842
+ "position": {
843
+ "value": 8
844
+ }
845
+ }
846
+ },
847
+ {
848
+ "verb": "Expression::Operator.Render",
849
+ "args": {
850
+ "symbol": {
851
+ "value": ".size"
852
+ },
853
+ "target": {
854
+ "value": "ruby"
855
+ },
856
+ "form": {
857
+ "value": "a.size"
858
+ }
859
+ }
860
+ },
861
+ {
862
+ "verb": "Expression::Operator.Admit",
863
+ "args": {
864
+ "symbol": {
865
+ "value": ".size"
866
+ }
867
+ }
868
+ },
869
+ {
870
+ "verb": "Expression::Operator.Propose",
871
+ "args": {
872
+ "symbol": {
873
+ "value": ".any?"
874
+ },
875
+ "category": {
876
+ "value": "enumeration"
877
+ },
878
+ "precedence": {
879
+ "value": 10
880
+ },
881
+ "arity": {
882
+ "value": 2
883
+ },
884
+ "grammar": {
885
+ "value": "inner"
886
+ },
887
+ "strategy": {
888
+ "value": "block_pattern_match"
889
+ },
890
+ "position": {
891
+ "value": 9
892
+ }
893
+ }
894
+ },
895
+ {
896
+ "verb": "Expression::Operator.Render",
897
+ "args": {
898
+ "symbol": {
899
+ "value": ".any?"
900
+ },
901
+ "target": {
902
+ "value": "ruby"
903
+ },
904
+ "form": {
905
+ "value": "a.any? { |x| p }"
906
+ }
907
+ }
908
+ },
909
+ {
910
+ "verb": "Expression::Operator.Admit",
911
+ "args": {
912
+ "symbol": {
913
+ "value": ".any?"
914
+ }
915
+ }
916
+ },
917
+ {
918
+ "verb": "Expression::Operator.Propose",
919
+ "args": {
920
+ "symbol": {
921
+ "value": ".none?"
922
+ },
923
+ "category": {
924
+ "value": "enumeration"
925
+ },
926
+ "precedence": {
927
+ "value": 10
928
+ },
929
+ "arity": {
930
+ "value": 2
931
+ },
932
+ "grammar": {
933
+ "value": "inner"
934
+ },
935
+ "strategy": {
936
+ "value": "block_pattern_match"
937
+ },
938
+ "position": {
939
+ "value": 10
940
+ }
941
+ }
942
+ },
943
+ {
944
+ "verb": "Expression::Operator.Render",
945
+ "args": {
946
+ "symbol": {
947
+ "value": ".none?"
948
+ },
949
+ "target": {
950
+ "value": "ruby"
951
+ },
952
+ "form": {
953
+ "value": "a.none? { |x| p }"
954
+ }
955
+ }
956
+ },
957
+ {
958
+ "verb": "Expression::Operator.Admit",
959
+ "args": {
960
+ "symbol": {
961
+ "value": ".none?"
962
+ }
963
+ }
964
+ },
965
+ {
966
+ "verb": "Expression::Operator.Propose",
967
+ "args": {
968
+ "symbol": {
969
+ "value": ".all?"
970
+ },
971
+ "category": {
972
+ "value": "enumeration"
973
+ },
974
+ "precedence": {
975
+ "value": 10
976
+ },
977
+ "arity": {
978
+ "value": 2
979
+ },
980
+ "grammar": {
981
+ "value": "inner"
982
+ },
983
+ "strategy": {
984
+ "value": "block_pattern_match"
985
+ },
986
+ "position": {
987
+ "value": 11
988
+ }
989
+ }
990
+ },
991
+ {
992
+ "verb": "Expression::Operator.Render",
993
+ "args": {
994
+ "symbol": {
995
+ "value": ".all?"
996
+ },
997
+ "target": {
998
+ "value": "ruby"
999
+ },
1000
+ "form": {
1001
+ "value": "a.all? { |x| p }"
1002
+ }
1003
+ }
1004
+ },
1005
+ {
1006
+ "verb": "Expression::Operator.Admit",
1007
+ "args": {
1008
+ "symbol": {
1009
+ "value": ".all?"
1010
+ }
1011
+ }
1012
+ },
1013
+ {
1014
+ "verb": "Expression::Operator.Propose",
1015
+ "args": {
1016
+ "symbol": {
1017
+ "value": ".find"
1018
+ },
1019
+ "category": {
1020
+ "value": "enumeration"
1021
+ },
1022
+ "precedence": {
1023
+ "value": 10
1024
+ },
1025
+ "arity": {
1026
+ "value": 2
1027
+ },
1028
+ "grammar": {
1029
+ "value": "inner"
1030
+ },
1031
+ "strategy": {
1032
+ "value": "block_pattern_match"
1033
+ },
1034
+ "position": {
1035
+ "value": 12
1036
+ }
1037
+ }
1038
+ },
1039
+ {
1040
+ "verb": "Expression::Operator.Render",
1041
+ "args": {
1042
+ "symbol": {
1043
+ "value": ".find"
1044
+ },
1045
+ "target": {
1046
+ "value": "ruby"
1047
+ },
1048
+ "form": {
1049
+ "value": "a.find { |x| p }"
1050
+ }
1051
+ }
1052
+ },
1053
+ {
1054
+ "verb": "Expression::Operator.Admit",
1055
+ "args": {
1056
+ "symbol": {
1057
+ "value": ".find"
1058
+ }
1059
+ }
1060
+ },
1061
+ {
1062
+ "verb": "Expression::Operator.Propose",
1063
+ "args": {
1064
+ "symbol": {
1065
+ "value": ".match?"
1066
+ },
1067
+ "category": {
1068
+ "value": "pattern_match"
1069
+ },
1070
+ "precedence": {
1071
+ "value": 7
1072
+ },
1073
+ "arity": {
1074
+ "value": 2
1075
+ },
1076
+ "grammar": {
1077
+ "value": "inner"
1078
+ },
1079
+ "strategy": {
1080
+ "value": "call_pattern_match"
1081
+ },
1082
+ "position": {
1083
+ "value": 13
1084
+ }
1085
+ }
1086
+ },
1087
+ {
1088
+ "verb": "Expression::Operator.Render",
1089
+ "args": {
1090
+ "symbol": {
1091
+ "value": ".match?"
1092
+ },
1093
+ "target": {
1094
+ "value": "ruby"
1095
+ },
1096
+ "form": {
1097
+ "value": "receiver.match?(/pattern/)"
1098
+ }
1099
+ }
1100
+ },
1101
+ {
1102
+ "verb": "Expression::Operator.Render",
1103
+ "args": {
1104
+ "symbol": {
1105
+ "value": ".match?"
1106
+ },
1107
+ "target": {
1108
+ "value": "rust"
1109
+ },
1110
+ "form": {
1111
+ "value": "receiver.match?(/pattern/) -> regex crate, Ruby-Regexp-compatible subset"
1112
+ }
1113
+ }
1114
+ },
1115
+ {
1116
+ "verb": "Expression::Operator.Admit",
1117
+ "args": {
1118
+ "symbol": {
1119
+ "value": ".match?"
1120
+ }
1121
+ }
1122
+ },
1123
+ {
1124
+ "verb": "Expression::Operator.Propose",
1125
+ "args": {
1126
+ "symbol": {
1127
+ "value": ".present?"
1128
+ },
1129
+ "category": {
1130
+ "value": "presence"
1131
+ },
1132
+ "precedence": {
1133
+ "value": 7
1134
+ },
1135
+ "arity": {
1136
+ "value": 1
1137
+ },
1138
+ "grammar": {
1139
+ "value": "inner"
1140
+ },
1141
+ "strategy": {
1142
+ "value": "suffix_match"
1143
+ },
1144
+ "position": {
1145
+ "value": 14
1146
+ }
1147
+ }
1148
+ },
1149
+ {
1150
+ "verb": "Expression::Operator.Render",
1151
+ "args": {
1152
+ "symbol": {
1153
+ "value": ".present?"
1154
+ },
1155
+ "target": {
1156
+ "value": "ruby"
1157
+ },
1158
+ "form": {
1159
+ "value": "a.present?"
1160
+ }
1161
+ }
1162
+ },
1163
+ {
1164
+ "verb": "Expression::Operator.Render",
1165
+ "args": {
1166
+ "symbol": {
1167
+ "value": ".present?"
1168
+ },
1169
+ "target": {
1170
+ "value": "rust"
1171
+ },
1172
+ "form": {
1173
+ "value": "a.present? -> !blank(a)"
1174
+ }
1175
+ }
1176
+ },
1177
+ {
1178
+ "verb": "Expression::Operator.Admit",
1179
+ "args": {
1180
+ "symbol": {
1181
+ "value": ".present?"
1182
+ }
1183
+ }
1184
+ },
1185
+ {
1186
+ "verb": "Expression::Operator.Propose",
1187
+ "args": {
1188
+ "symbol": {
1189
+ "value": ".blank?"
1190
+ },
1191
+ "category": {
1192
+ "value": "presence"
1193
+ },
1194
+ "precedence": {
1195
+ "value": 7
1196
+ },
1197
+ "arity": {
1198
+ "value": 1
1199
+ },
1200
+ "grammar": {
1201
+ "value": "inner"
1202
+ },
1203
+ "strategy": {
1204
+ "value": "suffix_match"
1205
+ },
1206
+ "position": {
1207
+ "value": 15
1208
+ }
1209
+ }
1210
+ },
1211
+ {
1212
+ "verb": "Expression::Operator.Render",
1213
+ "args": {
1214
+ "symbol": {
1215
+ "value": ".blank?"
1216
+ },
1217
+ "target": {
1218
+ "value": "ruby"
1219
+ },
1220
+ "form": {
1221
+ "value": "a.blank?"
1222
+ }
1223
+ }
1224
+ },
1225
+ {
1226
+ "verb": "Expression::Operator.Render",
1227
+ "args": {
1228
+ "symbol": {
1229
+ "value": ".blank?"
1230
+ },
1231
+ "target": {
1232
+ "value": "rust"
1233
+ },
1234
+ "form": {
1235
+ "value": "a.blank? -> blank(a)"
1236
+ }
1237
+ }
1238
+ },
1239
+ {
1240
+ "verb": "Expression::Operator.Admit",
1241
+ "args": {
1242
+ "symbol": {
1243
+ "value": ".blank?"
1244
+ }
1245
+ }
1246
+ },
1247
+ {
1248
+ "verb": "Expression::Operator.Propose",
1249
+ "args": {
1250
+ "symbol": {
1251
+ "value": ".split"
1252
+ },
1253
+ "category": {
1254
+ "value": "text"
1255
+ },
1256
+ "precedence": {
1257
+ "value": 7
1258
+ },
1259
+ "arity": {
1260
+ "value": 2
1261
+ },
1262
+ "grammar": {
1263
+ "value": "inner"
1264
+ },
1265
+ "strategy": {
1266
+ "value": "call_pattern_match"
1267
+ },
1268
+ "position": {
1269
+ "value": 16
1270
+ }
1271
+ }
1272
+ },
1273
+ {
1274
+ "verb": "Expression::Operator.Render",
1275
+ "args": {
1276
+ "symbol": {
1277
+ "value": ".split"
1278
+ },
1279
+ "target": {
1280
+ "value": "ruby"
1281
+ },
1282
+ "form": {
1283
+ "value": "a.split(\"SEP\")"
1284
+ }
1285
+ }
1286
+ },
1287
+ {
1288
+ "verb": "Expression::Operator.Render",
1289
+ "args": {
1290
+ "symbol": {
1291
+ "value": ".split"
1292
+ },
1293
+ "target": {
1294
+ "value": "rust"
1295
+ },
1296
+ "form": {
1297
+ "value": "a.split(\"SEP\") -> Value::Array of Value::Str"
1298
+ }
1299
+ }
1300
+ },
1301
+ {
1302
+ "verb": "Expression::Operator.Admit",
1303
+ "args": {
1304
+ "symbol": {
1305
+ "value": ".split"
1306
+ }
1307
+ }
1308
+ },
1309
+ {
1310
+ "verb": "Expression::Operator.Propose",
1311
+ "args": {
1312
+ "symbol": {
1313
+ "value": ".start_with?"
1314
+ },
1315
+ "category": {
1316
+ "value": "text"
1317
+ },
1318
+ "precedence": {
1319
+ "value": 7
1320
+ },
1321
+ "arity": {
1322
+ "value": 2
1323
+ },
1324
+ "grammar": {
1325
+ "value": "inner"
1326
+ },
1327
+ "strategy": {
1328
+ "value": "call_pattern_match"
1329
+ },
1330
+ "position": {
1331
+ "value": 17
1332
+ }
1333
+ }
1334
+ },
1335
+ {
1336
+ "verb": "Expression::Operator.Render",
1337
+ "args": {
1338
+ "symbol": {
1339
+ "value": ".start_with?"
1340
+ },
1341
+ "target": {
1342
+ "value": "ruby"
1343
+ },
1344
+ "form": {
1345
+ "value": "a.start_with?(\"prefix\")"
1346
+ }
1347
+ }
1348
+ },
1349
+ {
1350
+ "verb": "Expression::Operator.Render",
1351
+ "args": {
1352
+ "symbol": {
1353
+ "value": ".start_with?"
1354
+ },
1355
+ "target": {
1356
+ "value": "rust"
1357
+ },
1358
+ "form": {
1359
+ "value": "a.start_with?(\"prefix\")"
1360
+ }
1361
+ }
1362
+ },
1363
+ {
1364
+ "verb": "Expression::Operator.Admit",
1365
+ "args": {
1366
+ "symbol": {
1367
+ "value": ".start_with?"
1368
+ }
1369
+ }
1370
+ },
1371
+ {
1372
+ "verb": "Expression::Operator.Propose",
1373
+ "args": {
1374
+ "symbol": {
1375
+ "value": ".end_with?"
1376
+ },
1377
+ "category": {
1378
+ "value": "text"
1379
+ },
1380
+ "precedence": {
1381
+ "value": 7
1382
+ },
1383
+ "arity": {
1384
+ "value": 2
1385
+ },
1386
+ "grammar": {
1387
+ "value": "inner"
1388
+ },
1389
+ "strategy": {
1390
+ "value": "call_pattern_match"
1391
+ },
1392
+ "position": {
1393
+ "value": 18
1394
+ }
1395
+ }
1396
+ },
1397
+ {
1398
+ "verb": "Expression::Operator.Render",
1399
+ "args": {
1400
+ "symbol": {
1401
+ "value": ".end_with?"
1402
+ },
1403
+ "target": {
1404
+ "value": "ruby"
1405
+ },
1406
+ "form": {
1407
+ "value": "a.end_with?(\"suffix\")"
1408
+ }
1409
+ }
1410
+ },
1411
+ {
1412
+ "verb": "Expression::Operator.Render",
1413
+ "args": {
1414
+ "symbol": {
1415
+ "value": ".end_with?"
1416
+ },
1417
+ "target": {
1418
+ "value": "rust"
1419
+ },
1420
+ "form": {
1421
+ "value": "a.end_with?(\"suffix\")"
1422
+ }
1423
+ }
1424
+ },
1425
+ {
1426
+ "verb": "Expression::Operator.Admit",
1427
+ "args": {
1428
+ "symbol": {
1429
+ "value": ".end_with?"
1430
+ }
1431
+ }
1432
+ },
1433
+ {
1434
+ "verb": "Expression::Operator.Propose",
1435
+ "args": {
1436
+ "symbol": {
1437
+ "value": ".first"
1438
+ },
1439
+ "category": {
1440
+ "value": "positional"
1441
+ },
1442
+ "precedence": {
1443
+ "value": 7
1444
+ },
1445
+ "arity": {
1446
+ "value": 1
1447
+ },
1448
+ "grammar": {
1449
+ "value": "inner"
1450
+ },
1451
+ "strategy": {
1452
+ "value": "suffix_match"
1453
+ },
1454
+ "position": {
1455
+ "value": 19
1456
+ }
1457
+ }
1458
+ },
1459
+ {
1460
+ "verb": "Expression::Operator.Render",
1461
+ "args": {
1462
+ "symbol": {
1463
+ "value": ".first"
1464
+ },
1465
+ "target": {
1466
+ "value": "ruby"
1467
+ },
1468
+ "form": {
1469
+ "value": "a.first"
1470
+ }
1471
+ }
1472
+ },
1473
+ {
1474
+ "verb": "Expression::Operator.Render",
1475
+ "args": {
1476
+ "symbol": {
1477
+ "value": ".first"
1478
+ },
1479
+ "target": {
1480
+ "value": "rust"
1481
+ },
1482
+ "form": {
1483
+ "value": "a.first -> first element or Nil"
1484
+ }
1485
+ }
1486
+ },
1487
+ {
1488
+ "verb": "Expression::Operator.Admit",
1489
+ "args": {
1490
+ "symbol": {
1491
+ "value": ".first"
1492
+ }
1493
+ }
1494
+ },
1495
+ {
1496
+ "verb": "Expression::Operator.Propose",
1497
+ "args": {
1498
+ "symbol": {
1499
+ "value": ".last"
1500
+ },
1501
+ "category": {
1502
+ "value": "positional"
1503
+ },
1504
+ "precedence": {
1505
+ "value": 7
1506
+ },
1507
+ "arity": {
1508
+ "value": 1
1509
+ },
1510
+ "grammar": {
1511
+ "value": "inner"
1512
+ },
1513
+ "strategy": {
1514
+ "value": "suffix_match"
1515
+ },
1516
+ "position": {
1517
+ "value": 20
1518
+ }
1519
+ }
1520
+ },
1521
+ {
1522
+ "verb": "Expression::Operator.Render",
1523
+ "args": {
1524
+ "symbol": {
1525
+ "value": ".last"
1526
+ },
1527
+ "target": {
1528
+ "value": "ruby"
1529
+ },
1530
+ "form": {
1531
+ "value": "a.last"
1532
+ }
1533
+ }
1534
+ },
1535
+ {
1536
+ "verb": "Expression::Operator.Render",
1537
+ "args": {
1538
+ "symbol": {
1539
+ "value": ".last"
1540
+ },
1541
+ "target": {
1542
+ "value": "rust"
1543
+ },
1544
+ "form": {
1545
+ "value": "a.last -> last element or Nil"
1546
+ }
1547
+ }
1548
+ },
1549
+ {
1550
+ "verb": "Expression::Operator.Admit",
1551
+ "args": {
1552
+ "symbol": {
1553
+ "value": ".last"
1554
+ }
1555
+ }
1556
+ },
1557
+ {
1558
+ "verb": "Expression::Normalisation.Propose",
1559
+ "args": {
1560
+ "name": {
1561
+ "value": "collapse_whitespace"
1562
+ },
1563
+ "strategy": {
1564
+ "value": "collapse_whitespace"
1565
+ },
1566
+ "source_token": {
1567
+ "value": ""
1568
+ },
1569
+ "replacement": {
1570
+ "value": ""
1571
+ },
1572
+ "boundary": {
1573
+ "value": "none"
1574
+ },
1575
+ "position": {
1576
+ "value": 1
1577
+ }
1578
+ }
1579
+ },
1580
+ {
1581
+ "verb": "Expression::Normalisation.Read",
1582
+ "args": {
1583
+ "name": {
1584
+ "value": "collapse_whitespace"
1585
+ },
1586
+ "target": {
1587
+ "value": "ruby"
1588
+ },
1589
+ "form": {
1590
+ "value": "text.gsub(/\\s+/, \" \")"
1591
+ }
1592
+ }
1593
+ },
1594
+ {
1595
+ "verb": "Expression::Normalisation.Admit",
1596
+ "args": {
1597
+ "name": {
1598
+ "value": "collapse_whitespace"
1599
+ }
1600
+ }
1601
+ },
1602
+ {
1603
+ "verb": "Expression::Normalisation.Propose",
1604
+ "args": {
1605
+ "name": {
1606
+ "value": "length_to_size"
1607
+ },
1608
+ "strategy": {
1609
+ "value": "replace"
1610
+ },
1611
+ "source_token": {
1612
+ "value": ".length"
1613
+ },
1614
+ "replacement": {
1615
+ "value": ".size"
1616
+ },
1617
+ "boundary": {
1618
+ "value": "word"
1619
+ },
1620
+ "position": {
1621
+ "value": 2
1622
+ }
1623
+ }
1624
+ },
1625
+ {
1626
+ "verb": "Expression::Normalisation.Read",
1627
+ "args": {
1628
+ "name": {
1629
+ "value": "length_to_size"
1630
+ },
1631
+ "target": {
1632
+ "value": "ruby"
1633
+ },
1634
+ "form": {
1635
+ "value": "text.gsub(/\\.length(?![[:alnum:]_])/, \".size\")"
1636
+ }
1637
+ }
1638
+ },
1639
+ {
1640
+ "verb": "Expression::Normalisation.Admit",
1641
+ "args": {
1642
+ "name": {
1643
+ "value": "length_to_size"
1644
+ }
1645
+ }
1646
+ }
1647
+ ]
1648
+ }