hecks 2.8.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 (886) hide show
  1. checksums.yaml +4 -4
  2. data/exe/hecks +50 -7
  3. data/lib/hecks/adapters/driven/claude_code.rb +4 -104
  4. data/lib/hecks/adapters/driven/d1.rb +44 -237
  5. data/lib/hecks/adapters/driven/folder.rb +17 -76
  6. data/lib/hecks/adapters/driven/google_authentication.rb +15 -49
  7. data/lib/hecks/adapters/driven/governance_authorization.rb +23 -70
  8. data/lib/hecks/adapters/driven/heki/journal.rb +8 -41
  9. data/lib/hecks/adapters/driven/heki/saga_store.rb +12 -54
  10. data/lib/hecks/adapters/driven/heki/snapshot.rb +4 -12
  11. data/lib/hecks/adapters/driven/heki.rb +13 -42
  12. data/lib/hecks/adapters/driven/identity_registry.rb +3 -14
  13. data/lib/hecks/adapters/driven/in_memory_ordering.rb +9 -26
  14. data/lib/hecks/adapters/driven/in_process_key_vault.rb +2 -14
  15. data/lib/hecks/adapters/driven/lambda/client.rb +10 -51
  16. data/lib/hecks/adapters/driven/lambda.rb +10 -84
  17. data/lib/hecks/adapters/driven/local_storage.rb +5 -40
  18. data/lib/hecks/adapters/driven/memory.rb +32 -100
  19. data/lib/hecks/adapters/driven/mock_stripe_adapter.rb +5 -21
  20. data/lib/hecks/adapters/driven/postgres/codec.rb +6 -28
  21. data/lib/hecks/adapters/driven/postgres/outbox.rb +3 -12
  22. data/lib/hecks/adapters/driven/postgres/reconnect.rb +10 -32
  23. data/lib/hecks/adapters/driven/postgres/schema_builder.rb +34 -108
  24. data/lib/hecks/adapters/driven/postgres/shared_connection.rb +180 -0
  25. data/lib/hecks/adapters/driven/postgres.rb +149 -136
  26. data/lib/hecks/adapters/driven/postgres_era.adapter +4 -15
  27. data/lib/hecks/adapters/driven/prism.rb +48 -38
  28. data/lib/hecks/adapters/driven/sql_query_builder.rb +21 -121
  29. data/lib/hecks/adapters/driven/sqlite/codec.rb +8 -40
  30. data/lib/hecks/adapters/driven/sqlite/projection.rb +26 -82
  31. data/lib/hecks/adapters/driven/sqlite/schema_builder.rb +40 -84
  32. data/lib/hecks/adapters/driven/sqlite.rb +128 -65
  33. data/lib/hecks/adapters/driven/tenant_provisioner.rb +76 -62
  34. data/lib/hecks/adapters/driven.rb +5 -36
  35. data/lib/hecks/adapters/driving/github_webhook.rb +8 -76
  36. data/lib/hecks/behaviors/dsl.rb +7 -25
  37. data/lib/hecks/behaviors/expectations.rb +32 -142
  38. data/lib/hecks/behaviors/ir.rb +7 -20
  39. data/lib/hecks/behaviors/rspec.rb +6 -17
  40. data/lib/hecks/behaviors/runner.rb +10 -34
  41. data/lib/hecks/behaviors.rb +4 -8
  42. data/lib/hecks/bench/cli.rb +62 -0
  43. data/lib/hecks/bench/environment.rb +71 -0
  44. data/lib/hecks/bench/postgres_probe.rb +30 -0
  45. data/lib/hecks/bench/report.rb +76 -0
  46. data/lib/hecks/bench/ruby_runner.rb +93 -0
  47. data/lib/hecks/bench/run.rb +55 -0
  48. data/lib/hecks/bench/rust_runner.rb +101 -0
  49. data/lib/hecks/bench/stats.rb +46 -0
  50. data/lib/hecks/bench/suite.rb +98 -0
  51. data/lib/hecks/bench/workload.rb +89 -0
  52. data/lib/hecks/bench.rb +17 -0
  53. data/lib/hecks/bluebook/aggregate.rb +9 -75
  54. data/lib/hecks/bluebook/assembly/aggregate_assembly.rb +9 -38
  55. data/lib/hecks/bluebook/assembly/build.rb +4 -15
  56. data/lib/hecks/bluebook/assembly/contract.rb +15 -136
  57. data/lib/hecks/bluebook/assembly/contracts.rb +56 -174
  58. data/lib/hecks/bluebook/assembly/marks.rb +31 -223
  59. data/lib/hecks/bluebook/assembly/specializer.rb +6 -52
  60. data/lib/hecks/bluebook/assembly.rb +6 -45
  61. data/lib/hecks/bluebook/attribute.rb +12 -61
  62. data/lib/hecks/bluebook/behaviour/aggregate.rb +39 -39
  63. data/lib/hecks/bluebook/behaviour/attribute.rb +3 -14
  64. data/lib/hecks/bluebook/behaviour/chapter.rb +14 -42
  65. data/lib/hecks/bluebook/behaviour/command.rb +14 -66
  66. data/lib/hecks/bluebook/behaviour/domain_port.rb +11 -20
  67. data/lib/hecks/bluebook/behaviour/entity.rb +7 -27
  68. data/lib/hecks/bluebook/behaviour/hexagon.rb +23 -41
  69. data/lib/hecks/bluebook/behaviour/lifecycle.rb +15 -40
  70. data/lib/hecks/bluebook/behaviour/policy.rb +23 -52
  71. data/lib/hecks/bluebook/behaviour/process_manager.rb +30 -57
  72. data/lib/hecks/bluebook/behaviour/read_model.rb +25 -31
  73. data/lib/hecks/bluebook/behaviour/traits.rb +27 -64
  74. data/lib/hecks/bluebook/behaviour/value_object.rb +5 -24
  75. data/lib/hecks/bluebook/capabilities.rb +17 -49
  76. data/lib/hecks/bluebook/chapter.rb +16 -50
  77. data/lib/hecks/bluebook/command.rb +23 -81
  78. data/lib/hecks/bluebook/domain_port.rb +49 -67
  79. data/lib/hecks/bluebook/dsl/aggregate_builder/sealing.rb +50 -229
  80. data/lib/hecks/bluebook/dsl/aggregate_builder.rb +50 -377
  81. data/lib/hecks/bluebook/dsl/attribute_collector.rb +33 -204
  82. data/lib/hecks/bluebook/dsl/binding_proxy.rb +16 -69
  83. data/lib/hecks/bluebook/dsl/bluebook_builder/validation.rb +96 -708
  84. data/lib/hecks/bluebook/dsl/bluebook_builder.rb +63 -169
  85. data/lib/hecks/bluebook/dsl/bootstrap_table.rb +3 -1
  86. data/lib/hecks/bluebook/dsl/command_builder.rb +74 -546
  87. data/lib/hecks/bluebook/dsl/const_shim.rb +8 -41
  88. data/lib/hecks/bluebook/dsl/domain_port_builder.rb +42 -89
  89. data/lib/hecks/bluebook/dsl/entity_builder.rb +44 -330
  90. data/lib/hecks/bluebook/dsl/generic_dispatch.rb +20 -269
  91. data/lib/hecks/bluebook/dsl/hecksagon_builder.rb +148 -197
  92. data/lib/hecks/bluebook/dsl/identity_declaration.rb +13 -88
  93. data/lib/hecks/bluebook/dsl/lifecycle_builder.rb +6 -20
  94. data/lib/hecks/bluebook/dsl/policy_builder.rb +16 -88
  95. data/lib/hecks/bluebook/dsl/port_builder.rb +2 -6
  96. data/lib/hecks/bluebook/dsl/port_operation_builder.rb +22 -96
  97. data/lib/hecks/bluebook/dsl/process_manager_builder.rb +31 -184
  98. data/lib/hecks/bluebook/dsl/query_builder.rb +38 -43
  99. data/lib/hecks/bluebook/dsl/read_model_builder.rb +75 -201
  100. data/lib/hecks/bluebook/dsl/rule_reference.rb +22 -163
  101. data/lib/hecks/bluebook/dsl/translation_builder.rb +28 -114
  102. data/lib/hecks/bluebook/dsl/value_object_builder.rb +10 -124
  103. data/lib/hecks/bluebook/dsl/word_gate.rb +16 -162
  104. data/lib/hecks/bluebook/dsl/world_builder.rb +46 -111
  105. data/lib/hecks/bluebook/entity.rb +13 -71
  106. data/lib/hecks/bluebook/expression/ast_json.rb +24 -190
  107. data/lib/hecks/bluebook/expression/ast_reader.rb +12 -54
  108. data/lib/hecks/bluebook/expression/canonical_form.rb +11 -88
  109. data/lib/hecks/bluebook/expression/evaluator.rb +47 -295
  110. data/lib/hecks/bluebook/expression/resolver/block_predicates.rb +30 -147
  111. data/lib/hecks/bluebook/expression/resolver.rb +39 -661
  112. data/lib/hecks/bluebook/hexagon.rb +18 -33
  113. data/lib/hecks/bluebook/lifecycle.rb +5 -16
  114. data/lib/hecks/bluebook/meta_validator/adapter_judge.rb +1 -7
  115. data/lib/hecks/bluebook/meta_validator/judge.rb +111 -361
  116. data/lib/hecks/bluebook/meta_validator/plan.rb +33 -162
  117. data/lib/hecks/bluebook/meta_validator/port_judge.rb +2 -7
  118. data/lib/hecks/bluebook/meta_validator/readings.rb +56 -342
  119. data/lib/hecks/bluebook/meta_validator/reconstruction.rb +25 -176
  120. data/lib/hecks/bluebook/meta_validator/shapes.rb +53 -267
  121. data/lib/hecks/bluebook/meta_validator/syntax_boot.rb +47 -306
  122. data/lib/hecks/bluebook/meta_validator/translation_judge.rb +7 -43
  123. data/lib/hecks/bluebook/meta_validator/verdict_cache.rb +246 -0
  124. data/lib/hecks/bluebook/meta_validator/world_judge.rb +6 -18
  125. data/lib/hecks/bluebook/meta_validator.rb +87 -352
  126. data/lib/hecks/bluebook/model_check/client_profile.rb +6 -21
  127. data/lib/hecks/bluebook/model_check.rb +122 -596
  128. data/lib/hecks/bluebook/pattern_subset.rb +49 -69
  129. data/lib/hecks/bluebook/process_manager.rb +13 -83
  130. data/lib/hecks/bluebook/project_loader.rb +3 -39
  131. data/lib/hecks/bluebook/project_register.rb +12 -60
  132. data/lib/hecks/bluebook/query.rb +27 -51
  133. data/lib/hecks/bluebook/read_model.rb +57 -81
  134. data/lib/hecks/bluebook/reference.rb +7 -41
  135. data/lib/hecks/bluebook/smoke_test.rb +9 -99
  136. data/lib/hecks/bluebook/synthesizer.rb +13 -62
  137. data/lib/hecks/bluebook/translation.rb +26 -62
  138. data/lib/hecks/bluebook/value_object.rb +11 -36
  139. data/lib/hecks/bluebook.rb +5 -22
  140. data/lib/hecks/cache_dir.rb +4 -23
  141. data/lib/hecks/canonical_json.rb +30 -0
  142. data/lib/hecks/chapters.rb +102 -0
  143. data/lib/hecks/cli/behaviors.rb +61 -0
  144. data/lib/hecks/cli/canonicalise.rb +25 -0
  145. data/lib/hecks/cli/check_engine_agreement.rb +32 -0
  146. data/lib/hecks/cli/check_era.rb +88 -0
  147. data/lib/hecks/cli/console.rb +66 -0
  148. data/lib/hecks/cli/deploy_template_diff.rb +40 -0
  149. data/lib/hecks/cli/doc_coverage.rb +32 -0
  150. data/lib/hecks/cli/document.rb +5 -23
  151. data/lib/hecks/cli/expression_projection.rb +41 -0
  152. data/lib/hecks/cli/follow.rb +88 -0
  153. data/lib/hecks/cli/history.rb +44 -0
  154. data/lib/hecks/cli/ir.rb +4 -6
  155. data/lib/hecks/cli/mcp.rb +5 -6
  156. data/lib/hecks/cli/model_check.rb +24 -88
  157. data/lib/hecks/cli/pattern_cases.rb +47 -0
  158. data/lib/hecks/cli/present.rb +39 -0
  159. data/lib/hecks/cli/project_cli.rb +223 -64
  160. data/lib/hecks/cli/project_diagrams.rb +4 -10
  161. data/lib/hecks/cli/project_glossary.rb +44 -0
  162. data/lib/hecks/cli/reference.rb +46 -0
  163. data/lib/hecks/cli/refresh_projections.rb +44 -0
  164. data/lib/hecks/cli/refresh_rspec_runtime_baseline.rb +150 -0
  165. data/lib/hecks/cli/release.rb +70 -0
  166. data/lib/hecks/cli/release_gem.rb +59 -0
  167. data/lib/hecks/cli/rspec_io_parallel_files.rb +137 -0
  168. data/lib/hecks/cli/rspec_shard_files.rb +66 -0
  169. data/lib/hecks/cli/run.rb +15 -61
  170. data/lib/hecks/cli/seed_semantics_corpus.rb +71 -0
  171. data/lib/hecks/cli/serve_query_ir_mcp.rb +30 -0
  172. data/lib/hecks/cli/shape.rb +70 -0
  173. data/lib/hecks/cli/smoke_http.rb +230 -0
  174. data/lib/hecks/cli/smoke_test.rb +7 -19
  175. data/lib/hecks/cli/spec_example.rb +27 -0
  176. data/lib/hecks/cli/statements.rb +32 -0
  177. data/lib/hecks/cli/stores.rb +4 -6
  178. data/lib/hecks/cli/stress_concurrency_specs.rb +177 -0
  179. data/lib/hecks/cli.rb +216 -73
  180. data/lib/hecks/codemod.rb +324 -0
  181. data/lib/hecks/construct.rb +8 -34
  182. data/lib/hecks/corpus.rb +423 -0
  183. data/lib/hecks/deploy/bluebook/deploy.bluebook +617 -158
  184. data/lib/hecks/deploy/bluebook/deploy.hecksagon +41 -11
  185. data/lib/hecks/deploy/oidc.json +82 -2
  186. data/lib/hecks/doc/reference.rb +351 -0
  187. data/lib/hecks/doors/cli_door.rb +196 -0
  188. data/lib/hecks/doors/cli_runner.rb +297 -0
  189. data/lib/hecks/{facade → doors}/command_request.rb +14 -34
  190. data/lib/hecks/doors/handle.rb +206 -0
  191. data/lib/hecks/doors/json_door.rb +132 -0
  192. data/lib/hecks/doors/launcher_options.rb +129 -0
  193. data/lib/hecks/{cli → doors}/mcp_door.rb +25 -120
  194. data/lib/hecks/doors/mcp_door_scope.rb +97 -0
  195. data/lib/hecks/doors/ruby_door/aggregate_door.rb +162 -0
  196. data/lib/hecks/doors/ruby_door/chapter.rb +72 -0
  197. data/lib/hecks/doors/ruby_door.rb +77 -0
  198. data/lib/hecks/doors.rb +61 -0
  199. data/lib/hecks/embryonaut_bluebook/lock.rb +3 -35
  200. data/lib/hecks/embryonaut_bluebook/shape.rb +1 -17
  201. data/lib/hecks/embryonaut_bluebook/vendor.rb +8 -53
  202. data/lib/hecks/embryonaut_bluebook/vendor_cli.rb +4 -19
  203. data/lib/hecks/embryonaut_bluebook.rb +5 -72
  204. data/lib/hecks/engine_agreement.rb +156 -0
  205. data/lib/hecks/facade.rb +23 -51
  206. data/lib/hecks/forms/app.rb +21 -76
  207. data/lib/hecks/forms/banking_presentation.rb +50 -0
  208. data/lib/hecks/forms/command_form_renderer.rb +10 -29
  209. data/lib/hecks/forms/field_renderer.rb +17 -156
  210. data/lib/hecks/forms/field_shape.rb +31 -222
  211. data/lib/hecks/forms/html.rb +12 -47
  212. data/lib/hecks/forms/index_renderer.rb +1 -4
  213. data/lib/hecks/forms/page.rb +3 -9
  214. data/lib/hecks/forms/params.rb +14 -60
  215. data/lib/hecks/forms/port_argument.rb +2 -19
  216. data/lib/hecks/forms/query_form_renderer.rb +4 -79
  217. data/lib/hecks/forms/record_renderer.rb +8 -75
  218. data/lib/hecks/forms/record_table.rb +7 -50
  219. data/lib/hecks/forms/reference_options.rb +3 -30
  220. data/lib/hecks/forms/value_object_shape.rb +8 -35
  221. data/lib/hecks/forms.rb +5 -33
  222. data/lib/hecks/fqn.rb +5 -12
  223. data/lib/hecks/framework/bluebook/compliance.bluebook +16 -65
  224. data/lib/hecks/framework/bluebook/console_settings.bluebook +47 -134
  225. data/lib/hecks/framework/bluebook/framework.hecksagon +5 -14
  226. data/lib/hecks/framework/bluebook/governance.bluebook +13 -34
  227. data/lib/hecks/framework/bluebook/identity.bluebook +11 -26
  228. data/lib/hecks/framework/bluebook/privacy.bluebook +8 -33
  229. data/lib/hecks/framework.rb +11 -80
  230. data/lib/hecks/freezer.rb +5 -39
  231. data/lib/hecks/fuzzing/bounded_exhaustive_expressions.rb +393 -0
  232. data/lib/hecks/fuzzing/combination_miner.rb +86 -0
  233. data/lib/hecks/fuzzing/concurrent_dispatch.rb +214 -0
  234. data/lib/hecks/fuzzing/coverage_campaign.rb +143 -0
  235. data/lib/hecks/fuzzing/differential.rb +156 -0
  236. data/lib/hecks/fuzzing/domain_generator.rb +615 -0
  237. data/lib/hecks/fuzzing/era_boundary.rb +71 -0
  238. data/lib/hecks/fuzzing/form_census.rb +136 -0
  239. data/lib/hecks/fuzzing/generated_domain_check.rb +93 -0
  240. data/lib/hecks/fuzzing/invalid_value_generator.rb +64 -0
  241. data/lib/hecks/fuzzing/isolated_boot.rb +301 -0
  242. data/lib/hecks/fuzzing/nondeterministic.rb +51 -0
  243. data/lib/hecks/fuzzing/outside_world.rb +45 -0
  244. data/lib/hecks/fuzzing/persistence_parity.rb +102 -0
  245. data/lib/hecks/fuzzing/properties/corrections.rb +88 -0
  246. data/lib/hecks/fuzzing/properties/dispatch_and_mutations.rb +314 -0
  247. data/lib/hecks/fuzzing/properties/guards.rb +190 -0
  248. data/lib/hecks/fuzzing/properties/invariants_and_aggregation.rb +300 -0
  249. data/lib/hecks/fuzzing/properties/lifecycle_and_replay.rb +93 -0
  250. data/lib/hecks/fuzzing/properties/outbox.rb +89 -0
  251. data/lib/hecks/fuzzing/properties/querying.rb +175 -0
  252. data/lib/hecks/fuzzing/properties.rb +162 -0
  253. data/lib/hecks/fuzzing/qa_settings.rb +123 -0
  254. data/lib/hecks/fuzzing/replay.rb +505 -0
  255. data/lib/hecks/fuzzing/rotation_priority.rb +48 -0
  256. data/lib/hecks/fuzzing/rust_gap_manifest.rb +108 -0
  257. data/lib/hecks/fuzzing/self_consistency.rb +339 -0
  258. data/lib/hecks/fuzzing/sequence_generator/adversary.rb +385 -0
  259. data/lib/hecks/fuzzing/sequence_generator/catalog.rb +132 -0
  260. data/lib/hecks/fuzzing/sequence_generator/outcome_tracker.rb +95 -0
  261. data/lib/hecks/fuzzing/sequence_generator/picker.rb +77 -0
  262. data/lib/hecks/fuzzing/sequence_generator/query_binding.rb +109 -0
  263. data/lib/hecks/fuzzing/sequence_generator/step_builder.rb +237 -0
  264. data/lib/hecks/fuzzing/sequence_generator.rb +189 -0
  265. data/lib/hecks/fuzzing/shrinker.rb +166 -0
  266. data/lib/hecks/fuzzing/structural_skips.rb +33 -0
  267. data/lib/hecks/fuzzing/sweep_depth.rb +43 -0
  268. data/lib/hecks/fuzzing/target_capabilities.rb +163 -0
  269. data/lib/hecks/fuzzing/value_generator.rb +216 -0
  270. data/lib/hecks/fuzzing.rb +23 -0
  271. data/lib/hecks/grammar/evolve.rb +336 -0
  272. data/lib/hecks/grammar/expression.bluebook +15 -40
  273. data/lib/hecks/grammar/translation.bluebook +3 -6
  274. data/lib/hecks/grammar.rb +16 -41
  275. data/lib/hecks/hecks/adapters/codebase/codemods.rb +45 -0
  276. data/lib/hecks/hecks/adapters/codebase/conformance.rb +71 -0
  277. data/lib/hecks/hecks/adapters/codebase/corpus_tasks.rb +202 -0
  278. data/lib/hecks/hecks/adapters/codebase/gem_registry.rb +80 -0
  279. data/lib/hecks/hecks/adapters/codebase/kernel_tables.rb +54 -0
  280. data/lib/hecks/hecks/adapters/codebase/language.rb +240 -0
  281. data/lib/hecks/hecks/adapters/codebase/npm_registry.rb +102 -0
  282. data/lib/hecks/hecks/adapters/codebase/publishing.rb +142 -0
  283. data/lib/hecks/hecks/adapters/codebase/regeneration.rb +67 -0
  284. data/lib/hecks/hecks/adapters/codebase/release_facts.rb +90 -0
  285. data/lib/hecks/hecks/adapters/codebase/ruby_child.rb +83 -0
  286. data/lib/hecks/hecks/adapters/codebase/secret_vault.rb +36 -0
  287. data/lib/hecks/hecks/adapters/codebase/source_tree.adapter +7 -0
  288. data/lib/hecks/hecks/adapters/codebase/source_tree.rb +189 -0
  289. data/lib/hecks/hecks/adapters/codebase/sqlite_fixture.rb +71 -0
  290. data/lib/hecks/hecks/adapters/codebase/style.rb +171 -0
  291. data/lib/hecks/hecks/adapters/codebase/test_runner.rb +55 -0
  292. data/lib/hecks/hecks/adapters/codebase/test_suite.rb +165 -0
  293. data/lib/hecks/hecks/adapters/codebase/tree.rb +111 -0
  294. data/lib/hecks/hecks/adapters/console_capture.rb +79 -0
  295. data/lib/hecks/hecks/adapters/deploy_toolchain.adapter +7 -0
  296. data/lib/hecks/hecks/adapters/deploy_toolchain.rb +108 -0
  297. data/lib/hecks/hecks/adapters/git.adapter +7 -0
  298. data/lib/hecks/hecks/adapters/git.rb +102 -0
  299. data/lib/hecks/hecks/adapters/host_http.adapter +7 -0
  300. data/lib/hecks/hecks/adapters/host_http.rb +65 -0
  301. data/lib/hecks/hecks/adapters/in_process_boot.adapter +7 -0
  302. data/lib/hecks/hecks/adapters/in_process_boot.rb +197 -0
  303. data/lib/hecks/hecks/adapters/in_process_operations.rb +202 -0
  304. data/lib/hecks/hecks/adapters/journal_store/changes.rb +143 -0
  305. data/lib/hecks/hecks/adapters/journal_store/compaction.rb +145 -0
  306. data/lib/hecks/hecks/adapters/journal_store/edge_audit.rb +132 -0
  307. data/lib/hecks/hecks/adapters/journal_store/examination.rb +135 -0
  308. data/lib/hecks/hecks/adapters/journal_store/held_domain.rb +163 -0
  309. data/lib/hecks/hecks/adapters/journal_store/readings.rb +187 -0
  310. data/lib/hecks/hecks/adapters/journal_store.adapter +7 -0
  311. data/lib/hecks/hecks/adapters/journal_store.rb +64 -0
  312. data/lib/hecks/hecks/adapters/local_files.adapter +7 -0
  313. data/lib/hecks/hecks/adapters/local_files.rb +46 -0
  314. data/lib/hecks/hecks/adapters/pg_admin.adapter +7 -0
  315. data/lib/hecks/hecks/adapters/pg_admin.rb +245 -0
  316. data/lib/hecks/hecks/adapters/process_pool.adapter +7 -0
  317. data/lib/hecks/hecks/adapters/process_pool.rb +119 -0
  318. data/lib/hecks/hecks/adapters/rust_toolchain.adapter +7 -0
  319. data/lib/hecks/hecks/adapters/rust_toolchain.rb +179 -0
  320. data/lib/hecks/hecks/adapters/rust_workspace.rb +150 -0
  321. data/lib/hecks/hecks/adapters/shell.adapter +7 -0
  322. data/lib/hecks/hecks/adapters/shell.rb +49 -0
  323. data/lib/hecks/hecks/adapters/terminal.adapter +7 -0
  324. data/lib/hecks/hecks/adapters/terminal.rb +74 -0
  325. data/lib/hecks/hecks/codebase.behaviors +172 -0
  326. data/lib/hecks/hecks/codebase.bluebook +2453 -0
  327. data/lib/hecks/hecks/context_map.hecksagon +13 -0
  328. data/lib/hecks/hecks/custodian.behaviors +179 -0
  329. data/lib/hecks/hecks/custodian.bluebook +1847 -0
  330. data/lib/hecks/hecks/deploy.behaviors +74 -0
  331. data/lib/hecks/hecks/deploy.world +12 -0
  332. data/lib/hecks/hecks/environments/memory.world +10 -0
  333. data/lib/hecks/hecks/governance.world +7 -0
  334. data/lib/hecks/hecks/hecks.behaviors +62 -0
  335. data/lib/hecks/hecks/hecks.bluebook +124 -0
  336. data/lib/hecks/hecks/hecks.hecksagon +390 -0
  337. data/lib/hecks/hecks/hecks.world +42 -0
  338. data/lib/hecks/ir.rb +14 -83
  339. data/lib/hecks/kernel_capabilities.rb +194 -0
  340. data/lib/hecks/language/adapter.bluebook +2 -7
  341. data/lib/hecks/language/bluebook/aggregate.bluebook +56 -221
  342. data/lib/hecks/language/bluebook/attaches/paging.bluebook +6 -15
  343. data/lib/hecks/language/bluebook/bluebook.bluebook +26 -83
  344. data/lib/hecks/language/bluebook/bluebook.hecksagon +3 -15
  345. data/lib/hecks/language/bluebook/command.bluebook +27 -144
  346. data/lib/hecks/language/bluebook/entity.bluebook +24 -97
  347. data/lib/hecks/language/bluebook/policy.bluebook +16 -67
  348. data/lib/hecks/language/bluebook/process_manager.bluebook +28 -151
  349. data/lib/hecks/language/bluebook/projection.bluebook +126 -60
  350. data/lib/hecks/language/bluebook/query.bluebook +19 -43
  351. data/lib/hecks/language/bluebook/shape.bluebook +23 -73
  352. data/lib/hecks/language/bluebook/syntax.bluebook +51 -262
  353. data/lib/hecks/language/bluebook/vocabulary.bluebook +83 -198
  354. data/lib/hecks/language/hecksagon/adapter_binding.bluebook +3 -10
  355. data/lib/hecks/language/hecksagon/domain_port.bluebook +14 -19
  356. data/lib/hecks/language/hecksagon/hecksagon.bluebook +26 -25
  357. data/lib/hecks/language/hecksagon/port_operation.bluebook +3 -14
  358. data/lib/hecks/language/oidc.json +35 -0
  359. data/lib/hecks/language/port.bluebook +4 -17
  360. data/lib/hecks/language/translation/translation.bluebook +3 -9
  361. data/lib/hecks/language/translation/translation_aggregate.bluebook +5 -24
  362. data/lib/hecks/language/world/wiring.bluebook +1 -3
  363. data/lib/hecks/language/world/world.bluebook +5 -7
  364. data/lib/hecks/literal.rb +8 -50
  365. data/lib/hecks/mcp_stdio_guard.rb +4 -41
  366. data/lib/hecks/naming.rb +29 -137
  367. data/lib/hecks/persistence_legacy_fixture/regenerate.rb +161 -0
  368. data/lib/hecks/persistence_legacy_fixture.rb +113 -0
  369. data/lib/hecks/ports/access_control.rb +7 -23
  370. data/lib/hecks/ports/agent/answers.rb +5 -23
  371. data/lib/hecks/ports/agent.rb +47 -172
  372. data/lib/hecks/ports/authentication.rb +12 -39
  373. data/lib/hecks/ports/authorization.rb +16 -43
  374. data/lib/hecks/ports/clock.rb +5 -45
  375. data/lib/hecks/ports/extraction.rb +7 -12
  376. data/lib/hecks/ports/identity_assignment.rb +8 -29
  377. data/lib/hecks/ports/identity_generation.rb +6 -29
  378. data/lib/hecks/ports/identity_resolution.rb +2 -10
  379. data/lib/hecks/ports/key_vault.rb +9 -45
  380. data/lib/hecks/ports/persistence/append_only.rb +61 -64
  381. data/lib/hecks/ports/persistence/binding_policy.rb +4 -14
  382. data/lib/hecks/ports/persistence/codec_boundary.rb +20 -80
  383. data/lib/hecks/ports/persistence/null_saga_store.rb +4 -20
  384. data/lib/hecks/ports/persistence/plugin.rb +13 -42
  385. data/lib/hecks/ports/persistence/plugins/era/era_check.rb +44 -144
  386. data/lib/hecks/ports/persistence/plugins/era/era_guard/shape_diff.rb +15 -115
  387. data/lib/hecks/ports/persistence/plugins/era/era_guard.rb +20 -85
  388. data/lib/hecks/ports/persistence/plugins/era/era_tamper.rb +6 -25
  389. data/lib/hecks/ports/persistence/plugins/era/expected_era.rb +18 -24
  390. data/lib/hecks/ports/persistence/plugins/era/lineage.rb +55 -181
  391. data/lib/hecks/ports/persistence/plugins/era/postgres_era/events.rb +77 -0
  392. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/era_store.rb +12 -122
  393. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/field_cache.rb +28 -128
  394. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/head_compiler.rb +73 -474
  395. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/mint_transaction.rb +31 -124
  396. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/provisioning.rb +45 -219
  397. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/resumable_backfill.rb +13 -108
  398. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/tail_merge.rb +19 -76
  399. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/transform_installer.rb +9 -49
  400. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage.rb +6 -123
  401. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/coverage_check.rb +23 -55
  402. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/era_resolver.rb +14 -72
  403. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/merge_coordinator.rb +7 -16
  404. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/minter.rb +43 -127
  405. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager.rb +13 -45
  406. data/lib/hecks/ports/persistence/plugins/era/postgres_era.rb +131 -555
  407. data/lib/hecks/ports/persistence/plugins/era/storage_shape.rb +13 -63
  408. data/lib/hecks/ports/persistence/plugins/era/translation/approval_file.rb +227 -0
  409. data/lib/hecks/ports/persistence/plugins/era/translation/audit/approval_digest.rb +2 -17
  410. data/lib/hecks/ports/persistence/plugins/era/translation/audit/layer_one.rb +3 -14
  411. data/lib/hecks/ports/persistence/plugins/era/translation/audit/layer_two.rb +13 -58
  412. data/lib/hecks/ports/persistence/plugins/era/translation/audit/unfed_report.rb +3 -17
  413. data/lib/hecks/ports/persistence/plugins/era/translation/audit.rb +9 -26
  414. data/lib/hecks/ports/persistence/plugins/era/translation/reattest.rb +50 -47
  415. data/lib/hecks/ports/persistence/plugins/era/translation/rule_compiler.rb +18 -124
  416. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold/differ.rb +34 -123
  417. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold/renderer.rb +5 -12
  418. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold/writer.rb +3 -9
  419. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold.rb +2 -14
  420. data/lib/hecks/ports/persistence/plugins/era/translation.rb +1 -0
  421. data/lib/hecks/ports/persistence/plugins/era.rb +4 -23
  422. data/lib/hecks/ports/persistence/postgres_dump/connection.rb +7 -23
  423. data/lib/hecks/ports/persistence/postgres_dump.rb +4 -35
  424. data/lib/hecks/ports/persistence/remote_runtime.rb +2 -24
  425. data/lib/hecks/ports/persistence/repository_factory.rb +8 -27
  426. data/lib/hecks/ports/persistence/state_codec.rb +47 -108
  427. data/lib/hecks/ports/persistence.rb +7 -14
  428. data/lib/hecks/ports/projection.rb +42 -84
  429. data/lib/hecks/ports/query/in_memory.rb +10 -58
  430. data/lib/hecks/ports/query/ordering.rb +11 -32
  431. data/lib/hecks/ports/query.rb +14 -37
  432. data/lib/hecks/ports.rb +2 -8
  433. data/lib/hecks/projection_files.rb +285 -0
  434. data/lib/hecks/projections/bootstrap_table.rb +12 -44
  435. data/lib/hecks/projections/deploy/fargate/assembly.rb +2 -15
  436. data/lib/hecks/projections/deploy/fargate/cdn.rb +1 -48
  437. data/lib/hecks/projections/deploy/fargate/cdn_default.rb +2 -11
  438. data/lib/hecks/projections/deploy/fargate/check.rb +5 -14
  439. data/lib/hecks/projections/deploy/fargate/containers.rb +3 -78
  440. data/lib/hecks/projections/deploy/fargate/extras.rb +3 -44
  441. data/lib/hecks/projections/deploy/fargate/monitoring.rb +0 -44
  442. data/lib/hecks/projections/deploy/fargate/settings.rb +2 -54
  443. data/lib/hecks/projections/deploy/fargate/yaml.rb +13 -58
  444. data/lib/hecks/projections/deploy/fargate.rb +40 -207
  445. data/lib/hecks/projections/deploy/lambda.rb +191 -708
  446. data/lib/hecks/projections/deploy/preview/access_yaml.rb +1 -33
  447. data/lib/hecks/projections/deploy/preview/containers.rb +6 -111
  448. data/lib/hecks/projections/deploy/preview/preview.sh.erb +1 -1
  449. data/lib/hecks/projections/deploy/preview/routing_yaml.rb +4 -56
  450. data/lib/hecks/projections/deploy/preview/script.rb +2 -14
  451. data/lib/hecks/projections/deploy/preview/settings.rb +3 -33
  452. data/lib/hecks/projections/deploy/preview/task_yaml.rb +2 -38
  453. data/lib/hecks/projections/deploy/preview/template.rb +3 -59
  454. data/lib/hecks/projections/deploy/preview.rb +2 -67
  455. data/lib/hecks/projections/deploy/scripts/deploy-service.sh.tmpl +1 -1
  456. data/lib/hecks/projections/deploy/scripts/expected-era.header +1 -1
  457. data/lib/hecks/projections/deploy/scripts/hosting.mk.tmpl +3 -3
  458. data/lib/hecks/projections/deploy/scripts/settings.rb +3 -25
  459. data/lib/hecks/projections/deploy/scripts/smoke-after-deploy.sh.tmpl +1 -1
  460. data/lib/hecks/projections/deploy/scripts.rb +4 -57
  461. data/lib/hecks/projections/deploy/shared.rb +48 -147
  462. data/lib/hecks/projections/deploy/smoke.rb +4 -61
  463. data/lib/hecks/projections/deploy/template_diff/comparer.rb +3 -25
  464. data/lib/hecks/projections/deploy/template_diff/loader.rb +2 -11
  465. data/lib/hecks/projections/deploy/template_diff.rb +5 -57
  466. data/lib/hecks/projections/diagrams.rb +22 -584
  467. data/lib/hecks/projections/glossary/html.rb +14 -130
  468. data/lib/hecks/projections/glossary/markdown.rb +8 -69
  469. data/lib/hecks/projections/glossary/mermaid.rb +9 -66
  470. data/lib/hecks/projections/glossary/sensitivity.rb +5 -34
  471. data/lib/hecks/projections/glossary/sentences.rb +14 -159
  472. data/lib/hecks/projections/glossary.rb +30 -222
  473. data/lib/hecks/projections/ir.rb +3 -10
  474. data/lib/hecks/projections/model/deviations.rb +16 -43
  475. data/lib/hecks/projections/model.rb +12 -51
  476. data/lib/hecks/projections/oidc.rb +12 -56
  477. data/lib/hecks/projections/parser_table.rb +13 -32
  478. data/lib/hecks/projections/reference.rb +4 -18
  479. data/lib/hecks/projections/rust_vocabulary.rb +13 -251
  480. data/lib/hecks/projections/shape.rb +3 -29
  481. data/lib/hecks/projections/statements.rb +7 -86
  482. data/lib/hecks/projections/vocabulary.rb +6 -22
  483. data/lib/hecks/projections.rb +2 -16
  484. data/lib/hecks/projector/cli_projector.rb +154 -400
  485. data/lib/hecks/projector/docs_projector.rb +10 -201
  486. data/lib/hecks/projector/exporter.rb +42 -134
  487. data/lib/hecks/projector/ir_projector.rb +2 -9
  488. data/lib/hecks/projector/narrate_projector.rb +15 -189
  489. data/lib/hecks/projector/target.rb +13 -76
  490. data/lib/hecks/projector.rb +30 -121
  491. data/lib/hecks/quality_control/adapters/agent.adapter +7 -0
  492. data/lib/hecks/quality_control/adapters/agent.rb +58 -0
  493. data/lib/hecks/quality_control/adapters/angle_tools.adapter +7 -0
  494. data/lib/hecks/quality_control/adapters/angle_tools.rb +15 -0
  495. data/lib/hecks/quality_control/adapters/clearance_recorder.rb +36 -0
  496. data/lib/hecks/quality_control/adapters/clearance_tools.adapter +7 -0
  497. data/lib/hecks/quality_control/adapters/clearance_tools.rb +17 -0
  498. data/lib/hecks/quality_control/adapters/git_pr.adapter +7 -0
  499. data/lib/hecks/quality_control/adapters/git_pr.rb +226 -0
  500. data/lib/hecks/quality_control/adapters/github_checks.adapter +9 -0
  501. data/lib/hecks/quality_control/adapters/github_checks.rb +83 -0
  502. data/lib/hecks/quality_control/adapters/github_ci_webhook.rb +56 -0
  503. data/lib/hecks/quality_control/adapters/github_issues.adapter +7 -0
  504. data/lib/hecks/quality_control/adapters/github_issues.rb +49 -0
  505. data/lib/hecks/quality_control/adapters/qa_tool.rb +59 -0
  506. data/lib/hecks/quality_control/adapters/sweep_tools.adapter +7 -0
  507. data/lib/hecks/quality_control/adapters/sweep_tools.rb +51 -0
  508. data/lib/hecks/quality_control/adapters/target_tools.adapter +7 -0
  509. data/lib/hecks/quality_control/adapters/target_tools.rb +43 -0
  510. data/lib/hecks/quality_control/cli/child.rb +45 -0
  511. data/lib/hecks/quality_control/cli/qa_concurrency_racer.rb +45 -0
  512. data/lib/hecks/quality_control/cli/qa_discover_external_domains.rb +248 -0
  513. data/lib/hecks/quality_control/cli/qa_domain_novelty.rb +163 -0
  514. data/lib/hecks/quality_control/cli/qa_generated_domains.rb +450 -0
  515. data/lib/hecks/quality_control/cli/qa_log_bug.rb +195 -0
  516. data/lib/hecks/quality_control/cli/qa_mine_combinations.rb +220 -0
  517. data/lib/hecks/quality_control/cli/qa_open_pr.rb +305 -0
  518. data/lib/hecks/quality_control/cli/qa_postgres_migrate.rb +154 -0
  519. data/lib/hecks/quality_control/cli/qa_postgres_role.rb +159 -0
  520. data/lib/hecks/quality_control/cli/qa_pr_check.rb +232 -0
  521. data/lib/hecks/quality_control/cli/qa_seed_angles.rb +142 -0
  522. data/lib/hecks/quality_control/cli/qa_seed_targets.rb +69 -0
  523. data/lib/hecks/quality_control/cli/qa_sweep/all_mode.rb +280 -0
  524. data/lib/hecks/quality_control/cli/qa_sweep/checks.rb +329 -0
  525. data/lib/hecks/quality_control/cli/qa_sweep/dials.rb +92 -0
  526. data/lib/hecks/quality_control/cli/qa_sweep/finding_report.rb +117 -0
  527. data/lib/hecks/quality_control/cli/qa_sweep/parsing.rb +175 -0
  528. data/lib/hecks/quality_control/cli/qa_sweep/release_mode.rb +60 -0
  529. data/lib/hecks/quality_control/cli/qa_sweep.rb +611 -0
  530. data/lib/hecks/quality_control/cli/qa_tick.rb +274 -0
  531. data/lib/hecks/quality_control/quality_control.bluebook +2224 -0
  532. data/lib/hecks/quality_control/quality_control.hecksagon +13 -0
  533. data/lib/hecks/quality_control/quality_control.ports.hecksagon +54 -0
  534. data/lib/hecks/query_ir.rb +346 -0
  535. data/lib/hecks/query_ir_mcp.rb +198 -0
  536. data/lib/hecks/query_specification/common/comparators.rb +5 -26
  537. data/lib/hecks/query_specification/common/comparison.rb +35 -143
  538. data/lib/hecks/query_specification/common/dsl.rb +8 -24
  539. data/lib/hecks/query_specification/common/null_policy.rb +20 -70
  540. data/lib/hecks/query_specification/common/options.rb +2 -6
  541. data/lib/hecks/query_specification/common/where_clause.rb +2 -10
  542. data/lib/hecks/query_specification/field_path.rb +37 -77
  543. data/lib/hecks/query_specification/hop_path.rb +12 -76
  544. data/lib/hecks/release/gem_pin.rb +2 -26
  545. data/lib/hecks/release/runner/ci_publisher.rb +5 -8
  546. data/lib/hecks/release/runner/clean_tree.rb +42 -0
  547. data/lib/hecks/release/runner/commands.rb +2 -4
  548. data/lib/hecks/release/runner/console.rb +6 -0
  549. data/lib/hecks/release/runner/gem_publisher.rb +15 -9
  550. data/lib/hecks/release/runner/npm_publisher.rb +9 -53
  551. data/lib/hecks/release/runner/preflight.rb +29 -20
  552. data/lib/hecks/release/runner/published.rb +8 -26
  553. data/lib/hecks/release/runner/tagger.rb +31 -23
  554. data/lib/hecks/release/runner.rb +60 -38
  555. data/lib/hecks/rendering.rb +4 -26
  556. data/lib/hecks/router/namespace_installer.rb +15 -39
  557. data/lib/hecks/router.rb +4 -8
  558. data/lib/hecks/runtime/adapter_lookup.rb +124 -0
  559. data/lib/hecks/runtime/aggregate_lock.rb +8 -33
  560. data/lib/hecks/runtime/boot_gates.rb +3 -18
  561. data/lib/hecks/runtime/caller.rb +19 -59
  562. data/lib/hecks/runtime/capability_graph.rb +5 -21
  563. data/lib/hecks/runtime/command_interpreter/argument_gate.rb +16 -78
  564. data/lib/hecks/runtime/command_interpreter/mutation_applier.rb +27 -160
  565. data/lib/hecks/runtime/command_interpreter.rb +124 -306
  566. data/lib/hecks/runtime/command_rules/admissibility.rb +95 -366
  567. data/lib/hecks/runtime/command_rules/arithmetic.rb +66 -196
  568. data/lib/hecks/runtime/command_rules/authorization.rb +13 -45
  569. data/lib/hecks/runtime/command_rules/emission.rb +8 -21
  570. data/lib/hecks/runtime/command_rules/references.rb +23 -202
  571. data/lib/hecks/runtime/dependency_planning.rb +50 -104
  572. data/lib/hecks/runtime/dispatcher.rb +134 -243
  573. data/lib/hecks/runtime/entity_element.rb +40 -462
  574. data/lib/hecks/runtime/entity_interpreter.rb +64 -219
  575. data/lib/hecks/runtime/errors.rb +32 -115
  576. data/lib/hecks/runtime/event.rb +3 -25
  577. data/lib/hecks/runtime/identity.rb +18 -154
  578. data/lib/hecks/runtime/instance.rb +18 -150
  579. data/lib/hecks/runtime/interpreting.rb +14 -70
  580. data/lib/hecks/runtime/invocation.rb +28 -164
  581. data/lib/hecks/runtime/loader.rb +109 -194
  582. data/lib/hecks/runtime/outbox.rb +39 -262
  583. data/lib/hecks/runtime/policy_interpreter.rb +43 -202
  584. data/lib/hecks/runtime/port_operation_interpreter.rb +28 -97
  585. data/lib/hecks/runtime/query_interpreter.rb +122 -187
  586. data/lib/hecks/runtime/reaction_invocation.rb +36 -138
  587. data/lib/hecks/runtime/reaction_outcome.rb +89 -0
  588. data/lib/hecks/runtime/read_model_interpreter.rb +117 -208
  589. data/lib/hecks/runtime/rebuild_sweep.rb +8 -54
  590. data/lib/hecks/runtime/reference_hop.rb +8 -81
  591. data/lib/hecks/runtime/refusal_wording.rb +28 -87
  592. data/lib/hecks/runtime/registry/saga_persistence.rb +10 -102
  593. data/lib/hecks/runtime/registry/verification.rb +213 -227
  594. data/lib/hecks/runtime/registry/world_defaults.rb +4 -53
  595. data/lib/hecks/runtime/registry.rb +156 -247
  596. data/lib/hecks/runtime/remote_dispatcher.rb +68 -154
  597. data/lib/hecks/runtime/routing.rb +4 -15
  598. data/lib/hecks/runtime/saga_interpreter/correlation.rb +14 -61
  599. data/lib/hecks/runtime/saga_interpreter.rb +79 -263
  600. data/lib/hecks/runtime/saga_pending_dispatch.rb +2 -43
  601. data/lib/hecks/runtime/tenant_check.rb +6 -68
  602. data/lib/hecks/runtime/tenant_scope.rb +3 -28
  603. data/lib/hecks/runtime/value/admission.rb +16 -67
  604. data/lib/hecks/runtime/value/coercion.rb +162 -760
  605. data/lib/hecks/runtime/value/entity_list_coercion.rb +26 -219
  606. data/lib/hecks/runtime/value/field_checks.rb +172 -0
  607. data/lib/hecks/runtime/value.rb +15 -84
  608. data/lib/hecks/runtime.rb +35 -69
  609. data/lib/hecks/rust_build/conformance.rb +158 -0
  610. data/lib/hecks/rust_build/conformance_fuzz.rb +71 -0
  611. data/lib/hecks/rust_build/coverage.rb +218 -0
  612. data/lib/hecks/rust_build/native_build.rb +124 -0
  613. data/lib/hecks/rust_build/project_rust/root_mod.rb +120 -0
  614. data/lib/hecks/rust_build/project_rust.rb +332 -0
  615. data/lib/hecks/rust_build/wasm.rb +105 -0
  616. data/lib/hecks/rust_build/wasm_browser.rb +113 -0
  617. data/lib/hecks/rust_build.rb +144 -0
  618. data/lib/hecks/storehouse.rb +155 -582
  619. data/lib/hecks/tenancy/bluebook/tenancy.bluebook +10 -34
  620. data/lib/hecks/tenancy/bluebook/tenancy.hecksagon +6 -23
  621. data/lib/hecks/three_zero/forms.yml +127 -0
  622. data/lib/hecks/three_zero.rb +12 -0
  623. data/lib/hecks/tools/argument_gate_matrix.rb +316 -0
  624. data/lib/hecks/tools/comment_style.rb +1070 -0
  625. data/lib/hecks/tools/corpus_report.rb +87 -0
  626. data/lib/hecks/tools/deploy_recipe.rb +255 -0
  627. data/lib/hecks/tools/deploy_recipe_lint.rb +282 -0
  628. data/lib/hecks/tools/drop_implicit_append_fields.rb +95 -0
  629. data/lib/hecks/tools/era_projection_backfill.rb +94 -0
  630. data/lib/hecks/tools/era_reattest.rb +146 -0
  631. data/lib/hecks/tools/evolve_run.rb +189 -0
  632. data/lib/hecks/tools/fuzz_sweep.rb +373 -0
  633. data/lib/hecks/tools/heki_compaction.rb +100 -0
  634. data/lib/hecks/tools/hoist_local_givens.rb +246 -0
  635. data/lib/hecks/tools/journal_compaction.rb +89 -0
  636. data/lib/hecks/tools/oidc_manifests.rb +70 -0
  637. data/lib/hecks/tools/query_ir_run.rb +81 -0
  638. data/lib/hecks/tools/regeneration_run.rb +166 -0
  639. data/lib/hecks/tools/rust_comment_style.rb +642 -0
  640. data/lib/hecks/tools/sequence_script.rb +62 -0
  641. data/lib/hecks/tools/tail_merge.rb +117 -0
  642. data/lib/hecks/tools/tenant_provisioning.rb +142 -0
  643. data/lib/hecks/tools/translation_audit.rb +208 -0
  644. data/lib/hecks/tools/translation_scaffold.rb +131 -0
  645. data/lib/hecks/tools.rb +86 -0
  646. data/lib/hecks/vendoring/git_environment.rb +2 -8
  647. data/lib/hecks/vendoring/git_source.rb +4 -10
  648. data/lib/hecks/vendoring.rb +7 -46
  649. data/lib/hecks/version.rb +3 -14
  650. data/lib/hecks.rb +52 -90
  651. data/lib/rubocop/cop/hecks/fallback_hash_lookup.rb +8 -46
  652. data/lib/rubocop/cop/hecks/sequential_hash_rename_in_loop.rb +11 -80
  653. data/lib/rubocop/cop/hecks/thread_shared_ivar_mutation.rb +10 -99
  654. data/qa/settings.yml +66 -0
  655. data/rust/.cargo/config.toml +6 -0
  656. data/rust/.gitignore +2 -0
  657. data/rust/Cargo.lock +54 -0
  658. data/rust/Cargo.toml +61 -0
  659. data/rust/build/.cargo/config.toml +3 -0
  660. data/rust/build/.gitignore +1 -0
  661. data/rust/build/Cargo.lock +7 -0
  662. data/rust/build/Cargo.toml +19 -0
  663. data/rust/build/src/build_artifact.rs +47 -0
  664. data/rust/build/src/cargo_sync.rs +248 -0
  665. data/rust/build/src/json.rs +421 -0
  666. data/rust/build/src/lineage_pass.rs +285 -0
  667. data/rust/build/src/main.rs +51 -0
  668. data/rust/build/src/optional_pass.rs +150 -0
  669. data/rust/build/src/pipeline.rs +264 -0
  670. data/rust/build/src/reserved_names.rs +76 -0
  671. data/rust/build/src/resolve.rs +124 -0
  672. data/rust/build/src/root.rs +25 -0
  673. data/rust/build/src/sidecars.rs +73 -0
  674. data/rust/build/src/subprocess.rs +51 -0
  675. data/rust/build/src/tmp.rs +31 -0
  676. data/rust/codegen/.cargo/config.toml +3 -0
  677. data/rust/codegen/.gitignore +1 -0
  678. data/rust/codegen/Cargo.lock +7 -0
  679. data/rust/codegen/Cargo.toml +20 -0
  680. data/rust/codegen/src/attr.rs +32 -0
  681. data/rust/codegen/src/bridging.rs +481 -0
  682. data/rust/codegen/src/commands.rs +1226 -0
  683. data/rust/codegen/src/constraints.rs +109 -0
  684. data/rust/codegen/src/dependency_planning.rs +209 -0
  685. data/rust/codegen/src/domain_generator.rs +1288 -0
  686. data/rust/codegen/src/exemplar.rs +230 -0
  687. data/rust/codegen/src/expr_emitter.rs +87 -0
  688. data/rust/codegen/src/fielded.rs +192 -0
  689. data/rust/codegen/src/hecks_naming.rs +33 -0
  690. data/rust/codegen/src/json.rs +335 -0
  691. data/rust/codegen/src/json_codec.rs +697 -0
  692. data/rust/codegen/src/literal.rs +207 -0
  693. data/rust/codegen/src/main.rs +290 -0
  694. data/rust/codegen/src/manifest.rs +227 -0
  695. data/rust/codegen/src/mutations.rs +784 -0
  696. data/rust/codegen/src/naming.rs +286 -0
  697. data/rust/codegen/src/ports.rs +208 -0
  698. data/rust/codegen/src/prelude.rs +116 -0
  699. data/rust/codegen/src/queries.rs +786 -0
  700. data/rust/codegen/src/reactions.rs +532 -0
  701. data/rust/codegen/src/read_models.rs +697 -0
  702. data/rust/codegen/src/reference_specs.rs +40 -0
  703. data/rust/codegen/src/registry.rs +966 -0
  704. data/rust/codegen/src/reserved_names.rs +76 -0
  705. data/rust/codegen/src/shared.rs +93 -0
  706. data/rust/codegen/src/skip_reason.rs +25 -0
  707. data/rust/codegen/src/types.rs +362 -0
  708. data/rust/host/.cargo/config.toml +3 -0
  709. data/rust/host/.gitignore +1 -0
  710. data/rust/host/Cargo.lock +4297 -0
  711. data/rust/host/Cargo.toml +61 -0
  712. data/rust/host/HECKS_RELEASE +1 -0
  713. data/rust/host/rds-ca-bundle.pem +2736 -0
  714. data/rust/host/src/api.rs +1596 -0
  715. data/rust/host/src/approval.rs +652 -0
  716. data/rust/host/src/auth.rs +1287 -0
  717. data/rust/host/src/bin/expr_harness.rs +46 -0
  718. data/rust/host/src/bin/lineage_harness.rs +119 -0
  719. data/rust/host/src/bin/mint_harness.rs +135 -0
  720. data/rust/host/src/checkout.rs +265 -0
  721. data/rust/host/src/dispatch.rs +1443 -0
  722. data/rust/host/src/expr_json.rs +1117 -0
  723. data/rust/host/src/field_hints.rs +52 -0
  724. data/rust/host/src/ir.rs +733 -0
  725. data/rust/host/src/journal.rs +874 -0
  726. data/rust/host/src/lambda_client.rs +378 -0
  727. data/rust/host/src/log.rs +147 -0
  728. data/rust/host/src/main.rs +474 -0
  729. data/rust/host/src/mint.rs +1865 -0
  730. data/rust/host/src/payments/keystore.rs +330 -0
  731. data/rust/host/src/payments/tests.rs +1400 -0
  732. data/rust/host/src/payments.rs +767 -0
  733. data/rust/host/src/presentation.rs +698 -0
  734. data/rust/host/src/presentation_write.rs +1431 -0
  735. data/rust/host/src/query_step.rs +149 -0
  736. data/rust/host/src/rate_limit.rs +904 -0
  737. data/rust/host/src/reference_transform.rs +241 -0
  738. data/rust/host/src/reference_validate.rs +338 -0
  739. data/rust/host/src/resend.rs +296 -0
  740. data/rust/host/src/secrets.rs +106 -0
  741. data/rust/host/src/server.rs +663 -0
  742. data/rust/host/src/storage_shape.rs +175 -0
  743. data/rust/host/src/test_pg.rs +40 -0
  744. data/rust/host/src/ui_schema.rs +1351 -0
  745. data/rust/host/src/wasm_runner.rs +191 -0
  746. data/rust/host/src/web/newsletter/cooldown.rs +126 -0
  747. data/rust/host/src/web/newsletter/tests.rs +104 -0
  748. data/rust/host/src/web/newsletter.rs +310 -0
  749. data/rust/host/src/web/newsletter_send.rs +357 -0
  750. data/rust/host/src/web/registrations.rs +1505 -0
  751. data/rust/host/src/web.rs +2937 -0
  752. data/rust/lsp/.gitignore +1 -0
  753. data/rust/lsp/Cargo.lock +7 -0
  754. data/rust/lsp/Cargo.toml +16 -0
  755. data/rust/lsp/README.md +133 -0
  756. data/rust/lsp/src/diagnostics.rs +165 -0
  757. data/rust/lsp/src/json.rs +385 -0
  758. data/rust/lsp/src/main.rs +399 -0
  759. data/rust/lsp/src/outline.rs +177 -0
  760. data/rust/lsp/src/rpc.rs +67 -0
  761. data/rust/parser/.cargo/config.toml +5 -0
  762. data/rust/parser/.gitignore +1 -0
  763. data/rust/parser/Cargo.lock +7 -0
  764. data/rust/parser/Cargo.toml +21 -0
  765. data/rust/parser/src/build/closed_sets.rs +27 -0
  766. data/rust/parser/src/build/identity.rs +276 -0
  767. data/rust/parser/src/build/mod.rs +12 -0
  768. data/rust/parser/src/build/naming.rs +141 -0
  769. data/rust/parser/src/build/pattern_subset.rs +161 -0
  770. data/rust/parser/src/build/query_derive.rs +72 -0
  771. data/rust/parser/src/build/query_inference.rs +269 -0
  772. data/rust/parser/src/build/query_options.rs +100 -0
  773. data/rust/parser/src/build/read_model.rs +94 -0
  774. data/rust/parser/src/build/references.rs +32 -0
  775. data/rust/parser/src/canonical.rs +114 -0
  776. data/rust/parser/src/diag.rs +55 -0
  777. data/rust/parser/src/emit.rs +953 -0
  778. data/rust/parser/src/expr/ast_json.rs +147 -0
  779. data/rust/parser/src/expr/evaluator.rs +81 -0
  780. data/rust/parser/src/expr/mod.rs +84 -0
  781. data/rust/parser/src/expr/resolver.rs +497 -0
  782. data/rust/parser/src/ir.rs +387 -0
  783. data/rust/parser/src/keywords.rs +585 -0
  784. data/rust/parser/src/lex.rs +662 -0
  785. data/rust/parser/src/main.rs +252 -0
  786. data/rust/parser/src/parse/aggregate.rs +612 -0
  787. data/rust/parser/src/parse/chapter.rs +517 -0
  788. data/rust/parser/src/parse/command.rs +637 -0
  789. data/rust/parser/src/parse/domain_port.rs +127 -0
  790. data/rust/parser/src/parse/entity.rs +527 -0
  791. data/rust/parser/src/parse/file.rs +67 -0
  792. data/rust/parser/src/parse/hecksagon.rs +231 -0
  793. data/rust/parser/src/parse/lifecycle.rs +162 -0
  794. data/rust/parser/src/parse/mod.rs +1262 -0
  795. data/rust/parser/src/parse/policy.rs +87 -0
  796. data/rust/parser/src/parse/process_manager.rs +305 -0
  797. data/rust/parser/src/parse/query.rs +100 -0
  798. data/rust/parser/src/parse/read_model.rs +214 -0
  799. data/rust/parser/src/parse/value_object.rs +250 -0
  800. data/rust/parser/src/ruby_value.rs +422 -0
  801. data/rust/project/bridging.rb +257 -0
  802. data/rust/project/commands.rb +877 -0
  803. data/rust/project/constraints.rb +86 -0
  804. data/rust/project/dependency_planning.rb +178 -0
  805. data/rust/project/domain_generator.rb +980 -0
  806. data/rust/project/exemplar.rb +148 -0
  807. data/rust/project/expr_emitter.rb +72 -0
  808. data/rust/project/fielded.rb +141 -0
  809. data/rust/project/json_codec.rb +641 -0
  810. data/rust/project/mutations.rb +721 -0
  811. data/rust/project/naming.rb +205 -0
  812. data/rust/project/ports.rb +65 -0
  813. data/rust/project/queries.rb +493 -0
  814. data/rust/project/reactions.rb +317 -0
  815. data/rust/project/read_models.rb +690 -0
  816. data/rust/project/reference_specs.rb +27 -0
  817. data/rust/project/registry.rb +396 -0
  818. data/rust/project/skip_reason.rb +29 -0
  819. data/rust/project/types.rb +225 -0
  820. data/rust/project/write_if_changed.rb +83 -0
  821. data/rust/project.rb +30 -0
  822. data/rust/project_rust_pipeline.rb +383 -0
  823. data/rust/src/exemplar/commands.rs +279 -0
  824. data/rust/src/exemplar/constraints.rs +18 -0
  825. data/rust/src/exemplar/fielded.rs +280 -0
  826. data/rust/src/exemplar/json.rs +277 -0
  827. data/rust/src/exemplar/mod.rs +17 -0
  828. data/rust/src/exemplar/mutations.rs +80 -0
  829. data/rust/src/exemplar/queries.rs +33 -0
  830. data/rust/src/exemplar/reactions.rs +88 -0
  831. data/rust/src/exemplar/read_models.rs +48 -0
  832. data/rust/src/exemplar/registry.rs +166 -0
  833. data/rust/src/exemplar/types.rs +44 -0
  834. data/rust/src/kernel/attribute_shapes/composite.rs +88 -0
  835. data/rust/src/kernel/attribute_shapes/list.rs +18 -0
  836. data/rust/src/kernel/attribute_shapes/mod.rs +44 -0
  837. data/rust/src/kernel/attribute_shapes/optional.rs +9 -0
  838. data/rust/src/kernel/attribute_shapes/scalar.rs +39 -0
  839. data/rust/src/kernel/cli.rs +585 -0
  840. data/rust/src/kernel/dispatch.rs +1090 -0
  841. data/rust/src/kernel/expr.rs +458 -0
  842. data/rust/src/kernel/expression_operators/arithmetic.rs +128 -0
  843. data/rust/src/kernel/expression_operators/comparison.rs +48 -0
  844. data/rust/src/kernel/expression_operators/enumeration.rs +232 -0
  845. data/rust/src/kernel/expression_operators/logical.rs +13 -0
  846. data/rust/src/kernel/expression_operators/membership.rs +18 -0
  847. data/rust/src/kernel/expression_operators/mod.rs +68 -0
  848. data/rust/src/kernel/expression_operators/pattern_match.rs +73 -0
  849. data/rust/src/kernel/expression_operators/positional.rs +126 -0
  850. data/rust/src/kernel/expression_operators/presence.rs +101 -0
  851. data/rust/src/kernel/expression_operators/sign_test.rs +16 -0
  852. data/rust/src/kernel/expression_operators/sized.rs +35 -0
  853. data/rust/src/kernel/expression_operators/text.rs +79 -0
  854. data/rust/src/kernel/expression_operators/to_string.rs +18 -0
  855. data/rust/src/kernel/json.rs +779 -0
  856. data/rust/src/kernel/mod.rs +133 -0
  857. data/rust/src/kernel/named_query.rs +219 -0
  858. data/rust/src/kernel/orchestrate.rs +1810 -0
  859. data/rust/src/kernel/pattern.rs +307 -0
  860. data/rust/src/kernel/query_comparators.rs +206 -0
  861. data/rust/src/kernel/query_ordering.rs +103 -0
  862. data/rust/src/kernel/read_model.rs +914 -0
  863. data/rust/src/kernel/reference_lookup.rs +149 -0
  864. data/rust/src/kernel/repository.rs +468 -0
  865. data/rust/src/kernel/routing.rs +612 -0
  866. data/rust/src/kernel/vocab/aggregate_dispatch_order.rs +118 -0
  867. data/rust/src/kernel/vocab/entity_dispatch_order.rs +114 -0
  868. data/rust/src/kernel/vocab/field_hint.rs +70 -0
  869. data/rust/src/kernel/vocab/mod.rs +20 -0
  870. data/rust/src/kernel/vocab/query_comparator.rs +65 -0
  871. data/rust/src/kernel/vocab/refusal_template.rs +1592 -0
  872. data/rust/src/lib.rs +8 -0
  873. data/rust/src/main.rs +16 -0
  874. data/rust/web/.gitignore +1 -0
  875. data/rust/web/Cargo.lock +119 -0
  876. data/rust/web/Cargo.toml +18 -0
  877. data/rust/web/src/lib.rs +8 -0
  878. metadata +478 -12
  879. data/lib/hecks/facade/cli_door.rb +0 -178
  880. data/lib/hecks/facade/cli_runner.rb +0 -271
  881. data/lib/hecks/facade/handle.rb +0 -293
  882. data/lib/hecks/facade/json_door.rb +0 -247
  883. data/lib/hecks/facade/surface/aggregate_door.rb +0 -222
  884. data/lib/hecks/facade/surface/chapter.rb +0 -116
  885. data/lib/hecks/facade/surface.rb +0 -61
  886. data/lib/hecks/mcp_door_scope.rb +0 -176
