hecks 3.14.0 → 4.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 +4 -4
  2. data/examples/pizzas/adapters/fake_processor.rb +34 -0
  3. data/examples/pizzas/adapters/payment_signature.rb +66 -0
  4. data/examples/pizzas/adapters/payment_webhook.rb +87 -0
  5. data/examples/pizzas/bluebook/pizzas.behaviors +33 -0
  6. data/examples/pizzas/bluebook/pizzas.hecksagon +5 -3
  7. data/examples/pizzas/config.ru +22 -0
  8. data/lib/hecks/adapters/driven/prism.rb +0 -2
  9. data/lib/hecks/adapters/driven.rb +0 -2
  10. data/lib/hecks/adapters/driving/json.rb +1 -7
  11. data/lib/hecks/bluebook/dsl/bootstrap_table.rb +2 -2
  12. data/lib/hecks/bluebook/dsl/derivation_words.rb +58 -0
  13. data/lib/hecks/bluebook/dsl/translation_builder.rb +6 -37
  14. data/lib/hecks/bluebook/expression/ast_json.rb +0 -9
  15. data/lib/hecks/bluebook/hecksagon.rb +1 -1
  16. data/lib/hecks/bluebook/meta_validator/translation_judge/rules.rb +7 -10
  17. data/lib/hecks/bluebook/meta_validator/translation_judge.rb +4 -8
  18. data/lib/hecks/bluebook/meta_validator.rb +0 -11
  19. data/lib/hecks/bluebook/translation.rb +18 -10
  20. data/lib/hecks/bluebook/translation_expression/evaluator.rb +63 -0
  21. data/lib/hecks/bluebook/translation_expression/parser.rb +127 -0
  22. data/lib/hecks/bluebook/translation_expression.rb +39 -0
  23. data/lib/hecks/bluebook/translation_plan.rb +70 -0
  24. data/lib/hecks/bluebook.rb +2 -0
  25. data/lib/hecks/chapters.rb +3 -3
  26. data/lib/hecks/composer/adapters/claude_composer.adapter +3 -0
  27. data/lib/hecks/composer/adapters/claude_composer.rb +83 -0
  28. data/lib/hecks/composer/adapters/fake_agent.adapter +3 -0
  29. data/lib/hecks/composer/adapters/fake_agent.rb +55 -0
  30. data/lib/hecks/composer/adapters/jev.adapter +3 -0
  31. data/lib/hecks/composer/adapters/jev.rb +66 -0
  32. data/lib/hecks/composer/agent.rb +113 -0
  33. data/lib/hecks/composer/assistant.rb +110 -0
  34. data/lib/hecks/composer/behavior_run.rb +53 -0
  35. data/lib/hecks/composer/bluebook/composer.bluebook +178 -0
  36. data/lib/hecks/composer/bluebook/composer.hecksagon +16 -0
  37. data/lib/hecks/composer/board.rb +65 -0
  38. data/lib/hecks/composer/board_edit/command_text.rb +39 -0
  39. data/lib/hecks/composer/board_edit/source.rb +84 -0
  40. data/lib/hecks/composer/board_edit.rb +144 -0
  41. data/lib/hecks/composer/check.rb +89 -0
  42. data/lib/hecks/composer/domains.rb +81 -0
  43. data/lib/hecks/composer/jobs.rb +134 -0
  44. data/lib/hecks/composer/layout.rb +37 -0
  45. data/lib/hecks/composer/live.rb +150 -0
  46. data/lib/hecks/composer/outline.rb +48 -0
  47. data/lib/hecks/composer/page.html +989 -0
  48. data/lib/hecks/composer/panels.rb +142 -0
  49. data/lib/hecks/composer/parse.rb +83 -0
  50. data/lib/hecks/composer/plain.rb +28 -0
  51. data/lib/hecks/composer/ports/composer_agent.port +7 -0
  52. data/lib/hecks/composer/session.rb +141 -0
  53. data/lib/hecks/composer/toolbox.rb +166 -0
  54. data/lib/hecks/composer/web.rb +156 -0
  55. data/lib/hecks/composer/workbench.rb +51 -0
  56. data/lib/hecks/composer/workspace.rb +81 -0
  57. data/lib/hecks/composer.rb +17 -0
  58. data/lib/hecks/corpus/adapters.rb +22 -0
  59. data/lib/hecks/corpus/rust.rb +1 -1
  60. data/lib/hecks/corpus/worlds.rb +19 -0
  61. data/lib/hecks/corpus.rb +5 -0
  62. data/lib/hecks/forms/app/commands.rb +2 -3
  63. data/lib/hecks/forms/app/queries.rb +2 -3
  64. data/lib/hecks/forms/app/records.rb +17 -5
  65. data/lib/hecks/forms/command_form_renderer.rb +42 -16
  66. data/lib/hecks/forms/field_controls.rb +2 -2
  67. data/lib/hecks/forms/field_renderer.rb +1 -1
  68. data/lib/hecks/forms/field_shape.rb +36 -17
  69. data/lib/hecks/forms/index_renderer.rb +2 -1
  70. data/lib/hecks/forms/page.rb +1 -1
  71. data/lib/hecks/forms/params.rb +0 -13
  72. data/lib/hecks/forms/query_form_renderer.rb +7 -6
  73. data/lib/hecks/forms/record_renderer.rb +11 -7
  74. data/lib/hecks/forms/rule_words.rb +100 -0
  75. data/lib/hecks/forms/value_object_shape.rb +2 -1
  76. data/lib/hecks/fuzzing/bounded_exhaustive_expressions.rb +0 -3
  77. data/lib/hecks/fuzzing/isolated_boot/worlds.rb +3 -6
  78. data/lib/hecks/fuzzing/replay/filters.rb +2 -6
  79. data/lib/hecks/gate/stages.yml +25 -0
  80. data/lib/hecks/grammar/evolve/seeds.rb +0 -6
  81. data/lib/hecks/grammar/evolve.rb +0 -3
  82. data/lib/hecks/grammar/translation.bluebook +1 -1
  83. data/lib/hecks/hecks/adapters/codebase/composing.rb +56 -0
  84. data/lib/hecks/hecks/adapters/codebase/source_tree.rb +3 -1
  85. data/lib/hecks/hecks/adapters/journal_store/changes.rb +0 -26
  86. data/lib/hecks/hecks/adapters/journal_store/examination.rb +2 -23
  87. data/lib/hecks/hecks/adapters/journal_store/readings.rb +3 -11
  88. data/lib/hecks/hecks/adapters/journal_store.rb +0 -11
  89. data/lib/hecks/hecks/adapters/rehearsal/inquiry.rb +4 -11
  90. data/lib/hecks/hecks/adapters/rehearsal/memory_store.rb +0 -9
  91. data/lib/hecks/hecks/adapters/rehearsal/postgres_reading.rb +0 -4
  92. data/lib/hecks/hecks/codebase.behaviors +6 -0
  93. data/lib/hecks/hecks/codebase.bluebook +21 -0
  94. data/lib/hecks/hecks/composer.behaviors +68 -0
  95. data/lib/hecks/hecks/context_map.hecksagon +1 -1
  96. data/lib/hecks/hecks/custodian.behaviors +0 -6
  97. data/lib/hecks/hecks/custodian.bluebook +3 -80
  98. data/lib/hecks/hecks/hecks.hecksagon +2 -2
  99. data/lib/hecks/hecks/hecks.world +1 -1
  100. data/lib/hecks/hecks/rehearsal.bluebook +7 -13
  101. data/lib/hecks/kernel_capabilities/templates.rb +4 -4
  102. data/lib/hecks/kernel_capabilities.rb +1 -1
  103. data/lib/hecks/language/bluebook/vocabulary.bluebook +2 -3
  104. data/lib/hecks/language/translation/translation_aggregate.bluebook +21 -24
  105. data/lib/hecks/ports/access_control.rb +2 -2
  106. data/lib/hecks/ports/persistence/plugins/era/era_check.rb +3 -41
  107. data/lib/hecks/ports/persistence/plugins/era/lineage/coverage.rb +7 -7
  108. data/lib/hecks/ports/persistence/plugins/era/lineage/rewrite.rb +25 -2
  109. data/lib/hecks/ports/persistence/plugins/era/lineage/rules.rb +4 -4
  110. data/lib/hecks/ports/persistence/plugins/era/lineage.rb +17 -25
  111. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/base_sql.rb +0 -12
  112. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/domain_rename.rb +1 -1
  113. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/era_store.rb +2 -22
  114. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/provisioning.rb +0 -1
  115. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage.rb +9 -3
  116. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/minter.rb +3 -29
  117. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/refusals.rb +2 -26
  118. data/lib/hecks/ports/persistence/plugins/era/translation/audit/layer_two.rb +6 -33
  119. data/lib/hecks/ports/persistence/plugins/era/translation/audit/unfed_report.rb +3 -3
  120. data/lib/hecks/ports/persistence/plugins/era/translation/audit.rb +2 -4
  121. data/lib/hecks/ports/persistence/plugins/era/translation/expression_sql.rb +52 -0
  122. data/lib/hecks/ports/persistence/plugins/era/translation/rule_compiler.rb +23 -29
  123. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold.rb +1 -1
  124. data/lib/hecks/ports/persistence/plugins/era/translation.rb +0 -1
  125. data/lib/hecks/ports/persistence/plugins/era.rb +3 -6
  126. data/lib/hecks/ports.rb +0 -1
  127. data/lib/hecks/projection_files.rb +3 -1
  128. data/lib/hecks/projections/deploy/templates/lambda/nat_comment_oauth.tmpl +1 -1
  129. data/lib/hecks/projections/glossary/entries.rb +10 -4
  130. data/lib/hecks/projections/glossary/groups.rb +42 -0
  131. data/lib/hecks/projections/glossary/html/page.rb +7 -2
  132. data/lib/hecks/projections/glossary/html/parser.rb +1 -1
  133. data/lib/hecks/projections/glossary/html/sections.rb +31 -11
  134. data/lib/hecks/projections/glossary/html.rb +1 -2
  135. data/lib/hecks/projections/glossary/markdown.rb +31 -28
  136. data/lib/hecks/projections/glossary/mermaid.rb +3 -0
  137. data/lib/hecks/projections/glossary/page.css +143 -153
  138. data/lib/hecks/projections/glossary/page.js +63 -3
  139. data/lib/hecks/projections/glossary/sentences/actions.rb +88 -0
  140. data/lib/hecks/projections/glossary/sentences/paths.rb +77 -0
  141. data/lib/hecks/projections/glossary/sentences/queries.rb +90 -0
  142. data/lib/hecks/projections/glossary/sentences/value_objects.rb +32 -5
  143. data/lib/hecks/projections/glossary/sentences.rb +13 -3
  144. data/lib/hecks/projections/glossary/slugs.rb +4 -1
  145. data/lib/hecks/projections/glossary.rb +2 -1
  146. data/lib/hecks/projections/plain_english.rb +97 -0
  147. data/lib/hecks/projections/rust_vocabulary/arguments.rb +2 -2
  148. data/lib/hecks/projections/rust_vocabulary/enum_body.rb +20 -25
  149. data/lib/hecks/projections/rust_vocabulary/tests.rb +2 -2
  150. data/lib/hecks/projections/rust_vocabulary.rb +14 -6
  151. data/lib/hecks/projections/site/cms_editor/color.rb +0 -6
  152. data/lib/hecks/projections/statements/actions.rb +99 -0
  153. data/lib/hecks/projections/statements/relationships.rb +86 -0
  154. data/lib/hecks/projections/statements.rb +15 -24
  155. data/lib/hecks/projector/exporter/adapters.rb +112 -0
  156. data/lib/hecks/projector/exporter/translations.rb +18 -35
  157. data/lib/hecks/projector/exporter/worlds.rb +103 -0
  158. data/lib/hecks/projector/exporter.rb +5 -1
  159. data/lib/hecks/quality_control/adapters/agent.rb +6 -7
  160. data/lib/hecks/quality_control/adapters/agent_profile.rb +16 -114
  161. data/lib/hecks/quality_control/cli/qa_mine_combinations.rb +1 -1
  162. data/lib/hecks/runtime/loader/boot_steps.rb +0 -20
  163. data/lib/hecks/runtime/outbox.rb +2 -9
  164. data/lib/hecks/runtime/port_operation_interpreter.rb +1 -9
  165. data/lib/hecks/runtime/remote_dispatcher.rb +2 -2
  166. data/lib/hecks/runtime/value.rb +13 -0
  167. data/lib/hecks/rust_build/project_rust/target_ir.rb +23 -4
  168. data/lib/hecks/rust_build/wasm.rb +0 -12
  169. data/lib/hecks/rust_build/write_if_changed.rb +12 -12
  170. data/lib/hecks/rust_format.rb +77 -0
  171. data/lib/hecks/tools/fuzz_sweep/findings.rb +3 -9
  172. data/lib/hecks/tools/fuzz_sweep.rb +1 -3
  173. data/lib/hecks/tools/translation_audit/verdicts.rb +3 -28
  174. data/lib/hecks/tools/translation_audit.rb +8 -10
  175. data/lib/hecks/tools/translation_scaffold/reporting.rb +1 -1
  176. data/lib/hecks/version.rb +1 -1
  177. data/lib/hecks/vocabulary.rb +2 -1
  178. data/lib/hecks.rb +3 -0
  179. data/prebuilt/{a883a7e568667aa5ac904c82daff356bdf9e996252a36af6def4a4a43efb967e.marshal → 02c09c73b272c1fb5a9ae6d87bb5e5e529208e00f6b4b597dc2c0fd70a9c0964.marshal} +0 -0
  180. data/prebuilt/{1a6f596be124228be93eba1d86dbc9d2933190fa389b284331241cb9f27115a0.marshal → bb84a835cf6a15136bad5ca03aa5bf93a5b92f5f72444618d3ef2412b987fb32.marshal} +0 -0
  181. data/prebuilt/{verdicts-872993b1aa26d73fe48f28251374b8585fed145d02aab42be0f00de386b6ff80.json → verdicts-f1f10da14c8e8f01b4c9b7e3e2d74be8cd2bf4676364ed17fa16975d2a076d75.json} +1 -1
  182. data/rust/Cargo.toml +40 -0
  183. data/rust/build/Cargo.toml +36 -0
  184. data/rust/build/clippy.toml +4 -0
  185. data/rust/build/src/adapters_pass.rs +196 -0
  186. data/rust/build/src/binding_pass.rs +54 -13
  187. data/rust/build/src/build_artifact.rs +23 -5
  188. data/rust/build/src/cargo_sync.rs +69 -26
  189. data/rust/build/src/lineage_pass.rs +101 -87
  190. data/rust/build/src/main.rs +11 -2
  191. data/rust/build/src/pipeline.rs +80 -19
  192. data/rust/build/src/reserved_names.rs +6 -50
  193. data/rust/build/src/resolve.rs +82 -35
  194. data/rust/build/src/rustfmt.rs +100 -0
  195. data/rust/build/src/seams_pass.rs +85 -16
  196. data/rust/build/src/subprocess.rs +30 -6
  197. data/rust/build/src/tmp.rs +5 -2
  198. data/rust/build/src/translation_pass.rs +72 -22
  199. data/rust/build/src/world_pass.rs +109 -0
  200. data/rust/clippy.toml +4 -0
  201. data/rust/codegen/Cargo.toml +36 -0
  202. data/rust/codegen/clippy.toml +4 -0
  203. data/rust/codegen/src/asks.rs +40 -14
  204. data/rust/codegen/src/attr.rs +2 -2
  205. data/rust/codegen/src/bridging.rs +676 -117
  206. data/rust/codegen/src/commands.rs +979 -373
  207. data/rust/codegen/src/constraints.rs +88 -25
  208. data/rust/codegen/src/dependency_planning.rs +128 -34
  209. data/rust/codegen/src/domain_generator.rs +300 -170
  210. data/rust/codegen/src/exemplar.rs +87 -32
  211. data/rust/codegen/src/expr_emitter.rs +54 -6
  212. data/rust/codegen/src/fielded.rs +193 -41
  213. data/rust/codegen/src/hecks_naming.rs +124 -16
  214. data/rust/codegen/src/hecks_naming_tests.rs +81 -0
  215. data/rust/codegen/src/json.rs +80 -44
  216. data/rust/codegen/src/json_codec.rs +585 -149
  217. data/rust/codegen/src/literal.rs +104 -138
  218. data/rust/codegen/src/main.rs +145 -52
  219. data/rust/codegen/src/manifest.rs +76 -14
  220. data/rust/codegen/src/mutations.rs +1212 -239
  221. data/rust/codegen/src/naming.rs +111 -60
  222. data/rust/codegen/src/optional_pass.rs +90 -28
  223. data/rust/codegen/src/ports.rs +5 -4
  224. data/rust/codegen/src/prelude.rs +139 -49
  225. data/rust/codegen/src/queries.rs +601 -226
  226. data/rust/codegen/src/reactions.rs +268 -74
  227. data/rust/codegen/src/read_models.rs +606 -205
  228. data/rust/codegen/src/reference_specs.rs +16 -3
  229. data/rust/codegen/src/registry.rs +128 -79
  230. data/rust/codegen/src/reserved_names.rs +6 -50
  231. data/rust/codegen/src/shared.rs +71 -22
  232. data/rust/codegen/src/sidecars.rs +15 -5
  233. data/rust/codegen/src/skip_reason.rs +8 -2
  234. data/rust/codegen/src/types.rs +306 -108
  235. data/rust/host/Cargo.lock +1 -0
  236. data/rust/host/Cargo.toml +40 -4
  237. data/rust/host/HECKS_RELEASE +1 -1
  238. data/rust/host/clippy.toml +4 -0
  239. data/rust/host/src/api.rs +698 -218
  240. data/rust/host/src/auth.rs +491 -214
  241. data/rust/host/src/b64.rs +91 -0
  242. data/rust/host/src/bin/expr_harness.rs +6 -2
  243. data/rust/host/src/bin/lineage_harness.rs +47 -11
  244. data/rust/host/src/bin/mint_harness.rs +70 -37
  245. data/rust/host/src/bin/validate_harness.rs +16 -8
  246. data/rust/host/src/boot.rs +144 -68
  247. data/rust/host/src/boundary_fuzz/api.rs +130 -32
  248. data/rust/host/src/boundary_fuzz/auth.rs +108 -23
  249. data/rust/host/src/boundary_fuzz/expr_json.rs +85 -11
  250. data/rust/host/src/boundary_fuzz/ir.rs +164 -12
  251. data/rust/host/src/boundary_fuzz/server.rs +283 -36
  252. data/rust/host/src/boundary_fuzz/web.rs +56 -8
  253. data/rust/host/src/checkout.rs +78 -32
  254. data/rust/host/src/clock.rs +8 -0
  255. data/rust/host/src/commerce_ir.rs +333 -95
  256. data/rust/host/src/crypto.rs +33 -0
  257. data/rust/host/src/dispatch.rs +990 -331
  258. data/rust/host/src/expr_json.rs +1021 -273
  259. data/rust/host/src/extension.rs +24 -4
  260. data/rust/host/src/field_hints.rs +11 -7
  261. data/rust/host/src/fuzz_support.rs +85 -13
  262. data/rust/host/src/host.rs +100 -0
  263. data/rust/host/src/http.rs +22 -0
  264. data/rust/host/src/ir.rs +326 -16
  265. data/rust/host/src/journal.rs +277 -176
  266. data/rust/host/src/lambda_client.rs +219 -53
  267. data/rust/host/src/lib.rs +16 -4
  268. data/rust/host/src/log.rs +62 -11
  269. data/rust/host/src/mint.rs +1153 -326
  270. data/rust/host/src/needs.rs +185 -44
  271. data/rust/host/src/payments/keystore.rs +197 -45
  272. data/rust/host/src/payments/roles.rs +39 -7
  273. data/rust/host/src/payments/tests.rs +1427 -282
  274. data/rust/host/src/payments.rs +391 -112
  275. data/rust/host/src/platform_signin/attack_tests.rs +5 -5
  276. data/rust/host/src/platform_signin/config.rs +11 -11
  277. data/rust/host/src/platform_signin/cookie.rs +2 -2
  278. data/rust/host/src/platform_signin/extension.rs +2 -1
  279. data/rust/host/src/platform_signin/handler.rs +9 -8
  280. data/rust/host/src/platform_signin/jti.rs +4 -2
  281. data/rust/host/src/platform_signin/jwks.rs +2 -1
  282. data/rust/host/src/platform_signin/jws.rs +2 -37
  283. data/rust/host/src/platform_signin/known_answer_tests.rs +5 -1
  284. data/rust/host/src/platform_signin/mode_tests.rs +5 -3
  285. data/rust/host/src/platform_signin/pages.rs +20 -20
  286. data/rust/host/src/platform_signin/session.rs +8 -1
  287. data/rust/host/src/platform_signin/settings.rs +6 -6
  288. data/rust/host/src/platform_signin/strict_json.rs +12 -9
  289. data/rust/host/src/platform_signin/verify.rs +41 -41
  290. data/rust/host/src/platform_signin/wiring_support.rs +13 -18
  291. data/rust/host/src/presentation.rs +207 -63
  292. data/rust/host/src/presentation_write.rs +502 -187
  293. data/rust/host/src/query_step.rs +69 -18
  294. data/rust/host/src/rate_limit.rs +541 -142
  295. data/rust/host/src/reference_transform.rs +77 -25
  296. data/rust/host/src/reference_validate.rs +443 -104
  297. data/rust/host/src/resend.rs +190 -55
  298. data/rust/host/src/secrets.rs +116 -21
  299. data/rust/host/src/server.rs +483 -104
  300. data/rust/host/src/storage_shape.rs +88 -21
  301. data/rust/host/src/test_pg.rs +17 -7
  302. data/rust/host/src/ui_schema.rs +495 -207
  303. data/rust/host/src/wasm_runner.rs +21 -6
  304. data/rust/host/src/web/commerce.rs +101 -23
  305. data/rust/host/src/web/newsletter/cooldown.rs +10 -3
  306. data/rust/host/src/web/newsletter/template.rs +26 -7
  307. data/rust/host/src/web/newsletter/tests.rs +112 -23
  308. data/rust/host/src/web/newsletter.rs +209 -59
  309. data/rust/host/src/web/newsletter_send.rs +251 -79
  310. data/rust/host/src/web/registration_receipt/tests.rs +16 -4
  311. data/rust/host/src/web/registration_receipt.rs +100 -24
  312. data/rust/host/src/web/registrations.rs +1384 -332
  313. data/rust/host/src/web/resend_webhook.rs +138 -80
  314. data/rust/host/src/web.rs +2416 -508
  315. data/rust/lsp/Cargo.toml +36 -0
  316. data/rust/lsp/clippy.toml +4 -0
  317. data/rust/lsp/src/json.rs +29 -22
  318. data/rust/lsp/src/main.rs +81 -31
  319. data/rust/lsp/src/outline.rs +23 -7
  320. data/rust/lsp/src/rpc.rs +17 -4
  321. data/rust/parser/Cargo.toml +36 -0
  322. data/rust/parser/clippy.toml +4 -0
  323. data/rust/parser/src/build/closed_sets.rs +6 -1
  324. data/rust/parser/src/build/identity.rs +4 -3
  325. data/rust/parser/src/build/mod.rs +1 -1
  326. data/rust/parser/src/build/named_pattern.rs +4 -1
  327. data/rust/parser/src/build/naming.rs +2 -80
  328. data/rust/parser/src/build/pattern_subset.rs +6 -8
  329. data/rust/parser/src/build/query_derive.rs +3 -1
  330. data/rust/parser/src/build/query_inference.rs +14 -5
  331. data/rust/parser/src/build/read_model.rs +4 -1
  332. data/rust/parser/src/build/references.rs +4 -3
  333. data/rust/parser/src/canonical.rs +34 -15
  334. data/rust/parser/src/emit.rs +187 -105
  335. data/rust/parser/src/expr/ast_json.rs +134 -42
  336. data/rust/parser/src/expr/evaluator.rs +27 -9
  337. data/rust/parser/src/expr/mod.rs +54 -13
  338. data/rust/parser/src/expr/resolver.rs +299 -92
  339. data/rust/parser/src/ir.rs +35 -3
  340. data/rust/parser/src/keywords.rs +7168 -516
  341. data/rust/parser/src/lex.rs +11 -25
  342. data/rust/parser/src/lib.rs +1 -0
  343. data/rust/parser/src/main.rs +65 -6
  344. data/rust/parser/src/parse/adapter.rs +157 -0
  345. data/rust/parser/src/parse/aggregate.rs +19 -10
  346. data/rust/parser/src/parse/chapter.rs +16 -17
  347. data/rust/parser/src/parse/command.rs +35 -16
  348. data/rust/parser/src/parse/domain_port.rs +4 -7
  349. data/rust/parser/src/parse/entity.rs +21 -11
  350. data/rust/parser/src/parse/hecksagon.rs +10 -4
  351. data/rust/parser/src/parse/lifecycle.rs +9 -5
  352. data/rust/parser/src/parse/mod.rs +22 -91
  353. data/rust/parser/src/parse/needs.rs +21 -12
  354. data/rust/parser/src/parse/policy.rs +2 -2
  355. data/rust/parser/src/parse/process_manager.rs +9 -11
  356. data/rust/parser/src/parse/query.rs +8 -4
  357. data/rust/parser/src/parse/read_model.rs +57 -16
  358. data/rust/parser/src/parse/value_object.rs +7 -2
  359. data/rust/parser/src/parse/world.rs +322 -0
  360. data/rust/parser/src/ruby_value.rs +7 -6
  361. data/rust/src/exemplar/json.rs +4 -4
  362. data/rust/src/exemplar/mutations.rs +18 -0
  363. data/rust/src/exemplar/read_models.rs +1 -10
  364. data/rust/src/kernel/attribute_shapes/composite.rs +54 -14
  365. data/rust/src/kernel/attribute_shapes/list.rs +2 -2
  366. data/rust/src/kernel/attribute_shapes/mod.rs +8 -8
  367. data/rust/src/kernel/attribute_shapes/scalar.rs +2 -2
  368. data/rust/src/kernel/cli.rs +229 -112
  369. data/rust/src/kernel/dispatch.rs +323 -115
  370. data/rust/src/kernel/dispatch_guard_tests.rs +327 -65
  371. data/rust/src/kernel/expr.rs +203 -86
  372. data/rust/src/kernel/expression_operators/arithmetic.rs +138 -25
  373. data/rust/src/kernel/expression_operators/comparison.rs +87 -2
  374. data/rust/src/kernel/expression_operators/enumeration.rs +106 -22
  375. data/rust/src/kernel/expression_operators/logical.rs +9 -3
  376. data/rust/src/kernel/expression_operators/membership.rs +3 -1
  377. data/rust/src/kernel/expression_operators/mod.rs +34 -21
  378. data/rust/src/kernel/expression_operators/pattern_match.rs +46 -11
  379. data/rust/src/kernel/expression_operators/positional.rs +84 -30
  380. data/rust/src/kernel/expression_operators/presence.rs +52 -13
  381. data/rust/src/kernel/expression_operators/sign_test.rs +3 -1
  382. data/rust/src/kernel/expression_operators/sized.rs +24 -8
  383. data/rust/src/kernel/expression_operators/text.rs +120 -27
  384. data/rust/src/kernel/expression_operators/to_string.rs +10 -4
  385. data/rust/src/kernel/json.rs +230 -148
  386. data/rust/src/kernel/mod.rs +46 -33
  387. data/rust/src/kernel/named_query.rs +63 -15
  388. data/rust/src/kernel/needs.rs +112 -25
  389. data/rust/src/kernel/orchestrate.rs +980 -581
  390. data/rust/src/kernel/orchestrate_guard_tests.rs +538 -140
  391. data/rust/src/kernel/pattern.rs +107 -34
  392. data/rust/src/kernel/query_comparators.rs +118 -41
  393. data/rust/src/kernel/query_ordering.rs +13 -5
  394. data/rust/src/kernel/read_model.rs +479 -181
  395. data/rust/src/kernel/reference_lookup.rs +122 -26
  396. data/rust/src/kernel/repository.rs +293 -66
  397. data/rust/src/kernel/routing.rs +58 -42
  398. data/rust/src/kernel/ruby_float.rs +139 -0
  399. data/rust/src/kernel/vocab/aggregate_dispatch_order.rs +57 -57
  400. data/rust/src/kernel/vocab/entity_dispatch_order.rs +54 -54
  401. data/rust/src/kernel/vocab/field_hint.rs +19 -25
  402. data/rust/src/kernel/vocab/mod.rs +6 -6
  403. data/rust/src/kernel/vocab/query_comparator.rs +23 -24
  404. data/rust/src/kernel/vocab/refusal_template.rs +501 -297
  405. data/rust/src/lib.rs +50 -0
  406. data/rust/src/main.rs +4 -1
  407. data/rust/web/Cargo.toml +36 -0
  408. data/rust/web/clippy.toml +4 -0
  409. metadata +82 -15
  410. data/examples/pizzas/bluebook/hecksagon/mock_stripe_payment_adapter.rb +0 -36
  411. data/lib/hecks/adapters/driven/google_authentication.adapter +0 -3
  412. data/lib/hecks/adapters/driven/google_authentication.rb +0 -99
  413. data/lib/hecks/adapters/driven/mock_stripe_adapter.adapter +0 -3
  414. data/lib/hecks/adapters/driven/mock_stripe_adapter.rb +0 -32
  415. data/lib/hecks/ports/authentication.port +0 -6
  416. data/lib/hecks/ports/authentication.rb +0 -67
  417. data/lib/hecks/ports/persistence/plugins/era/translation/approval_file.rb +0 -255
  418. data/lib/hecks/ports/persistence/plugins/era/translation/audit/approval_digest.rb +0 -22
  419. data/rust/host/src/approval.rs +0 -652
