hecks 3.14.0 → 4.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (419) hide show
  1. checksums.yaml +4 -4
  2. data/examples/pizzas/adapters/fake_processor.rb +34 -0
  3. data/examples/pizzas/adapters/payment_signature.rb +66 -0
  4. data/examples/pizzas/adapters/payment_webhook.rb +87 -0
  5. data/examples/pizzas/bluebook/pizzas.behaviors +33 -0
  6. data/examples/pizzas/bluebook/pizzas.hecksagon +5 -3
  7. data/examples/pizzas/config.ru +22 -0
  8. data/lib/hecks/adapters/driven/prism.rb +0 -2
  9. data/lib/hecks/adapters/driven.rb +0 -2
  10. data/lib/hecks/adapters/driving/json.rb +1 -7
  11. data/lib/hecks/bluebook/dsl/bootstrap_table.rb +2 -2
  12. data/lib/hecks/bluebook/dsl/derivation_words.rb +58 -0
  13. data/lib/hecks/bluebook/dsl/translation_builder.rb +6 -37
  14. data/lib/hecks/bluebook/expression/ast_json.rb +0 -9
  15. data/lib/hecks/bluebook/hecksagon.rb +1 -1
  16. data/lib/hecks/bluebook/meta_validator/translation_judge/rules.rb +7 -10
  17. data/lib/hecks/bluebook/meta_validator/translation_judge.rb +4 -8
  18. data/lib/hecks/bluebook/meta_validator.rb +0 -11
  19. data/lib/hecks/bluebook/translation.rb +18 -10
  20. data/lib/hecks/bluebook/translation_expression/evaluator.rb +63 -0
  21. data/lib/hecks/bluebook/translation_expression/parser.rb +127 -0
  22. data/lib/hecks/bluebook/translation_expression.rb +39 -0
  23. data/lib/hecks/bluebook/translation_plan.rb +70 -0
  24. data/lib/hecks/bluebook.rb +2 -0
  25. data/lib/hecks/chapters.rb +3 -3
  26. data/lib/hecks/composer/adapters/claude_composer.adapter +3 -0
  27. data/lib/hecks/composer/adapters/claude_composer.rb +83 -0
  28. data/lib/hecks/composer/adapters/fake_agent.adapter +3 -0
  29. data/lib/hecks/composer/adapters/fake_agent.rb +55 -0
  30. data/lib/hecks/composer/adapters/jev.adapter +3 -0
  31. data/lib/hecks/composer/adapters/jev.rb +66 -0
  32. data/lib/hecks/composer/agent.rb +113 -0
  33. data/lib/hecks/composer/assistant.rb +110 -0
  34. data/lib/hecks/composer/behavior_run.rb +53 -0
  35. data/lib/hecks/composer/bluebook/composer.bluebook +178 -0
  36. data/lib/hecks/composer/bluebook/composer.hecksagon +16 -0
  37. data/lib/hecks/composer/board.rb +65 -0
  38. data/lib/hecks/composer/board_edit/command_text.rb +39 -0
  39. data/lib/hecks/composer/board_edit/source.rb +84 -0
  40. data/lib/hecks/composer/board_edit.rb +144 -0
  41. data/lib/hecks/composer/check.rb +89 -0
  42. data/lib/hecks/composer/domains.rb +81 -0
  43. data/lib/hecks/composer/jobs.rb +134 -0
  44. data/lib/hecks/composer/layout.rb +37 -0
  45. data/lib/hecks/composer/live.rb +150 -0
  46. data/lib/hecks/composer/outline.rb +48 -0
  47. data/lib/hecks/composer/page.html +989 -0
  48. data/lib/hecks/composer/panels.rb +142 -0
  49. data/lib/hecks/composer/parse.rb +83 -0
  50. data/lib/hecks/composer/plain.rb +28 -0
  51. data/lib/hecks/composer/ports/composer_agent.port +7 -0
  52. data/lib/hecks/composer/session.rb +141 -0
  53. data/lib/hecks/composer/toolbox.rb +166 -0
  54. data/lib/hecks/composer/web.rb +156 -0
  55. data/lib/hecks/composer/workbench.rb +51 -0
  56. data/lib/hecks/composer/workspace.rb +81 -0
  57. data/lib/hecks/composer.rb +17 -0
  58. data/lib/hecks/corpus/adapters.rb +22 -0
  59. data/lib/hecks/corpus/rust.rb +1 -1
  60. data/lib/hecks/corpus/worlds.rb +19 -0
  61. data/lib/hecks/corpus.rb +5 -0
  62. data/lib/hecks/forms/app/commands.rb +2 -3
  63. data/lib/hecks/forms/app/queries.rb +2 -3
  64. data/lib/hecks/forms/app/records.rb +17 -5
  65. data/lib/hecks/forms/command_form_renderer.rb +42 -16
  66. data/lib/hecks/forms/field_controls.rb +2 -2
  67. data/lib/hecks/forms/field_renderer.rb +1 -1
  68. data/lib/hecks/forms/field_shape.rb +36 -17
  69. data/lib/hecks/forms/index_renderer.rb +2 -1
  70. data/lib/hecks/forms/page.rb +1 -1
  71. data/lib/hecks/forms/params.rb +0 -13
  72. data/lib/hecks/forms/query_form_renderer.rb +7 -6
  73. data/lib/hecks/forms/record_renderer.rb +11 -7
  74. data/lib/hecks/forms/rule_words.rb +100 -0
  75. data/lib/hecks/forms/value_object_shape.rb +2 -1
  76. data/lib/hecks/fuzzing/bounded_exhaustive_expressions.rb +0 -3
  77. data/lib/hecks/fuzzing/isolated_boot/worlds.rb +3 -6
  78. data/lib/hecks/fuzzing/replay/filters.rb +2 -6
  79. data/lib/hecks/gate/stages.yml +25 -0
  80. data/lib/hecks/grammar/evolve/seeds.rb +0 -6
  81. data/lib/hecks/grammar/evolve.rb +0 -3
  82. data/lib/hecks/grammar/translation.bluebook +1 -1
  83. data/lib/hecks/hecks/adapters/codebase/composing.rb +56 -0
  84. data/lib/hecks/hecks/adapters/codebase/source_tree.rb +3 -1
  85. data/lib/hecks/hecks/adapters/journal_store/changes.rb +0 -26
  86. data/lib/hecks/hecks/adapters/journal_store/examination.rb +2 -23
  87. data/lib/hecks/hecks/adapters/journal_store/readings.rb +3 -11
  88. data/lib/hecks/hecks/adapters/journal_store.rb +0 -11
  89. data/lib/hecks/hecks/adapters/rehearsal/inquiry.rb +4 -11
  90. data/lib/hecks/hecks/adapters/rehearsal/memory_store.rb +0 -9
  91. data/lib/hecks/hecks/adapters/rehearsal/postgres_reading.rb +0 -4
  92. data/lib/hecks/hecks/codebase.behaviors +6 -0
  93. data/lib/hecks/hecks/codebase.bluebook +21 -0
  94. data/lib/hecks/hecks/composer.behaviors +68 -0
  95. data/lib/hecks/hecks/context_map.hecksagon +1 -1
  96. data/lib/hecks/hecks/custodian.behaviors +0 -6
  97. data/lib/hecks/hecks/custodian.bluebook +3 -80
  98. data/lib/hecks/hecks/hecks.hecksagon +2 -2
  99. data/lib/hecks/hecks/hecks.world +1 -1
  100. data/lib/hecks/hecks/rehearsal.bluebook +7 -13
  101. data/lib/hecks/kernel_capabilities/templates.rb +4 -4
  102. data/lib/hecks/kernel_capabilities.rb +1 -1
  103. data/lib/hecks/language/bluebook/vocabulary.bluebook +2 -3
  104. data/lib/hecks/language/translation/translation_aggregate.bluebook +21 -24
  105. data/lib/hecks/ports/access_control.rb +2 -2
  106. data/lib/hecks/ports/persistence/plugins/era/era_check.rb +3 -41
  107. data/lib/hecks/ports/persistence/plugins/era/lineage/coverage.rb +7 -7
  108. data/lib/hecks/ports/persistence/plugins/era/lineage/rewrite.rb +25 -2
  109. data/lib/hecks/ports/persistence/plugins/era/lineage/rules.rb +4 -4
  110. data/lib/hecks/ports/persistence/plugins/era/lineage.rb +17 -25
  111. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/base_sql.rb +0 -12
  112. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/domain_rename.rb +1 -1
  113. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/era_store.rb +2 -22
  114. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/provisioning.rb +0 -1
  115. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage.rb +9 -3
  116. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/minter.rb +3 -29
  117. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/refusals.rb +2 -26
  118. data/lib/hecks/ports/persistence/plugins/era/translation/audit/layer_two.rb +6 -33
  119. data/lib/hecks/ports/persistence/plugins/era/translation/audit/unfed_report.rb +3 -3
  120. data/lib/hecks/ports/persistence/plugins/era/translation/audit.rb +2 -4
  121. data/lib/hecks/ports/persistence/plugins/era/translation/expression_sql.rb +52 -0
  122. data/lib/hecks/ports/persistence/plugins/era/translation/rule_compiler.rb +23 -29
  123. data/lib/hecks/ports/persistence/plugins/era/translation/scaffold.rb +1 -1
  124. data/lib/hecks/ports/persistence/plugins/era/translation.rb +0 -1
  125. data/lib/hecks/ports/persistence/plugins/era.rb +3 -6
  126. data/lib/hecks/ports.rb +0 -1
  127. data/lib/hecks/projection_files.rb +3 -1
  128. data/lib/hecks/projections/deploy/templates/lambda/nat_comment_oauth.tmpl +1 -1
  129. data/lib/hecks/projections/glossary/entries.rb +10 -4
  130. data/lib/hecks/projections/glossary/groups.rb +42 -0
  131. data/lib/hecks/projections/glossary/html/page.rb +7 -2
  132. data/lib/hecks/projections/glossary/html/parser.rb +1 -1
  133. data/lib/hecks/projections/glossary/html/sections.rb +31 -11
  134. data/lib/hecks/projections/glossary/html.rb +1 -2
  135. data/lib/hecks/projections/glossary/markdown.rb +31 -28
  136. data/lib/hecks/projections/glossary/mermaid.rb +3 -0
  137. data/lib/hecks/projections/glossary/page.css +143 -153
  138. data/lib/hecks/projections/glossary/page.js +63 -3
  139. data/lib/hecks/projections/glossary/sentences/actions.rb +88 -0
  140. data/lib/hecks/projections/glossary/sentences/paths.rb +77 -0
  141. data/lib/hecks/projections/glossary/sentences/queries.rb +90 -0
  142. data/lib/hecks/projections/glossary/sentences/value_objects.rb +32 -5
  143. data/lib/hecks/projections/glossary/sentences.rb +13 -3
  144. data/lib/hecks/projections/glossary/slugs.rb +4 -1
  145. data/lib/hecks/projections/glossary.rb +2 -1
  146. data/lib/hecks/projections/plain_english.rb +97 -0
  147. data/lib/hecks/projections/rust_vocabulary/arguments.rb +2 -2
  148. data/lib/hecks/projections/rust_vocabulary/enum_body.rb +20 -25
  149. data/lib/hecks/projections/rust_vocabulary/tests.rb +2 -2
  150. data/lib/hecks/projections/rust_vocabulary.rb +14 -6
  151. data/lib/hecks/projections/site/cms_editor/color.rb +0 -6
  152. data/lib/hecks/projections/statements/actions.rb +99 -0
  153. data/lib/hecks/projections/statements/relationships.rb +86 -0
  154. data/lib/hecks/projections/statements.rb +15 -24
  155. data/lib/hecks/projector/exporter/adapters.rb +112 -0
  156. data/lib/hecks/projector/exporter/translations.rb +18 -35
  157. data/lib/hecks/projector/exporter/worlds.rb +103 -0
  158. data/lib/hecks/projector/exporter.rb +5 -1
  159. data/lib/hecks/quality_control/adapters/agent.rb +6 -7
  160. data/lib/hecks/quality_control/adapters/agent_profile.rb +16 -114
  161. data/lib/hecks/quality_control/cli/qa_mine_combinations.rb +1 -1
  162. data/lib/hecks/runtime/loader/boot_steps.rb +0 -20
  163. data/lib/hecks/runtime/outbox.rb +2 -9
  164. data/lib/hecks/runtime/port_operation_interpreter.rb +1 -9
  165. data/lib/hecks/runtime/remote_dispatcher.rb +2 -2
  166. data/lib/hecks/runtime/value.rb +13 -0
  167. data/lib/hecks/rust_build/project_rust/target_ir.rb +23 -4
  168. data/lib/hecks/rust_build/wasm.rb +0 -12
  169. data/lib/hecks/rust_build/write_if_changed.rb +12 -12
  170. data/lib/hecks/rust_format.rb +77 -0
  171. data/lib/hecks/tools/fuzz_sweep/findings.rb +3 -9
  172. data/lib/hecks/tools/fuzz_sweep.rb +1 -3
  173. data/lib/hecks/tools/translation_audit/verdicts.rb +3 -28
  174. data/lib/hecks/tools/translation_audit.rb +8 -10
  175. data/lib/hecks/tools/translation_scaffold/reporting.rb +1 -1
  176. data/lib/hecks/version.rb +1 -1
  177. data/lib/hecks/vocabulary.rb +2 -1
  178. data/lib/hecks.rb +3 -0
  179. data/prebuilt/{a883a7e568667aa5ac904c82daff356bdf9e996252a36af6def4a4a43efb967e.marshal → 02c09c73b272c1fb5a9ae6d87bb5e5e529208e00f6b4b597dc2c0fd70a9c0964.marshal} +0 -0
  180. data/prebuilt/{1a6f596be124228be93eba1d86dbc9d2933190fa389b284331241cb9f27115a0.marshal → bb84a835cf6a15136bad5ca03aa5bf93a5b92f5f72444618d3ef2412b987fb32.marshal} +0 -0
  181. data/prebuilt/{verdicts-872993b1aa26d73fe48f28251374b8585fed145d02aab42be0f00de386b6ff80.json → verdicts-f1f10da14c8e8f01b4c9b7e3e2d74be8cd2bf4676364ed17fa16975d2a076d75.json} +1 -1
  182. data/rust/Cargo.toml +40 -0
  183. data/rust/build/Cargo.toml +36 -0
  184. data/rust/build/clippy.toml +4 -0
  185. data/rust/build/src/adapters_pass.rs +196 -0
  186. data/rust/build/src/binding_pass.rs +54 -13
  187. data/rust/build/src/build_artifact.rs +23 -5
  188. data/rust/build/src/cargo_sync.rs +69 -26
  189. data/rust/build/src/lineage_pass.rs +101 -87
  190. data/rust/build/src/main.rs +11 -2
  191. data/rust/build/src/pipeline.rs +80 -19
  192. data/rust/build/src/reserved_names.rs +6 -50
  193. data/rust/build/src/resolve.rs +82 -35
  194. data/rust/build/src/rustfmt.rs +100 -0
  195. data/rust/build/src/seams_pass.rs +85 -16
  196. data/rust/build/src/subprocess.rs +30 -6
  197. data/rust/build/src/tmp.rs +5 -2
  198. data/rust/build/src/translation_pass.rs +72 -22
  199. data/rust/build/src/world_pass.rs +109 -0
  200. data/rust/clippy.toml +4 -0
  201. data/rust/codegen/Cargo.toml +36 -0
  202. data/rust/codegen/clippy.toml +4 -0
  203. data/rust/codegen/src/asks.rs +40 -14
  204. data/rust/codegen/src/attr.rs +2 -2
  205. data/rust/codegen/src/bridging.rs +676 -117
  206. data/rust/codegen/src/commands.rs +979 -373
  207. data/rust/codegen/src/constraints.rs +88 -25
  208. data/rust/codegen/src/dependency_planning.rs +128 -34
  209. data/rust/codegen/src/domain_generator.rs +300 -170
  210. data/rust/codegen/src/exemplar.rs +87 -32
  211. data/rust/codegen/src/expr_emitter.rs +54 -6
  212. data/rust/codegen/src/fielded.rs +193 -41
  213. data/rust/codegen/src/hecks_naming.rs +124 -16
  214. data/rust/codegen/src/hecks_naming_tests.rs +81 -0
  215. data/rust/codegen/src/json.rs +80 -44
  216. data/rust/codegen/src/json_codec.rs +585 -149
  217. data/rust/codegen/src/literal.rs +104 -138
  218. data/rust/codegen/src/main.rs +145 -52
  219. data/rust/codegen/src/manifest.rs +76 -14
  220. data/rust/codegen/src/mutations.rs +1212 -239
  221. data/rust/codegen/src/naming.rs +111 -60
  222. data/rust/codegen/src/optional_pass.rs +90 -28
  223. data/rust/codegen/src/ports.rs +5 -4
  224. data/rust/codegen/src/prelude.rs +139 -49
  225. data/rust/codegen/src/queries.rs +601 -226
  226. data/rust/codegen/src/reactions.rs +268 -74
  227. data/rust/codegen/src/read_models.rs +606 -205
  228. data/rust/codegen/src/reference_specs.rs +16 -3
  229. data/rust/codegen/src/registry.rs +128 -79
  230. data/rust/codegen/src/reserved_names.rs +6 -50
  231. data/rust/codegen/src/shared.rs +71 -22
  232. data/rust/codegen/src/sidecars.rs +15 -5
  233. data/rust/codegen/src/skip_reason.rs +8 -2
  234. data/rust/codegen/src/types.rs +306 -108
  235. data/rust/host/Cargo.lock +1 -0
  236. data/rust/host/Cargo.toml +40 -4
  237. data/rust/host/HECKS_RELEASE +1 -1
  238. data/rust/host/clippy.toml +4 -0
  239. data/rust/host/src/api.rs +698 -218
  240. data/rust/host/src/auth.rs +491 -214
  241. data/rust/host/src/b64.rs +91 -0
  242. data/rust/host/src/bin/expr_harness.rs +6 -2
  243. data/rust/host/src/bin/lineage_harness.rs +47 -11
  244. data/rust/host/src/bin/mint_harness.rs +70 -37
  245. data/rust/host/src/bin/validate_harness.rs +16 -8
  246. data/rust/host/src/boot.rs +144 -68
  247. data/rust/host/src/boundary_fuzz/api.rs +130 -32
  248. data/rust/host/src/boundary_fuzz/auth.rs +108 -23
  249. data/rust/host/src/boundary_fuzz/expr_json.rs +85 -11
  250. data/rust/host/src/boundary_fuzz/ir.rs +164 -12
  251. data/rust/host/src/boundary_fuzz/server.rs +283 -36
  252. data/rust/host/src/boundary_fuzz/web.rs +56 -8
  253. data/rust/host/src/checkout.rs +78 -32
  254. data/rust/host/src/clock.rs +8 -0
  255. data/rust/host/src/commerce_ir.rs +333 -95
  256. data/rust/host/src/crypto.rs +33 -0
  257. data/rust/host/src/dispatch.rs +990 -331
  258. data/rust/host/src/expr_json.rs +1021 -273
  259. data/rust/host/src/extension.rs +24 -4
  260. data/rust/host/src/field_hints.rs +11 -7
  261. data/rust/host/src/fuzz_support.rs +85 -13
  262. data/rust/host/src/host.rs +100 -0
  263. data/rust/host/src/http.rs +22 -0
  264. data/rust/host/src/ir.rs +326 -16
  265. data/rust/host/src/journal.rs +277 -176
  266. data/rust/host/src/lambda_client.rs +219 -53
  267. data/rust/host/src/lib.rs +16 -4
  268. data/rust/host/src/log.rs +62 -11
  269. data/rust/host/src/mint.rs +1153 -326
  270. data/rust/host/src/needs.rs +185 -44
  271. data/rust/host/src/payments/keystore.rs +197 -45
  272. data/rust/host/src/payments/roles.rs +39 -7
  273. data/rust/host/src/payments/tests.rs +1427 -282
  274. data/rust/host/src/payments.rs +391 -112
  275. data/rust/host/src/platform_signin/attack_tests.rs +5 -5
  276. data/rust/host/src/platform_signin/config.rs +11 -11
  277. data/rust/host/src/platform_signin/cookie.rs +2 -2
  278. data/rust/host/src/platform_signin/extension.rs +2 -1
  279. data/rust/host/src/platform_signin/handler.rs +9 -8
  280. data/rust/host/src/platform_signin/jti.rs +4 -2
  281. data/rust/host/src/platform_signin/jwks.rs +2 -1
  282. data/rust/host/src/platform_signin/jws.rs +2 -37
  283. data/rust/host/src/platform_signin/known_answer_tests.rs +5 -1
  284. data/rust/host/src/platform_signin/mode_tests.rs +5 -3
  285. data/rust/host/src/platform_signin/pages.rs +20 -20
  286. data/rust/host/src/platform_signin/session.rs +8 -1
  287. data/rust/host/src/platform_signin/settings.rs +6 -6
  288. data/rust/host/src/platform_signin/strict_json.rs +12 -9
  289. data/rust/host/src/platform_signin/verify.rs +41 -41
  290. data/rust/host/src/platform_signin/wiring_support.rs +13 -18
  291. data/rust/host/src/presentation.rs +207 -63
  292. data/rust/host/src/presentation_write.rs +502 -187
  293. data/rust/host/src/query_step.rs +69 -18
  294. data/rust/host/src/rate_limit.rs +541 -142
  295. data/rust/host/src/reference_transform.rs +77 -25
  296. data/rust/host/src/reference_validate.rs +443 -104
  297. data/rust/host/src/resend.rs +190 -55
  298. data/rust/host/src/secrets.rs +116 -21
  299. data/rust/host/src/server.rs +483 -104
  300. data/rust/host/src/storage_shape.rs +88 -21
  301. data/rust/host/src/test_pg.rs +17 -7
  302. data/rust/host/src/ui_schema.rs +495 -207
  303. data/rust/host/src/wasm_runner.rs +21 -6
  304. data/rust/host/src/web/commerce.rs +101 -23
  305. data/rust/host/src/web/newsletter/cooldown.rs +10 -3
  306. data/rust/host/src/web/newsletter/template.rs +26 -7
  307. data/rust/host/src/web/newsletter/tests.rs +112 -23
  308. data/rust/host/src/web/newsletter.rs +209 -59
  309. data/rust/host/src/web/newsletter_send.rs +251 -79
  310. data/rust/host/src/web/registration_receipt/tests.rs +16 -4
  311. data/rust/host/src/web/registration_receipt.rs +100 -24
  312. data/rust/host/src/web/registrations.rs +1384 -332
  313. data/rust/host/src/web/resend_webhook.rs +138 -80
  314. data/rust/host/src/web.rs +2416 -508
  315. data/rust/lsp/Cargo.toml +36 -0
  316. data/rust/lsp/clippy.toml +4 -0
  317. data/rust/lsp/src/json.rs +29 -22
  318. data/rust/lsp/src/main.rs +81 -31
  319. data/rust/lsp/src/outline.rs +23 -7
  320. data/rust/lsp/src/rpc.rs +17 -4
  321. data/rust/parser/Cargo.toml +36 -0
  322. data/rust/parser/clippy.toml +4 -0
  323. data/rust/parser/src/build/closed_sets.rs +6 -1
  324. data/rust/parser/src/build/identity.rs +4 -3
  325. data/rust/parser/src/build/mod.rs +1 -1
  326. data/rust/parser/src/build/named_pattern.rs +4 -1
  327. data/rust/parser/src/build/naming.rs +2 -80
  328. data/rust/parser/src/build/pattern_subset.rs +6 -8
  329. data/rust/parser/src/build/query_derive.rs +3 -1
  330. data/rust/parser/src/build/query_inference.rs +14 -5
  331. data/rust/parser/src/build/read_model.rs +4 -1
  332. data/rust/parser/src/build/references.rs +4 -3
  333. data/rust/parser/src/canonical.rs +34 -15
  334. data/rust/parser/src/emit.rs +187 -105
  335. data/rust/parser/src/expr/ast_json.rs +134 -42
  336. data/rust/parser/src/expr/evaluator.rs +27 -9
  337. data/rust/parser/src/expr/mod.rs +54 -13
  338. data/rust/parser/src/expr/resolver.rs +299 -92
  339. data/rust/parser/src/ir.rs +35 -3
  340. data/rust/parser/src/keywords.rs +7168 -516
  341. data/rust/parser/src/lex.rs +11 -25
  342. data/rust/parser/src/lib.rs +1 -0
  343. data/rust/parser/src/main.rs +65 -6
  344. data/rust/parser/src/parse/adapter.rs +157 -0
  345. data/rust/parser/src/parse/aggregate.rs +19 -10
  346. data/rust/parser/src/parse/chapter.rs +16 -17
  347. data/rust/parser/src/parse/command.rs +35 -16
  348. data/rust/parser/src/parse/domain_port.rs +4 -7
  349. data/rust/parser/src/parse/entity.rs +21 -11
  350. data/rust/parser/src/parse/hecksagon.rs +10 -4
  351. data/rust/parser/src/parse/lifecycle.rs +9 -5
  352. data/rust/parser/src/parse/mod.rs +22 -91
  353. data/rust/parser/src/parse/needs.rs +21 -12
  354. data/rust/parser/src/parse/policy.rs +2 -2
  355. data/rust/parser/src/parse/process_manager.rs +9 -11
  356. data/rust/parser/src/parse/query.rs +8 -4
  357. data/rust/parser/src/parse/read_model.rs +57 -16
  358. data/rust/parser/src/parse/value_object.rs +7 -2
  359. data/rust/parser/src/parse/world.rs +322 -0
  360. data/rust/parser/src/ruby_value.rs +7 -6
  361. data/rust/src/exemplar/json.rs +4 -4
  362. data/rust/src/exemplar/mutations.rs +18 -0
  363. data/rust/src/exemplar/read_models.rs +1 -10
  364. data/rust/src/kernel/attribute_shapes/composite.rs +54 -14
  365. data/rust/src/kernel/attribute_shapes/list.rs +2 -2
  366. data/rust/src/kernel/attribute_shapes/mod.rs +8 -8
  367. data/rust/src/kernel/attribute_shapes/scalar.rs +2 -2
  368. data/rust/src/kernel/cli.rs +229 -112
  369. data/rust/src/kernel/dispatch.rs +323 -115
  370. data/rust/src/kernel/dispatch_guard_tests.rs +327 -65
  371. data/rust/src/kernel/expr.rs +203 -86
  372. data/rust/src/kernel/expression_operators/arithmetic.rs +138 -25
  373. data/rust/src/kernel/expression_operators/comparison.rs +87 -2
  374. data/rust/src/kernel/expression_operators/enumeration.rs +106 -22
  375. data/rust/src/kernel/expression_operators/logical.rs +9 -3
  376. data/rust/src/kernel/expression_operators/membership.rs +3 -1
  377. data/rust/src/kernel/expression_operators/mod.rs +34 -21
  378. data/rust/src/kernel/expression_operators/pattern_match.rs +46 -11
  379. data/rust/src/kernel/expression_operators/positional.rs +84 -30
  380. data/rust/src/kernel/expression_operators/presence.rs +52 -13
  381. data/rust/src/kernel/expression_operators/sign_test.rs +3 -1
  382. data/rust/src/kernel/expression_operators/sized.rs +24 -8
  383. data/rust/src/kernel/expression_operators/text.rs +120 -27
  384. data/rust/src/kernel/expression_operators/to_string.rs +10 -4
  385. data/rust/src/kernel/json.rs +230 -148
  386. data/rust/src/kernel/mod.rs +46 -33
  387. data/rust/src/kernel/named_query.rs +63 -15
  388. data/rust/src/kernel/needs.rs +112 -25
  389. data/rust/src/kernel/orchestrate.rs +980 -581
  390. data/rust/src/kernel/orchestrate_guard_tests.rs +538 -140
  391. data/rust/src/kernel/pattern.rs +107 -34
  392. data/rust/src/kernel/query_comparators.rs +118 -41
  393. data/rust/src/kernel/query_ordering.rs +13 -5
  394. data/rust/src/kernel/read_model.rs +479 -181
  395. data/rust/src/kernel/reference_lookup.rs +122 -26
  396. data/rust/src/kernel/repository.rs +293 -66
  397. data/rust/src/kernel/routing.rs +58 -42
  398. data/rust/src/kernel/ruby_float.rs +139 -0
  399. data/rust/src/kernel/vocab/aggregate_dispatch_order.rs +57 -57
  400. data/rust/src/kernel/vocab/entity_dispatch_order.rs +54 -54
  401. data/rust/src/kernel/vocab/field_hint.rs +19 -25
  402. data/rust/src/kernel/vocab/mod.rs +6 -6
  403. data/rust/src/kernel/vocab/query_comparator.rs +23 -24
  404. data/rust/src/kernel/vocab/refusal_template.rs +501 -297
  405. data/rust/src/lib.rs +50 -0
  406. data/rust/src/main.rs +4 -1
  407. data/rust/web/Cargo.toml +36 -0
  408. data/rust/web/clippy.toml +4 -0
  409. metadata +82 -15
  410. data/examples/pizzas/bluebook/hecksagon/mock_stripe_payment_adapter.rb +0 -36
  411. data/lib/hecks/adapters/driven/google_authentication.adapter +0 -3
  412. data/lib/hecks/adapters/driven/google_authentication.rb +0 -99
  413. data/lib/hecks/adapters/driven/mock_stripe_adapter.adapter +0 -3
  414. data/lib/hecks/adapters/driven/mock_stripe_adapter.rb +0 -32
  415. data/lib/hecks/ports/authentication.port +0 -6
  416. data/lib/hecks/ports/authentication.rb +0 -67
  417. data/lib/hecks/ports/persistence/plugins/era/translation/approval_file.rb +0 -255
  418. data/lib/hecks/ports/persistence/plugins/era/translation/audit/approval_digest.rb +0 -22
  419. data/rust/host/src/approval.rs +0 -652
