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,230 @@
1
+ //! Port of `rust/project/exemplar.rb`: loads the template shapes in `rust/src/exemplar/*.rs`.
2
+ //! Both codegens read those files at runtime, so the shapes cannot drift.
3
+ use std::collections::HashMap;
4
+ use std::path::PathBuf;
5
+
6
+ pub struct Exemplar {
7
+ shapes: HashMap<String, String>,
8
+ }
9
+
10
+ // True for any placeholder word the template vocabulary can produce.
11
+ fn is_leftover_placeholder(word: &str) -> bool {
12
+ (word.starts_with("Tmpl") && word.len() > 4)
13
+ || (word.starts_with("tmpl_") && word.len() > 5)
14
+ || (word.starts_with("TMPL_") && word.len() > 5)
15
+ }
16
+
17
+ // Finds `Tmpl*`, `tmpl_*` and `TMPL_*` words; hand-rolled because this crate has no regex
18
+ // dependency.
19
+ fn scan_leftover_placeholders(text: &str) -> Vec<String> {
20
+ // Skip non-char-boundary positions: generated text contains multi-byte UTF-8 (an em dash),
21
+ // and slicing `&text[i..]` inside a character panics.
22
+ let mut found = Vec::new();
23
+ let bytes = text.as_bytes();
24
+ let is_word_byte = |b: u8| b.is_ascii_alphanumeric() || b == b'_';
25
+ let mut i = 0;
26
+ while i < bytes.len() {
27
+ if !text.is_char_boundary(i) {
28
+ i += 1;
29
+ continue;
30
+ }
31
+ let at_boundary = i == 0 || !is_word_byte(bytes[i - 1]);
32
+ if at_boundary {
33
+ let rest = &text[i..];
34
+ if rest.starts_with("Tmpl") || rest.starts_with("tmpl_") || rest.starts_with("TMPL_") {
35
+ let start = i;
36
+ let mut j = i;
37
+ while j < bytes.len() && is_word_byte(bytes[j]) {
38
+ j += 1;
39
+ }
40
+ let word = &text[start..j];
41
+ if is_leftover_placeholder(word) && !found.iter().any(|w| w == word) {
42
+ found.push(word.to_string());
43
+ }
44
+ i = j;
45
+ continue;
46
+ }
47
+ }
48
+ i += 1;
49
+ }
50
+ found
51
+ }
52
+
53
+ impl Exemplar {
54
+ pub fn load() -> Self {
55
+ Self::load_from(default_dir())
56
+ }
57
+
58
+ pub fn load_from(dir: PathBuf) -> Self {
59
+ let mut shapes = HashMap::new();
60
+ let mut paths: Vec<_> = std::fs::read_dir(&dir)
61
+ .unwrap_or_else(|e| panic!("Exemplar: cannot read {}: {e}", dir.display()))
62
+ .filter_map(|entry| entry.ok())
63
+ .map(|entry| entry.path())
64
+ .filter(|p| p.extension().map(|ext| ext == "rs").unwrap_or(false))
65
+ .collect();
66
+ paths.sort();
67
+ for path in paths {
68
+ let text = std::fs::read_to_string(&path).unwrap_or_else(|e| panic!("Exemplar: cannot read {}: {e}", path.display()));
69
+ parse_file(&path, &text, &mut shapes);
70
+ }
71
+ Self { shapes }
72
+ }
73
+
74
+ pub fn raw(&self, shape_id: &str) -> &str {
75
+ self.shapes
76
+ .get(shape_id)
77
+ .unwrap_or_else(|| panic!("Exemplar: no shape {shape_id:?} — checked rust/src/exemplar/*.rs for `// TMPL:{shape_id} BEGIN`"))
78
+ }
79
+
80
+ /// Substitutes `subs` into one shape, longest marker first; panics on a missing marker
81
+ /// or a leftover placeholder.
82
+ pub fn render(&self, shape_id: &str, subs: &[(&str, String)]) -> String {
83
+ let mut text = self.raw(shape_id).to_string();
84
+ render_subs(shape_id, "render", &mut text, subs);
85
+ text
86
+ }
87
+
88
+ pub fn render_each(&self, shape_id: &str, subs_list: &[Vec<(&str, String)>], join_with: &str) -> String {
89
+ subs_list.iter().map(|subs| self.render(shape_id, subs)).collect::<Vec<_>>().join(join_with)
90
+ }
91
+
92
+ /// Fills nested slots (reindented to the slot's position) before the outer substitutions,
93
+ /// so an outer marker cannot match text from a rendered slot.
94
+ pub fn assemble(&self, outer_id: &str, outer_subs: &[(&str, String)], slots: &[(&str, String)]) -> String {
95
+ let mut outer_text = self.raw(outer_id).to_string();
96
+
97
+ for (field_id, content) in slots {
98
+ let slot = format!("<<TMPL_SLOT:{field_id}>>");
99
+ let (line_start, line_end, indent) = find_slot_line(&outer_text, &slot).unwrap_or_else(|| {
100
+ panic!(
101
+ "Exemplar.assemble({outer_id:?}): no nested slot for {field_id:?} — expected a `// TMPL:{field_id} BEGIN/END` region nested inside `// TMPL:{outer_id} BEGIN/END`"
102
+ )
103
+ });
104
+ let reindented: String = content
105
+ .lines()
106
+ .map(|l| if l.trim().is_empty() { l.to_string() } else { format!("{indent}{l}") })
107
+ .collect::<Vec<_>>()
108
+ .join("\n");
109
+ outer_text = format!("{}{}{}", &outer_text[..line_start], reindented, &outer_text[line_end..]);
110
+ }
111
+
112
+ render_subs(outer_id, "assemble", &mut outer_text, outer_subs);
113
+ outer_text
114
+ }
115
+
116
+ /// Renders `field_id` once per entry of `field_subs_list` and assembles it into `outer_id`.
117
+ pub fn compose(&self, outer_id: &str, outer_subs: &[(&str, String)], field_id: &str, field_subs_list: &[Vec<(&str, String)>], join_with: &str) -> String {
118
+ let content = self.render_each(field_id, field_subs_list, join_with);
119
+ self.assemble(outer_id, outer_subs, &[(field_id, content)])
120
+ }
121
+ }
122
+
123
+ // Longest-marker-first substitution, then the leftover-placeholder scan; shared by
124
+ // `render` and `assemble`.
125
+ fn render_subs(shape_id: &str, caller: &str, text: &mut String, subs: &[(&str, String)]) {
126
+ let mut ordered: Vec<&(&str, String)> = subs.iter().collect();
127
+ ordered.sort_by_key(|(marker, _)| std::cmp::Reverse(marker.len()));
128
+
129
+ for (marker, value) in ordered {
130
+ if !text.contains(marker) {
131
+ panic!("Exemplar.{caller}({shape_id:?}): marker {marker:?} not found in shape text — exemplar and caller have drifted");
132
+ }
133
+ *text = text.replace(marker, value);
134
+ }
135
+
136
+ let leftover = scan_leftover_placeholders(text);
137
+ if !leftover.is_empty() {
138
+ panic!("Exemplar.{caller}({shape_id:?}): unrendered placeholder(s) {leftover:?} — subs is missing a marker this shape actually contains");
139
+ }
140
+ }
141
+
142
+ // Finds the line holding only `slot` after indentation; returns `(byte_start, byte_end, indent)`.
143
+ fn find_slot_line(text: &str, slot: &str) -> Option<(usize, usize, String)> {
144
+ let mut offset = 0usize;
145
+ for line in text.split_inclusive('\n') {
146
+ let trimmed_end = line.trim_end_matches('\n').trim_end_matches('\r');
147
+ if let Some(rest) = trimmed_end.strip_suffix(slot) {
148
+ if rest.chars().all(|c| c == ' ' || c == '\t') {
149
+ let line_len = trimmed_end.len();
150
+ return Some((offset, offset + line_len, rest.to_string()));
151
+ }
152
+ }
153
+ offset += line.len();
154
+ }
155
+ None
156
+ }
157
+
158
+ fn default_dir() -> PathBuf {
159
+ PathBuf::from(concat!(env!("CARGO_MANIFEST_DIR"), "/../src/exemplar"))
160
+ }
161
+
162
+ fn begin_marker(line: &str) -> Option<&str> {
163
+ marker_id(line, "BEGIN")
164
+ }
165
+
166
+ fn end_marker(line: &str) -> Option<&str> {
167
+ marker_id(line, "END")
168
+ }
169
+
170
+ // Returns the id from a `TMPL:<id> <kind>` line comment.
171
+ fn marker_id<'a>(line: &'a str, kind: &str) -> Option<&'a str> {
172
+ let idx = line.find("//")?;
173
+ let mut rest = line[idx + 2..].trim_start();
174
+ rest = rest.strip_prefix("TMPL:")?;
175
+ let sp = rest.find(char::is_whitespace)?;
176
+ let (id, tail) = rest.split_at(sp);
177
+ if tail.trim() == kind {
178
+ Some(id)
179
+ } else {
180
+ None
181
+ }
182
+ }
183
+
184
+ // Drops the leading whitespace every non-blank line shares, like Ruby's `<<~`.
185
+ fn dedent(lines: &[String]) -> String {
186
+ let margin = lines
187
+ .iter()
188
+ .filter(|l| !l.trim().is_empty())
189
+ .map(|l| l.len() - l.trim_start_matches([' ', '\t']).len())
190
+ .min()
191
+ .unwrap_or(0);
192
+ let joined: String = lines
193
+ .iter()
194
+ .map(|l| if l.is_empty() { l.clone() } else { l.chars().skip(margin).collect::<String>() })
195
+ .collect::<Vec<_>>()
196
+ .join("");
197
+ joined.trim_end().to_string()
198
+ }
199
+
200
+ fn parse_file(path: &std::path::Path, text: &str, result: &mut HashMap<String, String>) {
201
+ // Each frame is (id, lines, begin_indent).
202
+ let mut stack: Vec<(String, Vec<String>, String)> = Vec::new();
203
+ for raw_line in text.split_inclusive('\n') {
204
+ let line = raw_line;
205
+ if let Some(id) = begin_marker(line) {
206
+ let indent: String = line.chars().take_while(|c| *c == ' ' || *c == '\t').collect();
207
+ stack.push((id.to_string(), Vec::new(), indent));
208
+ } else if let Some(id) = end_marker(line) {
209
+ let top = stack.last().map(|(top_id, _, _)| top_id.as_str());
210
+ if stack.is_empty() || top != Some(id) {
211
+ panic!(
212
+ "{}: TMPL:{id} END with no matching BEGIN (stack: {:?})",
213
+ path.display(),
214
+ stack.iter().map(|(i, _, _)| i.clone()).collect::<Vec<_>>()
215
+ );
216
+ }
217
+ let (id, lines, begin_indent) = stack.pop().unwrap();
218
+ let dedented = dedent(&lines);
219
+ result.insert(id.clone(), dedented);
220
+ if let Some((_, parent_lines, _)) = stack.last_mut() {
221
+ parent_lines.push(format!("{begin_indent}<<TMPL_SLOT:{id}>>\n"));
222
+ }
223
+ } else if let Some((_, lines, _)) = stack.last_mut() {
224
+ lines.push(line.to_string());
225
+ }
226
+ }
227
+ if !stack.is_empty() {
228
+ panic!("{}: unclosed TMPL region(s): {:?}", path.display(), stack.iter().map(|(i, _, _)| i.clone()).collect::<Vec<_>>());
229
+ }
230
+ }
@@ -0,0 +1,87 @@
1
+ //! Port of `rust/project/expr_emitter.rb`: turns each IR rule's `ast` tree into `Expr` source.
2
+ //! A literal-array `include?` never reaches here; `AstJson` rewrites it to an or of equalities.
3
+
4
+ use crate::json::Json;
5
+ use crate::naming::ruby_inspect_string;
6
+
7
+ pub fn emit_ast(node: &Json) -> String {
8
+ let op = node.get("op").and_then(Json::as_str).unwrap_or_else(|| panic!("ast node has no string \"op\": {node:?}"));
9
+ let sub = |key: &str| emit_ast(field(node, op, key));
10
+ let boxed = |key: &str| format!("Box::new({})", sub(key));
11
+ let text = |key: &str| ruby_inspect_string(field(node, op, key).as_str().unwrap_or_else(|| panic!("{op}'s {key:?} isn't a string: {node:?}")));
12
+
13
+ match op {
14
+ "or" => format!("Expr::Or({}, {})", boxed("left"), boxed("right")),
15
+ "and" => format!("Expr::And({}, {})", boxed("left"), boxed("right")),
16
+ "not" => format!("Expr::Not({})", boxed("expr")),
17
+ "compare" => format!("Expr::Compare {{ op: {}, left: {}, right: {} }}", emit_comparison(field(node, op, "cmp")), boxed("left"), boxed("right")),
18
+ "include" => format!("Expr::Include {{ haystack: {}, needle: {} }}", boxed("haystack"), boxed("needle")),
19
+ "int" => format!("Expr::Int({})", field(node, op, "value").to_s()),
20
+ "float" => format!("Expr::Float({}f64)", field(node, op, "value").to_s()),
21
+ "str" => format!("Expr::Str({}.to_string())", text("value")),
22
+ "bool" => format!("Expr::Bool({})", field(node, op, "value").to_s()),
23
+ "nil" => "Expr::Nil".to_string(),
24
+ "lookup" => format!("Expr::Lookup({})", ruby_inspect_string(&path_of(node, op).join("."))),
25
+ "add" => format!("Expr::Add({}, {})", boxed("left"), boxed("right")),
26
+ "sign_test" => format!("Expr::SignTest {{ op: {}, receiver: {} }}", emit_comparison(field(node, op, "cmp")), boxed("receiver")),
27
+ "empty" => format!("Expr::Empty({})", boxed("receiver")),
28
+ "to_s" => format!("Expr::ToS({})", boxed("receiver")),
29
+ "modulo" => format!("Expr::Modulo {{ receiver: {}, divisor: {} }}", boxed("receiver"), boxed("divisor")),
30
+ "size" => format!("Expr::Size({})", boxed("receiver")),
31
+ "block_predicate" => format!(
32
+ "Expr::BlockPredicate {{ mode: crate::kernel::BlockMode::{}, receiver: {}, param: {}, predicate: {} }}",
33
+ block_mode(node, op),
34
+ boxed("receiver"),
35
+ text("param"),
36
+ boxed("predicate")
37
+ ),
38
+ "find" => format!(
39
+ "Expr::Find {{ receiver: {}, param: {}, predicate: {}, path: &[{}] }}",
40
+ boxed("receiver"),
41
+ text("param"),
42
+ boxed("predicate"),
43
+ path_of(node, op).iter().map(|segment| ruby_inspect_string(segment)).collect::<Vec<_>>().join(", ")
44
+ ),
45
+ "array" => format!(
46
+ "Expr::Array(vec![{}])",
47
+ field(node, op, "elements").each().iter().map(emit_ast).collect::<Vec<_>>().join(", ")
48
+ ),
49
+ "matches_regex" => format!("Expr::MatchesRegex {{ receiver: {}, pattern: {}.to_string(), flags: {}.to_string() }}", boxed("receiver"), text("pattern"), text("flags")),
50
+ "presence" => format!("Expr::Presence {{ receiver: {}, negated: {} }}", boxed("receiver"), field(node, op, "negated").to_s()),
51
+ "assignment" => format!("Expr::Assignment {{ receiver: {}, negated: {} }}", boxed("receiver"), field(node, op, "negated").to_s()),
52
+ "split" => format!("Expr::Split {{ receiver: {}, separator: {}.to_string() }}", boxed("receiver"), text("separator")),
53
+ "starts_with" => format!("Expr::StartsWith {{ receiver: {}, substring: {}.to_string() }}", boxed("receiver"), text("substring")),
54
+ "ends_with" => format!("Expr::EndsWith {{ receiver: {}, substring: {}.to_string() }}", boxed("receiver"), text("substring")),
55
+ "first" => format!("Expr::First({})", boxed("receiver")),
56
+ "last" => format!("Expr::Last({})", boxed("receiver")),
57
+ // Every op in `AstJson::OPS` has an arm above; reaching here is a hard failure.
58
+ other => panic!("unhandled ast op {other:?} — no Rust rendering exists for it in this generator (rust/codegen/src/expr_emitter.rs#emit_ast)"),
59
+ }
60
+ }
61
+
62
+ // Fully qualified because the self-hosted grammar declares its own `Comparison` type.
63
+ pub fn emit_comparison(cmp: &Json) -> String {
64
+ let flag = |key: &str| cmp.get(key).unwrap_or_else(|| panic!("cmp has no {key:?}: {cmp:?}")).to_s();
65
+ format!("crate::kernel::Comparison {{ less_than: {}, equal: {}, negated: {} }}", flag("less_than"), flag("equal"), flag("negated"))
66
+ }
67
+
68
+ fn field<'a>(node: &'a Json, op: &str, key: &str) -> &'a Json {
69
+ node.get(key).unwrap_or_else(|| panic!("{op} node has no {key:?} field: {node:?}"))
70
+ }
71
+
72
+ fn path_of(node: &Json, op: &str) -> Vec<String> {
73
+ field(node, op, "path")
74
+ .each()
75
+ .iter()
76
+ .map(|segment| segment.as_str().map(str::to_string).unwrap_or_else(|| panic!("{op}'s path has a non-string segment: {node:?}")))
77
+ .collect()
78
+ }
79
+
80
+ fn block_mode(node: &Json, op: &str) -> &'static str {
81
+ match field(node, op, "mode").as_str() {
82
+ Some("all") => "All",
83
+ Some("any") => "Any",
84
+ Some("none") => "None",
85
+ other => panic!("block_predicate's mode {other:?} is none of all/any/none: {node:?}"),
86
+ }
87
+ }
@@ -0,0 +1,192 @@
1
+ //! Port of `rust/project/fielded.rb`: emits the `Fielded` impls for structs and records.
2
+
3
+ use crate::exemplar::Exemplar;
4
+ use crate::json::Json;
5
+ use crate::naming;
6
+ use std::collections::HashMap;
7
+
8
+ fn is_fielded_nested(attr_type: &str, value_objects_by_name: &HashMap<String, &Json>) -> bool {
9
+ match value_objects_by_name.get(attr_type) {
10
+ Some(vo) => naming::fielded_capable_nested(vo),
11
+ None => false,
12
+ }
13
+ }
14
+
15
+ pub fn emit_fielded_flat(exemplar: &Exemplar, struct_name: &str, attributes: &[Json], value_objects_by_name: &HashMap<String, &Json>, extra_arms: &[String]) -> String {
16
+ let mut arms: Vec<String> = Vec::new();
17
+
18
+ for attr in attributes {
19
+ let key = naming::rust_field(crate::attr::name(attr));
20
+ let ident = naming::rust_ident_field(crate::attr::name(attr));
21
+ let scalar = naming::effective_scalar_type(crate::attr::type_name(attr));
22
+ let list = crate::attr::list(attr);
23
+ let optional = crate::attr::optional(attr);
24
+
25
+ let arm = if list && optional {
26
+ Some(exemplar.render("fielded_arm_list_optional", &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident)]))
27
+ } else if list {
28
+ Some(exemplar.render("fielded_arm_list", &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident)]))
29
+ } else if optional && scalar.is_some() {
30
+ let scalar = scalar.unwrap();
31
+ Some(exemplar.render(
32
+ "fielded_arm_optional_scalar",
33
+ &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident.clone()), ("tmpl_value_expr_placeholder(v)", naming::scalar_to_value(scalar, "v").unwrap())],
34
+ ))
35
+ } else if optional {
36
+ if is_fielded_nested(crate::attr::type_name(attr), value_objects_by_name) {
37
+ Some(exemplar.render("fielded_arm_optional_nested", &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident)]))
38
+ } else {
39
+ None
40
+ }
41
+ } else if let Some(scalar) = scalar {
42
+ Some(exemplar.render(
43
+ "fielded_arm_scalar",
44
+ &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_value_expr_placeholder(&self.tmpl_ident)", naming::scalar_to_value(scalar, &format!("self.{ident}")).unwrap())],
45
+ ))
46
+ } else if is_fielded_nested(crate::attr::type_name(attr), value_objects_by_name) {
47
+ Some(exemplar.render("fielded_arm_nested", &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident)]))
48
+ } else {
49
+ None
50
+ };
51
+
52
+ if let Some(a) = arm {
53
+ arms.push(a);
54
+ }
55
+ }
56
+
57
+ let mut arms: Vec<String> = arms.iter().map(|a| format!(" {a}")).collect();
58
+ arms.extend(extra_arms.iter().cloned());
59
+ // Scan the assembled arm list (including `extra_arms`) rather than tracking per branch:
60
+ // a plain scalar arm also emits `Value::...`.
61
+ let uses_value = arms.iter().any(|a| a.contains("Value"));
62
+ // A struct with no fielded-capable attributes never constructs `Field::...`, so the
63
+ // import would be unused.
64
+ let uses_field = arms.iter().any(|a| a.contains("Field"));
65
+
66
+ format!(
67
+ "{}\n",
68
+ exemplar.render(
69
+ "fielded_flat",
70
+ &[
71
+ ("TmplFlatType", struct_name.to_string()),
72
+ ("\"tmpl_arms_placeholder\" => tmpl_arms_block(),", arms.join("\n")),
73
+ ("\"tmpl_items_placeholder\" => tmpl_items_block(),", items_arms(exemplar, attributes, value_objects_by_name, &[], |attr| crate::attr::optional(attr)).join("\n")),
74
+ ("tmpl_as_scalar_placeholder()", as_scalar_expr(attributes)),
75
+ ("use crate::kernel::Field;", if uses_field { "use crate::kernel::Field;".to_string() } else { String::new() }),
76
+ ("use crate::kernel::Value;", if uses_value { "use crate::kernel::Value;".to_string() } else { String::new() }),
77
+ ],
78
+ )
79
+ )
80
+ }
81
+
82
+ pub fn emit_fielded_record(exemplar: &Exemplar, aggregate: &Json, value_objects_by_name: &HashMap<String, &Json>) -> String {
83
+ let name = naming::rust_ident(aggregate.get("name").and_then(Json::as_str).unwrap_or(""));
84
+ let attributes = aggregate.get("attributes").map(Json::each).unwrap_or(&[]);
85
+ let mut arms: Vec<String> = Vec::new();
86
+
87
+ for attr in attributes {
88
+ let key = naming::rust_field(crate::attr::name(attr));
89
+ let ident = naming::rust_ident_field(crate::attr::name(attr));
90
+ let scalar = naming::effective_scalar_type(crate::attr::type_name(attr));
91
+ let list = crate::attr::list(attr);
92
+
93
+ let arm = if list && crate::shared::list_attr_creation_optional(aggregate, crate::attr::name(attr), value_objects_by_name) {
94
+ Some(exemplar.render("fielded_arm_list_optional", &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident)]))
95
+ } else if list {
96
+ Some(exemplar.render("fielded_arm_list", &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident)]))
97
+ } else if let Some(scalar) = scalar {
98
+ Some(exemplar.render(
99
+ "fielded_arm_optional_scalar",
100
+ &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident.clone()), ("tmpl_value_expr_placeholder(v)", naming::scalar_to_value(scalar, "v").unwrap())],
101
+ ))
102
+ } else if is_fielded_nested(crate::attr::type_name(attr), value_objects_by_name) {
103
+ Some(exemplar.render("fielded_arm_optional_nested", &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident)]))
104
+ } else {
105
+ None
106
+ };
107
+
108
+ if let Some(a) = arm {
109
+ arms.push(a);
110
+ }
111
+ }
112
+
113
+ if let Some(lifecycle) = aggregate.get("lifecycle") {
114
+ let field = lifecycle.get("field").and_then(Json::as_str).unwrap_or("");
115
+ let key = naming::rust_field(field);
116
+ let ident = naming::rust_ident_field(field);
117
+ arms.push(exemplar.render("fielded_lifecycle_arm", &[("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident)]));
118
+ }
119
+ for ev in crate::bridging::correctable_event_names(aggregate) {
120
+ let ident = crate::bridging::corrects_flag_field(&ev);
121
+ arms.push(exemplar.render("fielded_corrects_flag_arm", &[("\"tmpl_field\"", naming::ruby_inspect_string(&ident)), ("tmpl_ident", ident)]));
122
+ }
123
+
124
+ let arms: Vec<String> = arms.iter().map(|a| format!(" {a}")).collect();
125
+
126
+ let entity_names: Vec<String> = aggregate
127
+ .get("entities")
128
+ .map(Json::each)
129
+ .unwrap_or(&[])
130
+ .iter()
131
+ .filter_map(|e| e.get("name").and_then(Json::as_str).map(str::to_string))
132
+ .collect();
133
+ let items = items_arms(exemplar, attributes, value_objects_by_name, &entity_names, |attr| {
134
+ crate::shared::list_attr_creation_optional(aggregate, crate::attr::name(attr), value_objects_by_name)
135
+ });
136
+
137
+ format!(
138
+ "{}\n",
139
+ exemplar.render(
140
+ "fielded_record",
141
+ &[
142
+ ("TmplRecordType", name),
143
+ ("\"tmpl_arms_placeholder\" => tmpl_arms_block(),", arms.join("\n")),
144
+ ("\"tmpl_items_placeholder\" => tmpl_items_block(),", items.join("\n")),
145
+ ("tmpl_as_scalar_placeholder()", as_scalar_expr(attributes)),
146
+ ],
147
+ )
148
+ )
149
+ }
150
+
151
+ // A struct with exactly one scalar attribute reads as that attribute's value, whatever its
152
+ // name. A sole value-object attribute emits a literal `None` rather than a match that
153
+ // could never bind.
154
+ fn as_scalar_expr(attributes: &[Json]) -> String {
155
+ let sole = attributes.len() == 1
156
+ && !crate::attr::list(&attributes[0])
157
+ && naming::effective_scalar_type(crate::attr::type_name(&attributes[0])).is_some();
158
+ if sole {
159
+ format!(
160
+ "match self.field(\"{}\") {{ Some(crate::kernel::Field::Value(v)) => Some(v), _ => None }}",
161
+ naming::rust_field(crate::attr::name(&attributes[0]))
162
+ )
163
+ } else {
164
+ "None".to_string()
165
+ }
166
+ }
167
+
168
+ // One `Fielded::items` arm per list attribute whose element is a scalar, value object or
169
+ // entity; other lists stay length-only.
170
+ fn items_arms(exemplar: &Exemplar, attributes: &[Json], value_objects_by_name: &HashMap<String, &Json>, entity_names: &[String], optional: impl Fn(&Json) -> bool) -> Vec<String> {
171
+ let mut arms = Vec::new();
172
+ for attr in attributes {
173
+ if !crate::attr::list(attr) {
174
+ continue;
175
+ }
176
+ let key = naming::rust_field(crate::attr::name(attr));
177
+ let ident = naming::rust_ident_field(crate::attr::name(attr));
178
+ let type_name = crate::attr::type_name(attr);
179
+ let scalar = naming::effective_scalar_type(type_name);
180
+ let fielded_element = scalar.is_some() || is_fielded_nested(type_name, value_objects_by_name) || entity_names.iter().any(|e| e == type_name);
181
+ if !fielded_element {
182
+ continue;
183
+ }
184
+ let shape = format!("fielded_items_arm_list_{}{}", if optional(attr) { "optional_" } else { "" }, if scalar.is_some() { "scalar" } else { "nested" });
185
+ let mut subs: Vec<(&str, String)> = vec![("\"tmpl_field\"", naming::ruby_inspect_string(&key)), ("tmpl_ident", ident)];
186
+ if let Some(scalar) = scalar {
187
+ subs.push(("tmpl_value_expr_placeholder(v)", naming::scalar_to_value(scalar, "v").unwrap()));
188
+ }
189
+ arms.push(format!(" {}", exemplar.render(&shape, &subs)));
190
+ }
191
+ arms
192
+ }
@@ -0,0 +1,33 @@
1
+ //! Port of the subset of `lib/hecks/naming.rb` that codegen calls:
2
+ //! `snake`, `demodulise` and `reference_key`.
3
+
4
+ /// `type.to_s.split("::").last.to_s`
5
+ pub fn demodulise(type_name: &str) -> String {
6
+ type_name.rsplit("::").next().unwrap_or(type_name).to_string()
7
+ }
8
+
9
+ /// `snake(demodulise(type)).to_sym`
10
+ pub fn reference_key(type_name: &str) -> String {
11
+ snake(&demodulise(type_name))
12
+ }
13
+
14
+ /// CamelCase to snake_case, matching Ruby's two-gsub `Naming.snake` in a single pass.
15
+ ///
16
+ /// Inserts `_` before an uppercase letter that follows a lowercase letter or digit, or that
17
+ /// ends an acronym (uppercase before, lowercase after).
18
+ pub fn snake(text: &str) -> String {
19
+ let chars: Vec<char> = text.chars().collect();
20
+ let mut out = String::new();
21
+ for (i, &c) in chars.iter().enumerate() {
22
+ if c.is_ascii_uppercase() && i > 0 {
23
+ let prev = chars[i - 1];
24
+ let next = chars.get(i + 1).copied();
25
+ let insert = (prev.is_ascii_lowercase() || prev.is_ascii_digit()) || (prev.is_ascii_uppercase() && next.map(|n| n.is_ascii_lowercase()).unwrap_or(false));
26
+ if insert {
27
+ out.push('_');
28
+ }
29
+ }
30
+ out.push(c);
31
+ }
32
+ out.to_lowercase()
33
+ }