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,307 @@
1
+ // Regex matcher for the dialect `Hecks::Bluebook::PatternSubset` admits (no backreferences,
2
+ // lookaround or Perl classes). Unanchored search, like Ruby's `Regexp#match?`.
3
+
4
+ #[derive(Debug, Clone)]
5
+ enum Node {
6
+ Literal(char),
7
+ Any,
8
+ Class { negate: bool, ranges: Vec<(char, char)> },
9
+ // `^`/`$` match at line boundaries, as in Ruby.
10
+ LineStart,
11
+ LineEnd,
12
+ // `\A`/`\z`/`\Z` match only at the whole-string boundaries.
13
+ StringStart,
14
+ StringEnd,
15
+ Group(Vec<Node>),
16
+ Alt(Vec<Vec<Node>>),
17
+ Repeat { node: Box<Node>, min: usize, max: Option<usize> },
18
+ }
19
+
20
+ /// `true` if `text` contains a match for `pattern`; a pattern that fails to parse is `false`.
21
+ pub fn matches(pattern: &str, text: &str) -> bool {
22
+ let Ok(nodes) = parse(pattern) else { return false };
23
+ let chars: Vec<char> = text.chars().collect();
24
+ // Only `\A` may skip to position 0; `^` can still match after a later `\n`.
25
+ let anchored_start = matches!(nodes.first(), Some(Node::StringStart));
26
+ if anchored_start {
27
+ return match_from(&nodes, 0, &chars, 0, &|_| true);
28
+ }
29
+ (0..=chars.len()).any(|start| match_from(&nodes, 0, &chars, start, &|_| true))
30
+ }
31
+
32
+ fn match_from(nodes: &[Node], idx: usize, text: &[char], ti: usize, cont: &dyn Fn(usize) -> bool) -> bool {
33
+ if idx == nodes.len() {
34
+ return cont(ti);
35
+ }
36
+ match &nodes[idx] {
37
+ Node::Literal(c) => ti < text.len() && text[ti] == *c && match_from(nodes, idx + 1, text, ti + 1, cont),
38
+ // Like Ruby without `/m`, `.` does not match `\n`.
39
+ Node::Any => ti < text.len() && text[ti] != '\n' && match_from(nodes, idx + 1, text, ti + 1, cont),
40
+ Node::Class { negate, ranges } => {
41
+ ti < text.len() && class_matches(*negate, ranges, text[ti]) && match_from(nodes, idx + 1, text, ti + 1, cont)
42
+ }
43
+ Node::LineStart => (ti == 0 || text[ti - 1] == '\n') && match_from(nodes, idx + 1, text, ti, cont),
44
+ Node::LineEnd => (ti == text.len() || text[ti] == '\n') && match_from(nodes, idx + 1, text, ti, cont),
45
+ Node::StringStart => ti == 0 && match_from(nodes, idx + 1, text, ti, cont),
46
+ Node::StringEnd => ti == text.len() && match_from(nodes, idx + 1, text, ti, cont),
47
+ Node::Group(inner) => match_from(inner, 0, text, ti, &|ti2| match_from(nodes, idx + 1, text, ti2, cont)),
48
+ Node::Alt(branches) => branches.iter().any(|b| match_from(b, 0, text, ti, &|ti2| match_from(nodes, idx + 1, text, ti2, cont))),
49
+ Node::Repeat { node, min, max } => match_repeat(node, 0, *min, *max, nodes, idx + 1, text, ti, cont),
50
+ }
51
+ }
52
+
53
+ // Greedy: try one more repetition first, then fall back to stopping at the current count.
54
+ // The `ti2 == ti` check stops a zero-width repetition from looping forever.
55
+ #[allow(clippy::too_many_arguments)]
56
+ fn match_repeat(
57
+ node: &Node,
58
+ count: usize,
59
+ min: usize,
60
+ max: Option<usize>,
61
+ nodes: &[Node],
62
+ next_idx: usize,
63
+ text: &[char],
64
+ ti: usize,
65
+ cont: &dyn Fn(usize) -> bool,
66
+ ) -> bool {
67
+ let can_more = max.is_none_or(|m| count < m);
68
+ if can_more {
69
+ let one_more = std::slice::from_ref(node);
70
+ let matched = match_from(one_more, 0, text, ti, &|ti2| {
71
+ if ti2 == ti {
72
+ return false; // zero-width — stop growing, fall through to the min/stop check below
73
+ }
74
+ match_repeat(node, count + 1, min, max, nodes, next_idx, text, ti2, cont)
75
+ });
76
+ if matched {
77
+ return true;
78
+ }
79
+ }
80
+ count >= min && match_from(nodes, next_idx, text, ti, cont)
81
+ }
82
+
83
+ fn class_matches(negate: bool, ranges: &[(char, char)], c: char) -> bool {
84
+ let hit = ranges.iter().any(|(lo, hi)| *lo <= c && c <= *hi);
85
+ hit != negate
86
+ }
87
+
88
+ // `\t`, `\n` and `\r` become control characters; any other escape is the literal itself.
89
+ fn escape_char(c: char) -> char {
90
+ match c {
91
+ 't' => '\t',
92
+ 'n' => '\n',
93
+ 'r' => '\r',
94
+ other => other,
95
+ }
96
+ }
97
+
98
+ // Recursive descent: `alternation > concat > repeat > atom`.
99
+ fn parse(pattern: &str) -> Result<Vec<Node>, ()> {
100
+ let chars: Vec<char> = pattern.chars().collect();
101
+ let mut p = Parser { chars: &chars, pos: 0 };
102
+ let node = p.parse_alt()?;
103
+ if p.pos != p.chars.len() {
104
+ return Err(());
105
+ }
106
+ Ok(node)
107
+ }
108
+
109
+ struct Parser<'a> {
110
+ chars: &'a [char],
111
+ pos: usize,
112
+ }
113
+
114
+ impl<'a> Parser<'a> {
115
+ fn peek(&self) -> Option<char> {
116
+ self.chars.get(self.pos).copied()
117
+ }
118
+
119
+ fn bump(&mut self) -> Option<char> {
120
+ let c = self.peek();
121
+ if c.is_some() {
122
+ self.pos += 1;
123
+ }
124
+ c
125
+ }
126
+
127
+ /// `alternation := concat ('|' concat)*`
128
+ fn parse_alt(&mut self) -> Result<Vec<Node>, ()> {
129
+ let first = self.parse_concat()?;
130
+ if self.peek() != Some('|') {
131
+ return Ok(first);
132
+ }
133
+ let mut branches = vec![first];
134
+ while self.peek() == Some('|') {
135
+ self.bump();
136
+ branches.push(self.parse_concat()?);
137
+ }
138
+ Ok(vec![Node::Alt(branches)])
139
+ }
140
+
141
+ /// `concat := repeat*`, ending at `|` or `)`.
142
+ fn parse_concat(&mut self) -> Result<Vec<Node>, ()> {
143
+ let mut nodes = Vec::new();
144
+ while let Some(c) = self.peek() {
145
+ if c == '|' || c == ')' {
146
+ break;
147
+ }
148
+ nodes.push(self.parse_repeat()?);
149
+ }
150
+ Ok(nodes)
151
+ }
152
+
153
+ /// `repeat := atom ('*' | '+' | '?' | '{' n (',' m?)? '}')?`
154
+ fn parse_repeat(&mut self) -> Result<Node, ()> {
155
+ let atom = self.parse_atom()?;
156
+ match self.peek() {
157
+ Some('*') => {
158
+ self.bump();
159
+ Ok(Node::Repeat { node: Box::new(atom), min: 0, max: None })
160
+ }
161
+ Some('+') => {
162
+ self.bump();
163
+ Ok(Node::Repeat { node: Box::new(atom), min: 1, max: None })
164
+ }
165
+ Some('?') => {
166
+ self.bump();
167
+ Ok(Node::Repeat { node: Box::new(atom), min: 0, max: Some(1) })
168
+ }
169
+ Some('{') => {
170
+ let save = self.pos;
171
+ self.bump();
172
+ match self.parse_bounded_repeat() {
173
+ Some((min, max)) => Ok(Node::Repeat { node: Box::new(atom), min, max }),
174
+ None => {
175
+ // Not a well-formed `{n,m}`: read the brace as a literal.
176
+ self.pos = save;
177
+ Ok(atom)
178
+ }
179
+ }
180
+ }
181
+ _ => Ok(atom),
182
+ }
183
+ }
184
+
185
+ /// Past the `{`. Returns `None` (not a quantifier) so the caller can read a literal `{`.
186
+ fn parse_bounded_repeat(&mut self) -> Option<(usize, Option<usize>)> {
187
+ let min = self.parse_digits()?;
188
+ match self.peek() {
189
+ Some('}') => {
190
+ self.bump();
191
+ Some((min, Some(min)))
192
+ }
193
+ Some(',') => {
194
+ self.bump();
195
+ if self.peek() == Some('}') {
196
+ self.bump();
197
+ Some((min, None))
198
+ } else {
199
+ let max = self.parse_digits()?;
200
+ if self.peek() == Some('}') {
201
+ self.bump();
202
+ Some((min, Some(max)))
203
+ } else {
204
+ None
205
+ }
206
+ }
207
+ }
208
+ _ => None,
209
+ }
210
+ }
211
+
212
+ fn parse_digits(&mut self) -> Option<usize> {
213
+ let start = self.pos;
214
+ while matches!(self.peek(), Some(c) if c.is_ascii_digit()) {
215
+ self.bump();
216
+ }
217
+ if self.pos == start {
218
+ return None;
219
+ }
220
+ self.chars[start..self.pos].iter().collect::<String>().parse().ok()
221
+ }
222
+
223
+ fn parse_atom(&mut self) -> Result<Node, ()> {
224
+ match self.bump().ok_or(())? {
225
+ '.' => Ok(Node::Any),
226
+ '^' => Ok(Node::LineStart),
227
+ '$' => Ok(Node::LineEnd),
228
+ '(' => {
229
+ let inner = self.parse_alt()?;
230
+ if self.bump() != Some(')') {
231
+ return Err(());
232
+ }
233
+ Ok(Node::Group(inner))
234
+ }
235
+ '[' => self.parse_class(),
236
+ '\\' => match self.bump().ok_or(())? {
237
+ 'A' => Ok(Node::StringStart),
238
+ 'z' | 'Z' => Ok(Node::StringEnd),
239
+ // an escaped metacharacter or control char: the literal itself
240
+ c => Ok(Node::Literal(escape_char(c))),
241
+ },
242
+ c => Ok(Node::Literal(c)),
243
+ }
244
+ }
245
+
246
+ /// `[...]`/`[^...]` with ranges. A leading `]` is a literal member (`[]abc]`).
247
+ fn parse_class(&mut self) -> Result<Node, ()> {
248
+ let negate = if self.peek() == Some('^') {
249
+ self.bump();
250
+ true
251
+ } else {
252
+ false
253
+ };
254
+ let mut ranges = Vec::new();
255
+ let mut first = true;
256
+ loop {
257
+ match self.peek() {
258
+ Some(']') if !first => {
259
+ self.bump();
260
+ break;
261
+ }
262
+ Some(c) => {
263
+ self.bump();
264
+ let lo = if c == '\\' { escape_char(self.bump().ok_or(())?) } else { c };
265
+ if self.peek() == Some('-') && self.chars.get(self.pos + 1).is_some_and(|c| *c != ']') {
266
+ self.bump();
267
+ let hi_raw = self.bump().ok_or(())?;
268
+ let hi = if hi_raw == '\\' { escape_char(self.bump().ok_or(())?) } else { hi_raw };
269
+ ranges.push((lo, hi));
270
+ } else {
271
+ ranges.push((lo, lo));
272
+ }
273
+ }
274
+ None => return Err(()),
275
+ }
276
+ first = false;
277
+ }
278
+ Ok(Node::Class { negate, ranges })
279
+ }
280
+ }
281
+
282
+ // Walks every row of the recorded pattern contract so dialect changes cannot drop a case.
283
+ #[cfg(test)]
284
+ mod tests {
285
+ use super::matches;
286
+ use crate::kernel::Json;
287
+
288
+ #[test]
289
+ fn matches_every_row_of_the_recorded_pattern_contract() {
290
+ let raw = include_str!("../../../spec/corpus/fixtures/patterns.json");
291
+ let parsed = Json::parse(raw).expect("patterns.json must parse");
292
+ let rows = parsed.as_array().expect("patterns.json must be a JSON array");
293
+ assert!(!rows.is_empty(), "the recorded contract must not be empty");
294
+
295
+ for row in rows {
296
+ let pattern = row.get("pattern").and_then(Json::as_str).expect("row must carry a pattern");
297
+ let input = row.get("input").and_then(Json::as_str).expect("row must carry an input");
298
+ let expected = matches!(row.get("matches"), Some(Json::Bool(true)));
299
+
300
+ assert_eq!(
301
+ matches(pattern, input),
302
+ expected,
303
+ "pattern {pattern:?} against {input:?} should match={expected}"
304
+ );
305
+ }
306
+ }
307
+ }
@@ -0,0 +1,206 @@
1
+ // Matching logic for the generated `QueryComparator` enum (`vocab::QueryComparator`),
2
+ // mirroring Ruby's `QuerySpecification::Common::Comparison#holds?`.
3
+
4
+ use super::Json;
5
+
6
+ pub use super::vocab::QueryComparator;
7
+
8
+ impl QueryComparator {
9
+ /// The wire's `op` string, or `None` if unrecognized (callers refuse, never default to `eq`).
10
+ pub fn parse(op: &str) -> Option<Self> {
11
+ QueryComparator::from_name(op)
12
+ }
13
+
14
+ /// `Comparison#holds?`; `held`/`want` arrive already reduced through `comparable`.
15
+ pub fn matches(self, held: &Json, want: &Json) -> bool {
16
+ match self {
17
+ QueryComparator::Eq => held == want,
18
+ QueryComparator::Ne => held != want,
19
+ QueryComparator::Gt => ordered(held, want) && as_f64(held) > as_f64(want),
20
+ QueryComparator::Gte => ordered(held, want) && as_f64(held) >= as_f64(want),
21
+ QueryComparator::Lt => ordered(held, want) && as_f64(held) < as_f64(want),
22
+ QueryComparator::Lte => ordered(held, want) && as_f64(held) <= as_f64(want),
23
+ QueryComparator::In => members(want).iter().any(|member| member == &to_s(held)),
24
+ QueryComparator::Contains => contains(held, want),
25
+ // Needs a repository, so `filter_entries_cross_domain` calls `none_in_state_matches`
26
+ // first; this arm keeps the match exhaustive with the same "not excluded" default.
27
+ QueryComparator::NoneInState => true,
28
+ }
29
+ }
30
+ }
31
+
32
+ /// `Comparison#none_in_state?`: `want` is `"Aggregate:state"`, `held` the referring foreign key.
33
+ /// `cross_domain` is searched in order, first match wins; an empty slice answers `true`.
34
+ pub fn none_in_state_matches(cross_domain: &[(&str, &dyn super::AggregateScan)], held: &Json, want: &Json) -> bool {
35
+ let Some((aggregate_name, state)) = to_s(want).split_once(':').map(|(a, s)| (a.to_string(), s.to_string()))
36
+ else {
37
+ return true;
38
+ };
39
+ let held_id = to_s(held);
40
+
41
+ for (domain_name, store) in cross_domain {
42
+ let qualified = format!("{domain_name}::{aggregate_name}");
43
+ let Some(entries) = store.scan(&qualified) else { continue };
44
+
45
+ let Some((_, record)) = entries.iter().find(|(id, _)| *id == held_id) else { return true };
46
+ let record_state = comparable(&record.dig("state").cloned().unwrap_or(Json::Null));
47
+ return to_s(&record_state) != state;
48
+ }
49
+
50
+ // No domain declares the aggregate: not excluded.
51
+ true
52
+ }
53
+
54
+ /// gt/gte/lt/lte are numeric-only; anything else is silently false, never a refusal.
55
+ fn ordered(held: &Json, want: &Json) -> bool {
56
+ matches!(held, Json::Num(_, _) | Json::Float(_)) && matches!(want, Json::Num(_, _) | Json::Float(_))
57
+ }
58
+
59
+ /// Only called after `ordered` has gated the comparison, so the NaN fallback is unreachable.
60
+ pub(crate) fn as_f64(value: &Json) -> f64 {
61
+ match value {
62
+ Json::Num(n, _) | Json::Float(n) => *n,
63
+ _ => f64::NAN,
64
+ }
65
+ }
66
+
67
+ /// Ruby's `#to_s` on a scalar already reduced by `comparable`.
68
+ pub(crate) fn to_s(value: &Json) -> String {
69
+ match value {
70
+ Json::Str(s) => s.clone(),
71
+ // The exact source text wins when there is one (BUG#147) — see `Json::write`.
72
+ Json::Num(_, Some(raw)) => raw.clone(),
73
+ Json::Num(n, None) if n.fract() == 0.0 && n.abs() < 1e15 => (*n as i64).to_string(),
74
+ Json::Num(n, None) => n.to_string(),
75
+ // Ruby's `Float#to_s` always shows a decimal point (`10.0`).
76
+ Json::Float(n) => {
77
+ let rendered = n.to_string();
78
+ if rendered.contains('.') || rendered.contains('e') || rendered.contains('E') {
79
+ rendered
80
+ } else {
81
+ format!("{rendered}.0")
82
+ }
83
+ }
84
+ Json::Bool(b) => b.to_string(),
85
+ Json::Null => String::new(),
86
+ // A multi-member, non-numeric value object still arrives structured; JSON stands in
87
+ // for Ruby's `Hash#to_s`.
88
+ other => other.to_json_string(),
89
+ }
90
+ }
91
+
92
+ /// `Ports::Query::InMemory#comparable`: reduces a value object one level, to its numeric member
93
+ /// or its only member; anything else passes through unchanged.
94
+ pub fn comparable(value: &Json) -> Json {
95
+ comparable_ref(value).clone()
96
+ }
97
+
98
+ /// `comparable` without the copy: the reduced value is always `value` itself or a member of it.
99
+ pub fn comparable_ref(value: &Json) -> &Json {
100
+ let Json::Object(fields) = value else { return value };
101
+
102
+ if let Some((_, numeric)) = fields.iter().find(|(_, v)| matches!(v, Json::Num(_, _) | Json::Float(_))) {
103
+ return numeric;
104
+ }
105
+ if fields.len() == 1 {
106
+ return &fields[0].1;
107
+ }
108
+ value
109
+ }
110
+
111
+ /// Reads `in`'s argument or a `list_of` value as elements; other text is comma-separated.
112
+ fn members(value: &Json) -> Vec<String> {
113
+ if let Json::Array(items) = value {
114
+ return items.iter().map(|item| to_s(&comparable(item))).collect();
115
+ }
116
+ to_s(value).split(',').map(|piece| piece.trim().to_string()).collect()
117
+ }
118
+
119
+ /// Element membership for a `list_of` field, substring match for anything else.
120
+ fn contains(held: &Json, want: &Json) -> bool {
121
+ if matches!(held, Json::Array(_)) {
122
+ return members(held).iter().any(|member| member == &to_s(want));
123
+ }
124
+ to_s(held).contains(&to_s(want))
125
+ }
126
+
127
+ // `none_in_state_matches`, including the cross-domain search no real deployment exercises.
128
+ #[cfg(test)]
129
+ mod none_in_state_tests {
130
+ use super::{none_in_state_matches, Json};
131
+ use crate::kernel::AggregateScan;
132
+
133
+ /// Stand-in for a generated `Store`: scans by the domain-qualified aggregate name.
134
+ struct FakeStore {
135
+ domain: &'static str,
136
+ aggregates: Vec<(&'static str, Vec<(String, Json)>)>,
137
+ }
138
+
139
+ impl AggregateScan for FakeStore {
140
+ fn scan(&self, aggregate: &str) -> Option<Vec<(String, Json)>> {
141
+ let bare = aggregate.strip_prefix(&format!("{}::", self.domain))?;
142
+ self.aggregates.iter().find(|(name, _)| *name == bare).map(|(_, entries)| entries.clone())
143
+ }
144
+ }
145
+
146
+ /// A record whose `state` is a single-field value object, as in the real corpus fixture.
147
+ fn record_in_state(state: &str) -> Json {
148
+ Json::obj(vec![("state", Json::obj(vec![("value", Json::str(state))]))])
149
+ }
150
+
151
+ #[test]
152
+ fn with_no_domains_to_search_answers_vacuously_true() {
153
+ // Ruby's `return true unless registry`.
154
+ assert!(none_in_state_matches(&[], &Json::str("c1"), &Json::str("Claim:held")));
155
+ }
156
+
157
+ #[test]
158
+ fn excludes_a_row_whose_target_is_currently_in_the_named_state() {
159
+ let store = FakeStore { domain: "AntiJoinGrowth", aggregates: vec![("Claim", vec![("c1".into(), record_in_state("held"))])] };
160
+ let stores: Vec<(&str, &dyn AggregateScan)> = vec![("AntiJoinGrowth", &store)];
161
+ assert!(!none_in_state_matches(&stores, &Json::str("c1"), &Json::str("Claim:held")));
162
+ }
163
+
164
+ #[test]
165
+ fn keeps_a_row_whose_target_has_moved_out_of_the_named_state() {
166
+ let store = FakeStore { domain: "AntiJoinGrowth", aggregates: vec![("Claim", vec![("c2".into(), record_in_state("released"))])] };
167
+ let stores: Vec<(&str, &dyn AggregateScan)> = vec![("AntiJoinGrowth", &store)];
168
+ assert!(none_in_state_matches(&stores, &Json::str("c2"), &Json::str("Claim:held")));
169
+ }
170
+
171
+ #[test]
172
+ fn keeps_a_row_whose_target_was_never_filed_at_all() {
173
+ // No record reads the same as a record in another state.
174
+ let store = FakeStore { domain: "AntiJoinGrowth", aggregates: vec![("Claim", vec![])] };
175
+ let stores: Vec<(&str, &dyn AggregateScan)> = vec![("AntiJoinGrowth", &store)];
176
+ assert!(none_in_state_matches(&stores, &Json::str("nonexistent"), &Json::str("Claim:held")));
177
+ }
178
+
179
+ #[test]
180
+ fn keeps_every_row_when_no_domain_declares_the_named_aggregate_at_all() {
181
+ let store = FakeStore { domain: "AntiJoinGrowth", aggregates: vec![] };
182
+ let stores: Vec<(&str, &dyn AggregateScan)> = vec![("AntiJoinGrowth", &store)];
183
+ assert!(none_in_state_matches(&stores, &Json::str("c1"), &Json::str("NoSuchAggregate:held")));
184
+ }
185
+
186
+ #[test]
187
+ fn searches_a_second_domain_when_the_first_does_not_declare_the_aggregate() {
188
+ // Cross-domain search; no real deployment has this shape.
189
+ let domain_a = FakeStore { domain: "DomainA", aggregates: vec![("Widget", vec![])] };
190
+ let domain_b =
191
+ FakeStore { domain: "DomainB", aggregates: vec![("Claim", vec![("c1".into(), record_in_state("held"))])] };
192
+ let stores: Vec<(&str, &dyn AggregateScan)> = vec![("DomainA", &domain_a), ("DomainB", &domain_b)];
193
+ assert!(!none_in_state_matches(&stores, &Json::str("c1"), &Json::str("Claim:held")));
194
+ }
195
+
196
+ #[test]
197
+ fn first_match_wins_when_two_domains_declare_the_same_bare_aggregate_name() {
198
+ // Pins first-match-wins (Ruby's `find_aggregate_by_name`): DomainA's "held" must win
199
+ // over DomainB's "released".
200
+ let first = FakeStore { domain: "DomainA", aggregates: vec![("Claim", vec![("c1".into(), record_in_state("held"))])] };
201
+ let second =
202
+ FakeStore { domain: "DomainB", aggregates: vec![("Claim", vec![("c1".into(), record_in_state("released"))])] };
203
+ let stores: Vec<(&str, &dyn AggregateScan)> = vec![("DomainA", &first), ("DomainB", &second)];
204
+ assert!(!none_in_state_matches(&stores, &Json::str("c1"), &Json::str("Claim:held")));
205
+ }
206
+ }
@@ -0,0 +1,103 @@
1
+ // Shared order/offset/limit tail for declared queries and read models, mirroring Ruby's
2
+ // `Ports::Query::Ordering.apply` so both callers sort and cap identically.
3
+ use super::{query_comparators, Json};
4
+
5
+ /// A declared `order_by :field, :direction`; `nulls` folds Ruby's separate `nulls` option in here.
6
+ #[derive(Debug, Clone, Copy)]
7
+ pub struct OrderBy {
8
+ pub field: &'static str,
9
+ pub descending: bool,
10
+ pub nulls: NullsMode,
11
+ }
12
+
13
+ /// Null placement for a declared order; an unrecognized mode reads as `Native`, as in Ruby.
14
+ #[derive(Debug, Clone, Copy, PartialEq, Eq)]
15
+ pub enum NullsMode {
16
+ Native,
17
+ First,
18
+ Last,
19
+ }
20
+
21
+ /// A declared `limit N`: a literal count, or a caller-bound arg resolved from the call's `args`.
22
+ #[derive(Debug, Clone, Copy)]
23
+ pub enum Limit {
24
+ Literal(i64),
25
+ Arg(&'static str),
26
+ }
27
+
28
+ /// A declared `offset N`; resolves exactly like `Limit`, so it shares the type.
29
+ pub type Offset = Limit;
30
+
31
+ /// Sorts by id, layers the declared order, then skips `offset` and caps at `limit`.
32
+ ///
33
+ /// The id sort is unconditional so ties, or no declared order, still give a total order.
34
+ /// Offset applies before limit, as in SQL `LIMIT n OFFSET m`.
35
+ pub fn apply(
36
+ mut rows: Vec<(String, Json)>,
37
+ order_by: Option<&OrderBy>,
38
+ offset: Option<&Offset>,
39
+ limit: Option<&Limit>,
40
+ args: &Json,
41
+ ) -> Vec<(String, Json)> {
42
+ rows.sort_by(|a, b| a.0.cmp(&b.0));
43
+
44
+ if let Some(order_by) = order_by {
45
+ rows = apply_declared_order(rows, order_by);
46
+ }
47
+
48
+ if let Some(offset) = offset {
49
+ let n = resolve_limit(offset, args).min(rows.len());
50
+ rows.drain(0..n);
51
+ }
52
+
53
+ if let Some(limit) = limit {
54
+ rows.truncate(resolve_limit(limit, args));
55
+ }
56
+
57
+ rows
58
+ }
59
+
60
+ // `sort_by` is stable, so the id order from `apply` survives ties without an index tie-break.
61
+ fn apply_declared_order(rows: Vec<(String, Json)>, order_by: &OrderBy) -> Vec<(String, Json)> {
62
+ let (mut null_rows, mut valued_rows): (Vec<(String, Json)>, Vec<(String, Json)>) =
63
+ rows.into_iter().partition(|(_, record)| order_key(record, order_by.field) == Json::Null);
64
+
65
+ valued_rows.sort_by(|(_, a), (_, b)| compare_comparable(&order_key(a, order_by.field), &order_key(b, order_by.field)));
66
+
67
+ if order_by.descending {
68
+ valued_rows.reverse();
69
+ null_rows.reverse();
70
+ }
71
+
72
+ match order_by.nulls {
73
+ NullsMode::First => null_rows.into_iter().chain(valued_rows).collect(),
74
+ NullsMode::Last => valued_rows.into_iter().chain(null_rows).collect(),
75
+ NullsMode::Native if !order_by.descending => null_rows.into_iter().chain(valued_rows).collect(),
76
+ NullsMode::Native => valued_rows.into_iter().chain(null_rows).collect(),
77
+ }
78
+ }
79
+
80
+ // Reduced like a where clause's held value; a missing field reads as `Json::Null`.
81
+ fn order_key(record: &Json, field: &str) -> Json {
82
+ query_comparators::comparable(&record.dig(field).cloned().unwrap_or(Json::Null))
83
+ }
84
+
85
+ // Codegen only lets a declared field resolve to a number or a string, homogeneous per field.
86
+ fn compare_comparable(a: &Json, b: &Json) -> std::cmp::Ordering {
87
+ match (a, b) {
88
+ (Json::Num(x, _) | Json::Float(x), Json::Num(y, _) | Json::Float(y)) => {
89
+ x.partial_cmp(y).unwrap_or(std::cmp::Ordering::Equal)
90
+ }
91
+ (Json::Str(x), Json::Str(y)) => x.cmp(y),
92
+ _ => std::cmp::Ordering::Equal,
93
+ }
94
+ }
95
+
96
+ // A missing or non-numeric arg reads as 0 (Ruby's `nil.to_i`); negatives floor to 0.
97
+ fn resolve_limit(limit: &Limit, args: &Json) -> usize {
98
+ let raw = match limit {
99
+ Limit::Literal(n) => *n,
100
+ Limit::Arg(name) => args.get(name).and_then(Json::as_i64).unwrap_or(0),
101
+ };
102
+ raw.max(0) as usize
103
+ }