@@ -8,7 +8,10 @@ use crate::fuzz_support::*;
8
8
  use serde_json::json;
9
9
 
10
10
  fn limits(pairs: &[(&str, &str)]) -> RateLimits {
11
- let map: std::collections::HashMap<String, String> = pairs.iter().map(|(k, v)| (k.to_string(), v.to_string())).collect();
11
+ let map: std::collections::HashMap<String, String> = pairs
12
+ .iter()
13
+ .map(|(k, v)| (k.to_string(), v.to_string()))
14
+ .collect();
12
15
  RateLimits::new(crate::rate_limit::Config::from_lookup(|name| map.get(name).cloned()).0)
13
16
  }
14
17
 
@@ -16,10 +19,27 @@ fn peer(text: &str) -> SocketAddr {
16
19
  text.parse().unwrap()
17
20
  }
18
21
 
19
- const PEERS: &[&str] = &["127.0.0.1:5000", "[::1]:5000", "[::ffff:127.0.0.1]:5000", "10.0.0.5:5000", "203.0.113.7:5000", "[2001:db8::1]:5000"];
22
+ const PEERS: &[&str] = &[
23
+ "127.0.0.1:5000",
24
+ "[::1]:5000",
25
+ "[::ffff:127.0.0.1]:5000",
26
+ "10.0.0.5:5000",
27
+ "203.0.113.7:5000",
28
+ "[2001:db8::1]:5000",
29
+ ];
20
30
 
