hecks 3.14.0 → 5.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 (427) 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/exe/hecks +1 -1
  9. data/lib/hecks/adapters/driven/prism.rb +0 -2
  10. data/lib/hecks/adapters/driven.rb +0 -2
  11. data/lib/hecks/adapters/driving/json.rb +9 -16
  12. data/lib/hecks/bluebook/dsl/bootstrap_table.rb +2 -2
  13. data/lib/hecks/bluebook/dsl/derivation_words.rb +58 -0
  14. data/lib/hecks/bluebook/dsl/translation_builder.rb +6 -37
  15. data/lib/hecks/bluebook/expression/ast_json.rb +0 -9
  16. data/lib/hecks/bluebook/hecksagon.rb +1 -1
  17. data/lib/hecks/bluebook/meta_validator/translation_judge/rules.rb +7 -10
  18. data/lib/hecks/bluebook/meta_validator/translation_judge.rb +4 -8
  19. data/lib/hecks/bluebook/meta_validator.rb +0 -11
  20. data/lib/hecks/bluebook/translation.rb +18 -10
  21. data/lib/hecks/bluebook/translation_expression/evaluator.rb +63 -0
  22. data/lib/hecks/bluebook/translation_expression/parser.rb +127 -0
  23. data/lib/hecks/bluebook/translation_expression.rb +39 -0
  24. data/lib/hecks/bluebook/translation_plan.rb +70 -0
  25. data/lib/hecks/bluebook.rb +2 -0
  26. data/lib/hecks/chapters.rb +3 -3
  27. data/lib/hecks/cli/project_cli/launcher_source.rb +1 -1
  28. data/lib/hecks/composer/adapters/claude_composer.adapter +3 -0
  29. data/lib/hecks/composer/adapters/claude_composer.rb +83 -0
  30. data/lib/hecks/composer/adapters/fake_agent.adapter +3 -0
  31. data/lib/hecks/composer/adapters/fake_agent.rb +55 -0
  32. data/lib/hecks/composer/adapters/jev.adapter +3 -0
  33. data/lib/hecks/composer/adapters/jev.rb +66 -0
  34. data/lib/hecks/composer/agent.rb +113 -0
  35. data/lib/hecks/composer/assistant.rb +110 -0
  36. data/lib/hecks/composer/behavior_run.rb +53 -0
  37. data/lib/hecks/composer/bluebook/composer.bluebook +178 -0
  38. data/lib/hecks/composer/bluebook/composer.hecksagon +16 -0
  39. data/lib/hecks/composer/board.rb +65 -0
  40. data/lib/hecks/composer/board_edit/command_text.rb +39 -0
  41. data/lib/hecks/composer/board_edit/source.rb +84 -0
  42. data/lib/hecks/composer/board_edit.rb +144 -0
  43. data/lib/hecks/composer/check.rb +89 -0
  44. data/lib/hecks/composer/domains.rb +81 -0
  45. data/lib/hecks/composer/jobs.rb +134 -0
  46. data/lib/hecks/composer/layout.rb +37 -0
  47. data/lib/hecks/composer/live.rb +150 -0
  48. data/lib/hecks/composer/outline.rb +48 -0
  49. data/lib/hecks/composer/page.html +989 -0
  50. data/lib/hecks/composer/panels.rb +142 -0
  51. data/lib/hecks/composer/parse.rb +83 -0
  52. data/lib/hecks/composer/plain.rb +28 -0
  53. data/lib/hecks/composer/ports/composer_agent.port +7 -0
  54. data/lib/hecks/composer/session.rb +141 -0
  55. data/lib/hecks/composer/toolbox.rb +166 -0
  56. data/lib/hecks/composer/web.rb +156 -0
  57. data/lib/hecks/composer/workbench.rb +51 -0
  58. data/lib/hecks/composer/workspace.rb +81 -0
  59. data/lib/hecks/composer.rb +17 -0
  60. data/lib/hecks/corpus/adapters.rb +22 -0
  61. data/lib/hecks/corpus/rust.rb +1 -1
  62. data/lib/hecks/corpus/worlds.rb +19 -0
  63. data/lib/hecks/corpus.rb +5 -0
  64. data/lib/hecks/forms/app/commands.rb +2 -3
  65. data/lib/hecks/forms/app/queries.rb +2 -3
  66. data/lib/hecks/forms/app/records.rb +17 -5
  67. data/lib/hecks/forms/app/responses.rb +3 -1
  68. data/lib/hecks/forms/command_form_renderer.rb +42 -16
  69. data/lib/hecks/forms/field_controls.rb +2 -2
  70. data/lib/hecks/forms/field_renderer.rb +1 -1
  71. data/lib/hecks/forms/field_shape.rb +36 -17
  72. data/lib/hecks/forms/index_renderer.rb +2 -1
  73. data/lib/hecks/forms/page.rb +1 -1
  74. data/lib/hecks/forms/params.rb +0 -13
  75. data/lib/hecks/forms/query_form_renderer.rb +7 -6
  76. data/lib/hecks/forms/record_renderer.rb +11 -7
  77. data/lib/hecks/forms/rule_words.rb +100 -0
  78. data/lib/hecks/forms/value_object_shape.rb +2 -1
  79. data/lib/hecks/fuzzing/bounded_exhaustive_expressions.rb +0 -3
  80. data/lib/hecks/fuzzing/isolated_boot/worlds.rb +3 -6
  81. data/lib/hecks/fuzzing/replay/filters.rb +2 -6
  82. data/lib/hecks/gate/stages.yml +25 -0
  83. data/lib/hecks/grammar/evolve/seeds.rb +0 -6
  84. data/lib/hecks/grammar/evolve.rb +0 -3
  85. data/lib/hecks/grammar/translation.bluebook +1 -1
  86. data/lib/hecks/hecks/adapters/codebase/composing.rb +56 -0
  87. data/lib/hecks/hecks/adapters/codebase/source_tree.rb +3 -1
  88. data/lib/hecks/hecks/adapters/first_admin.rb +3 -3
  89. data/lib/hecks/hecks/adapters/journal_store/changes.rb +0 -26
  90. data/lib/hecks/hecks/adapters/journal_store/examination.rb +2 -23
  91. data/lib/hecks/hecks/adapters/journal_store/readings.rb +3 -11
  92. data/lib/hecks/hecks/adapters/journal_store.rb +0 -11
  93. data/lib/hecks/hecks/adapters/rehearsal/inquiry.rb +4 -11
  94. data/lib/hecks/hecks/adapters/rehearsal/memory_store.rb +0 -9
  95. data/lib/hecks/hecks/adapters/rehearsal/postgres_reading.rb +0 -4
  96. data/lib/hecks/hecks/codebase.behaviors +6 -0
  97. data/lib/hecks/hecks/codebase.bluebook +21 -0
  98. data/lib/hecks/hecks/composer.behaviors +68 -0
  99. data/lib/hecks/hecks/context_map.hecksagon +1 -1
  100. data/lib/hecks/hecks/custodian.behaviors +0 -6
  101. data/lib/hecks/hecks/custodian.bluebook +3 -80
  102. data/lib/hecks/hecks/hecks.hecksagon +2 -2
  103. data/lib/hecks/hecks/hecks.world +1 -1
  104. data/lib/hecks/hecks/rehearsal.bluebook +7 -13
  105. data/lib/hecks/kernel_capabilities/templates.rb +4 -4
  106. data/lib/hecks/kernel_capabilities.rb +1 -1
  107. data/lib/hecks/language/bluebook/vocabulary.bluebook +2 -3
  108. data/lib/hecks/language/translation/translation_aggregate.bluebook +21 -24
  109. data/lib/hecks/ports/access_control.rb +2 -2
  110. data/lib/hecks/ports/persistence/plugins/era/era_check.rb +3 -41
  111. data/lib/hecks/ports/persistence/plugins/era/lineage/coverage.rb +7 -7
  112. data/lib/hecks/ports/persistence/plugins/era/lineage/rewrite.rb +25 -2
  113. data/lib/hecks/ports/persistence/plugins/era/lineage/rules.rb +4 -4
  114. data/lib/hecks/ports/persistence/plugins/era/lineage.rb +17 -25
  115. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/base_sql.rb +0 -12
  116. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/domain_rename.rb +1 -1
  117. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/era_store.rb +2 -22
  118. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/provisioning.rb +0 -1
  119. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage.rb +9 -3
  120. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/minter.rb +3 -29
  121. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/refusals.rb +2 -26
  122. data/lib/hecks/ports/persistence/plugins/era/translation/audit/layer_two.rb +6 -33
  123. data/lib/hecks/ports/persistence/plugins/era/translation/audit/unfed_report.rb +3 -3
  124. data/lib/hecks/ports/persistence/plugins/era/translation/audit.rb +2 -4
  125. data/lib/hecks/ports/persistence/plugins/era/translation/expression_sql.rb +52 -0
  126. data/lib/hecks/ports/persistence/plugins/era/translation/rule_compiler.rb +23 -29
  127. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold.rb +1 -1
  128. data/lib/hecks/ports/persistence/plugins/era/translation.rb +0 -1
  129. data/lib/hecks/ports/persistence/plugins/era.rb +3 -6
  130. data/lib/hecks/ports.rb +0 -1
  131. data/lib/hecks/projection_files.rb +3 -1
  132. data/lib/hecks/projections/deploy/templates/lambda/nat_comment_oauth.tmpl +1 -1
  133. data/lib/hecks/projections/glossary/entries.rb +10 -4
  134. data/lib/hecks/projections/glossary/groups.rb +42 -0
  135. data/lib/hecks/projections/glossary/html/page.rb +7 -2
  136. data/lib/hecks/projections/glossary/html/parser.rb +1 -1
  137. data/lib/hecks/projections/glossary/html/sections.rb +31 -11
  138. data/lib/hecks/projections/glossary/html.rb +1 -2
  139. data/lib/hecks/projections/glossary/markdown.rb +31 -28
  140. data/lib/hecks/projections/glossary/mermaid.rb +3 -0
  141. data/lib/hecks/projections/glossary/page.css +143 -153
  142. data/lib/hecks/projections/glossary/page.js +63 -3
  143. data/lib/hecks/projections/glossary/sentences/actions.rb +88 -0
  144. data/lib/hecks/projections/glossary/sentences/paths.rb +77 -0
  145. data/lib/hecks/projections/glossary/sentences/queries.rb +90 -0
  146. data/lib/hecks/projections/glossary/sentences/value_objects.rb +32 -5
  147. data/lib/hecks/projections/glossary/sentences.rb +13 -3
  148. data/lib/hecks/projections/glossary/slugs.rb +4 -1
  149. data/lib/hecks/projections/glossary.rb +2 -1
  150. data/lib/hecks/projections/plain_english.rb +97 -0
  151. data/lib/hecks/projections/rust_vocabulary/arguments.rb +2 -2
  152. data/lib/hecks/projections/rust_vocabulary/enum_body.rb +20 -25
  153. data/lib/hecks/projections/rust_vocabulary/tests.rb +2 -2
  154. data/lib/hecks/projections/rust_vocabulary.rb +14 -6
  155. data/lib/hecks/projections/site/cms_editor/color.rb +0 -6
  156. data/lib/hecks/projections/site/cms_editor/templates/src/host.ts.tmpl +7 -2
  157. data/lib/hecks/projections/statements/actions.rb +99 -0
  158. data/lib/hecks/projections/statements/relationships.rb +86 -0
  159. data/lib/hecks/projections/statements.rb +15 -24
  160. data/lib/hecks/projector/exporter/adapters.rb +112 -0
  161. data/lib/hecks/projector/exporter/translations.rb +18 -35
  162. data/lib/hecks/projector/exporter/worlds.rb +103 -0
  163. data/lib/hecks/projector/exporter.rb +5 -1
  164. data/lib/hecks/quality_control/adapters/agent.rb +6 -7
  165. data/lib/hecks/quality_control/adapters/agent_profile.rb +16 -114
  166. data/lib/hecks/quality_control/cli/qa_mine_combinations.rb +1 -1
  167. data/lib/hecks/runtime/loader/boot_steps.rb +0 -20
  168. data/lib/hecks/runtime/outbox.rb +2 -9
  169. data/lib/hecks/runtime/port_operation_interpreter.rb +1 -9
  170. data/lib/hecks/runtime/remote_dispatcher.rb +2 -2
  171. data/lib/hecks/runtime/value/unwrapping.rb +60 -0
  172. data/lib/hecks/runtime/value.rb +10 -21
  173. data/lib/hecks/rust_build/project_rust/target_ir.rb +23 -4
  174. data/lib/hecks/rust_build/wasm.rb +0 -12
  175. data/lib/hecks/rust_build/write_if_changed.rb +12 -12
  176. data/lib/hecks/rust_format.rb +77 -0
  177. data/lib/hecks/tools/fuzz_sweep/findings.rb +3 -9
  178. data/lib/hecks/tools/fuzz_sweep.rb +1 -3
  179. data/lib/hecks/tools/translation_audit/verdicts.rb +3 -28
  180. data/lib/hecks/tools/translation_audit.rb +8 -10
  181. data/lib/hecks/tools/translation_scaffold/reporting.rb +1 -1
  182. data/lib/hecks/version.rb +1 -1
  183. data/lib/hecks/vocabulary.rb +2 -1
  184. data/lib/hecks.rb +3 -0
  185. data/prebuilt/{1a6f596be124228be93eba1d86dbc9d2933190fa389b284331241cb9f27115a0.marshal → ad68f9e06c8068c2a4176b57abf3083d591d5d8980c2b3e897b97331f965b643.marshal} +0 -0
  186. data/prebuilt/{a883a7e568667aa5ac904c82daff356bdf9e996252a36af6def4a4a43efb967e.marshal → ee22ec8642c4006717ba2b80f46e5efb81de459eef9dfec043e838c0ad4fd720.marshal} +0 -0
  187. data/prebuilt/{verdicts-872993b1aa26d73fe48f28251374b8585fed145d02aab42be0f00de386b6ff80.json → verdicts-b69f5dcbba79c20daa0493476fa7c317004a30aa2bc3d3dc6a722ea70ae2b43b.json} +1 -1
  188. data/rust/Cargo.toml +40 -0
  189. data/rust/build/Cargo.toml +36 -0
  190. data/rust/build/clippy.toml +4 -0
  191. data/rust/build/src/adapters_pass.rs +196 -0
  192. data/rust/build/src/binding_pass.rs +54 -13
  193. data/rust/build/src/build_artifact.rs +23 -5
  194. data/rust/build/src/cargo_sync.rs +69 -26
  195. data/rust/build/src/lineage_pass.rs +101 -87
  196. data/rust/build/src/main.rs +11 -2
  197. data/rust/build/src/pipeline.rs +80 -19
  198. data/rust/build/src/reserved_names.rs +6 -50
  199. data/rust/build/src/resolve.rs +82 -35
  200. data/rust/build/src/rustfmt.rs +100 -0
  201. data/rust/build/src/seams_pass.rs +85 -16
  202. data/rust/build/src/subprocess.rs +30 -6
  203. data/rust/build/src/tmp.rs +5 -2
  204. data/rust/build/src/translation_pass.rs +72 -22
  205. data/rust/build/src/world_pass.rs +109 -0
  206. data/rust/clippy.toml +4 -0
  207. data/rust/codegen/Cargo.toml +36 -0
  208. data/rust/codegen/clippy.toml +4 -0
  209. data/rust/codegen/src/asks.rs +40 -14
  210. data/rust/codegen/src/attr.rs +2 -2
  211. data/rust/codegen/src/bridging.rs +676 -117
  212. data/rust/codegen/src/commands.rs +979 -373
  213. data/rust/codegen/src/constraints.rs +88 -25
  214. data/rust/codegen/src/dependency_planning.rs +128 -34
  215. data/rust/codegen/src/domain_generator.rs +306 -170
  216. data/rust/codegen/src/exemplar.rs +87 -32
  217. data/rust/codegen/src/expr_emitter.rs +54 -6
  218. data/rust/codegen/src/fielded.rs +193 -41
  219. data/rust/codegen/src/hecks_naming.rs +124 -16
  220. data/rust/codegen/src/hecks_naming_tests.rs +81 -0
  221. data/rust/codegen/src/json.rs +80 -44
  222. data/rust/codegen/src/json_codec.rs +585 -149
  223. data/rust/codegen/src/literal.rs +104 -138
  224. data/rust/codegen/src/main.rs +151 -52
  225. data/rust/codegen/src/manifest.rs +76 -14
  226. data/rust/codegen/src/mutations.rs +1212 -239
  227. data/rust/codegen/src/naming.rs +111 -60
  228. data/rust/codegen/src/optional_pass.rs +90 -28
  229. data/rust/codegen/src/ports.rs +5 -4
  230. data/rust/codegen/src/prelude.rs +139 -49
  231. data/rust/codegen/src/presenters.rs +335 -0
  232. data/rust/codegen/src/queries.rs +601 -226
  233. data/rust/codegen/src/reactions.rs +268 -74
  234. data/rust/codegen/src/read_models.rs +574 -229
  235. data/rust/codegen/src/reference_specs.rs +16 -3
  236. data/rust/codegen/src/registry.rs +128 -79
  237. data/rust/codegen/src/reserved_names.rs +6 -50
  238. data/rust/codegen/src/shared.rs +71 -22
  239. data/rust/codegen/src/sidecars.rs +15 -5
  240. data/rust/codegen/src/skip_reason.rs +8 -2
  241. data/rust/codegen/src/types.rs +306 -108
  242. data/rust/host/Cargo.lock +1 -0
  243. data/rust/host/Cargo.toml +40 -4
  244. data/rust/host/HECKS_RELEASE +1 -1
  245. data/rust/host/clippy.toml +4 -0
  246. data/rust/host/src/api.rs +698 -218
  247. data/rust/host/src/auth.rs +491 -214
  248. data/rust/host/src/b64.rs +91 -0
  249. data/rust/host/src/bin/expr_harness.rs +6 -2
  250. data/rust/host/src/bin/lineage_harness.rs +47 -11
  251. data/rust/host/src/bin/mint_harness.rs +70 -37
  252. data/rust/host/src/bin/validate_harness.rs +16 -8
  253. data/rust/host/src/boot.rs +144 -68
  254. data/rust/host/src/boundary_fuzz/api.rs +130 -32
  255. data/rust/host/src/boundary_fuzz/auth.rs +108 -23
  256. data/rust/host/src/boundary_fuzz/expr_json.rs +85 -11
  257. data/rust/host/src/boundary_fuzz/ir.rs +164 -12
  258. data/rust/host/src/boundary_fuzz/server.rs +283 -36
  259. data/rust/host/src/boundary_fuzz/web.rs +56 -8
  260. data/rust/host/src/checkout.rs +78 -32
  261. data/rust/host/src/clock.rs +8 -0
  262. data/rust/host/src/commerce_ir.rs +333 -95
  263. data/rust/host/src/crypto.rs +33 -0
  264. data/rust/host/src/dispatch.rs +1037 -331
  265. data/rust/host/src/expr_json.rs +1021 -273
  266. data/rust/host/src/extension.rs +24 -4
  267. data/rust/host/src/field_hints.rs +11 -7
  268. data/rust/host/src/fuzz_support.rs +85 -13
  269. data/rust/host/src/host.rs +100 -0
  270. data/rust/host/src/http.rs +22 -0
  271. data/rust/host/src/ir.rs +326 -16
  272. data/rust/host/src/journal.rs +277 -176
  273. data/rust/host/src/lambda_client.rs +219 -53
  274. data/rust/host/src/lib.rs +16 -4
  275. data/rust/host/src/log.rs +62 -11
  276. data/rust/host/src/mint.rs +1153 -326
  277. data/rust/host/src/needs.rs +185 -44
  278. data/rust/host/src/payments/keystore.rs +197 -45
  279. data/rust/host/src/payments/roles.rs +39 -7
  280. data/rust/host/src/payments/tests.rs +1427 -282
  281. data/rust/host/src/payments.rs +391 -112
  282. data/rust/host/src/platform_signin/attack_tests.rs +5 -5
  283. data/rust/host/src/platform_signin/config.rs +11 -11
  284. data/rust/host/src/platform_signin/cookie.rs +2 -2
  285. data/rust/host/src/platform_signin/extension.rs +2 -1
  286. data/rust/host/src/platform_signin/handler.rs +9 -8
  287. data/rust/host/src/platform_signin/jti.rs +4 -2
  288. data/rust/host/src/platform_signin/jwks.rs +2 -1
  289. data/rust/host/src/platform_signin/jws.rs +2 -37
  290. data/rust/host/src/platform_signin/known_answer_tests.rs +5 -1
  291. data/rust/host/src/platform_signin/mode_tests.rs +5 -3
  292. data/rust/host/src/platform_signin/pages.rs +20 -20
  293. data/rust/host/src/platform_signin/session.rs +8 -1
  294. data/rust/host/src/platform_signin/settings.rs +6 -6
  295. data/rust/host/src/platform_signin/strict_json.rs +12 -9
  296. data/rust/host/src/platform_signin/verify.rs +41 -41
  297. data/rust/host/src/platform_signin/wiring_support.rs +13 -18
  298. data/rust/host/src/presentation.rs +207 -63
  299. data/rust/host/src/presentation_write.rs +502 -187
  300. data/rust/host/src/query_step.rs +69 -18
  301. data/rust/host/src/rate_limit.rs +541 -142
  302. data/rust/host/src/reference_transform.rs +77 -25
  303. data/rust/host/src/reference_validate.rs +443 -104
  304. data/rust/host/src/resend.rs +190 -55
  305. data/rust/host/src/secrets.rs +116 -21
  306. data/rust/host/src/server.rs +555 -104
  307. data/rust/host/src/storage_shape.rs +88 -21
  308. data/rust/host/src/test_pg.rs +17 -7
  309. data/rust/host/src/ui_schema.rs +495 -207
  310. data/rust/host/src/wasm_runner.rs +21 -6
  311. data/rust/host/src/web/commerce.rs +101 -23
  312. data/rust/host/src/web/newsletter/cooldown.rs +10 -3
  313. data/rust/host/src/web/newsletter/template.rs +26 -7
  314. data/rust/host/src/web/newsletter/tests.rs +112 -23
  315. data/rust/host/src/web/newsletter.rs +209 -59
  316. data/rust/host/src/web/newsletter_send.rs +251 -79
  317. data/rust/host/src/web/registration_receipt/tests.rs +16 -4
  318. data/rust/host/src/web/registration_receipt.rs +100 -24
  319. data/rust/host/src/web/registrations.rs +1384 -332
  320. data/rust/host/src/web/resend_webhook.rs +138 -80
  321. data/rust/host/src/web.rs +2416 -508
  322. data/rust/lsp/Cargo.toml +36 -0
  323. data/rust/lsp/clippy.toml +4 -0
  324. data/rust/lsp/src/json.rs +29 -22
  325. data/rust/lsp/src/main.rs +81 -31
  326. data/rust/lsp/src/outline.rs +23 -7
  327. data/rust/lsp/src/rpc.rs +17 -4
  328. data/rust/parser/Cargo.toml +36 -0
  329. data/rust/parser/clippy.toml +4 -0
  330. data/rust/parser/src/build/closed_sets.rs +6 -1
  331. data/rust/parser/src/build/identity.rs +4 -3
  332. data/rust/parser/src/build/mod.rs +1 -1
  333. data/rust/parser/src/build/named_pattern.rs +4 -1
  334. data/rust/parser/src/build/naming.rs +2 -80
  335. data/rust/parser/src/build/pattern_subset.rs +6 -8
  336. data/rust/parser/src/build/query_derive.rs +3 -1
  337. data/rust/parser/src/build/query_inference.rs +14 -5
  338. data/rust/parser/src/build/read_model.rs +4 -1
  339. data/rust/parser/src/build/references.rs +4 -3
  340. data/rust/parser/src/canonical.rs +34 -15
  341. data/rust/parser/src/emit.rs +187 -105
  342. data/rust/parser/src/expr/ast_json.rs +134 -42
  343. data/rust/parser/src/expr/evaluator.rs +27 -9
  344. data/rust/parser/src/expr/mod.rs +54 -13
  345. data/rust/parser/src/expr/resolver.rs +299 -92
  346. data/rust/parser/src/ir.rs +35 -3
  347. data/rust/parser/src/keywords.rs +7168 -516
  348. data/rust/parser/src/lex.rs +11 -25
  349. data/rust/parser/src/lib.rs +1 -0
  350. data/rust/parser/src/main.rs +65 -6
  351. data/rust/parser/src/parse/adapter.rs +157 -0
  352. data/rust/parser/src/parse/aggregate.rs +19 -10
  353. data/rust/parser/src/parse/chapter.rs +16 -17
  354. data/rust/parser/src/parse/command.rs +35 -16
  355. data/rust/parser/src/parse/domain_port.rs +4 -7
  356. data/rust/parser/src/parse/entity.rs +21 -11
  357. data/rust/parser/src/parse/hecksagon.rs +10 -4
  358. data/rust/parser/src/parse/lifecycle.rs +9 -5
  359. data/rust/parser/src/parse/mod.rs +22 -91
  360. data/rust/parser/src/parse/needs.rs +21 -12
  361. data/rust/parser/src/parse/policy.rs +2 -2
  362. data/rust/parser/src/parse/process_manager.rs +9 -11
  363. data/rust/parser/src/parse/query.rs +8 -4
  364. data/rust/parser/src/parse/read_model.rs +57 -16
  365. data/rust/parser/src/parse/value_object.rs +7 -2
  366. data/rust/parser/src/parse/world.rs +322 -0
  367. data/rust/parser/src/ruby_value.rs +7 -6
  368. data/rust/src/exemplar/json.rs +4 -4
  369. data/rust/src/exemplar/mutations.rs +18 -0
  370. data/rust/src/exemplar/read_models.rs +1 -10
  371. data/rust/src/kernel/attribute_shapes/composite.rs +54 -14
  372. data/rust/src/kernel/attribute_shapes/list.rs +2 -2
  373. data/rust/src/kernel/attribute_shapes/mod.rs +8 -8
  374. data/rust/src/kernel/attribute_shapes/scalar.rs +2 -2
  375. data/rust/src/kernel/cli.rs +244 -114
  376. data/rust/src/kernel/dispatch.rs +323 -115
  377. data/rust/src/kernel/dispatch_guard_tests.rs +327 -65
  378. data/rust/src/kernel/expr.rs +203 -86
  379. data/rust/src/kernel/expression_operators/arithmetic.rs +138 -25
  380. data/rust/src/kernel/expression_operators/comparison.rs +87 -2
  381. data/rust/src/kernel/expression_operators/enumeration.rs +106 -22
  382. data/rust/src/kernel/expression_operators/logical.rs +9 -3
  383. data/rust/src/kernel/expression_operators/membership.rs +3 -1
  384. data/rust/src/kernel/expression_operators/mod.rs +34 -21
  385. data/rust/src/kernel/expression_operators/pattern_match.rs +46 -11
  386. data/rust/src/kernel/expression_operators/positional.rs +84 -30
  387. data/rust/src/kernel/expression_operators/presence.rs +52 -13
  388. data/rust/src/kernel/expression_operators/sign_test.rs +3 -1
  389. data/rust/src/kernel/expression_operators/sized.rs +24 -8
  390. data/rust/src/kernel/expression_operators/text.rs +120 -27
  391. data/rust/src/kernel/expression_operators/to_string.rs +10 -4
  392. data/rust/src/kernel/json.rs +244 -148
  393. data/rust/src/kernel/mod.rs +47 -33
  394. data/rust/src/kernel/named_query.rs +63 -15
  395. data/rust/src/kernel/needs.rs +112 -25
  396. data/rust/src/kernel/orchestrate.rs +980 -581
  397. data/rust/src/kernel/orchestrate_guard_tests.rs +538 -140
  398. data/rust/src/kernel/pattern.rs +107 -34
  399. data/rust/src/kernel/present.rs +261 -0
  400. data/rust/src/kernel/query_comparators.rs +118 -41
  401. data/rust/src/kernel/query_ordering.rs +13 -5
  402. data/rust/src/kernel/read_model.rs +479 -181
  403. data/rust/src/kernel/reference_lookup.rs +122 -26
  404. data/rust/src/kernel/repository.rs +293 -66
  405. data/rust/src/kernel/routing.rs +58 -42
  406. data/rust/src/kernel/ruby_float.rs +139 -0
  407. data/rust/src/kernel/vocab/aggregate_dispatch_order.rs +57 -57
  408. data/rust/src/kernel/vocab/entity_dispatch_order.rs +54 -54
  409. data/rust/src/kernel/vocab/field_hint.rs +19 -25
  410. data/rust/src/kernel/vocab/mod.rs +6 -6
  411. data/rust/src/kernel/vocab/query_comparator.rs +23 -24
  412. data/rust/src/kernel/vocab/refusal_template.rs +501 -297
  413. data/rust/src/lib.rs +50 -0
  414. data/rust/src/main.rs +4 -1
  415. data/rust/web/Cargo.toml +36 -0
  416. data/rust/web/clippy.toml +4 -0
  417. metadata +85 -15
  418. data/examples/pizzas/bluebook/hecksagon/mock_stripe_payment_adapter.rb +0 -36
  419. data/lib/hecks/adapters/driven/google_authentication.adapter +0 -3
  420. data/lib/hecks/adapters/driven/google_authentication.rb +0 -99
  421. data/lib/hecks/adapters/driven/mock_stripe_adapter.adapter +0 -3
  422. data/lib/hecks/adapters/driven/mock_stripe_adapter.rb +0 -32
  423. data/lib/hecks/ports/authentication.port +0 -6
  424. data/lib/hecks/ports/authentication.rb +0 -67
  425. data/lib/hecks/ports/persistence/plugins/era/translation/approval_file.rb +0 -255
  426. data/lib/hecks/ports/persistence/plugins/era/translation/audit/approval_digest.rb +0 -22
  427. data/rust/host/src/approval.rs +0 -652
