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