21
31
  fn random_method(rng: &mut Rng) -> Method {
22
- let methods = [Method::GET, Method::POST, Method::PUT, Method::DELETE, Method::PATCH, Method::HEAD, Method::OPTIONS, Method::TRACE, Method::CONNECT];
32
+ let methods = [
33
+ Method::GET,
34
+ Method::POST,
35
+ Method::PUT,
36
+ Method::DELETE,
37
+ Method::PATCH,
38
+ Method::HEAD,
39
+ Method::OPTIONS,
40
+ Method::TRACE,
41
+ Method::CONNECT,
42
+ ];
23
43
  if rng.chance(8) {
24
44
  Method::from_bytes(b"BREW").unwrap()
25
45
  } else {
@@ -29,13 +49,34 @@ fn random_method(rng: &mut Rng) -> Method {
29
49
 
30
50
  /// A URI that parses: a hostile path built from the pieces, or a fixed route the limiter knows.
31
51
  fn random_uri(rng: &mut Rng) -> Uri {
32
- const FIXED: &[&str] = &["/", "/newsletter/subscribers", "/registrations", "/api/me", "/login", "/%00", "/../..", "/a?b=%a", "/x?%", "/a//b", "/a;b", "*"];
52
+ const FIXED: &[&str] = &[
53
+ "/",
54
+ "/newsletter/subscribers",
55
+ "/registrations",
56
+ "/api/me",
57
+ "/login",
58
+ "/%00",
59
+ "/../..",
60
+ "/a?b=%a",
61
+ "/x?%",
62
+ "/a//b",
63
+ "/a;b",
64
+ "*",
65
+ ];
33
66
  if rng.chance(3) {
34
67
  return rng.pick(FIXED).parse().unwrap();
35
68
  }
36
69
  for _ in 0..8 {
37
- let path: String = (0..rng.below(4)).map(|_| format!("/{}", rng.pick(PIECES_ASCII))).collect();
38
- let query = if rng.chance(2) { format!("?{}={}", rng.pick(PIECES_ASCII), rng.pick(PIECES_ASCII)) } else { String::new() };
70
+ let path = (0..rng.below(4)).fold(String::new(), |mut path, _| {
71
+ path.push('/');
72
+ path.push_str(rng.pick(PIECES_ASCII));
73
+ path
74
+ });
75
+ let query = if rng.chance(2) {
76
+ format!("?{}={}", rng.pick(PIECES_ASCII), rng.pick(PIECES_ASCII))
77
+ } else {
78
+ String::new()
79
+ };
39
80
  if let Ok(uri) = format!("{path}{query}").parse::<Uri>() {
40
81
  return uri;
41
82
  }
@@ -43,10 +84,43 @@ fn random_uri(rng: &mut Rng) -> Uri {
43
84
  "/".parse().unwrap()
44
85
  }
45
86
 
46
- const PIECES_ASCII: &[&str] = &["a", "b", "0", "%41", "%zz", "%", "%00", "..", ".", "-", "_", "id", "api", "me", "newsletter", "subscribers", "x y", "a+b", "=", "&", "a=b"];
87
+ const PIECES_ASCII: &[&str] = &[
88
+ "a",
89
+ "b",
90
+ "0",
91
+ "%41",
92
+ "%zz",
93
+ "%",
94
+ "%00",
95
+ "..",
96
+ ".",
97
+ "-",
98
+ "_",
99
+ "id",
100
+ "api",
101
+ "me",
102
+ "newsletter",
103
+ "subscribers",
104
+ "x y",
105
+ "a+b",
106
+ "=",
107
+ "&",
108
+ "a=b",
109
+ ];
47
110
 
48
111
  fn random_headers(rng: &mut Rng) -> HeaderMap {
49
- const NAMES: &[&str] = &["x-forwarded-for", "cookie", "content-type", "authorization", "host", "x-real-ip", "x-hecks-proxy-auth", "x-anything", "content-length", "set-cookie"];
112
+ const NAMES: &[&str] = &[
113
+ "x-forwarded-for",
114
+ "cookie",
115
+ "content-type",
116
+ "authorization",
117
+ "host",
118
+ "x-real-ip",
119
+ "x-hecks-proxy-auth",
120
+ "x-anything",
121
+ "content-length",
122
+ "set-cookie",
123
+ ];
50
124
  let mut headers = HeaderMap::new();
51
125
  for _ in 0..rng.below(5) {
52
126
  let name = HeaderName::from_static(rng.pick(NAMES));
@@ -81,20 +155,47 @@ fn admit_answers_every_hostile_request_without_panicking() {
81
155
  let headers = random_headers(&mut rng);
82
156
  let body = Bytes::from(random_bytes(&mut rng));
83
157
 
84
- let parsed = if body.is_empty() { Some(json!({})) } else { serde_json::from_slice::<Value>(&body).ok() };
158
+ let parsed = if body.is_empty() {
159
+ Some(json!({}))
160
+ } else {
161
+ serde_json::from_slice::<Value>(&body).ok()
162
+ };
85
163
  let answer = admit(&limits, from, &method, &uri, &headers, &body);
86
164
  match (parsed, answer) {
87
- (None, Err(refusal)) => assert_eq!(status_of(&refusal), 400, "seed {seed}: a body that is not JSON is a 400, got {}", status_of(&refusal)),
88
- (None, Ok(envelope)) => panic!("seed {seed}: admitted a body that is not JSON: {envelope}"),
89
- (Some(_), Err(refusal)) => assert_eq!(status_of(&refusal), 429, "seed {seed}: valid JSON is refused only by the limiter, got {}", status_of(&refusal)),
165
+ (None, Err(refusal)) => assert_eq!(
166
+ status_of(&refusal),
167
+ 400,
168
+ "seed {seed}: a body that is not JSON is a 400, got {}",
169
+ status_of(&refusal)
170
+ ),
171
+ (None, Ok(envelope)) => {
172
+ panic!("seed {seed}: admitted a body that is not JSON: {envelope}")
173
+ }
174
+ (Some(_), Err(refusal)) => assert_eq!(
175
+ status_of(&refusal),
176
+ 429,
177
+ "seed {seed}: valid JSON is refused only by the limiter, got {}",
178
+ status_of(&refusal)
179
+ ),
90
180
  (Some(parsed), Ok(envelope)) => {
91
- let internal = trusts_internal_dispatch(from) && is_internal_dispatch_shape(&parsed);
181
+ let internal =
182
+ trusts_internal_dispatch(from) && is_internal_dispatch_shape(&parsed);
92
183
  if internal {
93
- assert_eq!(envelope, parsed, "seed {seed}: a trusted internal body passes through untouched");
184
+ assert_eq!(
185
+ envelope, parsed,
186
+ "seed {seed}: a trusted internal body passes through untouched"
187
+ );
94
188
  } else {
95
- assert_eq!(envelope["requestContext"]["http"]["method"], method.as_str(), "seed {seed}");
189
+ assert_eq!(
190
+ envelope["requestContext"]["http"]["method"],
191
+ method.as_str(),
192
+ "seed {seed}"
193
+ );
96
194
  assert_eq!(envelope["rawPath"], uri.path(), "seed {seed}");
97
- assert!(envelope["body"].is_string(), "seed {seed}: the synthesized body is text");
195
+ assert!(
196
+ envelope["body"].is_string(),
197
+ "seed {seed}: the synthesized body is text"
198
+ );
98
199
  assert_eq!(envelope["isBase64Encoded"], false, "seed {seed}");
99
200
  }
100
201
  }
@@ -113,18 +214,54 @@ fn a_public_peer_can_never_smuggle_in_the_internal_dispatch_protocol() {
113
214
  let limits = limits(&[]);
114
215
  for _ in 0..20 {
115
216
  let mut internal = serde_json::Map::new();
116
- for key in ["verb", "role", "actor_id", "args", "read", "query", "to", "with", "requestContext", "cookies"] {
217
+ for key in [
218
+ "verb",
219
+ "role",
220
+ "actor_id",
221
+ "args",
222
+ "read",
223
+ "query",
224
+ "to",
225
+ "with",
226
+ "requestContext",
227
+ "cookies",
228
+ ] {
117
229
  if rng.chance(2) {
118
230
  internal.insert(key.to_string(), random_value(&mut rng, 1));
119
231
  }
120
232
  }
121
233
  let body = Bytes::from(Value::Object(internal).to_string());
122
234
  let from = peer(rng.pick(&PEERS[3..]));
123
- let envelope = admit(&limits, from, &Method::POST, &"/x".parse().unwrap(), &random_headers(&mut rng), &body)
124
- .unwrap_or_else(|_| panic!("seed {seed}: valid JSON from a public peer is admitted"));
125
- let keys: std::collections::BTreeSet<&str> = envelope.as_object().unwrap().keys().map(String::as_str).collect();
126
- let expected: std::collections::BTreeSet<&str> = ["requestContext", "rawPath", "rawQueryString", "headers", "body", "isBase64Encoded"].into();
127
- assert_eq!(keys, expected, "seed {seed}: a public peer's body must be wrapped as plain request data");
235
+ let envelope = admit(
236
+ &limits,
237
+ from,
238
+ &Method::POST,
239
+ &"/x".parse().unwrap(),
240
+ &random_headers(&mut rng),
241
+ &body,
242
+ )
243
+ .unwrap_or_else(|_| {
244
+ panic!("seed {seed}: valid JSON from a public peer is admitted")
245
+ });
246
+ let keys: std::collections::BTreeSet<&str> = envelope
247
+ .as_object()
248
+ .unwrap()
249
+ .keys()
250
+ .map(String::as_str)
251
+ .collect();
252
+ let expected: std::collections::BTreeSet<&str> = [
253
+ "requestContext",
254
+ "rawPath",
255
+ "rawQueryString",
256
+ "headers",
257
+ "body",
258
+ "isBase64Encoded",
259
+ ]
260
+ .into();
261
+ assert_eq!(
262
+ keys, expected,
263
+ "seed {seed}: a public peer's body must be wrapped as plain request data"
264
+ );
128
265
  }
129
266
  });
130
267
  }
@@ -135,15 +272,47 @@ fn a_malformed_body_is_refused_before_it_costs_any_rate_limit_budget() {
135
272
  let limits = limits(&[("HECKS_RATE_LIMIT_SUBSCRIBE", "1")]);
136
273
  let from = peer("203.0.113.7:5000");
137
274
  let uri: Uri = "/newsletter/subscribers".parse().unwrap();
138
- for body in ["{", "not json", "{\"a\":", "\u{0}", "[1,", "{\"a\":1}x", "\u{feff}{}"] {
275
+ for body in [
276
+ "{",
277
+ "not json",
278
+ "{\"a\":",
279
+ "\u{0}",
280
+ "[1,",
281
+ "{\"a\":1}x",
282
+ "\u{feff}{}",
283
+ ] {
139
284
  for _ in 0..10 {
140
- let refusal = admit(&limits, from, &Method::POST, &uri, &HeaderMap::new(), &Bytes::from(body.to_string())).err().expect("refused");
285
+ let refusal = admit(
286
+ &limits,
287
+ from,
288
+ &Method::POST,
289
+ &uri,
290
+ &HeaderMap::new(),
291
+ &Bytes::from(body.to_string()),
292
+ )
293
+ .expect_err("refused");
141
294
  assert_eq!(status_of(&refusal), 400, "{body:?}");
142
295
  }
143
296
  }
144
- let spent = |limits: &RateLimits| admit(limits, from, &Method::POST, &uri, &HeaderMap::new(), &Bytes::from("{}")).is_ok();
145
- assert!(spent(&limits), "the one allowed request still goes through after the refusals");
146
- assert!(!spent(&limits), "and the next is limited: only the valid request spent budget");
297
+ let spent = |limits: &RateLimits| {
298
+ admit(
299
+ limits,
300
+ from,
301
+ &Method::POST,
302
+ &uri,
303
+ &HeaderMap::new(),
304
+ &Bytes::from("{}"),
305
+ )
306
+ .is_ok()
307
+ };
308
+ assert!(
309
+ spent(&limits),
310
+ "the one allowed request still goes through after the refusals"
311
+ );
312
+ assert!(
313
+ !spent(&limits),
314
+ "and the next is limited: only the valid request spent budget"
315
+ );
147
316
  }
148
317
 
149
318
  #[test]
@@ -152,18 +321,61 @@ fn invalid_utf8_and_oversized_bodies_are_answered() {
152
321
  let from = peer("203.0.113.7:5000");
153
322
  let uri: Uri = "/x".parse().unwrap();
154
323
  let invalid = Bytes::from(vec![0xff, 0xfe, 0xfd]);
155
- assert_eq!(status_of(&admit(&limits, from, &Method::POST, &uri, &HeaderMap::new(), &invalid).err().unwrap()), 400);
324
+ assert_eq!(
325
+ status_of(
326
+ &admit(
327
+ &limits,
328
+ from,
329
+ &Method::POST,
330
+ &uri,
331
+ &HeaderMap::new(),
332
+ &invalid
333
+ )
334
+ .err()
335
+ .unwrap()
336
+ ),
337
+ 400
338
+ );
156
339
 
157
340
  // A 16 MiB body of valid JSON is admitted as text (a size cap belongs to the listener, not here)
158
341
  // and a 16 MiB run of openers is refused by the parser's depth limit rather than overflowing.
159
342
  guarded("large bodies", move || {
160
343
  let big_string = Bytes::from(format!("\"{}\"", "a".repeat(16 * 1024 * 1024)));
161
- assert!(admit(&limits, from, &Method::POST, &uri, &HeaderMap::new(), &big_string).is_ok());
344
+ assert!(admit(
345
+ &limits,
346
+ from,
347
+ &Method::POST,
348
+ &uri,
349
+ &HeaderMap::new(),
350
+ &big_string
351
+ )
352
+ .is_ok());
162
353
  let openers = Bytes::from("[".repeat(16 * 1024 * 1024));
163
- let refusal = admit(&limits, from, &Method::POST, &uri, &HeaderMap::new(), &openers).err().expect("refused");
354
+ let refusal = admit(
355
+ &limits,
356
+ from,
357
+ &Method::POST,
358
+ &uri,
359
+ &HeaderMap::new(),
360
+ &openers,
361
+ )
362
+ .expect_err("refused");
164
363
  assert_eq!(status_of(&refusal), 400);
165
364
  let nested = Bytes::from(format!("{}1{}", "[".repeat(100_000), "]".repeat(100_000)));
166
- assert_eq!(status_of(&admit(&limits, from, &Method::POST, &uri, &HeaderMap::new(), &nested).err().expect("refused")), 400);
365
+ assert_eq!(
366
+ status_of(
367
+ &admit(
368
+ &limits,
369
+ from,
370
+ &Method::POST,
371
+ &uri,
372
+ &HeaderMap::new(),
373
+ &nested
374
+ )
375
+ .expect_err("refused")
376
+ ),
377
+ 400
378
+ );
167
379
  });
168
380
  }
169
381
 
@@ -174,7 +386,14 @@ fn value_to_response_answers_any_shape_of_handler_output() {
174
386
  let mut rng = Rng::new(seed ^ 0xFACE);
175
387
  for _ in 0..30 {
176
388
  let mut value = serde_json::Map::new();
177
- for key in ["statusCode", "headers", "cookies", "body", "isBase64Encoded", "extra"] {
389
+ for key in [
390
+ "statusCode",
391
+ "headers",
392
+ "cookies",
393
+ "body",
394
+ "isBase64Encoded",
395
+ "extra",
396
+ ] {
178
397
  if rng.chance(4) {
179
398
  continue;
180
399
  }
@@ -186,8 +405,28 @@ fn value_to_response_answers_any_shape_of_handler_output() {
186
405
  }
187
406
  Value::Object(map)
188
407
  }
189
- "cookies" if rng.chance(2) => Value::Array((0..rng.below(4)).map(|_| random_value(&mut rng, 2)).collect()),
190
- "statusCode" if rng.chance(2) => json!(*rng.pick(&[0u64, 99, 100, 199, 200, 204, 299, 301, 404, 599, 600, 999, 65_536, 65_736, u64::MAX])),
408
+ "cookies" if rng.chance(2) => Value::Array(
409
+ (0..rng.below(4))
410
+ .map(|_| random_value(&mut rng, 2))
411
+ .collect(),
412
+ ),
413
+ "statusCode" if rng.chance(2) => json!(*rng.pick(&[
414
+ 0u64,
415
+ 99,
416
+ 100,
417
+ 199,
418
+ 200,
419
+ 204,
420
+ 299,
421
+ 301,
422
+ 404,
423
+ 599,
424
+ 600,
425
+ 999,
426
+ 65_536,
427
+ 65_736,
428
+ u64::MAX
429
+ ])),
191
430
  _ => random_value(&mut rng, 1),
192
431
  };
193
432
  value.insert(key.to_string(), field);
@@ -209,7 +448,10 @@ fn an_out_of_range_status_code_is_a_500_not_a_wrapped_status() {
209
448
  let response = value_to_response(json!({ "statusCode": code, "body": "x" }));
210
449
  assert_eq!(status_of(&response), 500, "statusCode {code}");
211
450
  }
212
- assert_eq!(status_of(&value_to_response(json!({ "statusCode": 204 }))), 204);
451
+ assert_eq!(
452
+ status_of(&value_to_response(json!({ "statusCode": 204 }))),
453
+ 204
454
+ );
213
455
  }
214
456
 
215
457
  #[test]
@@ -222,6 +464,11 @@ fn control_characters_in_response_headers_and_cookies_are_dropped_not_emitted()
222
464
  }));
223
465
  assert!(response.headers().get("x-split").is_none());
224
466
  assert!(response.headers().get("x-injected").is_none());
225
- let cookies: Vec<&str> = response.headers().get_all("set-cookie").iter().filter_map(|v| v.to_str().ok()).collect();
467
+ let cookies: Vec<&str> = response
468
+ .headers()
469
+ .get_all("set-cookie")
470
+ .iter()
471
+ .filter_map(|v| v.to_str().ok())
472
+ .collect();
226
473
  assert_eq!(cookies, vec!["session=abc; Path=/"]);
227
474
  }
@@ -8,7 +8,25 @@ use crate::fuzz_support::*;
8
8
  #[test]
9
9
  fn percent_decoding_never_slices_through_a_multi_byte_character() {
10
10
  // `%a` followed by a 4-byte character puts the two-digit hex window mid-character.
11
- for text in ["%a🍕", "%🍕", "%é", "a%é", "%a日", "%%a🍕", "%1é1", "🍕%", "🍕%a", "%a", "%", "%%", "%4", "%41", "x%e6%97%a5y", "%e6%97", "%ff%fe"] {
11
+ for text in [
12
+ "%a🍕",
13
+ "%🍕",
14
+ "%é",
15
+ "a%é",
16
+ "%a日",
17
+ "%%a🍕",
18
+ "%1é1",
19
+ "🍕%",
20
+ "🍕%a",
21
+ "%a",
22
+ "%",
23
+ "%%",
24
+ "%4",
25
+ "%41",
26
+ "x%e6%97%a5y",
27
+ "%e6%97",
28
+ "%ff%fe",
29
+ ] {
12
30
  for plus_as_space in [true, false] {
13
31
  let decoded = percent_decode_impl(text, plus_as_space);
14
32
  assert!(decoded.len() < text.len() * 4 + 4, "{text:?}");
@@ -39,7 +57,11 @@ fn form_and_query_strings_decode_any_text() {
39
57
  let _ = percent_decode(&text);
40
58
  let _ = auth::urlencode(&text);
41
59
  // What the encoder emits, the decoder must read back exactly.
42
- assert_eq!(percent_decode_impl(&auth::urlencode(&text), false), text, "seed {seed}: {text:?}");
60
+ assert_eq!(
61
+ percent_decode_impl(&auth::urlencode(&text), false),
62
+ text,
63
+ "seed {seed}: {text:?}"
64
+ );
43
65
  }
44
66
  });
45
67
  }
@@ -48,7 +70,10 @@ fn form_and_query_strings_decode_any_text() {
48
70
  #[test]
49
71
  fn huge_query_strings_decode_in_linear_time() {
50
72
  guarded("huge query", || {
51
- let pairs = (0..200_000).map(|i| format!("k{i}=%41%e6%97%a5")).collect::<Vec<_>>().join("&");
73
+ let pairs = (0..200_000)
74
+ .map(|i| format!("k{i}=%41%e6%97%a5"))
75
+ .collect::<Vec<_>>()
76
+ .join("&");
52
77
  assert_eq!(parse_query(&pairs).len(), 200_000);
53
78
  let _ = parse_form(&"%".repeat(5_000_000));
54
79
  let _ = parse_form(&"%a🍕".repeat(1_000_000));
@@ -65,7 +90,9 @@ fn cookie_extraction_reads_any_event_shape() {
65
90
  0 => random_value(&mut rng, 0),
66
91
  1 => json!({"cookies": random_value(&mut rng, 2)}),
67
92
  2 => json!({"headers": {"cookie": random_value(&mut rng, 1)}}),
68
- _ => json!({"cookies": [random_text(&mut rng), random_text(&mut rng)], "headers": {"cookie": random_text(&mut rng)}}),
93
+ _ => {
94
+ json!({"cookies": [random_text(&mut rng), random_text(&mut rng)], "headers": {"cookie": random_text(&mut rng)}})
95
+ }
69
96
  };
70
97
  let _ = extract_cookies(&body);
71
98
  }
@@ -105,7 +132,10 @@ fn paths_and_origins_shape_any_text() {
105
132
  for authenticated in [true, false] {
106
133
  if let Some(refusal) = auth_gate(&path, authenticated) {
107
134
  let status = refusal["statusCode"].as_u64().expect("a status");
108
- assert!(status == 401 || status == 302, "seed {seed}: {path:?} gated with {status}");
135
+ assert!(
136
+ status == 401 || status == 302,
137
+ "seed {seed}: {path:?} gated with {status}"
138
+ );
109
139
  }
110
140
  }
111
141
  }
@@ -116,10 +146,28 @@ fn paths_and_origins_shape_any_text() {
116
146
  #[test]
117
147
  fn an_unauthenticated_request_is_never_let_past_the_gate_by_a_path_trick() {
118
148
  // Only the four sign-in paths are open; near-misses must be gated.
119
- for path in ["/login/", "/LOGIN", "/login%2f", "//login", "/login/../admin", "/auth/google/", "/auth/google/callback/x", "/logout.json", "/./login", "/login?x", "/login "] {
120
- assert!(auth_gate(path, false).is_some(), "{path:?} must be gated for an anonymous caller");
149
+ for path in [
150
+ "/login/",
151
+ "/LOGIN",
152
+ "/login%2f",
153
+ "//login",
154
+ "/login/../admin",
155
+ "/auth/google/",
156
+ "/auth/google/callback/x",
157
+ "/logout.json",
158
+ "/./login",
159
+ "/login?x",
160
+ "/login ",
161
+ ] {
162
+ assert!(
163
+ auth_gate(path, false).is_some(),
164
+ "{path:?} must be gated for an anonymous caller"
165
+ );
121
166
  }
122
167
  for path in ["/login", "/logout", "/auth/google", "/auth/google/callback"] {
123
- assert!(auth_gate(path, false).is_none(), "{path:?} is the sign-in path");
168
+ assert!(
169
+ auth_gate(path, false).is_none(),
170
+ "{path:?} is the sign-in path"
171
+ );
124
172
  }
125
173
  }