hecks 3.10.0 → 3.12.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 (542) hide show
  1. checksums.yaml +4 -4
  2. data/examples/pizzas/bluebook/pizzas.bluebook +29 -0
  3. data/examples/pizzas/bluebook/pizzas.hecksagon +7 -0
  4. data/exe/hecks +4 -4
  5. data/lib/hecks/adapters/driven/d1.rb +2 -10
  6. data/lib/hecks/adapters/driven/heki.adapter +1 -1
  7. data/lib/hecks/adapters/driven/heki.rb +2 -12
  8. data/lib/hecks/adapters/driven/lambda.adapter +1 -1
  9. data/lib/hecks/adapters/driven/lambda.rb +3 -18
  10. data/lib/hecks/adapters/driven/postgres.rb +4 -11
  11. data/lib/hecks/adapters/driven/sqlite.adapter +1 -1
  12. data/lib/hecks/adapters/driven/sqlite.rb +2 -10
  13. data/lib/hecks/adapters/driving/admission.rb +46 -0
  14. data/lib/hecks/adapters/driving/cli/nesting.rb +36 -0
  15. data/lib/hecks/adapters/driving/cli/shorthand.rb +88 -0
  16. data/lib/hecks/adapters/driving/cli.rb +127 -0
  17. data/lib/hecks/adapters/driving/cli_runner/answers.rb +160 -0
  18. data/lib/hecks/adapters/driving/cli_runner/resolution.rb +158 -0
  19. data/lib/hecks/adapters/driving/cli_runner/settling.rb +120 -0
  20. data/lib/hecks/adapters/driving/cli_runner/streaming.rb +93 -0
  21. data/lib/hecks/adapters/driving/cli_runner/suggestions.rb +47 -0
  22. data/lib/hecks/adapters/driving/cli_runner.rb +70 -0
  23. data/lib/hecks/adapters/driving/command_request.rb +121 -0
  24. data/lib/hecks/adapters/driving/handle.rb +214 -0
  25. data/lib/hecks/adapters/driving/json.rb +136 -0
  26. data/lib/hecks/adapters/driving/launcher_options.rb +267 -0
  27. data/lib/hecks/adapters/driving/mcp/properties.rb +49 -0
  28. data/lib/hecks/adapters/driving/mcp/tool_calls.rb +116 -0
  29. data/lib/hecks/adapters/driving/mcp/tool_definitions/auditing.rb +53 -0
  30. data/lib/hecks/adapters/driving/mcp/tool_definitions/calling.rb +71 -0
  31. data/lib/hecks/adapters/driving/mcp/tool_definitions/reading.rb +99 -0
  32. data/lib/hecks/adapters/driving/mcp/tool_definitions.rb +18 -0
  33. data/lib/hecks/adapters/driving/mcp.rb +159 -0
  34. data/lib/hecks/adapters/driving/mcp_guide_cache.rb +78 -0
  35. data/lib/hecks/adapters/driving/mcp_scope/argument_policy.rb +97 -0
  36. data/lib/hecks/adapters/driving/mcp_scope/env_problems.rb +69 -0
  37. data/lib/hecks/adapters/driving/mcp_scope/presenter.rb +83 -0
  38. data/lib/hecks/adapters/driving/mcp_scope.rb +213 -0
  39. data/lib/hecks/adapters/driving/newcomer.rb +50 -0
  40. data/lib/hecks/adapters/driving/ruby/aggregate_module.rb +171 -0
  41. data/lib/hecks/adapters/driving/ruby/chapter.rb +91 -0
  42. data/lib/hecks/adapters/driving/ruby.rb +83 -0
  43. data/lib/hecks/adapters/driving/usage_cache.rb +144 -0
  44. data/lib/hecks/{doors.rb → adapters/driving.rb} +10 -6
  45. data/lib/hecks/behaviors/expectations/boot.rb +1 -1
  46. data/lib/hecks/bench/ruby_runner.rb +1 -1
  47. data/lib/hecks/bluebook/ask_resolution.rb +130 -0
  48. data/lib/hecks/bluebook/assembly/aggregate_assembly.rb +8 -2
  49. data/lib/hecks/bluebook/assembly/contracts/read_models.rb +1 -1
  50. data/lib/hecks/bluebook/assembly/contracts/rules.rb +4 -2
  51. data/lib/hecks/bluebook/assembly/contracts/structure.rb +3 -1
  52. data/lib/hecks/bluebook/assembly/marks.rb +4 -15
  53. data/lib/hecks/bluebook/assembly/scalars.rb +39 -0
  54. data/lib/hecks/bluebook/attribute.rb +1 -1
  55. data/lib/hecks/bluebook/behaviour/command.rb +13 -8
  56. data/lib/hecks/bluebook/behaviour/policy.rb +30 -0
  57. data/lib/hecks/bluebook/capabilities/attribute_values.rb +72 -0
  58. data/lib/hecks/bluebook/capabilities.rb +91 -9
  59. data/lib/hecks/bluebook/domain_port.rb +16 -4
  60. data/lib/hecks/bluebook/dsl/adapter_builder.rb +18 -6
  61. data/lib/hecks/bluebook/dsl/binding_proxy.rb +13 -0
  62. data/lib/hecks/bluebook/dsl/bluebook_builder/validation/computed_sources.rb +98 -0
  63. data/lib/hecks/bluebook/dsl/bluebook_builder/validation/fan_out_rows.rb +42 -0
  64. data/lib/hecks/bluebook/dsl/bluebook_builder/validation/projected_fields.rb +14 -2
  65. data/lib/hecks/bluebook/dsl/bluebook_builder/validation/provisions.rb +69 -3
  66. data/lib/hecks/bluebook/dsl/bluebook_builder/validation/with_projections.rb +17 -10
  67. data/lib/hecks/bluebook/dsl/bluebook_builder/validation.rb +5 -0
  68. data/lib/hecks/bluebook/dsl/bootstrap_table.rb +2 -0
  69. data/lib/hecks/bluebook/dsl/command_builder/mutations.rb +8 -1
  70. data/lib/hecks/bluebook/dsl/command_builder/operands.rb +121 -0
  71. data/lib/hecks/bluebook/dsl/command_builder.rb +2 -0
  72. data/lib/hecks/bluebook/dsl/hecksagon_builder.rb +10 -1
  73. data/lib/hecks/bluebook/dsl/lifecycle_builder.rb +45 -2
  74. data/lib/hecks/bluebook/dsl/policy_builder.rb +47 -10
  75. data/lib/hecks/bluebook/dsl/rule_reference.rb +7 -4
  76. data/lib/hecks/bluebook/dsl/world_builder.rb +1 -1
  77. data/lib/hecks/bluebook/expression/ast_json/emitters.rb +6 -0
  78. data/lib/hecks/bluebook/expression/ast_json.rb +9 -6
  79. data/lib/hecks/bluebook/expression/ast_reader.rb +14 -9
  80. data/lib/hecks/bluebook/expression/projection.json +36 -0
  81. data/lib/hecks/bluebook/expression/resolver/operations.rb +31 -0
  82. data/lib/hecks/bluebook/expression/resolver/parsing.rb +38 -5
  83. data/lib/hecks/bluebook/expression/resolver/scanning.rb +22 -5
  84. data/lib/hecks/bluebook/expression/resolver/values.rb +10 -0
  85. data/lib/hecks/bluebook/expression/resolver.rb +20 -1
  86. data/lib/hecks/bluebook/hecksagon.rb +23 -3
  87. data/lib/hecks/bluebook/lifecycle.rb +22 -3
  88. data/lib/hecks/bluebook/meta_validator/adapter_judge.rb +13 -1
  89. data/lib/hecks/bluebook/meta_validator/modes.rb +4 -1
  90. data/lib/hecks/bluebook/meta_validator/readings.rb +24 -1
  91. data/lib/hecks/bluebook/meta_validator/reconstruction/heads.rb +2 -1
  92. data/lib/hecks/bluebook/meta_validator/reconstruction.rb +6 -3
  93. data/lib/hecks/bluebook/meta_validator/shapes.rb +5 -0
  94. data/lib/hecks/bluebook/meta_validator/verdict_cache.rb +1 -1
  95. data/lib/hecks/bluebook/meta_validator.rb +12 -12
  96. data/lib/hecks/bluebook/model_check/ask_checks.rb +71 -0
  97. data/lib/hecks/bluebook/model_check/policy_checks.rb +2 -1
  98. data/lib/hecks/bluebook/model_check/reference_checks.rb +70 -0
  99. data/lib/hecks/bluebook/model_check.rb +8 -2
  100. data/lib/hecks/bluebook/policy.rb +4 -2
  101. data/lib/hecks/bluebook/smoke_test.rb +1 -1
  102. data/lib/hecks/bluebook/synthesizer.rb +2 -0
  103. data/lib/hecks/bluebook.rb +2 -0
  104. data/lib/hecks/cli/command_table.rb +1 -1
  105. data/lib/hecks/cli/console.rb +2 -1
  106. data/lib/hecks/cli/document.rb +1 -1
  107. data/lib/hecks/cli/launcher_words.rb +4 -4
  108. data/lib/hecks/cli/mcp.rb +4 -4
  109. data/lib/hecks/cli/project_cli/launcher_source.rb +2 -2
  110. data/lib/hecks/cli/project_cli/templates.rb +5 -5
  111. data/lib/hecks/cli/project_cli.rb +9 -6
  112. data/lib/hecks/cli/run.rb +2 -2
  113. data/lib/hecks/cli/smoke_http/checks.rb +4 -1
  114. data/lib/hecks/cli/smoke_http/transport.rb +3 -3
  115. data/lib/hecks/cli/smoke_http.rb +3 -0
  116. data/lib/hecks/codemod.rb +5 -2
  117. data/lib/hecks/corpus/routes.rb +7 -0
  118. data/lib/hecks/corpus/rust.rb +3 -2
  119. data/lib/hecks/deploy/bluebook/deploy.bluebook +34 -4
  120. data/lib/hecks/doc/reference/rendering.rb +6 -3
  121. data/lib/hecks/forms/app/commands.rb +8 -7
  122. data/lib/hecks/forms/app/queries.rb +2 -1
  123. data/lib/hecks/forms/app.rb +1 -1
  124. data/lib/hecks/forms/record_renderer.rb +1 -1
  125. data/lib/hecks/framework/bluebook/privacy.bluebook +11 -0
  126. data/lib/hecks/fuzzing/concurrent_dispatch.rb +4 -1
  127. data/lib/hecks/fuzzing/failure_triage.rb +2 -1
  128. data/lib/hecks/fuzzing/mutation/run.rb +11 -4
  129. data/lib/hecks/fuzzing/properties/catalog.rb +6 -4
  130. data/lib/hecks/fuzzing/properties/guaranteed_by_construction.rb +18 -11
  131. data/lib/hecks/fuzzing/properties/guards.rb +1 -1
  132. data/lib/hecks/fuzzing/self_consistency/saga_redelivery.rb +1 -1
  133. data/lib/hecks/fuzzing/self_consistency.rb +6 -2
  134. data/lib/hecks/fuzzing/shrinker.rb +3 -1
  135. data/lib/hecks/fuzzing/value_generator.rb +19 -5
  136. data/lib/hecks/gate/stages.yml +33 -7
  137. data/lib/hecks/grammar/evolve.rb +1 -1
  138. data/lib/hecks/grammar/expression_operators.json +372 -0
  139. data/lib/hecks/grammar/operators.rb +3 -1
  140. data/lib/hecks/hecks/adapters/codebase/corpus_tasks.rb +10 -10
  141. data/lib/hecks/hecks/adapters/codebase/inspection/rubycritic.rb +35 -0
  142. data/lib/hecks/hecks/adapters/codebase/inspection.rb +104 -0
  143. data/lib/hecks/hecks/adapters/codebase/publishing.rb +2 -1
  144. data/lib/hecks/hecks/adapters/codebase/release_facts.rb +12 -2
  145. data/lib/hecks/hecks/adapters/codebase/source_tree.rb +2 -1
  146. data/lib/hecks/hecks/adapters/codebase/test_runner.rb +1 -1
  147. data/lib/hecks/hecks/adapters/cost_explorer.rb +8 -5
  148. data/lib/hecks/hecks/adapters/deploy_toolchain/statuses.rb +2 -1
  149. data/lib/hecks/hecks/adapters/finding_github.rb +13 -6
  150. data/lib/hecks/hecks/adapters/first_admin.rb +2 -2
  151. data/lib/hecks/hecks/adapters/github_rulesets.rb +6 -3
  152. data/lib/hecks/hecks/adapters/in_process_boot.rb +1 -1
  153. data/lib/hecks/hecks/adapters/journal_store/compaction.rb +1 -1
  154. data/lib/hecks/hecks/adapters/journal_store/edge_audit.rb +10 -20
  155. data/lib/hecks/hecks/adapters/journal_store/held_domain.rb +28 -5
  156. data/lib/hecks/hecks/adapters/local_files.rb +2 -2
  157. data/lib/hecks/hecks/adapters/rehearsal/audit_report.rb +107 -0
  158. data/lib/hecks/hecks/adapters/rehearsal/census.rb +71 -0
  159. data/lib/hecks/hecks/adapters/rehearsal/declaration.rb +133 -0
  160. data/lib/hecks/hecks/adapters/rehearsal/environment.rb +83 -0
  161. data/lib/hecks/hecks/adapters/rehearsal/inquiry.rb +142 -0
  162. data/lib/hecks/hecks/adapters/rehearsal/memory_store.rb +96 -0
  163. data/lib/hecks/hecks/adapters/rehearsal/postgres_census.rb +100 -0
  164. data/lib/hecks/hecks/adapters/rehearsal/postgres_reading.rb +69 -0
  165. data/lib/hecks/hecks/adapters/rehearsal/postgres_store.rb +133 -0
  166. data/lib/hecks/hecks/adapters/rehearsal/rows.rb +41 -0
  167. data/lib/hecks/hecks/adapters/rehearsal/rust_audit.rb +83 -0
  168. data/lib/hecks/hecks/adapters/rehearsal/subject.rb +104 -0
  169. data/lib/hecks/hecks/adapters/rehearsal.rb +54 -0
  170. data/lib/hecks/hecks/adapters/rehearsal_store.adapter +7 -0
  171. data/lib/hecks/hecks/adapters/rehearsal_store.rb +81 -0
  172. data/lib/hecks/hecks/adapters/terminal.rb +13 -11
  173. data/lib/hecks/hecks/codebase.behaviors +13 -1
  174. data/lib/hecks/hecks/codebase.bluebook +239 -5
  175. data/lib/hecks/hecks/custodian.behaviors +24 -6
  176. data/lib/hecks/hecks/custodian.bluebook +6 -1227
  177. data/lib/hecks/hecks/deploy.behaviors +1 -1
  178. data/lib/hecks/hecks/deploy.world +1 -3
  179. data/lib/hecks/hecks/hecks.behaviors +1 -1
  180. data/lib/hecks/hecks/hecks.hecksagon +53 -18
  181. data/lib/hecks/hecks/hecks.world +13 -10
  182. data/lib/hecks/hecks/rehearsal.bluebook +477 -0
  183. data/lib/hecks/hecks/site.behaviors +1 -1
  184. data/lib/hecks/hecks/site.world +0 -1
  185. data/lib/hecks/hecks/tooling.bluebook +1238 -0
  186. data/lib/hecks/indifferent_key.rb +20 -0
  187. data/lib/hecks/language/adapter.bluebook +13 -3
  188. data/lib/hecks/language/bluebook/aggregate.bluebook +23 -0
  189. data/lib/hecks/language/bluebook/bluebook.behaviors +23 -0
  190. data/lib/hecks/language/bluebook/bluebook.bluebook +15 -0
  191. data/lib/hecks/language/bluebook/entity.bluebook +18 -0
  192. data/lib/hecks/language/bluebook/policy.behaviors +19 -0
  193. data/lib/hecks/language/bluebook/policy.bluebook +9 -1
  194. data/lib/hecks/language/bluebook/query.bluebook +1 -1
  195. data/lib/hecks/language/bluebook/vocabulary.bluebook +63 -4
  196. data/lib/hecks/language/hecksagon/domain_port.bluebook +1 -1
  197. data/lib/hecks/language/hecksagon/hecksagon.bluebook +22 -0
  198. data/lib/hecks/language/oidc.json +10 -0
  199. data/lib/hecks/language/port.bluebook +4 -4
  200. data/lib/hecks/literal.rb +12 -3
  201. data/lib/hecks/ports/key_vault.rb +7 -2
  202. data/lib/hecks/ports/persistence/plugins/era/era_check.rb +21 -10
  203. data/lib/hecks/ports/persistence/plugins/era/postgres_era/boot.rb +4 -2
  204. data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/era_resolver.rb +2 -1
  205. data/lib/hecks/ports/persistence/repository_factory.rb +6 -3
  206. data/lib/hecks/projection_files/expression_tables.rb +7 -2
  207. data/lib/hecks/projections/deploy/box/compose.rb +6 -4
  208. data/lib/hecks/projections/deploy/box/edge.rb +62 -0
  209. data/lib/hecks/projections/deploy/box/logging.rb +99 -0
  210. data/lib/hecks/projections/deploy/box/roll_scripts.rb +16 -8
  211. data/lib/hecks/projections/deploy/box/settings/cdn.rb +40 -0
  212. data/lib/hecks/projections/deploy/box/settings/logs.rb +40 -0
  213. data/lib/hecks/projections/deploy/box/settings/patterns.rb +11 -0
  214. data/lib/hecks/projections/deploy/box/settings/types.rb +16 -1
  215. data/lib/hecks/projections/deploy/box/settings.rb +6 -2
  216. data/lib/hecks/projections/deploy/box/stack_yaml.rb +5 -2
  217. data/lib/hecks/projections/deploy/box/templates/Makefile.tmpl +16 -0
  218. data/lib/hecks/projections/deploy/box/templates/box.yaml.tmpl +8 -4
  219. data/lib/hecks/projections/deploy/box/templates/deploy-box.sh.tmpl +32 -0
  220. data/lib/hecks/projections/deploy/box/templates/deploy-service.sh.tmpl +1 -1
  221. data/lib/hecks/projections/deploy/box/templates/edge.mk.tmpl +17 -0
  222. data/lib/hecks/projections/deploy/box/templates/edge.yaml.tmpl +65 -0
  223. data/lib/hecks/projections/deploy/box/templates/log-group.yaml.tmpl +12 -0
  224. data/lib/hecks/projections/deploy/box/templates/log-policy.yaml.tmpl +7 -0
  225. data/lib/hecks/projections/deploy/box/templates/render-compose-taskdef.sh.tmpl +5 -4
  226. data/lib/hecks/projections/deploy/box/templates/render-compose.sh.tmpl +5 -4
  227. data/lib/hecks/projections/deploy/box.rb +15 -3
  228. data/lib/hecks/projections/deploy/preview/preview.sh.erb +1 -1
  229. data/lib/hecks/projections/deploy/shared.rb +5 -2
  230. data/lib/hecks/projections/model/deviations.rb +2 -2
  231. data/lib/hecks/projections/model.rb +2 -2
  232. data/lib/hecks/projections/oidc.rb +13 -1
  233. data/lib/hecks/projections/shape.rb +5 -2
  234. data/lib/hecks/projections/site/cms_editor/attributes.rb +26 -6
  235. data/lib/hecks/projections/site/cms_editor/blocks.rb +157 -0
  236. data/lib/hecks/projections/site/cms_editor/checks.rb +14 -1
  237. data/lib/hecks/projections/site/cms_editor/clearing.rb +70 -0
  238. data/lib/hecks/projections/site/cms_editor/color.rb +124 -0
  239. data/lib/hecks/projections/site/cms_editor/composition.rb +42 -0
  240. data/lib/hecks/projections/site/cms_editor/destructive.rb +61 -0
  241. data/lib/hecks/projections/site/cms_editor/drafts.rb +102 -0
  242. data/lib/hecks/projections/site/cms_editor/hints.rb +74 -0
  243. data/lib/hecks/projections/site/cms_editor/icons.rb +86 -0
  244. data/lib/hecks/projections/site/cms_editor/key_kinds.rb +31 -0
  245. data/lib/hecks/projections/site/cms_editor/limits.rb +72 -0
  246. data/lib/hecks/projections/site/cms_editor/media.rb +1 -1
  247. data/lib/hecks/projections/site/cms_editor/moment.rb +34 -0
  248. data/lib/hecks/projections/site/cms_editor/palette.rb +115 -0
  249. data/lib/hecks/projections/site/cms_editor/pickers.rb +85 -0
  250. data/lib/hecks/projections/site/cms_editor/preview.rb +91 -0
  251. data/lib/hecks/projections/site/cms_editor/relations.rb +92 -0
  252. data/lib/hecks/projections/site/cms_editor/scale_checks.rb +66 -0
  253. data/lib/hecks/projections/site/cms_editor/scheduling.rb +150 -0
  254. data/lib/hecks/projections/site/cms_editor/schema.rb +96 -19
  255. data/lib/hecks/projections/site/cms_editor/setting.rb +52 -9
  256. data/lib/hecks/projections/site/cms_editor/targets.rb +86 -0
  257. data/lib/hecks/projections/site/cms_editor/templates/package.json.tmpl +18 -1
  258. data/lib/hecks/projections/site/cms_editor/templates/src/app.ts.tmpl +251 -57
  259. data/lib/hecks/projections/site/cms_editor/templates/src/assets.ts.tmpl +98 -0
  260. data/lib/hecks/projections/site/cms_editor/templates/src/auth/membership.ts.tmpl +32 -24
  261. data/lib/hecks/projections/site/cms_editor/templates/src/browser/app.css.tmpl +412 -0
  262. data/lib/hecks/projections/site/cms_editor/templates/src/browser/autosave.js.tmpl +144 -0
  263. data/lib/hecks/projections/site/cms_editor/templates/src/browser/blocks.js.tmpl +500 -0
  264. data/lib/hecks/projections/site/cms_editor/templates/src/browser/body_doc.js.tmpl +175 -0
  265. data/lib/hecks/projections/site/cms_editor/templates/src/browser/body_editor.js.tmpl +418 -0
  266. data/lib/hecks/projections/site/cms_editor/templates/src/browser/epoch.js.tmpl +61 -0
  267. data/lib/hecks/projections/site/cms_editor/templates/src/browser/forms.js.tmpl +210 -0
  268. data/lib/hecks/projections/site/cms_editor/templates/src/browser/lists.js.tmpl +40 -0
  269. data/lib/hecks/projections/site/cms_editor/templates/src/browser/main.js.tmpl +26 -0
  270. data/lib/hecks/projections/site/cms_editor/templates/src/browser/media_picker.js.tmpl +232 -0
  271. data/lib/hecks/projections/site/cms_editor/templates/src/browser/moments.js.tmpl +73 -0
  272. data/lib/hecks/projections/site/cms_editor/templates/src/browser/pickers.js.tmpl +152 -0
  273. data/lib/hecks/projections/site/cms_editor/templates/src/browser/preview.js.tmpl +98 -0
  274. data/lib/hecks/projections/site/cms_editor/templates/src/browser/shell.js.tmpl +140 -0
  275. data/lib/hecks/projections/site/cms_editor/templates/src/browser/toast.js.tmpl +66 -0
  276. data/lib/hecks/projections/site/cms_editor/templates/src/choices.ts.tmpl +99 -0
  277. data/lib/hecks/projections/site/cms_editor/templates/src/commands.ts.tmpl +78 -24
  278. data/lib/hecks/projections/site/cms_editor/templates/src/config.ts.tmpl +6 -0
  279. data/lib/hecks/projections/site/cms_editor/templates/src/flash.ts.tmpl +52 -0
  280. data/lib/hecks/projections/site/cms_editor/templates/src/host.ts.tmpl +19 -2
  281. data/lib/hecks/projections/site/cms_editor/templates/src/media/handler.ts.tmpl +31 -8
  282. data/lib/hecks/projections/site/cms_editor/templates/src/names.ts.tmpl +36 -0
  283. data/lib/hecks/projections/site/cms_editor/templates/src/schema.ts.tmpl +131 -2
  284. data/lib/hecks/projections/site/cms_editor/templates/src/ui/availability.ts.tmpl +15 -0
  285. data/lib/hecks/projections/site/cms_editor/templates/src/ui/block_list.js.tmpl +213 -0
  286. data/lib/hecks/projections/site/cms_editor/templates/src/ui/blocks.ts.tmpl +275 -0
  287. data/lib/hecks/projections/site/cms_editor/templates/src/ui/body_model.js.tmpl +8 -5
  288. data/lib/hecks/projections/site/cms_editor/templates/src/ui/detail.ts.tmpl +88 -0
  289. data/lib/hecks/projections/site/cms_editor/templates/src/ui/dialogs.ts.tmpl +43 -0
  290. data/lib/hecks/projections/site/cms_editor/templates/src/ui/fields.ts.tmpl +229 -34
  291. data/lib/hecks/projections/site/cms_editor/templates/src/ui/html.ts.tmpl +40 -81
  292. data/lib/hecks/projections/site/cms_editor/templates/src/ui/icons.ts.tmpl +15 -0
  293. data/lib/hecks/projections/site/cms_editor/templates/src/ui/input.ts.tmpl +29 -12
  294. data/lib/hecks/projections/site/cms_editor/templates/src/ui/links.ts.tmpl +100 -0
  295. data/lib/hecks/projections/site/cms_editor/templates/src/ui/moments.ts.tmpl +44 -0
  296. data/lib/hecks/projections/site/cms_editor/templates/src/ui/outline.ts.tmpl +53 -17
  297. data/lib/hecks/projections/site/cms_editor/templates/src/ui/pages.ts.tmpl +178 -88
  298. data/lib/hecks/projections/site/cms_editor/templates/src/ui/paging.ts.tmpl +82 -0
  299. data/lib/hecks/projections/site/cms_editor/templates/src/ui/pickers.ts.tmpl +110 -0
  300. data/lib/hecks/projections/site/cms_editor/templates/src/ui/preview.ts.tmpl +87 -0
  301. data/lib/hecks/projections/site/cms_editor/templates/src/ui/related.ts.tmpl +97 -0
  302. data/lib/hecks/projections/site/cms_editor/templates/src/ui/schedule.ts.tmpl +160 -0
  303. data/lib/hecks/projections/site/cms_editor/templates/src/ui/shell.ts.tmpl +211 -0
  304. data/lib/hecks/projections/site/cms_editor/templates/src/ui/table.ts.tmpl +151 -0
  305. data/lib/hecks/projections/site/cms_editor/templates/src/ui/theme.js.tmpl +16 -0
  306. data/lib/hecks/projections/site/cms_editor/templates/src/ui/values.ts.tmpl +69 -0
  307. data/lib/hecks/projections/site/cms_editor/templates/src/ui/words.ts.tmpl +97 -0
  308. data/lib/hecks/projections/site/cms_editor/templates/src/ui/world.ts.tmpl +35 -0
  309. data/lib/hecks/projections/site/cms_editor/templates/tsconfig.json.tmpl +2 -1
  310. data/lib/hecks/projections/site/cms_editor/theme.rb +29 -0
  311. data/lib/hecks/projections/site/cms_editor/theme_checks.rb +57 -0
  312. data/lib/hecks/projections/site/cms_editor.rb +49 -23
  313. data/lib/hecks/projections/site/role_probe.rb +2 -0
  314. data/lib/hecks/projections/site/site_root/workflow.rb +5 -0
  315. data/lib/hecks/projector/cli_audience.rb +22 -1
  316. data/lib/hecks/projector/cli_projector/listing.rb +1 -1
  317. data/lib/hecks/projector/cli_projector/option_specs.rb +1 -1
  318. data/lib/hecks/projector/cli_projector/usage.rb +15 -4
  319. data/lib/hecks/projector/docs_projector/closing.rb +1 -1
  320. data/lib/hecks/projector/docs_projector.rb +1 -1
  321. data/lib/hecks/projector/exporter/bindings.rb +40 -10
  322. data/lib/hecks/projector/exporter/capability_values.rb +55 -0
  323. data/lib/hecks/projector/narrate_projector/reactions.rb +1 -1
  324. data/lib/hecks/projector/target.rb +11 -0
  325. data/lib/hecks/projector.rb +32 -5
  326. data/lib/hecks/quality_control/adapters/github_checks.rb +12 -8
  327. data/lib/hecks/quality_control/adapters/github_issues.rb +8 -4
  328. data/lib/hecks/quality_control/cli/qa_open_pr.rb +2 -2
  329. data/lib/hecks/quality_control/cli/qa_sweep/checks/shrinking.rb +1 -1
  330. data/lib/hecks/quality_control/cli/qa_sweep/finding_report.rb +1 -1
  331. data/lib/hecks/quality_control/cli/qa_sweep.rb +1 -1
  332. data/lib/hecks/quality_control/quality_control.bluebook +6 -2
  333. data/lib/hecks/release/approval.rb +64 -0
  334. data/lib/hecks/router/{door.rb → aggregate_reader.rb} +5 -4
  335. data/lib/hecks/router/namespace_installer.rb +16 -16
  336. data/lib/hecks/router.rb +1 -1
  337. data/lib/hecks/runtime/best_effort.rb +22 -0
  338. data/lib/hecks/runtime/command_interpreter/mutation_applier.rb +12 -2
  339. data/lib/hecks/runtime/command_interpreter.rb +3 -2
  340. data/lib/hecks/runtime/command_rules/emission.rb +1 -1
  341. data/lib/hecks/runtime/dispatcher.rb +4 -4
  342. data/lib/hecks/runtime/entity_element/location.rb +1 -1
  343. data/lib/hecks/runtime/event.rb +5 -0
  344. data/lib/hecks/runtime/identity.rb +7 -6
  345. data/lib/hecks/runtime/interpreting.rb +2 -1
  346. data/lib/hecks/runtime/invocation_builder.rb +1 -1
  347. data/lib/hecks/runtime/loader/boot_steps.rb +8 -5
  348. data/lib/hecks/runtime/loader.rb +10 -10
  349. data/lib/hecks/runtime/policy_interpreter/arguments.rb +7 -4
  350. data/lib/hecks/runtime/policy_interpreter/fan_out.rb +3 -3
  351. data/lib/hecks/runtime/policy_interpreter.rb +6 -6
  352. data/lib/hecks/runtime/port_operation_interpreter.rb +1 -1
  353. data/lib/hecks/runtime/reaction_invocation.rb +1 -1
  354. data/lib/hecks/runtime/rebuild_sweep.rb +11 -1
  355. data/lib/hecks/runtime/registry/ask_verification.rb +35 -0
  356. data/lib/hecks/runtime/registry/hecksagon_rules.rb +10 -0
  357. data/lib/hecks/runtime/registry/merging.rb +1 -1
  358. data/lib/hecks/runtime/registry/providers.rb +16 -0
  359. data/lib/hecks/runtime/registry/read_repository.rb +6 -4
  360. data/lib/hecks/runtime/registry/verification.rb +4 -1
  361. data/lib/hecks/runtime/registry/world_defaults.rb +29 -0
  362. data/lib/hecks/runtime/registry.rb +1 -1
  363. data/lib/hecks/runtime/saga_interpreter/compensation.rb +1 -1
  364. data/lib/hecks/runtime/saga_interpreter/delivery.rb +4 -4
  365. data/lib/hecks/runtime/saga_interpreter/transitions.rb +1 -1
  366. data/lib/hecks/runtime/saga_interpreter.rb +3 -3
  367. data/lib/hecks/runtime/tenant_check.rb +5 -4
  368. data/lib/hecks/runtime/value/coercion.rb +2 -2
  369. data/lib/hecks/runtime/value/validation.rb +16 -4
  370. data/lib/hecks/runtime.rb +9 -9
  371. data/lib/hecks/rust_build/host.rb +11 -4
  372. data/lib/hecks/rust_build/prebuilt_binary.rb +101 -0
  373. data/lib/hecks/rust_build/project_rust/target_ir.rb +1 -1
  374. data/lib/hecks/rust_build/wasm.rb +1 -1
  375. data/lib/hecks/rust_build/wasm_browser.rb +1 -1
  376. data/lib/hecks/rust_build.rb +11 -0
  377. data/lib/hecks/served_options.rb +53 -0
  378. data/lib/hecks/site/bluebook/site.bluebook +1 -0
  379. data/lib/hecks/storehouse/audit.rb +1 -1
  380. data/lib/hecks/storehouse/dispatching.rb +8 -6
  381. data/lib/hecks/storehouse/introspection.rb +2 -2
  382. data/lib/hecks/storehouse/querying.rb +6 -4
  383. data/lib/hecks/storehouse.rb +4 -4
  384. data/lib/hecks/tools/ci_gate_decision.rb +35 -0
  385. data/lib/hecks/tools/ci_gates.rb +20 -1
  386. data/lib/hecks/tools/comment_style/source_file.rb +4 -1
  387. data/lib/hecks/tools/deploy_recipe_lint/fixtures.rb +4 -1
  388. data/lib/hecks/tools/lanes/files.rb +8 -0
  389. data/lib/hecks/tools/lanes/prebuilt_workflow.rb +81 -0
  390. data/lib/hecks/tools/lanes/rows.rb +6 -0
  391. data/lib/hecks/tools/lanes.rb +1 -0
  392. data/lib/hecks/tools/oidc_manifests.rb +4 -5
  393. data/lib/hecks/tools/regeneration_run.rb +11 -4
  394. data/lib/hecks/tools/release_only.rb +111 -0
  395. data/lib/hecks/tools/site_routes/editor_files.rb +12 -5
  396. data/lib/hecks/tools/tenant_provisioning.rb +2 -2
  397. data/lib/hecks/tools/tools_doc.rb +4 -4
  398. data/lib/hecks/version.rb +1 -1
  399. data/lib/hecks/vocabulary.rb +19 -5
  400. data/lib/hecks.rb +15 -15
  401. data/lib/rubocop/cop/hecks/env_dump.rb +69 -0
  402. data/lib/rubocop/cop/hecks/monotonic_duration.rb +53 -0
  403. data/lib/rubocop/cop/hecks/no_wall_clock_in_runtime.rb +34 -0
  404. data/lib/rubocop/cop/hecks/raw_shell_interpolation.rb +79 -0
  405. data/lib/rubocop/cop/hecks/sleep_in_spec.rb +34 -0
  406. data/lib/rubocop/cop/hecks/swallowed_rescue.rb +37 -0
  407. data/lib/rubocop/cop/hecks/symbol_string_key_mix.rb +50 -0
  408. data/lib/rubocop/cop/hecks/untyped_raise.rb +37 -0
  409. data/prebuilt/9ee54e2f0d4d6d3fe046827779b221e02de665fba911a048ae5dd8b8fbfb7d90.marshal +0 -0
  410. data/prebuilt/d74a00e996222c1d8b676d5959092effc46b4dc59e0555f3bf9554ac58e3094a.marshal +0 -0
  411. data/prebuilt/verdicts-df19f35868d3284a70f55e42dcef87ef4e65e6a678e5135f72e1f6cff4c1357b.json +1 -0
  412. data/rust/.gitignore +6 -0
  413. data/rust/Cargo.toml +6 -0
  414. data/rust/build/src/binding_pass.rs +103 -0
  415. data/rust/build/src/cargo_sync.rs +6 -0
  416. data/rust/build/src/lineage_pass.rs +3 -3
  417. data/rust/build/src/main.rs +17 -5
  418. data/rust/build/src/pipeline.rs +48 -5
  419. data/rust/build/src/seams_pass.rs +123 -0
  420. data/rust/build/src/translation_pass.rs +167 -0
  421. data/rust/codegen/src/asks.rs +103 -0
  422. data/rust/codegen/src/commands.rs +13 -8
  423. data/rust/codegen/src/constraints.rs +25 -0
  424. data/rust/codegen/src/domain_generator.rs +2 -0
  425. data/rust/codegen/src/expr_emitter.rs +13 -0
  426. data/rust/codegen/src/json_codec.rs +54 -15
  427. data/rust/codegen/src/main.rs +1 -0
  428. data/rust/codegen/src/mutations.rs +128 -3
  429. data/rust/codegen/src/queries.rs +11 -2
  430. data/rust/codegen/src/reactions.rs +1 -1
  431. data/rust/codegen/src/types.rs +166 -8
  432. data/rust/host/HECKS_RELEASE +1 -1
  433. data/rust/host/src/api.rs +4 -4
  434. data/rust/host/src/bin/validate_harness.rs +43 -0
  435. data/rust/host/src/boundary_fuzz/expr_json.rs +2 -2
  436. data/rust/host/src/boundary_fuzz/ir.rs +1 -0
  437. data/rust/host/src/boundary_fuzz/server.rs +1 -1
  438. data/rust/host/src/checkout.rs +35 -19
  439. data/rust/host/src/commerce_ir.rs +408 -2
  440. data/rust/host/src/expr_json.rs +118 -0
  441. data/rust/host/src/extension.rs +13 -1
  442. data/rust/host/src/lib.rs +1 -0
  443. data/rust/host/src/mint.rs +1 -1
  444. data/rust/host/src/payments/tests.rs +27 -1
  445. data/rust/host/src/payments.rs +12 -4
  446. data/rust/host/src/platform_signin/attack_tests.rs +1100 -0
  447. data/rust/host/src/platform_signin/config.rs +512 -0
  448. data/rust/host/src/platform_signin/cookie.rs +237 -0
  449. data/rust/host/src/platform_signin/extension.rs +190 -0
  450. data/rust/host/src/platform_signin/fetcher.rs +322 -0
  451. data/rust/host/src/platform_signin/handler.rs +251 -0
  452. data/rust/host/src/platform_signin/handler_tests.rs +554 -0
  453. data/rust/host/src/platform_signin/jti.rs +196 -0
  454. data/rust/host/src/platform_signin/jwks.rs +542 -0
  455. data/rust/host/src/platform_signin/jws.rs +249 -0
  456. data/rust/host/src/platform_signin/known_answer_tests.rs +237 -0
  457. data/rust/host/src/platform_signin/mapping_tests.rs +254 -0
  458. data/rust/host/src/platform_signin/mod.rs +75 -0
  459. data/rust/host/src/platform_signin/mode_tests.rs +382 -0
  460. data/rust/host/src/platform_signin/pages.rs +204 -0
  461. data/rust/host/src/platform_signin/query.rs +233 -0
  462. data/rust/host/src/platform_signin/session.rs +151 -0
  463. data/rust/host/src/platform_signin/settings.rs +385 -0
  464. data/rust/host/src/platform_signin/strict_json.rs +351 -0
  465. data/rust/host/src/platform_signin/test_support.rs +235 -0
  466. data/rust/host/src/platform_signin/ttl_tests.rs +94 -0
  467. data/rust/host/src/platform_signin/verify.rs +604 -0
  468. data/rust/host/src/platform_signin/wiring_support.rs +319 -0
  469. data/rust/host/src/query_step.rs +22 -4
  470. data/rust/host/src/reference_validate.rs +653 -108
  471. data/rust/host/src/resend.rs +2 -0
  472. data/rust/host/src/server.rs +19 -6
  473. data/rust/host/src/ui_schema.rs +132 -5
  474. data/rust/host/src/web/newsletter.rs +7 -8
  475. data/rust/host/src/web/newsletter_send.rs +38 -13
  476. data/rust/host/src/web/registrations.rs +229 -26
  477. data/rust/host/src/web.rs +53 -9
  478. data/rust/parser/src/emit.rs +38 -6
  479. data/rust/parser/src/expr/ast_json.rs +7 -1
  480. data/rust/parser/src/expr/resolver.rs +171 -6
  481. data/rust/parser/src/ir.rs +7 -0
  482. data/rust/parser/src/keywords.rs +24 -0
  483. data/rust/parser/src/main.rs +3 -0
  484. data/rust/parser/src/parse/aggregate.rs +2 -1
  485. data/rust/parser/src/parse/chapter.rs +2 -2
  486. data/rust/parser/src/parse/command.rs +2 -0
  487. data/rust/parser/src/parse/hecksagon.rs +5 -2
  488. data/rust/parser/src/parse/lifecycle.rs +81 -0
  489. data/rust/parser/src/parse/mod.rs +15 -1
  490. data/rust/parser/src/parse/policy.rs +13 -2
  491. data/rust/parser/src/parse/value_object.rs +34 -17
  492. data/rust/parser/src/ruby_value.rs +1 -1
  493. data/rust/src/exemplar/commands.rs +4 -4
  494. data/rust/src/exemplar/constraints.rs +1 -1
  495. data/rust/src/exemplar/json.rs +43 -1
  496. data/rust/src/kernel/cli.rs +7 -5
  497. data/rust/src/kernel/dispatch.rs +2 -2
  498. data/rust/src/kernel/dispatch_guard_tests.rs +1 -1
  499. data/rust/src/kernel/expr.rs +66 -3
  500. data/rust/src/kernel/expression_operators/arithmetic.rs +130 -5
  501. data/rust/src/kernel/expression_operators/text.rs +26 -2
  502. data/rust/src/kernel/json.rs +15 -0
  503. data/rust/src/kernel/mod.rs +1 -1
  504. data/rust/src/kernel/orchestrate.rs +54 -5
  505. data/rust/src/kernel/orchestrate_guard_tests.rs +67 -0
  506. data/rust/src/kernel/pattern.rs +60 -0
  507. data/rust/src/kernel/reference_lookup.rs +90 -7
  508. metadata +178 -38
  509. data/lib/hecks/doors/cli_door/nesting.rb +0 -34
  510. data/lib/hecks/doors/cli_door/shorthand.rb +0 -85
  511. data/lib/hecks/doors/cli_door.rb +0 -124
  512. data/lib/hecks/doors/cli_runner/answers.rb +0 -138
  513. data/lib/hecks/doors/cli_runner/resolution.rb +0 -146
  514. data/lib/hecks/doors/cli_runner/settling.rb +0 -115
  515. data/lib/hecks/doors/cli_runner/streaming.rb +0 -90
  516. data/lib/hecks/doors/cli_runner/suggestions.rb +0 -43
  517. data/lib/hecks/doors/cli_runner.rb +0 -66
  518. data/lib/hecks/doors/command_request.rb +0 -119
  519. data/lib/hecks/doors/handle.rb +0 -208
  520. data/lib/hecks/doors/json_door.rb +0 -132
  521. data/lib/hecks/doors/launcher_options.rb +0 -247
  522. data/lib/hecks/doors/mcp_door/properties.rb +0 -47
  523. data/lib/hecks/doors/mcp_door/tool_calls.rb +0 -113
  524. data/lib/hecks/doors/mcp_door/tool_definitions/auditing.rb +0 -51
  525. data/lib/hecks/doors/mcp_door/tool_definitions/calling.rb +0 -69
  526. data/lib/hecks/doors/mcp_door/tool_definitions/reading.rb +0 -97
  527. data/lib/hecks/doors/mcp_door/tool_definitions.rb +0 -15
  528. data/lib/hecks/doors/mcp_door.rb +0 -156
  529. data/lib/hecks/doors/mcp_door_scope/argument_policy.rb +0 -92
  530. data/lib/hecks/doors/mcp_door_scope/env_problems.rb +0 -55
  531. data/lib/hecks/doors/mcp_door_scope/presenter.rb +0 -78
  532. data/lib/hecks/doors/mcp_door_scope.rb +0 -201
  533. data/lib/hecks/doors/mcp_guide_cache.rb +0 -75
  534. data/lib/hecks/doors/ruby_door/aggregate_door.rb +0 -162
  535. data/lib/hecks/doors/ruby_door/chapter.rb +0 -89
  536. data/lib/hecks/doors/ruby_door.rb +0 -80
  537. data/lib/hecks/doors/usage_cache.rb +0 -139
  538. data/lib/hecks/projections/site/cms_editor/templates/src/ui/body_widget.js.tmpl +0 -282
  539. data/lib/hecks/projections/site/cms_editor/templates/src/ui/media_picker.js.tmpl +0 -109
  540. data/prebuilt/c28d6d9db14eea3e17161e9d9c262efee30b256cf97693a7cfd552bce24b2f7f.marshal +0 -0
  541. data/prebuilt/cb375cba61ca0dbe8ddb9739c306510fe05e5f4b7a9b6955caff8224c63ea0e0.marshal +0 -0
  542. data/prebuilt/verdicts-d6d584ad43b5f3cebf88aafbbdbf024c38574acf18e06adffbc555f7786b1c2f.json +0 -1