@@ -5,16 +5,23 @@
5
5
  enum Node {
6
6
  Literal(char),
7
7
  Any,
8
- Class { negate: bool, ranges: Vec<(char, char)> },
8
+ Class {
9
+ negate: bool,
10
+ ranges: Vec<(char, char)>,
11
+ },
9
12
  // `^`/`$` match at line boundaries, as in Ruby.
10
13
  LineStart,
11
14
  LineEnd,
12
15
  // `\A`/`\z`/`\Z` match only at the whole-string boundaries.
13
16
  StringStart,
14
17
  StringEnd,
15
- Group(Vec<Node>),
16
- Alt(Vec<Vec<Node>>),
17
- Repeat { node: Box<Node>, min: usize, max: Option<usize> },
18
+ Group(Vec<Self>),
19
+ Alt(Vec<Vec<Self>>),
20
+ Repeat {
21
+ node: Box<Self>,
22
+ min: usize,
23
+ max: Option<usize>,
24
+ },
18
25
  }
19
26
 
20
27
  /// `true` if `text` contains a match for `pattern` read as dispatch reads it: `^` and `$` are
@@ -66,7 +73,9 @@ fn whole_string(pattern: &str) -> String {
66
73
 
67
74
  /// `true` if `text` contains a match for `pattern`; a pattern that fails to parse is `false`.
68
75
  pub fn matches(pattern: &str, text: &str) -> bool {
69
- let Ok(nodes) = parse(pattern) else { return false };
76
+ let Ok(nodes) = parse(pattern) else {
77
+ return false;
78
+ };
70
79
  let chars: Vec<char> = text.chars().collect();
71
80
  // Only `\A` may skip to position 0; `^` can still match after a later `\n`.
72
81
  let anchored_start = matches!(nodes.first(), Some(Node::StringStart));
@@ -76,24 +85,48 @@ pub fn matches(pattern: &str, text: &str) -> bool {
76
85
  (0..=chars.len()).any(|start| match_from(&nodes, 0, &chars, start, &|_| true))
77
86
  }
78
87
 
79
- fn match_from(nodes: &[Node], idx: usize, text: &[char], ti: usize, cont: &dyn Fn(usize) -> bool) -> bool {
88
+ fn match_from(
89
+ nodes: &[Node],
90
+ idx: usize,
91
+ text: &[char],
92
+ ti: usize,
93
+ cont: &dyn Fn(usize) -> bool,
94
+ ) -> bool {
80
95
  if idx == nodes.len() {
81
96
  return cont(ti);
82
97
  }
83
98
  match &nodes[idx] {
84
- Node::Literal(c) => ti < text.len() && text[ti] == *c && match_from(nodes, idx + 1, text, ti + 1, cont),
99
+ Node::Literal(c) => {
100
+ ti < text.len() && text[ti] == *c && match_from(nodes, idx + 1, text, ti + 1, cont)
101
+ }
85
102
  // Like Ruby without `/m`, `.` does not match `\n`.
86
- Node::Any => ti < text.len() && text[ti] != '\n' && match_from(nodes, idx + 1, text, ti + 1, cont),
103
+ Node::Any => {
104
+ ti < text.len() && text[ti] != '\n' && match_from(nodes, idx + 1, text, ti + 1, cont)
105
+ }
87
106
  Node::Class { negate, ranges } => {
88
- ti < text.len() && class_matches(*negate, ranges, text[ti]) && match_from(nodes, idx + 1, text, ti + 1, cont)
107
+ ti < text.len()
108
+ && class_matches(*negate, ranges, text[ti])
109
+ && match_from(nodes, idx + 1, text, ti + 1, cont)
110
+ }
111
+ Node::LineStart => {
112
+ (ti == 0 || text[ti - 1] == '\n') && match_from(nodes, idx + 1, text, ti, cont)
113
+ }
114
+ Node::LineEnd => {
115
+ (ti == text.len() || text[ti] == '\n') && match_from(nodes, idx + 1, text, ti, cont)
89
116
  }
90
- Node::LineStart => (ti == 0 || text[ti - 1] == '\n') && match_from(nodes, idx + 1, text, ti, cont),
91
- Node::LineEnd => (ti == text.len() || text[ti] == '\n') && match_from(nodes, idx + 1, text, ti, cont),
92
117
  Node::StringStart => ti == 0 && match_from(nodes, idx + 1, text, ti, cont),
93
118
  Node::StringEnd => ti == text.len() && match_from(nodes, idx + 1, text, ti, cont),
94
- Node::Group(inner) => match_from(inner, 0, text, ti, &|ti2| match_from(nodes, idx + 1, text, ti2, cont)),
95
- Node::Alt(branches) => branches.iter().any(|b| match_from(b, 0, text, ti, &|ti2| match_from(nodes, idx + 1, text, ti2, cont))),
96
- Node::Repeat { node, min, max } => match_repeat(node, 0, *min, *max, nodes, idx + 1, text, ti, cont),
119
+ Node::Group(inner) => match_from(inner, 0, text, ti, &|ti2| {
120
+ match_from(nodes, idx + 1, text, ti2, cont)
121
+ }),
122
+ Node::Alt(branches) => branches.iter().any(|b| {
123
+ match_from(b, 0, text, ti, &|ti2| {
124
+ match_from(nodes, idx + 1, text, ti2, cont)
125
+ })
126
+ }),
127
+ Node::Repeat { node, min, max } => {
128
+ match_repeat(node, 0, *min, *max, nodes, idx + 1, text, ti, cont)
129
+ }
97
130
  }
98
131
  }
99
132
 
@@ -133,7 +166,7 @@ fn class_matches(negate: bool, ranges: &[(char, char)], c: char) -> bool {
133
166
  }
134
167
 
135
168
  // `\t`, `\n` and `\r` become control characters; any other escape is the literal itself.
136
- fn escape_char(c: char) -> char {
169
+ const fn escape_char(c: char) -> char {
137
170
  match c {
138
171
  't' => '\t',
139
172
  'n' => '\n',
@@ -145,7 +178,10 @@ fn escape_char(c: char) -> char {
145
178
  // Recursive descent: `alternation > concat > repeat > atom`.
146
179
  fn parse(pattern: &str) -> Result<Vec<Node>, ()> {
147
180
  let chars: Vec<char> = pattern.chars().collect();
148
- let mut p = Parser { chars: &chars, pos: 0 };
181
+ let mut p = Parser {
182
+ chars: &chars,
183
+ pos: 0,
184
+ };
149
185
  let node = p.parse_alt()?;
150
186
  if p.pos != p.chars.len() {
151
187
  return Err(());
@@ -158,7 +194,7 @@ struct Parser<'a> {
158
194
  pos: usize,
159
195
  }
160
196
 
161
- impl<'a> Parser<'a> {
197
+ impl Parser<'_> {
162
198
  fn peek(&self) -> Option<char> {
163
199
  self.chars.get(self.pos).copied()
164
200
  }
@@ -203,26 +239,41 @@ impl<'a> Parser<'a> {
203
239
  match self.peek() {
204
240
  Some('*') => {
205
241
  self.bump();
206
- Ok(Node::Repeat { node: Box::new(atom), min: 0, max: None })
242
+ Ok(Node::Repeat {
243
+ node: Box::new(atom),
244
+ min: 0,
245
+ max: None,
246
+ })
207
247
  }
208
248
  Some('+') => {
209
249
  self.bump();
210
- Ok(Node::Repeat { node: Box::new(atom), min: 1, max: None })
250
+ Ok(Node::Repeat {
251
+ node: Box::new(atom),
252
+ min: 1,
253
+ max: None,
254
+ })
211
255
  }
212
256
  Some('?') => {
213
257
  self.bump();
214
- Ok(Node::Repeat { node: Box::new(atom), min: 0, max: Some(1) })
258
+ Ok(Node::Repeat {
259
+ node: Box::new(atom),
260
+ min: 0,
261
+ max: Some(1),
262
+ })
215
263
  }
216
264
  Some('{') => {
217
265
  let save = self.pos;
218
266
  self.bump();
219
- match self.parse_bounded_repeat() {
220
- Some((min, max)) => Ok(Node::Repeat { node: Box::new(atom), min, max }),
221
- None => {
222
- // Not a well-formed `{n,m}`: read the brace as a literal.
223
- self.pos = save;
224
- Ok(atom)
225
- }
267
+ if let Some((min, max)) = self.parse_bounded_repeat() {
268
+ Ok(Node::Repeat {
269
+ node: Box::new(atom),
270
+ min,
271
+ max,
272
+ })
273
+ } else {
274
+ // Not a well-formed `{n,m}`: read the brace as a literal.
275
+ self.pos = save;
276
+ Ok(atom)
226
277
  }
227
278
  }
228
279
  _ => Ok(atom),
@@ -264,7 +315,11 @@ impl<'a> Parser<'a> {
264
315
  if self.pos == start {
265
316
  return None;
266
317
  }
267
- self.chars[start..self.pos].iter().collect::<String>().parse().ok()
318
+ self.chars[start..self.pos]
319
+ .iter()
320
+ .collect::<String>()
321
+ .parse()
322
+ .ok()
268
323
  }
269
324
 
270
325
  fn parse_atom(&mut self) -> Result<Node, ()> {
@@ -308,11 +363,21 @@ impl<'a> Parser<'a> {
308
363
  }
309
364
  Some(c) => {
310
365
  self.bump();
311
- let lo = if c == '\\' { escape_char(self.bump().ok_or(())?) } else { c };
312
- if self.peek() == Some('-') && self.chars.get(self.pos + 1).is_some_and(|c| *c != ']') {
366
+ let lo = if c == '\\' {
367
+ escape_char(self.bump().ok_or(())?)
368
+ } else {
369
+ c
370
+ };
371
+ if self.peek() == Some('-')
372
+ && self.chars.get(self.pos + 1).is_some_and(|c| *c != ']')
373
+ {
313
374
  self.bump();
314
375
  let hi_raw = self.bump().ok_or(())?;
315
- let hi = if hi_raw == '\\' { escape_char(self.bump().ok_or(())?) } else { hi_raw };
376
+ let hi = if hi_raw == '\\' {
377
+ escape_char(self.bump().ok_or(())?)
378
+ } else {
379
+ hi_raw
380
+ };
316
381
  ranges.push((lo, hi));
317
382
  } else {
318
383
  ranges.push((lo, lo));
@@ -336,12 +401,20 @@ mod tests {
336
401
  fn matches_every_row_of_the_recorded_pattern_contract() {
337
402
  let raw = include_str!("../../../spec/corpus/fixtures/patterns.json");
338
403
  let parsed = Json::parse(raw).expect("patterns.json must parse");
339
- let rows = parsed.as_array().expect("patterns.json must be a JSON array");
404
+ let rows = parsed
405
+ .as_array()
406
+ .expect("patterns.json must be a JSON array");
340
407
  assert!(!rows.is_empty(), "the recorded contract must not be empty");
341
408
 
342
409
  for row in rows {
343
- let pattern = row.get("pattern").and_then(Json::as_str).expect("row must carry a pattern");
344
- let input = row.get("input").and_then(Json::as_str).expect("row must carry an input");
410
+ let pattern = row
411
+ .get("pattern")
412
+ .and_then(Json::as_str)
413
+ .expect("row must carry a pattern");
414
+ let input = row
415
+ .get("input")
416
+ .and_then(Json::as_str)
417
+ .expect("row must carry an input");
345
418
  let expected = matches!(row.get("matches"), Some(Json::Bool(true)));
346
419
 
347
420
  assert_eq!(
@@ -0,0 +1,261 @@
1
+ //! The kernel's `{"present": answer}` input: a run's answer turned into the bare shape a caller
2
+ //! is answered with, by the generated `present(aggregate, state)` router.
3
+ //!
4
+ //! It runs no step and touches no store. Only what a caller reads is presented: `instances`,
5
+ //! each event's `payload`, and each declared query's `rows`. Everything a host stores or replays
6
+ //! (`mutations`, `sagas`, `saga_snapshot`, ...) is left exactly as it came, because stored state
7
+ //! stays wrapped.
8
+
9
+ use super::Json;
10
+
11
+ /// The generated router's shape: one `"Domain::Aggregate"` state in, its bare shape out.
12
+ pub type Presenter = fn(&str, Json) -> Json;
13
+
14
+ /// Returns `answer` with its `instances`, event payloads and declared query rows presented
15
+ /// through `present`; every other key passes through verbatim.
16
+ pub fn present_answer(answer: Json, present: Presenter) -> Json {
17
+ let Json::Object(fields) = answer else {
18
+ return answer;
19
+ };
20
+ Json::Object(
21
+ fields
22
+ .into_iter()
23
+ .map(|(key, value)| {
24
+ let value = match key.as_str() {
25
+ "instances" => present_instances(value, present),
26
+ "events" => map_items(value, |event| present_event(event, present)),
27
+ "queries" => map_items(value, |entry| present_query(entry, present)),
28
+ _ => value,
29
+ };
30
+ (key, value)
31
+ })
32
+ .collect(),
33
+ )
34
+ }
35
+
36
+ // `"Domain::Aggregate#id" => state`: the aggregate is the key up to its first `#`.
37
+ fn present_instances(instances: Json, present: Presenter) -> Json {
38
+ let Json::Object(entries) = instances else {
39
+ return instances;
40
+ };
41
+ Json::Object(
42
+ entries
43
+ .into_iter()
44
+ .map(|(key, state)| {
45
+ let aggregate = key.split_once('#').map_or(key.as_str(), |(head, _)| head);
46
+ let state = present(aggregate, state);
47
+ (key, state)
48
+ })
49
+ .collect(),
50
+ )
51
+ }
52
+
53
+ fn present_event(event: Json, present: Presenter) -> Json {
54
+ let Some(aggregate) = event
55
+ .get("aggregate")
56
+ .and_then(Json::as_str)
57
+ .map(str::to_string)
58
+ else {
59
+ return event;
60
+ };
61
+ replace_field(event, "payload", |payload| present(&aggregate, payload))
62
+ }
63
+
64
+ // A declared query is named `"Domain::Aggregate.Query"`; its rows are that aggregate's state.
65
+ // A read model or an ad hoc filter names no aggregate this way, and the router passes an unknown
66
+ // name through, so its rows come back as they were.
67
+ fn present_query(entry: Json, present: Presenter) -> Json {
68
+ let Some(aggregate) = entry
69
+ .get("query")
70
+ .and_then(Json::as_str)
71
+ .and_then(|question| question.rsplit_once('.'))
72
+ .map(|(head, _)| head.to_string())
73
+ else {
74
+ return entry;
75
+ };
76
+ replace_field(entry, "rows", |rows| {
77
+ map_items(rows, |row| present(&aggregate, row))
78
+ })
79
+ }
80
+
81
+ fn replace_field(object: Json, name: &str, f: impl Fn(Json) -> Json) -> Json {
82
+ let Json::Object(fields) = object else {
83
+ return object;
84
+ };
85
+ Json::Object(
86
+ fields
87
+ .into_iter()
88
+ .map(|(key, value)| {
89
+ let value = if key == name { f(value) } else { value };
90
+ (key, value)
91
+ })
92
+ .collect(),
93
+ )
94
+ }
95
+
96
+ fn map_items(list: Json, f: impl Fn(Json) -> Json) -> Json {
97
+ match list {
98
+ Json::Array(items) => Json::Array(items.into_iter().map(f).collect()),
99
+ other => other,
100
+ }
101
+ }
102
+
103
+ #[cfg(test)]
104
+ mod tests {
105
+ use super::*;
106
+
107
+ // Stands in for the generated router: `Shop::Item` unwraps its `name` object to its
108
+ // `value`; any other aggregate passes through, as the generated one does.
109
+ fn shop_present(aggregate: &str, state: Json) -> Json {
110
+ if aggregate != "Shop::Item" {
111
+ return state;
112
+ }
113
+ replace_field(state, "name", |name| {
114
+ name.get("value").cloned().unwrap_or(name)
115
+ })
116
+ }
117
+
118
+ fn present(text: &str) -> String {
119
+ present_answer(Json::parse(text).unwrap(), shop_present).to_json_string()
120
+ }
121
+
122
+ #[test]
123
+ fn instances_are_presented_by_the_aggregate_their_key_names() {
124
+ assert_eq!(
125
+ present(
126
+ r#"{"instances":{"Shop::Item#a":{"name":{"value":"x"}},"Other::Thing#b":{"name":{"value":"y"}}}}"#
127
+ ),
128
+ r#"{"instances":{"Shop::Item#a":{"name":"x"},"Other::Thing#b":{"name":{"value":"y"}}}}"#
129
+ );
130
+ }
131
+
132
+ #[test]
133
+ fn an_event_payload_is_presented_by_its_aggregate() {
134
+ assert_eq!(
135
+ present(
136
+ r#"{"events":[{"name":"Named","aggregate":"Shop::Item","payload":{"name":{"value":"x"}}}]}"#
137
+ ),
138
+ r#"{"events":[{"name":"Named","aggregate":"Shop::Item","payload":{"name":"x"}}]}"#
139
+ );
140
+ }
141
+
142
+ #[test]
143
+ fn declared_query_rows_are_presented_by_the_aggregate_the_query_names() {
144
+ assert_eq!(
145
+ present(
146
+ r#"{"queries":[{"query":"Shop::Item.All","rows":[{"id":"a","name":{"value":"x"}}],"reference_rows":[{"name":{"value":"x"}}]}]}"#
147
+ ),
148
+ r#"{"queries":[{"query":"Shop::Item.All","rows":[{"id":"a","name":"x"}],"reference_rows":[{"name":{"value":"x"}}]}]}"#
149
+ );
150
+ }
151
+
152
+ #[test]
153
+ fn mutations_sagas_and_refusals_pass_through_verbatim() {
154
+ let text = r#"{"mutations":[[{"aggregate":"Shop::Item","state":{"name":{"value":"x"}}}]],"sagas":[],"refusals":[{"verb":"Shop::Item.Name","error":"no"}]}"#;
155
+ assert_eq!(present(text), text);
156
+ }
157
+ }
158
+
159
+ // Through `cli::run` and the generated pizzas router: what `{"present": answer}` answers for a
160
+ // real run's answer.
161
+ #[cfg(test)]
162
+ #[cfg(feature = "pizzas")]
163
+ mod pizzas_tests {
164
+ use crate::kernel::cli::run;
165
+ use crate::kernel::Json;
166
+
167
+ const STEPS: &str = r#"{"steps":[
168
+ {"verb":"Pizzas::Order.CreatePizza","with":{"name":"Margherita","pizza":{"price_cents":1200,"size":"large"}}},
169
+ {"verb":"Pizzas::Order.AddTopping","to":"Margherita","with":{"topping":"basil","amount":2}},
170
+ {"verb":"Pizzas::Order.Purchase","to":"Margherita","with":{"amount":1500,"customer_name":"Ann"}},
171
+ {"query":"Pizzas::Order.Everything"}]}"#;
172
+
173
+ fn answers() -> (Json, Json) {
174
+ let answer = run(STEPS);
175
+ let presented = run(&format!(r#"{{"present":{answer}}}"#));
176
+ (
177
+ Json::parse(&answer).unwrap(),
178
+ Json::parse(&presented).unwrap(),
179
+ )
180
+ }
181
+
182
+ fn text(value: Option<&Json>) -> String {
183
+ value.map_or_else(|| "missing".to_string(), Json::to_json_string)
184
+ }
185
+
186
+ fn items<'a>(value: &'a Json, key: &str) -> &'a [Json] {
187
+ value.get(key).and_then(Json::as_array).unwrap_or_default()
188
+ }
189
+
190
+ #[test]
191
+ fn an_instance_answers_bare_and_a_multi_field_value_object_keeps_its_object() {
192
+ let (_, presented) = answers();
193
+ assert_eq!(
194
+ text(presented.dig("instances.Pizzas::Order#Margherita")),
195
+ r#"{"name":"Margherita","pizza":{"price_cents":1200,"size":"large"},"toppings":[{"name":"basil","amount":2}],"customer_name":"Ann","status":"sold"}"#
196
+ );
197
+ }
198
+
199
+ #[test]
200
+ fn each_event_payload_answers_bare_even_where_two_commands_type_one_name_apart() {
201
+ let (_, presented) = answers();
202
+ let payloads: Vec<String> = items(&presented, "events")
203
+ .iter()
204
+ .map(|event| text(event.get("payload")))
205
+ .collect();
206
+ assert_eq!(
207
+ payloads,
208
+ [
209
+ r#"{"name":"Margherita","pizza":{"price_cents":1200,"size":"large"}}"#,
210
+ r#"{"topping":"basil","amount":2}"#,
211
+ r#"{"amount":1500,"customer_name":"Ann"}"#,
212
+ ]
213
+ );
214
+ }
215
+
216
+ #[test]
217
+ fn a_declared_query_row_answers_bare() {
218
+ let (_, presented) = answers();
219
+ assert_eq!(
220
+ text(items(&presented, "queries")[0].get("rows")),
221
+ r#"[{"id":"Margherita","name":"Margherita","pizza":{"price_cents":1200,"size":"large"},"toppings":[{"name":"basil","amount":2}],"customer_name":"Ann","status":"sold"}]"#
222
+ );
223
+ }
224
+
225
+ #[test]
226
+ fn mutations_and_the_run_without_present_stay_wrapped() {
227
+ let (answer, presented) = answers();
228
+ assert_eq!(
229
+ text(presented.get("mutations")),
230
+ text(answer.get("mutations"))
231
+ );
232
+ assert_eq!(
233
+ text(answer.dig("instances.Pizzas::Order#Margherita.name")),
234
+ r#"{"value":"Margherita"}"#
235
+ );
236
+ }
237
+ }
238
+
239
+ #[cfg(test)]
240
+ #[cfg(feature = "tally")]
241
+ mod tally_tests {
242
+ use crate::kernel::cli::run;
243
+ use crate::kernel::Json;
244
+
245
+ #[test]
246
+ fn a_list_of_single_field_value_objects_answers_as_scalars_and_a_float_stays_one() {
247
+ let answer = run(
248
+ r#"{"steps":[{"verb":"Tallying::Tally.Open","with":{"tag":"a"}},
249
+ {"verb":"Tallying::Tally.TagWith","to":"a","with":{"label":"red"}},
250
+ {"verb":"Tallying::Tally.TagWith","to":"a","with":{"label":"blue"}}]}"#,
251
+ );
252
+ let presented =
253
+ Json::parse_keeping_number_text(&run(&format!(r#"{{"present":{answer}}}"#))).unwrap();
254
+ let tally = presented.dig("instances.Tallying::Tally#a").unwrap();
255
+ assert_eq!(
256
+ tally.get("tags").unwrap().to_json_string(),
257
+ r#"["red","blue"]"#
258
+ );
259
+ assert_eq!(tally.get("weight").unwrap().to_json_string(), "0.0");
260
+ }
261
+ }