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
@@ -1,13 +1,7 @@
1
1
  //! Pure name-shape conversions (mirrors `Hecks::Naming`) shared by the other derivations.
2
2
 
3
- /// `"Pizzas::Order" -> "Order"`.
4
- pub fn demodulise(type_name: &str) -> String {
5
- type_name
6
- .rsplit("::")
7
- .next()
8
- .unwrap_or(type_name)
9
- .to_string()
10
- }
3
+ // The name-shape rules are the one shared port of `Hecks::Naming` (rust/codegen/src/hecks_naming.rs).
4
+ pub use crate::hecks_naming::{demodulise, pascal, plural, singularize, snake};
11
5
 
12
6
  /// A bare command constant (`Account::Debit`) becomes `Account.Debit`; strings pass through.
13
7
  ///
@@ -34,78 +28,6 @@ pub fn event_name_ref(raw: &str) -> String {
34
28
  }
35
29
  }
36
30
 
37
- /// `"PizzaName" -> "pizza_name"`, using the same two-pass split as `Hecks::Naming.snake`.
38
- pub fn snake(text: &str) -> String {
39
- let chars: Vec<char> = text.chars().collect();
40
- let mut pass1 = String::new();
41
- for (i, &ch) in chars.iter().enumerate() {
42
- let is_upper_run_boundary = ch.is_ascii_uppercase()
43
- && i > 0
44
- && chars[i - 1].is_ascii_uppercase()
45
- && i + 1 < chars.len()
46
- && chars[i + 1].is_ascii_lowercase();
47
- if is_upper_run_boundary {
48
- pass1.push('_');
49
- }
50
- pass1.push(ch);
51
- }
52
-
53
- let pass1_chars: Vec<char> = pass1.chars().collect();
54
- let mut pass2 = String::new();
55
- for (i, &ch) in pass1_chars.iter().enumerate() {
56
- let is_lower_to_upper_boundary = ch.is_ascii_uppercase()
57
- && i > 0
58
- && (pass1_chars[i - 1].is_ascii_lowercase() || pass1_chars[i - 1].is_ascii_digit());
59
- if is_lower_to_upper_boundary {
60
- pass2.push('_');
61
- }
62
- pass2.push(ch);
63
- }
64
-
65
- pass2.to_lowercase()
66
- }
67
-
68
- /// `"pizza_name" -> "PizzaName"`.
69
- pub fn pascal(text: &str) -> String {
70
- text.split('_')
71
- .map(|part| {
72
- let mut chars = part.chars();
73
- match chars.next() {
74
- Some(first) => first.to_ascii_uppercase().to_string() + chars.as_str(),
75
- None => String::new(),
76
- }
77
- })
78
- .collect()
79
- }
80
-
81
- /// Pluralizes a snake-cased name: `y` -> `ies`, sibilants take `es`, else `s`.
82
- pub fn plural(text: &str) -> String {
83
- if text.len() > 1 {
84
- let last = &text[text.len() - 1..];
85
- let before_last = text.chars().rev().nth(1);
86
- if last == "y" && !matches!(before_last, Some('a' | 'e' | 'i' | 'o' | 'u')) {
87
- return format!("{}ies", &text[..text.len() - 1]);
88
- }
89
- }
90
- for suffix in ["s", "x", "z", "ch", "sh"] {
91
- if text.ends_with(suffix) {
92
- return format!("{text}es");
93
- }
94
- }
95
- format!("{text}s")
96
- }
97
-
98
- /// Inverse of `plural` for `has_many` targets: `ies` -> `y`, trailing `s` dropped.
99
- pub fn singularize(text: &str) -> String {
100
- if text.len() > 3 && text.ends_with("ies") {
101
- return format!("{}y", &text[..text.len() - 3]);
102
- }
103
- if text.len() > 1 && text.ends_with('s') {
104
- return text[..text.len() - 1].to_string();
105
- }
106
- text.to_string()
107
- }
108
-
109
31
  #[cfg(test)]
