hecks 2.9.0 → 3.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 (600) hide show
  1. checksums.yaml +4 -4
  2. data/exe/hecks +51 -6
  3. data/lib/hecks/adapters/driven/heki/journal.rb +1 -1
  4. data/lib/hecks/adapters/driven/lambda/client.rb +1 -1
  5. data/lib/hecks/adapters/driven/lambda.rb +1 -1
  6. data/lib/hecks/adapters/driven/memory.rb +16 -3
  7. data/lib/hecks/adapters/driven/postgres/reconnect.rb +6 -2
  8. data/lib/hecks/adapters/driven/postgres/shared_connection.rb +180 -0
  9. data/lib/hecks/adapters/driven/postgres.rb +4 -2
  10. data/lib/hecks/adapters/driven/prism.rb +41 -8
  11. data/lib/hecks/adapters/driven/tenant_provisioner.rb +73 -16
  12. data/lib/hecks/behaviors/expectations.rb +1 -1
  13. data/lib/hecks/behaviors.rb +1 -1
  14. data/lib/hecks/bench/cli.rb +62 -0
  15. data/lib/hecks/bench/environment.rb +71 -0
  16. data/lib/hecks/bench/postgres_probe.rb +30 -0
  17. data/lib/hecks/bench/report.rb +76 -0
  18. data/lib/hecks/bench/ruby_runner.rb +93 -0
  19. data/lib/hecks/bench/run.rb +55 -0
  20. data/lib/hecks/bench/rust_runner.rb +101 -0
  21. data/lib/hecks/bench/stats.rb +46 -0
  22. data/lib/hecks/bench/suite.rb +98 -0
  23. data/lib/hecks/bench/workload.rb +89 -0
  24. data/lib/hecks/bench.rb +17 -0
  25. data/lib/hecks/bluebook/assembly/contracts.rb +2 -0
  26. data/lib/hecks/bluebook/attribute.rb +1 -1
  27. data/lib/hecks/bluebook/behaviour/aggregate.rb +30 -1
  28. data/lib/hecks/bluebook/behaviour/domain_port.rb +7 -0
  29. data/lib/hecks/bluebook/chapter.rb +6 -2
  30. data/lib/hecks/bluebook/domain_port.rb +36 -5
  31. data/lib/hecks/bluebook/dsl/bluebook_builder/validation.rb +10 -0
  32. data/lib/hecks/bluebook/dsl/bluebook_builder.rb +8 -0
  33. data/lib/hecks/bluebook/dsl/bootstrap_table.rb +2 -1
  34. data/lib/hecks/bluebook/dsl/domain_port_builder.rb +31 -3
  35. data/lib/hecks/bluebook/dsl/hecksagon_builder.rb +122 -3
  36. data/lib/hecks/bluebook/dsl/lifecycle_builder.rb +1 -1
  37. data/lib/hecks/bluebook/dsl/query_builder.rb +27 -1
  38. data/lib/hecks/bluebook/dsl/rule_reference.rb +1 -1
  39. data/lib/hecks/bluebook/dsl/world_builder.rb +29 -2
  40. data/lib/hecks/bluebook/expression/canonical_form.rb +1 -1
  41. data/lib/hecks/bluebook/expression/resolver.rb +3 -2
  42. data/lib/hecks/bluebook/hexagon.rb +13 -5
  43. data/lib/hecks/bluebook/meta_validator/reconstruction.rb +1 -0
  44. data/lib/hecks/bluebook/meta_validator/syntax_boot.rb +4 -1
  45. data/lib/hecks/bluebook/meta_validator/verdict_cache.rb +246 -0
  46. data/lib/hecks/bluebook/meta_validator.rb +9 -4
  47. data/lib/hecks/bluebook/model_check.rb +23 -0
  48. data/lib/hecks/bluebook/pattern_subset.rb +38 -0
  49. data/lib/hecks/bluebook/query.rb +20 -5
  50. data/lib/hecks/bluebook/smoke_test.rb +1 -1
  51. data/lib/hecks/canonical_json.rb +30 -0
  52. data/lib/hecks/chapters.rb +102 -0
  53. data/lib/hecks/cli/behaviors.rb +61 -0
  54. data/lib/hecks/cli/canonicalise.rb +25 -0
  55. data/lib/hecks/cli/check_engine_agreement.rb +32 -0
  56. data/lib/hecks/cli/check_era.rb +88 -0
  57. data/lib/hecks/cli/console.rb +66 -0
  58. data/lib/hecks/cli/deploy_template_diff.rb +40 -0
  59. data/lib/hecks/cli/doc_coverage.rb +32 -0
  60. data/lib/hecks/cli/document.rb +2 -2
  61. data/lib/hecks/cli/expression_projection.rb +41 -0
  62. data/lib/hecks/cli/follow.rb +88 -0
  63. data/lib/hecks/cli/history.rb +44 -0
  64. data/lib/hecks/cli/ir.rb +1 -1
  65. data/lib/hecks/cli/mcp.rb +3 -3
  66. data/lib/hecks/cli/model_check.rb +7 -4
  67. data/lib/hecks/cli/pattern_cases.rb +47 -0
  68. data/lib/hecks/cli/present.rb +39 -0
  69. data/lib/hecks/cli/project_cli.rb +224 -32
  70. data/lib/hecks/cli/project_diagrams.rb +4 -3
  71. data/lib/hecks/cli/project_glossary.rb +44 -0
  72. data/lib/hecks/cli/reference.rb +46 -0
  73. data/lib/hecks/cli/refresh_projections.rb +44 -0
  74. data/lib/hecks/cli/refresh_rspec_runtime_baseline.rb +150 -0
  75. data/lib/hecks/cli/release.rb +70 -0
  76. data/lib/hecks/cli/release_gem.rb +59 -0
  77. data/lib/hecks/cli/rspec_io_parallel_files.rb +137 -0
  78. data/lib/hecks/cli/rspec_shard_files.rb +66 -0
  79. data/lib/hecks/cli/run.rb +3 -3
  80. data/lib/hecks/cli/seed_semantics_corpus.rb +71 -0
  81. data/lib/hecks/cli/serve_query_ir_mcp.rb +30 -0
  82. data/lib/hecks/cli/shape.rb +70 -0
  83. data/lib/hecks/cli/smoke_http.rb +230 -0
  84. data/lib/hecks/cli/smoke_test.rb +5 -3
  85. data/lib/hecks/cli/spec_example.rb +27 -0
  86. data/lib/hecks/cli/statements.rb +32 -0
  87. data/lib/hecks/cli/stores.rb +4 -5
  88. data/lib/hecks/cli/stress_concurrency_specs.rb +177 -0
  89. data/lib/hecks/cli.rb +201 -52
  90. data/lib/hecks/codemod.rb +324 -0
  91. data/lib/hecks/corpus.rb +423 -0
  92. data/lib/hecks/deploy/bluebook/deploy.bluebook +591 -23
  93. data/lib/hecks/deploy/bluebook/deploy.hecksagon +41 -4
  94. data/lib/hecks/deploy/oidc.json +82 -2
  95. data/lib/hecks/doc/reference.rb +351 -0
  96. data/lib/hecks/doors/cli_door.rb +196 -0
  97. data/lib/hecks/doors/cli_runner.rb +297 -0
  98. data/lib/hecks/{facade → doors}/command_request.rb +1 -1
  99. data/lib/hecks/{facade → doors}/handle.rb +2 -2
  100. data/lib/hecks/{facade → doors}/json_door.rb +4 -4
  101. data/lib/hecks/doors/launcher_options.rb +129 -0
  102. data/lib/hecks/{cli → doors}/mcp_door.rb +7 -7
  103. data/lib/hecks/doors/mcp_door_scope.rb +97 -0
  104. data/lib/hecks/{facade/surface → doors/ruby_door}/aggregate_door.rb +8 -3
  105. data/lib/hecks/{facade/surface → doors/ruby_door}/chapter.rb +3 -3
  106. data/lib/hecks/{facade/surface.rb → doors/ruby_door.rb} +36 -5
  107. data/lib/hecks/doors.rb +61 -0
  108. data/lib/hecks/embryonaut_bluebook/vendor_cli.rb +1 -1
  109. data/lib/hecks/embryonaut_bluebook.rb +1 -1
  110. data/lib/hecks/engine_agreement.rb +156 -0
  111. data/lib/hecks/facade.rb +24 -37
  112. data/lib/hecks/forms/app.rb +6 -6
  113. data/lib/hecks/forms/banking_presentation.rb +50 -0
  114. data/lib/hecks/forms/field_shape.rb +2 -1
  115. data/lib/hecks/forms/port_argument.rb +1 -1
  116. data/lib/hecks/fuzzing/bounded_exhaustive_expressions.rb +393 -0
  117. data/lib/hecks/fuzzing/combination_miner.rb +86 -0
  118. data/lib/hecks/fuzzing/concurrent_dispatch.rb +214 -0
  119. data/lib/hecks/fuzzing/coverage_campaign.rb +143 -0
  120. data/lib/hecks/fuzzing/differential.rb +156 -0
  121. data/lib/hecks/fuzzing/domain_generator.rb +615 -0
  122. data/lib/hecks/fuzzing/era_boundary.rb +71 -0
  123. data/lib/hecks/fuzzing/form_census.rb +136 -0
  124. data/lib/hecks/fuzzing/generated_domain_check.rb +93 -0
  125. data/lib/hecks/fuzzing/invalid_value_generator.rb +64 -0
  126. data/lib/hecks/fuzzing/isolated_boot.rb +301 -0
  127. data/lib/hecks/fuzzing/nondeterministic.rb +51 -0
  128. data/lib/hecks/fuzzing/outside_world.rb +45 -0
  129. data/lib/hecks/fuzzing/persistence_parity.rb +102 -0
  130. data/lib/hecks/fuzzing/properties/corrections.rb +88 -0
  131. data/lib/hecks/fuzzing/properties/dispatch_and_mutations.rb +314 -0
  132. data/lib/hecks/fuzzing/properties/guards.rb +190 -0
  133. data/lib/hecks/fuzzing/properties/invariants_and_aggregation.rb +300 -0
  134. data/lib/hecks/fuzzing/properties/lifecycle_and_replay.rb +93 -0
  135. data/lib/hecks/fuzzing/properties/outbox.rb +89 -0
  136. data/lib/hecks/fuzzing/properties/querying.rb +175 -0
  137. data/lib/hecks/fuzzing/properties.rb +162 -0
  138. data/lib/hecks/fuzzing/qa_settings.rb +123 -0
  139. data/lib/hecks/fuzzing/replay.rb +505 -0
  140. data/lib/hecks/fuzzing/rotation_priority.rb +48 -0
  141. data/lib/hecks/fuzzing/rust_gap_manifest.rb +108 -0
  142. data/lib/hecks/fuzzing/self_consistency.rb +339 -0
  143. data/lib/hecks/fuzzing/sequence_generator/adversary.rb +385 -0
  144. data/lib/hecks/fuzzing/sequence_generator/catalog.rb +132 -0
  145. data/lib/hecks/fuzzing/sequence_generator/outcome_tracker.rb +95 -0
  146. data/lib/hecks/fuzzing/sequence_generator/picker.rb +77 -0
  147. data/lib/hecks/fuzzing/sequence_generator/query_binding.rb +109 -0
  148. data/lib/hecks/fuzzing/sequence_generator/step_builder.rb +237 -0
  149. data/lib/hecks/fuzzing/sequence_generator.rb +189 -0
  150. data/lib/hecks/fuzzing/shrinker.rb +166 -0
  151. data/lib/hecks/fuzzing/structural_skips.rb +33 -0
  152. data/lib/hecks/fuzzing/sweep_depth.rb +43 -0
  153. data/lib/hecks/fuzzing/target_capabilities.rb +163 -0
  154. data/lib/hecks/fuzzing/value_generator.rb +216 -0
  155. data/lib/hecks/fuzzing.rb +23 -0
  156. data/lib/hecks/grammar/evolve.rb +336 -0
  157. data/lib/hecks/hecks/adapters/codebase/codemods.rb +45 -0
  158. data/lib/hecks/hecks/adapters/codebase/conformance.rb +71 -0
  159. data/lib/hecks/hecks/adapters/codebase/corpus_tasks.rb +202 -0
  160. data/lib/hecks/hecks/adapters/codebase/gem_registry.rb +80 -0
  161. data/lib/hecks/hecks/adapters/codebase/kernel_tables.rb +54 -0
  162. data/lib/hecks/hecks/adapters/codebase/language.rb +240 -0
  163. data/lib/hecks/hecks/adapters/codebase/npm_registry.rb +102 -0
  164. data/lib/hecks/hecks/adapters/codebase/publishing.rb +142 -0
  165. data/lib/hecks/hecks/adapters/codebase/regeneration.rb +67 -0
  166. data/lib/hecks/hecks/adapters/codebase/release_facts.rb +90 -0
  167. data/lib/hecks/hecks/adapters/codebase/ruby_child.rb +83 -0
  168. data/lib/hecks/hecks/adapters/codebase/secret_vault.rb +36 -0
  169. data/lib/hecks/hecks/adapters/codebase/source_tree.adapter +7 -0
  170. data/lib/hecks/hecks/adapters/codebase/source_tree.rb +189 -0
  171. data/lib/hecks/hecks/adapters/codebase/sqlite_fixture.rb +71 -0
  172. data/lib/hecks/hecks/adapters/codebase/style.rb +171 -0
  173. data/lib/hecks/hecks/adapters/codebase/test_runner.rb +55 -0
  174. data/lib/hecks/hecks/adapters/codebase/test_suite.rb +165 -0
  175. data/lib/hecks/hecks/adapters/codebase/tree.rb +111 -0
  176. data/lib/hecks/hecks/adapters/console_capture.rb +79 -0
  177. data/lib/hecks/hecks/adapters/deploy_toolchain.adapter +7 -0
  178. data/lib/hecks/hecks/adapters/deploy_toolchain.rb +108 -0
  179. data/lib/hecks/hecks/adapters/git.adapter +7 -0
  180. data/lib/hecks/hecks/adapters/git.rb +102 -0
  181. data/lib/hecks/hecks/adapters/host_http.adapter +7 -0
  182. data/lib/hecks/hecks/adapters/host_http.rb +65 -0
  183. data/lib/hecks/hecks/adapters/in_process_boot.adapter +7 -0
  184. data/lib/hecks/hecks/adapters/in_process_boot.rb +197 -0
  185. data/lib/hecks/hecks/adapters/in_process_operations.rb +202 -0
  186. data/lib/hecks/hecks/adapters/journal_store/changes.rb +143 -0
  187. data/lib/hecks/hecks/adapters/journal_store/compaction.rb +145 -0
  188. data/lib/hecks/hecks/adapters/journal_store/edge_audit.rb +132 -0
  189. data/lib/hecks/hecks/adapters/journal_store/examination.rb +135 -0
  190. data/lib/hecks/hecks/adapters/journal_store/held_domain.rb +163 -0
  191. data/lib/hecks/hecks/adapters/journal_store/readings.rb +187 -0
  192. data/lib/hecks/hecks/adapters/journal_store.adapter +7 -0
  193. data/lib/hecks/hecks/adapters/journal_store.rb +64 -0
  194. data/lib/hecks/hecks/adapters/local_files.adapter +7 -0
  195. data/lib/hecks/hecks/adapters/local_files.rb +46 -0
  196. data/lib/hecks/hecks/adapters/pg_admin.adapter +7 -0
  197. data/lib/hecks/hecks/adapters/pg_admin.rb +245 -0
  198. data/lib/hecks/hecks/adapters/process_pool.adapter +7 -0
  199. data/lib/hecks/hecks/adapters/process_pool.rb +119 -0
  200. data/lib/hecks/hecks/adapters/rust_toolchain.adapter +7 -0
  201. data/lib/hecks/hecks/adapters/rust_toolchain.rb +179 -0
  202. data/lib/hecks/hecks/adapters/rust_workspace.rb +150 -0
  203. data/lib/hecks/hecks/adapters/shell.adapter +7 -0
  204. data/lib/hecks/hecks/adapters/shell.rb +49 -0
  205. data/lib/hecks/hecks/adapters/terminal.adapter +7 -0
  206. data/lib/hecks/hecks/adapters/terminal.rb +74 -0
  207. data/lib/hecks/hecks/codebase.behaviors +172 -0
  208. data/lib/hecks/hecks/codebase.bluebook +2453 -0
  209. data/lib/hecks/hecks/context_map.hecksagon +13 -0
  210. data/lib/hecks/hecks/custodian.behaviors +179 -0
  211. data/lib/hecks/hecks/custodian.bluebook +1847 -0
  212. data/lib/hecks/hecks/deploy.behaviors +74 -0
  213. data/lib/hecks/hecks/deploy.world +12 -0
  214. data/lib/hecks/hecks/environments/memory.world +10 -0
  215. data/lib/hecks/hecks/governance.world +7 -0
  216. data/lib/hecks/hecks/hecks.behaviors +62 -0
  217. data/lib/hecks/hecks/hecks.bluebook +124 -0
  218. data/lib/hecks/hecks/hecks.hecksagon +390 -0
  219. data/lib/hecks/hecks/hecks.world +42 -0
  220. data/lib/hecks/kernel_capabilities.rb +194 -0
  221. data/lib/hecks/language/bluebook/bluebook.bluebook +11 -0
  222. data/lib/hecks/language/bluebook/query.bluebook +7 -0
  223. data/lib/hecks/language/bluebook/vocabulary.bluebook +4 -4
  224. data/lib/hecks/language/hecksagon/domain_port.bluebook +10 -0
  225. data/lib/hecks/language/hecksagon/hecksagon.bluebook +20 -0
  226. data/lib/hecks/mcp_stdio_guard.rb +2 -2
  227. data/lib/hecks/persistence_legacy_fixture/regenerate.rb +161 -0
  228. data/lib/hecks/persistence_legacy_fixture.rb +113 -0
  229. data/lib/hecks/ports/persistence/plugins/era/era_check.rb +8 -5
  230. data/lib/hecks/ports/persistence/plugins/era/era_guard.rb +4 -1
  231. data/lib/hecks/ports/persistence/plugins/era/expected_era.rb +15 -2
  232. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/era_store.rb +1 -1
  233. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/tail_merge.rb +1 -1
  234. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/merge_coordinator.rb +1 -1
  235. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/minter.rb +32 -15
  236. data/lib/hecks/ports/persistence/plugins/era/postgres_era.rb +6 -3
  237. data/lib/hecks/ports/persistence/plugins/era/translation/approval_file.rb +227 -0
  238. data/lib/hecks/ports/persistence/plugins/era/translation/audit/approval_digest.rb +1 -1
  239. data/lib/hecks/ports/persistence/plugins/era/translation/reattest.rb +43 -24
  240. data/lib/hecks/ports/persistence/plugins/era/translation.rb +1 -0
  241. data/lib/hecks/ports/persistence/state_codec.rb +24 -5
  242. data/lib/hecks/projection_files.rb +285 -0
  243. data/lib/hecks/projections/bootstrap_table.rb +1 -1
  244. data/lib/hecks/projections/deploy/fargate.rb +5 -5
  245. data/lib/hecks/projections/deploy/lambda.rb +43 -32
  246. data/lib/hecks/projections/deploy/preview/preview.sh.erb +1 -1
  247. data/lib/hecks/projections/deploy/preview/template.rb +1 -1
  248. data/lib/hecks/projections/deploy/scripts/deploy-service.sh.tmpl +1 -1
  249. data/lib/hecks/projections/deploy/scripts/expected-era.header +1 -1
  250. data/lib/hecks/projections/deploy/scripts/hosting.mk.tmpl +3 -3
  251. data/lib/hecks/projections/deploy/scripts/smoke-after-deploy.sh.tmpl +1 -1
  252. data/lib/hecks/projections/deploy/shared.rb +1 -1
  253. data/lib/hecks/projections/diagrams.rb +3 -3
  254. data/lib/hecks/projections/model/deviations.rb +1 -1
  255. data/lib/hecks/projections/parser_table.rb +4 -4
  256. data/lib/hecks/projections/reference.rb +2 -3
  257. data/lib/hecks/projections/rust_vocabulary.rb +1 -1
  258. data/lib/hecks/projector/cli_projector.rb +106 -37
  259. data/lib/hecks/projector.rb +1 -1
  260. data/lib/hecks/quality_control/adapters/agent.adapter +7 -0
  261. data/lib/hecks/quality_control/adapters/agent.rb +58 -0
  262. data/lib/hecks/quality_control/adapters/angle_tools.adapter +7 -0
  263. data/lib/hecks/quality_control/adapters/angle_tools.rb +15 -0
  264. data/lib/hecks/quality_control/adapters/clearance_recorder.rb +36 -0
  265. data/lib/hecks/quality_control/adapters/clearance_tools.adapter +7 -0
  266. data/lib/hecks/quality_control/adapters/clearance_tools.rb +17 -0
  267. data/lib/hecks/quality_control/adapters/git_pr.adapter +7 -0
  268. data/lib/hecks/quality_control/adapters/git_pr.rb +226 -0
  269. data/lib/hecks/quality_control/adapters/github_checks.adapter +9 -0
  270. data/lib/hecks/quality_control/adapters/github_checks.rb +83 -0
  271. data/lib/hecks/quality_control/adapters/github_ci_webhook.rb +56 -0
  272. data/lib/hecks/quality_control/adapters/github_issues.adapter +7 -0
  273. data/lib/hecks/quality_control/adapters/github_issues.rb +49 -0
  274. data/lib/hecks/quality_control/adapters/qa_tool.rb +59 -0
  275. data/lib/hecks/quality_control/adapters/sweep_tools.adapter +7 -0
  276. data/lib/hecks/quality_control/adapters/sweep_tools.rb +51 -0
  277. data/lib/hecks/quality_control/adapters/target_tools.adapter +7 -0
  278. data/lib/hecks/quality_control/adapters/target_tools.rb +43 -0
  279. data/lib/hecks/quality_control/cli/child.rb +45 -0
  280. data/lib/hecks/quality_control/cli/qa_concurrency_racer.rb +45 -0
  281. data/lib/hecks/quality_control/cli/qa_discover_external_domains.rb +248 -0
  282. data/lib/hecks/quality_control/cli/qa_domain_novelty.rb +163 -0
  283. data/lib/hecks/quality_control/cli/qa_generated_domains.rb +450 -0
  284. data/lib/hecks/quality_control/cli/qa_log_bug.rb +195 -0
  285. data/lib/hecks/quality_control/cli/qa_mine_combinations.rb +220 -0
  286. data/lib/hecks/quality_control/cli/qa_open_pr.rb +305 -0
  287. data/lib/hecks/quality_control/cli/qa_postgres_migrate.rb +154 -0
  288. data/lib/hecks/quality_control/cli/qa_postgres_role.rb +159 -0
  289. data/lib/hecks/quality_control/cli/qa_pr_check.rb +232 -0
  290. data/lib/hecks/quality_control/cli/qa_seed_angles.rb +142 -0
  291. data/lib/hecks/quality_control/cli/qa_seed_targets.rb +69 -0
  292. data/lib/hecks/quality_control/cli/qa_sweep/all_mode.rb +280 -0
  293. data/lib/hecks/quality_control/cli/qa_sweep/checks.rb +329 -0
  294. data/lib/hecks/quality_control/cli/qa_sweep/dials.rb +92 -0
  295. data/lib/hecks/quality_control/cli/qa_sweep/finding_report.rb +117 -0
  296. data/lib/hecks/quality_control/cli/qa_sweep/parsing.rb +175 -0
  297. data/lib/hecks/quality_control/cli/qa_sweep/release_mode.rb +60 -0
  298. data/lib/hecks/quality_control/cli/qa_sweep.rb +611 -0
  299. data/lib/hecks/quality_control/cli/qa_tick.rb +274 -0
  300. data/lib/hecks/quality_control/quality_control.bluebook +2224 -0
  301. data/lib/hecks/quality_control/quality_control.hecksagon +13 -0
  302. data/lib/hecks/quality_control/quality_control.ports.hecksagon +54 -0
  303. data/lib/hecks/query_ir.rb +346 -0
  304. data/lib/hecks/query_ir_mcp.rb +198 -0
  305. data/lib/hecks/release/runner/ci_publisher.rb +2 -2
  306. data/lib/hecks/release/runner/clean_tree.rb +42 -0
  307. data/lib/hecks/release/runner/console.rb +6 -0
  308. data/lib/hecks/release/runner/gem_publisher.rb +14 -7
  309. data/lib/hecks/release/runner/npm_publisher.rb +6 -36
  310. data/lib/hecks/release/runner/preflight.rb +26 -2
  311. data/lib/hecks/release/runner/published.rb +8 -26
  312. data/lib/hecks/release/runner/tagger.rb +30 -15
  313. data/lib/hecks/release/runner.rb +57 -6
  314. data/lib/hecks/router/namespace_installer.rb +3 -3
  315. data/lib/hecks/runtime/adapter_lookup.rb +124 -0
  316. data/lib/hecks/runtime/command_interpreter/mutation_applier.rb +4 -0
  317. data/lib/hecks/runtime/dependency_planning.rb +20 -2
  318. data/lib/hecks/runtime/dispatcher.rb +53 -3
  319. data/lib/hecks/runtime/interpreting.rb +3 -0
  320. data/lib/hecks/runtime/loader.rb +65 -12
  321. data/lib/hecks/runtime/outbox.rb +1 -1
  322. data/lib/hecks/runtime/policy_interpreter.rb +5 -2
  323. data/lib/hecks/runtime/port_operation_interpreter.rb +2 -10
  324. data/lib/hecks/runtime/query_interpreter.rb +77 -0
  325. data/lib/hecks/runtime/reaction_outcome.rb +89 -0
  326. data/lib/hecks/runtime/refusal_wording.rb +23 -1
  327. data/lib/hecks/runtime/registry/verification.rb +163 -4
  328. data/lib/hecks/runtime/registry.rb +57 -3
  329. data/lib/hecks/runtime/remote_dispatcher.rb +31 -2
  330. data/lib/hecks/runtime/value/coercion.rb +23 -135
  331. data/lib/hecks/runtime/value/field_checks.rb +172 -0
  332. data/lib/hecks/runtime/value.rb +4 -1
  333. data/lib/hecks/runtime.rb +20 -6
  334. data/lib/hecks/rust_build/conformance.rb +158 -0
  335. data/lib/hecks/rust_build/conformance_fuzz.rb +71 -0
  336. data/lib/hecks/rust_build/coverage.rb +218 -0
  337. data/lib/hecks/rust_build/native_build.rb +124 -0
  338. data/lib/hecks/rust_build/project_rust/root_mod.rb +120 -0
  339. data/lib/hecks/rust_build/project_rust.rb +332 -0
  340. data/lib/hecks/rust_build/wasm.rb +105 -0
  341. data/lib/hecks/rust_build/wasm_browser.rb +113 -0
  342. data/lib/hecks/rust_build.rb +144 -0
  343. data/lib/hecks/storehouse.rb +16 -16
  344. data/lib/hecks/tenancy/bluebook/tenancy.bluebook +2 -2
  345. data/lib/hecks/tenancy/bluebook/tenancy.hecksagon +1 -1
  346. data/lib/hecks/three_zero/forms.yml +127 -0
  347. data/lib/hecks/three_zero.rb +12 -0
  348. data/lib/hecks/tools/argument_gate_matrix.rb +316 -0
  349. data/lib/hecks/tools/comment_style.rb +1070 -0
  350. data/lib/hecks/tools/corpus_report.rb +87 -0
  351. data/lib/hecks/tools/deploy_recipe.rb +255 -0
  352. data/lib/hecks/tools/deploy_recipe_lint.rb +282 -0
  353. data/lib/hecks/tools/drop_implicit_append_fields.rb +95 -0
  354. data/lib/hecks/tools/era_projection_backfill.rb +94 -0
  355. data/lib/hecks/tools/era_reattest.rb +146 -0
  356. data/lib/hecks/tools/evolve_run.rb +189 -0
  357. data/lib/hecks/tools/fuzz_sweep.rb +373 -0
  358. data/lib/hecks/tools/heki_compaction.rb +100 -0
  359. data/lib/hecks/tools/hoist_local_givens.rb +246 -0
  360. data/lib/hecks/tools/journal_compaction.rb +89 -0
  361. data/lib/hecks/tools/oidc_manifests.rb +70 -0
  362. data/lib/hecks/tools/query_ir_run.rb +81 -0
  363. data/lib/hecks/tools/regeneration_run.rb +166 -0
  364. data/lib/hecks/tools/rust_comment_style.rb +642 -0
  365. data/lib/hecks/tools/sequence_script.rb +62 -0
  366. data/lib/hecks/tools/tail_merge.rb +117 -0
  367. data/lib/hecks/tools/tenant_provisioning.rb +142 -0
  368. data/lib/hecks/tools/translation_audit.rb +208 -0
  369. data/lib/hecks/tools/translation_scaffold.rb +131 -0
  370. data/lib/hecks/tools.rb +86 -0
  371. data/lib/hecks/version.rb +1 -1
  372. data/lib/hecks.rb +32 -15
  373. data/qa/settings.yml +66 -0
  374. data/rust/.cargo/config.toml +6 -0
  375. data/rust/.gitignore +2 -0
  376. data/rust/Cargo.lock +54 -0
  377. data/rust/Cargo.toml +61 -0
  378. data/rust/build/.cargo/config.toml +3 -0
  379. data/rust/build/.gitignore +1 -0
  380. data/rust/build/Cargo.lock +7 -0
  381. data/rust/build/Cargo.toml +19 -0
  382. data/rust/build/src/build_artifact.rs +47 -0
  383. data/rust/build/src/cargo_sync.rs +248 -0
  384. data/rust/build/src/json.rs +421 -0
  385. data/rust/build/src/lineage_pass.rs +285 -0
  386. data/rust/build/src/main.rs +51 -0
  387. data/rust/build/src/optional_pass.rs +150 -0
  388. data/rust/build/src/pipeline.rs +264 -0
  389. data/rust/build/src/reserved_names.rs +76 -0
  390. data/rust/build/src/resolve.rs +124 -0
  391. data/rust/build/src/root.rs +25 -0
  392. data/rust/build/src/sidecars.rs +73 -0
  393. data/rust/build/src/subprocess.rs +51 -0
  394. data/rust/build/src/tmp.rs +31 -0
  395. data/rust/codegen/.cargo/config.toml +3 -0
  396. data/rust/codegen/.gitignore +1 -0
  397. data/rust/codegen/Cargo.lock +7 -0
  398. data/rust/codegen/Cargo.toml +20 -0
  399. data/rust/codegen/src/attr.rs +32 -0
  400. data/rust/codegen/src/bridging.rs +481 -0
  401. data/rust/codegen/src/commands.rs +1226 -0
  402. data/rust/codegen/src/constraints.rs +109 -0
  403. data/rust/codegen/src/dependency_planning.rs +209 -0
  404. data/rust/codegen/src/domain_generator.rs +1288 -0
  405. data/rust/codegen/src/exemplar.rs +230 -0
  406. data/rust/codegen/src/expr_emitter.rs +87 -0
  407. data/rust/codegen/src/fielded.rs +192 -0
  408. data/rust/codegen/src/hecks_naming.rs +33 -0
  409. data/rust/codegen/src/json.rs +335 -0
  410. data/rust/codegen/src/json_codec.rs +697 -0
  411. data/rust/codegen/src/literal.rs +207 -0
  412. data/rust/codegen/src/main.rs +290 -0
  413. data/rust/codegen/src/manifest.rs +227 -0
  414. data/rust/codegen/src/mutations.rs +784 -0
  415. data/rust/codegen/src/naming.rs +286 -0
  416. data/rust/codegen/src/ports.rs +208 -0
  417. data/rust/codegen/src/prelude.rs +116 -0
  418. data/rust/codegen/src/queries.rs +786 -0
  419. data/rust/codegen/src/reactions.rs +532 -0
  420. data/rust/codegen/src/read_models.rs +697 -0
  421. data/rust/codegen/src/reference_specs.rs +40 -0
  422. data/rust/codegen/src/registry.rs +966 -0
  423. data/rust/codegen/src/reserved_names.rs +76 -0
  424. data/rust/codegen/src/shared.rs +93 -0
  425. data/rust/codegen/src/skip_reason.rs +25 -0
  426. data/rust/codegen/src/types.rs +362 -0
  427. data/rust/host/.cargo/config.toml +3 -0
  428. data/rust/host/.gitignore +1 -0
  429. data/rust/host/Cargo.lock +4297 -0
  430. data/rust/host/Cargo.toml +61 -0
  431. data/rust/host/HECKS_RELEASE +1 -0
  432. data/rust/host/rds-ca-bundle.pem +2736 -0
  433. data/rust/host/src/api.rs +1596 -0
  434. data/rust/host/src/approval.rs +652 -0
  435. data/rust/host/src/auth.rs +1287 -0
  436. data/rust/host/src/bin/expr_harness.rs +46 -0
  437. data/rust/host/src/bin/lineage_harness.rs +119 -0
  438. data/rust/host/src/bin/mint_harness.rs +135 -0
  439. data/rust/host/src/checkout.rs +265 -0
  440. data/rust/host/src/dispatch.rs +1443 -0
  441. data/rust/host/src/expr_json.rs +1117 -0
  442. data/rust/host/src/field_hints.rs +52 -0
  443. data/rust/host/src/ir.rs +733 -0
  444. data/rust/host/src/journal.rs +874 -0
  445. data/rust/host/src/lambda_client.rs +378 -0
  446. data/rust/host/src/log.rs +147 -0
  447. data/rust/host/src/main.rs +474 -0
  448. data/rust/host/src/mint.rs +1865 -0
  449. data/rust/host/src/payments/keystore.rs +330 -0
  450. data/rust/host/src/payments/tests.rs +1400 -0
  451. data/rust/host/src/payments.rs +767 -0
  452. data/rust/host/src/presentation.rs +698 -0
  453. data/rust/host/src/presentation_write.rs +1431 -0
  454. data/rust/host/src/query_step.rs +149 -0
  455. data/rust/host/src/rate_limit.rs +904 -0
  456. data/rust/host/src/reference_transform.rs +241 -0
  457. data/rust/host/src/reference_validate.rs +338 -0
  458. data/rust/host/src/resend.rs +296 -0
  459. data/rust/host/src/secrets.rs +106 -0
  460. data/rust/host/src/server.rs +663 -0
  461. data/rust/host/src/storage_shape.rs +175 -0
  462. data/rust/host/src/test_pg.rs +40 -0
  463. data/rust/host/src/ui_schema.rs +1351 -0
  464. data/rust/host/src/wasm_runner.rs +191 -0
  465. data/rust/host/src/web/newsletter/cooldown.rs +126 -0
  466. data/rust/host/src/web/newsletter/tests.rs +104 -0
  467. data/rust/host/src/web/newsletter.rs +310 -0
  468. data/rust/host/src/web/newsletter_send.rs +357 -0
  469. data/rust/host/src/web/registrations.rs +1505 -0
  470. data/rust/host/src/web.rs +2937 -0
  471. data/rust/lsp/.gitignore +1 -0
  472. data/rust/lsp/Cargo.lock +7 -0
  473. data/rust/lsp/Cargo.toml +16 -0
  474. data/rust/lsp/README.md +133 -0
  475. data/rust/lsp/src/diagnostics.rs +165 -0
  476. data/rust/lsp/src/json.rs +385 -0
  477. data/rust/lsp/src/main.rs +399 -0
  478. data/rust/lsp/src/outline.rs +177 -0
  479. data/rust/lsp/src/rpc.rs +67 -0
  480. data/rust/parser/.cargo/config.toml +5 -0
  481. data/rust/parser/.gitignore +1 -0
  482. data/rust/parser/Cargo.lock +7 -0
  483. data/rust/parser/Cargo.toml +21 -0
  484. data/rust/parser/src/build/closed_sets.rs +27 -0
  485. data/rust/parser/src/build/identity.rs +276 -0
  486. data/rust/parser/src/build/mod.rs +12 -0
  487. data/rust/parser/src/build/naming.rs +141 -0
  488. data/rust/parser/src/build/pattern_subset.rs +161 -0
  489. data/rust/parser/src/build/query_derive.rs +72 -0
  490. data/rust/parser/src/build/query_inference.rs +269 -0
  491. data/rust/parser/src/build/query_options.rs +100 -0
  492. data/rust/parser/src/build/read_model.rs +94 -0
  493. data/rust/parser/src/build/references.rs +32 -0
  494. data/rust/parser/src/canonical.rs +114 -0
  495. data/rust/parser/src/diag.rs +55 -0
  496. data/rust/parser/src/emit.rs +953 -0
  497. data/rust/parser/src/expr/ast_json.rs +147 -0
  498. data/rust/parser/src/expr/evaluator.rs +81 -0
  499. data/rust/parser/src/expr/mod.rs +84 -0
  500. data/rust/parser/src/expr/resolver.rs +497 -0
  501. data/rust/parser/src/ir.rs +387 -0
  502. data/rust/parser/src/keywords.rs +585 -0
  503. data/rust/parser/src/lex.rs +662 -0
  504. data/rust/parser/src/main.rs +252 -0
  505. data/rust/parser/src/parse/aggregate.rs +612 -0
  506. data/rust/parser/src/parse/chapter.rs +517 -0
  507. data/rust/parser/src/parse/command.rs +637 -0
  508. data/rust/parser/src/parse/domain_port.rs +127 -0
  509. data/rust/parser/src/parse/entity.rs +527 -0
  510. data/rust/parser/src/parse/file.rs +67 -0
  511. data/rust/parser/src/parse/hecksagon.rs +231 -0
  512. data/rust/parser/src/parse/lifecycle.rs +162 -0
  513. data/rust/parser/src/parse/mod.rs +1262 -0
  514. data/rust/parser/src/parse/policy.rs +87 -0
  515. data/rust/parser/src/parse/process_manager.rs +305 -0
  516. data/rust/parser/src/parse/query.rs +100 -0
  517. data/rust/parser/src/parse/read_model.rs +214 -0
  518. data/rust/parser/src/parse/value_object.rs +250 -0
  519. data/rust/parser/src/ruby_value.rs +422 -0
  520. data/rust/project/bridging.rb +257 -0
  521. data/rust/project/commands.rb +877 -0
  522. data/rust/project/constraints.rb +86 -0
  523. data/rust/project/dependency_planning.rb +178 -0
  524. data/rust/project/domain_generator.rb +980 -0
  525. data/rust/project/exemplar.rb +148 -0
  526. data/rust/project/expr_emitter.rb +72 -0
  527. data/rust/project/fielded.rb +141 -0
  528. data/rust/project/json_codec.rb +641 -0
  529. data/rust/project/mutations.rb +721 -0
  530. data/rust/project/naming.rb +205 -0
  531. data/rust/project/ports.rb +65 -0
  532. data/rust/project/queries.rb +493 -0
  533. data/rust/project/reactions.rb +317 -0
  534. data/rust/project/read_models.rb +690 -0
  535. data/rust/project/reference_specs.rb +27 -0
  536. data/rust/project/registry.rb +396 -0
  537. data/rust/project/skip_reason.rb +29 -0
  538. data/rust/project/types.rb +225 -0
  539. data/rust/project/write_if_changed.rb +83 -0
  540. data/rust/project.rb +30 -0
  541. data/rust/project_rust_pipeline.rb +383 -0
  542. data/rust/src/exemplar/commands.rs +279 -0
  543. data/rust/src/exemplar/constraints.rs +18 -0
  544. data/rust/src/exemplar/fielded.rs +280 -0
  545. data/rust/src/exemplar/json.rs +277 -0
  546. data/rust/src/exemplar/mod.rs +17 -0
  547. data/rust/src/exemplar/mutations.rs +80 -0
  548. data/rust/src/exemplar/queries.rs +33 -0
  549. data/rust/src/exemplar/reactions.rs +88 -0
  550. data/rust/src/exemplar/read_models.rs +48 -0
  551. data/rust/src/exemplar/registry.rs +166 -0
  552. data/rust/src/exemplar/types.rs +44 -0
  553. data/rust/src/kernel/attribute_shapes/composite.rs +88 -0
  554. data/rust/src/kernel/attribute_shapes/list.rs +18 -0
  555. data/rust/src/kernel/attribute_shapes/mod.rs +44 -0
  556. data/rust/src/kernel/attribute_shapes/optional.rs +9 -0
  557. data/rust/src/kernel/attribute_shapes/scalar.rs +39 -0
  558. data/rust/src/kernel/cli.rs +585 -0
  559. data/rust/src/kernel/dispatch.rs +1090 -0
  560. data/rust/src/kernel/expr.rs +458 -0
  561. data/rust/src/kernel/expression_operators/arithmetic.rs +128 -0
  562. data/rust/src/kernel/expression_operators/comparison.rs +48 -0
  563. data/rust/src/kernel/expression_operators/enumeration.rs +232 -0
  564. data/rust/src/kernel/expression_operators/logical.rs +13 -0
  565. data/rust/src/kernel/expression_operators/membership.rs +18 -0
  566. data/rust/src/kernel/expression_operators/mod.rs +68 -0
  567. data/rust/src/kernel/expression_operators/pattern_match.rs +73 -0
  568. data/rust/src/kernel/expression_operators/positional.rs +126 -0
  569. data/rust/src/kernel/expression_operators/presence.rs +101 -0
  570. data/rust/src/kernel/expression_operators/sign_test.rs +16 -0
  571. data/rust/src/kernel/expression_operators/sized.rs +35 -0
  572. data/rust/src/kernel/expression_operators/text.rs +79 -0
  573. data/rust/src/kernel/expression_operators/to_string.rs +18 -0
  574. data/rust/src/kernel/json.rs +779 -0
  575. data/rust/src/kernel/mod.rs +133 -0
  576. data/rust/src/kernel/named_query.rs +219 -0
  577. data/rust/src/kernel/orchestrate.rs +1810 -0
  578. data/rust/src/kernel/pattern.rs +307 -0
  579. data/rust/src/kernel/query_comparators.rs +206 -0
  580. data/rust/src/kernel/query_ordering.rs +103 -0
  581. data/rust/src/kernel/read_model.rs +914 -0
  582. data/rust/src/kernel/reference_lookup.rs +149 -0
  583. data/rust/src/kernel/repository.rs +468 -0
  584. data/rust/src/kernel/routing.rs +612 -0
  585. data/rust/src/kernel/vocab/aggregate_dispatch_order.rs +118 -0
  586. data/rust/src/kernel/vocab/entity_dispatch_order.rs +114 -0
  587. data/rust/src/kernel/vocab/field_hint.rs +70 -0
  588. data/rust/src/kernel/vocab/mod.rs +20 -0
  589. data/rust/src/kernel/vocab/query_comparator.rs +65 -0
  590. data/rust/src/kernel/vocab/refusal_template.rs +1592 -0
  591. data/rust/src/lib.rs +8 -0
  592. data/rust/src/main.rs +16 -0
  593. data/rust/web/.gitignore +1 -0
  594. data/rust/web/Cargo.lock +119 -0
  595. data/rust/web/Cargo.toml +18 -0
  596. data/rust/web/src/lib.rs +8 -0
  597. metadata +477 -12
  598. data/lib/hecks/facade/cli_door.rb +0 -96
  599. data/lib/hecks/facade/cli_runner.rb +0 -127
  600. data/lib/hecks/mcp_door_scope.rb +0 -95