@@ -13,24 +13,21 @@ pub enum JsonValue {
13
13
  Bool(bool),
14
14
  Number(String),
15
15
  String(String),
16
- Array(Vec<JsonValue>),
17
- Object(Vec<(String, JsonValue)>),
16
+ Array(Vec<Self>),
17
+ Object(Vec<(String, Self)>),
18
18
  }
19
19
 
20
20
  impl JsonValue {
21
- fn str(s: impl Into<String>) -> JsonValue {
22
- JsonValue::String(s.into())
21
+ fn str(s: impl Into<String>) -> Self {
22
+ Self::String(s.into())
23
23
  }
24
24
 
25
- fn opt_str(s: &Option<String>) -> JsonValue {
26
- match s {
27
- Some(text) => JsonValue::String(text.clone()),
28
- None => JsonValue::Null,
29
- }
25
+ fn opt_str(s: Option<&String>) -> Self {
26
+ s.map_or(Self::Null, |text| Self::String(text.clone()))
30
27
  }
31
28
 
32
- fn strings(items: &[String]) -> JsonValue {
33
- JsonValue::Array(items.iter().map(|s| JsonValue::String(s.clone())).collect())
29
+ fn strings(items: &[String]) -> Self {
30
+ Self::Array(items.iter().map(|s| Self::String(s.clone())).collect())
34
31
  }
35
32
  }
36
33
 
@@ -67,17 +64,23 @@ pub fn bluebook_json(bb: &ir::Bluebook) -> JsonValue {
67
64
  JsonValue::Number(bb.ir_version.to_string()),
68
65
  ),
69
66
  ("name".to_string(), JsonValue::str(bb.name.clone())),
70
- ("version".to_string(), JsonValue::opt_str(&bb.version)),
71
- ("vision".to_string(), JsonValue::opt_str(&bb.vision)),
67
+ (
68
+ "version".to_string(),
69
+ JsonValue::opt_str(bb.version.as_ref()),
70
+ ),
71
+ ("vision".to_string(), JsonValue::opt_str(bb.vision.as_ref())),
72
72
  (
73
73
  "classification".to_string(),
74
- JsonValue::opt_str(&bb.classification),
74
+ JsonValue::opt_str(bb.classification.as_ref()),
75
75
  ),
76
76
  (
77
77
  "formerly_known_as".to_string(),
78
- JsonValue::opt_str(&bb.formerly_known_as),
78
+ JsonValue::opt_str(bb.formerly_known_as.as_ref()),
79
+ ),
80
+ (
81
+ "namespace".to_string(),
82
+ JsonValue::opt_str(bb.namespace.as_ref()),
79
83
  ),
80
- ("namespace".to_string(), JsonValue::opt_str(&bb.namespace)),
81
84
  (
82
85
  "aggregates".to_string(),
83
86
  JsonValue::Array(bb.aggregates.iter().map(aggregate_json).collect()),
@@ -131,7 +134,7 @@ fn aggregate_json(a: &ir::Aggregate) -> JsonValue {
131
134
  ("name".to_string(), JsonValue::str(a.name.clone())),
132
135
  (
133
136
  "description".to_string(),
134
- JsonValue::opt_str(&a.description),
137
+ JsonValue::opt_str(a.description.as_ref()),
135
138
  ),
136
139
  (
137
140
  "identified_by".to_string(),
@@ -168,10 +171,7 @@ fn aggregate_json(a: &ir::Aggregate) -> JsonValue {
168
171
  ),
169
172
  (
170
173
  "lifecycle".to_string(),
171
- a.lifecycle
172
- .as_ref()
173
- .map(lifecycle_json)
174
- .unwrap_or(JsonValue::Null),
174
+ a.lifecycle.as_ref().map_or(JsonValue::Null, lifecycle_json),
175
175
  ),
176
176
  (
177
177
  "entities".to_string(),
@@ -189,8 +189,7 @@ fn aggregate_json(a: &ir::Aggregate) -> JsonValue {
189
189
  "provenance".to_string(),
190
190
  a.provenance
191
191
  .as_ref()
192
- .map(ruby_value_json)
193
- .unwrap_or(JsonValue::Null),
192
+ .map_or(JsonValue::Null, ruby_value_json),
194
193
  ),
195
194
  ])
196
195
  }
@@ -203,17 +202,17 @@ fn attribute_json(a: &ir::Attribute) -> JsonValue {
203
202
  ("list".to_string(), JsonValue::Bool(a.list)),
204
203
  (
205
204
  "default".to_string(),
206
- a.default
207
- .as_ref()
208
- .map(ruby_value_json)
209
- .unwrap_or(JsonValue::Null),
205
+ a.default.as_ref().map_or(JsonValue::Null, ruby_value_json),
210
206
  ),
211
207
  ("optional".to_string(), JsonValue::Bool(a.optional)),
212
- ("pattern".to_string(), JsonValue::opt_str(&a.pattern)),
213
- ("admits".to_string(), JsonValue::opt_str(&a.admits)),
208
+ (
209
+ "pattern".to_string(),
210
+ JsonValue::opt_str(a.pattern.as_ref()),
211
+ ),
212
+ ("admits".to_string(), JsonValue::opt_str(a.admits.as_ref())),
214
213
  (
215
214
  "relationship".to_string(),
216
- JsonValue::opt_str(&a.relationship),
215
+ JsonValue::opt_str(a.relationship.as_ref()),
217
216
  ),
218
217
  ])
219
218
  }
@@ -260,11 +259,14 @@ fn given_json(g: &ir::Given) -> JsonValue {
260
259
  JsonValue::Object(vec![
261
260
  (
262
261
  "description".to_string(),
263
- JsonValue::opt_str(&g.description),
262
+ JsonValue::opt_str(g.description.as_ref()),
264
263
  ),
265
264
  ("canonical".to_string(), JsonValue::str(g.canonical.clone())),
266
265
  // The structured form of the same text, as `AstJson.rule_row` emits beside `canonical`.
267
- ("ast".to_string(), crate::expr::ast_json::emit_predicate(&g.canonical)),
266
+ (
267
+ "ast".to_string(),
268
+ crate::expr::ast_json::emit_predicate(&g.canonical),
269
+ ),
268
270
  ])
269
271
  }
270
272
 
@@ -284,9 +286,12 @@ fn projected_field_json(f: &ir::ProjectedField) -> JsonValue {
284
286
  fn command_json(c: &ir::Command) -> JsonValue {
285
287
  JsonValue::Object(vec![
286
288
  ("name".to_string(), JsonValue::str(c.name.clone())),
287
- ("role".to_string(), JsonValue::opt_str(&c.role)),
288
- ("goal".to_string(), JsonValue::opt_str(&c.goal)),
289
- ("references".to_string(), JsonValue::opt_str(&c.references)),
289
+ ("role".to_string(), JsonValue::opt_str(c.role.as_ref())),
290
+ ("goal".to_string(), JsonValue::opt_str(c.goal.as_ref())),
291
+ (
292
+ "references".to_string(),
293
+ JsonValue::opt_str(c.references.as_ref()),
294
+ ),
290
295
  (
291
296
  "attributes".to_string(),
292
297
  JsonValue::Array(c.attributes.iter().map(attribute_json).collect()),
@@ -315,19 +320,18 @@ fn command_json(c: &ir::Command) -> JsonValue {
315
320
  JsonValue::Array(c.mutations.iter().map(mutation_json).collect()),
316
321
  ),
317
322
  ("emits".to_string(), JsonValue::strings(&c.emits)),
318
- ("from".to_string(), command_from_json(&c.from)),
323
+ ("from".to_string(), command_from_json(c.from.as_ref())),
319
324
  (
320
325
  "provenance".to_string(),
321
326
  c.provenance
322
327
  .as_ref()
323
- .map(ruby_value_json)
324
- .unwrap_or(JsonValue::Null),
328
+ .map_or(JsonValue::Null, ruby_value_json),
325
329
  ),
326
330
  ])
327
331
  }
328
332
 
329
333
  /// `ir::CommandFrom`: a bare JSON string for one state, an array for several, `null` for none.
330
- fn command_from_json(from: &Option<ir::CommandFrom>) -> JsonValue {
334
+ fn command_from_json(from: Option<&ir::CommandFrom>) -> JsonValue {
331
335
  match from {
332
336
  None => JsonValue::Null,
333
337
  Some(ir::CommandFrom::Single(state)) => JsonValue::str(state.clone()),
@@ -392,12 +396,12 @@ fn mutation_json(m: &ir::Mutation) -> JsonValue {
392
396
  ("target".to_string(), JsonValue::str(target.clone())),
393
397
  ("op".to_string(), JsonValue::str(op.clone())),
394
398
  ("sign".to_string(), JsonValue::str(sign.clone())),
395
- ("source".to_string(), mutation_source_json(source)),
399
+ ("source".to_string(), mutation_source_json(source.as_ref())),
396
400
  ]),
397
401
  }
398
402
  }
399
403
 
400
- fn mutation_source_json(source: &Option<ir::MutationSource>) -> JsonValue {
404
+ fn mutation_source_json(source: Option<&ir::MutationSource>) -> JsonValue {
401
405
  match source {
402
406
  Some(ir::MutationSource::Argument(name)) => JsonValue::Object(vec![
403
407
  ("kind".to_string(), JsonValue::str("argument")),
@@ -414,7 +418,10 @@ fn mutation_source_json(source: &Option<ir::MutationSource>) -> JsonValue {
414
418
  Some(ir::MutationSource::Expression(text)) => JsonValue::Object(vec![
415
419
  ("kind".to_string(), JsonValue::str("expression")),
416
420
  ("text".to_string(), JsonValue::str(text.clone())),
417
- ("ast".to_string(), crate::expr::ast_json::emit_resolver(&crate::expr::resolver::parse(text))),
421
+ (
422
+ "ast".to_string(),
423
+ crate::expr::ast_json::emit_resolver(&crate::expr::resolver::parse(text)),
424
+ ),
418
425
  ]),
419
426
  None => JsonValue::Null,
420
427
  }
@@ -434,7 +441,10 @@ fn lifecycle_json(l: &ir::Lifecycle) -> JsonValue {
434
441
  JsonValue::Object(vec![
435
442
  ("command".to_string(), JsonValue::str(t.command.clone())),
436
443
  ("to_state".to_string(), JsonValue::str(t.to_state.clone())),
437
- ("from_state".to_string(), JsonValue::opt_str(&t.from_state)),
444
+ (
445
+ "from_state".to_string(),
446
+ JsonValue::opt_str(t.from_state.as_ref()),
447
+ ),
438
448
  ])
439
449
  })
440
450
  .collect(),
@@ -451,7 +461,9 @@ fn lifecycle_json(l: &ir::Lifecycle) -> JsonValue {
451
461
  .map(|(name, states)| {
452
462
  (
453
463
  name.clone(),
454
- JsonValue::Array(states.iter().map(|s| JsonValue::str(s.clone())).collect()),
464
+ JsonValue::Array(
465
+ states.iter().map(|s| JsonValue::str(s.clone())).collect(),
466
+ ),
455
467
  )
456
468
  })
457
469
  .collect(),
@@ -468,7 +480,7 @@ fn query_json(q: &ir::Query) -> JsonValue {
468
480
  ("name".to_string(), JsonValue::str(q.name.clone())),
469
481
  (
470
482
  "description".to_string(),
471
- JsonValue::opt_str(&q.description),
483
+ JsonValue::opt_str(q.description.as_ref()),
472
484
  ),
473
485
  (
474
486
  "attributes".to_string(),
@@ -478,8 +490,8 @@ fn query_json(q: &ir::Query) -> JsonValue {
478
490
  "wheres".to_string(),
479
491
  JsonValue::Array(q.wheres.iter().map(where_clause_json).collect()),
480
492
  ),
481
- ("order_by".to_string(), order_by_json(&q.order_by)),
482
- ("limit".to_string(), limit_json(&q.limit)),
493
+ ("order_by".to_string(), order_by_json(q.order_by.as_ref())),
494
+ ("limit".to_string(), limit_json(q.limit.as_ref())),
483
495
  ];
484
496
  pairs.extend(query_options_json(&q.options));
485
497
  // `returns` follows the options, only when declared (`Query#to_h`).
@@ -493,7 +505,9 @@ fn query_json(q: &ir::Query) -> JsonValue {
493
505
  JsonValue::Array(
494
506
  q.needs
495
507
  .iter()
496
- .map(|fact| JsonValue::Object(vec![("fact".to_string(), JsonValue::str(fact.clone()))]))
508
+ .map(|fact| {
509
+ JsonValue::Object(vec![("fact".to_string(), JsonValue::str(fact.clone()))])
510
+ })
497
511
  .collect(),
498
512
  ),
499
513
  ));
@@ -516,33 +530,27 @@ fn where_clause_json(w: &ir::WhereClause) -> JsonValue {
516
530
  JsonValue::Object(pairs)
517
531
  }
518
532
 
519
- fn order_by_json(order_by: &Option<ir::OrderBy>) -> JsonValue {
520
- order_by
521
- .as_ref()
522
- .map(|o| {
523
- let mut pairs = vec![
524
- ("field".to_string(), JsonValue::str(o.field.clone())),
525
- ("direction".to_string(), JsonValue::str(o.direction.clone())),
526
- ];
527
- if let Some(target) = &o.target {
528
- pairs.push(("target".to_string(), JsonValue::str(target.clone())));
529
- }
530
- JsonValue::Object(pairs)
531
- })
532
- .unwrap_or(JsonValue::Null)
533
- }
534
-
535
- fn limit_json(limit: &Option<ir::LimitSpec>) -> JsonValue {
536
- limit
537
- .as_ref()
538
- .map(|l| {
539
- let mut pairs = vec![("value".to_string(), JsonValue::str(l.value.clone()))];
540
- if let Some(target) = &l.target {
541
- pairs.push(("target".to_string(), JsonValue::str(target.clone())));
542
- }
543
- JsonValue::Object(pairs)
544
- })
545
- .unwrap_or(JsonValue::Null)
533
+ fn order_by_json(order_by: Option<&ir::OrderBy>) -> JsonValue {
534
+ order_by.map_or(JsonValue::Null, |o| {
535
+ let mut pairs = vec![
536
+ ("field".to_string(), JsonValue::str(o.field.clone())),
537
+ ("direction".to_string(), JsonValue::str(o.direction.clone())),
538
+ ];
539
+ if let Some(target) = &o.target {
540
+ pairs.push(("target".to_string(), JsonValue::str(target.clone())));
541
+ }
542
+ JsonValue::Object(pairs)
543
+ })
544
+ }
545
+
546
+ fn limit_json(limit: Option<&ir::LimitSpec>) -> JsonValue {
547
+ limit.map_or(JsonValue::Null, |l| {
548
+ let mut pairs = vec![("value".to_string(), JsonValue::str(l.value.clone()))];
549
+ if let Some(target) = &l.target {
550
+ pairs.push(("target".to_string(), JsonValue::str(target.clone())));
551
+ }
552
+ JsonValue::Object(pairs)
553
+ })
546
554
  }
547
555
 
548
556
  /// `QuerySpecification::Common::Options#extra_options_to_h`, shared by `query_json` and
@@ -568,8 +576,7 @@ fn query_options_json(o: &ir::QueryOptions) -> Vec<(String, JsonValue)> {
568
576
  "tenant".to_string(),
569
577
  a.tenant
570
578
  .as_ref()
571
- .map(|t| JsonValue::str(t.clone()))
572
- .unwrap_or(JsonValue::Null),
579
+ .map_or(JsonValue::Null, |t| JsonValue::str(t.clone())),
573
580
  ));
574
581
  pairs.push(("authorization".to_string(), JsonValue::Object(fields)));
575
582
  }
@@ -594,7 +601,7 @@ fn entity_json(e: &ir::Entity) -> JsonValue {
594
601
  ("name".to_string(), JsonValue::str(e.name.clone())),
595
602
  (
596
603
  "description".to_string(),
597
- JsonValue::opt_str(&e.description),
604
+ JsonValue::opt_str(e.description.as_ref()),
598
605
  ),
599
606
  (
600
607
  "identified_by".to_string(),
@@ -629,10 +636,7 @@ fn entity_json(e: &ir::Entity) -> JsonValue {
629
636
  ),
630
637
  (
631
638
  "lifecycle".to_string(),
632
- e.lifecycle
633
- .as_ref()
634
- .map(lifecycle_json)
635
- .unwrap_or(JsonValue::Null),
639
+ e.lifecycle.as_ref().map_or(JsonValue::Null, lifecycle_json),
636
640
  ),
637
641
  ])
638
642
  }
@@ -644,15 +648,15 @@ fn read_model_json(r: &ir::ReadModel) -> JsonValue {
644
648
  ("name".to_string(), JsonValue::str(r.name.clone())),
645
649
  (
646
650
  "description".to_string(),
647
- JsonValue::opt_str(&r.description),
651
+ JsonValue::opt_str(r.description.as_ref()),
648
652
  ),
649
653
  (
650
654
  "reference_name".to_string(),
651
- JsonValue::opt_str(&r.reference_name),
655
+ JsonValue::opt_str(r.reference_name.as_ref()),
652
656
  ),
653
657
  (
654
658
  "reference_target".to_string(),
655
- JsonValue::opt_str(&r.reference_target),
659
+ JsonValue::opt_str(r.reference_target.as_ref()),
656
660
  ),
657
661
  (
658
662
  "query_name".to_string(),
@@ -662,8 +666,8 @@ fn read_model_json(r: &ir::ReadModel) -> JsonValue {
662
666
  "wheres".to_string(),
663
667
  JsonValue::Array(r.wheres.iter().map(where_clause_json).collect()),
664
668
  ),
665
- ("order_by".to_string(), order_by_json(&r.order_by)),
666
- ("limit".to_string(), limit_json(&r.limit)),
669
+ ("order_by".to_string(), order_by_json(r.order_by.as_ref())),
670
+ ("limit".to_string(), limit_json(r.limit.as_ref())),
667
671
  (
668
672
  "aggregate_heads".to_string(),
669
673
  JsonValue::Array(
@@ -717,7 +721,10 @@ fn read_model_json(r: &ir::ReadModel) -> JsonValue {
717
721
  pairs.push(("max_field".to_string(), JsonValue::str(field.clone())));
718
722
  }
719
723
  if let Some(field) = &r.percentile_field {
720
- pairs.push(("percentile_field".to_string(), JsonValue::str(field.clone())));
724
+ pairs.push((
725
+ "percentile_field".to_string(),
726
+ JsonValue::str(field.clone()),
727
+ ));
721
728
  // Ruby's own `to_h` guards `percentile_at` on `percentile_field`'s presence too.
722
729
  if let Some(at) = &r.percentile_at {
723
730
  pairs.push(("percentile_at".to_string(), JsonValue::Number(at.clone())));
@@ -741,8 +748,14 @@ fn process_manager_json(pm: &ir::ProcessManager) -> JsonValue {
741
748
  "correlates_by".to_string(),
742
749
  JsonValue::str(pm.correlates_by.clone()),
743
750
  ),
744
- ("starts_on".to_string(), JsonValue::opt_str(&pm.starts_on)),
745
- ("ends_on".to_string(), JsonValue::opt_str(&pm.ends_on)),
751
+ (
752
+ "starts_on".to_string(),
753
+ JsonValue::opt_str(pm.starts_on.as_ref()),
754
+ ),
755
+ (
756
+ "ends_on".to_string(),
757
+ JsonValue::opt_str(pm.ends_on.as_ref()),
758
+ ),
746
759
  ("states".to_string(), JsonValue::strings(&pm.states)),
747
760
  (
748
761
  "handlers".to_string(),
@@ -798,10 +811,9 @@ fn dispatch_spec_json(d: &ir::DispatchSpec) -> JsonValue {
798
811
  ),
799
812
  (
800
813
  "compensates".to_string(),
801
- match &d.compensates {
802
- Some(inner) => dispatch_spec_json(inner),
803
- None => JsonValue::Null,
804
- },
814
+ d.compensates
815
+ .as_ref()
816
+ .map_or(JsonValue::Null, |inner| dispatch_spec_json(inner)),
805
817
  ),
806
818
  ])
807
819
  }
@@ -809,33 +821,41 @@ fn dispatch_spec_json(d: &ir::DispatchSpec) -> JsonValue {
809
821
  /// An ask policy carries `ask` where a trigger policy carries `trigger_command`, as
810
822
  /// `Behaviour::Policy#to_h` does; a trigger policy has no `ask` key at all.
811
823
  fn trigger_or_ask_entry(p: &ir::Policy) -> (String, JsonValue) {
812
- match &p.ask {
813
- Some(name) => ("ask".to_string(), JsonValue::str(name.clone())),
814
- None => (
815
- "trigger_command".to_string(),
816
- JsonValue::opt_str(&p.trigger_command),
817
- ),
818
- }
824
+ p.ask.as_ref().map_or_else(
825
+ || {
826
+ (
827
+ "trigger_command".to_string(),
828
+ JsonValue::opt_str(p.trigger_command.as_ref()),
829
+ )
830
+ },
831
+ |name| ("ask".to_string(), JsonValue::str(name.clone())),
832
+ )
819
833
  }
820
834
 
821
835
  /// `Policy#to_h`: attribute declaration order from reaction.bluebook, then `where_ast` last.
822
836
  fn policy_json(p: &ir::Policy) -> JsonValue {
823
837
  JsonValue::Object(vec![
824
838
  ("name".to_string(), JsonValue::str(p.name.clone())),
825
- ("on_event".to_string(), JsonValue::opt_str(&p.on_event)),
839
+ (
840
+ "on_event".to_string(),
841
+ JsonValue::opt_str(p.on_event.as_ref()),
842
+ ),
826
843
  trigger_or_ask_entry(p),
827
844
  (
828
845
  "target_domain".to_string(),
829
- JsonValue::opt_str(&p.target_domain),
846
+ JsonValue::opt_str(p.target_domain.as_ref()),
830
847
  ),
831
848
  (
832
849
  "expect_undelivered".to_string(),
833
850
  JsonValue::Bool(p.expect_undelivered),
834
851
  ),
835
- ("where".to_string(), JsonValue::opt_str(&p.where_clause)),
852
+ (
853
+ "where".to_string(),
854
+ JsonValue::opt_str(p.where_clause.as_ref()),
855
+ ),
836
856
  (
837
857
  "for_each".to_string(),
838
- JsonValue::opt_str(&p.for_each_query),
858
+ JsonValue::opt_str(p.for_each_query.as_ref()),
839
859
  ),
840
860
  (
841
861
  "with_spec".to_string(),
@@ -911,6 +931,68 @@ fn ruby_value_json(value: &ruby_value::Value) -> JsonValue {
911
931
  }
912
932
  }
913
933
 
934
+ /// One declared adapter, keys in the order the Ruby side prints them.
935
+ pub fn adapter_json(adapter: &ir::Adapter) -> JsonValue {
936
+ JsonValue::Object(vec![
937
+ ("name".to_string(), JsonValue::str(adapter.name.clone())),
938
+ (
939
+ "port".to_string(),
940
+ JsonValue::opt_str(adapter.port.as_ref()),
941
+ ),
942
+ ("fields".to_string(), JsonValue::strings(&adapter.fields)),
943
+ ("secrets".to_string(), JsonValue::strings(&adapter.secrets)),
944
+ (
945
+ "defaults".to_string(),
946
+ JsonValue::Object(
947
+ adapter
948
+ .defaults
949
+ .iter()
950
+ .map(|(k, v)| (k.clone(), ruby_value_json(v)))
951
+ .collect(),
952
+ ),
953
+ ),
954
+ ])
955
+ }
956
+
957
+ /// One merged world, keys in the order the Ruby side prints them. Setting values never appear.
958
+ pub fn world_json(world: &ir::World) -> JsonValue {
959
+ JsonValue::Object(vec![
960
+ ("domain".to_string(), JsonValue::str(world.domain.clone())),
961
+ (
962
+ "realm".to_string(),
963
+ JsonValue::opt_str(world.realm.as_ref()),
964
+ ),
965
+ (
966
+ "latest".to_string(),
967
+ JsonValue::opt_str(world.latest.as_ref()),
968
+ ),
969
+ (
970
+ "default_adapter".to_string(),
971
+ JsonValue::opt_str(world.default_adapter.as_ref()),
972
+ ),
973
+ (
974
+ "default_database".to_string(),
975
+ JsonValue::Bool(world.default_database),
976
+ ),
977
+ (
978
+ "bindings".to_string(),
979
+ JsonValue::Array(
980
+ world
981
+ .bindings
982
+ .iter()
983
+ .map(|b| {
984
+ JsonValue::Object(vec![
985
+ ("verb".to_string(), JsonValue::str(b.verb.clone())),
986
+ ("adapter".to_string(), JsonValue::str(b.adapter.clone())),
987
+ ("settings".to_string(), JsonValue::strings(&b.settings)),
988
+ ])
989
+ })
990
+ .collect(),
991
+ ),
992
+ ),
993
+ ])
994
+ }
995
+
914
996
  fn indent(out: &mut String, depth: usize) {
915
997
  for _ in 0..depth {
916
998
  out.push_str(" ");