110
32
  mod tests {
111
33
  use super::*;
@@ -17,13 +17,10 @@ pub fn validate(pattern: &str) -> Option<Rejection> {
17
17
  if matches!(next, Some(c) if c.is_ascii_digit() && c != '0') {
18
18
  return Some(refuse("backreference"));
19
19
  }
20
- if matches!(next, Some('k') | Some('g')) {
20
+ if matches!(next, Some('k' | 'g')) {
21
21
  return Some(refuse("named_backreference"));
22
22
  }
23
- if matches!(
24
- next,
25
- Some('d') | Some('D') | Some('w') | Some('W') | Some('s') | Some('S')
26
- ) {
23
+ if matches!(next, Some('d' | 'D' | 'w' | 'W' | 's' | 'S')) {
27
24
  return Some(refuse("perl_class"));
28
25
  }
29
26
  index += if next.is_some() { 2 } else { 1 };
@@ -32,11 +29,10 @@ pub fn validate(pattern: &str) -> Option<Rejection> {
32
29
 
33
30
  if chars[index] == '(' && chars.get(index + 1) == Some(&'?') {
34
31
  let third = chars.get(index + 2).copied();
35
- if matches!(third, Some('=') | Some('!')) {
32
+ if matches!(third, Some('=' | '!')) {
36
33
  return Some(refuse("lookahead"));
37
34
  }
38
- if third == Some('<') && matches!(chars.get(index + 3).copied(), Some('=') | Some('!'))
39
- {
35
+ if third == Some('<') && matches!(chars.get(index + 3).copied(), Some('=' | '!')) {
40
36
  return Some(refuse("lookbehind"));
41
37
  }
42
38
  if third == Some('>') {
@@ -58,6 +54,8 @@ pub fn validate(pattern: &str) -> Option<Rejection> {
58
54
  }
59
55
 
60
56
  fn refuse(key: &'static str) -> Rejection {
57
+ // reason: every caller passes a key literal that `REASONS` declares, so a miss is a code bug.
58
+ #[allow(clippy::expect_used)]
61
59
  let (construct, reason) = REASONS
62
60
  .iter()
63
61
  .find(|(k, _, _)| *k == key)
@@ -65,7 +65,9 @@ mod tests {
65
65
  fn refuses_an_on_target_cleanly_instead_of_silently_dropping_or_misparsing_it() {
66
66
  let named = vec![("on".to_string(), "Character".to_string())];
67
67
  let err = refuse_on_target("f.bluebook", 3, "where", &named).unwrap_err();
68
- assert!(err.message.contains("on: ...) — per-target read-model filtering (ADR 0055)"));
68
+ assert!(err
69
+ .message
70
+ .contains("on: ...) — per-target read-model filtering (ADR 0055)"));
69
71
  assert_eq!(err.file, "f.bluebook");
70
72
  assert_eq!(err.line, 3);
71
73
  }
@@ -9,10 +9,13 @@ pub fn apply(file: &str, bluebook: &mut ir::Bluebook) -> ParseResult<()> {
9
9
  let shapes = bluebook.aggregates.clone();
10
10
 
11
11
  for aggregate in &mut bluebook.aggregates {
12
- let owner = shapes
12
+ // `shapes` is a clone of these aggregates, so the lookup always hits.
13
+ let Some(owner) = shapes
13
14
  .iter()
14
15
  .find(|candidate| candidate.name == aggregate.name)
15
- .expect("aggregate cloned from the same chapter");
16
+ else {
17
+ continue;
18
+ };
16
19
 
17
20
  infer_queries(
18
21
  file,
@@ -25,11 +28,14 @@ pub fn apply(file: &str, bluebook: &mut ir::Bluebook) -> ParseResult<()> {
25
28
  )?;
26
29
 
27
30
  for entity in &mut aggregate.entities {
28
- let entity_shape = owner
31
+ // `owner.entities` is a clone of these entities, so the lookup always hits.
32
+ let Some(entity_shape) = owner
29
33
  .entities
30
34
  .iter()
31
35
  .find(|candidate| candidate.name == entity.name)
32
- .expect("entity cloned from the same aggregate");
36
+ else {
37
+ continue;
38
+ };
33
39
  infer_queries(
34
40
  file,
35
41
  &format!("{}::{}", aggregate.name, entity.name),
@@ -239,7 +245,10 @@ mod tests {
239
245
  ir::Query {
240
246
  name: "Page".to_string(),
241
247
  options: ir::QueryOptions {
242
- offset: Some(ir::OffsetSpec { value: ":start_at".to_string(), target: None }),
248
+ offset: Some(ir::OffsetSpec {
249
+ value: ":start_at".to_string(),
250
+ target: None,
251
+ }),
243
252
  ..Default::default()
244
253
  },
245
254
  ..Default::default()
@@ -73,7 +73,10 @@ mod tests {
73
73
  Some("Account"),
74
74
  )
75
75
  .unwrap();
76
- assert!(heads[0].many, "no included head equals the reference target, so all stay many");
76
+ assert!(
77
+ heads[0].many,
78
+ "no included head equals the reference target, so all stay many"
79
+ );
77
80
  }
78
81
 
79
82
  #[test]
@@ -6,9 +6,10 @@ use crate::ir;
6
6
  /// with no `_id` suffix.
7
7
  pub fn reference_attribute(target: &str, as_name: Option<&str>, optional: bool) -> ir::Attribute {
8
8
  let target = crate::build::naming::demodulise(target);
9
- let name = as_name
10
- .map(|s| s.to_string())
11
- .unwrap_or_else(|| crate::build::naming::snake(&target));
9
+ let name = as_name.map_or_else(
10
+ || crate::build::naming::snake(&target),
11
+ std::string::ToString::to_string,
12
+ );
12
13
  ir::Attribute {
13
14
  name,
14
15
  type_name: format!("Reference<{target}>"),
@@ -2,6 +2,7 @@
2
2
  //! Hand-mirrored from projection.json: a rule there (collapse_whitespace, replace, scale_call) needs a matching rule here.
3
3
 
4
4
  /// Slices the raw source between two byte offsets, before any normalisation.
5
+ #[cfg(test)]
5
6
  pub fn slice(source: &str, start: usize, end: usize) -> &str {
6
7
  &source[start..end]
7
8
  }
@@ -10,7 +11,9 @@ pub fn slice(source: &str, start: usize, end: usize) -> &str {
10
11
  /// becomes `.size`, then trim. Quoted runs pass through untouched, matching Ruby.
11
12
  pub fn apply(source: &str) -> String {
12
13
  let collapsed = map_outside_strings(source, collapse_whitespace);
13
- let replaced = map_outside_strings(&collapsed, |run| replace_word_boundary(run, ".length", ".size"));
14
+ let replaced = map_outside_strings(&collapsed, |run| {
15
+ replace_word_boundary(run, ".length", ".size")
16
+ });
14
17
  let scaled = SCALE_CALLS.iter().fold(replaced, |text, (token, seconds)| {
15
18
  map_outside_strings(&text, |run| scale_call(run, token, seconds))
16
19
  });
@@ -41,7 +44,7 @@ fn scale_call(text: &str, token: &str, seconds: &str) -> String {
41
44
  let preceded = text[..i]
42
45
  .chars()
43
46
  .next_back()
44
- .map_or(false, |c| c.is_alphanumeric() || c == '_' || c == '.');
47
+ .is_some_and(|c| c.is_alphanumeric() || c == '_' || c == '.');
45
48
  if !preceded {
46
49
  if let Some((digits, len)) = whole_number_call(&text[i + token.len()..]) {
47
50
  out.push_str(&multiply(digits, seconds));
@@ -50,7 +53,9 @@ fn scale_call(text: &str, token: &str, seconds: &str) -> String {
50
53
  }
51
54
  }
52
55
  }
53
- let ch = text[i..].chars().next().unwrap();
56
+ let Some(ch) = text[i..].chars().next() else {
57
+ break;
58
+ };
54
59
  out.push(ch);
55
60
  i += ch.len_utf8();
56
61
  }
@@ -63,7 +68,7 @@ fn whole_number_call(rest: &str) -> Option<(&str, usize)> {
63
68
  let inner = rest.strip_prefix('(')?;
64
69
  let digits_at = inner.len() - inner.trim_start_matches(char::is_whitespace).len();
65
70
  let body = &inner[digits_at..];
66
- let digit_len = body.bytes().take_while(|b| b.is_ascii_digit()).count();
71
+ let digit_len = body.bytes().take_while(u8::is_ascii_digit).count();
67
72
  if digit_len == 0 {
68
73
  return None;
69
74
  }
@@ -75,11 +80,13 @@ fn whole_number_call(rest: &str) -> Option<(&str, usize)> {
75
80
 
76
81
  /// Decimal `digits` times the decimal `factor`, as text with no leading zeros (any length).
77
82
  fn multiply(digits: &str, factor: &str) -> String {
83
+ // reason: callers pass the fixed whole-number scale factors of the unit table.
84
+ #[allow(clippy::expect_used)]
78
85
  let factor: u32 = factor.parse().expect("scale factor is a whole number");
79
86
  let mut carry = 0u32;
80
87
  let mut out: Vec<u8> = Vec::with_capacity(digits.len() + 6);
81
88
  for d in digits.bytes().rev() {
82
- let v = (d - b'0') as u32 * factor + carry;
89
+ let v = u32::from(d - b'0') * factor + carry;
83
90
  out.push(b'0' + (v % 10) as u8);
84
91
  carry = v / 10;
85
92
  }
@@ -91,7 +98,7 @@ fn multiply(digits: &str, factor: &str) -> String {
91
98
  out.pop();
92
99
  }
93
100
  out.reverse();
94
- String::from_utf8(out).unwrap()
101
+ String::from_utf8_lossy(&out).into_owned()
95
102
  }
96
103
 
97
104
  /// Applies `transform` to the unquoted runs of `text` and copies quoted runs verbatim;
@@ -99,7 +106,7 @@ fn multiply(digits: &str, factor: &str) -> String {
99
106
  fn map_outside_strings(text: &str, transform: impl Fn(&str) -> String) -> String {
100
107
  let mut out = String::with_capacity(text.len());
101
108
  let mut plain = String::new();
102
- let mut chars = text.chars().peekable();
109
+ let mut chars = text.chars();
103
110
  while let Some(ch) = chars.next() {
104
111
  if ch == '"' || ch == '\'' {
105
112
  out.push_str(&transform(&plain));
@@ -151,17 +158,19 @@ fn replace_word_boundary(text: &str, token: &str, replacement: &str) -> String {
151
158
  while i < bytes.len() {
152
159
  if text[i..].starts_with(token) {
153
160
  let after = i + token.len();
154
- let boundary_ok = match text[after..].chars().next() {
155
- None => true,
156
- Some(c) => !(c.is_alphanumeric() || c == '_'),
157
- };
161
+ let boundary_ok = text[after..]
162
+ .chars()
163
+ .next()
164
+ .is_none_or(|c| !(c.is_alphanumeric() || c == '_'));
158
165
  if boundary_ok {
159
166
  out.push_str(replacement);
160
167
  i = after;
161
168
  continue;
162
169
  }
163
170
  }
164
- let ch = text[i..].chars().next().unwrap();
171
+ let Some(ch) = text[i..].chars().next() else {
172
+ break;
173
+ };
165
174
  out.push(ch);
166
175
  i += ch.len_utf8();
167
176
  }
@@ -187,7 +196,10 @@ mod tests {
187
196
  #[test]
188
197
  fn folds_duration_calls_into_seconds() {
189
198
  assert_eq!(apply("days(730)"), "63072000");
190
- assert_eq!(apply("days( 1 ) + hours(2) + minutes(15)"), "86400 + 7200 + 900");
199
+ assert_eq!(
200
+ apply("days( 1 ) + hours(2) + minutes(15)"),
201
+ "86400 + 7200 + 900"
202
+ );
191
203
  assert_eq!(
192
204
  apply("x.days(3) workdays(3) days(n) days(1.5)"),
193
205
  "x.days(3) workdays(3) days(n) days(1.5)"
@@ -227,10 +239,17 @@ mod tests {
227
239
 
228
240
  #[test]
229
241
  fn matches_the_shared_canonical_form_cases() {
230
- let path = concat!(env!("CARGO_MANIFEST_DIR"), "/../../spec/fixtures/canonical_form_cases.json");
242
+ let path = concat!(
243
+ env!("CARGO_MANIFEST_DIR"),
244
+ "/../../spec/fixtures/canonical_form_cases.json"
245
+ );
231
246
  let text = std::fs::read_to_string(path).expect("shared cases file");
232
247
  let strings = json_strings(&text);
233
- let start = strings.iter().position(|s| s == "cases").expect("cases key") + 1;
248
+ let start = strings
249
+ .iter()
250
+ .position(|s| s == "cases")
251
+ .expect("cases key")
252
+ + 1;
234
253
  let rows: Vec<&[String]> = strings[start..].chunks(4).collect();
235
254
  assert!(!rows.is_empty());
236
255
  for row in rows {