@@ -0,0 +1,27 @@
1
+ //! Mirrors `AttributeCollector#synthesise_closed_set`: an inline `one_of("a", "b")` attribute
2
+ //! becomes a closed-set value object named `Naming.pascal(attribute_name)`.
3
+
4
+ use crate::build::naming;
5
+ use crate::ir;
6
+
7
+ /// Builds the closed-set value object for `field_name` with one member per value.
8
+ ///
9
+ /// Only `AggregateBuilder#build` keeps the result; command, query, value-object and port
10
+ /// builders discard it and keep the derived type name.
11
+ pub fn synthesize(field_name: &str, values: &[String]) -> ir::ValueObject {
12
+ let type_name = naming::pascal(field_name);
13
+ ir::ValueObject {
14
+ name: type_name,
15
+ attributes: vec![ir::Attribute {
16
+ name: "value".to_string(),
17
+ type_name: "String".to_string(),
18
+ ..Default::default()
19
+ }],
20
+ invariants: Vec::new(),
21
+ closed_set: true,
22
+ members: values
23
+ .iter()
24
+ .map(|value| vec![("value".to_string(), crate::ruby_value::Value::Str(value.clone()))])
25
+ .collect(),
26
+ }
27
+ }
@@ -0,0 +1,276 @@
1
+ //! Derives the identity paths of `identified_by`, in both its field form and its
2
+ //! `identified_by ValueObject, as: field` form (mirrors `AttributeCollector`).
3
+
4
+ use crate::diag::{Diagnostic, ParseResult};
5
+ use crate::ir;
6
+
7
+ /// Resolves `identified_by :field` to its scalar identity paths.
8
+ ///
9
+ /// An `id` or `_id`-suffixed name with no matching attribute passes through: the meta-domain
10
+ /// identifies by parent ids the judge's replay supplies (mirrors `attribute_collector.rb`).
11
+ pub fn resolve_identity_field(
12
+ file: &str,
13
+ line: usize,
14
+ context_name: &str,
15
+ field: &str,
16
+ value_objects: &[ir::ValueObject],
17
+ attributes: &[ir::Attribute],
18
+ ) -> ParseResult<Vec<String>> {
19
+ let attr = attributes.iter().find(|a| a.name == field);
20
+
21
+ let attr = match attr {
22
+ Some(attr) => attr,
23
+ None if field == "id" || field.ends_with("_id") => return Ok(vec![field.to_string()]),
24
+ None => {
25
+ return Err(Diagnostic::new(file, line, format!("{context_name}.identified_by :{field} names no attribute {context_name} declares")));
26
+ }
27
+ };
28
+
29
+ identity_paths_for_attribute(file, line, context_name, attr, value_objects, field, &[])
30
+ }
31
+
32
+ // Runs at the end of the aggregate body because the value object may be declared after
33
+ // `identified_by`. Mints the identity attribute at `insert_at`.
34
+ #[allow(clippy::too_many_arguments)]
35
+ pub fn resolve_identity_type(
36
+ file: &str,
37
+ line: usize,
38
+ context_name: &str,
39
+ target: &str,
40
+ as_field: Option<&str>,
41
+ insert_at: usize,
42
+ value_objects: &[ir::ValueObject],
43
+ attributes: &mut Vec<ir::Attribute>,
44
+ ) -> ParseResult<Vec<String>> {
45
+ let target = crate::build::naming::demodulise(target);
46
+ let matches: Vec<&ir::ValueObject> =
47
+ value_objects.iter().filter(|v| v.name == target).collect();
48
+ if matches.len() > 1 {
49
+ return Err(Diagnostic::new(
50
+ file,
51
+ line,
52
+ format!("{context_name}.identified_by names duplicate value object {target}"),
53
+ ));
54
+ }
55
+ let vo = matches.first().copied().ok_or_else(|| {
56
+ Diagnostic::new(
57
+ file,
58
+ line,
59
+ format!(
60
+ "{context_name}.identified_by names {target}, which is not a declared value object"
61
+ ),
62
+ )
63
+ })?;
64
+
65
+ if vo.attributes.is_empty() {
66
+ return Err(Diagnostic::new(
67
+ file,
68
+ line,
69
+ format!("{context_name}.identified_by names {target}, which declares no attributes"),
70
+ ));
71
+ }
72
+
73
+ let field = as_field
74
+ .map(|s| s.to_string())
75
+ .unwrap_or_else(|| crate::build::naming::snake(&target));
76
+ if attributes.iter().any(|attribute| attribute.name == field) {
77
+ return Err(Diagnostic::new(
78
+ file,
79
+ line,
80
+ format!(
81
+ "{context_name}.identified_by {target} mints :{field}, but that attribute is already declared"
82
+ ),
83
+ ));
84
+ }
85
+
86
+ let minted = ir::Attribute {
87
+ name: field.clone(),
88
+ type_name: target.clone(),
89
+ list: false,
90
+ ..Default::default()
91
+ };
92
+ let insert_at = insert_at.min(attributes.len());
93
+ attributes.insert(insert_at, minted);
94
+
95
+ let mut paths = Vec::new();
96
+ for attribute in &vo.attributes {
97
+ paths.extend(identity_paths_for_attribute(
98
+ file,
99
+ line,
100
+ context_name,
101
+ attribute,
102
+ value_objects,
103
+ &format!("{field}.{}", attribute.name),
104
+ std::slice::from_ref(&target),
105
+ )?);
106
+ }
107
+ Ok(paths)
108
+ }
109
+
110
+ fn identity_paths_for_attribute(
111
+ file: &str,
112
+ line: usize,
113
+ context_name: &str,
114
+ attribute: &ir::Attribute,
115
+ value_objects: &[ir::ValueObject],
116
+ path: &str,
117
+ visited: &[String],
118
+ ) -> ParseResult<Vec<String>> {
119
+ if attribute.list {
120
+ return Err(Diagnostic::new(
121
+ file,
122
+ line,
123
+ format!(
124
+ "{context_name}'s identity member {path} is a list — an identity member must be scalar"
125
+ ),
126
+ ));
127
+ }
128
+ if attribute.optional {
129
+ return Err(Diagnostic::new(
130
+ file,
131
+ line,
132
+ format!(
133
+ "{context_name}'s identity member {path} is optional — an identity must be wholly known"
134
+ ),
135
+ ));
136
+ }
137
+ if attribute.reference_target().is_some() {
138
+ return Ok(vec![path.to_string()]);
139
+ }
140
+
141
+ let Some(nested) = value_objects
142
+ .iter()
143
+ .find(|value_object| value_object.name == attribute.type_name)
144
+ else {
145
+ return Ok(vec![path.to_string()]);
146
+ };
147
+
148
+ if visited.iter().any(|name| name == &nested.name) {
149
+ let mut cycle = visited.to_vec();
150
+ cycle.push(nested.name.clone());
151
+ return Err(Diagnostic::new(
152
+ file,
153
+ line,
154
+ format!(
155
+ "{context_name}'s identity value objects form a cycle: {}",
156
+ cycle.join(" -> ")
157
+ ),
158
+ ));
159
+ }
160
+ if nested.attributes.is_empty() {
161
+ return Err(Diagnostic::new(
162
+ file,
163
+ line,
164
+ format!(
165
+ "{context_name}'s identity member {path} names {}, which declares no attributes",
166
+ nested.name
167
+ ),
168
+ ));
169
+ }
170
+
171
+ let mut next_visited = visited.to_vec();
172
+ next_visited.push(nested.name.clone());
173
+ let mut paths = Vec::new();
174
+ for member in &nested.attributes {
175
+ paths.extend(identity_paths_for_attribute(
176
+ file,
177
+ line,
178
+ context_name,
179
+ member,
180
+ value_objects,
181
+ &format!("{path}.{}", member.name),
182
+ &next_visited,
183
+ )?);
184
+ }
185
+ Ok(paths)
186
+ }
187
+
188
+ #[cfg(test)]
189
+ mod tests {
190
+ use super::*;
191
+
192
+ #[test]
193
+ fn expands_every_recursively_scalar_member_in_declaration_order() {
194
+ let mut attributes = Vec::new();
195
+ let value_objects = vec![
196
+ ir::ValueObject {
197
+ name: "BranchCode".to_string(),
198
+ attributes: vec![ir::Attribute {
199
+ name: "value".to_string(),
200
+ type_name: "String".to_string(),
201
+ ..Default::default()
202
+ }],
203
+ ..Default::default()
204
+ },
205
+ ir::ValueObject {
206
+ name: "BoxIdentity".to_string(),
207
+ attributes: vec![
208
+ ir::Attribute {
209
+ name: "branch".to_string(),
210
+ type_name: "BranchCode".to_string(),
211
+ ..Default::default()
212
+ },
213
+ ir::Attribute {
214
+ name: "number".to_string(),
215
+ type_name: "Integer".to_string(),
216
+ ..Default::default()
217
+ },
218
+ ],
219
+ ..Default::default()
220
+ },
221
+ ];
222
+
223
+ let paths = resolve_identity_type(
224
+ "f.bluebook",
225
+ 1,
226
+ "SafeDepositBox",
227
+ "BoxIdentity",
228
+ Some("location"),
229
+ 0,
230
+ &value_objects,
231
+ &mut attributes,
232
+ )
233
+ .unwrap();
234
+
235
+ assert_eq!(
236
+ paths,
237
+ vec![
238
+ "location.branch.value".to_string(),
239
+ "location.number".to_string()
240
+ ]
241
+ );
242
+ assert_eq!(attributes[0].name, "location");
243
+ assert_eq!(attributes[0].type_name, "BoxIdentity");
244
+ }
245
+
246
+ #[test]
247
+ fn rejects_non_scalar_identity_members() {
248
+ let mut attributes = Vec::new();
249
+ let value_objects = vec![ir::ValueObject {
250
+ name: "Identity".to_string(),
251
+ attributes: vec![ir::Attribute {
252
+ name: "regions".to_string(),
253
+ type_name: "String".to_string(),
254
+ list: true,
255
+ ..Default::default()
256
+ }],
257
+ ..Default::default()
258
+ }];
259
+
260
+ let error = resolve_identity_type(
261
+ "f.bluebook",
262
+ 1,
263
+ "Account",
264
+ "Identity",
265
+ None,
266
+ 0,
267
+ &value_objects,
268
+ &mut attributes,
269
+ )
270
+ .unwrap_err();
271
+
272
+ assert!(error
273
+ .message
274
+ .contains("identity member identity.regions is a list"));
275
+ }
276
+ }
@@ -0,0 +1,12 @@
1
+ //! Derivations that turn parsed constructs into IR facts a bluebook never spells directly,
2
+ //! one submodule per Ruby source (`attribute_collector.rb` and its siblings).
3
+
4
+ pub mod closed_sets;
5
+ pub mod identity;
6
+ pub mod naming;
7
+ pub mod pattern_subset;
8
+ pub mod query_derive;
9
+ pub mod query_inference;
10
+ pub mod query_options;
11
+ pub mod read_model;
12
+ pub mod references;
@@ -0,0 +1,141 @@
1
+ //! Pure name-shape conversions (mirrors `Hecks::Naming`) shared by the other derivations.
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
+ }
11
+
12
+ /// A bare command constant (`Account::Debit`) becomes `Account.Debit`; strings pass through.
13
+ ///
14
+ /// Only the last `::` is rewritten, so `Banking::Account::Debit` -> `Banking::Account.Debit`.
15
+ pub fn command_ref(raw: &str) -> String {
16
+ match crate::ruby_value::read(raw.trim()) {
17
+ crate::ruby_value::Value::Str(s) => s,
18
+ crate::ruby_value::Value::Bare(bare) => match bare.rsplit_once("::") {
19
+ Some((path, command)) => format!("{path}.{command}"),
20
+ None => bare,
21
+ },
22
+ other => crate::ruby_value::to_s(&other),
23
+ }
24
+ }
25
+
26
+ /// Event reference of a process manager: a bare constant chain keeps only its last segment.
27
+ ///
28
+ /// `SagaInterpreter` matches a bare `event.name`, never a `.`-qualified one.
29
+ pub fn event_name_ref(raw: &str) -> String {
30
+ match crate::ruby_value::read(raw.trim()) {
31
+ crate::ruby_value::Value::Str(s) => s,
32
+ crate::ruby_value::Value::Bare(bare) => demodulise(&bare),
33
+ other => crate::ruby_value::to_s(&other),
34
+ }
35
+ }
36
+
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
+ #[cfg(test)]
110
+ mod tests {
111
+ use super::*;
112
+
113
+ #[test]
114
+ fn pluralizes_a_read_model_head_name() {
115
+ assert_eq!(plural("state_style"), "state_styles");
116
+ assert_eq!(plural("collection"), "collections");
117
+ assert_eq!(plural("company"), "companies");
118
+ assert_eq!(plural("box"), "boxes");
119
+ }
120
+
121
+ #[test]
122
+ fn demodulises_a_namespaced_constant() {
123
+ assert_eq!(demodulise("Pizzas::Order"), "Order");
124
+ assert_eq!(demodulise("Order"), "Order");
125
+ }
126
+
127
+ #[test]
128
+ fn command_refs_a_bare_constant_by_its_last_namespace_segment() {
129
+ assert_eq!(command_ref("Account::Debit"), "Account.Debit");
130
+ assert_eq!(
131
+ command_ref("Banking::Account::Debit"),
132
+ "Banking::Account.Debit"
133
+ );
134
+ assert_eq!(command_ref("Debit"), "Debit");
135
+ }
136
+
137
+ #[test]
138
+ fn command_refs_a_legacy_quoted_string_unchanged() {
139
+ assert_eq!(command_ref("\"Account.Debit\""), "Account.Debit");
140
+ }
141
+ }
@@ -0,0 +1,161 @@
1
+ //! The regex subset a bluebook `pattern:` may use (mirrors `Hecks::Bluebook::PatternSubset`).
2
+ //! Engines disagree on backreferences, lookaround and `\d`/POSIX classes, so they are refused.
3
+
4
+ pub struct Rejection {
5
+ pub construct: &'static str,
6
+ pub reason: &'static str,
7
+ }
8
+
9
+ /// `None` when the pattern is in the portable subset, else a `Rejection` naming the construct.
10
+ pub fn validate(pattern: &str) -> Option<Rejection> {
11
+ let chars: Vec<char> = pattern.chars().collect();
12
+ let mut index = 0usize;
13
+
14
+ while index < chars.len() {
15
+ if chars[index] == '\\' {
16
+ let next = chars.get(index + 1).copied();
17
+ if matches!(next, Some(c) if c.is_ascii_digit() && c != '0') {
18
+ return Some(refuse("backreference"));
19
+ }
20
+ if matches!(next, Some('k') | Some('g')) {
21
+ return Some(refuse("named_backreference"));
22
+ }
23
+ if matches!(
24
+ next,
25
+ Some('d') | Some('D') | Some('w') | Some('W') | Some('s') | Some('S')
26
+ ) {
27
+ return Some(refuse("perl_class"));
28
+ }
29
+ index += if next.is_some() { 2 } else { 1 };
30
+ continue;
31
+ }
32
+
33
+ if chars[index] == '(' && chars.get(index + 1) == Some(&'?') {
34
+ let third = chars.get(index + 2).copied();
35
+ if matches!(third, Some('=') | Some('!')) {
36
+ return Some(refuse("lookahead"));
37
+ }
38
+ if third == Some('<') && matches!(chars.get(index + 3).copied(), Some('=') | Some('!'))
39
+ {
40
+ return Some(refuse("lookbehind"));
41
+ }
42
+ if third == Some('>') {
43
+ return Some(refuse("atomic_group"));
44
+ }
45
+ }
46
+
47
+ if posix_class_at(&chars, index) {
48
+ return Some(refuse("posix_class"));
49
+ }
50
+ if matches!(chars[index], '*' | '+' | '?') && chars.get(index + 1) == Some(&'+') {
51
+ return Some(refuse("possessive"));
52
+ }
53
+
54
+ index += 1;
55
+ }
56
+
57
+ None
58
+ }
59
+
60
+ fn refuse(key: &'static str) -> Rejection {
61
+ let (construct, reason) = REASONS
62
+ .iter()
63
+ .find(|(k, _, _)| *k == key)
64
+ .map(|(_, c, r)| (*c, *r))
65
+ .expect("unknown PatternSubset rejection key");
66
+ Rejection { construct, reason }
67
+ }
68
+
69
+ fn posix_class_at(chars: &[char], index: usize) -> bool {
70
+ if chars.get(index) != Some(&'[') || chars.get(index + 1) != Some(&':') {
71
+ return false;
72
+ }
73
+ let mut cursor = index + 2;
74
+ while matches!(chars.get(cursor), Some(c) if c.is_ascii_alphabetic()) {
75
+ cursor += 1;
76
+ }
77
+ chars.get(cursor) == Some(&':') && chars.get(cursor + 1) == Some(&']')
78
+ }
79
+
80
+ const REASONS: &[(&str, &str, &str)] = &[
81
+ (
82
+ "backreference",
83
+ "backreference",
84
+ "backreferences cannot be matched in linear time and portable engines refuse them ; a declared pattern may not depend on one",
85
+ ),
86
+ (
87
+ "named_backreference",
88
+ "named backreference",
89
+ "a named backreference is still a backreference — it cannot be matched in linear time ; a declared pattern may not depend on one",
90
+ ),
91
+ (
92
+ "perl_class",
93
+ "perl character class",
94
+ "engines read it in OPPOSITE directions : ASCII in some and Unicode in others, so an Arabic-Indic digit satisfies one and not the other. Spell the range you mean — [0-9], [A-Za-z0-9_], [ \\t] — which every engine reads the same way",
95
+ ),
96
+ (
97
+ "posix_class",
98
+ "posix bracket class",
99
+ "[:digit:] and friends flip between ASCII and Unicode across engines — the mirror of the perl classes, and wrong in the same way. Spell the range you mean",
100
+ ),
101
+ (
102
+ "lookahead",
103
+ "lookahead",
104
+ "lookahead cannot be matched in linear time and portable engines refuse it ; a declared pattern may not depend on it",
105
+ ),
106
+ (
107
+ "lookbehind",
108
+ "lookbehind",
109
+ "lookbehind cannot be matched in linear time and portable engines refuse it ; a declared pattern may not depend on it",
110
+ ),
111
+ (
112
+ "atomic_group",
113
+ "atomic group",
114
+ "an atomic group is a backtracking-engine control knob — linear-time engines reject `(?>` as a syntax error",
115
+ ),
116
+ (
117
+ "possessive",
118
+ "possessive quantifier",
119
+ "a possessive quantifier is a backtracking-engine control knob — linear-time engines reject it as a syntax error",
120
+ ),
121
+ ];
122
+
123
+ #[cfg(test)]
124
+ mod tests {
125
+ use super::*;
126
+
127
+ #[test]
128
+ fn admits_the_explicit_ranges_email_address_pattern_uses() {
129
+ assert!(validate(r"^[^@ ]+@[^@ ]+\.[^@ ]+$").is_none());
130
+ }
131
+
132
+ #[test]
133
+ fn refuses_a_perl_digit_class() {
134
+ let r = validate(r"\d+").unwrap();
135
+ assert_eq!(r.construct, "perl character class");
136
+ }
137
+
138
+ #[test]
139
+ fn refuses_a_backreference() {
140
+ let r = validate(r"(a)\1").unwrap();
141
+ assert_eq!(r.construct, "backreference");
142
+ }
143
+
144
+ #[test]
145
+ fn refuses_lookahead() {
146
+ let r = validate(r"a(?=b)").unwrap();
147
+ assert_eq!(r.construct, "lookahead");
148
+ }
149
+
150
+ #[test]
151
+ fn refuses_a_posix_class() {
152
+ let r = validate(r"[[:digit:]]").unwrap();
153
+ assert_eq!(r.construct, "posix bracket class");
154
+ }
155
+
156
+ #[test]
157
+ fn treats_an_escaped_construct_as_a_literal() {
158
+ // `\(\?=` is the literal text "(?=", not a lookahead.
159
+ assert!(validate(r"\(\?=").is_none());
160
+ }
161
+ }
@@ -0,0 +1,72 @@
1
+ //! Derives `WhereClause`s from a query's `where` arguments, splitting `{gte: 100}` comparators
2
+ //! and defaulting a bare value to `eq`.
3
+
4
+ use crate::ir;
5
+ use crate::ruby_value;
6
+
7
+ /// Splits each `(field, raw-value)` pair into a `WhereClause`; a bare value implies `eq`.
8
+ /// `target` (ADR 0055's `on:`, already resolved and demodulised by the caller) applies to
9
+ /// every clause this one `where` call declares — `None` in Query context, or when a ReadModel's
10
+ /// `where` left `on:` off.
11
+ pub fn where_clauses(pairs: &[(String, String)], target: Option<&str>) -> Vec<ir::WhereClause> {
12
+ pairs
13
+ .iter()
14
+ .map(|(field, raw)| {
15
+ let trimmed = raw.trim();
16
+ let (op, operand_raw) = split_comparator(trimmed);
17
+ let value = ruby_value::render(&ruby_value::read(operand_raw));
18
+ ir::WhereClause {
19
+ field: field.clone(),
20
+ op,
21
+ value,
22
+ target: target.map(str::to_string),
23
+ }
24
+ })
25
+ .collect()
26
+ }
27
+
28
+ /// Refuses `on:` on a Query's `where` — ADR 0055 scopes `on:` to ReadModel only (a plain `query`
29
+ /// has no many-side heads for it to disambiguate between), so this stays a permanent refusal
30
+ /// there, not a not-yet-ported one.
31
+ ///
32
+ /// `where` accepts arbitrary field names as named arguments, so an `on:` target would otherwise
33
+ /// misparse as a comparison on a field called "on".
34
+ pub fn refuse_on_target(
35
+ file: &str,
36
+ line: usize,
37
+ word: &str,
38
+ named: &[(String, String)],
39
+ ) -> crate::diag::ParseResult<()> {
40
+ if named.iter().any(|(name, _)| name == "on") {
41
+ return Err(crate::diag::Diagnostic::not_yet_implemented(
42
+ file,
43
+ line,
44
+ format!("{word}(on: ...) — per-target read-model filtering (ADR 0055)"),
45
+ ));
46
+ }
47
+ Ok(())
48
+ }
49
+
50
+ fn split_comparator(raw: &str) -> (String, &str) {
51
+ if raw.starts_with('{') && raw.ends_with('}') {
52
+ let inner = raw[1..raw.len() - 1].trim();
53
+ if let Some((op, operand)) = crate::parse::as_named(inner) {
54
+ return (op.to_string(), operand);
55
+ }
56
+ }
57
+ ("eq".to_string(), raw)
58
+ }
59
+
60
+ #[cfg(test)]
61
+ mod tests {
62
+ use super::*;
63
+
64
+ #[test]
65
+ fn refuses_an_on_target_cleanly_instead_of_silently_dropping_or_misparsing_it() {
66
+ let named = vec![("on".to_string(), "Character".to_string())];
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)"));
69
+ assert_eq!(err.file, "f.bluebook");
70
+ assert_eq!(err.line, 3);
71
+ }
72
+ }