@@ -0,0 +1,554 @@
1
+ //! The handler end to end with a fake member store, a fixed clock and the shared vectors.
2
+
3
+ use std::sync::Arc;
4
+
5
+ use serde_json::Value;
6
+
7
+ use super::cookie;
8
+ use super::handler::{fresh_value, CallbackRequest, SigninHandler};
9
+ use super::wiring_support::*;
10
+ use crate::auth;
11
+
12
+ const AUTHORIZE: &str = "https://issuer.example/sso/authorize?site=site-a&env=production";
13
+
14
+ fn started(log: Arc<Recorder>) -> (SigninHandler, Value) {
15
+ let handler =
16
+ vector_handler("alongside", log).with_random(scripted_random(&[NONCE_A, STATE_A]));
17
+ let response = handler.start();
18
+ (handler, response)
19
+ }
20
+
21
+ fn admin() -> FakeMembers {
22
+ FakeMembers::resolving(Person::new("person@example.test", Some("Admin")))
23
+ }
24
+
25
+ async fn finish(handler: &SigninHandler, step: &Value, members: &FakeMembers) -> Value {
26
+ handler.callback(&request_for(step), members).await
27
+ }
28
+
29
+ fn status(response: &Value) -> u64 {
30
+ response["statusCode"].as_u64().unwrap()
31
+ }
32
+
33
+ fn page_has_code(response: &Value, code: &str) -> bool {
34
+ response["body"].as_str().unwrap_or("").contains(code)
35
+ }
36
+
37
+ fn only_clears_the_cookie(response: &Value) -> bool {
38
+ cookies_of(response) == vec![cookie::clear_header()]
39
+ }
40
+
41
+ // ---- start ----
42
+
43
+ #[test]
44
+ fn start_redirects_to_the_exact_authorize_url() {
45
+ let (_, response) = started(Arc::new(Recorder::default()));
46
+ assert_eq!(status(&response), 302);
47
+ assert_eq!(
48
+ response["headers"]["location"],
49
+ format!("{AUTHORIZE}&nonce={NONCE_A}&state={STATE_A}")
50
+ );
51
+ }
52
+
53
+ #[test]
54
+ fn start_sets_the_exact_cookie_and_nothing_else() {
55
+ let (_, response) = started(Arc::new(Recorder::default()));
56
+ assert_eq!(cookies_of(&response), vec![format!("__Host-signin={NONCE_A}.{STATE_A}; Max-Age=600; Path=/; Secure; HttpOnly; SameSite=Lax")]);
57
+ }
58
+
59
+ #[test]
60
+ fn start_is_never_cached() {
61
+ let (_, response) = started(Arc::new(Recorder::default()));
62
+ assert_eq!(response["headers"]["cache-control"], "no-store");
63
+ }
64
+
65
+ #[test]
66
+ fn fresh_values_are_long_url_safe_and_different_every_time() {
67
+ let values: Vec<String> = (0..50).map(|_| fresh_value()).collect();
68
+ for value in &values {
69
+ assert!(value.len() >= 22 && value.len() <= 128, "{value}");
70
+ assert!(
71
+ value
72
+ .bytes()
73
+ .all(|b| b.is_ascii_alphanumeric() || b == b'-' || b == b'_'),
74
+ "{value}"
75
+ );
76
+ }
77
+ let unique: std::collections::HashSet<_> = values.iter().collect();
78
+ assert_eq!(unique.len(), values.len());
79
+ }
80
+
81
+ #[test]
82
+ fn the_real_start_gives_nonce_and_state_that_differ() {
83
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
84
+ let response = handler.start();
85
+ let set = cookies_of(&response).remove(0);
86
+ let value = set
87
+ .split(';')
88
+ .next()
89
+ .unwrap()
90
+ .trim_start_matches("__Host-signin=")
91
+ .to_string();
92
+ let (nonce, state) = value.split_once('.').unwrap();
93
+ assert_ne!(nonce, state);
94
+ assert!(response["headers"]["location"]
95
+ .as_str()
96
+ .unwrap()
97
+ .contains(&format!("nonce={nonce}&state={state}")));
98
+ }
99
+
100
+ #[test]
101
+ fn start_logs_neither_the_nonce_nor_the_state() {
102
+ let log = Arc::new(Recorder::default());
103
+ started(log.clone());
104
+ assert!(!log.text().contains(NONCE_A) && !log.text().contains(STATE_A));
105
+ }
106
+
107
+ // ---- callback: success ----
108
+
109
+ #[tokio::test]
110
+ async fn a_genuine_token_signs_the_member_in() {
111
+ let doc = vectors();
112
+ let log = Arc::new(Recorder::default());
113
+ let handler = vector_handler("alongside", log);
114
+ let response = finish(&handler, &single(&doc, "valid"), &admin()).await;
115
+ assert_eq!(status(&response), 302);
116
+ assert_eq!(response["headers"]["location"], "/admin.html");
117
+ let cookies = cookies_of(&response);
118
+ assert_eq!(cookies.len(), 2);
119
+ assert_eq!(cookies[1], cookie::clear_header());
120
+ let account = &cookies[0];
121
+ assert!(account.starts_with(&format!("{}=", auth::DEFAULT_ACCOUNT_COOKIE)));
122
+ let token = account
123
+ .split(';')
124
+ .next()
125
+ .unwrap()
126
+ .split_once('=')
127
+ .unwrap()
128
+ .1;
129
+ assert_eq!(
130
+ auth::verify_account_token(SECRET, token).as_deref(),
131
+ Some("person@example.test")
132
+ );
133
+ }
134
+
135
+ #[tokio::test]
136
+ async fn the_account_cookie_carries_the_hosts_flags_and_lifetime() {
137
+ let doc = vectors();
138
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
139
+ let response = finish(&handler, &single(&doc, "valid"), &admin()).await;
140
+ let account = cookies_of(&response).remove(0);
141
+ let attributes: Vec<&str> = account.split("; ").skip(1).collect();
142
+ assert_eq!(
143
+ attributes,
144
+ [
145
+ "Path=/",
146
+ "HttpOnly",
147
+ "Secure",
148
+ "SameSite=Lax",
149
+ &format!("Max-Age={}", auth::SESSION_TTL_SECS)
150
+ ]
151
+ );
152
+ }
153
+
154
+ #[tokio::test]
155
+ async fn the_success_redirect_is_not_cached_and_keeps_the_referrer_quiet() {
156
+ let doc = vectors();
157
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
158
+ let response = finish(&handler, &single(&doc, "valid"), &admin()).await;
159
+ assert_eq!(response["headers"]["cache-control"], "no-store");
160
+ assert_eq!(response["headers"]["referrer-policy"], "no-referrer");
161
+ }
162
+
163
+ #[tokio::test]
164
+ async fn the_session_is_minted_for_the_members_own_email() {
165
+ let doc = vectors();
166
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
167
+ let members = FakeMembers::resolving(Person::new("Member.Row@example.test", Some("Admin")));
168
+ let response = finish(&handler, &single(&doc, "valid"), &members).await;
169
+ let account = cookies_of(&response).remove(0);
170
+ let token = account
171
+ .split(';')
172
+ .next()
173
+ .unwrap()
174
+ .split_once('=')
175
+ .unwrap()
176
+ .1;
177
+ assert_eq!(
178
+ auth::verify_account_token(SECRET, token).as_deref(),
179
+ Some("Member.Row@example.test")
180
+ );
181
+ }
182
+
183
+ // ---- callback: the member mapping ----
184
+
185
+ #[tokio::test]
186
+ async fn a_resolved_identity_never_provisions() {
187
+ let doc = vectors();
188
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
189
+ let members = admin();
190
+ finish(&handler, &single(&doc, "valid"), &members).await;
191
+ assert_eq!(members.called(), ["identity_for", "session_for_identity"]);
192
+ }
193
+
194
+ #[tokio::test]
195
+ async fn an_unresolved_identity_provisions_by_email_with_the_tokens_identity() {
196
+ let doc = vectors();
197
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
198
+ let members = FakeMembers::provisioning(Person::new("person@example.test", Some("Admin")));
199
+ let response = finish(&handler, &single(&doc, "valid"), &members).await;
200
+ assert_eq!(status(&response), 302);
201
+ assert_eq!(
202
+ members.called().last().unwrap(),
203
+ "provision person@example.test https://idp.example idp-subject-0001"
204
+ );
205
+ }
206
+
207
+ #[tokio::test]
208
+ async fn nothing_resolving_and_nothing_to_link_is_google_unlinked_with_no_session() {
209
+ let doc = vectors();
210
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
211
+ let members = FakeMembers::default();
212
+ let response = finish(&handler, &single(&doc, "valid"), &members).await;
213
+ assert_eq!(status(&response), 403);
214
+ assert!(page_has_code(&response, "google_unlinked"));
215
+ assert!(only_clears_the_cookie(&response));
216
+ }
217
+
218
+ #[tokio::test]
219
+ async fn there_is_no_fallback_by_email_when_the_identity_does_not_resolve() {
220
+ let doc = vectors();
221
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
222
+ let mut members = FakeMembers::default();
223
+ members.linked.insert(
224
+ "identity-1".into(),
225
+ Person::new("person@example.test", Some("Admin")),
226
+ );
227
+ let response = finish(&handler, &single(&doc, "valid"), &members).await;
228
+ assert_eq!(status(&response), 403);
229
+ assert!(only_clears_the_cookie(&response));
230
+ }
231
+
232
+ #[tokio::test]
233
+ async fn a_member_without_a_role_is_refused() {
234
+ let doc = vectors();
235
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
236
+ let members = FakeMembers::resolving(Person::new("person@example.test", None));
237
+ let response = finish(&handler, &single(&doc, "valid"), &members).await;
238
+ assert_eq!(status(&response), 403);
239
+ assert!(only_clears_the_cookie(&response));
240
+ }
241
+
242
+ #[tokio::test]
243
+ async fn a_disabled_or_unknown_member_the_store_does_not_return_is_refused() {
244
+ let doc = vectors();
245
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
246
+ let mut members = FakeMembers::default();
247
+ members.identities.insert(
248
+ ("https://idp.example".into(), "idp-subject-0001".into()),
249
+ "identity-1".into(),
250
+ );
251
+ let response = finish(&handler, &single(&doc, "valid"), &members).await;
252
+ assert_eq!(status(&response), 403);
253
+ }
254
+
255
+ #[tokio::test]
256
+ async fn a_store_fault_is_our_fault_not_a_refusal_and_still_clears_the_cookie() {
257
+ let doc = vectors();
258
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
259
+ let members = FakeMembers {
260
+ fail: true,
261
+ ..FakeMembers::default()
262
+ };
263
+ let response = finish(&handler, &single(&doc, "valid"), &members).await;
264
+ assert_eq!(status(&response), 500);
265
+ assert!(page_has_code(&response, "platform_unavailable"));
266
+ assert!(only_clears_the_cookie(&response));
267
+ }
268
+
269
+ #[tokio::test]
270
+ async fn role_drift_is_logged_and_nothing_is_written() {
271
+ let doc = vectors();
272
+ let log = Arc::new(Recorder::default());
273
+ let handler = vector_handler("alongside", log.clone());
274
+ let members = FakeMembers::resolving(Person::new("person@example.test", Some("Member")));
275
+ let response = finish(&handler, &single(&doc, "valid"), &members).await;
276
+ assert_eq!(status(&response), 302);
277
+ let drift = log
278
+ .fields_of("platform_signin_role_drift")
279
+ .expect("drift logged");
280
+ assert_eq!(drift["token_role"], "Admin");
281
+ assert_eq!(drift["local_role"], "Member");
282
+ assert_eq!(members.called(), ["identity_for", "session_for_identity"]);
283
+ }
284
+
285
+ #[tokio::test]
286
+ async fn no_drift_is_logged_when_the_roles_agree() {
287
+ let doc = vectors();
288
+ let log = Arc::new(Recorder::default());
289
+ let handler = vector_handler("alongside", log.clone());
290
+ finish(&handler, &single(&doc, "valid"), &admin()).await;
291
+ assert!(log.fields_of("platform_signin_role_drift").is_none());
292
+ }
293
+
294
+ // ---- callback: every vector through the handler ----
295
+
296
+ fn expected_code(refusal: &str) -> &'static str {
297
+ match refusal {
298
+ "missing_cookie" => "platform_cookie",
299
+ "state_mismatch" => "platform_state",
300
+ _ => "platform_token",
301
+ }
302
+ }
303
+
304
+ #[tokio::test]
305
+ async fn every_vector_gets_the_right_status_code_and_never_a_session_when_refused() {
306
+ let doc = vectors();
307
+ for vector in doc["vectors"].as_array().unwrap() {
308
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
309
+ let steps: Vec<Value> = match vector["type"].as_str().unwrap() {
310
+ "sequence" => vector["steps"].as_array().unwrap().clone(),
311
+ _ => vec![vector.clone()],
312
+ };
313
+ for step in steps {
314
+ let name = vector["name"].as_str().unwrap();
315
+ let response = finish(&handler, &step, &admin()).await;
316
+ if step["expect"] == "accept" {
317
+ assert_eq!(status(&response), 302, "{name}");
318
+ assert_eq!(cookies_of(&response).len(), 2, "{name}");
319
+ } else {
320
+ let refusal = step["refusal"].as_str().unwrap();
321
+ let params_fault = refusal == "malformed" && step["token"].is_null();
322
+ let code =
323
+ if params_fault || (step["state"].is_null() && refusal == "state_mismatch") {
324
+ "platform_params"
325
+ } else {
326
+ expected_code(refusal)
327
+ };
328
+ assert_eq!(status(&response), 400, "{name}");
329
+ assert!(page_has_code(&response, code), "{name}: wanted {code}");
330
+ assert!(only_clears_the_cookie(&response), "{name}");
331
+ }
332
+ }
333
+ }
334
+ }
335
+
336
+ // ---- callback: faults in the request ----
337
+
338
+ fn good() -> (Value, CallbackRequest) {
339
+ let doc = vectors();
340
+ let step = single(&doc, "valid");
341
+ let request = request_for(&step);
342
+ (step, request)
343
+ }
344
+
345
+ async fn answer(request: CallbackRequest) -> (Value, FakeMembers) {
346
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
347
+ let members = admin();
348
+ (handler.callback(&request, &members).await, members)
349
+ }
350
+
351
+ #[tokio::test]
352
+ async fn a_missing_cookie_is_refused_before_anything_else() {
353
+ let (_, mut request) = good();
354
+ request.cookie_pairs.clear();
355
+ let (response, members) = answer(request).await;
356
+ assert_eq!(status(&response), 400);
357
+ assert!(page_has_code(&response, "platform_cookie"));
358
+ assert!(only_clears_the_cookie(&response));
359
+ assert!(members.called().is_empty());
360
+ }
361
+
362
+ #[tokio::test]
363
+ async fn a_repeated_or_malformed_cookie_is_refused() {
364
+ let (_, request) = good();
365
+ let mut twice = request.clone();
366
+ twice.cookie_pairs.push(request.cookie_pairs[0].clone());
367
+ let mut junk = request.clone();
368
+ junk.cookie_pairs = vec!["__Host-signin=nodot".into()];
369
+ for bad in [twice, junk] {
370
+ let (response, _) = answer(bad).await;
371
+ assert!(page_has_code(&response, "platform_cookie"));
372
+ assert!(only_clears_the_cookie(&response));
373
+ }
374
+ }
375
+
376
+ #[tokio::test]
377
+ async fn missing_repeated_oversized_or_undecodable_parameters_are_refused() {
378
+ let (step, request) = good();
379
+ let token = encode(step["token"].as_str().unwrap());
380
+ let state = encode(step["state"].as_str().unwrap());
381
+ for query in [
382
+ format!("state={state}"),
383
+ format!("token={token}"),
384
+ format!("token={token}&token={token}&state={state}"),
385
+ format!("token={token}&state={state}&state={state}"),
386
+ format!("token={token}&state={state}&pad={}", "a".repeat(20_000)),
387
+ format!("token=%zz&state={state}"),
388
+ ] {
389
+ let bad = CallbackRequest {
390
+ raw_query: query,
391
+ ..request.clone()
392
+ };
393
+ let (response, members) = answer(bad).await;
394
+ assert_eq!(status(&response), 400);
395
+ assert!(page_has_code(&response, "platform_params"));
396
+ assert!(only_clears_the_cookie(&response));
397
+ assert!(members.called().is_empty());
398
+ }
399
+ }
400
+
401
+ #[tokio::test]
402
+ async fn a_replayed_token_is_refused_the_second_time() {
403
+ let doc = vectors();
404
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
405
+ let step = single(&doc, "valid");
406
+ assert_eq!(status(&finish(&handler, &step, &admin()).await), 302);
407
+ let second = finish(&handler, &step, &admin()).await;
408
+ assert_eq!(status(&second), 400);
409
+ assert!(page_has_code(&second, "platform_token"));
410
+ assert!(only_clears_the_cookie(&second));
411
+ }
412
+
413
+ #[tokio::test]
414
+ async fn an_expired_token_is_refused_by_the_clock_the_handler_was_given() {
415
+ let doc = vectors();
416
+ let now = doc["now"].as_i64().unwrap();
417
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()))
418
+ .with_clock(Box::new(move || now + 3600));
419
+ let response = finish(&handler, &single(&doc, "valid"), &admin()).await;
420
+ assert_eq!(status(&response), 400);
421
+ assert!(only_clears_the_cookie(&response));
422
+ }
423
+
424
+ #[tokio::test]
425
+ async fn the_member_store_is_not_asked_until_the_token_has_verified() {
426
+ let doc = vectors();
427
+ for name in [
428
+ "state_mismatch",
429
+ "nonce_mismatch",
430
+ "wrong_aud_1",
431
+ "wrong_env_1",
432
+ "expired",
433
+ "payload_tampered",
434
+ "cookie_absent",
435
+ ] {
436
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
437
+ let members = admin();
438
+ let response = finish(&handler, &single(&doc, name), &members).await;
439
+ assert_eq!(status(&response), 400, "{name}");
440
+ assert!(members.called().is_empty(), "{name}");
441
+ }
442
+ }
443
+
444
+ // ---- callback: logging ----
445
+
446
+ #[tokio::test]
447
+ async fn no_log_line_ever_holds_a_token_nonce_state_or_full_email() {
448
+ let doc = vectors();
449
+ let log = Arc::new(Recorder::default());
450
+ let handler = vector_handler("alongside", log.clone());
451
+ for name in [
452
+ "valid",
453
+ "valid",
454
+ "state_mismatch",
455
+ "nonce_mismatch",
456
+ "wrong_aud_1",
457
+ "payload_tampered",
458
+ "expired",
459
+ ] {
460
+ let step = single(&doc, name);
461
+ finish(
462
+ &handler,
463
+ &step,
464
+ &FakeMembers::resolving(Person::new("person@example.test", Some("Member"))),
465
+ )
466
+ .await;
467
+ finish(&handler, &step, &FakeMembers::default()).await;
468
+ let text = log.text();
469
+ for secret in [
470
+ step["token"].as_str().unwrap_or("-"),
471
+ step["state"].as_str().unwrap_or("-"),
472
+ "Nn0nceNn0nceNn0nceAA",
473
+ "StateStateState0123456789",
474
+ "person@example.test",
475
+ ] {
476
+ assert!(!text.contains(secret), "{name} leaked {secret}");
477
+ }
478
+ }
479
+ assert!(!log.events().is_empty());
480
+ }
481
+
482
+ #[tokio::test]
483
+ async fn a_refusal_is_logged_by_its_stable_code() {
484
+ let doc = vectors();
485
+ let log = Arc::new(Recorder::default());
486
+ let handler = vector_handler("alongside", log.clone());
487
+ finish(&handler, &single(&doc, "nonce_mismatch"), &admin()).await;
488
+ assert_eq!(
489
+ log.fields_of("platform_signin_refused").unwrap()["reason"],
490
+ "nonce_mismatch"
491
+ );
492
+ }
493
+
494
+ // ---- L6: attack mirror at the handler ----
495
+
496
+ #[test]
497
+ fn a_start_request_cannot_choose_where_it_goes() {
498
+ let (handler, plain) = started(Arc::new(Recorder::default()));
499
+ let _ = handler;
500
+ let location = plain["headers"]["location"].as_str().unwrap();
501
+ assert!(location.starts_with("https://issuer.example/sso/authorize?"));
502
+ assert!(!location.contains("evil"));
503
+ }
504
+
505
+ #[tokio::test]
506
+ async fn open_redirect_parameters_on_the_callback_are_ignored() {
507
+ let (step, request) = good();
508
+ let token = encode(step["token"].as_str().unwrap());
509
+ let state = encode(step["state"].as_str().unwrap());
510
+ let query = format!("return=https%3A%2F%2Fevil.example&token={token}&next=//evil.example&redirect_uri=https://evil.example&state={state}&callback=//e");
511
+ let (response, _) = answer(CallbackRequest {
512
+ raw_query: query,
513
+ ..request
514
+ })
515
+ .await;
516
+ assert_eq!(response["headers"]["location"], "/admin.html");
517
+ }
518
+
519
+ #[tokio::test]
520
+ async fn a_cookie_planted_by_someone_else_does_not_match_the_victims_callback() {
521
+ let doc = vectors();
522
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
523
+ let mut request = request_for(&single(&doc, "valid"));
524
+ request.cookie_pairs = vec![format!("__Host-signin={NONCE_B}.{STATE_B}")];
525
+ let response = handler.callback(&request, &admin()).await;
526
+ assert_eq!(status(&response), 400);
527
+ assert!(page_has_code(&response, "platform_state"));
528
+ }
529
+
530
+ #[tokio::test]
531
+ async fn a_cookie_with_no_matching_state_param_is_refused() {
532
+ let doc = vectors();
533
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
534
+ let mut request = request_for(&single(&doc, "valid"));
535
+ request.raw_query = request
536
+ .raw_query
537
+ .split('&')
538
+ .filter(|p| !p.starts_with("state="))
539
+ .collect::<Vec<_>>()
540
+ .join("&");
541
+ let response = handler.callback(&request, &admin()).await;
542
+ assert_eq!(status(&response), 400);
543
+ }
544
+
545
+ #[tokio::test]
546
+ async fn a_refusal_page_never_echoes_request_values() {
547
+ let doc = vectors();
548
+ let handler = vector_handler("alongside", Arc::new(Recorder::default()));
549
+ let mut request = request_for(&single(&doc, "valid"));
550
+ request.raw_query = "token=<script>alert(1)</script>&state=<b>x</b>".into();
551
+ let response = handler.callback(&request, &admin()).await;
552
+ let body = response["body"].as_str().unwrap();
553
+ assert!(!body.contains("alert") && !body.contains("<b>"));
554
+ }