hecks 2.8.0 → 3.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/exe/hecks +50 -7
- data/lib/hecks/adapters/driven/claude_code.rb +4 -104
- data/lib/hecks/adapters/driven/d1.rb +44 -237
- data/lib/hecks/adapters/driven/folder.rb +17 -76
- data/lib/hecks/adapters/driven/google_authentication.rb +15 -49
- data/lib/hecks/adapters/driven/governance_authorization.rb +23 -70
- data/lib/hecks/adapters/driven/heki/journal.rb +8 -41
- data/lib/hecks/adapters/driven/heki/saga_store.rb +12 -54
- data/lib/hecks/adapters/driven/heki/snapshot.rb +4 -12
- data/lib/hecks/adapters/driven/heki.rb +13 -42
- data/lib/hecks/adapters/driven/identity_registry.rb +3 -14
- data/lib/hecks/adapters/driven/in_memory_ordering.rb +9 -26
- data/lib/hecks/adapters/driven/in_process_key_vault.rb +2 -14
- data/lib/hecks/adapters/driven/lambda/client.rb +10 -51
- data/lib/hecks/adapters/driven/lambda.rb +10 -84
- data/lib/hecks/adapters/driven/local_storage.rb +5 -40
- data/lib/hecks/adapters/driven/memory.rb +32 -100
- data/lib/hecks/adapters/driven/mock_stripe_adapter.rb +5 -21
- data/lib/hecks/adapters/driven/postgres/codec.rb +6 -28
- data/lib/hecks/adapters/driven/postgres/outbox.rb +3 -12
- data/lib/hecks/adapters/driven/postgres/reconnect.rb +10 -32
- data/lib/hecks/adapters/driven/postgres/schema_builder.rb +34 -108
- data/lib/hecks/adapters/driven/postgres/shared_connection.rb +180 -0
- data/lib/hecks/adapters/driven/postgres.rb +149 -136
- data/lib/hecks/adapters/driven/postgres_era.adapter +4 -15
- data/lib/hecks/adapters/driven/prism.rb +48 -38
- data/lib/hecks/adapters/driven/sql_query_builder.rb +21 -121
- data/lib/hecks/adapters/driven/sqlite/codec.rb +8 -40
- data/lib/hecks/adapters/driven/sqlite/projection.rb +26 -82
- data/lib/hecks/adapters/driven/sqlite/schema_builder.rb +40 -84
- data/lib/hecks/adapters/driven/sqlite.rb +128 -65
- data/lib/hecks/adapters/driven/tenant_provisioner.rb +76 -62
- data/lib/hecks/adapters/driven.rb +5 -36
- data/lib/hecks/adapters/driving/github_webhook.rb +8 -76
- data/lib/hecks/behaviors/dsl.rb +7 -25
- data/lib/hecks/behaviors/expectations.rb +32 -142
- data/lib/hecks/behaviors/ir.rb +7 -20
- data/lib/hecks/behaviors/rspec.rb +6 -17
- data/lib/hecks/behaviors/runner.rb +10 -34
- data/lib/hecks/behaviors.rb +4 -8
- data/lib/hecks/bench/cli.rb +62 -0
- data/lib/hecks/bench/environment.rb +71 -0
- data/lib/hecks/bench/postgres_probe.rb +30 -0
- data/lib/hecks/bench/report.rb +76 -0
- data/lib/hecks/bench/ruby_runner.rb +93 -0
- data/lib/hecks/bench/run.rb +55 -0
- data/lib/hecks/bench/rust_runner.rb +101 -0
- data/lib/hecks/bench/stats.rb +46 -0
- data/lib/hecks/bench/suite.rb +98 -0
- data/lib/hecks/bench/workload.rb +89 -0
- data/lib/hecks/bench.rb +17 -0
- data/lib/hecks/bluebook/aggregate.rb +9 -75
- data/lib/hecks/bluebook/assembly/aggregate_assembly.rb +9 -38
- data/lib/hecks/bluebook/assembly/build.rb +4 -15
- data/lib/hecks/bluebook/assembly/contract.rb +15 -136
- data/lib/hecks/bluebook/assembly/contracts.rb +56 -174
- data/lib/hecks/bluebook/assembly/marks.rb +31 -223
- data/lib/hecks/bluebook/assembly/specializer.rb +6 -52
- data/lib/hecks/bluebook/assembly.rb +6 -45
- data/lib/hecks/bluebook/attribute.rb +12 -61
- data/lib/hecks/bluebook/behaviour/aggregate.rb +39 -39
- data/lib/hecks/bluebook/behaviour/attribute.rb +3 -14
- data/lib/hecks/bluebook/behaviour/chapter.rb +14 -42
- data/lib/hecks/bluebook/behaviour/command.rb +14 -66
- data/lib/hecks/bluebook/behaviour/domain_port.rb +11 -20
- data/lib/hecks/bluebook/behaviour/entity.rb +7 -27
- data/lib/hecks/bluebook/behaviour/hexagon.rb +23 -41
- data/lib/hecks/bluebook/behaviour/lifecycle.rb +15 -40
- data/lib/hecks/bluebook/behaviour/policy.rb +23 -52
- data/lib/hecks/bluebook/behaviour/process_manager.rb +30 -57
- data/lib/hecks/bluebook/behaviour/read_model.rb +25 -31
- data/lib/hecks/bluebook/behaviour/traits.rb +27 -64
- data/lib/hecks/bluebook/behaviour/value_object.rb +5 -24
- data/lib/hecks/bluebook/capabilities.rb +17 -49
- data/lib/hecks/bluebook/chapter.rb +16 -50
- data/lib/hecks/bluebook/command.rb +23 -81
- data/lib/hecks/bluebook/domain_port.rb +49 -67
- data/lib/hecks/bluebook/dsl/aggregate_builder/sealing.rb +50 -229
- data/lib/hecks/bluebook/dsl/aggregate_builder.rb +50 -377
- data/lib/hecks/bluebook/dsl/attribute_collector.rb +33 -204
- data/lib/hecks/bluebook/dsl/binding_proxy.rb +16 -69
- data/lib/hecks/bluebook/dsl/bluebook_builder/validation.rb +96 -708
- data/lib/hecks/bluebook/dsl/bluebook_builder.rb +63 -169
- data/lib/hecks/bluebook/dsl/bootstrap_table.rb +3 -1
- data/lib/hecks/bluebook/dsl/command_builder.rb +74 -546
- data/lib/hecks/bluebook/dsl/const_shim.rb +8 -41
- data/lib/hecks/bluebook/dsl/domain_port_builder.rb +42 -89
- data/lib/hecks/bluebook/dsl/entity_builder.rb +44 -330
- data/lib/hecks/bluebook/dsl/generic_dispatch.rb +20 -269
- data/lib/hecks/bluebook/dsl/hecksagon_builder.rb +148 -197
- data/lib/hecks/bluebook/dsl/identity_declaration.rb +13 -88
- data/lib/hecks/bluebook/dsl/lifecycle_builder.rb +6 -20
- data/lib/hecks/bluebook/dsl/policy_builder.rb +16 -88
- data/lib/hecks/bluebook/dsl/port_builder.rb +2 -6
- data/lib/hecks/bluebook/dsl/port_operation_builder.rb +22 -96
- data/lib/hecks/bluebook/dsl/process_manager_builder.rb +31 -184
- data/lib/hecks/bluebook/dsl/query_builder.rb +38 -43
- data/lib/hecks/bluebook/dsl/read_model_builder.rb +75 -201
- data/lib/hecks/bluebook/dsl/rule_reference.rb +22 -163
- data/lib/hecks/bluebook/dsl/translation_builder.rb +28 -114
- data/lib/hecks/bluebook/dsl/value_object_builder.rb +10 -124
- data/lib/hecks/bluebook/dsl/word_gate.rb +16 -162
- data/lib/hecks/bluebook/dsl/world_builder.rb +46 -111
- data/lib/hecks/bluebook/entity.rb +13 -71
- data/lib/hecks/bluebook/expression/ast_json.rb +24 -190
- data/lib/hecks/bluebook/expression/ast_reader.rb +12 -54
- data/lib/hecks/bluebook/expression/canonical_form.rb +11 -88
- data/lib/hecks/bluebook/expression/evaluator.rb +47 -295
- data/lib/hecks/bluebook/expression/resolver/block_predicates.rb +30 -147
- data/lib/hecks/bluebook/expression/resolver.rb +39 -661
- data/lib/hecks/bluebook/hexagon.rb +18 -33
- data/lib/hecks/bluebook/lifecycle.rb +5 -16
- data/lib/hecks/bluebook/meta_validator/adapter_judge.rb +1 -7
- data/lib/hecks/bluebook/meta_validator/judge.rb +111 -361
- data/lib/hecks/bluebook/meta_validator/plan.rb +33 -162
- data/lib/hecks/bluebook/meta_validator/port_judge.rb +2 -7
- data/lib/hecks/bluebook/meta_validator/readings.rb +56 -342
- data/lib/hecks/bluebook/meta_validator/reconstruction.rb +25 -176
- data/lib/hecks/bluebook/meta_validator/shapes.rb +53 -267
- data/lib/hecks/bluebook/meta_validator/syntax_boot.rb +47 -306
- data/lib/hecks/bluebook/meta_validator/translation_judge.rb +7 -43
- data/lib/hecks/bluebook/meta_validator/verdict_cache.rb +246 -0
- data/lib/hecks/bluebook/meta_validator/world_judge.rb +6 -18
- data/lib/hecks/bluebook/meta_validator.rb +87 -352
- data/lib/hecks/bluebook/model_check/client_profile.rb +6 -21
- data/lib/hecks/bluebook/model_check.rb +122 -596
- data/lib/hecks/bluebook/pattern_subset.rb +49 -69
- data/lib/hecks/bluebook/process_manager.rb +13 -83
- data/lib/hecks/bluebook/project_loader.rb +3 -39
- data/lib/hecks/bluebook/project_register.rb +12 -60
- data/lib/hecks/bluebook/query.rb +27 -51
- data/lib/hecks/bluebook/read_model.rb +57 -81
- data/lib/hecks/bluebook/reference.rb +7 -41
- data/lib/hecks/bluebook/smoke_test.rb +9 -99
- data/lib/hecks/bluebook/synthesizer.rb +13 -62
- data/lib/hecks/bluebook/translation.rb +26 -62
- data/lib/hecks/bluebook/value_object.rb +11 -36
- data/lib/hecks/bluebook.rb +5 -22
- data/lib/hecks/cache_dir.rb +4 -23
- data/lib/hecks/canonical_json.rb +30 -0
- data/lib/hecks/chapters.rb +102 -0
- data/lib/hecks/cli/behaviors.rb +61 -0
- data/lib/hecks/cli/canonicalise.rb +25 -0
- data/lib/hecks/cli/check_engine_agreement.rb +32 -0
- data/lib/hecks/cli/check_era.rb +88 -0
- data/lib/hecks/cli/console.rb +66 -0
- data/lib/hecks/cli/deploy_template_diff.rb +40 -0
- data/lib/hecks/cli/doc_coverage.rb +32 -0
- data/lib/hecks/cli/document.rb +5 -23
- data/lib/hecks/cli/expression_projection.rb +41 -0
- data/lib/hecks/cli/follow.rb +88 -0
- data/lib/hecks/cli/history.rb +44 -0
- data/lib/hecks/cli/ir.rb +4 -6
- data/lib/hecks/cli/mcp.rb +5 -6
- data/lib/hecks/cli/model_check.rb +24 -88
- data/lib/hecks/cli/pattern_cases.rb +47 -0
- data/lib/hecks/cli/present.rb +39 -0
- data/lib/hecks/cli/project_cli.rb +223 -64
- data/lib/hecks/cli/project_diagrams.rb +4 -10
- data/lib/hecks/cli/project_glossary.rb +44 -0
- data/lib/hecks/cli/reference.rb +46 -0
- data/lib/hecks/cli/refresh_projections.rb +44 -0
- data/lib/hecks/cli/refresh_rspec_runtime_baseline.rb +150 -0
- data/lib/hecks/cli/release.rb +70 -0
- data/lib/hecks/cli/release_gem.rb +59 -0
- data/lib/hecks/cli/rspec_io_parallel_files.rb +137 -0
- data/lib/hecks/cli/rspec_shard_files.rb +66 -0
- data/lib/hecks/cli/run.rb +15 -61
- data/lib/hecks/cli/seed_semantics_corpus.rb +71 -0
- data/lib/hecks/cli/serve_query_ir_mcp.rb +30 -0
- data/lib/hecks/cli/shape.rb +70 -0
- data/lib/hecks/cli/smoke_http.rb +230 -0
- data/lib/hecks/cli/smoke_test.rb +7 -19
- data/lib/hecks/cli/spec_example.rb +27 -0
- data/lib/hecks/cli/statements.rb +32 -0
- data/lib/hecks/cli/stores.rb +4 -6
- data/lib/hecks/cli/stress_concurrency_specs.rb +177 -0
- data/lib/hecks/cli.rb +216 -73
- data/lib/hecks/codemod.rb +324 -0
- data/lib/hecks/construct.rb +8 -34
- data/lib/hecks/corpus.rb +423 -0
- data/lib/hecks/deploy/bluebook/deploy.bluebook +617 -158
- data/lib/hecks/deploy/bluebook/deploy.hecksagon +41 -11
- data/lib/hecks/deploy/oidc.json +82 -2
- data/lib/hecks/doc/reference.rb +351 -0
- data/lib/hecks/doors/cli_door.rb +196 -0
- data/lib/hecks/doors/cli_runner.rb +297 -0
- data/lib/hecks/{facade → doors}/command_request.rb +14 -34
- data/lib/hecks/doors/handle.rb +206 -0
- data/lib/hecks/doors/json_door.rb +132 -0
- data/lib/hecks/doors/launcher_options.rb +129 -0
- data/lib/hecks/{cli → doors}/mcp_door.rb +25 -120
- data/lib/hecks/doors/mcp_door_scope.rb +97 -0
- data/lib/hecks/doors/ruby_door/aggregate_door.rb +162 -0
- data/lib/hecks/doors/ruby_door/chapter.rb +72 -0
- data/lib/hecks/doors/ruby_door.rb +77 -0
- data/lib/hecks/doors.rb +61 -0
- data/lib/hecks/embryonaut_bluebook/lock.rb +3 -35
- data/lib/hecks/embryonaut_bluebook/shape.rb +1 -17
- data/lib/hecks/embryonaut_bluebook/vendor.rb +8 -53
- data/lib/hecks/embryonaut_bluebook/vendor_cli.rb +4 -19
- data/lib/hecks/embryonaut_bluebook.rb +5 -72
- data/lib/hecks/engine_agreement.rb +156 -0
- data/lib/hecks/facade.rb +23 -51
- data/lib/hecks/forms/app.rb +21 -76
- data/lib/hecks/forms/banking_presentation.rb +50 -0
- data/lib/hecks/forms/command_form_renderer.rb +10 -29
- data/lib/hecks/forms/field_renderer.rb +17 -156
- data/lib/hecks/forms/field_shape.rb +31 -222
- data/lib/hecks/forms/html.rb +12 -47
- data/lib/hecks/forms/index_renderer.rb +1 -4
- data/lib/hecks/forms/page.rb +3 -9
- data/lib/hecks/forms/params.rb +14 -60
- data/lib/hecks/forms/port_argument.rb +2 -19
- data/lib/hecks/forms/query_form_renderer.rb +4 -79
- data/lib/hecks/forms/record_renderer.rb +8 -75
- data/lib/hecks/forms/record_table.rb +7 -50
- data/lib/hecks/forms/reference_options.rb +3 -30
- data/lib/hecks/forms/value_object_shape.rb +8 -35
- data/lib/hecks/forms.rb +5 -33
- data/lib/hecks/fqn.rb +5 -12
- data/lib/hecks/framework/bluebook/compliance.bluebook +16 -65
- data/lib/hecks/framework/bluebook/console_settings.bluebook +47 -134
- data/lib/hecks/framework/bluebook/framework.hecksagon +5 -14
- data/lib/hecks/framework/bluebook/governance.bluebook +13 -34
- data/lib/hecks/framework/bluebook/identity.bluebook +11 -26
- data/lib/hecks/framework/bluebook/privacy.bluebook +8 -33
- data/lib/hecks/framework.rb +11 -80
- data/lib/hecks/freezer.rb +5 -39
- data/lib/hecks/fuzzing/bounded_exhaustive_expressions.rb +393 -0
- data/lib/hecks/fuzzing/combination_miner.rb +86 -0
- data/lib/hecks/fuzzing/concurrent_dispatch.rb +214 -0
- data/lib/hecks/fuzzing/coverage_campaign.rb +143 -0
- data/lib/hecks/fuzzing/differential.rb +156 -0
- data/lib/hecks/fuzzing/domain_generator.rb +615 -0
- data/lib/hecks/fuzzing/era_boundary.rb +71 -0
- data/lib/hecks/fuzzing/form_census.rb +136 -0
- data/lib/hecks/fuzzing/generated_domain_check.rb +93 -0
- data/lib/hecks/fuzzing/invalid_value_generator.rb +64 -0
- data/lib/hecks/fuzzing/isolated_boot.rb +301 -0
- data/lib/hecks/fuzzing/nondeterministic.rb +51 -0
- data/lib/hecks/fuzzing/outside_world.rb +45 -0
- data/lib/hecks/fuzzing/persistence_parity.rb +102 -0
- data/lib/hecks/fuzzing/properties/corrections.rb +88 -0
- data/lib/hecks/fuzzing/properties/dispatch_and_mutations.rb +314 -0
- data/lib/hecks/fuzzing/properties/guards.rb +190 -0
- data/lib/hecks/fuzzing/properties/invariants_and_aggregation.rb +300 -0
- data/lib/hecks/fuzzing/properties/lifecycle_and_replay.rb +93 -0
- data/lib/hecks/fuzzing/properties/outbox.rb +89 -0
- data/lib/hecks/fuzzing/properties/querying.rb +175 -0
- data/lib/hecks/fuzzing/properties.rb +162 -0
- data/lib/hecks/fuzzing/qa_settings.rb +123 -0
- data/lib/hecks/fuzzing/replay.rb +505 -0
- data/lib/hecks/fuzzing/rotation_priority.rb +48 -0
- data/lib/hecks/fuzzing/rust_gap_manifest.rb +108 -0
- data/lib/hecks/fuzzing/self_consistency.rb +339 -0
- data/lib/hecks/fuzzing/sequence_generator/adversary.rb +385 -0
- data/lib/hecks/fuzzing/sequence_generator/catalog.rb +132 -0
- data/lib/hecks/fuzzing/sequence_generator/outcome_tracker.rb +95 -0
- data/lib/hecks/fuzzing/sequence_generator/picker.rb +77 -0
- data/lib/hecks/fuzzing/sequence_generator/query_binding.rb +109 -0
- data/lib/hecks/fuzzing/sequence_generator/step_builder.rb +237 -0
- data/lib/hecks/fuzzing/sequence_generator.rb +189 -0
- data/lib/hecks/fuzzing/shrinker.rb +166 -0
- data/lib/hecks/fuzzing/structural_skips.rb +33 -0
- data/lib/hecks/fuzzing/sweep_depth.rb +43 -0
- data/lib/hecks/fuzzing/target_capabilities.rb +163 -0
- data/lib/hecks/fuzzing/value_generator.rb +216 -0
- data/lib/hecks/fuzzing.rb +23 -0
- data/lib/hecks/grammar/evolve.rb +336 -0
- data/lib/hecks/grammar/expression.bluebook +15 -40
- data/lib/hecks/grammar/translation.bluebook +3 -6
- data/lib/hecks/grammar.rb +16 -41
- data/lib/hecks/hecks/adapters/codebase/codemods.rb +45 -0
- data/lib/hecks/hecks/adapters/codebase/conformance.rb +71 -0
- data/lib/hecks/hecks/adapters/codebase/corpus_tasks.rb +202 -0
- data/lib/hecks/hecks/adapters/codebase/gem_registry.rb +80 -0
- data/lib/hecks/hecks/adapters/codebase/kernel_tables.rb +54 -0
- data/lib/hecks/hecks/adapters/codebase/language.rb +240 -0
- data/lib/hecks/hecks/adapters/codebase/npm_registry.rb +102 -0
- data/lib/hecks/hecks/adapters/codebase/publishing.rb +142 -0
- data/lib/hecks/hecks/adapters/codebase/regeneration.rb +67 -0
- data/lib/hecks/hecks/adapters/codebase/release_facts.rb +90 -0
- data/lib/hecks/hecks/adapters/codebase/ruby_child.rb +83 -0
- data/lib/hecks/hecks/adapters/codebase/secret_vault.rb +36 -0
- data/lib/hecks/hecks/adapters/codebase/source_tree.adapter +7 -0
- data/lib/hecks/hecks/adapters/codebase/source_tree.rb +189 -0
- data/lib/hecks/hecks/adapters/codebase/sqlite_fixture.rb +71 -0
- data/lib/hecks/hecks/adapters/codebase/style.rb +171 -0
- data/lib/hecks/hecks/adapters/codebase/test_runner.rb +55 -0
- data/lib/hecks/hecks/adapters/codebase/test_suite.rb +165 -0
- data/lib/hecks/hecks/adapters/codebase/tree.rb +111 -0
- data/lib/hecks/hecks/adapters/console_capture.rb +79 -0
- data/lib/hecks/hecks/adapters/deploy_toolchain.adapter +7 -0
- data/lib/hecks/hecks/adapters/deploy_toolchain.rb +108 -0
- data/lib/hecks/hecks/adapters/git.adapter +7 -0
- data/lib/hecks/hecks/adapters/git.rb +102 -0
- data/lib/hecks/hecks/adapters/host_http.adapter +7 -0
- data/lib/hecks/hecks/adapters/host_http.rb +65 -0
- data/lib/hecks/hecks/adapters/in_process_boot.adapter +7 -0
- data/lib/hecks/hecks/adapters/in_process_boot.rb +197 -0
- data/lib/hecks/hecks/adapters/in_process_operations.rb +202 -0
- data/lib/hecks/hecks/adapters/journal_store/changes.rb +143 -0
- data/lib/hecks/hecks/adapters/journal_store/compaction.rb +145 -0
- data/lib/hecks/hecks/adapters/journal_store/edge_audit.rb +132 -0
- data/lib/hecks/hecks/adapters/journal_store/examination.rb +135 -0
- data/lib/hecks/hecks/adapters/journal_store/held_domain.rb +163 -0
- data/lib/hecks/hecks/adapters/journal_store/readings.rb +187 -0
- data/lib/hecks/hecks/adapters/journal_store.adapter +7 -0
- data/lib/hecks/hecks/adapters/journal_store.rb +64 -0
- data/lib/hecks/hecks/adapters/local_files.adapter +7 -0
- data/lib/hecks/hecks/adapters/local_files.rb +46 -0
- data/lib/hecks/hecks/adapters/pg_admin.adapter +7 -0
- data/lib/hecks/hecks/adapters/pg_admin.rb +245 -0
- data/lib/hecks/hecks/adapters/process_pool.adapter +7 -0
- data/lib/hecks/hecks/adapters/process_pool.rb +119 -0
- data/lib/hecks/hecks/adapters/rust_toolchain.adapter +7 -0
- data/lib/hecks/hecks/adapters/rust_toolchain.rb +179 -0
- data/lib/hecks/hecks/adapters/rust_workspace.rb +150 -0
- data/lib/hecks/hecks/adapters/shell.adapter +7 -0
- data/lib/hecks/hecks/adapters/shell.rb +49 -0
- data/lib/hecks/hecks/adapters/terminal.adapter +7 -0
- data/lib/hecks/hecks/adapters/terminal.rb +74 -0
- data/lib/hecks/hecks/codebase.behaviors +172 -0
- data/lib/hecks/hecks/codebase.bluebook +2453 -0
- data/lib/hecks/hecks/context_map.hecksagon +13 -0
- data/lib/hecks/hecks/custodian.behaviors +179 -0
- data/lib/hecks/hecks/custodian.bluebook +1847 -0
- data/lib/hecks/hecks/deploy.behaviors +74 -0
- data/lib/hecks/hecks/deploy.world +12 -0
- data/lib/hecks/hecks/environments/memory.world +10 -0
- data/lib/hecks/hecks/governance.world +7 -0
- data/lib/hecks/hecks/hecks.behaviors +62 -0
- data/lib/hecks/hecks/hecks.bluebook +124 -0
- data/lib/hecks/hecks/hecks.hecksagon +390 -0
- data/lib/hecks/hecks/hecks.world +42 -0
- data/lib/hecks/ir.rb +14 -83
- data/lib/hecks/kernel_capabilities.rb +194 -0
- data/lib/hecks/language/adapter.bluebook +2 -7
- data/lib/hecks/language/bluebook/aggregate.bluebook +56 -221
- data/lib/hecks/language/bluebook/attaches/paging.bluebook +6 -15
- data/lib/hecks/language/bluebook/bluebook.bluebook +26 -83
- data/lib/hecks/language/bluebook/bluebook.hecksagon +3 -15
- data/lib/hecks/language/bluebook/command.bluebook +27 -144
- data/lib/hecks/language/bluebook/entity.bluebook +24 -97
- data/lib/hecks/language/bluebook/policy.bluebook +16 -67
- data/lib/hecks/language/bluebook/process_manager.bluebook +28 -151
- data/lib/hecks/language/bluebook/projection.bluebook +126 -60
- data/lib/hecks/language/bluebook/query.bluebook +19 -43
- data/lib/hecks/language/bluebook/shape.bluebook +23 -73
- data/lib/hecks/language/bluebook/syntax.bluebook +51 -262
- data/lib/hecks/language/bluebook/vocabulary.bluebook +83 -198
- data/lib/hecks/language/hecksagon/adapter_binding.bluebook +3 -10
- data/lib/hecks/language/hecksagon/domain_port.bluebook +14 -19
- data/lib/hecks/language/hecksagon/hecksagon.bluebook +26 -25
- data/lib/hecks/language/hecksagon/port_operation.bluebook +3 -14
- data/lib/hecks/language/oidc.json +35 -0
- data/lib/hecks/language/port.bluebook +4 -17
- data/lib/hecks/language/translation/translation.bluebook +3 -9
- data/lib/hecks/language/translation/translation_aggregate.bluebook +5 -24
- data/lib/hecks/language/world/wiring.bluebook +1 -3
- data/lib/hecks/language/world/world.bluebook +5 -7
- data/lib/hecks/literal.rb +8 -50
- data/lib/hecks/mcp_stdio_guard.rb +4 -41
- data/lib/hecks/naming.rb +29 -137
- data/lib/hecks/persistence_legacy_fixture/regenerate.rb +161 -0
- data/lib/hecks/persistence_legacy_fixture.rb +113 -0
- data/lib/hecks/ports/access_control.rb +7 -23
- data/lib/hecks/ports/agent/answers.rb +5 -23
- data/lib/hecks/ports/agent.rb +47 -172
- data/lib/hecks/ports/authentication.rb +12 -39
- data/lib/hecks/ports/authorization.rb +16 -43
- data/lib/hecks/ports/clock.rb +5 -45
- data/lib/hecks/ports/extraction.rb +7 -12
- data/lib/hecks/ports/identity_assignment.rb +8 -29
- data/lib/hecks/ports/identity_generation.rb +6 -29
- data/lib/hecks/ports/identity_resolution.rb +2 -10
- data/lib/hecks/ports/key_vault.rb +9 -45
- data/lib/hecks/ports/persistence/append_only.rb +61 -64
- data/lib/hecks/ports/persistence/binding_policy.rb +4 -14
- data/lib/hecks/ports/persistence/codec_boundary.rb +20 -80
- data/lib/hecks/ports/persistence/null_saga_store.rb +4 -20
- data/lib/hecks/ports/persistence/plugin.rb +13 -42
- data/lib/hecks/ports/persistence/plugins/era/era_check.rb +44 -144
- data/lib/hecks/ports/persistence/plugins/era/era_guard/shape_diff.rb +15 -115
- data/lib/hecks/ports/persistence/plugins/era/era_guard.rb +20 -85
- data/lib/hecks/ports/persistence/plugins/era/era_tamper.rb +6 -25
- data/lib/hecks/ports/persistence/plugins/era/expected_era.rb +18 -24
- data/lib/hecks/ports/persistence/plugins/era/lineage.rb +55 -181
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/events.rb +77 -0
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/era_store.rb +12 -122
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/field_cache.rb +28 -128
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/head_compiler.rb +73 -474
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/mint_transaction.rb +31 -124
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/provisioning.rb +45 -219
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/resumable_backfill.rb +13 -108
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/tail_merge.rb +19 -76
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage/transform_installer.rb +9 -49
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage.rb +6 -123
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/coverage_check.rb +23 -55
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/era_resolver.rb +14 -72
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/merge_coordinator.rb +7 -16
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager/minter.rb +43 -127
- data/lib/hecks/ports/persistence/plugins/era/postgres_era/lineage_manager.rb +13 -45
- data/lib/hecks/ports/persistence/plugins/era/postgres_era.rb +131 -555
- data/lib/hecks/ports/persistence/plugins/era/storage_shape.rb +13 -63
- data/lib/hecks/ports/persistence/plugins/era/translation/approval_file.rb +227 -0
- data/lib/hecks/ports/persistence/plugins/era/translation/audit/approval_digest.rb +2 -17
- data/lib/hecks/ports/persistence/plugins/era/translation/audit/layer_one.rb +3 -14
- data/lib/hecks/ports/persistence/plugins/era/translation/audit/layer_two.rb +13 -58
- data/lib/hecks/ports/persistence/plugins/era/translation/audit/unfed_report.rb +3 -17
- data/lib/hecks/ports/persistence/plugins/era/translation/audit.rb +9 -26
- data/lib/hecks/ports/persistence/plugins/era/translation/reattest.rb +50 -47
- data/lib/hecks/ports/persistence/plugins/era/translation/rule_compiler.rb +18 -124
- data/lib/hecks/ports/persistence/plugins/era/translation/scaffold/differ.rb +34 -123
- data/lib/hecks/ports/persistence/plugins/era/translation/scaffold/renderer.rb +5 -12
- data/lib/hecks/ports/persistence/plugins/era/translation/scaffold/writer.rb +3 -9
- data/lib/hecks/ports/persistence/plugins/era/translation/scaffold.rb +2 -14
- data/lib/hecks/ports/persistence/plugins/era/translation.rb +1 -0
- data/lib/hecks/ports/persistence/plugins/era.rb +4 -23
- data/lib/hecks/ports/persistence/postgres_dump/connection.rb +7 -23
- data/lib/hecks/ports/persistence/postgres_dump.rb +4 -35
- data/lib/hecks/ports/persistence/remote_runtime.rb +2 -24
- data/lib/hecks/ports/persistence/repository_factory.rb +8 -27
- data/lib/hecks/ports/persistence/state_codec.rb +47 -108
- data/lib/hecks/ports/persistence.rb +7 -14
- data/lib/hecks/ports/projection.rb +42 -84
- data/lib/hecks/ports/query/in_memory.rb +10 -58
- data/lib/hecks/ports/query/ordering.rb +11 -32
- data/lib/hecks/ports/query.rb +14 -37
- data/lib/hecks/ports.rb +2 -8
- data/lib/hecks/projection_files.rb +285 -0
- data/lib/hecks/projections/bootstrap_table.rb +12 -44
- data/lib/hecks/projections/deploy/fargate/assembly.rb +2 -15
- data/lib/hecks/projections/deploy/fargate/cdn.rb +1 -48
- data/lib/hecks/projections/deploy/fargate/cdn_default.rb +2 -11
- data/lib/hecks/projections/deploy/fargate/check.rb +5 -14
- data/lib/hecks/projections/deploy/fargate/containers.rb +3 -78
- data/lib/hecks/projections/deploy/fargate/extras.rb +3 -44
- data/lib/hecks/projections/deploy/fargate/monitoring.rb +0 -44
- data/lib/hecks/projections/deploy/fargate/settings.rb +2 -54
- data/lib/hecks/projections/deploy/fargate/yaml.rb +13 -58
- data/lib/hecks/projections/deploy/fargate.rb +40 -207
- data/lib/hecks/projections/deploy/lambda.rb +191 -708
- data/lib/hecks/projections/deploy/preview/access_yaml.rb +1 -33
- data/lib/hecks/projections/deploy/preview/containers.rb +6 -111
- data/lib/hecks/projections/deploy/preview/preview.sh.erb +1 -1
- data/lib/hecks/projections/deploy/preview/routing_yaml.rb +4 -56
- data/lib/hecks/projections/deploy/preview/script.rb +2 -14
- data/lib/hecks/projections/deploy/preview/settings.rb +3 -33
- data/lib/hecks/projections/deploy/preview/task_yaml.rb +2 -38
- data/lib/hecks/projections/deploy/preview/template.rb +3 -59
- data/lib/hecks/projections/deploy/preview.rb +2 -67
- data/lib/hecks/projections/deploy/scripts/deploy-service.sh.tmpl +1 -1
- data/lib/hecks/projections/deploy/scripts/expected-era.header +1 -1
- data/lib/hecks/projections/deploy/scripts/hosting.mk.tmpl +3 -3
- data/lib/hecks/projections/deploy/scripts/settings.rb +3 -25
- data/lib/hecks/projections/deploy/scripts/smoke-after-deploy.sh.tmpl +1 -1
- data/lib/hecks/projections/deploy/scripts.rb +4 -57
- data/lib/hecks/projections/deploy/shared.rb +48 -147
- data/lib/hecks/projections/deploy/smoke.rb +4 -61
- data/lib/hecks/projections/deploy/template_diff/comparer.rb +3 -25
- data/lib/hecks/projections/deploy/template_diff/loader.rb +2 -11
- data/lib/hecks/projections/deploy/template_diff.rb +5 -57
- data/lib/hecks/projections/diagrams.rb +22 -584
- data/lib/hecks/projections/glossary/html.rb +14 -130
- data/lib/hecks/projections/glossary/markdown.rb +8 -69
- data/lib/hecks/projections/glossary/mermaid.rb +9 -66
- data/lib/hecks/projections/glossary/sensitivity.rb +5 -34
- data/lib/hecks/projections/glossary/sentences.rb +14 -159
- data/lib/hecks/projections/glossary.rb +30 -222
- data/lib/hecks/projections/ir.rb +3 -10
- data/lib/hecks/projections/model/deviations.rb +16 -43
- data/lib/hecks/projections/model.rb +12 -51
- data/lib/hecks/projections/oidc.rb +12 -56
- data/lib/hecks/projections/parser_table.rb +13 -32
- data/lib/hecks/projections/reference.rb +4 -18
- data/lib/hecks/projections/rust_vocabulary.rb +13 -251
- data/lib/hecks/projections/shape.rb +3 -29
- data/lib/hecks/projections/statements.rb +7 -86
- data/lib/hecks/projections/vocabulary.rb +6 -22
- data/lib/hecks/projections.rb +2 -16
- data/lib/hecks/projector/cli_projector.rb +154 -400
- data/lib/hecks/projector/docs_projector.rb +10 -201
- data/lib/hecks/projector/exporter.rb +42 -134
- data/lib/hecks/projector/ir_projector.rb +2 -9
- data/lib/hecks/projector/narrate_projector.rb +15 -189
- data/lib/hecks/projector/target.rb +13 -76
- data/lib/hecks/projector.rb +30 -121
- data/lib/hecks/quality_control/adapters/agent.adapter +7 -0
- data/lib/hecks/quality_control/adapters/agent.rb +58 -0
- data/lib/hecks/quality_control/adapters/angle_tools.adapter +7 -0
- data/lib/hecks/quality_control/adapters/angle_tools.rb +15 -0
- data/lib/hecks/quality_control/adapters/clearance_recorder.rb +36 -0
- data/lib/hecks/quality_control/adapters/clearance_tools.adapter +7 -0
- data/lib/hecks/quality_control/adapters/clearance_tools.rb +17 -0
- data/lib/hecks/quality_control/adapters/git_pr.adapter +7 -0
- data/lib/hecks/quality_control/adapters/git_pr.rb +226 -0
- data/lib/hecks/quality_control/adapters/github_checks.adapter +9 -0
- data/lib/hecks/quality_control/adapters/github_checks.rb +83 -0
- data/lib/hecks/quality_control/adapters/github_ci_webhook.rb +56 -0
- data/lib/hecks/quality_control/adapters/github_issues.adapter +7 -0
- data/lib/hecks/quality_control/adapters/github_issues.rb +49 -0
- data/lib/hecks/quality_control/adapters/qa_tool.rb +59 -0
- data/lib/hecks/quality_control/adapters/sweep_tools.adapter +7 -0
- data/lib/hecks/quality_control/adapters/sweep_tools.rb +51 -0
- data/lib/hecks/quality_control/adapters/target_tools.adapter +7 -0
- data/lib/hecks/quality_control/adapters/target_tools.rb +43 -0
- data/lib/hecks/quality_control/cli/child.rb +45 -0
- data/lib/hecks/quality_control/cli/qa_concurrency_racer.rb +45 -0
- data/lib/hecks/quality_control/cli/qa_discover_external_domains.rb +248 -0
- data/lib/hecks/quality_control/cli/qa_domain_novelty.rb +163 -0
- data/lib/hecks/quality_control/cli/qa_generated_domains.rb +450 -0
- data/lib/hecks/quality_control/cli/qa_log_bug.rb +195 -0
- data/lib/hecks/quality_control/cli/qa_mine_combinations.rb +220 -0
- data/lib/hecks/quality_control/cli/qa_open_pr.rb +305 -0
- data/lib/hecks/quality_control/cli/qa_postgres_migrate.rb +154 -0
- data/lib/hecks/quality_control/cli/qa_postgres_role.rb +159 -0
- data/lib/hecks/quality_control/cli/qa_pr_check.rb +232 -0
- data/lib/hecks/quality_control/cli/qa_seed_angles.rb +142 -0
- data/lib/hecks/quality_control/cli/qa_seed_targets.rb +69 -0
- data/lib/hecks/quality_control/cli/qa_sweep/all_mode.rb +280 -0
- data/lib/hecks/quality_control/cli/qa_sweep/checks.rb +329 -0
- data/lib/hecks/quality_control/cli/qa_sweep/dials.rb +92 -0
- data/lib/hecks/quality_control/cli/qa_sweep/finding_report.rb +117 -0
- data/lib/hecks/quality_control/cli/qa_sweep/parsing.rb +175 -0
- data/lib/hecks/quality_control/cli/qa_sweep/release_mode.rb +60 -0
- data/lib/hecks/quality_control/cli/qa_sweep.rb +611 -0
- data/lib/hecks/quality_control/cli/qa_tick.rb +274 -0
- data/lib/hecks/quality_control/quality_control.bluebook +2224 -0
- data/lib/hecks/quality_control/quality_control.hecksagon +13 -0
- data/lib/hecks/quality_control/quality_control.ports.hecksagon +54 -0
- data/lib/hecks/query_ir.rb +346 -0
- data/lib/hecks/query_ir_mcp.rb +198 -0
- data/lib/hecks/query_specification/common/comparators.rb +5 -26
- data/lib/hecks/query_specification/common/comparison.rb +35 -143
- data/lib/hecks/query_specification/common/dsl.rb +8 -24
- data/lib/hecks/query_specification/common/null_policy.rb +20 -70
- data/lib/hecks/query_specification/common/options.rb +2 -6
- data/lib/hecks/query_specification/common/where_clause.rb +2 -10
- data/lib/hecks/query_specification/field_path.rb +37 -77
- data/lib/hecks/query_specification/hop_path.rb +12 -76
- data/lib/hecks/release/gem_pin.rb +2 -26
- data/lib/hecks/release/runner/ci_publisher.rb +5 -8
- data/lib/hecks/release/runner/clean_tree.rb +42 -0
- data/lib/hecks/release/runner/commands.rb +2 -4
- data/lib/hecks/release/runner/console.rb +6 -0
- data/lib/hecks/release/runner/gem_publisher.rb +15 -9
- data/lib/hecks/release/runner/npm_publisher.rb +9 -53
- data/lib/hecks/release/runner/preflight.rb +29 -20
- data/lib/hecks/release/runner/published.rb +8 -26
- data/lib/hecks/release/runner/tagger.rb +31 -23
- data/lib/hecks/release/runner.rb +60 -38
- data/lib/hecks/rendering.rb +4 -26
- data/lib/hecks/router/namespace_installer.rb +15 -39
- data/lib/hecks/router.rb +4 -8
- data/lib/hecks/runtime/adapter_lookup.rb +124 -0
- data/lib/hecks/runtime/aggregate_lock.rb +8 -33
- data/lib/hecks/runtime/boot_gates.rb +3 -18
- data/lib/hecks/runtime/caller.rb +19 -59
- data/lib/hecks/runtime/capability_graph.rb +5 -21
- data/lib/hecks/runtime/command_interpreter/argument_gate.rb +16 -78
- data/lib/hecks/runtime/command_interpreter/mutation_applier.rb +27 -160
- data/lib/hecks/runtime/command_interpreter.rb +124 -306
- data/lib/hecks/runtime/command_rules/admissibility.rb +95 -366
- data/lib/hecks/runtime/command_rules/arithmetic.rb +66 -196
- data/lib/hecks/runtime/command_rules/authorization.rb +13 -45
- data/lib/hecks/runtime/command_rules/emission.rb +8 -21
- data/lib/hecks/runtime/command_rules/references.rb +23 -202
- data/lib/hecks/runtime/dependency_planning.rb +50 -104
- data/lib/hecks/runtime/dispatcher.rb +134 -243
- data/lib/hecks/runtime/entity_element.rb +40 -462
- data/lib/hecks/runtime/entity_interpreter.rb +64 -219
- data/lib/hecks/runtime/errors.rb +32 -115
- data/lib/hecks/runtime/event.rb +3 -25
- data/lib/hecks/runtime/identity.rb +18 -154
- data/lib/hecks/runtime/instance.rb +18 -150
- data/lib/hecks/runtime/interpreting.rb +14 -70
- data/lib/hecks/runtime/invocation.rb +28 -164
- data/lib/hecks/runtime/loader.rb +109 -194
- data/lib/hecks/runtime/outbox.rb +39 -262
- data/lib/hecks/runtime/policy_interpreter.rb +43 -202
- data/lib/hecks/runtime/port_operation_interpreter.rb +28 -97
- data/lib/hecks/runtime/query_interpreter.rb +122 -187
- data/lib/hecks/runtime/reaction_invocation.rb +36 -138
- data/lib/hecks/runtime/reaction_outcome.rb +89 -0
- data/lib/hecks/runtime/read_model_interpreter.rb +117 -208
- data/lib/hecks/runtime/rebuild_sweep.rb +8 -54
- data/lib/hecks/runtime/reference_hop.rb +8 -81
- data/lib/hecks/runtime/refusal_wording.rb +28 -87
- data/lib/hecks/runtime/registry/saga_persistence.rb +10 -102
- data/lib/hecks/runtime/registry/verification.rb +213 -227
- data/lib/hecks/runtime/registry/world_defaults.rb +4 -53
- data/lib/hecks/runtime/registry.rb +156 -247
- data/lib/hecks/runtime/remote_dispatcher.rb +68 -154
- data/lib/hecks/runtime/routing.rb +4 -15
- data/lib/hecks/runtime/saga_interpreter/correlation.rb +14 -61
- data/lib/hecks/runtime/saga_interpreter.rb +79 -263
- data/lib/hecks/runtime/saga_pending_dispatch.rb +2 -43
- data/lib/hecks/runtime/tenant_check.rb +6 -68
- data/lib/hecks/runtime/tenant_scope.rb +3 -28
- data/lib/hecks/runtime/value/admission.rb +16 -67
- data/lib/hecks/runtime/value/coercion.rb +162 -760
- data/lib/hecks/runtime/value/entity_list_coercion.rb +26 -219
- data/lib/hecks/runtime/value/field_checks.rb +172 -0
- data/lib/hecks/runtime/value.rb +15 -84
- data/lib/hecks/runtime.rb +35 -69
- data/lib/hecks/rust_build/conformance.rb +158 -0
- data/lib/hecks/rust_build/conformance_fuzz.rb +71 -0
- data/lib/hecks/rust_build/coverage.rb +218 -0
- data/lib/hecks/rust_build/native_build.rb +124 -0
- data/lib/hecks/rust_build/project_rust/root_mod.rb +120 -0
- data/lib/hecks/rust_build/project_rust.rb +332 -0
- data/lib/hecks/rust_build/wasm.rb +105 -0
- data/lib/hecks/rust_build/wasm_browser.rb +113 -0
- data/lib/hecks/rust_build.rb +144 -0
- data/lib/hecks/storehouse.rb +155 -582
- data/lib/hecks/tenancy/bluebook/tenancy.bluebook +10 -34
- data/lib/hecks/tenancy/bluebook/tenancy.hecksagon +6 -23
- data/lib/hecks/three_zero/forms.yml +127 -0
- data/lib/hecks/three_zero.rb +12 -0
- data/lib/hecks/tools/argument_gate_matrix.rb +316 -0
- data/lib/hecks/tools/comment_style.rb +1070 -0
- data/lib/hecks/tools/corpus_report.rb +87 -0
- data/lib/hecks/tools/deploy_recipe.rb +255 -0
- data/lib/hecks/tools/deploy_recipe_lint.rb +282 -0
- data/lib/hecks/tools/drop_implicit_append_fields.rb +95 -0
- data/lib/hecks/tools/era_projection_backfill.rb +94 -0
- data/lib/hecks/tools/era_reattest.rb +146 -0
- data/lib/hecks/tools/evolve_run.rb +189 -0
- data/lib/hecks/tools/fuzz_sweep.rb +373 -0
- data/lib/hecks/tools/heki_compaction.rb +100 -0
- data/lib/hecks/tools/hoist_local_givens.rb +246 -0
- data/lib/hecks/tools/journal_compaction.rb +89 -0
- data/lib/hecks/tools/oidc_manifests.rb +70 -0
- data/lib/hecks/tools/query_ir_run.rb +81 -0
- data/lib/hecks/tools/regeneration_run.rb +166 -0
- data/lib/hecks/tools/rust_comment_style.rb +642 -0
- data/lib/hecks/tools/sequence_script.rb +62 -0
- data/lib/hecks/tools/tail_merge.rb +117 -0
- data/lib/hecks/tools/tenant_provisioning.rb +142 -0
- data/lib/hecks/tools/translation_audit.rb +208 -0
- data/lib/hecks/tools/translation_scaffold.rb +131 -0
- data/lib/hecks/tools.rb +86 -0
- data/lib/hecks/vendoring/git_environment.rb +2 -8
- data/lib/hecks/vendoring/git_source.rb +4 -10
- data/lib/hecks/vendoring.rb +7 -46
- data/lib/hecks/version.rb +3 -14
- data/lib/hecks.rb +52 -90
- data/lib/rubocop/cop/hecks/fallback_hash_lookup.rb +8 -46
- data/lib/rubocop/cop/hecks/sequential_hash_rename_in_loop.rb +11 -80
- data/lib/rubocop/cop/hecks/thread_shared_ivar_mutation.rb +10 -99
- data/qa/settings.yml +66 -0
- data/rust/.cargo/config.toml +6 -0
- data/rust/.gitignore +2 -0
- data/rust/Cargo.lock +54 -0
- data/rust/Cargo.toml +61 -0
- data/rust/build/.cargo/config.toml +3 -0
- data/rust/build/.gitignore +1 -0
- data/rust/build/Cargo.lock +7 -0
- data/rust/build/Cargo.toml +19 -0
- data/rust/build/src/build_artifact.rs +47 -0
- data/rust/build/src/cargo_sync.rs +248 -0
- data/rust/build/src/json.rs +421 -0
- data/rust/build/src/lineage_pass.rs +285 -0
- data/rust/build/src/main.rs +51 -0
- data/rust/build/src/optional_pass.rs +150 -0
- data/rust/build/src/pipeline.rs +264 -0
- data/rust/build/src/reserved_names.rs +76 -0
- data/rust/build/src/resolve.rs +124 -0
- data/rust/build/src/root.rs +25 -0
- data/rust/build/src/sidecars.rs +73 -0
- data/rust/build/src/subprocess.rs +51 -0
- data/rust/build/src/tmp.rs +31 -0
- data/rust/codegen/.cargo/config.toml +3 -0
- data/rust/codegen/.gitignore +1 -0
- data/rust/codegen/Cargo.lock +7 -0
- data/rust/codegen/Cargo.toml +20 -0
- data/rust/codegen/src/attr.rs +32 -0
- data/rust/codegen/src/bridging.rs +481 -0
- data/rust/codegen/src/commands.rs +1226 -0
- data/rust/codegen/src/constraints.rs +109 -0
- data/rust/codegen/src/dependency_planning.rs +209 -0
- data/rust/codegen/src/domain_generator.rs +1288 -0
- data/rust/codegen/src/exemplar.rs +230 -0
- data/rust/codegen/src/expr_emitter.rs +87 -0
- data/rust/codegen/src/fielded.rs +192 -0
- data/rust/codegen/src/hecks_naming.rs +33 -0
- data/rust/codegen/src/json.rs +335 -0
- data/rust/codegen/src/json_codec.rs +697 -0
- data/rust/codegen/src/literal.rs +207 -0
- data/rust/codegen/src/main.rs +290 -0
- data/rust/codegen/src/manifest.rs +227 -0
- data/rust/codegen/src/mutations.rs +784 -0
- data/rust/codegen/src/naming.rs +286 -0
- data/rust/codegen/src/ports.rs +208 -0
- data/rust/codegen/src/prelude.rs +116 -0
- data/rust/codegen/src/queries.rs +786 -0
- data/rust/codegen/src/reactions.rs +532 -0
- data/rust/codegen/src/read_models.rs +697 -0
- data/rust/codegen/src/reference_specs.rs +40 -0
- data/rust/codegen/src/registry.rs +966 -0
- data/rust/codegen/src/reserved_names.rs +76 -0
- data/rust/codegen/src/shared.rs +93 -0
- data/rust/codegen/src/skip_reason.rs +25 -0
- data/rust/codegen/src/types.rs +362 -0
- data/rust/host/.cargo/config.toml +3 -0
- data/rust/host/.gitignore +1 -0
- data/rust/host/Cargo.lock +4297 -0
- data/rust/host/Cargo.toml +61 -0
- data/rust/host/HECKS_RELEASE +1 -0
- data/rust/host/rds-ca-bundle.pem +2736 -0
- data/rust/host/src/api.rs +1596 -0
- data/rust/host/src/approval.rs +652 -0
- data/rust/host/src/auth.rs +1287 -0
- data/rust/host/src/bin/expr_harness.rs +46 -0
- data/rust/host/src/bin/lineage_harness.rs +119 -0
- data/rust/host/src/bin/mint_harness.rs +135 -0
- data/rust/host/src/checkout.rs +265 -0
- data/rust/host/src/dispatch.rs +1443 -0
- data/rust/host/src/expr_json.rs +1117 -0
- data/rust/host/src/field_hints.rs +52 -0
- data/rust/host/src/ir.rs +733 -0
- data/rust/host/src/journal.rs +874 -0
- data/rust/host/src/lambda_client.rs +378 -0
- data/rust/host/src/log.rs +147 -0
- data/rust/host/src/main.rs +474 -0
- data/rust/host/src/mint.rs +1865 -0
- data/rust/host/src/payments/keystore.rs +330 -0
- data/rust/host/src/payments/tests.rs +1400 -0
- data/rust/host/src/payments.rs +767 -0
- data/rust/host/src/presentation.rs +698 -0
- data/rust/host/src/presentation_write.rs +1431 -0
- data/rust/host/src/query_step.rs +149 -0
- data/rust/host/src/rate_limit.rs +904 -0
- data/rust/host/src/reference_transform.rs +241 -0
- data/rust/host/src/reference_validate.rs +338 -0
- data/rust/host/src/resend.rs +296 -0
- data/rust/host/src/secrets.rs +106 -0
- data/rust/host/src/server.rs +663 -0
- data/rust/host/src/storage_shape.rs +175 -0
- data/rust/host/src/test_pg.rs +40 -0
- data/rust/host/src/ui_schema.rs +1351 -0
- data/rust/host/src/wasm_runner.rs +191 -0
- data/rust/host/src/web/newsletter/cooldown.rs +126 -0
- data/rust/host/src/web/newsletter/tests.rs +104 -0
- data/rust/host/src/web/newsletter.rs +310 -0
- data/rust/host/src/web/newsletter_send.rs +357 -0
- data/rust/host/src/web/registrations.rs +1505 -0
- data/rust/host/src/web.rs +2937 -0
- data/rust/lsp/.gitignore +1 -0
- data/rust/lsp/Cargo.lock +7 -0
- data/rust/lsp/Cargo.toml +16 -0
- data/rust/lsp/README.md +133 -0
- data/rust/lsp/src/diagnostics.rs +165 -0
- data/rust/lsp/src/json.rs +385 -0
- data/rust/lsp/src/main.rs +399 -0
- data/rust/lsp/src/outline.rs +177 -0
- data/rust/lsp/src/rpc.rs +67 -0
- data/rust/parser/.cargo/config.toml +5 -0
- data/rust/parser/.gitignore +1 -0
- data/rust/parser/Cargo.lock +7 -0
- data/rust/parser/Cargo.toml +21 -0
- data/rust/parser/src/build/closed_sets.rs +27 -0
- data/rust/parser/src/build/identity.rs +276 -0
- data/rust/parser/src/build/mod.rs +12 -0
- data/rust/parser/src/build/naming.rs +141 -0
- data/rust/parser/src/build/pattern_subset.rs +161 -0
- data/rust/parser/src/build/query_derive.rs +72 -0
- data/rust/parser/src/build/query_inference.rs +269 -0
- data/rust/parser/src/build/query_options.rs +100 -0
- data/rust/parser/src/build/read_model.rs +94 -0
- data/rust/parser/src/build/references.rs +32 -0
- data/rust/parser/src/canonical.rs +114 -0
- data/rust/parser/src/diag.rs +55 -0
- data/rust/parser/src/emit.rs +953 -0
- data/rust/parser/src/expr/ast_json.rs +147 -0
- data/rust/parser/src/expr/evaluator.rs +81 -0
- data/rust/parser/src/expr/mod.rs +84 -0
- data/rust/parser/src/expr/resolver.rs +497 -0
- data/rust/parser/src/ir.rs +387 -0
- data/rust/parser/src/keywords.rs +585 -0
- data/rust/parser/src/lex.rs +662 -0
- data/rust/parser/src/main.rs +252 -0
- data/rust/parser/src/parse/aggregate.rs +612 -0
- data/rust/parser/src/parse/chapter.rs +517 -0
- data/rust/parser/src/parse/command.rs +637 -0
- data/rust/parser/src/parse/domain_port.rs +127 -0
- data/rust/parser/src/parse/entity.rs +527 -0
- data/rust/parser/src/parse/file.rs +67 -0
- data/rust/parser/src/parse/hecksagon.rs +231 -0
- data/rust/parser/src/parse/lifecycle.rs +162 -0
- data/rust/parser/src/parse/mod.rs +1262 -0
- data/rust/parser/src/parse/policy.rs +87 -0
- data/rust/parser/src/parse/process_manager.rs +305 -0
- data/rust/parser/src/parse/query.rs +100 -0
- data/rust/parser/src/parse/read_model.rs +214 -0
- data/rust/parser/src/parse/value_object.rs +250 -0
- data/rust/parser/src/ruby_value.rs +422 -0
- data/rust/project/bridging.rb +257 -0
- data/rust/project/commands.rb +877 -0
- data/rust/project/constraints.rb +86 -0
- data/rust/project/dependency_planning.rb +178 -0
- data/rust/project/domain_generator.rb +980 -0
- data/rust/project/exemplar.rb +148 -0
- data/rust/project/expr_emitter.rb +72 -0
- data/rust/project/fielded.rb +141 -0
- data/rust/project/json_codec.rb +641 -0
- data/rust/project/mutations.rb +721 -0
- data/rust/project/naming.rb +205 -0
- data/rust/project/ports.rb +65 -0
- data/rust/project/queries.rb +493 -0
- data/rust/project/reactions.rb +317 -0
- data/rust/project/read_models.rb +690 -0
- data/rust/project/reference_specs.rb +27 -0
- data/rust/project/registry.rb +396 -0
- data/rust/project/skip_reason.rb +29 -0
- data/rust/project/types.rb +225 -0
- data/rust/project/write_if_changed.rb +83 -0
- data/rust/project.rb +30 -0
- data/rust/project_rust_pipeline.rb +383 -0
- data/rust/src/exemplar/commands.rs +279 -0
- data/rust/src/exemplar/constraints.rs +18 -0
- data/rust/src/exemplar/fielded.rs +280 -0
- data/rust/src/exemplar/json.rs +277 -0
- data/rust/src/exemplar/mod.rs +17 -0
- data/rust/src/exemplar/mutations.rs +80 -0
- data/rust/src/exemplar/queries.rs +33 -0
- data/rust/src/exemplar/reactions.rs +88 -0
- data/rust/src/exemplar/read_models.rs +48 -0
- data/rust/src/exemplar/registry.rs +166 -0
- data/rust/src/exemplar/types.rs +44 -0
- data/rust/src/kernel/attribute_shapes/composite.rs +88 -0
- data/rust/src/kernel/attribute_shapes/list.rs +18 -0
- data/rust/src/kernel/attribute_shapes/mod.rs +44 -0
- data/rust/src/kernel/attribute_shapes/optional.rs +9 -0
- data/rust/src/kernel/attribute_shapes/scalar.rs +39 -0
- data/rust/src/kernel/cli.rs +585 -0
- data/rust/src/kernel/dispatch.rs +1090 -0
- data/rust/src/kernel/expr.rs +458 -0
- data/rust/src/kernel/expression_operators/arithmetic.rs +128 -0
- data/rust/src/kernel/expression_operators/comparison.rs +48 -0
- data/rust/src/kernel/expression_operators/enumeration.rs +232 -0
- data/rust/src/kernel/expression_operators/logical.rs +13 -0
- data/rust/src/kernel/expression_operators/membership.rs +18 -0
- data/rust/src/kernel/expression_operators/mod.rs +68 -0
- data/rust/src/kernel/expression_operators/pattern_match.rs +73 -0
- data/rust/src/kernel/expression_operators/positional.rs +126 -0
- data/rust/src/kernel/expression_operators/presence.rs +101 -0
- data/rust/src/kernel/expression_operators/sign_test.rs +16 -0
- data/rust/src/kernel/expression_operators/sized.rs +35 -0
- data/rust/src/kernel/expression_operators/text.rs +79 -0
- data/rust/src/kernel/expression_operators/to_string.rs +18 -0
- data/rust/src/kernel/json.rs +779 -0
- data/rust/src/kernel/mod.rs +133 -0
- data/rust/src/kernel/named_query.rs +219 -0
- data/rust/src/kernel/orchestrate.rs +1810 -0
- data/rust/src/kernel/pattern.rs +307 -0
- data/rust/src/kernel/query_comparators.rs +206 -0
- data/rust/src/kernel/query_ordering.rs +103 -0
- data/rust/src/kernel/read_model.rs +914 -0
- data/rust/src/kernel/reference_lookup.rs +149 -0
- data/rust/src/kernel/repository.rs +468 -0
- data/rust/src/kernel/routing.rs +612 -0
- data/rust/src/kernel/vocab/aggregate_dispatch_order.rs +118 -0
- data/rust/src/kernel/vocab/entity_dispatch_order.rs +114 -0
- data/rust/src/kernel/vocab/field_hint.rs +70 -0
- data/rust/src/kernel/vocab/mod.rs +20 -0
- data/rust/src/kernel/vocab/query_comparator.rs +65 -0
- data/rust/src/kernel/vocab/refusal_template.rs +1592 -0
- data/rust/src/lib.rs +8 -0
- data/rust/src/main.rs +16 -0
- data/rust/web/.gitignore +1 -0
- data/rust/web/Cargo.lock +119 -0
- data/rust/web/Cargo.toml +18 -0
- data/rust/web/src/lib.rs +8 -0
- metadata +478 -12
- data/lib/hecks/facade/cli_door.rb +0 -178
- data/lib/hecks/facade/cli_runner.rb +0 -271
- data/lib/hecks/facade/handle.rb +0 -293
- data/lib/hecks/facade/json_door.rb +0 -247
- data/lib/hecks/facade/surface/aggregate_door.rb +0 -222
- data/lib/hecks/facade/surface/chapter.rb +0 -116
- data/lib/hecks/facade/surface.rb +0 -61
- data/lib/hecks/mcp_door_scope.rb +0 -176
|
@@ -0,0 +1,286 @@
|
|
|
1
|
+
//! Port of `rust/project/naming.rb`, mirrored function for function.
|
|
2
|
+
|
|
3
|
+
pub fn scalar_rust_type(type_name: &str) -> Option<&'static str> {
|
|
4
|
+
match type_name {
|
|
5
|
+
"String" => Some("String"),
|
|
6
|
+
"Integer" => Some("i64"),
|
|
7
|
+
"Float" => Some("f64"),
|
|
8
|
+
_ => None,
|
|
9
|
+
}
|
|
10
|
+
}
|
|
11
|
+
|
|
12
|
+
pub fn reference_type(type_name: &str) -> bool {
|
|
13
|
+
type_name.starts_with("Reference<")
|
|
14
|
+
}
|
|
15
|
+
|
|
16
|
+
/// `X` out of `Reference<X>` — `None` for anything that isn't a reference
|
|
17
|
+
/// type at all.
|
|
18
|
+
pub fn reference_target(type_name: &str) -> Option<&str> {
|
|
19
|
+
type_name.strip_prefix("Reference<").and_then(|rest| rest.strip_suffix('>'))
|
|
20
|
+
}
|
|
21
|
+
|
|
22
|
+
pub fn effective_scalar_type(type_name: &str) -> Option<&'static str> {
|
|
23
|
+
if reference_type(type_name) {
|
|
24
|
+
return Some("String");
|
|
25
|
+
}
|
|
26
|
+
match type_name {
|
|
27
|
+
"String" => Some("String"),
|
|
28
|
+
"Integer" => Some("Integer"),
|
|
29
|
+
"Float" => Some("Float"),
|
|
30
|
+
_ => None,
|
|
31
|
+
}
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
pub fn rust_type(type_name: &str, list: bool) -> String {
|
|
35
|
+
let scalar = effective_scalar_type(type_name);
|
|
36
|
+
let inner = match scalar {
|
|
37
|
+
Some(s) => scalar_rust_type(s).unwrap().to_string(),
|
|
38
|
+
None => rust_ident(type_name),
|
|
39
|
+
};
|
|
40
|
+
if list {
|
|
41
|
+
format!("Vec<{inner}>")
|
|
42
|
+
} else {
|
|
43
|
+
inner
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
|
|
47
|
+
pub fn rust_ident(name: &str) -> String {
|
|
48
|
+
name.chars().filter(|c| c.is_ascii_alphanumeric()).collect()
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
/// `cmd.gsub(/(?<=.)([A-Z])/, '_\1').downcase` — insert `_` before every
|
|
52
|
+
/// uppercase letter that isn't the very first character, then lowercase.
|
|
53
|
+
pub fn dispatch_fn_name(cmd: &str) -> String {
|
|
54
|
+
let mut out = String::new();
|
|
55
|
+
for (i, c) in cmd.chars().enumerate() {
|
|
56
|
+
if i > 0 && c.is_ascii_uppercase() {
|
|
57
|
+
out.push('_');
|
|
58
|
+
}
|
|
59
|
+
out.push(c);
|
|
60
|
+
}
|
|
61
|
+
out.to_lowercase()
|
|
62
|
+
}
|
|
63
|
+
|
|
64
|
+
/// Generated from the `RustReservedWord`/`CargoReservedName` vocabularies by
|
|
65
|
+
/// `hecks project_reserved_names` — the same tables `naming.rb` reads.
|
|
66
|
+
pub use crate::reserved_names::{CARGO_RESERVED_DOMAIN_NAMES, RUST_KEYWORDS};
|
|
67
|
+
|
|
68
|
+
/// `/\A[a-z_][a-z0-9_]*\z/` — a plain lowercase Rust identifier.
|
|
69
|
+
fn plain_lower_identifier(name: &str) -> bool {
|
|
70
|
+
let mut chars = name.chars();
|
|
71
|
+
matches!(chars.next(), Some(c) if c == '_' || c.is_ascii_lowercase())
|
|
72
|
+
&& chars.all(|c| c == '_' || c.is_ascii_lowercase() || c.is_ascii_digit())
|
|
73
|
+
}
|
|
74
|
+
|
|
75
|
+
/// Mirrors `legal_aggregate_mod_identifier?` — the identifier-shape half
|
|
76
|
+
/// only, against the downcased name.
|
|
77
|
+
pub fn legal_aggregate_mod_identifier(name: &str) -> bool {
|
|
78
|
+
plain_lower_identifier(&name.to_lowercase())
|
|
79
|
+
}
|
|
80
|
+
|
|
81
|
+
/// Mirrors `valid_domain_mod_name?` — shape, and neither a Rust keyword nor
|
|
82
|
+
/// a reserved Cargo.toml key.
|
|
83
|
+
pub fn valid_domain_mod_name(name: &str) -> bool {
|
|
84
|
+
plain_lower_identifier(name) && !RUST_KEYWORDS.contains(&name) && !CARGO_RESERVED_DOMAIN_NAMES.contains(&name)
|
|
85
|
+
}
|
|
86
|
+
|
|
87
|
+
/// `None` when every aggregate name and the domain's module name are usable, else the
|
|
88
|
+
/// refusal text the Ruby generator raises, byte for byte. Aggregates are checked first.
|
|
89
|
+
pub fn reserved_name_refusal(source_label: &str, mod_name: &str, aggregate_names: &[&str]) -> Option<String> {
|
|
90
|
+
let refused: Vec<&str> = aggregate_names
|
|
91
|
+
.iter()
|
|
92
|
+
.copied()
|
|
93
|
+
.filter(|name| {
|
|
94
|
+
let module = name.to_lowercase();
|
|
95
|
+
RUST_KEYWORDS.contains(&module.as_str()) || !legal_aggregate_mod_identifier(name)
|
|
96
|
+
})
|
|
97
|
+
.collect();
|
|
98
|
+
if let Some(first) = refused.first() {
|
|
99
|
+
let names = refused.iter().map(|name| format!("{name:?}")).collect::<Vec<_>>().join(", ");
|
|
100
|
+
return Some(format!(
|
|
101
|
+
"{source_label}: aggregate name(s) {names} can't be used as-is — downcased, each becomes a bare Rust \
|
|
102
|
+
module identifier (`pub mod {};`) and a generated file name, and at least one is not a plain identifier \
|
|
103
|
+
or is a Rust keyword (RustReservedWord). Module names get no raw-identifier (r#name) escape hatch — \
|
|
104
|
+
rename the aggregate.",
|
|
105
|
+
first.to_lowercase()
|
|
106
|
+
));
|
|
107
|
+
}
|
|
108
|
+
if valid_domain_mod_name(mod_name) {
|
|
109
|
+
return None;
|
|
110
|
+
}
|
|
111
|
+
Some(format!(
|
|
112
|
+
"{source_label}: domain module name {mod_name:?} can't be used as-is — it has to double as a Rust module \
|
|
113
|
+
identifier and a Cargo feature name, and this one is either not a plain lowercase identifier, is a Rust \
|
|
114
|
+
keyword (RustReservedWord), or is a reserved Cargo.toml key (CargoReservedName). Rename the domain."
|
|
115
|
+
))
|
|
116
|
+
}
|
|
117
|
+
|
|
118
|
+
pub fn rust_field(name: &str) -> String {
|
|
119
|
+
name.to_string()
|
|
120
|
+
}
|
|
121
|
+
|
|
122
|
+
pub fn rust_ident_field(name: &str) -> String {
|
|
123
|
+
let field = rust_field(name);
|
|
124
|
+
if RUST_KEYWORDS.contains(&field.as_str()) {
|
|
125
|
+
format!("r#{field}")
|
|
126
|
+
} else {
|
|
127
|
+
field
|
|
128
|
+
}
|
|
129
|
+
}
|
|
130
|
+
|
|
131
|
+
/// Variant name for a closed-set member: splits on any run of non-alphanumerics, so
|
|
132
|
+
/// glob-shaped values like `"*.port"` work. `Self` becomes `SelfType` / `SelfValue`.
|
|
133
|
+
pub fn closed_set_variant(value: &str) -> String {
|
|
134
|
+
let variant = value
|
|
135
|
+
.split(|c: char| !c.is_ascii_alphanumeric())
|
|
136
|
+
.filter(|s| !s.is_empty())
|
|
137
|
+
.map(capitalize)
|
|
138
|
+
.collect::<Vec<_>>()
|
|
139
|
+
.join("");
|
|
140
|
+
if variant != "Self" {
|
|
141
|
+
return variant;
|
|
142
|
+
}
|
|
143
|
+
if value.starts_with('S') { "SelfType".to_string() } else { "SelfValue".to_string() }
|
|
144
|
+
}
|
|
145
|
+
|
|
146
|
+
fn capitalize(word: &str) -> String {
|
|
147
|
+
let mut chars = word.chars();
|
|
148
|
+
match chars.next() {
|
|
149
|
+
None => String::new(),
|
|
150
|
+
Some(first) => first.to_uppercase().collect::<String>() + &chars.as_str().to_lowercase(),
|
|
151
|
+
}
|
|
152
|
+
}
|
|
153
|
+
|
|
154
|
+
/// Port of `Hecks::Naming.snake` —
|
|
155
|
+
/// `gsub(/([A-Z]+)([A-Z][a-z])/, '\1_\2').gsub(/([a-z\d])([A-Z])/, '\1_\2').downcase`.
|
|
156
|
+
pub fn snake(text: &str) -> String {
|
|
157
|
+
let chars: Vec<char> = text.chars().collect();
|
|
158
|
+
let mut first = String::new();
|
|
159
|
+
for (i, &c) in chars.iter().enumerate() {
|
|
160
|
+
let next_upper = chars.get(i + 1).is_some_and(|n| n.is_ascii_uppercase());
|
|
161
|
+
let then_lower = chars.get(i + 2).is_some_and(|n| n.is_ascii_lowercase());
|
|
162
|
+
first.push(c);
|
|
163
|
+
if c.is_ascii_uppercase() && next_upper && then_lower {
|
|
164
|
+
first.push('_');
|
|
165
|
+
}
|
|
166
|
+
}
|
|
167
|
+
let chars: Vec<char> = first.chars().collect();
|
|
168
|
+
let mut second = String::new();
|
|
169
|
+
for (i, &c) in chars.iter().enumerate() {
|
|
170
|
+
second.push(c);
|
|
171
|
+
let next_upper = chars.get(i + 1).is_some_and(|n| n.is_ascii_uppercase());
|
|
172
|
+
if (c.is_ascii_lowercase() || c.is_ascii_digit()) && next_upper {
|
|
173
|
+
second.push('_');
|
|
174
|
+
}
|
|
175
|
+
}
|
|
176
|
+
second.to_lowercase()
|
|
177
|
+
}
|
|
178
|
+
|
|
179
|
+
/// `name.to_s.gsub(/([a-z0-9])([A-Z])/, '\1_\2').upcase`
|
|
180
|
+
pub fn screaming_snake(name: &str) -> String {
|
|
181
|
+
let chars: Vec<char> = name.chars().collect();
|
|
182
|
+
let mut out = String::new();
|
|
183
|
+
for (i, &c) in chars.iter().enumerate() {
|
|
184
|
+
if i > 0 {
|
|
185
|
+
let prev = chars[i - 1];
|
|
186
|
+
if (prev.is_ascii_lowercase() || prev.is_ascii_digit()) && c.is_ascii_uppercase() {
|
|
187
|
+
out.push('_');
|
|
188
|
+
}
|
|
189
|
+
}
|
|
190
|
+
out.push(c);
|
|
191
|
+
}
|
|
192
|
+
out.to_uppercase()
|
|
193
|
+
}
|
|
194
|
+
|
|
195
|
+
pub fn scalar_to_value(type_name: &str, rust_expr: &str) -> Option<String> {
|
|
196
|
+
match type_name {
|
|
197
|
+
"String" => Some(format!("Value::Str({rust_expr}.clone())")),
|
|
198
|
+
"Integer" => Some(format!("Value::Int({rust_expr})")),
|
|
199
|
+
"Float" => Some(format!("Value::Float({rust_expr})")),
|
|
200
|
+
_ => None,
|
|
201
|
+
}
|
|
202
|
+
}
|
|
203
|
+
|
|
204
|
+
/// Mirrors `fielded_capable_nested?`: ordinary value objects and
|
|
205
|
+
/// single-field closed-set enums implement `Fielded`; multi-field closed-set
|
|
206
|
+
/// tables do not.
|
|
207
|
+
pub fn fielded_capable_nested(vo: &crate::json::Json) -> bool {
|
|
208
|
+
!vo.get("closed_set").map(crate::json::Json::as_bool).unwrap_or(false)
|
|
209
|
+
|| vo.get("attributes").map(crate::json::Json::each).unwrap_or(&[]).len() == 1
|
|
210
|
+
}
|
|
211
|
+
|
|
212
|
+
/// The `Fielded` impl emitted beside a single-field closed-set enum, exposing `"value"`.
|
|
213
|
+
pub fn emit_closed_set_fielded_impl(vo: &crate::json::Json) -> String {
|
|
214
|
+
let name = rust_ident(vo.get("name").and_then(crate::json::Json::as_str).unwrap_or(""));
|
|
215
|
+
let arms = vo.get("members").map(crate::json::Json::each).unwrap_or(&[]).iter().filter_map(|row| {
|
|
216
|
+
let pair = row.as_array()?.first()?.as_array()?;
|
|
217
|
+
let raw = pair.get(1)?.to_s();
|
|
218
|
+
Some(format!("{name}::{} => {}.to_string(),", closed_set_variant(&raw), ruby_inspect_string(&raw)))
|
|
219
|
+
}).collect::<Vec<_>>().join(" ");
|
|
220
|
+
|
|
221
|
+
format!(
|
|
222
|
+
"impl crate::kernel::Fielded for {name} {{\n fn field(&self, name: &str) -> Option<crate::kernel::Field<'_>> {{\n use crate::kernel::{{Field, Value}};\n match name {{\n \"value\" => Some(Field::Value(Value::Str(match self {{ {arms} }}))),\n _ => None,\n }}\n }}\n fn as_scalar(&self) -> Option<crate::kernel::Value> {{\n match self.field(\"value\") {{ Some(crate::kernel::Field::Value(v)) => Some(v), _ => None }}\n }}\n}}"
|
|
223
|
+
)
|
|
224
|
+
}
|
|
225
|
+
|
|
226
|
+
/// A literal mutation-source RHS; `literal` is a String/Integer/Float/Bool read from `ir.json`.
|
|
227
|
+
pub fn literal_rhs(literal: &crate::json::Json) -> String {
|
|
228
|
+
match literal {
|
|
229
|
+
crate::json::Json::String(s) => format!("{}.to_string()", ruby_inspect_string(s)),
|
|
230
|
+
// Separate arms so a whole-number Float renders as `0.0`, not an integer-typed `0`.
|
|
231
|
+
crate::json::Json::Int(n) => n.to_string(),
|
|
232
|
+
crate::json::Json::Float(_) => literal.to_s(),
|
|
233
|
+
crate::json::Json::Bool(b) => b.to_string(),
|
|
234
|
+
other => panic!("unsupported literal mutation source {other:?} — not one of String/Integer/Float/Boolean"),
|
|
235
|
+
}
|
|
236
|
+
}
|
|
237
|
+
|
|
238
|
+
/// Ruby's `String#inspect`: a double-quoted, backslash/quote-escaped literal.
|
|
239
|
+
pub fn ruby_inspect_string(s: &str) -> String {
|
|
240
|
+
let mut out = String::with_capacity(s.len() + 2);
|
|
241
|
+
out.push('"');
|
|
242
|
+
for c in s.chars() {
|
|
243
|
+
match c {
|
|
244
|
+
'"' => out.push_str("\\\""),
|
|
245
|
+
'\\' => out.push_str("\\\\"),
|
|
246
|
+
'\n' => out.push_str("\\n"),
|
|
247
|
+
'\t' => out.push_str("\\t"),
|
|
248
|
+
'\r' => out.push_str("\\r"),
|
|
249
|
+
_ => out.push(c),
|
|
250
|
+
}
|
|
251
|
+
}
|
|
252
|
+
out.push('"');
|
|
253
|
+
out
|
|
254
|
+
}
|
|
255
|
+
|
|
256
|
+
#[cfg(test)]
|
|
257
|
+
mod tests {
|
|
258
|
+
use super::*;
|
|
259
|
+
|
|
260
|
+
#[test]
|
|
261
|
+
fn refuses_an_aggregate_whose_module_name_is_a_rust_keyword() {
|
|
262
|
+
let refusal = reserved_name_refusal("shop", "shop", &["Pizza", "Match", "Type"]).expect("refused");
|
|
263
|
+
assert!(refusal.starts_with("shop: aggregate name(s) \"Match\", \"Type\" can't be used as-is"), "{refusal}");
|
|
264
|
+
assert!(refusal.contains("`pub mod match;`"), "{refusal}");
|
|
265
|
+
assert!(refusal.contains("Rust keyword"), "{refusal}");
|
|
266
|
+
}
|
|
267
|
+
|
|
268
|
+
#[test]
|
|
269
|
+
fn refuses_an_aggregate_name_that_is_not_a_plain_identifier() {
|
|
270
|
+
assert!(reserved_name_refusal("shop", "shop", &["My-App"]).is_some());
|
|
271
|
+
assert!(reserved_name_refusal("shop", "shop", &[""]).is_some());
|
|
272
|
+
}
|
|
273
|
+
|
|
274
|
+
#[test]
|
|
275
|
+
fn refuses_a_domain_module_name_that_is_a_keyword_or_a_cargo_key() {
|
|
276
|
+
for name in ["crate", "type", "package", "default", "version"] {
|
|
277
|
+
let refusal = reserved_name_refusal("label", name, &["Widget"]).expect("refused");
|
|
278
|
+
assert!(refusal.starts_with(&format!("label: domain module name {name:?} can't be used as-is")), "{refusal}");
|
|
279
|
+
}
|
|
280
|
+
}
|
|
281
|
+
|
|
282
|
+
#[test]
|
|
283
|
+
fn accepts_ordinary_names_and_cargo_keys_as_aggregate_names() {
|
|
284
|
+
assert_eq!(reserved_name_refusal("shop", "shop", &["Pizza", "Version", "Default"]), None);
|
|
285
|
+
}
|
|
286
|
+
}
|
|
@@ -0,0 +1,208 @@
|
|
|
1
|
+
//! Port of `rust/project/ports.rb` — read that file's own header comments
|
|
2
|
+
//! in full; this mirrors its algorithm directly, function for function.
|
|
3
|
+
|
|
4
|
+
use crate::exemplar::Exemplar;
|
|
5
|
+
use crate::json::Json;
|
|
6
|
+
use crate::naming;
|
|
7
|
+
use crate::skip_reason::{skip, SkipReason};
|
|
8
|
+
use std::collections::HashMap;
|
|
9
|
+
|
|
10
|
+
/// A list attribute carrying `admits:`/`pattern:` is not refused here
|
|
11
|
+
/// (docs/decisions/0051): confirmed against Ruby's real dispatch
|
|
12
|
+
/// pipeline that neither is ever enforced on a list attribute
|
|
13
|
+
/// regardless, so refusing to generate the operation at all would be
|
|
14
|
+
/// more restrictive than Ruby, not a real gap.
|
|
15
|
+
pub fn port_operation_skip_reason(
|
|
16
|
+
operation: &Json,
|
|
17
|
+
_owner_name: &str,
|
|
18
|
+
value_objects_by_name: &HashMap<String, &Json>,
|
|
19
|
+
) -> Option<SkipReason> {
|
|
20
|
+
let attrs = operation.get("attributes").map(Json::each).unwrap_or(&[]);
|
|
21
|
+
let unresolved: Vec<&Json> = attrs
|
|
22
|
+
.iter()
|
|
23
|
+
.filter(|attr| {
|
|
24
|
+
if crate::attr::list(attr) {
|
|
25
|
+
return false;
|
|
26
|
+
}
|
|
27
|
+
if naming::reference_type(crate::attr::type_name(attr)) {
|
|
28
|
+
return false;
|
|
29
|
+
}
|
|
30
|
+
if naming::scalar_rust_type(crate::attr::type_name(attr)).is_some() {
|
|
31
|
+
return false;
|
|
32
|
+
}
|
|
33
|
+
!value_objects_by_name.contains_key(crate::attr::type_name(attr))
|
|
34
|
+
})
|
|
35
|
+
.collect();
|
|
36
|
+
if !unresolved.is_empty() {
|
|
37
|
+
let mut types: Vec<&str> = Vec::new();
|
|
38
|
+
for a in &unresolved {
|
|
39
|
+
let t = crate::attr::type_name(a);
|
|
40
|
+
if !types.contains(&t) {
|
|
41
|
+
types.push(t);
|
|
42
|
+
}
|
|
43
|
+
}
|
|
44
|
+
return Some(skip("port_attribute_type", format!("attribute type(s) {} not generated yet (a value object this aggregate's own attributes never resolved a Rust type for)", types.join(", "))));
|
|
45
|
+
}
|
|
46
|
+
|
|
47
|
+
None
|
|
48
|
+
}
|
|
49
|
+
|
|
50
|
+
/// ── One emitter per port operation.
|
|
51
|
+
pub fn emit_port_operation(
|
|
52
|
+
exemplar: &Exemplar,
|
|
53
|
+
operation: &Json,
|
|
54
|
+
port_name: &str,
|
|
55
|
+
owner_name: &str,
|
|
56
|
+
domain_name: &str,
|
|
57
|
+
value_objects_by_name: &HashMap<String, &Json>,
|
|
58
|
+
aggregates_by_name: &HashMap<String, &Json>,
|
|
59
|
+
) -> String {
|
|
60
|
+
let args_struct = format!(
|
|
61
|
+
"{}{}Args",
|
|
62
|
+
naming::rust_ident(port_name),
|
|
63
|
+
naming::rust_ident(operation.get("name").and_then(Json::as_str).unwrap_or(""))
|
|
64
|
+
);
|
|
65
|
+
let qualified = format!("{domain_name}::{owner_name}");
|
|
66
|
+
let attrs = operation.get("attributes").map(Json::each).unwrap_or(&[]);
|
|
67
|
+
// A self-reference on a port operation is a migration-era spelling of
|
|
68
|
+
// its receiver, never an external fact. Keep accepting old IR while
|
|
69
|
+
// excluding that field from the typed args and event payload.
|
|
70
|
+
let fact_attrs: Vec<Json> = attrs
|
|
71
|
+
.iter()
|
|
72
|
+
.filter(|attr| naming::reference_target(crate::attr::type_name(attr)) != Some(owner_name))
|
|
73
|
+
.cloned()
|
|
74
|
+
.collect();
|
|
75
|
+
|
|
76
|
+
let mut struct_lines = vec![format!("pub struct {args_struct} {{")];
|
|
77
|
+
for attr in &fact_attrs {
|
|
78
|
+
let mut ty = naming::rust_type(crate::attr::type_name(attr), crate::attr::list(attr));
|
|
79
|
+
if crate::attr::optional(attr) {
|
|
80
|
+
ty = format!("Option<{ty}>");
|
|
81
|
+
}
|
|
82
|
+
struct_lines.push(format!(
|
|
83
|
+
" {}",
|
|
84
|
+
exemplar.render(
|
|
85
|
+
"struct_field",
|
|
86
|
+
&[
|
|
87
|
+
("TmplFieldType", ty),
|
|
88
|
+
(
|
|
89
|
+
"tmpl_field",
|
|
90
|
+
naming::rust_ident_field(crate::attr::name(attr))
|
|
91
|
+
)
|
|
92
|
+
]
|
|
93
|
+
)
|
|
94
|
+
));
|
|
95
|
+
}
|
|
96
|
+
struct_lines.push("}".to_string());
|
|
97
|
+
|
|
98
|
+
let invariant_checks = crate::commands::invariant_checks_for(
|
|
99
|
+
exemplar,
|
|
100
|
+
operation,
|
|
101
|
+
aggregates_by_name,
|
|
102
|
+
value_objects_by_name,
|
|
103
|
+
);
|
|
104
|
+
let fn_name = format!(
|
|
105
|
+
"{}_{}",
|
|
106
|
+
port_name.to_lowercase(),
|
|
107
|
+
naming::dispatch_fn_name(&naming::rust_ident(
|
|
108
|
+
operation.get("name").and_then(Json::as_str).unwrap_or("")
|
|
109
|
+
))
|
|
110
|
+
);
|
|
111
|
+
|
|
112
|
+
let emits = operation.get("emits").map(Json::each).unwrap_or(&[]);
|
|
113
|
+
let events: Vec<String> = emits
|
|
114
|
+
.iter()
|
|
115
|
+
.map(|event_name| {
|
|
116
|
+
format!(
|
|
117
|
+
" crate::kernel::Event {{ name: {}.to_string(), aggregate: {}.to_string(), id: receiver_id.to_string(), payload: crate::kernel::Json::Null, occurred_at: None, correlation: None }},",
|
|
118
|
+
naming::ruby_inspect_string(&event_name.to_s()),
|
|
119
|
+
naming::ruby_inspect_string(&qualified)
|
|
120
|
+
)
|
|
121
|
+
})
|
|
122
|
+
.collect();
|
|
123
|
+
|
|
124
|
+
let dispatch_fn = format!(
|
|
125
|
+
"pub fn dispatch_operation_{fn_name}(receiver_id: &str, args: {args_struct}) -> Result<Vec<crate::kernel::Event>, crate::kernel::Refusal> {{\n{}\n Ok(vec![\n{}\n ])\n}}",
|
|
126
|
+
invariant_checks.join("\n"),
|
|
127
|
+
events.join("\n")
|
|
128
|
+
);
|
|
129
|
+
|
|
130
|
+
let operation_name = operation.get("name").and_then(Json::as_str).unwrap_or("");
|
|
131
|
+
[
|
|
132
|
+
format!("#[derive(Debug, Clone)]\n{}", struct_lines.join("\n")),
|
|
133
|
+
crate::json_codec::emit_to_json_flat(exemplar, &args_struct, &fact_attrs, value_objects_by_name, false, &[], None),
|
|
134
|
+
crate::json_codec::emit_from_json_flat(
|
|
135
|
+
exemplar,
|
|
136
|
+
&args_struct,
|
|
137
|
+
&fact_attrs,
|
|
138
|
+
value_objects_by_name,
|
|
139
|
+
None,
|
|
140
|
+
Some(&format!("{port_name}.{operation_name}")),
|
|
141
|
+
false,
|
|
142
|
+
true,
|
|
143
|
+
Some(aggregates_by_name),
|
|
144
|
+
),
|
|
145
|
+
dispatch_fn,
|
|
146
|
+
]
|
|
147
|
+
.join("\n\n")
|
|
148
|
+
}
|
|
149
|
+
|
|
150
|
+
#[cfg(test)]
|
|
151
|
+
mod tests {
|
|
152
|
+
use super::*;
|
|
153
|
+
|
|
154
|
+
#[test]
|
|
155
|
+
fn owner_receiver_is_not_a_port_fact_or_event_payload_field() {
|
|
156
|
+
let operation = Json::parse(
|
|
157
|
+
r#"{
|
|
158
|
+
"name":"Receive",
|
|
159
|
+
"attributes":[
|
|
160
|
+
{"name":"order","type":"Reference<Order>","list":false,"optional":false},
|
|
161
|
+
{"name":"amount","type":"Integer","list":false,"optional":false}
|
|
162
|
+
],
|
|
163
|
+
"emits":["PaymentReceived"]
|
|
164
|
+
}"#,
|
|
165
|
+
)
|
|
166
|
+
.unwrap();
|
|
167
|
+
let value_objects = HashMap::new();
|
|
168
|
+
let aggregates = HashMap::new();
|
|
169
|
+
|
|
170
|
+
assert_eq!(
|
|
171
|
+
port_operation_skip_reason(&operation, "Order", &value_objects),
|
|
172
|
+
None
|
|
173
|
+
);
|
|
174
|
+
let generated = emit_port_operation(
|
|
175
|
+
&Exemplar::load(),
|
|
176
|
+
&operation,
|
|
177
|
+
"PaymentGateway",
|
|
178
|
+
"Order",
|
|
179
|
+
"Pizzas",
|
|
180
|
+
&value_objects,
|
|
181
|
+
&aggregates,
|
|
182
|
+
);
|
|
183
|
+
|
|
184
|
+
assert!(generated.contains(
|
|
185
|
+
"dispatch_operation_paymentgateway_receive(receiver_id: &str, args: PaymentGatewayReceiveArgs)"
|
|
186
|
+
));
|
|
187
|
+
assert!(generated.contains("id: receiver_id.to_string()"));
|
|
188
|
+
assert!(generated.contains("pub amount: i64"));
|
|
189
|
+
assert!(!generated.contains("pub order:"));
|
|
190
|
+
assert!(!generated.contains("v.require(\"order\""));
|
|
191
|
+
}
|
|
192
|
+
|
|
193
|
+
#[test]
|
|
194
|
+
fn owner_operation_without_a_transitional_reference_is_generated() {
|
|
195
|
+
let operation = Json::parse(
|
|
196
|
+
r#"{
|
|
197
|
+
"name":"Receive",
|
|
198
|
+
"attributes":[{"name":"amount","type":"Integer","list":false,"optional":false}],
|
|
199
|
+
"emits":["PaymentReceived"]
|
|
200
|
+
}"#,
|
|
201
|
+
)
|
|
202
|
+
.unwrap();
|
|
203
|
+
assert_eq!(
|
|
204
|
+
port_operation_skip_reason(&operation, "Order", &HashMap::new()),
|
|
205
|
+
None
|
|
206
|
+
);
|
|
207
|
+
}
|
|
208
|
+
}
|
|
@@ -0,0 +1,116 @@
|
|
|
1
|
+
//! The prelude of a per-aggregate generated `.rs` file: everything
|
|
2
|
+
//! `domain_generator.rb` writes before the commands loop, byte for byte.
|
|
3
|
+
|
|
4
|
+
use crate::exemplar::Exemplar;
|
|
5
|
+
use crate::json::Json;
|
|
6
|
+
use crate::{json_codec, types};
|
|
7
|
+
use std::collections::HashMap;
|
|
8
|
+
|
|
9
|
+
// Mirrors Ruby's `puts`: appends "\n" only when the string does not already end in one.
|
|
10
|
+
fn puts_str(out: &mut String, s: &str) {
|
|
11
|
+
out.push_str(s);
|
|
12
|
+
if !s.ends_with('\n') {
|
|
13
|
+
out.push('\n');
|
|
14
|
+
}
|
|
15
|
+
}
|
|
16
|
+
|
|
17
|
+
fn puts_blank(out: &mut String) {
|
|
18
|
+
out.push('\n');
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
fn lifecycle_extra_field(node: &Json) -> Vec<(String, String)> {
|
|
22
|
+
match node.get("lifecycle") {
|
|
23
|
+
None => vec![],
|
|
24
|
+
Some(lifecycle) => {
|
|
25
|
+
let field = lifecycle.get("field").and_then(Json::as_str).unwrap_or("");
|
|
26
|
+
let ident = crate::naming::rust_ident_field(field);
|
|
27
|
+
vec![(crate::naming::rust_field(field), format!("crate::kernel::Json::Str(self.{ident}.clone())"))]
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
}
|
|
31
|
+
|
|
32
|
+
/// One aggregate's prelude text, or `None` when the aggregate has unsupported attribute
|
|
33
|
+
/// types and no `.rs` file is generated for it.
|
|
34
|
+
pub fn aggregate_prelude(exemplar: &Exemplar, ir: &Json, aggregate: &Json, source_label: &str) -> Option<String> {
|
|
35
|
+
let value_objects = aggregate.get("value_objects").map(Json::each).unwrap_or(&[]);
|
|
36
|
+
let value_objects_by_name: HashMap<String, &Json> = value_objects.iter().map(|vo| (vo.get("name").and_then(Json::as_str).unwrap_or("").to_string(), vo)).collect();
|
|
37
|
+
|
|
38
|
+
if !types::unsupported_attribute_types(aggregate, &value_objects_by_name).is_empty() {
|
|
39
|
+
return None;
|
|
40
|
+
}
|
|
41
|
+
|
|
42
|
+
let aggregates_by_name: HashMap<String, &Json> = ir.get("aggregates").map(Json::each).unwrap_or(&[]).iter().map(|a| (a.get("name").and_then(Json::as_str).unwrap_or("").to_string(), a)).collect();
|
|
43
|
+
|
|
44
|
+
let mut out = String::new();
|
|
45
|
+
puts_str(&mut out, &format!("// GENERATED by hecks project_rust from {source_label}'s canonical IR."));
|
|
46
|
+
puts_str(&mut out, "// Do not hand-edit — re-run hecks project_rust instead.");
|
|
47
|
+
puts_str(&mut out, "#![allow(dead_code, unused_variables)]");
|
|
48
|
+
puts_str(&mut out, "use crate::kernel::Expr;");
|
|
49
|
+
puts_blank(&mut out);
|
|
50
|
+
|
|
51
|
+
for vo in value_objects {
|
|
52
|
+
puts_str(&mut out, &types::emit_value_object(exemplar, vo, &value_objects_by_name, &aggregates_by_name));
|
|
53
|
+
puts_blank(&mut out);
|
|
54
|
+
|
|
55
|
+
let closed_set = vo.get("closed_set").map(Json::as_bool).unwrap_or(false);
|
|
56
|
+
let attrs = vo.get("attributes").map(Json::each).unwrap_or(&[]);
|
|
57
|
+
if closed_set && attrs.len() == 1 {
|
|
58
|
+
puts_str(&mut out, &json_codec::emit_closed_set_codec(exemplar, vo));
|
|
59
|
+
} else if closed_set {
|
|
60
|
+
puts_str(&mut out, &json_codec::emit_closed_set_table_codec(exemplar, vo));
|
|
61
|
+
} else {
|
|
62
|
+
let name = crate::naming::rust_ident(vo.get("name").and_then(Json::as_str).unwrap_or(""));
|
|
63
|
+
puts_str(&mut out, &json_codec::emit_to_json_flat(exemplar, &name, attrs, &value_objects_by_name, false, &[], None));
|
|
64
|
+
puts_blank(&mut out);
|
|
65
|
+
puts_str(&mut out, &json_codec::emit_from_json_flat(exemplar, &name, attrs, &value_objects_by_name, None, None, false, false, None));
|
|
66
|
+
}
|
|
67
|
+
puts_blank(&mut out);
|
|
68
|
+
}
|
|
69
|
+
|
|
70
|
+
for entity in aggregate.get("entities").map(Json::each).unwrap_or(&[]) {
|
|
71
|
+
puts_str(&mut out, &types::emit_entity(exemplar, entity, &value_objects_by_name));
|
|
72
|
+
puts_blank(&mut out);
|
|
73
|
+
|
|
74
|
+
let entity_name = crate::naming::rust_ident(entity.get("name").and_then(Json::as_str).unwrap_or(""));
|
|
75
|
+
let entity_attrs = entity.get("attributes").map(Json::each).unwrap_or(&[]);
|
|
76
|
+
let extra = lifecycle_extra_field(entity);
|
|
77
|
+
puts_str(&mut out, &json_codec::emit_to_json_flat(exemplar, &entity_name, entity_attrs, &value_objects_by_name, false, &extra, None));
|
|
78
|
+
puts_blank(&mut out);
|
|
79
|
+
puts_str(&mut out, &json_codec::emit_from_json_state(exemplar, &entity_name, entity_attrs, &value_objects_by_name, false, &extra, None));
|
|
80
|
+
puts_blank(&mut out);
|
|
81
|
+
|
|
82
|
+
if json_codec::extract_id_supported(entity) {
|
|
83
|
+
puts_str(&mut out, &json_codec::emit_extract_id(exemplar, entity));
|
|
84
|
+
puts_blank(&mut out);
|
|
85
|
+
puts_str(&mut out, &json_codec::emit_extract_id_lenient(exemplar, entity));
|
|
86
|
+
puts_blank(&mut out);
|
|
87
|
+
puts_str(&mut out, &json_codec::emit_extract_wants(exemplar, entity));
|
|
88
|
+
puts_blank(&mut out);
|
|
89
|
+
puts_str(&mut out, &json_codec::emit_self_identity(exemplar, entity));
|
|
90
|
+
puts_blank(&mut out);
|
|
91
|
+
}
|
|
92
|
+
}
|
|
93
|
+
|
|
94
|
+
puts_str(&mut out, &types::emit_record(exemplar, aggregate, &value_objects_by_name));
|
|
95
|
+
puts_blank(&mut out);
|
|
96
|
+
|
|
97
|
+
let record_name = crate::naming::rust_ident(aggregate.get("name").and_then(Json::as_str).unwrap_or(""));
|
|
98
|
+
let record_attrs = aggregate.get("attributes").map(Json::each).unwrap_or(&[]);
|
|
99
|
+
let extra = lifecycle_extra_field(aggregate);
|
|
100
|
+
puts_str(&mut out, &json_codec::emit_to_json_flat(exemplar, &record_name, record_attrs, &value_objects_by_name, true, &extra, Some(aggregate)));
|
|
101
|
+
puts_blank(&mut out);
|
|
102
|
+
puts_str(&mut out, &json_codec::emit_from_json_state(exemplar, &record_name, record_attrs, &value_objects_by_name, true, &extra, Some(aggregate)));
|
|
103
|
+
puts_blank(&mut out);
|
|
104
|
+
puts_str(
|
|
105
|
+
&mut out,
|
|
106
|
+
&format!("impl crate::kernel::ToJson for {record_name} {{\n fn to_json(&self) -> crate::kernel::Json {{\n {record_name}::to_json(self)\n }}\n}}\n"),
|
|
107
|
+
);
|
|
108
|
+
puts_blank(&mut out);
|
|
109
|
+
|
|
110
|
+
if json_codec::extract_id_supported(aggregate) {
|
|
111
|
+
puts_str(&mut out, &json_codec::emit_extract_id(exemplar, aggregate));
|
|
112
|
+
puts_blank(&mut out);
|
|
113
|
+
}
|
|
114
|
+
|
|
115
|
+
Some(out)
|
|
116
|
+
}
|