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.
- checksums.yaml +4 -4
- data/examples/pizzas/bluebook/pizzas.bluebook +29 -0
- data/examples/pizzas/bluebook/pizzas.hecksagon +7 -0
- data/exe/hecks +4 -4
- data/lib/hecks/adapters/driven/d1.rb +2 -10
- data/lib/hecks/adapters/driven/heki.adapter +1 -1
- data/lib/hecks/adapters/driven/heki.rb +2 -12
- data/lib/hecks/adapters/driven/lambda.adapter +1 -1
- data/lib/hecks/adapters/driven/lambda.rb +3 -18
- data/lib/hecks/adapters/driven/postgres.rb +4 -11
- data/lib/hecks/adapters/driven/sqlite.adapter +1 -1
- data/lib/hecks/adapters/driven/sqlite.rb +2 -10
- data/lib/hecks/adapters/driving/admission.rb +46 -0
- data/lib/hecks/adapters/driving/cli/nesting.rb +36 -0
- data/lib/hecks/adapters/driving/cli/shorthand.rb +88 -0
- data/lib/hecks/adapters/driving/cli.rb +127 -0
- data/lib/hecks/adapters/driving/cli_runner/answers.rb +160 -0
- data/lib/hecks/adapters/driving/cli_runner/resolution.rb +158 -0
- data/lib/hecks/adapters/driving/cli_runner/settling.rb +120 -0
- data/lib/hecks/adapters/driving/cli_runner/streaming.rb +93 -0
- data/lib/hecks/adapters/driving/cli_runner/suggestions.rb +47 -0
- data/lib/hecks/adapters/driving/cli_runner.rb +70 -0
- data/lib/hecks/adapters/driving/command_request.rb +121 -0
- data/lib/hecks/adapters/driving/handle.rb +214 -0
- data/lib/hecks/adapters/driving/json.rb +136 -0
- data/lib/hecks/adapters/driving/launcher_options.rb +267 -0
- data/lib/hecks/adapters/driving/mcp/properties.rb +49 -0
- data/lib/hecks/adapters/driving/mcp/tool_calls.rb +116 -0
- data/lib/hecks/adapters/driving/mcp/tool_definitions/auditing.rb +53 -0
- data/lib/hecks/adapters/driving/mcp/tool_definitions/calling.rb +71 -0
- data/lib/hecks/adapters/driving/mcp/tool_definitions/reading.rb +99 -0
- data/lib/hecks/adapters/driving/mcp/tool_definitions.rb +18 -0
- data/lib/hecks/adapters/driving/mcp.rb +159 -0
- data/lib/hecks/adapters/driving/mcp_guide_cache.rb +78 -0
- data/lib/hecks/adapters/driving/mcp_scope/argument_policy.rb +97 -0
- data/lib/hecks/adapters/driving/mcp_scope/env_problems.rb +69 -0
- data/lib/hecks/adapters/driving/mcp_scope/presenter.rb +83 -0
- data/lib/hecks/adapters/driving/mcp_scope.rb +213 -0
- data/lib/hecks/adapters/driving/newcomer.rb +50 -0
- data/lib/hecks/adapters/driving/ruby/aggregate_module.rb +171 -0
- data/lib/hecks/adapters/driving/ruby/chapter.rb +91 -0
- data/lib/hecks/adapters/driving/ruby.rb +83 -0
- data/lib/hecks/adapters/driving/usage_cache.rb +144 -0
- data/lib/hecks/{doors.rb → adapters/driving.rb} +10 -6
- data/lib/hecks/behaviors/expectations/boot.rb +1 -1
- data/lib/hecks/bench/ruby_runner.rb +1 -1
- data/lib/hecks/bluebook/ask_resolution.rb +130 -0
- data/lib/hecks/bluebook/assembly/aggregate_assembly.rb +8 -2
- data/lib/hecks/bluebook/assembly/contracts/read_models.rb +1 -1
- data/lib/hecks/bluebook/assembly/contracts/rules.rb +4 -2
- data/lib/hecks/bluebook/assembly/contracts/structure.rb +3 -1
- data/lib/hecks/bluebook/assembly/marks.rb +4 -15
- data/lib/hecks/bluebook/assembly/scalars.rb +39 -0
- data/lib/hecks/bluebook/attribute.rb +1 -1
- data/lib/hecks/bluebook/behaviour/command.rb +13 -8
- data/lib/hecks/bluebook/behaviour/policy.rb +30 -0
- data/lib/hecks/bluebook/capabilities/attribute_values.rb +72 -0
- data/lib/hecks/bluebook/capabilities.rb +91 -9
- data/lib/hecks/bluebook/domain_port.rb +16 -4
- data/lib/hecks/bluebook/dsl/adapter_builder.rb +18 -6
- data/lib/hecks/bluebook/dsl/binding_proxy.rb +13 -0
- data/lib/hecks/bluebook/dsl/bluebook_builder/validation/computed_sources.rb +98 -0
- data/lib/hecks/bluebook/dsl/bluebook_builder/validation/fan_out_rows.rb +42 -0
- data/lib/hecks/bluebook/dsl/bluebook_builder/validation/projected_fields.rb +14 -2
- data/lib/hecks/bluebook/dsl/bluebook_builder/validation/provisions.rb +69 -3
- data/lib/hecks/bluebook/dsl/bluebook_builder/validation/with_projections.rb +17 -10
- data/lib/hecks/bluebook/dsl/bluebook_builder/validation.rb +5 -0
- data/lib/hecks/bluebook/dsl/bootstrap_table.rb +2 -0
- data/lib/hecks/bluebook/dsl/command_builder/mutations.rb +8 -1
- data/lib/hecks/bluebook/dsl/command_builder/operands.rb +121 -0
- data/lib/hecks/bluebook/dsl/command_builder.rb +2 -0
- data/lib/hecks/bluebook/dsl/hecksagon_builder.rb +10 -1
- data/lib/hecks/bluebook/dsl/lifecycle_builder.rb +45 -2
- data/lib/hecks/bluebook/dsl/policy_builder.rb +47 -10
- data/lib/hecks/bluebook/dsl/rule_reference.rb +7 -4
- data/lib/hecks/bluebook/dsl/world_builder.rb +1 -1
- data/lib/hecks/bluebook/expression/ast_json/emitters.rb +6 -0
- data/lib/hecks/bluebook/expression/ast_json.rb +9 -6
- data/lib/hecks/bluebook/expression/ast_reader.rb +14 -9
- data/lib/hecks/bluebook/expression/projection.json +36 -0
- data/lib/hecks/bluebook/expression/resolver/operations.rb +31 -0
- data/lib/hecks/bluebook/expression/resolver/parsing.rb +38 -5
- data/lib/hecks/bluebook/expression/resolver/scanning.rb +22 -5
- data/lib/hecks/bluebook/expression/resolver/values.rb +10 -0
- data/lib/hecks/bluebook/expression/resolver.rb +20 -1
- data/lib/hecks/bluebook/hecksagon.rb +23 -3
- data/lib/hecks/bluebook/lifecycle.rb +22 -3
- data/lib/hecks/bluebook/meta_validator/adapter_judge.rb +13 -1
- data/lib/hecks/bluebook/meta_validator/modes.rb +4 -1
- data/lib/hecks/bluebook/meta_validator/readings.rb +24 -1
- data/lib/hecks/bluebook/meta_validator/reconstruction/heads.rb +2 -1
- data/lib/hecks/bluebook/meta_validator/reconstruction.rb +6 -3
- data/lib/hecks/bluebook/meta_validator/shapes.rb +5 -0
- data/lib/hecks/bluebook/meta_validator/verdict_cache.rb +1 -1
- data/lib/hecks/bluebook/meta_validator.rb +12 -12
- data/lib/hecks/bluebook/model_check/ask_checks.rb +71 -0
- data/lib/hecks/bluebook/model_check/policy_checks.rb +2 -1
- data/lib/hecks/bluebook/model_check/reference_checks.rb +70 -0
- data/lib/hecks/bluebook/model_check.rb +8 -2
- data/lib/hecks/bluebook/policy.rb +4 -2
- data/lib/hecks/bluebook/smoke_test.rb +1 -1
- data/lib/hecks/bluebook/synthesizer.rb +2 -0
- data/lib/hecks/bluebook.rb +2 -0
- data/lib/hecks/cli/command_table.rb +1 -1
- data/lib/hecks/cli/console.rb +2 -1
- data/lib/hecks/cli/document.rb +1 -1
- data/lib/hecks/cli/launcher_words.rb +4 -4
- data/lib/hecks/cli/mcp.rb +4 -4
- data/lib/hecks/cli/project_cli/launcher_source.rb +2 -2
- data/lib/hecks/cli/project_cli/templates.rb +5 -5
- data/lib/hecks/cli/project_cli.rb +9 -6
- data/lib/hecks/cli/run.rb +2 -2
- data/lib/hecks/cli/smoke_http/checks.rb +4 -1
- data/lib/hecks/cli/smoke_http/transport.rb +3 -3
- data/lib/hecks/cli/smoke_http.rb +3 -0
- data/lib/hecks/codemod.rb +5 -2
- data/lib/hecks/corpus/routes.rb +7 -0
- data/lib/hecks/corpus/rust.rb +3 -2
- data/lib/hecks/deploy/bluebook/deploy.bluebook +34 -4
- data/lib/hecks/doc/reference/rendering.rb +6 -3
- data/lib/hecks/forms/app/commands.rb +8 -7
- data/lib/hecks/forms/app/queries.rb +2 -1
- data/lib/hecks/forms/app.rb +1 -1
- data/lib/hecks/forms/record_renderer.rb +1 -1
- data/lib/hecks/framework/bluebook/privacy.bluebook +11 -0
- data/lib/hecks/fuzzing/concurrent_dispatch.rb +4 -1
- data/lib/hecks/fuzzing/failure_triage.rb +2 -1
- data/lib/hecks/fuzzing/mutation/run.rb +11 -4
- data/lib/hecks/fuzzing/properties/catalog.rb +6 -4
- data/lib/hecks/fuzzing/properties/guaranteed_by_construction.rb +18 -11
- data/lib/hecks/fuzzing/properties/guards.rb +1 -1
- data/lib/hecks/fuzzing/self_consistency/saga_redelivery.rb +1 -1
- data/lib/hecks/fuzzing/self_consistency.rb +6 -2
- data/lib/hecks/fuzzing/shrinker.rb +3 -1
- data/lib/hecks/fuzzing/value_generator.rb +19 -5
- data/lib/hecks/gate/stages.yml +33 -7
- data/lib/hecks/grammar/evolve.rb +1 -1
- data/lib/hecks/grammar/expression_operators.json +372 -0
- data/lib/hecks/grammar/operators.rb +3 -1
- data/lib/hecks/hecks/adapters/codebase/corpus_tasks.rb +10 -10
- data/lib/hecks/hecks/adapters/codebase/inspection/rubycritic.rb +35 -0
- data/lib/hecks/hecks/adapters/codebase/inspection.rb +104 -0
- data/lib/hecks/hecks/adapters/codebase/publishing.rb +2 -1
- data/lib/hecks/hecks/adapters/codebase/release_facts.rb +12 -2
- data/lib/hecks/hecks/adapters/codebase/source_tree.rb +2 -1
- data/lib/hecks/hecks/adapters/codebase/test_runner.rb +1 -1
- data/lib/hecks/hecks/adapters/cost_explorer.rb +8 -5
- data/lib/hecks/hecks/adapters/deploy_toolchain/statuses.rb +2 -1
- data/lib/hecks/hecks/adapters/finding_github.rb +13 -6
- data/lib/hecks/hecks/adapters/first_admin.rb +2 -2
- data/lib/hecks/hecks/adapters/github_rulesets.rb +6 -3
- data/lib/hecks/hecks/adapters/in_process_boot.rb +1 -1
- data/lib/hecks/hecks/adapters/journal_store/compaction.rb +1 -1
- data/lib/hecks/hecks/adapters/journal_store/edge_audit.rb +10 -20
- data/lib/hecks/hecks/adapters/journal_store/held_domain.rb +28 -5
- data/lib/hecks/hecks/adapters/local_files.rb +2 -2
- data/lib/hecks/hecks/adapters/rehearsal/audit_report.rb +107 -0
- data/lib/hecks/hecks/adapters/rehearsal/census.rb +71 -0
- data/lib/hecks/hecks/adapters/rehearsal/declaration.rb +133 -0
- data/lib/hecks/hecks/adapters/rehearsal/environment.rb +83 -0
- data/lib/hecks/hecks/adapters/rehearsal/inquiry.rb +142 -0
- data/lib/hecks/hecks/adapters/rehearsal/memory_store.rb +96 -0
- data/lib/hecks/hecks/adapters/rehearsal/postgres_census.rb +100 -0
- data/lib/hecks/hecks/adapters/rehearsal/postgres_reading.rb +69 -0
- data/lib/hecks/hecks/adapters/rehearsal/postgres_store.rb +133 -0
- data/lib/hecks/hecks/adapters/rehearsal/rows.rb +41 -0
- data/lib/hecks/hecks/adapters/rehearsal/rust_audit.rb +83 -0
- data/lib/hecks/hecks/adapters/rehearsal/subject.rb +104 -0
- data/lib/hecks/hecks/adapters/rehearsal.rb +54 -0
- data/lib/hecks/hecks/adapters/rehearsal_store.adapter +7 -0
- data/lib/hecks/hecks/adapters/rehearsal_store.rb +81 -0
- data/lib/hecks/hecks/adapters/terminal.rb +13 -11
- data/lib/hecks/hecks/codebase.behaviors +13 -1
- data/lib/hecks/hecks/codebase.bluebook +239 -5
- data/lib/hecks/hecks/custodian.behaviors +24 -6
- data/lib/hecks/hecks/custodian.bluebook +6 -1227
- data/lib/hecks/hecks/deploy.behaviors +1 -1
- data/lib/hecks/hecks/deploy.world +1 -3
- data/lib/hecks/hecks/hecks.behaviors +1 -1
- data/lib/hecks/hecks/hecks.hecksagon +53 -18
- data/lib/hecks/hecks/hecks.world +13 -10
- data/lib/hecks/hecks/rehearsal.bluebook +477 -0
- data/lib/hecks/hecks/site.behaviors +1 -1
- data/lib/hecks/hecks/site.world +0 -1
- data/lib/hecks/hecks/tooling.bluebook +1238 -0
- data/lib/hecks/indifferent_key.rb +20 -0
- data/lib/hecks/language/adapter.bluebook +13 -3
- data/lib/hecks/language/bluebook/aggregate.bluebook +23 -0
- data/lib/hecks/language/bluebook/bluebook.behaviors +23 -0
- data/lib/hecks/language/bluebook/bluebook.bluebook +15 -0
- data/lib/hecks/language/bluebook/entity.bluebook +18 -0
- data/lib/hecks/language/bluebook/policy.behaviors +19 -0
- data/lib/hecks/language/bluebook/policy.bluebook +9 -1
- data/lib/hecks/language/bluebook/query.bluebook +1 -1
- data/lib/hecks/language/bluebook/vocabulary.bluebook +63 -4
- data/lib/hecks/language/hecksagon/domain_port.bluebook +1 -1
- data/lib/hecks/language/hecksagon/hecksagon.bluebook +22 -0
- data/lib/hecks/language/oidc.json +10 -0
- data/lib/hecks/language/port.bluebook +4 -4
- data/lib/hecks/literal.rb +12 -3
- data/lib/hecks/ports/key_vault.rb +7 -2
- data/lib/hecks/ports/persistence/plugins/era/era_check.rb +21 -10
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/boot.rb +4 -2
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/era_resolver.rb +2 -1
- data/lib/hecks/ports/persistence/repository_factory.rb +6 -3
- data/lib/hecks/projection_files/expression_tables.rb +7 -2
- data/lib/hecks/projections/deploy/box/compose.rb +6 -4
- data/lib/hecks/projections/deploy/box/edge.rb +62 -0
- data/lib/hecks/projections/deploy/box/logging.rb +99 -0
- data/lib/hecks/projections/deploy/box/roll_scripts.rb +16 -8
- data/lib/hecks/projections/deploy/box/settings/cdn.rb +40 -0
- data/lib/hecks/projections/deploy/box/settings/logs.rb +40 -0
- data/lib/hecks/projections/deploy/box/settings/patterns.rb +11 -0
- data/lib/hecks/projections/deploy/box/settings/types.rb +16 -1
- data/lib/hecks/projections/deploy/box/settings.rb +6 -2
- data/lib/hecks/projections/deploy/box/stack_yaml.rb +5 -2
- data/lib/hecks/projections/deploy/box/templates/Makefile.tmpl +16 -0
- data/lib/hecks/projections/deploy/box/templates/box.yaml.tmpl +8 -4
- data/lib/hecks/projections/deploy/box/templates/deploy-box.sh.tmpl +32 -0
- data/lib/hecks/projections/deploy/box/templates/deploy-service.sh.tmpl +1 -1
- data/lib/hecks/projections/deploy/box/templates/edge.mk.tmpl +17 -0
- data/lib/hecks/projections/deploy/box/templates/edge.yaml.tmpl +65 -0
- data/lib/hecks/projections/deploy/box/templates/log-group.yaml.tmpl +12 -0
- data/lib/hecks/projections/deploy/box/templates/log-policy.yaml.tmpl +7 -0
- data/lib/hecks/projections/deploy/box/templates/render-compose-taskdef.sh.tmpl +5 -4
- data/lib/hecks/projections/deploy/box/templates/render-compose.sh.tmpl +5 -4
- data/lib/hecks/projections/deploy/box.rb +15 -3
- data/lib/hecks/projections/deploy/preview/preview.sh.erb +1 -1
- data/lib/hecks/projections/deploy/shared.rb +5 -2
- data/lib/hecks/projections/model/deviations.rb +2 -2
- data/lib/hecks/projections/model.rb +2 -2
- data/lib/hecks/projections/oidc.rb +13 -1
- data/lib/hecks/projections/shape.rb +5 -2
- data/lib/hecks/projections/site/cms_editor/attributes.rb +26 -6
- data/lib/hecks/projections/site/cms_editor/blocks.rb +157 -0
- data/lib/hecks/projections/site/cms_editor/checks.rb +14 -1
- data/lib/hecks/projections/site/cms_editor/clearing.rb +70 -0
- data/lib/hecks/projections/site/cms_editor/color.rb +124 -0
- data/lib/hecks/projections/site/cms_editor/composition.rb +42 -0
- data/lib/hecks/projections/site/cms_editor/destructive.rb +61 -0
- data/lib/hecks/projections/site/cms_editor/drafts.rb +102 -0
- data/lib/hecks/projections/site/cms_editor/hints.rb +74 -0
- data/lib/hecks/projections/site/cms_editor/icons.rb +86 -0
- data/lib/hecks/projections/site/cms_editor/key_kinds.rb +31 -0
- data/lib/hecks/projections/site/cms_editor/limits.rb +72 -0
- data/lib/hecks/projections/site/cms_editor/media.rb +1 -1
- data/lib/hecks/projections/site/cms_editor/moment.rb +34 -0
- data/lib/hecks/projections/site/cms_editor/palette.rb +115 -0
- data/lib/hecks/projections/site/cms_editor/pickers.rb +85 -0
- data/lib/hecks/projections/site/cms_editor/preview.rb +91 -0
- data/lib/hecks/projections/site/cms_editor/relations.rb +92 -0
- data/lib/hecks/projections/site/cms_editor/scale_checks.rb +66 -0
- data/lib/hecks/projections/site/cms_editor/scheduling.rb +150 -0
- data/lib/hecks/projections/site/cms_editor/schema.rb +96 -19
- data/lib/hecks/projections/site/cms_editor/setting.rb +52 -9
- data/lib/hecks/projections/site/cms_editor/targets.rb +86 -0
- data/lib/hecks/projections/site/cms_editor/templates/package.json.tmpl +18 -1
- data/lib/hecks/projections/site/cms_editor/templates/src/app.ts.tmpl +251 -57
- data/lib/hecks/projections/site/cms_editor/templates/src/assets.ts.tmpl +98 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/auth/membership.ts.tmpl +32 -24
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/app.css.tmpl +412 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/autosave.js.tmpl +144 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/blocks.js.tmpl +500 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/body_doc.js.tmpl +175 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/body_editor.js.tmpl +418 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/epoch.js.tmpl +61 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/forms.js.tmpl +210 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/lists.js.tmpl +40 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/main.js.tmpl +26 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/media_picker.js.tmpl +232 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/moments.js.tmpl +73 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/pickers.js.tmpl +152 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/preview.js.tmpl +98 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/shell.js.tmpl +140 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/browser/toast.js.tmpl +66 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/choices.ts.tmpl +99 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/commands.ts.tmpl +78 -24
- data/lib/hecks/projections/site/cms_editor/templates/src/config.ts.tmpl +6 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/flash.ts.tmpl +52 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/host.ts.tmpl +19 -2
- data/lib/hecks/projections/site/cms_editor/templates/src/media/handler.ts.tmpl +31 -8
- data/lib/hecks/projections/site/cms_editor/templates/src/names.ts.tmpl +36 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/schema.ts.tmpl +131 -2
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/availability.ts.tmpl +15 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/block_list.js.tmpl +213 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/blocks.ts.tmpl +275 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/body_model.js.tmpl +8 -5
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/detail.ts.tmpl +88 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/dialogs.ts.tmpl +43 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/fields.ts.tmpl +229 -34
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/html.ts.tmpl +40 -81
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/icons.ts.tmpl +15 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/input.ts.tmpl +29 -12
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/links.ts.tmpl +100 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/moments.ts.tmpl +44 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/outline.ts.tmpl +53 -17
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/pages.ts.tmpl +178 -88
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/paging.ts.tmpl +82 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/pickers.ts.tmpl +110 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/preview.ts.tmpl +87 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/related.ts.tmpl +97 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/schedule.ts.tmpl +160 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/shell.ts.tmpl +211 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/table.ts.tmpl +151 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/theme.js.tmpl +16 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/values.ts.tmpl +69 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/words.ts.tmpl +97 -0
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/world.ts.tmpl +35 -0
- data/lib/hecks/projections/site/cms_editor/templates/tsconfig.json.tmpl +2 -1
- data/lib/hecks/projections/site/cms_editor/theme.rb +29 -0
- data/lib/hecks/projections/site/cms_editor/theme_checks.rb +57 -0
- data/lib/hecks/projections/site/cms_editor.rb +49 -23
- data/lib/hecks/projections/site/role_probe.rb +2 -0
- data/lib/hecks/projections/site/site_root/workflow.rb +5 -0
- data/lib/hecks/projector/cli_audience.rb +22 -1
- data/lib/hecks/projector/cli_projector/listing.rb +1 -1
- data/lib/hecks/projector/cli_projector/option_specs.rb +1 -1
- data/lib/hecks/projector/cli_projector/usage.rb +15 -4
- data/lib/hecks/projector/docs_projector/closing.rb +1 -1
- data/lib/hecks/projector/docs_projector.rb +1 -1
- data/lib/hecks/projector/exporter/bindings.rb +40 -10
- data/lib/hecks/projector/exporter/capability_values.rb +55 -0
- data/lib/hecks/projector/narrate_projector/reactions.rb +1 -1
- data/lib/hecks/projector/target.rb +11 -0
- data/lib/hecks/projector.rb +32 -5
- data/lib/hecks/quality_control/adapters/github_checks.rb +12 -8
- data/lib/hecks/quality_control/adapters/github_issues.rb +8 -4
- data/lib/hecks/quality_control/cli/qa_open_pr.rb +2 -2
- data/lib/hecks/quality_control/cli/qa_sweep/checks/shrinking.rb +1 -1
- data/lib/hecks/quality_control/cli/qa_sweep/finding_report.rb +1 -1
- data/lib/hecks/quality_control/cli/qa_sweep.rb +1 -1
- data/lib/hecks/quality_control/quality_control.bluebook +6 -2
- data/lib/hecks/release/approval.rb +64 -0
- data/lib/hecks/router/{door.rb → aggregate_reader.rb} +5 -4
- data/lib/hecks/router/namespace_installer.rb +16 -16
- data/lib/hecks/router.rb +1 -1
- data/lib/hecks/runtime/best_effort.rb +22 -0
- data/lib/hecks/runtime/command_interpreter/mutation_applier.rb +12 -2
- data/lib/hecks/runtime/command_interpreter.rb +3 -2
- data/lib/hecks/runtime/command_rules/emission.rb +1 -1
- data/lib/hecks/runtime/dispatcher.rb +4 -4
- data/lib/hecks/runtime/entity_element/location.rb +1 -1
- data/lib/hecks/runtime/event.rb +5 -0
- data/lib/hecks/runtime/identity.rb +7 -6
- data/lib/hecks/runtime/interpreting.rb +2 -1
- data/lib/hecks/runtime/invocation_builder.rb +1 -1
- data/lib/hecks/runtime/loader/boot_steps.rb +8 -5
- data/lib/hecks/runtime/loader.rb +10 -10
- data/lib/hecks/runtime/policy_interpreter/arguments.rb +7 -4
- data/lib/hecks/runtime/policy_interpreter/fan_out.rb +3 -3
- data/lib/hecks/runtime/policy_interpreter.rb +6 -6
- data/lib/hecks/runtime/port_operation_interpreter.rb +1 -1
- data/lib/hecks/runtime/reaction_invocation.rb +1 -1
- data/lib/hecks/runtime/rebuild_sweep.rb +11 -1
- data/lib/hecks/runtime/registry/ask_verification.rb +35 -0
- data/lib/hecks/runtime/registry/hecksagon_rules.rb +10 -0
- data/lib/hecks/runtime/registry/merging.rb +1 -1
- data/lib/hecks/runtime/registry/providers.rb +16 -0
- data/lib/hecks/runtime/registry/read_repository.rb +6 -4
- data/lib/hecks/runtime/registry/verification.rb +4 -1
- data/lib/hecks/runtime/registry/world_defaults.rb +29 -0
- data/lib/hecks/runtime/registry.rb +1 -1
- data/lib/hecks/runtime/saga_interpreter/compensation.rb +1 -1
- data/lib/hecks/runtime/saga_interpreter/delivery.rb +4 -4
- data/lib/hecks/runtime/saga_interpreter/transitions.rb +1 -1
- data/lib/hecks/runtime/saga_interpreter.rb +3 -3
- data/lib/hecks/runtime/tenant_check.rb +5 -4
- data/lib/hecks/runtime/value/coercion.rb +2 -2
- data/lib/hecks/runtime/value/validation.rb +16 -4
- data/lib/hecks/runtime.rb +9 -9
- data/lib/hecks/rust_build/host.rb +11 -4
- data/lib/hecks/rust_build/prebuilt_binary.rb +101 -0
- data/lib/hecks/rust_build/project_rust/target_ir.rb +1 -1
- data/lib/hecks/rust_build/wasm.rb +1 -1
- data/lib/hecks/rust_build/wasm_browser.rb +1 -1
- data/lib/hecks/rust_build.rb +11 -0
- data/lib/hecks/served_options.rb +53 -0
- data/lib/hecks/site/bluebook/site.bluebook +1 -0
- data/lib/hecks/storehouse/audit.rb +1 -1
- data/lib/hecks/storehouse/dispatching.rb +8 -6
- data/lib/hecks/storehouse/introspection.rb +2 -2
- data/lib/hecks/storehouse/querying.rb +6 -4
- data/lib/hecks/storehouse.rb +4 -4
- data/lib/hecks/tools/ci_gate_decision.rb +35 -0
- data/lib/hecks/tools/ci_gates.rb +20 -1
- data/lib/hecks/tools/comment_style/source_file.rb +4 -1
- data/lib/hecks/tools/deploy_recipe_lint/fixtures.rb +4 -1
- data/lib/hecks/tools/lanes/files.rb +8 -0
- data/lib/hecks/tools/lanes/prebuilt_workflow.rb +81 -0
- data/lib/hecks/tools/lanes/rows.rb +6 -0
- data/lib/hecks/tools/lanes.rb +1 -0
- data/lib/hecks/tools/oidc_manifests.rb +4 -5
- data/lib/hecks/tools/regeneration_run.rb +11 -4
- data/lib/hecks/tools/release_only.rb +111 -0
- data/lib/hecks/tools/site_routes/editor_files.rb +12 -5
- data/lib/hecks/tools/tenant_provisioning.rb +2 -2
- data/lib/hecks/tools/tools_doc.rb +4 -4
- data/lib/hecks/version.rb +1 -1
- data/lib/hecks/vocabulary.rb +19 -5
- data/lib/hecks.rb +15 -15
- data/lib/rubocop/cop/hecks/env_dump.rb +69 -0
- data/lib/rubocop/cop/hecks/monotonic_duration.rb +53 -0
- data/lib/rubocop/cop/hecks/no_wall_clock_in_runtime.rb +34 -0
- data/lib/rubocop/cop/hecks/raw_shell_interpolation.rb +79 -0
- data/lib/rubocop/cop/hecks/sleep_in_spec.rb +34 -0
- data/lib/rubocop/cop/hecks/swallowed_rescue.rb +37 -0
- data/lib/rubocop/cop/hecks/symbol_string_key_mix.rb +50 -0
- data/lib/rubocop/cop/hecks/untyped_raise.rb +37 -0
- data/prebuilt/9ee54e2f0d4d6d3fe046827779b221e02de665fba911a048ae5dd8b8fbfb7d90.marshal +0 -0
- data/prebuilt/d74a00e996222c1d8b676d5959092effc46b4dc59e0555f3bf9554ac58e3094a.marshal +0 -0
- data/prebuilt/verdicts-df19f35868d3284a70f55e42dcef87ef4e65e6a678e5135f72e1f6cff4c1357b.json +1 -0
- data/rust/.gitignore +6 -0
- data/rust/Cargo.toml +6 -0
- data/rust/build/src/binding_pass.rs +103 -0
- data/rust/build/src/cargo_sync.rs +6 -0
- data/rust/build/src/lineage_pass.rs +3 -3
- data/rust/build/src/main.rs +17 -5
- data/rust/build/src/pipeline.rs +48 -5
- data/rust/build/src/seams_pass.rs +123 -0
- data/rust/build/src/translation_pass.rs +167 -0
- data/rust/codegen/src/asks.rs +103 -0
- data/rust/codegen/src/commands.rs +13 -8
- data/rust/codegen/src/constraints.rs +25 -0
- data/rust/codegen/src/domain_generator.rs +2 -0
- data/rust/codegen/src/expr_emitter.rs +13 -0
- data/rust/codegen/src/json_codec.rs +54 -15
- data/rust/codegen/src/main.rs +1 -0
- data/rust/codegen/src/mutations.rs +128 -3
- data/rust/codegen/src/queries.rs +11 -2
- data/rust/codegen/src/reactions.rs +1 -1
- data/rust/codegen/src/types.rs +166 -8
- data/rust/host/HECKS_RELEASE +1 -1
- data/rust/host/src/api.rs +4 -4
- data/rust/host/src/bin/validate_harness.rs +43 -0
- data/rust/host/src/boundary_fuzz/expr_json.rs +2 -2
- data/rust/host/src/boundary_fuzz/ir.rs +1 -0
- data/rust/host/src/boundary_fuzz/server.rs +1 -1
- data/rust/host/src/checkout.rs +35 -19
- data/rust/host/src/commerce_ir.rs +408 -2
- data/rust/host/src/expr_json.rs +118 -0
- data/rust/host/src/extension.rs +13 -1
- data/rust/host/src/lib.rs +1 -0
- data/rust/host/src/mint.rs +1 -1
- data/rust/host/src/payments/tests.rs +27 -1
- data/rust/host/src/payments.rs +12 -4
- data/rust/host/src/platform_signin/attack_tests.rs +1100 -0
- data/rust/host/src/platform_signin/config.rs +512 -0
- data/rust/host/src/platform_signin/cookie.rs +237 -0
- data/rust/host/src/platform_signin/extension.rs +190 -0
- data/rust/host/src/platform_signin/fetcher.rs +322 -0
- data/rust/host/src/platform_signin/handler.rs +251 -0
- data/rust/host/src/platform_signin/handler_tests.rs +554 -0
- data/rust/host/src/platform_signin/jti.rs +196 -0
- data/rust/host/src/platform_signin/jwks.rs +542 -0
- data/rust/host/src/platform_signin/jws.rs +249 -0
- data/rust/host/src/platform_signin/known_answer_tests.rs +237 -0
- data/rust/host/src/platform_signin/mapping_tests.rs +254 -0
- data/rust/host/src/platform_signin/mod.rs +75 -0
- data/rust/host/src/platform_signin/mode_tests.rs +382 -0
- data/rust/host/src/platform_signin/pages.rs +204 -0
- data/rust/host/src/platform_signin/query.rs +233 -0
- data/rust/host/src/platform_signin/session.rs +151 -0
- data/rust/host/src/platform_signin/settings.rs +385 -0
- data/rust/host/src/platform_signin/strict_json.rs +351 -0
- data/rust/host/src/platform_signin/test_support.rs +235 -0
- data/rust/host/src/platform_signin/ttl_tests.rs +94 -0
- data/rust/host/src/platform_signin/verify.rs +604 -0
- data/rust/host/src/platform_signin/wiring_support.rs +319 -0
- data/rust/host/src/query_step.rs +22 -4
- data/rust/host/src/reference_validate.rs +653 -108
- data/rust/host/src/resend.rs +2 -0
- data/rust/host/src/server.rs +19 -6
- data/rust/host/src/ui_schema.rs +132 -5
- data/rust/host/src/web/newsletter.rs +7 -8
- data/rust/host/src/web/newsletter_send.rs +38 -13
- data/rust/host/src/web/registrations.rs +229 -26
- data/rust/host/src/web.rs +53 -9
- data/rust/parser/src/emit.rs +38 -6
- data/rust/parser/src/expr/ast_json.rs +7 -1
- data/rust/parser/src/expr/resolver.rs +171 -6
- data/rust/parser/src/ir.rs +7 -0
- data/rust/parser/src/keywords.rs +24 -0
- data/rust/parser/src/main.rs +3 -0
- data/rust/parser/src/parse/aggregate.rs +2 -1
- data/rust/parser/src/parse/chapter.rs +2 -2
- data/rust/parser/src/parse/command.rs +2 -0
- data/rust/parser/src/parse/hecksagon.rs +5 -2
- data/rust/parser/src/parse/lifecycle.rs +81 -0
- data/rust/parser/src/parse/mod.rs +15 -1
- data/rust/parser/src/parse/policy.rs +13 -2
- data/rust/parser/src/parse/value_object.rs +34 -17
- data/rust/parser/src/ruby_value.rs +1 -1
- data/rust/src/exemplar/commands.rs +4 -4
- data/rust/src/exemplar/constraints.rs +1 -1
- data/rust/src/exemplar/json.rs +43 -1
- data/rust/src/kernel/cli.rs +7 -5
- data/rust/src/kernel/dispatch.rs +2 -2
- data/rust/src/kernel/dispatch_guard_tests.rs +1 -1
- data/rust/src/kernel/expr.rs +66 -3
- data/rust/src/kernel/expression_operators/arithmetic.rs +130 -5
- data/rust/src/kernel/expression_operators/text.rs +26 -2
- data/rust/src/kernel/json.rs +15 -0
- data/rust/src/kernel/mod.rs +1 -1
- data/rust/src/kernel/orchestrate.rs +54 -5
- data/rust/src/kernel/orchestrate_guard_tests.rs +67 -0
- data/rust/src/kernel/pattern.rs +60 -0
- data/rust/src/kernel/reference_lookup.rs +90 -7
- metadata +178 -38
- data/lib/hecks/doors/cli_door/nesting.rb +0 -34
- data/lib/hecks/doors/cli_door/shorthand.rb +0 -85
- data/lib/hecks/doors/cli_door.rb +0 -124
- data/lib/hecks/doors/cli_runner/answers.rb +0 -138
- data/lib/hecks/doors/cli_runner/resolution.rb +0 -146
- data/lib/hecks/doors/cli_runner/settling.rb +0 -115
- data/lib/hecks/doors/cli_runner/streaming.rb +0 -90
- data/lib/hecks/doors/cli_runner/suggestions.rb +0 -43
- data/lib/hecks/doors/cli_runner.rb +0 -66
- data/lib/hecks/doors/command_request.rb +0 -119
- data/lib/hecks/doors/handle.rb +0 -208
- data/lib/hecks/doors/json_door.rb +0 -132
- data/lib/hecks/doors/launcher_options.rb +0 -247
- data/lib/hecks/doors/mcp_door/properties.rb +0 -47
- data/lib/hecks/doors/mcp_door/tool_calls.rb +0 -113
- data/lib/hecks/doors/mcp_door/tool_definitions/auditing.rb +0 -51
- data/lib/hecks/doors/mcp_door/tool_definitions/calling.rb +0 -69
- data/lib/hecks/doors/mcp_door/tool_definitions/reading.rb +0 -97
- data/lib/hecks/doors/mcp_door/tool_definitions.rb +0 -15
- data/lib/hecks/doors/mcp_door.rb +0 -156
- data/lib/hecks/doors/mcp_door_scope/argument_policy.rb +0 -92
- data/lib/hecks/doors/mcp_door_scope/env_problems.rb +0 -55
- data/lib/hecks/doors/mcp_door_scope/presenter.rb +0 -78
- data/lib/hecks/doors/mcp_door_scope.rb +0 -201
- data/lib/hecks/doors/mcp_guide_cache.rb +0 -75
- data/lib/hecks/doors/ruby_door/aggregate_door.rb +0 -162
- data/lib/hecks/doors/ruby_door/chapter.rb +0 -89
- data/lib/hecks/doors/ruby_door.rb +0 -80
- data/lib/hecks/doors/usage_cache.rb +0 -139
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/body_widget.js.tmpl +0 -282
- data/lib/hecks/projections/site/cms_editor/templates/src/ui/media_picker.js.tmpl +0 -109
- data/prebuilt/c28d6d9db14eea3e17161e9d9c262efee30b256cf97693a7cfd552bce24b2f7f.marshal +0 -0
- data/prebuilt/cb375cba61ca0dbe8ddb9739c306510fe05e5f4b7a9b6955caff8224c63ea0e0.marshal +0 -0
- 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
|
+
}
|