@@ -0,0 +1,904 @@
1
+ //! Per-address sliding-window rate limits for the public write routes a stranger can abuse,
2
+ //! enforced in `server.rs` before dispatch so a refused request costs no Postgres lock or run.
3
+
4
+ use axum::http::header::{HeaderValue, CONTENT_TYPE, RETRY_AFTER};
5
+ use axum::http::{HeaderMap, HeaderName, StatusCode};
6
+ use axum::response::{IntoResponse, Response};
7
+ use serde_json::json;
8
+ use std::collections::{BTreeMap, HashMap, VecDeque};
9
+ use std::net::{IpAddr, Ipv6Addr};
10
+ use std::sync::atomic::{AtomicBool, Ordering};
11
+ use std::sync::Mutex;
12
+ use std::time::{Duration, Instant};
13
+
14
+ const UNKNOWN_CLIENT: &str = "unknown";
15
+
16
+ const DEFAULT_WINDOW_SECONDS: u64 = 3600;
17
+ const DEFAULT_SUBSCRIBE: usize = 10;
18
+ const DEFAULT_REGISTER: usize = 15;
19
+ const DEFAULT_MAX_KEYS: usize = 10_000;
20
+
21
+ /// The outcome of counting one request against a window.
22
+ #[derive(Debug, Clone, Copy, PartialEq, Eq)]
23
+ pub struct Decision {
24
+ /// Whether the request may proceed; when true it has been recorded.
25
+ pub allowed: bool,
26
+ /// Requests still allowed in the current window after this one.
27
+ pub remaining: usize,
28
+ /// Whole seconds until a refused caller may try again; 0 when allowed.
29
+ pub retry_after_secs: u64,
30
+ }
31
+
32
+ struct Entry {
33
+ stamps: VecDeque<Instant>,
34
+ seq: u64,
35
+ }
36
+
37
+ // `check` takes the current instant so tests move time by hand instead of sleeping.
38
+ pub struct SlidingWindow {
39
+ limit: usize,
40
+ window: Duration,
41
+ max_keys: usize,
42
+ entries: HashMap<String, Entry>,
43
+ // Keys ordered by the sequence of their last allowed request, oldest first. An active key is
44
+ // re-inserted at the end on every allowed request, so the first entry is always the least
45
+ // recently active key and expired keys form a prefix.
46
+ recency: BTreeMap<u64, String>,
47
+ next_seq: u64,
48
+ }
49
+
50
+ impl SlidingWindow {
51
+ // A zero `limit` or `max_keys` is raised to 1.
52
+ pub fn new(limit: usize, window: Duration, max_keys: usize) -> Self {
53
+ Self {
54
+ limit: limit.max(1),
55
+ window,
56
+ max_keys: max_keys.max(1),
57
+ entries: HashMap::new(),
58
+ recency: BTreeMap::new(),
59
+ next_seq: 0,
60
+ }
61
+ }
62
+
63
+ pub fn check(&mut self, key: &str, now: Instant) -> Decision {
64
+ let window = self.window;
65
+ match self.entries.get_mut(key) {
66
+ Some(entry) => {
67
+ while entry.stamps.front().is_some_and(|s| now.saturating_duration_since(*s) >= window) {
68
+ entry.stamps.pop_front();
69
+ }
70
+ if entry.stamps.len() >= self.limit {
71
+ let oldest = entry.stamps.front().copied().unwrap_or(now);
72
+ let wait = window.saturating_sub(now.saturating_duration_since(oldest));
73
+ let retry_after_secs = u64::try_from(wait.as_millis().div_ceil(1000)).unwrap_or(u64::MAX).max(1);
74
+ return Decision { allowed: false, remaining: 0, retry_after_secs };
75
+ }
76
+ }
77
+ None => self.make_room(now),
78
+ }
79
+ self.record(key, now)
80
+ }
81
+
82
+ #[cfg(test)]
83
+ fn len(&self) -> usize {
84
+ self.entries.len()
85
+ }
86
+
87
+ fn record(&mut self, key: &str, now: Instant) -> Decision {
88
+ let seq = self.next_seq;
89
+ self.next_seq += 1;
90
+ let remaining = match self.entries.get_mut(key) {
91
+ Some(entry) => {
92
+ self.recency.remove(&entry.seq);
93
+ entry.seq = seq;
94
+ entry.stamps.push_back(now);
95
+ self.limit - entry.stamps.len()
96
+ }
97
+ None => {
98
+ self.entries.insert(key.to_string(), Entry { stamps: VecDeque::from([now]), seq });
99
+ self.limit - 1
100
+ }
101
+ };
102
+ self.recency.insert(seq, key.to_string());
103
+ Decision { allowed: true, remaining, retry_after_secs: 0 }
104
+ }
105
+
106
+ // Called before adding a new key: sweeps keys whose last request left the window, and only
107
+ // then drops the least recently active ones, so a live caller is never evicted while an idle
108
+ // one is still held.
109
+ fn make_room(&mut self, now: Instant) {
110
+ if self.entries.len() < self.max_keys {
111
+ return;
112
+ }
113
+ while let Some((&seq, key)) = self.recency.first_key_value() {
114
+ let expired = self
115
+ .entries
116
+ .get(key)
117
+ .and_then(|e| e.stamps.back())
118
+ .is_none_or(|last| now.saturating_duration_since(*last) >= self.window);
119
+ if !expired {
120
+ break;
121
+ }
122
+ let key = key.clone();
123
+ self.recency.remove(&seq);
124
+ self.entries.remove(&key);
125
+ }
126
+ while self.entries.len() >= self.max_keys {
127
+ let Some((_, key)) = self.recency.pop_first() else { break };
128
+ self.entries.remove(&key);
129
+ }
130
+ }
131
+ }
132
+
133
+ #[derive(Debug, Clone, Copy, PartialEq, Eq)]
134
+ pub struct IpNet {
135
+ addr: IpAddr,
136
+ prefix: u8,
137
+ }
138
+
139
+ impl IpNet {
140
+ pub fn parse(text: &str) -> Option<Self> {
141
+ let text = text.trim();
142
+ let (addr_text, prefix_text) = match text.split_once('/') {
143
+ Some((addr, prefix)) => (addr, Some(prefix)),
144
+ None => (text, None),
145
+ };
146
+ let addr: IpAddr = addr_text.trim().parse().ok()?;
147
+ let width = if addr.is_ipv4() { 32 } else { 128 };
148
+ let prefix = match prefix_text {
149
+ Some(p) => p.trim().parse::<u8>().ok().filter(|p| *p <= width)?,
150
+ None => width,
151
+ };
152
+ Some(Self { addr, prefix })
153
+ }
154
+
155
+ // An IPv4-mapped IPv6 address counts as its IPv4 form.
156
+ pub fn contains(&self, ip: IpAddr) -> bool {
157
+ match (self.addr, ip.to_canonical()) {
158
+ (IpAddr::V4(net), IpAddr::V4(ip)) => {
159
+ let mask = if self.prefix == 0 { 0 } else { u32::MAX << (32 - u32::from(self.prefix)) };
160
+ u32::from(net) & mask == u32::from(ip) & mask
161
+ }
162
+ (IpAddr::V6(net), IpAddr::V6(ip)) => {
163
+ let mask = if self.prefix == 0 { 0 } else { u128::MAX << (128 - u32::from(self.prefix)) };
164
+ u128::from(net) & mask == u128::from(ip) & mask
165
+ }
166
+ _ => false,
167
+ }
168
+ }
169
+ }
170
+
171
+ #[derive(Debug, Clone, PartialEq, Eq)]
172
+ pub struct ProxyAuth {
173
+ header: HeaderName,
174
+ secret: String,
175
+ }
176
+
177
+ #[derive(Debug, Clone, Default, PartialEq, Eq)]
178
+ pub struct ProxyTrust {
179
+ networks: Vec<IpNet>,
180
+ hops: usize,
181
+ auth: Option<ProxyAuth>,
182
+ }
183
+
184
+ impl ProxyTrust {
185
+ // `None` means the client address could not be determined safely, rather than guessed;
186
+ // callers then share one bucket. The forwarded header is read only from a trusted source.
187
+ pub fn client_ip(&self, peer: Option<IpAddr>, forwarded_for: Option<&str>, presented_secret: Option<&str>) -> Option<IpAddr> {
188
+ let peer = peer.map(|p| p.to_canonical());
189
+ if !self.trusts(peer, presented_secret) {
190
+ return peer;
191
+ }
192
+ let entries: Vec<&str> = forwarded_for.unwrap_or("").split(',').map(str::trim).filter(|e| !e.is_empty()).collect();
193
+ if entries.is_empty() {
194
+ return peer;
195
+ }
196
+ for entry in entries.iter().rev().skip(self.hops) {
197
+ let ip = entry.parse::<IpAddr>().ok()?.to_canonical();
198
+ if !self.networks.iter().any(|net| net.contains(ip)) {
199
+ return Some(ip);
200
+ }
201
+ }
202
+ None
203
+ }
204
+
205
+ fn trusts(&self, peer: Option<IpAddr>, presented_secret: Option<&str>) -> bool {
206
+ let secret_matches = match (&self.auth, presented_secret) {
207
+ (Some(auth), Some(presented)) => constant_time_eq(auth.secret.as_bytes(), presented.as_bytes()),
208
+ _ => false,
209
+ };
210
+ secret_matches || peer.is_some_and(|p| self.networks.iter().any(|net| net.contains(p)))
211
+ }
212
+ }
213
+
214
+ fn constant_time_eq(a: &[u8], b: &[u8]) -> bool {
215
+ a.len() == b.len() && a.iter().zip(b).fold(0u8, |diff, (x, y)| diff | (x ^ y)) == 0
216
+ }
217
+
218
+ #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
219
+ pub enum Form {
220
+ Subscribe,
221
+ Register,
222
+ }
223
+
224
+ impl Form {
225
+ pub fn for_request(method: &str, path: &str) -> Option<Self> {
226
+ match (method, path) {
227
+ ("POST", "/newsletter/subscribers") => Some(Self::Subscribe),
228
+ ("POST", "/registrations") => Some(Self::Register),
229
+ _ => None,
230
+ }
231
+ }
232
+ }
233
+
234
+ #[derive(Debug, Clone, PartialEq, Eq)]
235
+ pub struct Config {
236
+ enabled: bool,
237
+ window: Duration,
238
+ subscribe: usize,
239
+ register: usize,
240
+ max_keys: usize,
241
+ trust: ProxyTrust,
242
+ }
243
+
244
+ impl Config {
245
+ // Returns one warning per setting that was unusable and fell back to its default or was
246
+ // dropped, rather than failing boot.
247
+ pub fn from_lookup(get: impl Fn(&str) -> Option<String>) -> (Self, Vec<String>) {
248
+ let mut warnings = Vec::new();
249
+ let mut number = |name: &str, default: u64| -> u64 {
250
+ match get(name).map(|v| v.trim().to_string()).filter(|v| !v.is_empty()) {
251
+ None => default,
252
+ Some(raw) => raw.parse::<u64>().ok().filter(|n| *n >= 1).unwrap_or_else(|| {
253
+ warnings.push(format!("{name}={raw:?} is not a positive whole number; using {default}"));
254
+ default
255
+ }),
256
+ }
257
+ };
258
+ let window = number("HECKS_RATE_LIMIT_WINDOW_SECONDS", DEFAULT_WINDOW_SECONDS);
259
+ let subscribe = number("HECKS_RATE_LIMIT_SUBSCRIBE", DEFAULT_SUBSCRIBE as u64);
260
+ let register = number("HECKS_RATE_LIMIT_REGISTER", DEFAULT_REGISTER as u64);
261
+ let max_keys = number("HECKS_RATE_LIMIT_MAX_KEYS", DEFAULT_MAX_KEYS as u64);
262
+ let hops = get("HECKS_TRUSTED_PROXY_HOPS").map(|v| v.trim().to_string()).filter(|v| !v.is_empty()).map_or(0, |raw| {
263
+ raw.parse::<usize>().unwrap_or_else(|_| {
264
+ warnings.push(format!("HECKS_TRUSTED_PROXY_HOPS={raw:?} is not a whole number; using 0"));
265
+ 0
266
+ })
267
+ });
268
+ let networks = parse_networks(get("HECKS_TRUSTED_PROXIES").as_deref().unwrap_or(""), &mut warnings);
269
+ let auth = parse_proxy_auth(get("HECKS_PROXY_AUTH_HEADER"), get("HECKS_PROXY_AUTH_SECRET"), &mut warnings);
270
+ let enabled = !get("HECKS_RATE_LIMIT").is_some_and(|v| is_off(&v));
271
+
272
+ let config = Self {
273
+ enabled,
274
+ window: Duration::from_secs(window),
275
+ subscribe: usize::try_from(subscribe).unwrap_or(usize::MAX),
276
+ register: usize::try_from(register).unwrap_or(usize::MAX),
277
+ max_keys: usize::try_from(max_keys).unwrap_or(usize::MAX),
278
+ trust: ProxyTrust { networks, hops, auth },
279
+ };
280
+ (config, warnings)
281
+ }
282
+
283
+ fn limit_for(&self, form: Form) -> usize {
284
+ match form {
285
+ Form::Subscribe => self.subscribe,
286
+ Form::Register => self.register,
287
+ }
288
+ }
289
+ }
290
+
291
+ fn is_off(value: &str) -> bool {
292
+ matches!(value.trim().to_ascii_lowercase().as_str(), "off" | "false" | "0" | "no" | "disabled")
293
+ }
294
+
295
+ fn parse_networks(list: &str, warnings: &mut Vec<String>) -> Vec<IpNet> {
296
+ list.split(',')
297
+ .map(str::trim)
298
+ .filter(|e| !e.is_empty())
299
+ .filter_map(|entry| {
300
+ let net = IpNet::parse(entry);
301
+ if net.is_none() {
302
+ warnings.push(format!("HECKS_TRUSTED_PROXIES entry {entry:?} is not an address or CIDR range; ignored"));
303
+ }
304
+ net
305
+ })
306
+ .collect()
307
+ }
308
+
309
+ fn parse_proxy_auth(header: Option<String>, secret: Option<String>, warnings: &mut Vec<String>) -> Option<ProxyAuth> {
310
+ let header = header.map(|v| v.trim().to_string()).filter(|v| !v.is_empty());
311
+ let secret = secret.filter(|v| !v.is_empty());
312
+ match (header, secret) {
313
+ (None, None) => None,
314
+ (Some(header), Some(secret)) => match HeaderName::from_bytes(header.to_ascii_lowercase().as_bytes()) {
315
+ Ok(header) => Some(ProxyAuth { header, secret }),
316
+ Err(_) => {
317
+ warnings.push(format!("HECKS_PROXY_AUTH_HEADER {header:?} is not a valid header name; proxy authentication is off"));
318
+ None
319
+ }
320
+ },
321
+ _ => {
322
+ warnings.push("HECKS_PROXY_AUTH_HEADER and HECKS_PROXY_AUTH_SECRET must both be set; proxy authentication is off".to_string());
323
+ None
324
+ }
325
+ }
326
+ }
327
+
328
+ #[derive(Debug, Clone, Copy, PartialEq, Eq)]
329
+ pub enum Verdict {
330
+ Allowed,
331
+ Limited {
332
+ // Whole seconds until the oldest counted request leaves the window.
333
+ retry_after_secs: u64,
334
+ },
335
+ }
336
+
337
+ pub struct RateLimits {
338
+ config: Config,
339
+ windows: Mutex<HashMap<Form, SlidingWindow>>,
340
+ warned_untrusted_proxy: AtomicBool,
341
+ }
342
+
343
+ impl RateLimits {
344
+ pub fn new(config: Config) -> Self {
345
+ Self { config, windows: Mutex::new(HashMap::new()), warned_untrusted_proxy: AtomicBool::new(false) }
346
+ }
347
+
348
+ pub fn from_env() -> Self {
349
+ let (config, warnings) = Config::from_lookup(|name| std::env::var(name).ok());
350
+ for warning in &warnings {
351
+ crate::log::info("rate_limit_config_warning", json!({ "warning": warning }));
352
+ }
353
+ crate::log::info(
354
+ "rate_limit_config",
355
+ json!({
356
+ "enabled": config.enabled,
357
+ "window_seconds": config.window.as_secs(),
358
+ "subscribe": config.subscribe,
359
+ "register": config.register,
360
+ "trusted_networks": config.trust.networks.len(),
361
+ "trusted_proxy_hops": config.trust.hops,
362
+ "proxy_auth": config.trust.auth.is_some(),
363
+ }),
364
+ );
365
+ Self::new(config)
366
+ }
367
+
368
+ // A route that is not limited is always `Allowed`.
369
+ pub fn check(&self, method: &str, path: &str, headers: &HeaderMap, peer: Option<IpAddr>) -> Verdict {
370
+ self.check_at(method, path, headers, peer, Instant::now())
371
+ }
372
+
373
+ // `check` with the clock supplied, so tests need not sleep.
374
+ pub fn check_at(&self, method: &str, path: &str, headers: &HeaderMap, peer: Option<IpAddr>, now: Instant) -> Verdict {
375
+ let Some(form) = Form::for_request(method, path).filter(|_| self.config.enabled) else {
376
+ return Verdict::Allowed;
377
+ };
378
+ let key = self.client_key(headers, peer);
379
+ let decision = {
380
+ let mut windows = self.windows.lock().unwrap_or_else(|poisoned| poisoned.into_inner());
381
+ let config = &self.config;
382
+ windows
383
+ .entry(form)
384
+ .or_insert_with(|| SlidingWindow::new(config.limit_for(form), config.window, config.max_keys))
385
+ .check(&key, now)
386
+ };
387
+ if decision.allowed {
388
+ Verdict::Allowed
389
+ } else {
390
+ Verdict::Limited { retry_after_secs: decision.retry_after_secs }
391
+ }
392
+ }
393
+
394
+ fn client_key(&self, headers: &HeaderMap, peer: Option<IpAddr>) -> String {
395
+ let forwarded_for = joined_header(headers, "x-forwarded-for");
396
+ let presented = self.config.trust.auth.as_ref().and_then(|auth| headers.get(&auth.header)).and_then(|v| v.to_str().ok());
397
+ self.warn_if_proxy_untrusted(forwarded_for.as_deref(), peer, presented);
398
+ match self.config.trust.client_ip(peer, forwarded_for.as_deref(), presented) {
399
+ Some(ip) => bucket_key(ip),
400
+ None => UNKNOWN_CLIENT.to_string(),
401
+ }
402
+ }
403
+
404
+ // A forwarded header from a private peer that nothing trusts means a proxy sits in front of
405
+ // the host and every visitor is being counted as that proxy. Said once, since it repeats on
406
+ // every request.
407
+ fn warn_if_proxy_untrusted(&self, forwarded_for: Option<&str>, peer: Option<IpAddr>, presented: Option<&str>) {
408
+ let Some(peer) = peer.map(|p| p.to_canonical()) else { return };
409
+ if forwarded_for.is_none() || !is_private(peer) || self.config.trust.trusts(Some(peer), presented) {
410
+ return;
411
+ }
412
+ if !self.warned_untrusted_proxy.swap(true, Ordering::Relaxed) {
413
+ crate::log::info(
414
+ "rate_limit_untrusted_proxy",
415
+ json!({
416
+ "peer": peer.to_string(),
417
+ "hint": "requests arrive from a private address with X-Forwarded-For but no trusted proxy is configured; \
418
+ set HECKS_TRUSTED_PROXIES or HECKS_PROXY_AUTH_HEADER and HECKS_PROXY_AUTH_SECRET",
419
+ }),
420
+ );
421
+ }
422
+ }
423
+ }
424
+
425
+ // Several X-Forwarded-For header lines mean the same as one comma-joined line.
426
+ fn joined_header(headers: &HeaderMap, name: &str) -> Option<String> {
427
+ let values: Vec<String> = headers.get_all(name).iter().map(|v| String::from_utf8_lossy(v.as_bytes()).into_owned()).collect();
428
+ if values.is_empty() {
429
+ None
430
+ } else {
431
+ Some(values.join(", "))
432
+ }
433
+ }
434
+
435
+ // IPv6 callers are counted per /64: one subscriber controls the whole prefix and could otherwise
436
+ // rotate through it for a fresh allowance on every request.
437
+ fn bucket_key(ip: IpAddr) -> String {
438
+ match ip {
439
+ IpAddr::V4(v4) => v4.to_string(),
440
+ IpAddr::V6(v6) => {
441
+ let prefix = u128::from(v6) & (u128::MAX << 64);
442
+ format!("{}/64", Ipv6Addr::from(prefix))
443
+ }
444
+ }
445
+ }
446
+
447
+ fn is_private(ip: IpAddr) -> bool {
448
+ match ip {
449
+ IpAddr::V4(v4) => v4.is_private() || v4.is_loopback() || v4.is_link_local(),
450
+ IpAddr::V6(v6) => v6.is_loopback() || (v6.segments()[0] & 0xfe00) == 0xfc00,
451
+ }
452
+ }
453
+
454
+ pub fn too_many_requests(retry_after_secs: u64) -> Response {
455
+ let body = json!({ "error": "too many requests, please try again later" }).to_string();
456
+ let mut response = (StatusCode::TOO_MANY_REQUESTS, body).into_response();
457
+ let headers = response.headers_mut();
458
+ headers.insert(CONTENT_TYPE, HeaderValue::from_static("application/json"));
459
+ headers.insert(RETRY_AFTER, HeaderValue::from(retry_after_secs));
460
+ response
461
+ }
462
+
463
+ #[cfg(test)]
464
+ mod tests {
465
+ use super::*;
466
+
467
+ const HOUR: Duration = Duration::from_secs(3600);
468
+ const VISITOR: &str = "203.0.113.7";
469
+ const EDGE: &str = "130.176.1.9";
470
+
471
+ fn ip(text: &str) -> IpAddr {
472
+ text.parse().unwrap()
473
+ }
474
+
475
+ fn trust(networks: &[&str], hops: usize, auth: Option<(&str, &str)>) -> ProxyTrust {
476
+ ProxyTrust {
477
+ networks: networks.iter().map(|n| IpNet::parse(n).unwrap()).collect(),
478
+ hops,
479
+ auth: auth.map(|(header, secret)| ProxyAuth { header: HeaderName::from_bytes(header.as_bytes()).unwrap(), secret: secret.to_string() }),
480
+ }
481
+ }
482
+
483
+ fn config_from(pairs: &[(&str, &str)]) -> (Config, Vec<String>) {
484
+ let map: HashMap<String, String> = pairs.iter().map(|(k, v)| (k.to_string(), v.to_string())).collect();
485
+ Config::from_lookup(|name| map.get(name).cloned())
486
+ }
487
+
488
+ fn limits(pairs: &[(&str, &str)]) -> RateLimits {
489
+ RateLimits::new(config_from(pairs).0)
490
+ }
491
+
492
+ fn headers(pairs: &[(&str, &str)]) -> HeaderMap {
493
+ let mut map = HeaderMap::new();
494
+ for (name, value) in pairs {
495
+ map.append(HeaderName::from_bytes(name.as_bytes()).unwrap(), HeaderValue::from_str(value).unwrap());
496
+ }
497
+ map
498
+ }
499
+
500
+ #[test]
501
+ fn allows_up_to_the_limit_then_refuses_with_the_seconds_until_the_oldest_hit_expires() {
502
+ let start = Instant::now();
503
+ let mut window = SlidingWindow::new(3, HOUR, 100);
504
+ assert_eq!(window.check("a", start), Decision { allowed: true, remaining: 2, retry_after_secs: 0 });
505
+ assert_eq!(window.check("a", start + Duration::from_secs(10)).remaining, 1);
506
+ assert_eq!(window.check("a", start + Duration::from_secs(20)).remaining, 0);
507
+
508
+ let refused = window.check("a", start + Duration::from_secs(30));
509
+ assert!(!refused.allowed);
510
+ assert_eq!(refused.retry_after_secs, 3600 - 30);
511
+ }
512
+
513
+ #[test]
514
+ fn the_window_slides_so_a_hit_ages_out_individually() {
515
+ let start = Instant::now();
516
+ let mut window = SlidingWindow::new(2, HOUR, 100);
517
+ window.check("a", start);
518
+ window.check("a", start + Duration::from_secs(1800));
519
+ assert!(!window.check("a", start + Duration::from_secs(1801)).allowed);
520
+
521
+ let later = start + Duration::from_secs(3601);
522
+ assert!(window.check("a", later).allowed, "the first hit is past the window");
523
+ assert!(!window.check("a", later).allowed, "the second is still inside it");
524
+ }
525
+
526
+ #[test]
527
+ fn keys_are_independent() {
528
+ let now = Instant::now();
529
+ let mut window = SlidingWindow::new(1, HOUR, 100);
530
+ assert!(window.check("a", now).allowed);
531
+ assert!(!window.check("a", now).allowed);
532
+ assert!(window.check("b", now).allowed);
533
+ }
534
+
535
+ #[test]
536
+ fn refused_requests_are_not_recorded_so_hammering_does_not_extend_the_lockout() {
537
+ let start = Instant::now();
538
+ let mut window = SlidingWindow::new(1, HOUR, 100);
539
+ window.check("a", start);
540
+ for second in 1..=50 {
541
+ assert!(!window.check("a", start + Duration::from_secs(second)).allowed);
542
+ }
543
+ assert!(window.check("a", start + HOUR).allowed, "the one recorded hit expired on schedule");
544
+ }
545
+
546
+ #[test]
547
+ fn retry_after_is_at_least_one_second_and_rounds_up() {
548
+ let start = Instant::now();
549
+ let mut window = SlidingWindow::new(1, Duration::from_millis(1500), 100);
550
+ window.check("a", start);
551
+ assert_eq!(window.check("a", start + Duration::from_millis(1)).retry_after_secs, 2);
552
+ assert_eq!(window.check("a", start + Duration::from_millis(1499)).retry_after_secs, 1);
553
+ }
554
+
555
+ #[test]
556
+ fn expired_keys_are_swept_before_live_ones_are_evicted() {
557
+ let start = Instant::now();
558
+ let mut window = SlidingWindow::new(1, HOUR, 3);
559
+ window.check("old1", start);
560
+ window.check("old2", start);
561
+ let later = start + HOUR + Duration::from_secs(1);
562
+ window.check("live", later);
563
+ window.check("new1", later);
564
+ assert_eq!(window.len(), 2, "sweeping dropped old1 and old2, not live");
565
+ assert!(!window.check("live", later).allowed, "live was kept");
566
+ }
567
+
568
+ #[test]
569
+ fn at_the_size_cap_the_least_recently_active_key_is_evicted() {
570
+ let start = Instant::now();
571
+ let mut window = SlidingWindow::new(1, HOUR, 3);
572
+ for (i, key) in ["a", "b", "c", "d", "e"].iter().enumerate() {
573
+ window.check(key, start + Duration::from_millis(i as u64));
574
+ assert!(window.len() <= 3);
575
+ }
576
+ assert_eq!(window.len(), 3);
577
+ let now = start + Duration::from_millis(10);
578
+ assert!(window.check("a", now).allowed, "a was evicted, so it starts fresh");
579
+ assert!(!window.check("e", now).allowed, "e is still tracked");
580
+ }
581
+
582
+ #[test]
583
+ fn a_zero_limit_or_key_cap_is_raised_to_one() {
584
+ let mut window = SlidingWindow::new(0, HOUR, 0);
585
+ let now = Instant::now();
586
+ assert!(window.check("a", now).allowed);
587
+ assert!(!window.check("a", now).allowed);
588
+ assert!(window.check("b", now).allowed);
589
+ assert_eq!(window.len(), 1);
590
+ }
591
+
592
+ #[test]
593
+ fn parses_and_matches_addresses_and_cidr_ranges() {
594
+ let single = IpNet::parse("10.0.0.5").unwrap();
595
+ assert!(single.contains(ip("10.0.0.5")));
596
+ assert!(!single.contains(ip("10.0.0.6")));
597
+
598
+ let range = IpNet::parse("10.0.0.0/8").unwrap();
599
+ assert!(range.contains(ip("10.255.1.2")));
600
+ assert!(!range.contains(ip("11.0.0.1")));
601
+
602
+ let v6 = IpNet::parse("fd00::/8").unwrap();
603
+ assert!(v6.contains(ip("fd12::1")));
604
+ assert!(!v6.contains(ip("2001:db8::1")));
605
+ assert!(!v6.contains(ip("10.0.0.1")), "families never match each other");
606
+
607
+ assert!(IpNet::parse("0.0.0.0/0").unwrap().contains(ip("8.8.8.8")));
608
+ assert!(IpNet::parse("10.0.0.0/8").unwrap().contains(ip("::ffff:10.1.1.1")), "a mapped address is its IPv4 form");
609
+ }
610
+
611
+ #[test]
612
+ fn rejects_malformed_ranges() {
613
+ for bad in ["", "banana", "10.0.0.0/33", "::1/129", "10.0.0.0/", "10.0.0/8", "/8"] {
614
+ assert!(IpNet::parse(bad).is_none(), "{bad:?}");
615
+ }
616
+ }
617
+
618
+ #[test]
619
+ fn with_nothing_trusted_the_peer_is_the_client_and_the_header_is_ignored() {
620
+ let none = trust(&[], 0, None);
621
+ assert_eq!(none.client_ip(Some(ip("198.51.100.4")), Some("6.6.6.6"), None), Some(ip("198.51.100.4")));
622
+ assert_eq!(none.client_ip(None, Some("6.6.6.6"), None), None);
623
+ }
624
+
625
+ #[test]
626
+ fn an_untrusted_peer_cannot_choose_its_own_key_by_sending_a_header() {
627
+ let proxies = trust(&["10.0.0.0/8"], 0, None);
628
+ let from_stranger = |spoof: &str| proxies.client_ip(Some(ip("198.51.100.4")), Some(spoof), None);
629
+ assert_eq!(from_stranger("1.1.1.1"), from_stranger("2.2.2.2"));
630
+ assert_eq!(from_stranger("1.1.1.1"), Some(ip("198.51.100.4")));
631
+ }
632
+
633
+ #[test]
634
+ fn a_trusted_peer_is_believed_and_the_rightmost_entry_is_the_client() {
635
+ let proxies = trust(&["10.0.0.0/8"], 0, None);
636
+ assert_eq!(proxies.client_ip(Some(ip("10.0.0.5")), Some(&format!("6.6.6.6, {VISITOR}")), None), Some(ip(VISITOR)));
637
+ }
638
+
639
+ #[test]
640
+ fn a_spoofed_leading_entry_is_never_reached() {
641
+ let proxies = trust(&["10.0.0.0/8"], 0, None);
642
+ let forwarded = format!("6.6.6.6, 7.7.7.7, {VISITOR}, 10.0.0.9");
643
+ assert_eq!(proxies.client_ip(Some(ip("10.0.0.5")), Some(&forwarded), None), Some(ip(VISITOR)));
644
+ }
645
+
646
+ #[test]
647
+ fn a_visitor_cannot_pick_their_key_by_varying_the_spoofed_part() {
648
+ let proxies = trust(&["10.0.0.0/8"], 0, None);
649
+ let key = |spoof: &str| proxies.client_ip(Some(ip("10.0.0.5")), Some(&format!("{spoof}, {VISITOR}")), None);
650
+ assert_eq!(key("1.1.1.1"), key("2.2.2.2"));
651
+ }
652
+
653
+ #[test]
654
+ fn trusted_proxies_inside_the_header_are_skipped_from_the_right() {
655
+ let proxies = trust(&["10.0.0.0/8", "172.16.0.0/12"], 0, None);
656
+ let forwarded = format!("6.6.6.6, {VISITOR}, 172.16.0.3, 10.0.0.9");
657
+ assert_eq!(proxies.client_ip(Some(ip("10.0.0.5")), Some(&forwarded), None), Some(ip(VISITOR)));
658
+ }
659
+
660
+ #[test]
661
+ fn the_shared_secret_authenticates_a_request_from_an_unlisted_peer() {
662
+ let cdn = trust(&[], 1, Some(("x-origin-secret", "s3cret")));
663
+ let forwarded = format!("6.6.6.6, {VISITOR}, {EDGE}");
664
+ assert_eq!(cdn.client_ip(Some(ip("10.0.0.5")), Some(&forwarded), Some("s3cret")), Some(ip(VISITOR)));
665
+ assert_eq!(cdn.client_ip(Some(ip("10.0.0.5")), Some(&forwarded), Some("wrong")), Some(ip("10.0.0.5")));
666
+ assert_eq!(cdn.client_ip(Some(ip("10.0.0.5")), Some(&forwarded), None), Some(ip("10.0.0.5")));
667
+ assert_eq!(cdn.client_ip(Some(ip("10.0.0.5")), Some(&forwarded), Some("s3cret-and-more")), Some(ip("10.0.0.5")));
668
+ }
669
+
670
+ #[test]
671
+ fn hops_skip_the_rightmost_entries_added_by_unlisted_proxies() {
672
+ let cdn = trust(&[], 1, Some(("x-origin-secret", "s")));
673
+ let one = format!("6.6.6.6, 7.7.7.7, {VISITOR}, {EDGE}");
674
+ assert_eq!(cdn.client_ip(None, Some(&one), Some("s")), Some(ip(VISITOR)));
675
+
676
+ let two = trust(&[], 2, Some(("x-origin-secret", "s")));
677
+ let forwarded = format!("6.6.6.6, {VISITOR}, {EDGE}, 130.176.2.2");
678
+ assert_eq!(two.client_ip(None, Some(&forwarded), Some("s")), Some(ip(VISITOR)));
679
+ }
680
+
681
+ #[test]
682
+ fn a_header_shorter_than_the_walk_implies_yields_no_client() {
683
+ let cdn = trust(&[], 1, Some(("x-origin-secret", "s")));
684
+ assert_eq!(cdn.client_ip(Some(ip("127.0.0.1")), Some("6.6.6.6"), Some("s")), None);
685
+ let listed = trust(&["10.0.0.0/8"], 0, None);
686
+ assert_eq!(listed.client_ip(Some(ip("10.0.0.5")), Some("10.0.0.9, 10.0.0.8"), None), None, "every entry is one of ours");
687
+ }
688
+
689
+ #[test]
690
+ fn a_client_entry_that_is_not_an_address_yields_no_client() {
691
+ let proxies = trust(&["10.0.0.0/8"], 0, None);
692
+ assert_eq!(proxies.client_ip(Some(ip("10.0.0.5")), Some("6.6.6.6, not-an-ip"), None), None);
693
+ }
694
+
695
+ #[test]
696
+ fn a_trusted_peer_with_no_header_is_its_own_client() {
697
+ let proxies = trust(&["127.0.0.1"], 0, None);
698
+ assert_eq!(proxies.client_ip(Some(ip("127.0.0.1")), None, None), Some(ip("127.0.0.1")));
699
+ assert_eq!(proxies.client_ip(Some(ip("127.0.0.1")), Some(" , "), None), Some(ip("127.0.0.1")));
700
+ }
701
+
702
+ #[test]
703
+ fn tolerates_spaces_empty_entries_and_ipv6() {
704
+ let proxies = trust(&["10.0.0.0/8"], 0, None);
705
+ let forwarded = " 9.9.9.9 ,, 2001:db8::1 , 10.0.0.9 ";
706
+ assert_eq!(proxies.client_ip(Some(ip("10.0.0.5")), Some(forwarded), None), Some(ip("2001:db8::1")));
707
+ }
708
+
709
+ #[test]
710
+ fn a_mapped_peer_is_matched_as_its_ipv4_form() {
711
+ let proxies = trust(&["10.0.0.0/8"], 0, None);
712
+ assert_eq!(proxies.client_ip(Some(ip("::ffff:10.0.0.5")), Some(VISITOR), None), Some(ip(VISITOR)));
713
+ }
714
+
715
+ #[test]
716
+ fn ipv6_callers_are_bucketed_by_their_64() {
717
+ assert_eq!(bucket_key(ip("2001:db8:1:2:aaaa:bbbb:cccc:dddd")), bucket_key(ip("2001:db8:1:2::1")));
718
+ assert_ne!(bucket_key(ip("2001:db8:1:2::1")), bucket_key(ip("2001:db8:1:3::1")));
719
+ assert_eq!(bucket_key(ip("203.0.113.7")), "203.0.113.7");
720
+ }
721
+
722
+ #[test]
723
+ fn defaults_are_on_with_no_trust() {
724
+ let (config, warnings) = config_from(&[]);
725
+ assert!(warnings.is_empty());
726
+ assert!(config.enabled);
727
+ assert_eq!(config.window, HOUR);
728
+ assert_eq!((config.subscribe, config.register, config.max_keys), (10, 15, 10_000));
729
+ assert_eq!(config.trust, ProxyTrust::default());
730
+ }
731
+
732
+ #[test]
733
+ fn every_setting_can_be_tuned() {
734
+ let (config, warnings) = config_from(&[
735
+ ("HECKS_RATE_LIMIT_WINDOW_SECONDS", " 60 "),
736
+ ("HECKS_RATE_LIMIT_SUBSCRIBE", "3"),
737
+ ("HECKS_RATE_LIMIT_REGISTER", "4"),
738
+ ("HECKS_RATE_LIMIT_MAX_KEYS", "50"),
739
+ ("HECKS_TRUSTED_PROXIES", "10.0.0.0/8, 127.0.0.1"),
740
+ ("HECKS_TRUSTED_PROXY_HOPS", "1"),
741
+ ("HECKS_PROXY_AUTH_HEADER", "X-Origin-Secret"),
742
+ ("HECKS_PROXY_AUTH_SECRET", "s3cret"),
743
+ ]);
744
+ assert!(warnings.is_empty(), "{warnings:?}");
745
+ assert_eq!(config.window, Duration::from_secs(60));
746
+ assert_eq!((config.subscribe, config.register, config.max_keys), (3, 4, 50));
747
+ assert_eq!(config.trust, trust(&["10.0.0.0/8", "127.0.0.1"], 1, Some(("x-origin-secret", "s3cret"))));
748
+ }
749
+
750
+ #[test]
751
+ fn off_values_turn_the_limits_off_and_anything_else_leaves_them_on() {
752
+ for off in ["off", "OFF", " false ", "0", "no", "disabled"] {
753
+ assert!(!config_from(&[("HECKS_RATE_LIMIT", off)]).0.enabled, "{off:?}");
754
+ }
755
+ for on in ["on", "true", "1", ""] {
756
+ assert!(config_from(&[("HECKS_RATE_LIMIT", on)]).0.enabled, "{on:?}");
757
+ }
758
+ }
759
+
760
+ #[test]
761
+ fn unusable_values_fall_back_and_are_reported() {
762
+ let (config, warnings) = config_from(&[
763
+ ("HECKS_RATE_LIMIT_SUBSCRIBE", "0"),
764
+ ("HECKS_RATE_LIMIT_REGISTER", "lots"),
765
+ ("HECKS_RATE_LIMIT_WINDOW_SECONDS", "-5"),
766
+ ("HECKS_TRUSTED_PROXY_HOPS", "two"),
767
+ ("HECKS_TRUSTED_PROXIES", "10.0.0.0/8, banana"),
768
+ ]);
769
+ assert_eq!((config.subscribe, config.register, config.window), (10, 15, HOUR));
770
+ assert_eq!(config.trust.hops, 0);
771
+ assert_eq!(config.trust.networks.len(), 1);
772
+ assert_eq!(warnings.len(), 5, "{warnings:?}");
773
+ }
774
+
775
+ #[test]
776
+ fn proxy_authentication_needs_both_a_header_and_a_secret() {
777
+ for pairs in [&[("HECKS_PROXY_AUTH_HEADER", "x-secret")][..], &[("HECKS_PROXY_AUTH_SECRET", "s")][..]] {
778
+ let (config, warnings) = config_from(pairs);
779
+ assert!(config.trust.auth.is_none());
780
+ assert_eq!(warnings.len(), 1);
781
+ }
782
+ let (config, warnings) = config_from(&[("HECKS_PROXY_AUTH_HEADER", "not a header"), ("HECKS_PROXY_AUTH_SECRET", "s")]);
783
+ assert!(config.trust.auth.is_none());
784
+ assert_eq!(warnings.len(), 1);
785
+ }
786
+
787
+ #[test]
788
+ fn only_the_public_write_routes_are_limited() {
789
+ assert_eq!(Form::for_request("POST", "/newsletter/subscribers"), Some(Form::Subscribe));
790
+ assert_eq!(Form::for_request("POST", "/registrations"), Some(Form::Register));
791
+ for (method, path) in [
792
+ ("GET", "/newsletter/subscribers"),
793
+ ("GET", "/newsletter/subscribers/confirm"),
794
+ ("GET", "/newsletter/subscribers/unsubscribe"),
795
+ ("GET", "/registrations"),
796
+ ("GET", "/registrations/REG-1"),
797
+ ("POST", "/registrations/REG-1/complete"),
798
+ ("POST", "/webhooks/stripe"),
799
+ ("POST", "/events"),
800
+ ("POST", "/members"),
801
+ ("POST", "/newsletter/subscribers/"),
802
+ ] {
803
+ assert_eq!(Form::for_request(method, path), None, "{method} {path}");
804
+ }
805
+ }
806
+
807
+ #[test]
808
+ fn each_route_has_its_own_budget_per_client() {
809
+ let limits = limits(&[("HECKS_RATE_LIMIT_SUBSCRIBE", "2"), ("HECKS_RATE_LIMIT_REGISTER", "1")]);
810
+ let (none, peer, now) = (HeaderMap::new(), Some(ip("198.51.100.4")), Instant::now());
811
+ let hit = |path: &str| limits.check_at("POST", path, &none, peer, now);
812
+
813
+ assert_eq!(hit("/newsletter/subscribers"), Verdict::Allowed);
814
+ assert_eq!(hit("/newsletter/subscribers"), Verdict::Allowed);
815
+ assert_eq!(hit("/newsletter/subscribers"), Verdict::Limited { retry_after_secs: 3600 });
816
+ assert_eq!(hit("/registrations"), Verdict::Allowed, "subscribe being spent does not touch register");
817
+ assert_eq!(hit("/registrations"), Verdict::Limited { retry_after_secs: 3600 });
818
+ }
819
+
820
+ #[test]
821
+ fn the_window_rolls_over() {
822
+ let limits = limits(&[("HECKS_RATE_LIMIT_REGISTER", "1"), ("HECKS_RATE_LIMIT_WINDOW_SECONDS", "60")]);
823
+ let (none, peer, start) = (HeaderMap::new(), Some(ip("198.51.100.4")), Instant::now());
824
+ let at = |secs: u64| limits.check_at("POST", "/registrations", &none, peer, start + Duration::from_secs(secs));
825
+
826
+ assert_eq!(at(0), Verdict::Allowed);
827
+ assert_eq!(at(10), Verdict::Limited { retry_after_secs: 50 });
828
+ assert_eq!(at(60), Verdict::Allowed);
829
+ }
830
+
831
+ #[test]
832
+ fn unlimited_routes_and_disabled_limits_always_allow() {
833
+ let on = limits(&[("HECKS_RATE_LIMIT_SUBSCRIBE", "1")]);
834
+ let (none, peer, now) = (HeaderMap::new(), Some(ip("198.51.100.4")), Instant::now());
835
+ for _ in 0..5 {
836
+ assert_eq!(on.check_at("GET", "/newsletter/subscribers", &none, peer, now), Verdict::Allowed);
837
+ assert_eq!(on.check_at("POST", "/webhooks/stripe", &none, peer, now), Verdict::Allowed);
838
+ }
839
+
840
+ let off = limits(&[("HECKS_RATE_LIMIT", "off"), ("HECKS_RATE_LIMIT_SUBSCRIBE", "1")]);
841
+ for _ in 0..5 {
842
+ assert_eq!(off.check_at("POST", "/newsletter/subscribers", &none, peer, now), Verdict::Allowed);
843
+ }
844
+ }
845
+
846
+ #[test]
847
+ fn a_spoofed_header_from_an_untrusted_peer_does_not_reset_the_count() {
848
+ let limits = limits(&[("HECKS_RATE_LIMIT_SUBSCRIBE", "1"), ("HECKS_TRUSTED_PROXIES", "10.0.0.0/8")]);
849
+ let (peer, now) = (Some(ip("198.51.100.4")), Instant::now());
850
+ let send = |spoof: &str| limits.check_at("POST", "/newsletter/subscribers", &headers(&[("x-forwarded-for", spoof)]), peer, now);
851
+
852
+ assert_eq!(send("1.1.1.1"), Verdict::Allowed);
853
+ assert!(matches!(send("2.2.2.2"), Verdict::Limited { .. }));
854
+ }
855
+
856
+ #[test]
857
+ fn behind_the_shared_secret_each_visitor_has_their_own_budget() {
858
+ let limits = limits(&[
859
+ ("HECKS_RATE_LIMIT_REGISTER", "1"),
860
+ ("HECKS_PROXY_AUTH_HEADER", "x-origin-secret"),
861
+ ("HECKS_PROXY_AUTH_SECRET", "s3cret"),
862
+ ("HECKS_TRUSTED_PROXY_HOPS", "1"),
863
+ ]);
864
+ let (alb, now) = (Some(ip("10.0.0.5")), Instant::now());
865
+ let from = |spoof: &str, visitor: &str| {
866
+ let forwarded = format!("{spoof}, {visitor}, {EDGE}");
867
+ limits.check_at("POST", "/registrations", &headers(&[("x-origin-secret", "s3cret"), ("x-forwarded-for", &forwarded)]), alb, now)
868
+ };
869
+
870
+ assert_eq!(from("1.1.1.1", VISITOR), Verdict::Allowed);
871
+ assert!(matches!(from("2.2.2.2", VISITOR), Verdict::Limited { .. }), "a new spoofed entry is not a new visitor");
872
+ assert_eq!(from("2.2.2.2", "198.51.100.4"), Verdict::Allowed, "another visitor has their own count");
873
+ }
874
+
875
+ #[test]
876
+ fn requests_whose_client_cannot_be_determined_share_one_bucket() {
877
+ let limits = limits(&[("HECKS_RATE_LIMIT_REGISTER", "1"), ("HECKS_TRUSTED_PROXIES", "10.0.0.0/8")]);
878
+ let now = Instant::now();
879
+ let short = headers(&[("x-forwarded-for", "10.0.0.9")]);
880
+ assert_eq!(limits.check_at("POST", "/registrations", &short, Some(ip("10.0.0.5")), now), Verdict::Allowed);
881
+ assert!(matches!(limits.check_at("POST", "/registrations", &short, Some(ip("10.0.0.6")), now), Verdict::Limited { .. }));
882
+ }
883
+
884
+ #[test]
885
+ fn repeated_forwarded_header_lines_read_as_one_list() {
886
+ let limits = limits(&[("HECKS_RATE_LIMIT_REGISTER", "1"), ("HECKS_TRUSTED_PROXIES", "10.0.0.0/8")]);
887
+ let (peer, now) = (Some(ip("10.0.0.5")), Instant::now());
888
+ let split = headers(&[("x-forwarded-for", "6.6.6.6"), ("x-forwarded-for", VISITOR)]);
889
+ let joined = headers(&[("x-forwarded-for", &format!("9.9.9.9, {VISITOR}"))]);
890
+ assert_eq!(limits.check_at("POST", "/registrations", &split, peer, now), Verdict::Allowed);
891
+ assert!(matches!(limits.check_at("POST", "/registrations", &joined, peer, now), Verdict::Limited { .. }));
892
+ }
893
+
894
+ #[tokio::test]
895
+ async fn the_refusal_is_a_429_with_retry_after_and_the_json_error_shape() {
896
+ let response = too_many_requests(120);
897
+ assert_eq!(response.status(), StatusCode::TOO_MANY_REQUESTS);
898
+ assert_eq!(response.headers()[RETRY_AFTER], "120");
899
+ assert_eq!(response.headers()[CONTENT_TYPE], "application/json");
900
+ let bytes = axum::body::to_bytes(response.into_body(), 4096).await.unwrap();
901
+ let body: serde_json::Value = serde_json::from_slice(&bytes).unwrap();
902
+ assert_eq!(body, json!({ "error": "too many requests, please try again later" }));
903
+ }
904
+ }